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-3463357-1307174571/watcher-3463357-1307174571 -o /tmp/evaluation-result-3463357-1307174571/solver-3463357-1307174571 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463357-1307174571.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.11 1.80 1.78 3/455 26082
/proc/meminfo: memFree=24555140/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=11328 CPUtime=0 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 441 0 0 0 0 0 0 0 25 0 1 0 809873023 11599872 374 33554432000 134512640 137138936 4288880624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 2832 374 185 642 0 2188 0
[startup+0.0291961 s]
/proc/loadavg: 2.11 1.80 1.78 3/455 26082
/proc/meminfo: memFree=24555140/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=11328 CPUtime=0.02 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 448 0 0 0 2 0 0 0 25 0 1 0 809873023 11599872 381 33554432000 134512640 137138936 4288880624 18446744073709551615 134606653 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 2832 381 192 642 0 2188 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11328
[startup+0.100223 s]
/proc/loadavg: 2.11 1.80 1.78 3/455 26082
/proc/meminfo: memFree=24555140/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=11580 CPUtime=0.09 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 514 0 0 0 9 0 0 0 25 0 1 0 809873023 11857920 447 33554432000 134512640 137138936 4288880624 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 2895 447 192 642 0 2251 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11580
[startup+0.300181 s]
/proc/loadavg: 2.11 1.80 1.78 3/455 26082
/proc/meminfo: memFree=24555140/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=12072 CPUtime=0.29 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 651 0 0 0 29 0 0 0 25 0 1 0 809873023 12361728 584 33554432000 134512640 137138936 4288880624 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 3018 584 192 642 0 2374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12072
[startup+0.701106 s]
/proc/loadavg: 2.11 1.80 1.78 3/455 26082
/proc/meminfo: memFree=24555140/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=12944 CPUtime=0.69 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 859 0 0 0 69 0 0 0 25 0 1 0 809873023 13254656 792 33554432000 134512640 137138936 4288880624 18446744073709551615 134618956 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 3236 792 192 642 0 2592 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12944
[startup+1.50096 s]
/proc/loadavg: 2.11 1.80 1.78 3/456 26083
/proc/meminfo: memFree=24551908/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=13312 CPUtime=1.49 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 958 0 0 0 149 0 0 0 25 0 1 0 809873023 13631488 891 33554432000 134512640 137138936 4288880624 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 3328 891 192 642 0 2684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13312
[startup+3.10068 s]
/proc/loadavg: 2.10 1.81 1.78 3/456 26083
/proc/meminfo: memFree=24550668/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=13684 CPUtime=3.08 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 1034 0 0 0 308 0 0 0 25 0 1 0 809873023 14012416 967 33554432000 134512640 137138936 4288880624 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 3421 967 192 642 0 2777 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13684
[startup+6.30107 s]
/proc/loadavg: 2.10 1.81 1.78 3/456 26083
/proc/meminfo: memFree=24549804/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=14548 CPUtime=6.29 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 1252 0 0 0 627 2 0 0 25 0 1 0 809873023 14897152 1185 33554432000 134512640 137138936 4288880624 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 3637 1185 192 642 0 2993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14548
[startup+12.7009 s]
/proc/loadavg: 2.09 1.81 1.78 3/456 26083
/proc/meminfo: memFree=24548168/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=14800 CPUtime=12.69 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 1340 0 0 0 1265 4 0 0 25 0 1 0 809873023 15155200 1273 33554432000 134512640 137138936 4288880624 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 3700 1273 192 642 0 3056 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14800
[startup+25.5005 s]
/proc/loadavg: 2.07 1.82 1.78 3/456 26083
/proc/meminfo: memFree=24547636/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=15652 CPUtime=25.49 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 1530 0 0 0 2543 6 0 0 25 0 1 0 809873023 16027648 1463 33554432000 134512640 137138936 4288880624 18446744073709551615 136504355 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 3913 1463 192 642 0 3269 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15652
[startup+51.1008 s]
/proc/loadavg: 2.12 1.85 1.79 3/456 26084
/proc/meminfo: memFree=24545700/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=16268 CPUtime=51.08 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 1706 0 0 0 5097 11 0 0 25 0 1 0 809873023 16658432 1639 33554432000 134512640 137138936 4288880624 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4067 1639 192 642 0 3423 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16268
[startup+102.316 s]
/proc/loadavg: 2.04 1.87 1.80 3/456 26085
/proc/meminfo: memFree=24544320/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=17360 CPUtime=102.31 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 1977 0 0 0 10208 23 0 0 25 0 1 0 809873023 17776640 1910 33554432000 134512640 137138936 4288880624 18446744073709551615 134552471 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4340 1910 192 642 0 3696 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17360
[startup+162.3 s]
/proc/loadavg: 2.01 1.89 1.81 3/456 26087
/proc/meminfo: memFree=24540828/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=18344 CPUtime=162.29 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2222 0 0 0 16196 33 0 0 25 0 1 0 809873023 18784256 2155 33554432000 134512640 137138936 4288880624 18446744073709551615 134556111 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4586 2155 192 642 0 3942 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18344
[startup+222.3 s]
/proc/loadavg: 2.05 1.92 1.83 3/456 26088
/proc/meminfo: memFree=24539324/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19084 CPUtime=222.3 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2395 0 0 0 22186 44 0 0 25 0 1 0 809873023 19542016 2328 33554432000 134512640 137138936 4288880624 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4771 2328 192 642 0 4127 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 19084
[startup+282.3 s]
/proc/loadavg: 2.02 1.93 1.83 3/456 26090
/proc/meminfo: memFree=24539060/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19436 CPUtime=282.29 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2492 0 0 0 28176 53 0 0 25 0 1 0 809873023 19902464 2425 33554432000 134512640 137138936 4288880624 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4859 2425 192 642 0 4215 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 19436
[startup+342.301 s]
/proc/loadavg: 2.00 1.94 1.84 3/456 26092
/proc/meminfo: memFree=24538916/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=342.3 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 34167 63 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 19444
[startup+402.301 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26093
/proc/meminfo: memFree=24538896/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=402.29 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 40157 72 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 19444
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26093
/proc/meminfo: memFree=24538896/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=409.5 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 40876 74 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 19444
[startup+422.3 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26094
/proc/meminfo: memFree=24538648/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=422.31 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 42155 76 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134575767 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 422.31
Current children cumulated vsize (KiB) 19444
[startup+428.7 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26094
/proc/meminfo: memFree=24538648/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=428.7 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 42793 77 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134542944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 428.7
Current children cumulated vsize (KiB) 19444
[startup+431.901 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26094
/proc/meminfo: memFree=24538644/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=431.9 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 43112 78 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 431.9
Current children cumulated vsize (KiB) 19444
[startup+433.5 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26094
/proc/meminfo: memFree=24538644/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=433.5 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 43272 78 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 433.5
Current children cumulated vsize (KiB) 19444
[startup+434.301 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26094
/proc/meminfo: memFree=24538644/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=434.3 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 43352 78 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134555661 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 434.3
Current children cumulated vsize (KiB) 19444
[startup+435.101 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26094
/proc/meminfo: memFree=24538520/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=435.1 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 43432 78 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 435.1
Current children cumulated vsize (KiB) 19444
[startup+435.501 s]
/proc/loadavg: 2.00 1.95 1.85 3/456 26094
/proc/meminfo: memFree=24538640/32951124 swapFree=60476376/67111528
[pid=26082] ppid=26080 vsize=19444 CPUtime=435.51 cores=0,2,4,6
/proc/26082/stat : 26082 (bsolo) R 26080 26082 23562 0 -1 4202496 2494 0 0 0 43473 78 0 0 25 0 1 0 809873023 19910656 2427 33554432000 134512640 137138936 4288880624 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26082/statm: 4861 2427 192 642 0 4217 0
Current children cumulated CPU time (s) 435.51
Current children cumulated vsize (KiB) 19444
Child status: 0
Real time (s): 435.54
CPU time (s): 435.548
CPU user time (s): 434.761
CPU system time (s): 0.78688
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 19444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.761
system time used= 0.78688
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2494
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= 5
involuntary context switches= 1772
runsolver used 2.03569 second user time and 4.31634 second system time
The end