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-3704762-1338085211/watcher-3704762-1338085211 -o /tmp/evaluation-result-3704762-1338085211/solver-3704762-1338085211 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704762-1338085211.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: 1.48 1.86 1.95 3/176 9595
/proc/meminfo: memFree=29868756/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=4920 CPUtime=0 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) R 9593 9595 9313 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 274646519 5038080 427 33554432000 4194304 5963574 140737223336304 140733586649256 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 1230 427 170 432 0 527 0
[startup+0.0816589 s]
/proc/loadavg: 1.48 1.86 1.95 3/176 9595
/proc/meminfo: memFree=29868756/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=88096 CPUtime=0.07 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 2521 0 0 0 7 0 0 0 20 0 2 0 274646519 90210304 2201 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 22024 2201 177 432 0 21589 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 88096
[startup+0.100207 s]
/proc/loadavg: 1.48 1.86 1.95 3/176 9595
/proc/meminfo: memFree=29868756/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=87712 CPUtime=0.09 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 3209 0 0 0 9 0 0 0 20 0 2 0 274646519 89817088 2754 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 21928 2754 184 432 0 21493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87712
[startup+0.300123 s]
/proc/loadavg: 1.48 1.86 1.95 3/176 9595
/proc/meminfo: memFree=29868756/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=87712 CPUtime=0.29 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 3852 0 0 0 29 0 0 0 20 0 2 0 274646519 89817088 3397 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 21928 3397 185 432 0 21493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87712
[startup+0.700122 s]
/proc/loadavg: 1.48 1.86 1.95 3/176 9595
/proc/meminfo: memFree=29868756/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=87712 CPUtime=0.69 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 4871 0 0 0 68 1 0 0 20 0 2 0 274646519 89817088 4416 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 21928 4416 185 432 0 21493 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 87712
[startup+1.50026 s]
/proc/loadavg: 1.48 1.86 1.95 3/178 9597
/proc/meminfo: memFree=29848420/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=87712 CPUtime=1.49 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 6582 0 0 0 148 1 0 0 20 0 2 0 274646519 89817088 6127 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 21928 6127 185 432 0 21493 0
[pid=9595/tid=9597] ppid=9593 vsize=87712 CPUtime=1.4 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 4594 0 0 0 139 1 0 0 20 0 2 0 274646526 89817088 6127 33554432000 4194304 5963574 140737223336304 140318927599656 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87712
[startup+3.10026 s]
/proc/loadavg: 1.48 1.86 1.95 3/178 9597
/proc/meminfo: memFree=29841848/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=87712 CPUtime=3.08 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 7591 0 0 0 307 1 0 0 20 0 2 0 274646519 89817088 7136 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 21928 7136 185 432 0 21493 0
[pid=9595/tid=9597] ppid=9593 vsize=87712 CPUtime=3 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 5603 0 0 0 299 1 0 0 20 0 2 0 274646526 89817088 7136 33554432000 4194304 5963574 140737223336304 140318927599416 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 87712
[startup+6.30025 s]
/proc/loadavg: 1.52 1.86 1.95 3/178 9675
/proc/meminfo: memFree=29944344/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=88196 CPUtime=6.29 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 11261 0 0 0 626 3 0 0 20 0 2 0 274646519 90312704 10806 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 22049 10806 185 432 0 21614 0
[pid=9595/tid=9597] ppid=9593 vsize=88196 CPUtime=6.19 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 9273 0 0 0 616 3 0 0 20 0 2 0 274646526 90312704 10806 33554432000 4194304 5963574 140737223336304 140318927599416 4388386 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) 88196
[startup+12.7003 s]
/proc/loadavg: 1.56 1.86 1.95 3/178 9675
/proc/meminfo: memFree=29903912/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=88196 CPUtime=12.68 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 14704 0 0 0 1264 4 0 0 20 0 2 0 274646519 90312704 14289 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 22049 14289 185 432 0 21614 0
[pid=9595/tid=9597] ppid=9593 vsize=88196 CPUtime=12.57 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 12716 0 0 0 1253 4 0 0 20 0 2 0 274646526 90312704 14289 33554432000 4194304 5963574 140737223336304 140318927599608 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 88196
[startup+25.5003 s]
/proc/loadavg: 1.65 1.87 1.95 3/178 9675
/proc/meminfo: memFree=29829400/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=154332 CPUtime=25.47 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 26548 0 0 0 2539 8 0 0 20 0 2 0 274646519 158035968 26125 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 38583 26125 185 432 0 38148 0
[pid=9595/tid=9597] ppid=9593 vsize=154332 CPUtime=25.32 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 24560 0 0 0 2524 8 0 0 20 0 2 0 274646526 158035968 26125 33554432000 4194304 5963574 140737223336304 140318927599416 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 154332
[startup+51.1003 s]
/proc/loadavg: 1.77 1.88 1.95 3/178 9675
/proc/meminfo: memFree=29743248/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=154872 CPUtime=51.05 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 34865 0 0 0 5094 11 0 0 20 0 2 0 274646519 158588928 34446 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 38718 34446 185 432 0 38283 0
[pid=9595/tid=9597] ppid=9593 vsize=154872 CPUtime=50.84 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 32877 0 0 0 5073 11 0 0 20 0 2 0 274646526 158588928 34446 33554432000 4194304 5963574 140737223336304 140318927599608 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 154872
[startup+102.307 s]
/proc/loadavg: 1.90 1.89 1.95 3/177 9676
/proc/meminfo: memFree=29552484/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=285944 CPUtime=102.25 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 59330 0 0 0 10204 21 0 0 20 0 2 0 274646519 292806656 58911 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 71486 58911 185 432 0 71051 0
[pid=9595/tid=9597] ppid=9593 vsize=285944 CPUtime=101.91 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 57342 0 0 0 10169 22 0 0 20 0 2 0 274646526 292806656 58911 33554432000 4194304 5963574 140737223336304 140318927599608 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 285944
[startup+162.3 s]
/proc/loadavg: 1.96 1.91 1.95 3/177 9676
/proc/meminfo: memFree=29450832/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=352288 CPUtime=162.23 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 70780 0 0 0 16195 28 0 0 20 0 2 0 274646519 360742912 70361 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 88072 70361 185 432 0 87637 0
[pid=9595/tid=9597] ppid=9593 vsize=352288 CPUtime=161.74 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 68792 0 0 0 16144 30 0 0 20 0 2 0 274646526 360742912 70361 33554432000 4194304 5963574 140737223336304 140318927599608 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 352288
[startup+222.3 s]
/proc/loadavg: 1.98 1.92 1.95 3/177 9676
/proc/meminfo: memFree=29398728/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=352288 CPUtime=222.2 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 75054 0 0 0 22190 30 0 0 20 0 2 0 274646519 360742912 74727 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 88072 74727 185 432 0 87637 0
[pid=9595/tid=9597] ppid=9593 vsize=352288 CPUtime=221.56 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 73066 0 0 0 22124 32 0 0 20 0 2 0 274646526 360742912 74727 33554432000 4194304 5963574 140737223336304 140318927599416 4400055 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 352288
[startup+282.3 s]
/proc/loadavg: 1.99 1.94 1.95 3/177 9676
/proc/meminfo: memFree=29168364/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=483360 CPUtime=282.15 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 104915 0 0 0 28175 40 0 0 20 0 2 0 274646519 494960640 104906 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 120840 104906 185 432 0 120405 0
[pid=9595/tid=9597] ppid=9593 vsize=483360 CPUtime=281.37 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 102927 0 0 0 28093 44 0 0 20 0 2 0 274646526 494960640 104906 33554432000 4194304 5963574 140737223336304 140318927599608 4399645 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 483360
[startup+342.3 s]
/proc/loadavg: 2.06 1.96 1.96 3/177 9676
/proc/meminfo: memFree=29167552/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=483360 CPUtime=342.11 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 104955 0 0 0 34171 40 0 0 20 0 2 0 274646519 494960640 105046 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 120840 105046 185 432 0 120405 0
[pid=9595/tid=9597] ppid=9593 vsize=483360 CPUtime=341.18 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 102967 0 0 0 34073 45 0 0 20 0 2 0 274646526 494960640 105046 33554432000 4194304 5963574 140737223336304 140318927599608 4399603 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 483360
[startup+402.3 s]
/proc/loadavg: 2.02 1.97 1.96 3/178 9678
/proc/meminfo: memFree=29141040/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=484328 CPUtime=402.1 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 107191 0 0 0 40168 42 0 0 20 0 2 0 274646519 495951872 107182 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 121082 107182 185 432 0 120647 0
[pid=9595/tid=9597] ppid=9593 vsize=484328 CPUtime=401.02 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 105203 0 0 0 40054 48 0 0 20 0 2 0 274646526 495951872 107182 33554432000 4194304 5963574 140737223336304 140318927599480 4399592 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 484328
[startup+462.3 s]
/proc/loadavg: 2.00 1.97 1.96 3/177 9678
/proc/meminfo: memFree=29069408/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=484328 CPUtime=462.08 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9687
/proc/meminfo: memFree=28383996/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=754700 CPUtime=1421.84 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 169801 0 0 0 142086 98 0 0 20 0 2 0 274646519 772812800 170798 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 188675 170798 185 432 0 188240 0
[pid=9595/tid=9597] ppid=9593 vsize=754700 CPUtime=1418.25 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 167813 0 0 0 141706 119 0 0 20 0 2 0 274646526 772812800 170798 33554432000 4194304 5963574 140737223336304 140318927599608 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 754700
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9687
/proc/meminfo: memFree=28304388/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=754940 CPUtime=1481.82 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 174555 0 0 0 148078 104 0 0 20 0 2 0 274646519 773058560 175552 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 188735 175552 185 432 0 188300 0
[pid=9595/tid=9597] ppid=9593 vsize=754940 CPUtime=1478.08 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 172567 0 0 0 147682 126 0 0 20 0 2 0 274646526 773058560 175552 33554432000 4194304 5963574 140737223336304 140318927599656 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 754940
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 9687
/proc/meminfo: memFree=28298312/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=756764 CPUtime=1541.78 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 175403 0 0 0 154073 105 0 0 20 0 2 0 274646519 774926336 176585 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 189191 176585 185 432 0 188756 0
[pid=9595/tid=9597] ppid=9593 vsize=756764 CPUtime=1537.9 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 173415 0 0 0 153662 128 0 0 20 0 2 0 274646526 774926336 176585 33554432000 4194304 5963574 140737223336304 140318927599416 4400055 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 756764
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9688
/proc/meminfo: memFree=28294080/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=757732 CPUtime=1601.75 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 175868 0 0 0 160070 105 0 0 20 0 2 0 274646519 775917568 177448 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 189433 177448 185 432 0 188998 0
[pid=9595/tid=9597] ppid=9593 vsize=757732 CPUtime=1597.71 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 173880 0 0 0 159642 129 0 0 20 0 2 0 274646526 775917568 177448 33554432000 4194304 5963574 140737223336304 140318927599416 4378367 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 757732
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9689
/proc/meminfo: memFree=28200372/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=823268 CPUtime=1661.73 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 187199 0 0 0 166062 111 0 0 20 0 2 0 274646519 843026432 188858 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 205817 188858 185 432 0 205382 0
[pid=9595/tid=9597] ppid=9593 vsize=823268 CPUtime=1657.54 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 185211 0 0 0 165618 136 0 0 20 0 2 0 274646526 843026432 188858 33554432000 4194304 5963574 140737223336304 140318927599416 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 823268
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9689
/proc/meminfo: memFree=28088152/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=888804 CPUtime=1721.72 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 206357 0 0 0 172054 118 0 0 20 0 2 0 274646519 910135296 208016 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 222201 208016 185 432 0 221766 0
[pid=9595/tid=9597] ppid=9593 vsize=888804 CPUtime=1717.39 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 204369 0 0 0 171595 144 0 0 20 0 2 0 274646526 910135296 208016 33554432000 4194304 5963574 140737223336304 140318927599608 4399542 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 888804
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 9689
/proc/meminfo: memFree=27993472/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1781.7 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216602 0 0 0 178048 122 0 0 20 0 2 0 274646519 977244160 218258 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218258 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1777.23 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214614 0 0 0 177575 148 0 0 20 0 2 0 274646526 977244160 218258 33554432000 4194304 5963574 140737223336304 140318927599608 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 954340
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9692
/proc/meminfo: memFree=27990324/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1791.3 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216610 0 0 0 179008 122 0 0 20 0 2 0 274646519 977244160 218298 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218298 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1786.8 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214622 0 0 0 178531 149 0 0 20 0 2 0 274646526 977244160 218298 33554432000 4194304 5963574 140737223336304 140318927599608 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 954340
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9692
/proc/meminfo: memFree=27989332/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1794.5 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216613 0 0 0 179328 122 0 0 20 0 2 0 274646519 977244160 218301 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218301 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1789.99 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214625 0 0 0 178850 149 0 0 20 0 2 0 274646526 977244160 218301 33554432000 4194304 5963574 140737223336304 140318927599608 4399574 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 954340
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9692
/proc/meminfo: memFree=27988960/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1797.69 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216615 0 0 0 179647 122 0 0 20 0 2 0 274646519 977244160 218303 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218303 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1793.18 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214627 0 0 0 179169 149 0 0 20 0 2 0 274646526 977244160 218303 33554432000 4194304 5963574 140737223336304 140318927599608 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 954340
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9692
/proc/meminfo: memFree=27988464/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1798.49 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216616 0 0 0 179727 122 0 0 20 0 2 0 274646519 977244160 218304 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218304 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1793.97 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214628 0 0 0 179248 149 0 0 20 0 2 0 274646526 977244160 218304 33554432000 4194304 5963574 140737223336304 140318927599608 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 954340
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9692
/proc/meminfo: memFree=27987472/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1798.9 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216616 0 0 0 179768 122 0 0 20 0 2 0 274646519 977244160 218304 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218304 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1794.38 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214628 0 0 0 179289 149 0 0 20 0 2 0 274646526 977244160 218304 33554432000 4194304 5963574 140737223336304 140318927599608 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 954340
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9692
/proc/meminfo: memFree=27987472/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1799.29 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216616 0 0 0 179807 122 0 0 20 0 2 0 274646519 977244160 218304 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218304 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1794.77 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214628 0 0 0 179328 149 0 0 20 0 2 0 274646526 977244160 218304 33554432000 4194304 5963574 140737223336304 140318927599608 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 954340
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 9692
/proc/meminfo: memFree=27987472/32873852 swapFree=7624/7624
[pid=9595] ppid=9593 vsize=954340 CPUtime=1799.38 cores=1,3,5,7
/proc/9595/stat : 9595 (wbo1.7) S 9593 9595 9313 0 -1 4202496 216624 0 0 0 179816 122 0 0 20 0 2 0 274646519 977244160 218469 33554432000 4194304 5963574 140737223336304 140737223335824 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9595/statm: 238585 218469 185 432 0 238150 0
[pid=9595/tid=9597] ppid=9593 vsize=954340 CPUtime=1794.86 cores=1,3,5,7
/proc/9595/task/9597/stat : 9597 (wbo1.7) R 9593 9595 9313 0 -1 4202560 214636 0 0 0 179337 149 0 0 20 0 2 0 274646526 977244160 218469 33554432000 4194304 5963574 140737223336304 140318927599608 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 954340
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9595 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=451353
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=520768
# CPU time returned by wait4() is 1794.97
# while last known CPU time is 1799.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.38
CPU user time (s): 1798.16
CPU system time (s): 1.22
CPU usage (%): 99.9646
Max. virtual memory (cumulated for all children) (KiB): 954340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.45
system time used= 1.52077
maximum resident set size= 873880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216625
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= 333
involuntary context switches= 3253
runsolver used 3.56446 second user time and 8.26574 second system time
The end