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-3462683-1307181744/watcher-3462683-1307181744 -o /tmp/evaluation-result-3462683-1307181744/solver-3462683-1307181744 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462683-1307181744.opb
running on 4 cores: 1,3,5,7
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.02 2.03 2.00 2/505 11357
/proc/meminfo: memFree=29620180/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 829777056 11186176 296 33554432000 134512640 137138936 4289141472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 2731 296 192 642 0 2087 0
[startup+0.026729 s]
/proc/loadavg: 2.02 2.03 2.00 2/505 11357
/proc/meminfo: memFree=29620180/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=11052 CPUtime=0.02 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 386 0 0 0 2 0 0 0 25 0 1 0 829777056 11317248 338 33554432000 134512640 137138936 4289141472 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 2763 338 192 642 0 2119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11052
[startup+0.100717 s]
/proc/loadavg: 2.02 2.03 2.00 2/505 11357
/proc/meminfo: memFree=29620180/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=11960 CPUtime=0.09 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 593 0 0 0 9 0 0 0 25 0 1 0 829777056 12247040 545 33554432000 134512640 137138936 4289141472 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 2990 545 192 642 0 2346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11960
[startup+0.300686 s]
/proc/loadavg: 2.02 2.03 2.00 2/505 11357
/proc/meminfo: memFree=29620180/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=13884 CPUtime=0.29 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 1079 0 0 0 29 0 0 0 25 0 1 0 829777056 14217216 1031 33554432000 134512640 137138936 4289141472 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 3471 1031 192 642 0 2827 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13884
[startup+0.700615 s]
/proc/loadavg: 2.02 2.03 2.00 2/505 11357
/proc/meminfo: memFree=29620180/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=17364 CPUtime=0.69 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 1943 0 0 0 69 0 0 0 25 0 1 0 829777056 17780736 1895 33554432000 134512640 137138936 4289141472 18446744073709551615 134577155 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 4341 1895 192 642 0 3697 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17364
[startup+1.50047 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 11358
/proc/meminfo: memFree=29612732/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=17876 CPUtime=1.49 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 2069 0 0 0 149 0 0 0 25 0 1 0 829777056 18305024 2021 33554432000 134512640 137138936 4289141472 18446744073709551615 136501682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 4469 2021 192 642 0 3825 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17876
[startup+3.10019 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 11358
/proc/meminfo: memFree=29610540/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=18524 CPUtime=3.09 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 2242 0 0 0 308 1 0 0 25 0 1 0 829777056 18968576 2194 33554432000 134512640 137138936 4289141472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 4631 2194 192 642 0 3987 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18524
[startup+6.30063 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 11358
/proc/meminfo: memFree=29609896/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=19788 CPUtime=6.29 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 2550 0 0 0 627 2 0 0 25 0 1 0 829777056 20262912 2502 33554432000 134512640 137138936 4289141472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 4947 2502 192 642 0 4303 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19788
[startup+12.7005 s]
/proc/loadavg: 2.02 2.03 2.00 3/506 11358
/proc/meminfo: memFree=29606488/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=20940 CPUtime=12.69 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 2856 0 0 0 1265 4 0 0 25 0 1 0 829777056 21442560 2808 33554432000 134512640 137138936 4289141472 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 5235 2808 192 642 0 4591 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20940
[startup+25.5002 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 11359
/proc/meminfo: memFree=29607004/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=20944 CPUtime=25.49 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 2857 0 0 0 2541 8 0 0 25 0 1 0 829777056 21446656 2809 33554432000 134512640 137138936 4289141472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 5236 2809 192 642 0 4592 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20944
[startup+51.1007 s]
/proc/loadavg: 2.09 2.04 2.01 3/506 11359
/proc/meminfo: memFree=29606740/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=21928 CPUtime=51.09 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 3086 0 0 0 5095 14 0 0 25 0 1 0 829777056 22454272 3038 33554432000 134512640 137138936 4289141472 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 5482 3038 192 642 0 4838 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 21928
[startup+102.319 s]
/proc/loadavg: 2.09 2.05 2.01 3/506 11364
/proc/meminfo: memFree=29602936/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=24948 CPUtime=102.31 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 3861 0 0 0 10204 27 0 0 25 0 1 0 829777056 25546752 3813 33554432000 134512640 137138936 4289141472 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6237 3813 192 642 0 5593 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 24948
[startup+162.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/506 11365
/proc/meminfo: memFree=29602900/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=24952 CPUtime=162.3 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 3862 0 0 0 16193 37 0 0 25 0 1 0 829777056 25550848 3814 33554432000 134512640 137138936 4289141472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6238 3814 192 642 0 5594 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 24952
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 11367
/proc/meminfo: memFree=29602984/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=26196 CPUtime=222.3 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4157 0 0 0 22183 47 0 0 25 0 1 0 829777056 26824704 4109 33554432000 134512640 137138936 4289141472 18446744073709551615 134603102 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6549 4109 192 642 0 5905 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26196
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 11368
/proc/meminfo: memFree=29601100/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=28336 CPUtime=282.3 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4701 0 0 0 28174 56 0 0 25 0 1 0 829777056 29016064 4653 33554432000 134512640 137138936 4289141472 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 7084 4653 192 642 0 6440 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28336
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11370
/proc/meminfo: memFree=29599836/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=28344 CPUtime=342.3 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4703 0 0 0 34165 65 0 0 25 0 1 0 829777056 29024256 4655 33554432000 134512640 137138936 4289141472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 7086 4655 192 642 0 6442 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 28344
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 11372
/proc/meminfo: memFree=29599312/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=28040 CPUtime=402.3 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4703 0 0 0 40156 74 0 0 25 0 1 0 829777056 28712960 4586 33554432000 134512640 137138936 4289141472 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 7010 4586 192 642 0 6366 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 28040
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11373
/proc/meminfo: memFree=29600780/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=28036 CPUtime=462.3 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4703 0 0 0 46148 82 0 0 25 0 1 0 829777056 28708864 4585 33554432000 134512640 137138936 4289141472 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 7009 4585 192 642 0 6365 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 28036
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 11375
/proc/meminfo: memFree=29601004/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=28032 CPUtime=522.31 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4703 0 0 0 52141 90 0 0 25 0 1 0 829777056 28704768 4584 33554432000 134512640 137138936 4289141472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 7008 4584 192 642 0 6364 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 28032
Solver just ended. Dumping a history of the last processes samples
[startup+537.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11375
/proc/meminfo: memFree=29600996/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=28032 CPUtime=537.5 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4703 0 0 0 53659 91 0 0 25 0 1 0 829777056 28704768 4584 33554432000 134512640 137138936 4289141472 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 7008 4584 192 642 0 6364 0
Current children cumulated CPU time (s) 537.5
Current children cumulated vsize (KiB) 28032
[startup+563.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601724/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27384 CPUtime=563.12 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 56218 94 0 0 25 0 1 0 829777056 28041216 4422 33554432000 134512640 137138936 4289141472 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6846 4422 192 642 0 6202 0
Current children cumulated CPU time (s) 563.12
Current children cumulated vsize (KiB) 27384
[startup+569.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601352/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27380 CPUtime=569.5 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 56856 94 0 0 25 0 1 0 829777056 28037120 4421 33554432000 134512640 137138936 4289141472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6845 4421 192 642 0 6201 0
Current children cumulated CPU time (s) 569.5
Current children cumulated vsize (KiB) 27380
[startup+575.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601224/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27380 CPUtime=575.9 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 57495 95 0 0 25 0 1 0 829777056 28037120 4421 33554432000 134512640 137138936 4289141472 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6845 4421 192 642 0 6201 0
Current children cumulated CPU time (s) 575.9
Current children cumulated vsize (KiB) 27380
[startup+579.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601472/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27380 CPUtime=579.11 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 57815 96 0 0 25 0 1 0 829777056 28037120 4421 33554432000 134512640 137138936 4289141472 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6845 4421 192 642 0 6201 0
Current children cumulated CPU time (s) 579.11
Current children cumulated vsize (KiB) 27380
[startup+579.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601716/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27380 CPUtime=579.9 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 57894 96 0 0 25 0 1 0 829777056 28037120 4421 33554432000 134512640 137138936 4289141472 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6845 4421 192 642 0 6201 0
Current children cumulated CPU time (s) 579.9
Current children cumulated vsize (KiB) 27380
[startup+580.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601716/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27380 CPUtime=580.3 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 57934 96 0 0 25 0 1 0 829777056 28037120 4421 33554432000 134512640 137138936 4289141472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6845 4421 192 642 0 6201 0
Current children cumulated CPU time (s) 580.3
Current children cumulated vsize (KiB) 27380
[startup+580.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601592/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27380 CPUtime=580.71 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 57975 96 0 0 25 0 1 0 829777056 28037120 4421 33554432000 134512640 137138936 4289141472 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6845 4421 192 642 0 6201 0
Current children cumulated CPU time (s) 580.71
Current children cumulated vsize (KiB) 27380
[startup+580.819 s]
/proc/loadavg: 2.00 2.00 2.00 3/506 11376
/proc/meminfo: memFree=29601592/32951124 swapFree=51712236/67111528
[pid=11357] ppid=11355 vsize=27380 CPUtime=580.82 cores=1,3,5,7
/proc/11357/stat : 11357 (bsolo) R 11355 11357 9506 0 -1 4202496 4705 0 0 0 57986 96 0 0 25 0 1 0 829777056 28037120 4421 33554432000 134512640 137138936 4289141472 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/11357/statm: 6845 4421 192 642 0 6201 0
Current children cumulated CPU time (s) 580.82
Current children cumulated vsize (KiB) 27380
Child status: 0
Real time (s): 580.887
CPU time (s): 580.9
CPU user time (s): 579.932
CPU system time (s): 0.967852
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 28344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 579.932
system time used= 0.967852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4706
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= 6660
runsolver used 2.6426 second user time and 6.88095 second system time
The end