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-3728346-1338676099/watcher-3728346-1338676099 -o /tmp/evaluation-result-3728346-1338676099/solver-3728346-1338676099 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728346-1338676099.wbo
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.46 3.48 3.12 4/173 19933
/proc/meminfo: memFree=28007812/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=5516 CPUtime=0 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) R 19929 19933 17516 0 -1 4202496 729 0 0 0 0 0 0 0 20 0 1 0 333735842 5648384 669 33554432000 4194304 5964350 140735122870768 140736957548488 5136340 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 1656 679 166 433 0 1220 0
[startup+0.065134 s]
/proc/loadavg: 2.46 3.48 3.12 4/173 19933
/proc/meminfo: memFree=28007812/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=83820 CPUtime=0.05 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 1422 0 0 0 5 0 0 0 20 0 2 0 333735842 85831680 1337 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 20955 1337 198 433 0 20519 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83820
[startup+0.100153 s]
/proc/loadavg: 2.46 3.48 3.12 4/173 19933
/proc/meminfo: memFree=28007812/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=83820 CPUtime=0.09 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 1793 0 0 0 9 0 0 0 20 0 2 0 333735842 85831680 1604 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 20955 1604 198 433 0 20519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83820
[startup+0.300129 s]
/proc/loadavg: 2.46 3.48 3.12 4/173 19933
/proc/meminfo: memFree=28007812/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=84676 CPUtime=0.29 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 3305 0 0 0 29 0 0 0 20 0 2 0 333735842 86708224 2316 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 21169 2316 198 433 0 20733 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84676
[startup+0.70011 s]
/proc/loadavg: 2.46 3.48 3.12 4/173 19933
/proc/meminfo: memFree=28007812/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=83820 CPUtime=0.69 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 3702 0 0 0 69 0 0 0 20 0 2 0 333735842 85831680 2563 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 20955 2563 198 433 0 20519 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83820
[startup+1.50026 s]
/proc/loadavg: 2.46 3.48 3.12 4/177 19937
/proc/meminfo: memFree=27983584/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=83820 CPUtime=1.48 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 3702 0 0 0 148 0 0 0 20 0 2 0 333735842 85831680 2563 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 20955 2563 198 433 0 20519 0
[pid=19933/tid=19937] ppid=19929 vsize=83820 CPUtime=1.47 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 2929 0 0 0 147 0 0 0 20 0 2 0 333735842 85831680 2563 33554432000 4194304 5964350 140735122870768 140190820600168 5135567 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83820
[startup+3.10025 s]
/proc/loadavg: 2.46 3.48 3.12 4/177 19937
/proc/meminfo: memFree=27980072/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=83820 CPUtime=3.09 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 4425 0 0 0 308 1 0 0 20 0 2 0 333735842 85831680 3286 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 20955 3286 198 433 0 20519 0
[pid=19933/tid=19937] ppid=19929 vsize=83820 CPUtime=3.07 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 3652 0 0 0 307 0 0 0 20 0 2 0 333735842 85831680 3286 33554432000 4194304 5964350 140735122870768 140190820599608 5136340 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83820
[startup+6.30025 s]
/proc/loadavg: 2.42 3.45 3.11 4/177 19937
/proc/meminfo: memFree=27969036/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=83820 CPUtime=6.29 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 5367 0 0 0 628 1 0 0 20 0 2 0 333735842 85831680 4228 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 20955 4228 198 433 0 20519 0
[pid=19933/tid=19937] ppid=19929 vsize=83820 CPUtime=6.27 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 4594 0 0 0 626 1 0 0 20 0 2 0 333735842 85831680 4228 33554432000 4194304 5964350 140735122870768 140190820600168 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83820
[startup+12.7003 s]
/proc/loadavg: 2.39 3.43 3.10 4/177 19937
/proc/meminfo: memFree=27961304/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=83820 CPUtime=12.68 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 7304 0 0 0 1267 1 0 0 20 0 2 0 333735842 85831680 6165 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 20955 6165 198 433 0 20519 0
[pid=19933/tid=19937] ppid=19929 vsize=83820 CPUtime=12.67 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 6531 0 0 0 1265 2 0 0 20 0 2 0 333735842 85831680 6165 33554432000 4194304 5964350 140735122870768 140190820599608 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83820
[startup+25.5003 s]
/proc/loadavg: 2.30 3.36 3.08 4/177 19937
/proc/meminfo: memFree=27931924/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=84304 CPUtime=25.48 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 10832 0 0 0 2546 2 0 0 20 0 2 0 333735842 86327296 9693 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 21076 9693 198 433 0 20640 0
[pid=19933/tid=19937] ppid=19929 vsize=84304 CPUtime=25.47 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 10059 0 0 0 2544 3 0 0 20 0 2 0 333735842 86327296 9693 33554432000 4194304 5964350 140735122870768 140190820599800 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84304
[startup+51.1003 s]
/proc/loadavg: 2.20 3.25 3.06 4/177 19937
/proc/meminfo: memFree=27874780/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=84544 CPUtime=51.07 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 15156 0 0 0 5104 3 0 0 20 0 2 0 333735842 86573056 14016 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 21136 14016 198 433 0 20700 0
[pid=19933/tid=19937] ppid=19929 vsize=84544 CPUtime=51.07 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 14383 0 0 0 5103 4 0 0 20 0 2 0 333735842 86573056 14016 33554432000 4194304 5964350 140735122870768 140190820599608 4403649 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84544
[startup+102.307 s]
/proc/loadavg: 2.08 3.05 3.00 4/178 19940
/proc/meminfo: memFree=27784004/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=102.24 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 23561 0 0 0 10217 7 0 0 20 0 2 0 333735842 154177536 22619 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 22619 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=102.25 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 22788 0 0 0 10216 9 0 0 20 0 2 0 333735842 154177536 22619 33554432000 4194304 5964350 140735122870768 140190820599608 4389090 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 150564
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.05 2.97 2.97 4/178 19940
/proc/meminfo: memFree=27762292/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=127.83 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 28170 0 0 0 12774 9 0 0 20 0 2 0 333735842 154177536 28026 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 28026 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=127.85 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 27397 0 0 0 12774 11 0 0 20 0 2 0 333735842 154177536 28026 33554432000 4194304 5964350 140735122870768 140190820599848 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 127.83
Current children cumulated vsize (KiB) 150564
[startup+134.3 s]
/proc/loadavg: 2.05 2.93 2.96 4/178 19940
/proc/meminfo: memFree=27760060/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=134.23 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 28520 0 0 0 13414 9 0 0 20 0 2 0 333735842 154177536 28375 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 28375 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=134.25 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 27747 0 0 0 13413 12 0 0 20 0 2 0 333735842 154177536 28375 33554432000 4194304 5964350 140735122870768 140190820599800 4400321 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 134.23
Current children cumulated vsize (KiB) 150564
[startup+137.507 s]
/proc/loadavg: 2.05 2.93 2.96 4/178 19940
/proc/meminfo: memFree=27750264/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=137.44 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 29553 0 0 0 13734 10 0 0 20 0 2 0 333735842 154177536 29408 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 29408 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=137.45 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 28780 0 0 0 13732 13 0 0 20 0 2 0 333735842 154177536 29408 33554432000 4194304 5964350 140735122870768 140190820599800 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 137.44
Current children cumulated vsize (KiB) 150564
[startup+139.1 s]
/proc/loadavg: 2.05 2.93 2.96 4/178 19940
/proc/meminfo: memFree=27747164/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=139.03 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 29990 0 0 0 13893 10 0 0 20 0 2 0 333735842 154177536 29845 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 29846 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=139.05 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 29218 0 0 0 13892 13 0 0 20 0 2 0 333735842 154177536 29846 33554432000 4194304 5964350 140735122870768 140190820599848 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 139.03
Current children cumulated vsize (KiB) 150564
[startup+139.9 s]
/proc/loadavg: 2.04 2.92 2.95 4/178 19940
/proc/meminfo: memFree=27743428/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=139.82 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 31198 0 0 0 13972 10 0 0 20 0 2 0 333735842 154177536 31053 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 31053 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=139.85 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 30425 0 0 0 13972 13 0 0 20 0 2 0 333735842 154177536 31053 33554432000 4194304 5964350 140735122870768 140190820599800 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 139.82
Current children cumulated vsize (KiB) 150564
[startup+140.7 s]
/proc/loadavg: 2.04 2.92 2.95 4/178 19940
/proc/meminfo: memFree=27732640/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=140.64 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 32496 0 0 0 14053 11 0 0 20 0 2 0 333735842 154177536 32351 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 32351 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=140.65 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 31723 0 0 0 14051 14 0 0 20 0 2 0 333735842 154177536 32351 33554432000 4194304 5964350 140735122870768 140190820600152 4482824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (KiB) 150564
[startup+140.9 s]
/proc/loadavg: 2.04 2.92 2.95 4/178 19940
/proc/meminfo: memFree=27732640/32873852 swapFree=6856/6856
[pid=19933] ppid=19929 vsize=150564 CPUtime=140.83 cores=1,3,5,7
/proc/19933/stat : 19933 (wbo1.72) S 19929 19933 17516 0 -1 4202496 32496 0 0 0 14072 11 0 0 20 0 2 0 333735842 154177536 32351 33554432000 4194304 5964350 140735122870768 140735122870288 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19933/statm: 37641 32351 198 433 0 37205 0
[pid=19933/tid=19937] ppid=19929 vsize=150564 CPUtime=140.85 cores=1,3,5,7
/proc/19933/task/19937/stat : 19937 (wbo1.72) R 19929 19933 17516 0 -1 4202560 31723 0 0 0 14071 14 0 0 20 0 2 0 333735842 154177536 32351 33554432000 4194304 5964350 140735122870768 140190820600152 5122334 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 140.83
Current children cumulated vsize (KiB) 150564
Child status: 255
Real time (s): 140.931
CPU time (s): 140.898
CPU user time (s): 140.742
CPU system time (s): 0.155976
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 150564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.742
system time used= 0.155976
maximum resident set size= 129404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32499
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= 35
involuntary context switches= 183
runsolver used 0.230964 second user time and 0.647901 second system time
The end