runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460776-1307068561/watcher-3460776-1307068561 -o /tmp/evaluation-result-3460776-1307068561/solver-3460776-1307068561 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460776-1307068561.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.73 1.71 3/443 11197
/proc/meminfo: memFree=29980108/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=2532 CPUtime=0 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 442 0 0 0 0 0 0 0 25 0 1 0 897086788 2592768 374 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 633 374 180 372 0 258 0
[startup+0.032155 s]
/proc/loadavg: 2.00 1.73 1.71 3/443 11197
/proc/meminfo: memFree=29980108/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=2532 CPUtime=0.03 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 469 0 0 0 3 0 0 0 25 0 1 0 897086788 2592768 401 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 633 401 180 372 0 258 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2532
[startup+0.101137 s]
/proc/loadavg: 2.00 1.73 1.71 3/443 11197
/proc/meminfo: memFree=29980108/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=3328 CPUtime=0.09 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 664 0 0 0 9 0 0 0 25 0 1 0 897086788 3407872 596 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 832 598 180 372 0 457 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3328
[startup+0.301103 s]
/proc/loadavg: 2.00 1.73 1.71 3/443 11197
/proc/meminfo: memFree=29980108/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=5052 CPUtime=0.29 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 1066 0 0 0 29 0 0 0 25 0 1 0 897086788 5173248 998 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 1263 998 180 372 0 888 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5052
[startup+0.701029 s]
/proc/loadavg: 2.00 1.73 1.71 3/443 11197
/proc/meminfo: memFree=29980108/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=6648 CPUtime=0.69 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 1482 0 0 0 68 1 0 0 25 0 1 0 897086788 6807552 1414 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 1662 1414 180 372 0 1287 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6648
[startup+1.50088 s]
/proc/loadavg: 2.00 1.73 1.71 3/444 11198
/proc/meminfo: memFree=29972288/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=8900 CPUtime=1.49 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 2034 0 0 0 148 1 0 0 25 0 1 0 897086788 9113600 1966 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 2225 1966 180 372 0 1850 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8900
[startup+3.10058 s]
/proc/loadavg: 2.00 1.73 1.71 3/444 11199
/proc/meminfo: memFree=29967476/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=12384 CPUtime=3.09 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 2896 0 0 0 306 3 0 0 25 0 1 0 897086788 12681216 2828 33554432000 4194304 5714214 140733808605296 18446744073709551615 4300079 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 3096 2828 180 372 0 2721 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12384
[startup+6.30097 s]
/proc/loadavg: 2.00 1.74 1.71 3/444 11199
/proc/meminfo: memFree=29956840/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=18296 CPUtime=6.29 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 4354 0 0 0 622 7 0 0 25 0 1 0 897086788 18735104 4286 33554432000 4194304 5714214 140733808605296 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 4574 4286 180 372 0 4199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18296
[startup+12.7008 s]
/proc/loadavg: 2.00 1.74 1.71 2/439 11218
/proc/meminfo: memFree=29992968/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=27808 CPUtime=12.7 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 6712 0 0 0 1257 13 0 0 25 0 1 0 897086788 28475392 6644 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 6952 6644 180 372 0 6577 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 27808
[startup+25.5003 s]
/proc/loadavg: 2.00 1.75 1.72 3/444 11253
/proc/meminfo: memFree=29956624/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=46676 CPUtime=25.49 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 11404 0 0 0 2524 25 0 0 25 0 1 0 897086788 47796224 11336 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/11197/statm: 11669 11336 180 372 0 11294 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46676
[startup+51.1005 s]
/proc/loadavg: 2.00 1.77 1.72 3/444 11254
/proc/meminfo: memFree=29888624/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=78212 CPUtime=51.07 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 19253 0 0 0 5063 44 0 0 25 0 1 0 897086788 80089088 19185 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 19553 19185 180 372 0 19178 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78212
[startup+102.317 s]
/proc/loadavg: 2.00 1.81 1.73 3/444 11309
/proc/meminfo: memFree=29805424/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=138256 CPUtime=102.29 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 34204 0 0 0 10140 89 0 0 25 0 1 0 897086788 141574144 34136 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 34564 34136 180 372 0 34189 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 138256
[startup+162.301 s]
/proc/loadavg: 2.06 1.85 1.75 3/444 11392
/proc/meminfo: memFree=29761572/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=206008 CPUtime=162.28 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 51078 0 0 0 16088 140 0 0 25 0 1 0 897086788 210952192 51010 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 51502 51010 180 372 0 51127 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 206008
[startup+222.301 s]
/proc/loadavg: 2.17 1.91 1.77 4/444 11423
/proc/meminfo: memFree=29680180/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=271548 CPUtime=222.28 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 67353 0 0 0 22039 189 0 0 25 0 1 0 897086788 278065152 67285 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 67887 67285 180 372 0 67512 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 271548
[startup+282.301 s]
/proc/loadavg: 2.06 1.92 1.79 4/444 11425
/proc/meminfo: memFree=29556520/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=328460 CPUtime=282.28 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 81515 0 0 0 27997 231 0 0 25 0 1 0 897086788 336343040 81447 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 82115 81447 180 372 0 81740 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 328460
Solver just ended. Dumping a history of the last processes samples
[startup+307.1 s]
/proc/loadavg: 2.04 1.93 1.79 4/444 11426
/proc/meminfo: memFree=29506284/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=350852 CPUtime=307.08 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 87065 0 0 0 30461 247 0 0 25 0 1 0 897086788 359272448 86997 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 87713 86997 180 372 0 87338 0
Current children cumulated CPU time (s) 307.08
Current children cumulated vsize (KiB) 350852
[startup+319.901 s]
/proc/loadavg: 2.03 1.93 1.79 4/444 11426
/proc/meminfo: memFree=29479992/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=363312 CPUtime=319.88 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 90213 0 0 0 31731 257 0 0 25 0 1 0 897086788 372031488 90145 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 90828 90145 180 372 0 90453 0
Current children cumulated CPU time (s) 319.88
Current children cumulated vsize (KiB) 363312
[startup+332.701 s]
/proc/loadavg: 2.02 1.93 1.80 4/444 11426
/proc/meminfo: memFree=29454444/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=376424 CPUtime=332.68 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 93467 0 0 0 32999 269 0 0 25 0 1 0 897086788 385458176 93399 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 94106 93399 180 372 0 93731 0
Current children cumulated CPU time (s) 332.68
Current children cumulated vsize (KiB) 376424
[startup+335.901 s]
/proc/loadavg: 2.02 1.93 1.80 4/444 11426
/proc/meminfo: memFree=29447004/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=379476 CPUtime=335.88 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 94230 0 0 0 33317 271 0 0 25 0 1 0 897086788 388583424 94162 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 94869 94162 180 372 0 94494 0
Current children cumulated CPU time (s) 335.88
Current children cumulated vsize (KiB) 379476
[startup+339.1 s]
/proc/loadavg: 2.02 1.93 1.80 4/444 11426
/proc/meminfo: memFree=29441176/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=381872 CPUtime=339.09 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 94844 0 0 0 33635 274 0 0 25 0 1 0 897086788 391036928 94776 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 95468 94776 180 372 0 95093 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 381872
[startup+339.917 s]
/proc/loadavg: 2.02 1.93 1.80 3/442 11427
/proc/meminfo: memFree=29629176/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=383192 CPUtime=339.9 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 95175 0 0 0 33715 275 0 0 25 0 1 0 897086788 392388608 95107 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 95798 95107 180 372 0 95423 0
Current children cumulated CPU time (s) 339.9
Current children cumulated vsize (KiB) 383192
[startup+340.701 s]
/proc/loadavg: 2.02 1.93 1.80 3/442 11427
/proc/meminfo: memFree=29629176/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=383588 CPUtime=340.68 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 95275 0 0 0 33793 275 0 0 25 0 1 0 897086788 392794112 95207 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 95897 95207 180 372 0 95522 0
Current children cumulated CPU time (s) 340.68
Current children cumulated vsize (KiB) 383588
[startup+341.101 s]
/proc/loadavg: 2.02 1.93 1.80 3/444 11454
/proc/meminfo: memFree=29626352/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=383588 CPUtime=341.09 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202496 95275 0 0 0 33833 276 0 0 25 0 1 0 897086788 392794112 95207 33554432000 4194304 5714214 140733808605296 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11197/statm: 95897 95207 180 372 0 95522 0
Current children cumulated CPU time (s) 341.09
Current children cumulated vsize (KiB) 383588
[startup+341.201 s]
/proc/loadavg: 2.02 1.93 1.80 3/444 11454
/proc/meminfo: memFree=29626352/32950928 swapFree=52246700/67111528
[pid=11197] ppid=11195 vsize=0 CPUtime=341.18 cores=0,2,4,6
/proc/11197/stat : 11197 (wbo1.6) R 11195 11197 9824 0 -1 4202500 95276 0 0 0 33842 276 0 0 25 0 1 0 897086788 0 0 33554432000 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 2 0 0 0
/proc/11197/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 341.18
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 341.217
CPU time (s): 341.208
CPU user time (s): 338.43
CPU system time (s): 2.77858
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 383588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.43
system time used= 2.77858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 302
runsolver used 1.54276 second user time and 3.32249 second system time
The end