runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/p2cudf-paranoid-1.6/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/debian-dudf//103c9978-5408-11df-9bc1-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/p2cudf-paranoid-1.6/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.89 0.94 0.90 2/37 4134 /proc/meminfo: memFree=861608/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2884 CPUtime=0 /proc/4134/stat : 4134 (runsolver) D 4133 4134 3447 769 3447 4202560 73 0 0 0 0 0 0 0 25 0 1 0 526312477 2953216 93 1283457024 134512640 134586868 4287896352 18446744073709551615 4157801514 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/4134/statm: 721 93 62 19 0 53 0 [startup+0.128289 s] /proc/loadavg: 0.89 0.94 0.90 2/37 4134 /proc/meminfo: memFree=861608/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.208316 s] /proc/loadavg: 0.89 0.94 0.90 2/37 4134 /proc/meminfo: memFree=861608/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.308363 s] /proc/loadavg: 0.89 0.94 0.90 2/37 4134 /proc/meminfo: memFree=861608/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.70851 s] /proc/loadavg: 0.89 0.94 0.90 2/37 4134 /proc/meminfo: memFree=861608/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.50918 s] /proc/loadavg: 0.89 0.94 0.90 4/49 4157 /proc/meminfo: memFree=826196/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 [pid=4136] ppid=4134 vsize=2396 CPUtime=0.02 /proc/4136/stat : 4136 (p2cudf) S 4134 4134 3447 769 3447 4202496 380 2735 0 1 0 0 0 2 25 0 1 0 526312478 2453504 273 1283457024 134512640 135191968 4287337376 18446744073709551615 4159461790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4136/statm: 599 273 232 166 0 31 0 [pid=4148] ppid=4136 vsize=881684 CPUtime=1.45 /proc/4148/stat : 4148 (java) S 4136 4134 3447 769 3447 4202496 17669 0 3 0 140 5 0 0 25 0 10 0 526312481 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4159587474 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4148/statm: 220421 14985 1437 10 0 217693 0 [pid=4148/tid=4149] ppid=4136 vsize=881684 CPUtime=0.62 /proc/4148/task/4149/stat : 4149 (java) R 4136 4134 3447 769 3447 4202560 7815 0 3 0 62 0 0 0 25 0 10 0 526312483 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4107041248 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4148/tid=4150] ppid=4136 vsize=881684 CPUtime=0 /proc/4148/task/4150/stat : 4150 (java) S 4136 4134 3447 769 3447 4202560 2 0 0 0 0 0 0 0 18 0 10 0 526312484 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4159601672 0 0 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4151] ppid=4136 vsize=881684 CPUtime=0 /proc/4148/task/4151/stat : 4151 (java) S 4136 4134 3447 769 3447 4202560 11 0 0 0 0 0 0 0 25 0 10 0 526312485 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4152] ppid=4136 vsize=881684 CPUtime=0 /proc/4148/task/4152/stat : 4152 (java) S 4136 4134 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 10 0 526312485 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4153] ppid=4136 vsize=881684 CPUtime=0 /proc/4148/task/4153/stat : 4153 (java) S 4136 4134 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 10 0 526312487 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4159609168 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4154] ppid=4136 vsize=881684 CPUtime=0.54 /proc/4148/task/4154/stat : 4154 (java) R 4136 4134 3447 769 3447 4202560 8058 0 0 0 50 4 0 0 25 0 10 0 526312487 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 105496784 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4148/tid=4155] ppid=4136 vsize=881684 CPUtime=0.28 /proc/4148/task/4155/stat : 4155 (java) R 4136 4134 3447 769 3447 4202560 956 0 0 0 28 0 0 0 25 0 10 0 526312487 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 105575908 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4148/tid=4156] ppid=4136 vsize=881684 CPUtime=0 /proc/4148/task/4156/stat : 4156 (java) S 4136 4134 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 10 0 526312487 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4157] ppid=4136 vsize=881684 CPUtime=0 /proc/4148/task/4157/stat : 4157 (java) S 4136 4134 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 10 0 526312487 902844416 14985 1283457024 134512640 134550932 4293623872 18446744073709551615 4159601672 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 886468 [startup+3.10996 s] /proc/loadavg: 0.89 0.94 0.90 4/49 4157 /proc/meminfo: memFree=783788/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 [pid=4136] ppid=4134 vsize=2396 CPUtime=0.02 /proc/4136/stat : 4136 (p2cudf) S 4134 4134 3447 769 3447 4202496 380 2735 0 1 0 0 0 2 25 0 1 0 526312478 2453504 273 1283457024 134512640 135191968 4287337376 18446744073709551615 4159461790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4136/statm: 599 273 232 166 0 31 0 [pid=4148] ppid=4136 vsize=882060 CPUtime=3.04 /proc/4148/stat : 4148 (java) S 4136 4134 3447 769 3447 4202496 34617 0 3 0 289 15 0 0 25 0 10 0 526312481 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159587474 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4148/statm: 220515 30161 1452 10 0 217787 0 [pid=4148/tid=4149] ppid=4136 vsize=882060 CPUtime=1.27 /proc/4148/task/4149/stat : 4149 (java) R 4136 4134 3447 769 3447 4202560 18376 0 3 0 120 7 0 0 25 0 10 0 526312483 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159611591 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4148/tid=4150] ppid=4136 vsize=882060 CPUtime=0.12 /proc/4148/task/4150/stat : 4150 (java) S 4136 4134 3447 769 3447 4202560 4151 0 0 0 12 0 0 0 16 0 10 0 526312484 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159601672 0 0 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4151] ppid=4136 vsize=882060 CPUtime=0 /proc/4148/task/4151/stat : 4151 (java) S 4136 4134 3447 769 3447 4202560 11 0 0 0 0 0 0 0 18 0 10 0 526312485 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4152] ppid=4136 vsize=882060 CPUtime=0 /proc/4148/task/4152/stat : 4152 (java) S 4136 4134 3447 769 3447 4202560 7 0 0 0 0 0 0 0 18 0 10 0 526312485 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4153] ppid=4136 vsize=882060 CPUtime=0 /proc/4148/task/4153/stat : 4153 (java) S 4136 4134 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 10 0 526312487 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159609168 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4154] ppid=4136 vsize=882060 CPUtime=1.01 /proc/4148/task/4154/stat : 4154 (java) R 4136 4134 3447 769 3447 4202560 8674 0 0 0 97 4 0 0 22 0 10 0 526312487 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 106108072 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4148/tid=4155] ppid=4136 vsize=882060 CPUtime=0.63 /proc/4148/task/4155/stat : 4155 (java) S 4136 4134 3447 769 3447 4202560 2575 0 0 0 60 3 0 0 22 0 10 0 526312487 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4156] ppid=4136 vsize=882060 CPUtime=0 /proc/4148/task/4156/stat : 4156 (java) S 4136 4134 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 10 0 526312487 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4157] ppid=4136 vsize=882060 CPUtime=0 /proc/4148/task/4157/stat : 4157 (java) R 4136 4134 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 10 0 526312487 903229440 30161 1283457024 134512640 134550932 4293623872 18446744073709551615 4159601672 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 886844 [startup+6.30504 s] /proc/loadavg: 1.05 0.97 0.91 3/50 4158 /proc/meminfo: memFree=721104/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 [pid=4136] ppid=4134 vsize=2396 CPUtime=0.02 /proc/4136/stat : 4136 (p2cudf) S 4134 4134 3447 769 3447 4202496 380 2735 0 1 0 0 0 2 25 0 1 0 526312478 2453504 273 1283457024 134512640 135191968 4287337376 18446744073709551615 4159461790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4136/statm: 599 273 232 166 0 31 0 [pid=4148] ppid=4136 vsize=880136 CPUtime=5.83 /proc/4148/stat : 4148 (java) S 4136 4134 3447 769 3447 4202496 42239 0 4 0 565 18 0 0 25 0 12 0 526312481 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159587474 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4148/statm: 220034 35661 1498 10 0 217306 0 [pid=4148/tid=4149] ppid=4136 vsize=880136 CPUtime=2.24 /proc/4148/task/4149/stat : 4149 (java) S 4136 4134 3447 769 3447 4202560 18533 0 3 0 217 7 0 0 25 0 12 0 526312483 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4150] ppid=4136 vsize=880136 CPUtime=0.27 /proc/4148/task/4150/stat : 4150 (java) S 4136 4134 3447 769 3447 4202560 9805 0 0 0 25 2 0 0 15 0 12 0 526312484 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159601672 0 0 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4151] ppid=4136 vsize=880136 CPUtime=0 /proc/4148/task/4151/stat : 4151 (java) S 4136 4134 3447 769 3447 4202560 11 0 0 0 0 0 0 0 18 0 12 0 526312485 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4152] ppid=4136 vsize=880136 CPUtime=0 /proc/4148/task/4152/stat : 4152 (java) S 4136 4134 3447 769 3447 4202560 7 0 0 0 0 0 0 0 18 0 12 0 526312485 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4153] ppid=4136 vsize=880136 CPUtime=0 /proc/4148/task/4153/stat : 4153 (java) S 4136 4134 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 12 0 526312487 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159609168 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4154] ppid=4136 vsize=880136 CPUtime=2.45 /proc/4148/task/4154/stat : 4154 (java) S 4136 4134 3447 769 3447 4202560 10396 0 0 0 240 5 0 0 15 0 12 0 526312487 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4155] ppid=4136 vsize=880136 CPUtime=0.85 /proc/4148/task/4155/stat : 4155 (java) S 4136 4134 3447 769 3447 4202560 2656 0 1 0 82 3 0 0 16 0 12 0 526312487 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4156] ppid=4136 vsize=880136 CPUtime=0 /proc/4148/task/4156/stat : 4156 (java) S 4136 4134 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 12 0 526312487 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159600880 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4157] ppid=4136 vsize=880136 CPUtime=0 /proc/4148/task/4157/stat : 4157 (java) S 4136 4134 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 12 0 526312487 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159601672 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 [pid=4148/tid=4158] ppid=4136 vsize=880136 CPUtime=0 /proc/4148/task/4158/stat : 4158 (java) S 4136 4134 3447 769 3447 4202560 4 0 0 0 0 0 0 0 25 0 12 0 526312971 901259264 35661 1283457024 134512640 134550932 4293623872 18446744073709551615 4159601672 0 4 0 16800975 18446612133393150976 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.85 Current children cumulated vsize (KiB) 884920 Solver just ended. Dumping a history of the last processes samples [startup+6.71148 s] /proc/loadavg: 1.05 0.97 0.91 2/51 4159 /proc/meminfo: memFree=722904/1048576 swapFree=2091896/2097144 [pid=4134] ppid=4133 vsize=2388 CPUtime=0 /proc/4134/stat : 4134 (p2cudf-paranoid) S 4133 4134 3447 769 3447 4194304 367 0 0 0 0 0 0 0 25 0 1 0 526312477 2445312 263 1283457024 134512640 135191968 4288820448 18446744073709551615 4158876062 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4134/statm: 597 263 223 166 0 29 0 [pid=4136] ppid=4134 vsize=2396 CPUtime=0.02 /proc/4136/stat : 4136 (p2cudf) S 4134 4134 3447 769 3447 4202496 380 2735 0 1 0 0 0 2 25 0 1 0 526312478 2453504 273 1283457024 134512640 135191968 4287337376 18446744073709551615 4159461790 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4136/statm: 599 273 232 166 0 31 0 [pid=4148] ppid=4136 vsize=0 CPUtime=6.03 /proc/4148/stat : 4148 (java) R 4136 4134 3447 769 3447 4203524 42254 0 4 0 581 22 0 0 18 0 1 0 526312481 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 /proc/4148/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.05 Current children cumulated vsize (KiB) 4784 Child status: 0 Real time (s): 6.72021 CPU time (s): 6.06838 CPU user time (s): 5.82036 CPU system time (s): 0.248015 CPU usage (%): 90.3004 Max. virtual memory (cumulated for all children) (KiB): 890128 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.82036 system time used= 0.248015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45755 page faults= 5 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 857 involuntary context switches= 831 runsolver used 0 second user time and 0 second system time The end