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-3704607-1338082166/watcher-3704607-1338082166 -o /tmp/evaluation-result-3704607-1338082166/solver-3704607-1338082166 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704607-1338082166.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.05 2.03 2.00 3/177 15538
/proc/meminfo: memFree=30588992/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=5012 CPUtime=0 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) R 15536 15538 12452 0 -1 4202496 739 0 0 0 0 0 0 0 20 0 1 0 274342550 5132288 678 33554432000 4194304 5963574 140737430741536 140734641966072 4296686 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 1253 690 168 432 0 818 0
[startup+0.0769801 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15538
/proc/meminfo: memFree=30588992/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84580 CPUtime=0.07 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 1501 0 0 0 7 0 0 0 20 0 2 0 274342550 86609920 1440 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21145 1440 185 432 0 20710 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 84580
[startup+0.100165 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15538
/proc/meminfo: memFree=30588992/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84580 CPUtime=0.09 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 1565 0 0 0 9 0 0 0 20 0 2 0 274342550 86609920 1504 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21145 1504 185 432 0 20710 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84580
[startup+0.300117 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15538
/proc/meminfo: memFree=30588992/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84580 CPUtime=0.29 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 2089 0 0 0 29 0 0 0 20 0 2 0 274342550 86609920 2028 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21145 2028 185 432 0 20710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84580
[startup+0.700128 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15538
/proc/meminfo: memFree=30588992/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84580 CPUtime=0.69 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 3002 0 0 0 69 0 0 0 20 0 2 0 274342550 86609920 2941 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21145 2941 185 432 0 20710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84580
[startup+1.50014 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15540
/proc/meminfo: memFree=30576112/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84580 CPUtime=1.49 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 4529 0 0 0 149 0 0 0 20 0 2 0 274342550 86609920 4468 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21145 4468 185 432 0 20710 0
[pid=15538/tid=15540] ppid=15536 vsize=84580 CPUtime=1.48 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 3601 0 0 0 148 0 0 0 20 0 2 0 274342551 86609920 4468 33554432000 4194304 5963574 140737430741536 140719963060216 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84580
[startup+3.10015 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15540
/proc/meminfo: memFree=30570508/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84724 CPUtime=3.09 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 5555 0 0 0 309 0 0 0 20 0 2 0 274342550 86757376 5494 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21181 5494 185 432 0 20746 0
[pid=15538/tid=15540] ppid=15536 vsize=84724 CPUtime=3.08 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 4627 0 0 0 308 0 0 0 20 0 2 0 274342551 86757376 5494 33554432000 4194304 5963574 140737430741536 140719963060024 4222384 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84724
[startup+6.30014 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15540
/proc/meminfo: memFree=30559248/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84796 CPUtime=6.29 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 7921 0 0 0 628 1 0 0 20 0 2 0 274342550 86831104 7860 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21199 7860 185 432 0 20764 0
[pid=15538/tid=15540] ppid=15536 vsize=84796 CPUtime=6.28 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 6993 0 0 0 626 2 0 0 20 0 2 0 274342551 86831104 7860 33554432000 4194304 5963574 140737430741536 140719963060024 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84796
[startup+12.7001 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 15540
/proc/meminfo: memFree=30544620/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84796 CPUtime=12.68 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 11307 0 0 0 1266 2 0 0 20 0 2 0 274342550 86831104 11246 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21199 11246 185 432 0 20764 0
[pid=15538/tid=15540] ppid=15536 vsize=84796 CPUtime=12.68 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 10379 0 0 0 1265 3 0 0 20 0 2 0 274342551 86831104 11246 33554432000 4194304 5963574 140737430741536 140719963060216 4399603 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84796
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 15540
/proc/meminfo: memFree=30527540/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=84904 CPUtime=25.48 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 15785 0 0 0 2545 3 0 0 20 0 2 0 274342550 86941696 15724 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 21226 15724 185 432 0 20791 0
[pid=15538/tid=15540] ppid=15536 vsize=84904 CPUtime=25.48 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 14857 0 0 0 2544 4 0 0 20 0 2 0 274342551 86941696 15724 33554432000 4194304 5963574 140737430741536 140719963060216 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84904
[startup+51.1002 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 15543
/proc/meminfo: memFree=30474224/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=150600 CPUtime=51.09 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 29804 0 0 0 5100 9 0 0 20 0 2 0 274342550 154214400 29743 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 37650 29743 185 432 0 37215 0
[pid=15538/tid=15540] ppid=15536 vsize=150600 CPUtime=51.08 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 28876 0 0 0 5099 9 0 0 20 0 2 0 274342551 154214400 29743 33554432000 4194304 5963574 140737430741536 140719963060216 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 150600
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 15543
/proc/meminfo: memFree=30439760/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=216376 CPUtime=102.28 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 37224 0 0 0 10217 11 0 0 20 0 2 0 274342550 221569024 37163 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 54094 37163 185 432 0 53659 0
[pid=15538/tid=15540] ppid=15536 vsize=216376 CPUtime=102.29 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 36296 0 0 0 10216 13 0 0 20 0 2 0 274342551 221569024 37163 33554432000 4194304 5963574 140737430741536 140719963060216 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 216376
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 15622
/proc/meminfo: memFree=30930176/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=281912 CPUtime=162.22 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 51348 0 0 0 16207 15 0 0 20 0 2 0 274342550 288677888 51603 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 70478 51603 185 432 0 70043 0
[pid=15538/tid=15540] ppid=15536 vsize=281912 CPUtime=162.25 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 50420 0 0 0 16207 18 0 0 20 0 2 0 274342551 288677888 51603 33554432000 4194304 5963574 140737430741536 140719963060216 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 281912
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 15623
/proc/meminfo: memFree=30846812/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=284072 CPUtime=222.17 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 58145 0 0 0 22198 19 0 0 20 0 2 0 274342550 290889728 58437 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 71018 58437 185 432 0 70583 0
[pid=15538/tid=15540] ppid=15536 vsize=284072 CPUtime=222.21 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 57217 0 0 0 22198 23 0 0 20 0 2 0 274342551 290889728 58437 33554432000 4194304 5963574 140737430741536 140719963060216 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 284072
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15623
/proc/meminfo: memFree=30735320/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=284072 CPUtime=282.16 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 58162 0 0 0 28197 19 0 0 20 0 2 0 274342550 290889728 59069 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 71018 59069 185 432 0 70583 0
[pid=15538/tid=15540] ppid=15536 vsize=284072 CPUtime=282.21 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 57234 0 0 0 28197 24 0 0 20 0 2 0 274342551 290889728 59069 33554432000 4194304 5963574 140737430741536 140719963060248 4400547 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 284072
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15623
/proc/meminfo: memFree=30683560/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=350328 CPUtime=342.15 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 71013 0 0 0 34191 24 0 0 20 0 2 0 274342550 358735872 71920 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 87582 71920 185 432 0 87147 0
[pid=15538/tid=15540] ppid=15536 vsize=350328 CPUtime=342.21 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 70085 0 0 0 34191 30 0 0 20 0 2 0 274342551 358735872 71920 33554432000 4194304 5963574 140737430741536 140719963060216 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 350328
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15623
/proc/meminfo: memFree=30646080/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=350832 CPUtime=402.14 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 80811 0 0 0 40186 28 0 0 20 0 2 0 274342550 359251968 81718 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 87708 81718 185 432 0 87273 0
[pid=15538/tid=15540] ppid=15536 vsize=350832 CPUtime=402.22 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 79883 0 0 0 40187 35 0 0 20 0 2 0 274342551 359251968 81718 33554432000 4194304 5963574 140737430741536 140719963060216 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 350832
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15623
/proc/meminfo: memFree=30568452/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=416872 CPUtime=462.1 cores=1,3,5,7
################
# More data... #
################
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 147816 0 0 0 130137 77 0 0 20 0 2 0 274342551 635351040 149525 33554432000 4194304 5963574 140737430741536 140719963060264 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 620460
[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15633
/proc/meminfo: memFree=29873876/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=620820 CPUtime=1361.87 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 148820 0 0 0 136130 57 0 0 20 0 2 0 274342550 635719680 149601 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 155205 149601 185 432 0 154770 0
[pid=15538/tid=15540] ppid=15536 vsize=620820 CPUtime=1362.13 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 147892 0 0 0 136135 78 0 0 20 0 2 0 274342551 635719680 149601 33554432000 4194304 5963574 140737430741536 140719963060264 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 620820
[startup+1422.31 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 15634
/proc/meminfo: memFree=29806700/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=620820 CPUtime=1421.87 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 148825 0 0 0 142130 57 0 0 20 0 2 0 274342550 635719680 149606 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 155205 149606 185 432 0 154770 0
[pid=15538/tid=15540] ppid=15536 vsize=620820 CPUtime=1422.14 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 147897 0 0 0 142135 79 0 0 20 0 2 0 274342551 635719680 149606 33554432000 4194304 5963574 140737430741536 140719963060264 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 620820
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 15634
/proc/meminfo: memFree=29740916/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=620820 CPUtime=1481.85 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 148850 0 0 0 148128 57 0 0 20 0 2 0 274342550 635719680 149556 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 155205 149556 185 432 0 154770 0
[pid=15538/tid=15540] ppid=15536 vsize=620820 CPUtime=1482.14 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 147922 0 0 0 148134 80 0 0 20 0 2 0 274342551 635719680 149556 33554432000 4194304 5963574 140737430741536 140719963060248 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 620820
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 15634
/proc/meminfo: memFree=29684248/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=620820 CPUtime=1541.84 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 148854 0 0 0 154127 57 0 0 20 0 2 0 274342550 635719680 149560 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 155205 149560 185 432 0 154770 0
[pid=15538/tid=15540] ppid=15536 vsize=620820 CPUtime=1542.14 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 147926 0 0 0 154133 81 0 0 20 0 2 0 274342551 635719680 149560 33554432000 4194304 5963574 140737430741536 140719963060248 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 620820
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15634
/proc/meminfo: memFree=29631300/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=621736 CPUtime=1601.83 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 150552 0 0 0 160125 58 0 0 20 0 2 0 274342550 636657664 151258 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 155434 151258 185 432 0 154999 0
[pid=15538/tid=15540] ppid=15536 vsize=621736 CPUtime=1602.14 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 149624 0 0 0 160131 83 0 0 20 0 2 0 274342551 636657664 151258 33554432000 4194304 5963574 140737430741536 140719963060216 4381532 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 621736
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15634
/proc/meminfo: memFree=29560248/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1661.82 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155795 0 0 0 166121 61 0 0 20 0 2 0 274342550 706134016 156501 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 156501 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1662.14 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154867 0 0 0 166127 87 0 0 20 0 2 0 274342551 706134016 156501 33554432000 4194304 5963574 140737430741536 140719963060264 4399651 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 689584
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557572/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1721.81 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155803 0 0 0 172120 61 0 0 20 0 2 0 274342550 706134016 155866 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155866 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1722.15 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154875 0 0 0 172127 88 0 0 20 0 2 0 274342551 706134016 155866 33554432000 4194304 5963574 140737430741536 140719963060248 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 689584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557880/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1781.8 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155811 0 0 0 178119 61 0 0 20 0 2 0 274342550 706134016 155874 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155874 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1782.15 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154883 0 0 0 178126 89 0 0 20 0 2 0 274342551 706134016 155874 33554432000 4194304 5963574 140737430741536 140719963060248 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 689584
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557068/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1791.41 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155814 0 0 0 179080 61 0 0 20 0 2 0 274342550 706134016 155890 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155890 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1791.75 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154886 0 0 0 179086 89 0 0 20 0 2 0 274342551 706134016 155890 33554432000 4194304 5963574 140737430741536 140719963060248 4389798 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 689584
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557192/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1794.61 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155814 0 0 0 179400 61 0 0 20 0 2 0 274342550 706134016 155890 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155890 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1794.95 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154886 0 0 0 179406 89 0 0 20 0 2 0 274342551 706134016 155890 33554432000 4194304 5963574 140737430741536 140719963060248 4381510 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 689584
[startup+1798.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557316/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1797.8 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155816 0 0 0 179719 61 0 0 20 0 2 0 274342550 706134016 155905 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155905 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1798.15 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154888 0 0 0 179726 89 0 0 20 0 2 0 274342551 706134016 155905 33554432000 4194304 5963574 140737430741536 140719963060248 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 689584
[startup+1799.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557120/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1798.6 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155816 0 0 0 179799 61 0 0 20 0 2 0 274342550 706134016 155905 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155905 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1798.95 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154888 0 0 0 179806 89 0 0 20 0 2 0 274342551 706134016 155905 33554432000 4194304 5963574 140737430741536 140719963060248 4381238 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 689584
[startup+1799.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557120/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1799 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155816 0 0 0 179839 61 0 0 20 0 2 0 274342550 706134016 155905 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155905 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1799.35 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154888 0 0 0 179846 89 0 0 20 0 2 0 274342551 706134016 155905 33554432000 4194304 5963574 140737430741536 140719963060248 4391232 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 689584
[startup+1799.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557120/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1799.4 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155816 0 0 0 179879 61 0 0 20 0 2 0 274342550 706134016 155905 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155905 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1799.75 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154888 0 0 0 179886 89 0 0 20 0 2 0 274342551 706134016 155905 33554432000 4194304 5963574 140737430741536 140719963060248 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 689584
[startup+1800 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15635
/proc/meminfo: memFree=29557120/32873648 swapFree=7112/7112
[pid=15538] ppid=15536 vsize=689584 CPUtime=1799.5 cores=1,3,5,7
/proc/15538/stat : 15538 (wbo1.7) S 15536 15538 12452 0 -1 4202496 155816 0 0 0 179889 61 0 0 20 0 2 0 274342550 706134016 155905 33554432000 4194304 5963574 140737430741536 140737430741056 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15538/statm: 172396 155905 185 432 0 171961 0
[pid=15538/tid=15540] ppid=15536 vsize=689584 CPUtime=1799.85 cores=1,3,5,7
/proc/15538/task/15540/stat : 15540 (wbo1.7) R 15536 15538 12452 0 -1 4202560 154888 0 0 0 179896 89 0 0 20 0 2 0 274342551 706134016 155905 33554432000 4194304 5963574 140737430741536 140719963060248 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 689584
Child status: 255
Real time (s): 1800
CPU time (s): 1799.88
CPU user time (s): 1798.97
CPU system time (s): 0.903862
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 689584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 0.903862
maximum resident set size= 626028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155817
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= 251
involuntary context switches= 1842
runsolver used 3.03254 second user time and 8.87265 second system time
The end