runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3741564-1338760142/watcher-3741564-1338760142 -o /tmp/evaluation-result-3741564-1338760142/solver-3741564-1338760142 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741564-1338760142.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 2.00 3/176 7196
/proc/meminfo: memFree=28525804/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=2776 CPUtime=0 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4194304 99 0 0 0 0 0 0 0 20 0 1 0 342139846 2842624 51 33554432000 134512640 135840783 4287572144 4287570072 5490179 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 722 55 41 325 0 35 0

[startup+0.0364721 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7196
/proc/meminfo: memFree=28525804/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=5476 CPUtime=0.02 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 724 0 0 0 2 0 0 0 20 0 1 0 342139846 5607424 628 33554432000 134512640 135840783 4287572144 4287555804 5043248 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 1369 628 341 325 0 305 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5476

[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7196
/proc/meminfo: memFree=28525804/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=5476 CPUtime=0.09 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 724 0 0 0 9 0 0 0 20 0 1 0 342139846 5607424 628 33554432000 134512640 135840783 4287572144 4287555804 5043248 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 1369 628 341 325 0 305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5476

[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7196
/proc/meminfo: memFree=28525804/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=8936 CPUtime=0.28 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 4973 0 0 0 28 0 0 0 20 0 1 0 342139846 9150464 1284 33554432000 134512640 135840783 4287572144 4287570416 134694629 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 2234 1284 425 325 0 1170 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8936

[startup+0.700204 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7196
/proc/meminfo: memFree=28525804/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=9688 CPUtime=0.69 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 5995 0 0 0 68 1 0 0 20 0 1 0 342139846 9920512 1768 33554432000 134512640 135840783 4287572144 4287571504 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 2422 1768 430 325 0 1358 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9688

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=28516744/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=16984 CPUtime=1.48 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 7810 0 0 0 147 1 0 0 20 0 1 0 342139846 17391616 3583 33554432000 134512640 135840783 4287572144 4287571504 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 4246 3583 430 325 0 3182 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16984

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=28504520/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=27188 CPUtime=3.09 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 10378 0 0 0 307 2 0 0 20 0 1 0 342139846 27840512 6151 33554432000 134512640 135840783 4287572144 4287571504 134550893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 6797 6151 430 325 0 5733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27188

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=28491564/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=42304 CPUtime=6.28 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 14137 0 0 0 625 3 0 0 20 0 1 0 342139846 43319296 9910 33554432000 134512640 135840783 4287572144 4287571504 134550893 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 10576 9910 430 325 0 9512 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42304

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=28464484/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=65640 CPUtime=12.69 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 19968 0 0 0 1264 5 0 0 20 0 1 0 342139846 67215360 15741 33554432000 134512640 135840783 4287572144 4287571504 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 16410 15741 430 325 0 15346 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65640

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=28436576/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=93460 CPUtime=25.48 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 26929 0 0 0 2542 6 0 0 20 0 1 0 342139846 95703040 22698 33554432000 134512640 135840783 4287572144 4287571380 5996564 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 23365 22698 430 325 0 22301 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93460

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7197
/proc/meminfo: memFree=28392320/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=134300 CPUtime=51.04 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 37174 0 0 0 5095 9 0 0 20 0 1 0 342139846 137523200 32919 33554432000 134512640 135840783 4287572144 4287571504 134551646 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 33575 32919 430 325 0 32511 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 134300

[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 7200
/proc/meminfo: memFree=28325892/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=201056 CPUtime=102.19 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 53904 0 0 0 10206 13 0 0 20 0 1 0 342139846 205881344 49613 33554432000 134512640 135840783 4287572144 4287571232 5999844 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 50264 49613 430 325 0 49200 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 201056

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7200
/proc/meminfo: memFree=28268640/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=258864 CPUtime=162.13 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 68401 0 0 0 16194 19 0 0 20 0 1 0 342139846 265076736 64062 33554432000 134512640 135840783 4287572144 4287571504 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 64716 64062 430 325 0 63652 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 258864

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7201
/proc/meminfo: memFree=28222296/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=305840 CPUtime=222.12 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 80170 0 0 0 22188 24 0 0 20 0 1 0 342139846 313180160 75819 33554432000 134512640 135840783 4287572144 4287571504 134551093 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/7196/statm: 76460 75819 430 325 0 75396 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 305840

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7212
/proc/meminfo: memFree=28181120/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=348684 CPUtime=282.1 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 90874 0 0 0 28183 27 0 0 20 0 1 0 342139846 357052416 86523 33554432000 134512640 135840783 4287572144 4287571504 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 87171 86523 430 325 0 86107 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 348684

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7212
/proc/meminfo: memFree=28141204/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=388600 CPUtime=342.09 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 100839 0 0 0 34180 29 0 0 20 0 1 0 342139846 397926400 96488 33554432000 134512640 135840783 4287572144 4287571504 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 97150 96488 430 325 0 96086 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 388600

[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 7212
/proc/meminfo: memFree=28107376/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=424600 CPUtime=402.07 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 109847 0 0 0 40175 32 0 0 20 0 1 0 342139846 434790400 105477 33554432000 134512640 135840783 4287572144 4287571504 134550884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 106150 105477 430 325 0 105086 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 424600

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7212
/proc/meminfo: memFree=28073800/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=458452 CPUtime=462.02 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 118367 0 0 0 46167 35 0 0 20 0 1 0 342139846 469454848 113949 33554432000 134512640 135840783 4287572144 4287571504 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 114613 113949 430 325 0 113549 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 458452

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28042788/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=489472 CPUtime=521.99 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 126181 0 0 0 52160 39 0 0 20 0 1 0 342139846 501219328 121725 33554432000 134512640 135840783 4287572144 4287571504 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 122368 121725 430 325 0 121304 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 489472

Solver just ended. Dumping a history of the last processes samples

[startup+524.706 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28042540/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=490660 CPUtime=524.39 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 126455 0 0 0 52400 39 0 0 20 0 1 0 342139846 502435840 121999 33554432000 134512640 135840783 4287572144 4287571456 134550764 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 122665 121999 430 325 0 121601 0
Current children cumulated CPU time (s) 524.39
Current children cumulated vsize (KiB) 490660

[startup+537.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28033236/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=496100 CPUtime=537.18 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 127820 0 0 0 53679 39 0 0 20 0 1 0 342139846 508006400 123364 33554432000 134512640 135840783 4287572144 4287571376 5626626 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 124025 123364 430 325 0 122961 0
Current children cumulated CPU time (s) 537.18
Current children cumulated vsize (KiB) 496100

[startup+540.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28035716/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=497172 CPUtime=540.38 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 128080 0 0 0 53998 40 0 0 20 0 1 0 342139846 509104128 123624 33554432000 134512640 135840783 4287572144 4287571500 134521208 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 124293 123624 430 325 0 123229 0
Current children cumulated CPU time (s) 540.38
Current children cumulated vsize (KiB) 497172

[startup+543.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28033732/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=498500 CPUtime=543.58 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 128423 0 0 0 54318 40 0 0 20 0 1 0 342139846 510464000 123967 33554432000 134512640 135840783 4287572144 4287571504 134550820 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 124625 123967 430 325 0 123561 0
Current children cumulated CPU time (s) 543.58
Current children cumulated vsize (KiB) 498500

[startup+544.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28033608/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=498904 CPUtime=544.38 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 128510 0 0 0 54398 40 0 0 20 0 1 0 342139846 510877696 124054 33554432000 134512640 135840783 4287572144 4287571504 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 124726 124054 430 325 0 123662 0
Current children cumulated CPU time (s) 544.38
Current children cumulated vsize (KiB) 498904

[startup+545.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28033856/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=499300 CPUtime=545.19 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 128619 0 0 0 54479 40 0 0 20 0 1 0 342139846 511283200 124163 33554432000 134512640 135840783 4287572144 4287571504 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 124825 124163 430 325 0 123761 0
Current children cumulated CPU time (s) 545.19
Current children cumulated vsize (KiB) 499300

[startup+545.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28033856/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=499436 CPUtime=545.58 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 128664 0 0 0 54518 40 0 0 20 0 1 0 342139846 511422464 124208 33554432000 134512640 135840783 4287572144 4287571504 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 124859 124208 430 325 0 123795 0
Current children cumulated CPU time (s) 545.58
Current children cumulated vsize (KiB) 499436

[startup+546 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7213
/proc/meminfo: memFree=28033856/32873844 swapFree=7112/7112
[pid=7196] ppid=7194 vsize=499436 CPUtime=545.68 cores=0,2,4,6
/proc/7196/stat : 7196 (bsolo3.0.17) R 7194 7196 5948 0 -1 4202496 128674 0 0 0 54528 40 0 0 20 0 1 0 342139846 511422464 124218 33554432000 134512640 135840783 4287572144 4287571504 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/7196/statm: 124859 124218 430 325 0 123795 0
Current children cumulated CPU time (s) 545.68
Current children cumulated vsize (KiB) 499436

Child status: 0
Real time (s): 546.058
CPU time (s): 545.746
CPU user time (s): 545.341
CPU system time (s): 0.404938
CPU usage (%): 99.9429
Max. virtual memory (cumulated for all children) (KiB): 499436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 545.341
system time used= 0.404938
maximum resident set size= 496924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128689
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= 244
involuntary context switches= 709

runsolver used 1.51577 second user time and 6.30404 second system time

The end