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-3705712-1338097090/watcher-3705712-1338097090 -o /tmp/evaluation-result-3705712-1338097090/solver-3705712-1338097090 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705712-1338097090.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.01 2.01 2.00 3/177 12204
/proc/meminfo: memFree=28899340/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=3692 CPUtime=0 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) R 12202 12204 11506 0 -1 4202496 442 0 0 0 0 0 0 0 20 0 1 0 275834039 3780608 394 33554432000 4194304 5963574 140733610194736 140734401026968 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 923 394 178 432 0 458 0
[startup+0.0434761 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12204
/proc/meminfo: memFree=28899340/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84512 CPUtime=0.04 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 1353 0 0 0 4 0 0 0 20 0 2 0 275834039 86540288 1275 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21128 1275 191 432 0 20693 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 84512
[startup+0.10017 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12204
/proc/meminfo: memFree=28899340/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84512 CPUtime=0.09 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 1467 0 0 0 9 0 0 0 20 0 2 0 275834039 86540288 1384 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21128 1384 194 432 0 20693 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84512
[startup+0.300114 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12204
/proc/meminfo: memFree=28899340/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84512 CPUtime=0.29 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 1708 0 0 0 29 0 0 0 20 0 2 0 275834039 86540288 1625 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21128 1625 194 432 0 20693 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84512
[startup+0.700112 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12204
/proc/meminfo: memFree=28899340/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84512 CPUtime=0.69 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 2095 0 0 0 69 0 0 0 20 0 2 0 275834039 86540288 2012 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21128 2012 194 432 0 20693 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84512
[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12206
/proc/meminfo: memFree=28891196/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84656 CPUtime=1.49 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 2666 0 0 0 149 0 0 0 20 0 2 0 275834039 86687744 2583 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21164 2583 194 432 0 20729 0
[pid=12204/tid=12206] ppid=12202 vsize=84656 CPUtime=1.47 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 1720 0 0 0 147 0 0 0 20 0 2 0 275834040 86687744 2583 33554432000 4194304 5963574 140733610194736 140391785367480 4399614 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84656
[startup+3.10025 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12250
/proc/meminfo: memFree=29474640/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84512 CPUtime=3.09 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 3147 0 0 0 309 0 0 0 20 0 2 0 275834039 86540288 3038 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21128 3038 194 432 0 20693 0
[pid=12204/tid=12206] ppid=12202 vsize=84512 CPUtime=3.07 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 2201 0 0 0 307 0 0 0 20 0 2 0 275834040 86540288 3038 33554432000 4194304 5963574 140733610194736 140391785368504 4390404 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84512
[startup+6.30026 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29438120/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84728 CPUtime=6.29 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 4445 0 0 0 628 1 0 0 20 0 2 0 275834039 86761472 4336 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21182 4336 194 432 0 20747 0
[pid=12204/tid=12206] ppid=12202 vsize=84728 CPUtime=6.26 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 3499 0 0 0 625 1 0 0 20 0 2 0 275834040 86761472 4336 33554432000 4194304 5963574 140733610194736 140391785367480 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84728
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29420212/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84836 CPUtime=12.69 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 6590 0 0 0 1267 2 0 0 20 0 2 0 275834039 86872064 6509 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21209 6509 194 432 0 20774 0
[pid=12204/tid=12206] ppid=12202 vsize=84836 CPUtime=12.63 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 5644 0 0 0 1262 1 0 0 20 0 2 0 275834040 86872064 6509 33554432000 4194304 5963574 140733610194736 140391785367544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84836
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29374804/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84996 CPUtime=25.48 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 9613 0 0 0 2545 3 0 0 20 0 2 0 275834039 87035904 9599 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21249 9599 194 432 0 20814 0
[pid=12204/tid=12206] ppid=12202 vsize=84996 CPUtime=25.4 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 8667 0 0 0 2537 3 0 0 20 0 2 0 275834040 87035904 9599 33554432000 4194304 5963574 140733610194736 140391785367544 4399651 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) 84996
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12257
/proc/meminfo: memFree=29345132/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84512 CPUtime=51.07 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 12574 0 0 0 5103 4 0 0 20 0 2 0 275834039 86540288 13103 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21128 13103 194 432 0 20693 0
[pid=12204/tid=12206] ppid=12202 vsize=84512 CPUtime=50.93 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 11628 0 0 0 5089 4 0 0 20 0 2 0 275834040 86540288 13103 33554432000 4194304 5963574 140733610194736 140391785368504 4221120 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) 84512
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12258
/proc/meminfo: memFree=29309684/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=84512 CPUtime=102.27 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 15627 0 0 0 10222 5 0 0 20 0 2 0 275834039 86540288 16157 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 21128 16157 194 432 0 20693 0
[pid=12204/tid=12206] ppid=12202 vsize=84512 CPUtime=102 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 14681 0 0 0 10194 6 0 0 20 0 2 0 275834040 86540288 16157 33554432000 4194304 5963574 140733610194736 140391785367352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84512
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 12261
/proc/meminfo: memFree=29272244/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=150772 CPUtime=162.25 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 24189 0 0 0 16215 10 0 0 20 0 2 0 275834039 154390528 25361 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 37693 25361 194 432 0 37258 0
[pid=12204/tid=12206] ppid=12202 vsize=150772 CPUtime=161.83 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 23243 0 0 0 16172 11 0 0 20 0 2 0 275834040 154390528 25361 33554432000 4194304 5963574 140733610194736 140391785367352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150772
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12261
/proc/meminfo: memFree=29246916/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=150772 CPUtime=222.23 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 30290 0 0 0 22209 14 0 0 20 0 2 0 275834039 154390528 31676 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 37693 31676 194 432 0 37258 0
[pid=12204/tid=12206] ppid=12202 vsize=150772 CPUtime=221.66 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 29344 0 0 0 22149 17 0 0 20 0 2 0 275834040 154390528 31676 33554432000 4194304 5963574 140733610194736 140391785367352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150772
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12261
/proc/meminfo: memFree=29206544/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=216668 CPUtime=282.21 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 36514 0 0 0 28203 18 0 0 20 0 2 0 275834039 221868032 38013 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 54167 38013 194 432 0 53732 0
[pid=12204/tid=12206] ppid=12202 vsize=216668 CPUtime=281.5 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 35568 0 0 0 28128 22 0 0 20 0 2 0 275834040 221868032 38013 33554432000 4194304 5963574 140733610194736 140391785367352 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 216668
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12261
/proc/meminfo: memFree=29153288/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=216668 CPUtime=342.21 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 40457 0 0 0 34200 21 0 0 20 0 2 0 275834039 221868032 41951 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 54167 41951 194 432 0 53732 0
[pid=12204/tid=12206] ppid=12202 vsize=216668 CPUtime=341.35 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 39511 0 0 0 34109 26 0 0 20 0 2 0 275834040 221868032 41951 33554432000 4194304 5963574 140733610194736 140391785367352 4399554 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 216668
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12262
/proc/meminfo: memFree=29128920/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=216668 CPUtime=402.2 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 46500 0 0 0 40193 27 0 0 20 0 2 0 275834039 221868032 48027 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 54167 48027 194 432 0 53732 0
[pid=12204/tid=12206] ppid=12202 vsize=216668 CPUtime=401.19 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 45554 0 0 0 40086 33 0 0 20 0 2 0 275834040 221868032 48027 33554432000 4194304 5963574 140733610194736 140391785367352 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 216668
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12262
/proc/meminfo: memFree=29109376/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=282204 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 12294
/proc/meminfo: memFree=28619068/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=481884 CPUtime=1421.96 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 100218 0 0 0 142111 85 0 0 20 0 2 0 275834039 493449216 103545 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 120471 103545 194 432 0 120036 0
[pid=12204/tid=12206] ppid=12202 vsize=481884 CPUtime=1418.48 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 99272 0 0 0 141742 106 0 0 20 0 2 0 275834040 493449216 103545 33554432000 4194304 5963574 140733610194736 140391785367416 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 481884
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12294
/proc/meminfo: memFree=28588696/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=481884 CPUtime=1481.95 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 103501 0 0 0 148106 89 0 0 20 0 2 0 275834039 493449216 106828 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 120471 106828 194 432 0 120036 0
[pid=12204/tid=12206] ppid=12202 vsize=481884 CPUtime=1478.32 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 102555 0 0 0 147721 111 0 0 20 0 2 0 275834040 493449216 106828 33554432000 4194304 5963574 140733610194736 140391785367352 4400032 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 481884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12294
/proc/meminfo: memFree=28578404/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=481884 CPUtime=1541.94 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 105095 0 0 0 154103 91 0 0 20 0 2 0 275834039 493449216 108422 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 120471 108422 194 432 0 120036 0
[pid=12204/tid=12206] ppid=12202 vsize=481884 CPUtime=1538.17 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 104149 0 0 0 153703 114 0 0 20 0 2 0 275834040 493449216 108422 33554432000 4194304 5963574 140733610194736 140391785367592 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 481884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28556384/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=482608 CPUtime=1601.93 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 109807 0 0 0 160097 96 0 0 20 0 2 0 275834039 494190592 113134 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 120652 113134 194 432 0 120217 0
[pid=12204/tid=12206] ppid=12202 vsize=482608 CPUtime=1598.01 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 108861 0 0 0 159681 120 0 0 20 0 2 0 275834040 494190592 113134 33554432000 4194304 5963574 140733610194736 140391785367544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 482608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28539300/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=483332 CPUtime=1661.92 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 112918 0 0 0 166092 100 0 0 20 0 2 0 275834039 494931968 116245 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 120833 116245 194 432 0 120398 0
[pid=12204/tid=12206] ppid=12202 vsize=483332 CPUtime=1657.86 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 111972 0 0 0 165661 125 0 0 20 0 2 0 275834040 494931968 116245 33554432000 4194304 5963574 140733610194736 140391785367352 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 483332
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12295
/proc/meminfo: memFree=28535812/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=483332 CPUtime=1721.92 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 113110 0 0 0 172091 101 0 0 20 0 2 0 275834039 494931968 116437 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 120833 116437 194 432 0 120398 0
[pid=12204/tid=12206] ppid=12202 vsize=483332 CPUtime=1717.71 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 112164 0 0 0 171644 127 0 0 20 0 2 0 275834040 494931968 116437 33554432000 4194304 5963574 140733610194736 140391785367352 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 483332
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12295
/proc/meminfo: memFree=28513988/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1781.91 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 118048 0 0 0 178084 107 0 0 20 0 2 0 275834039 562040832 121374 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 121374 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1777.55 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 117102 0 0 0 177621 134 0 0 20 0 2 0 275834040 562040832 121374 33554432000 4194304 5963574 140733610194736 140391785367544 4399645 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 548868
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12295
/proc/meminfo: memFree=28511384/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1791.51 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 118744 0 0 0 179043 108 0 0 20 0 2 0 275834039 562040832 122070 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 122070 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1787.13 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 117798 0 0 0 178578 135 0 0 20 0 2 0 275834040 562040832 122070 33554432000 4194304 5963574 140733610194736 140391785367544 4399651 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (KiB) 548868
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12295
/proc/meminfo: memFree=28510392/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1794.71 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 119014 0 0 0 179363 108 0 0 20 0 2 0 275834039 562040832 122340 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 122340 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1790.33 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 118068 0 0 0 178898 135 0 0 20 0 2 0 275834040 562040832 122340 33554432000 4194304 5963574 140733610194736 140391785367544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.71
Current children cumulated vsize (KiB) 548868
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28509772/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1797.9 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 119253 0 0 0 179682 108 0 0 20 0 2 0 275834039 562040832 122579 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 122579 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1793.51 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 118307 0 0 0 179216 135 0 0 20 0 2 0 275834040 562040832 122579 33554432000 4194304 5963574 140733610194736 140391785367544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 548868
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28509152/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1798.7 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 119324 0 0 0 179762 108 0 0 20 0 2 0 275834039 562040832 122650 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 122650 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1794.31 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 118378 0 0 0 179296 135 0 0 20 0 2 0 275834040 562040832 122650 33554432000 4194304 5963574 140733610194736 140391785367544 4399542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.7
Current children cumulated vsize (KiB) 548868
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28508780/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1799.1 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 119358 0 0 0 179802 108 0 0 20 0 2 0 275834039 562040832 122684 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 122684 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1794.72 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 118412 0 0 0 179337 135 0 0 20 0 2 0 275834040 562040832 122684 33554432000 4194304 5963574 140733610194736 140391785367544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 548868
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28508780/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1799.5 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 119404 0 0 0 179842 108 0 0 20 0 2 0 275834039 562040832 122730 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 122730 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1795.11 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 118458 0 0 0 179376 135 0 0 20 0 2 0 275834040 562040832 122730 33554432000 4194304 5963574 140733610194736 140391785367544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 548868
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28508780/32873844 swapFree=7116/7116
[pid=12204] ppid=12202 vsize=548868 CPUtime=1799.61 cores=1,3,5,7
/proc/12204/stat : 12204 (wbo1.7) S 12202 12204 11506 0 -1 4202496 119413 0 0 0 179852 109 0 0 20 0 2 0 275834039 562040832 122739 33554432000 4194304 5963574 140733610194736 140733610194256 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12204/statm: 137217 122739 194 432 0 136782 0
[pid=12204/tid=12206] ppid=12202 vsize=548868 CPUtime=1795.21 cores=1,3,5,7
/proc/12204/task/12206/stat : 12206 (wbo1.7) R 12202 12204 11506 0 -1 4202560 118467 0 0 0 179386 135 0 0 20 0 2 0 275834040 562040832 122739 33554432000 4194304 5963574 140733610194736 140391785367544 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 548868
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12204 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=876289
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=369791
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.61
CPU user time (s): 1798.52
CPU system time (s): 1.09
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 548868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 1.36979
maximum resident set size= 490956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119413
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= 196
involuntary context switches= 1909
runsolver used 3.59645 second user time and 8.63869 second system time
The end