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-3463753-1307179161/watcher-3463753-1307179161 -o /tmp/evaluation-result-3463753-1307179161/solver-3463753-1307179161 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463753-1307179161.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.07 2.03 2.01 2/511 6873
/proc/meminfo: memFree=16672348/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 302 0 0 0 0 0 0 0 25 0 1 0 810332250 19046400 255 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4650 255 192 642 0 4006 0
[startup+0.0750971 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6873
/proc/meminfo: memFree=16672348/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=18732 CPUtime=0.07 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 352 0 0 0 7 0 0 0 25 0 1 0 810332250 19181568 305 33554432000 134512640 137138936 4294566720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4683 305 192 642 0 4039 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18732
[startup+0.101104 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6873
/proc/meminfo: memFree=16672348/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=18864 CPUtime=0.09 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 359 0 0 0 9 0 0 0 25 0 1 0 810332250 19316736 312 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4716 312 192 642 0 4072 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18864
[startup+0.301069 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6873
/proc/meminfo: memFree=16672348/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=18864 CPUtime=0.29 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 374 0 0 0 29 0 0 0 25 0 1 0 810332250 19316736 327 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4716 327 192 642 0 4072 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18864
[startup+0.700987 s]
/proc/loadavg: 2.07 2.03 2.01 2/511 6873
/proc/meminfo: memFree=16672348/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=18996 CPUtime=0.69 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 394 0 0 0 69 0 0 0 25 0 1 0 810332250 19451904 347 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4749 347 192 642 0 4105 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18996
[startup+1.50083 s]
/proc/loadavg: 2.07 2.03 2.01 3/507 6889
/proc/meminfo: memFree=16728108/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19120 CPUtime=1.49 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 419 0 0 0 148 1 0 0 25 0 1 0 810332250 19578880 372 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4780 372 192 642 0 4136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19120
[startup+3.10057 s]
/proc/loadavg: 2.07 2.03 2.01 3/512 6901
/proc/meminfo: memFree=16721296/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19120 CPUtime=3.09 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 449 0 0 0 307 2 0 0 25 0 1 0 810332250 19578880 402 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4780 402 192 642 0 4136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19120
[startup+6.30101 s]
/proc/loadavg: 2.14 2.05 2.01 3/512 6901
/proc/meminfo: memFree=16719188/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19240 CPUtime=6.29 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 469 0 0 0 624 5 0 0 25 0 1 0 810332250 19701760 422 33554432000 134512640 137138936 4294566720 18446744073709551615 134555703 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4810 422 192 642 0 4166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19240
[startup+12.7009 s]
/proc/loadavg: 2.13 2.05 2.01 3/512 6901
/proc/meminfo: memFree=16716052/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19372 CPUtime=12.69 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 506 0 0 0 1260 9 0 0 25 0 1 0 810332250 19836928 459 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4843 459 192 642 0 4199 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19372
[startup+25.5006 s]
/proc/loadavg: 2.10 2.05 2.01 3/512 6902
/proc/meminfo: memFree=16715596/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19500 CPUtime=25.49 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 535 0 0 0 2533 16 0 0 25 0 1 0 810332250 19968000 488 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4875 488 192 642 0 4231 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19500
[startup+51.1011 s]
/proc/loadavg: 2.06 2.04 2.01 3/512 6902
/proc/meminfo: memFree=16713632/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19756 CPUtime=51.09 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 583 0 0 0 5080 29 0 0 25 0 1 0 810332250 20230144 536 33554432000 134512640 137138936 4294566720 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4939 536 192 642 0 4295 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19756
[startup+102.318 s]
/proc/loadavg: 2.03 2.03 2.00 3/512 6904
/proc/meminfo: memFree=16709896/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19880 CPUtime=102.31 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 619 0 0 0 10178 53 0 0 25 0 1 0 810332250 20357120 572 33554432000 134512640 137138936 4294566720 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4970 572 192 642 0 4326 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19880
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/512 6905
/proc/meminfo: memFree=16707648/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=19996 CPUtime=162.29 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 651 0 0 0 16148 81 0 0 25 0 1 0 810332250 20475904 604 33554432000 134512640 137138936 4294566720 18446744073709551615 136500943 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 4999 604 192 642 0 4355 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 19996
[startup+222.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/512 6907
/proc/meminfo: memFree=16707880/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20128 CPUtime=222.3 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 690 0 0 0 22121 109 0 0 25 0 1 0 810332250 20611072 643 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5032 643 192 642 0 4388 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 20128
[startup+282.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/512 6908
/proc/meminfo: memFree=16708480/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=282.3 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 726 0 0 0 28098 132 0 0 25 0 1 0 810332250 20750336 679 33554432000 134512640 137138936 4294566720 18446744073709551615 134543071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 679 192 642 0 4422 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20264
[startup+342.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/512 6912
/proc/meminfo: memFree=16708288/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=342.3 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 34072 158 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20264
[startup+402.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/512 6915
/proc/meminfo: memFree=16708596/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=402.3 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 40045 185 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 134542886 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20264
Solver just ended. Dumping a history of the last processes samples
[startup+409.5 s]
/proc/loadavg: 2.09 2.05 2.01 3/512 6915
/proc/meminfo: memFree=16708596/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=409.5 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 40763 187 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 409.5
Current children cumulated vsize (KiB) 20264
[startup+435.101 s]
/proc/loadavg: 2.06 2.05 2.01 3/512 6915
/proc/meminfo: memFree=16706852/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=435.1 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 43311 199 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 435.1
Current children cumulated vsize (KiB) 20264
[startup+447.9 s]
/proc/loadavg: 2.04 2.05 2.00 3/512 6916
/proc/meminfo: memFree=16707956/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=447.9 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 44586 204 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 447.9
Current children cumulated vsize (KiB) 20264
[startup+451.101 s]
/proc/loadavg: 2.04 2.04 2.00 3/512 6916
/proc/meminfo: memFree=16707088/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=451.1 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 44905 205 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 451.1
Current children cumulated vsize (KiB) 20264
[startup+452.701 s]
/proc/loadavg: 2.04 2.04 2.00 3/512 6916
/proc/meminfo: memFree=16707088/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=452.7 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 45064 206 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 452.7
Current children cumulated vsize (KiB) 20264
[startup+453.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/512 6916
/proc/meminfo: memFree=16707832/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=453.5 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 45144 206 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 453.5
Current children cumulated vsize (KiB) 20264
[startup+453.9 s]
/proc/loadavg: 2.04 2.04 2.00 3/512 6916
/proc/meminfo: memFree=16707832/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=453.9 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 45184 206 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 453.9
Current children cumulated vsize (KiB) 20264
[startup+454.1 s]
/proc/loadavg: 2.04 2.04 2.00 3/512 6916
/proc/meminfo: memFree=16707832/32951124 swapFree=67111204/67111528
[pid=6873] ppid=6871 vsize=20264 CPUtime=454.1 cores=0,2,4,6
/proc/6873/stat : 6873 (bsolo) R 6871 6873 5093 0 -1 4202496 727 0 0 0 45204 206 0 0 25 0 1 0 810332250 20750336 680 33554432000 134512640 137138936 4294566720 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/6873/statm: 5066 680 192 642 0 4422 0
Current children cumulated CPU time (s) 454.1
Current children cumulated vsize (KiB) 20264
Child status: 0
Real time (s): 454.147
CPU time (s): 454.156
CPU user time (s): 452.088
CPU system time (s): 2.06769
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 452.088
system time used= 2.06768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 727
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= 806
runsolver used 2.40063 second user time and 4.70328 second system time
The end