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-3463092-1307175328/watcher-3463092-1307175328 -o /tmp/evaluation-result-3463092-1307175328/solver-3463092-1307175328 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463092-1307175328.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 2.00 1.99 2/327 28668
/proc/meminfo: memFree=24117068/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=19796 CPUtime=0.01 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 459 0 0 0 1 0 0 0 25 0 1 0 907763419 20271104 413 33554432000 134512640 137138936 4288488560 18446744073709551615 134520635 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 4949 414 204 642 0 2193 0
[startup+0.027089 s]
/proc/loadavg: 2.00 2.00 1.99 2/327 28668
/proc/meminfo: memFree=24117068/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=20896 CPUtime=0.02 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 779 0 0 0 2 0 0 0 25 0 1 0 907763419 21397504 733 33554432000 134512640 137138936 4288488560 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 5224 734 263 642 0 2468 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20896
[startup+0.10107 s]
/proc/loadavg: 2.00 2.00 1.99 2/327 28668
/proc/meminfo: memFree=24117068/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=25380 CPUtime=0.09 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 2190 0 0 0 9 0 0 0 25 0 1 0 907763419 25989120 2144 33554432000 134512640 137138936 4288488560 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 6345 2145 532 642 0 3589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25380
[startup+0.301041 s]
/proc/loadavg: 2.00 2.00 1.99 2/327 28668
/proc/meminfo: memFree=24117068/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=37008 CPUtime=0.29 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 5891 0 0 0 29 0 0 0 25 0 1 0 907763419 37896192 5677 33554432000 134512640 137138936 4288488560 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 9252 5678 1198 642 0 6496 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37008
[startup+0.701001 s]
/proc/loadavg: 2.00 2.00 1.99 2/327 28668
/proc/meminfo: memFree=24117068/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=63732 CPUtime=0.69 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 15528 0 0 0 67 2 0 0 25 0 1 0 907763419 65261568 13045 33554432000 134512640 137138936 4288488560 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 15933 13045 184 642 0 15289 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63732
[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28669
/proc/meminfo: memFree=24064608/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=63996 CPUtime=1.49 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 15611 0 0 0 147 2 0 0 25 0 1 0 907763419 65531904 13128 33554432000 134512640 137138936 4288488560 18446744073709551615 134566253 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 15999 13128 184 642 0 15355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63996
[startup+3.10055 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28669
/proc/meminfo: memFree=24062944/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=64392 CPUtime=3.09 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 15720 0 0 0 307 2 0 0 25 0 1 0 907763419 65937408 13237 33554432000 134512640 137138936 4288488560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 16098 13237 184 642 0 15454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64392
[startup+6.30094 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28670
/proc/meminfo: memFree=24063096/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=64656 CPUtime=6.29 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 15778 0 0 0 627 2 0 0 25 0 1 0 907763419 66207744 13295 33554432000 134512640 137138936 4288488560 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 16164 13295 184 642 0 15520 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64656
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28670
/proc/meminfo: memFree=24062380/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=64920 CPUtime=12.69 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 15833 0 0 0 1266 3 0 0 25 0 1 0 907763419 66478080 13350 33554432000 134512640 137138936 4288488560 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 16230 13350 184 642 0 15586 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 64920
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28670
/proc/meminfo: memFree=24062504/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=65052 CPUtime=25.49 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 15880 0 0 0 2546 3 0 0 25 0 1 0 907763419 66613248 13397 33554432000 134512640 137138936 4288488560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 16263 13397 184 642 0 15619 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65052
[startup+51.1008 s]
/proc/loadavg: 2.06 2.01 1.99 3/328 28671
/proc/meminfo: memFree=24062108/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=65448 CPUtime=51.09 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 15972 0 0 0 5105 4 0 0 25 0 1 0 907763419 67018752 13489 33554432000 134512640 137138936 4288488560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 16362 13489 184 642 0 15718 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 65448
[startup+102.312 s]
/proc/loadavg: 2.02 2.01 1.99 3/328 28672
/proc/meminfo: memFree=24060068/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=65976 CPUtime=102.3 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16104 0 0 0 10224 6 0 0 25 0 1 0 907763419 67559424 13621 33554432000 134512640 137138936 4288488560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 16494 13621 184 642 0 15850 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 65976
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/328 28674
/proc/meminfo: memFree=24058900/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=66240 CPUtime=162.29 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16176 0 0 0 16222 7 0 0 25 0 1 0 907763419 67829760 13693 33554432000 134512640 137138936 4288488560 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 16560 13693 184 642 0 15916 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 66240
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/328 28675
/proc/meminfo: memFree=24046336/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=78260 CPUtime=222.29 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 2099685 0 0 0 22025 204 0 0 25 0 1 0 907763419 80138240 16724 33554432000 134512640 137138936 4288488560 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 19565 16724 192 642 0 18921 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 78260
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28677
/proc/meminfo: memFree=23999172/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=126448 CPUtime=282.3 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 4163163 0 0 0 27827 403 0 0 25 0 1 0 907763419 129482752 28774 33554432000 134512640 137138936 4288488560 18446744073709551615 134576176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 31612 28774 192 642 0 30968 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 126448
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/328 28679
/proc/meminfo: memFree=23955484/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=170084 CPUtime=342.3 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 7121223 0 0 0 33548 682 0 0 25 0 1 0 907763419 174166016 39670 33554432000 134512640 137138936 4288488560 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 42521 39670 192 642 0 41877 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 170084
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28680
/proc/meminfo: memFree=23929788/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=196584 CPUtime=402.29 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 9389787 0 0 0 39324 905 0 0 25 0 1 0 907763419 201302016 46318 33554432000 134512640 137138936 4288488560 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 49146 46318 192 642 0 48502 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 196584
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28682
/proc/meminfo: memFree=23882612/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=242320 CPUtime=462.3 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 11969217 0 0 0 45085 1145 0 0 25 0 1 0 907763419 248135680 57728 33554432000 134512640 137138936 4288488560 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/28668/statm: 60580 57728 192 642 0 59936 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 242320
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28683
/proc/meminfo: memFree=23844636/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=280032 CPUtime=522.27 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 13350646 0 0 0 50934 1293 0 0 25 0 1 0 907763419 286752768 67167 33554432000 134512640 137138936 4288488560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 70008 67167 192 642 0 69364 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 280032
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/328 28685
/proc/meminfo: memFree=23808632/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=315988 CPUtime=582.27 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 14422218 0 0 0 56815 1412 0 0 25 0 1 0 907763419 323571712 76173 33554432000 134512640 137138936 4288488560 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 78997 76173 192 642 0 78353 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 315988
[startup+642.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28687
/proc/meminfo: memFree=23775368/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=349100 CPUtime=642.29 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16181280 0 0 0 62638 1591 0 0 25 0 1 0 907763419 357478400 84433 33554432000 134512640 137138936 4288488560 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 87275 84433 192 642 0 86631 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 349100
Solver just ended. Dumping a history of the last processes samples
[startup+646.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28687
/proc/meminfo: memFree=23773508/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=351488 CPUtime=646.28 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16298053 0 0 0 63023 1605 0 0 25 0 1 0 907763419 359923712 85006 33554432000 134512640 137138936 4288488560 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 87872 85018 192 642 0 87228 0
Current children cumulated CPU time (s) 646.28
Current children cumulated vsize (KiB) 351488
[startup+647.912 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28687
/proc/meminfo: memFree=23771896/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=351616 CPUtime=647.88 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16333644 0 0 0 63180 1608 0 0 25 0 1 0 907763419 360054784 85073 33554432000 134512640 137138936 4288488560 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 87904 85073 192 642 0 87260 0
Current children cumulated CPU time (s) 647.88
Current children cumulated vsize (KiB) 351616
[startup+649.501 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28687
/proc/meminfo: memFree=23771524/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=352284 CPUtime=649.47 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16356036 0 0 0 63337 1610 0 0 25 0 1 0 907763419 360738816 85221 33554432000 134512640 137138936 4288488560 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 88071 85221 192 642 0 87427 0
Current children cumulated CPU time (s) 649.47
Current children cumulated vsize (KiB) 352284
[startup+650.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28687
/proc/meminfo: memFree=23771260/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=353344 CPUtime=650.27 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16373078 0 0 0 63416 1611 0 0 25 0 1 0 907763419 361824256 85497 33554432000 134512640 137138936 4288488560 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 88170 85331 192 642 0 87526 0
Current children cumulated CPU time (s) 650.27
Current children cumulated vsize (KiB) 353344
[startup+650.701 s]
/proc/loadavg: 2.03 2.01 2.00 3/328 28687
/proc/meminfo: memFree=23771260/32951124 swapFree=67056304/67111528
[pid=28668] ppid=28666 vsize=353476 CPUtime=650.67 cores=0,2,4,6
/proc/28668/stat : 28668 (bsolo) R 28666 28668 27326 0 -1 4202496 16391202 0 0 0 63454 1613 0 0 25 0 1 0 907763419 361959424 85527 33554432000 134512640 137138936 4288488560 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/28668/statm: 88369 85527 192 642 0 87725 0
Current children cumulated CPU time (s) 650.67
Current children cumulated vsize (KiB) 353476
Child status: 0
Real time (s): 650.791
CPU time (s): 650.771
CPU user time (s): 634.614
CPU system time (s): 16.1575
CPU usage (%): 99.997
Max. virtual memory (cumulated for all children) (KiB): 353476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 634.614
system time used= 16.1575
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16396348
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= 1043
runsolver used 2.18867 second user time and 4.32434 second system time
The end