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-3705015-1338092142/watcher-3705015-1338092142 -o /tmp/evaluation-result-3705015-1338092142/solver-3705015-1338092142 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705015-1338092142.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.00 2.00 1.96 3/177 25309
/proc/meminfo: memFree=31304176/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=3112 CPUtime=0 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) R 25307 25309 24863 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 275339773 3186688 250 33554432000 4194304 5963574 140735724396640 140733977780792 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 778 250 175 432 0 316 0
[startup+0.0603431 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 25309
/proc/meminfo: memFree=31304176/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=83808 CPUtime=0.05 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 1040 0 0 0 5 0 0 0 20 0 2 0 275339773 85819392 966 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 20952 966 194 432 0 20517 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 83808
[startup+0.10016 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 25309
/proc/meminfo: memFree=31304176/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=83808 CPUtime=0.09 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 1057 0 0 0 9 0 0 0 20 0 2 0 275339773 85819392 983 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 20952 983 194 432 0 20517 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83808
[startup+0.300114 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 25309
/proc/meminfo: memFree=31304176/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=83808 CPUtime=0.29 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 1448 0 0 0 29 0 0 0 20 0 2 0 275339773 85819392 1374 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 20952 1374 194 432 0 20517 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83808
[startup+0.700114 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 25309
/proc/meminfo: memFree=31304176/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=83808 CPUtime=0.69 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 1876 0 0 0 69 0 0 0 20 0 2 0 275339773 85819392 1802 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 20952 1802 194 432 0 20517 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83808
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 25311
/proc/meminfo: memFree=31290272/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=83952 CPUtime=1.49 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 3216 0 0 0 148 1 0 0 20 0 2 0 275339773 85966848 3142 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 20988 3142 194 432 0 20553 0
[pid=25309/tid=25311] ppid=25307 vsize=83952 CPUtime=1.47 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 2448 0 0 0 146 1 0 0 20 0 2 0 275339774 85966848 3142 33554432000 4194304 5963574 140735724396640 139640835041320 5135572 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) 83952
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 25311
/proc/meminfo: memFree=31280848/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=83952 CPUtime=3.09 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 3712 0 0 0 308 1 0 0 20 0 2 0 275339773 85966848 3638 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 20988 3638 194 432 0 20553 0
[pid=25309/tid=25311] ppid=25307 vsize=83952 CPUtime=3.06 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 2944 0 0 0 305 1 0 0 20 0 2 0 275339774 85966848 3638 33554432000 4194304 5963574 140735724396640 139640835041080 5135572 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) 83952
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 25311
/proc/meminfo: memFree=31271496/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=84024 CPUtime=6.29 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 6127 0 0 0 627 2 0 0 20 0 2 0 275339773 86040576 6053 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 21006 6053 194 432 0 20571 0
[pid=25309/tid=25311] ppid=25307 vsize=84024 CPUtime=6.25 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 5359 0 0 0 623 2 0 0 20 0 2 0 275339774 86040576 6053 33554432000 4194304 5963574 140735724396640 139640835041272 4399505 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) 84024
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 25311
/proc/meminfo: memFree=31234376/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=84132 CPUtime=12.68 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 10465 0 0 0 1265 3 0 0 20 0 2 0 275339773 86151168 10391 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 21033 10391 194 432 0 20598 0
[pid=25309/tid=25311] ppid=25307 vsize=84132 CPUtime=12.64 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 9697 0 0 0 1261 3 0 0 20 0 2 0 275339774 86151168 10391 33554432000 4194304 5963574 140735724396640 139640835041320 4400032 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) 84132
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 25312
/proc/meminfo: memFree=31188332/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=84436 CPUtime=25.48 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 15490 0 0 0 2543 5 0 0 20 0 2 0 275339773 86462464 15416 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 21109 15416 194 432 0 20674 0
[pid=25309/tid=25311] ppid=25307 vsize=84436 CPUtime=25.4 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 14722 0 0 0 2535 5 0 0 20 0 2 0 275339774 86462464 15416 33554432000 4194304 5963574 140735724396640 139640835041272 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84436
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 25312
/proc/meminfo: memFree=31119488/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=149344 CPUtime=51.07 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 17965 0 0 0 5101 6 0 0 20 0 2 0 275339773 152928256 17664 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 37336 17664 194 432 0 36901 0
[pid=25309/tid=25311] ppid=25307 vsize=149344 CPUtime=50.93 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 17197 0 0 0 5087 6 0 0 20 0 2 0 275339774 152928256 17664 33554432000 4194304 5963574 140735724396640 139640835042232 4410413 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 149344
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 25312
/proc/meminfo: memFree=31051780/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=150068 CPUtime=102.24 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 27616 0 0 0 10214 10 0 0 20 0 2 0 275339773 153669632 28493 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 37517 28493 194 432 0 37082 0
[pid=25309/tid=25311] ppid=25307 vsize=150068 CPUtime=101.98 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 26848 0 0 0 10188 10 0 0 20 0 2 0 275339774 153669632 28493 33554432000 4194304 5963574 140735724396640 139640835041272 4388636 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 150068
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 25312
/proc/meminfo: memFree=30944460/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=215604 CPUtime=162.22 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 38338 0 0 0 16207 15 0 0 20 0 2 0 275339773 220778496 39212 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 53901 39212 194 432 0 53466 0
[pid=25309/tid=25311] ppid=25307 vsize=215604 CPUtime=161.81 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 37570 0 0 0 16164 17 0 0 20 0 2 0 275339774 220778496 39212 33554432000 4194304 5963574 140735724396640 139640835041080 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 215604
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 25312
/proc/meminfo: memFree=30840292/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=281500 CPUtime=222.21 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 51654 0 0 0 22200 21 0 0 20 0 2 0 275339773 288256000 52528 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 70375 52528 194 432 0 69940 0
[pid=25309/tid=25311] ppid=25307 vsize=281500 CPUtime=221.65 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 50886 0 0 0 22141 24 0 0 20 0 2 0 275339774 288256000 52528 33554432000 4194304 5963574 140735724396640 139640835041080 4399603 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 281500
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 25315
/proc/meminfo: memFree=30819220/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=281500 CPUtime=282.18 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 56635 0 0 0 28195 23 0 0 20 0 2 0 275339773 288256000 57761 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 70375 57761 194 432 0 69940 0
[pid=25309/tid=25311] ppid=25307 vsize=281500 CPUtime=281.47 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 55867 0 0 0 28120 27 0 0 20 0 2 0 275339774 288256000 57761 33554432000 4194304 5963574 140735724396640 139640835041080 4410280 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 281500
[startup+342.3 s]
/proc/loadavg: 2.10 2.03 1.97 3/179 25316
/proc/meminfo: memFree=30660164/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=347036 CPUtime=342.12 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 67751 0 0 0 34183 29 0 0 20 0 2 0 275339773 355364864 69291 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 86759 69291 194 432 0 86324 0
[pid=25309/tid=25311] ppid=25307 vsize=347036 CPUtime=341.27 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 66983 0 0 0 34093 34 0 0 20 0 2 0 275339774 355364864 69291 33554432000 4194304 5963574 140735724396640 139640835041272 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 347036
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 1.97 3/179 25316
/proc/meminfo: memFree=30641496/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=347036 CPUtime=402.12 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 72518 0 0 0 40180 32 0 0 20 0 2 0 275339773 355364864 74054 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 86759 74054 194 432 0 86324 0
[pid=25309/tid=25311] ppid=25307 vsize=347036 CPUtime=401.11 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 71750 0 0 0 40074 37 0 0 20 0 2 0 275339774 355364864 74054 33554432000 4194304 5963574 140735724396640 139640835041272 4399474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 347036
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/179 25316
/proc/meminfo: memFree=30592388/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=412572 CPUtime=462.1 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 25323
/proc/meminfo: memFree=29726820/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=742964 CPUtime=1421.84 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 170642 0 0 0 142085 99 0 0 20 0 2 0 275339773 760795136 173742 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 185741 173742 194 432 0 185306 0
[pid=25309/tid=25311] ppid=25307 vsize=742964 CPUtime=1418.39 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 169874 0 0 0 141719 120 0 0 20 0 2 0 275339774 760795136 173742 33554432000 4194304 5963574 140735724396640 139640835041272 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 742964
[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/180 25326
/proc/meminfo: memFree=29722004/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=745860 CPUtime=1481.78 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 171823 0 0 0 148078 100 0 0 20 0 2 0 275339773 763760640 174877 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 186465 174877 194 432 0 186030 0
[pid=25309/tid=25311] ppid=25307 vsize=745860 CPUtime=1478.18 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 171055 0 0 0 147697 121 0 0 20 0 2 0 275339774 763760640 174877 33554432000 4194304 5963574 140735724396640 139640835041144 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 745860
[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 25326
/proc/meminfo: memFree=29712064/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=745860 CPUtime=1541.75 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 174261 0 0 0 154074 101 0 0 20 0 2 0 275339773 763760640 177537 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 186465 177537 194 432 0 186030 0
[pid=25309/tid=25311] ppid=25307 vsize=745860 CPUtime=1538.01 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 173493 0 0 0 153677 124 0 0 20 0 2 0 275339774 763760640 177537 33554432000 4194304 5963574 140735724396640 139640835041272 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 745860
[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 25327
/proc/meminfo: memFree=29699416/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=745860 CPUtime=1601.73 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 177219 0 0 0 160069 104 0 0 20 0 2 0 275339773 763760640 180653 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 186465 180653 194 432 0 186030 0
[pid=25309/tid=25311] ppid=25307 vsize=745860 CPUtime=1597.84 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 176451 0 0 0 159656 128 0 0 20 0 2 0 275339774 763760640 180653 33554432000 4194304 5963574 140735724396640 139640835041144 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 745860
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 25327
/proc/meminfo: memFree=29679080/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=814736 CPUtime=1661.72 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 182282 0 0 0 166064 108 0 0 20 0 2 0 275339773 834289664 185716 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203684 185716 194 432 0 203249 0
[pid=25309/tid=25311] ppid=25307 vsize=814736 CPUtime=1657.68 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 181514 0 0 0 165635 133 0 0 20 0 2 0 275339774 834289664 185716 33554432000 4194304 5963574 140735724396640 139640835041320 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 814736
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 25327
/proc/meminfo: memFree=29673004/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=814736 CPUtime=1721.7 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 183526 0 0 0 172062 108 0 0 20 0 2 0 275339773 834289664 186958 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203684 186958 194 432 0 203249 0
[pid=25309/tid=25311] ppid=25307 vsize=814736 CPUtime=1717.53 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 182758 0 0 0 171619 134 0 0 20 0 2 0 275339774 834289664 186958 33554432000 4194304 5963574 140735724396640 139640835041144 4399488 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 814736
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 25327
/proc/meminfo: memFree=29659364/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=814736 CPUtime=1781.69 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186444 0 0 0 178059 110 0 0 20 0 2 0 275339773 834289664 189874 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203684 189874 194 432 0 203249 0
[pid=25309/tid=25311] ppid=25307 vsize=814736 CPUtime=1777.37 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185676 0 0 0 177601 136 0 0 20 0 2 0 275339774 834289664 189874 33554432000 4194304 5963574 140735724396640 139640835041272 4390929 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 814736
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 25327
/proc/meminfo: memFree=29634808/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=814736 CPUtime=1791.3 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186446 0 0 0 179020 110 0 0 20 0 2 0 275339773 834289664 190152 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203684 190152 194 432 0 203249 0
[pid=25309/tid=25311] ppid=25307 vsize=814736 CPUtime=1786.96 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185678 0 0 0 178559 137 0 0 20 0 2 0 275339774 834289664 190152 33554432000 4194304 5963574 140735724396640 139640835041272 4399603 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 814736
[startup+1795.1 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30563228/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=814736 CPUtime=1794.5 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186446 0 0 0 179340 110 0 0 20 0 2 0 275339773 834289664 190152 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203684 190152 194 432 0 203249 0
[pid=25309/tid=25311] ppid=25307 vsize=814736 CPUtime=1790.15 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185678 0 0 0 178878 137 0 0 20 0 2 0 275339774 834289664 190152 33554432000 4194304 5963574 140735724396640 139640835041272 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 814736
[startup+1798.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30556904/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=815460 CPUtime=1797.69 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186573 0 0 0 179659 110 0 0 20 0 2 0 275339773 835031040 190279 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203865 190279 194 432 0 203430 0
[pid=25309/tid=25311] ppid=25307 vsize=815460 CPUtime=1793.33 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185805 0 0 0 179196 137 0 0 20 0 2 0 275339774 835031040 190279 33554432000 4194304 5963574 140735724396640 139640835041080 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 815460
[startup+1799.1 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30556408/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=815460 CPUtime=1798.49 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186580 0 0 0 179739 110 0 0 20 0 2 0 275339773 835031040 190286 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203865 190286 194 432 0 203430 0
[pid=25309/tid=25311] ppid=25307 vsize=815460 CPUtime=1794.13 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185812 0 0 0 179276 137 0 0 20 0 2 0 275339774 835031040 190286 33554432000 4194304 5963574 140735724396640 139640835041080 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (KiB) 815460
[startup+1799.5 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30554680/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=815460 CPUtime=1798.9 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186580 0 0 0 179780 110 0 0 20 0 2 0 275339773 835031040 190286 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203865 190286 194 432 0 203430 0
[pid=25309/tid=25311] ppid=25307 vsize=815460 CPUtime=1794.54 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185812 0 0 0 179317 137 0 0 20 0 2 0 275339774 835031040 190286 33554432000 4194304 5963574 140735724396640 139640835041080 4388668 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.9
Current children cumulated vsize (KiB) 815460
[startup+1799.9 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30554680/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=815460 CPUtime=1799.29 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186580 0 0 0 179819 110 0 0 20 0 2 0 275339773 835031040 190286 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203865 190286 194 432 0 203430 0
[pid=25309/tid=25311] ppid=25307 vsize=815460 CPUtime=1794.93 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185812 0 0 0 179356 137 0 0 20 0 2 0 275339774 835031040 190286 33554432000 4194304 5963574 140735724396640 139640835041080 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (KiB) 815460
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 25366
/proc/meminfo: memFree=30554680/32873844 swapFree=7624/7624
[pid=25309] ppid=25307 vsize=815460 CPUtime=1799.39 cores=1,3,5,7
/proc/25309/stat : 25309 (wbo1.7) S 25307 25309 24863 0 -1 4202496 186580 0 0 0 179829 110 0 0 20 0 2 0 275339773 835031040 190286 33554432000 4194304 5963574 140735724396640 140735724396160 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25309/statm: 203865 190286 194 432 0 203430 0
[pid=25309/tid=25311] ppid=25307 vsize=815460 CPUtime=1795.03 cores=1,3,5,7
/proc/25309/task/25311/stat : 25311 (wbo1.7) R 25307 25309 24863 0 -1 4202560 185812 0 0 0 179366 137 0 0 20 0 2 0 275339774 835031040 190286 33554432000 4194304 5963574 140735724396640 139640835041080 4399958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 815460
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25309 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=675319
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=390788
# CPU time returned by wait4() is 1795.07
# while last known CPU time is 1799.39
#
# 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.39
CPU user time (s): 1798.29
CPU system time (s): 1.1
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 815460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.68
system time used= 1.39079
maximum resident set size= 761144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186580
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= 317
involuntary context switches= 2155
runsolver used 2.95655 second user time and 8.50171 second system time
The end