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-3704865-1338109332/watcher-3704865-1338109332 -o /tmp/evaluation-result-3704865-1338109332/solver-3704865-1338109332 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704865-1338109332.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.94 1.99 1.99 3/177 5199
/proc/meminfo: memFree=29636872/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=267792 CPUtime=0 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 277058164 274219008 275 33554432000 4194304 5963574 140735787683056 140735787681400 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 66948 276 173 432 0 350 0
[startup+0.10605 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 5199
/proc/meminfo: memFree=29636872/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=272728 CPUtime=0.1 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 1949 0 0 0 10 0 0 0 20 0 1 0 277058164 279273472 1868 33554432000 4194304 5963574 140735787683056 140735787681560 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 68182 1870 561 432 0 1584 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 272728
[startup+0.200322 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 5199
/proc/meminfo: memFree=29636872/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=277376 CPUtime=0.19 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 3465 0 0 0 19 0 0 0 20 0 1 0 277058164 284033024 3319 33554432000 4194304 5963574 140735787683056 140735787681560 4344195 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 69344 3319 928 432 0 2746 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 277376
[startup+0.300315 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 5199
/proc/meminfo: memFree=29636872/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=281784 CPUtime=0.29 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 4995 0 0 0 29 0 0 0 20 0 1 0 277058164 288546816 4849 33554432000 4194304 5963574 140735787683056 140735787681560 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 70446 4850 1318 432 0 3848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 281784
[startup+0.779326 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 5199
/proc/meminfo: memFree=29636872/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=304408 CPUtime=0.77 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 12669 0 0 0 75 2 0 0 20 0 1 0 277058164 311713792 12137 33554432000 4194304 5963574 140735787683056 140735787681560 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 76102 12137 3199 432 0 9504 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 304408
[startup+1.50672 s]
/proc/loadavg: 1.94 1.99 1.99 3/178 5200
/proc/meminfo: memFree=29570888/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=337540 CPUtime=1.5 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 23610 0 0 0 146 4 0 0 20 0 1 0 277058164 345640960 23076 33554432000 4194304 5963574 140735787683056 140735787681400 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 84385 23076 6055 432 0 17787 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 337540
[startup+3.10029 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5200
/proc/meminfo: memFree=29527672/32873844 swapFree=7624/7624
[pid=5199] ppid=5197 vsize=408432 CPUtime=3.09 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 45423 0 0 0 302 7 0 0 20 0 1 0 277058164 418234368 44886 33554432000 4194304 5963574 140735787683056 140735787681576 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 102108 44886 12086 432 0 35510 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 408432
[startup+6.30027 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5200
/proc/meminfo: memFree=29400028/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=541052 CPUtime=6.29 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 87962 0 0 0 616 13 0 0 20 0 1 0 277058164 554037248 89464 33554432000 4194304 5963574 140735787683056 140735787681128 4343959 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 135263 89464 24200 432 0 68665 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 541052
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5200
/proc/meminfo: memFree=29137288/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=812984 CPUtime=12.69 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) R 5197 5199 2698 0 -1 4202496 171546 0 0 0 1244 25 0 0 20 0 1 0 277058164 832495616 178660 33554432000 4194304 5963574 140735787683056 140735787681400 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 203246 178661 49702 432 0 136648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 812984
[startup+25.5004 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 5201
/proc/meminfo: memFree=28153512/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1566768 CPUtime=25.48 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 418750 0 0 0 2473 75 0 0 20 0 2 0 277058164 1604370432 371676 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 391692 371676 187 432 0 391257 0
[pid=5199/tid=5201] ppid=5197 vsize=1566768 CPUtime=7.87 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 193167 0 0 0 749 38 0 0 20 0 2 0 277059923 1604370432 371676 33554432000 4194304 5963574 140735787683056 140683514234392 4221120 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) 1566768
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 5201
/proc/meminfo: memFree=28102576/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1566768 CPUtime=51.08 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 424337 0 0 0 5027 81 0 0 20 0 2 0 277058164 1604370432 377263 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 391692 377263 187 432 0 391257 0
[pid=5199/tid=5201] ppid=5197 vsize=1566768 CPUtime=33.4 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 198754 0 0 0 3295 45 0 0 20 0 2 0 277059923 1604370432 377263 33554432000 4194304 5963574 140735787683056 140683514234680 4399500 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1566768
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5201
/proc/meminfo: memFree=28059724/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1632304 CPUtime=102.27 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 435119 0 0 0 10135 92 0 0 20 0 2 0 277058164 1671479296 388053 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 408076 388053 187 432 0 407641 0
[pid=5199/tid=5201] ppid=5197 vsize=1632304 CPUtime=84.47 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 209536 0 0 0 8391 56 0 0 20 0 2 0 277059923 1671479296 388053 33554432000 4194304 5963574 140735787683056 140683514234680 4399578 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1632304
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5201
/proc/meminfo: memFree=28007424/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1697840 CPUtime=162.26 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 445455 0 0 0 16122 104 0 0 20 0 2 0 277058164 1738588160 398426 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 424460 398426 187 432 0 424025 0
[pid=5199/tid=5201] ppid=5197 vsize=1697840 CPUtime=144.31 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 219872 0 0 0 14362 69 0 0 20 0 2 0 277059923 1738588160 398426 33554432000 4194304 5963574 140735787683056 140683514234872 5178411 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1697840
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5202
/proc/meminfo: memFree=27940864/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1697840 CPUtime=222.24 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 455716 0 0 0 22111 113 0 0 20 0 2 0 277058164 1738588160 408769 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 424460 408769 187 432 0 424025 0
[pid=5199/tid=5201] ppid=5197 vsize=1697840 CPUtime=204.15 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 230133 0 0 0 20335 80 0 0 20 0 2 0 277059923 1738588160 408769 33554432000 4194304 5963574 140735787683056 140683514234808 4399482 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1697840
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5202
/proc/meminfo: memFree=27901584/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1763376 CPUtime=282.24 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 465297 0 0 0 28100 124 0 0 20 0 2 0 277058164 1805697024 418490 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 440844 418490 187 432 0 440409 0
[pid=5199/tid=5201] ppid=5197 vsize=1763376 CPUtime=264 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 239714 0 0 0 26310 90 0 0 20 0 2 0 277059923 1805697024 418490 33554432000 4194304 5963574 140735787683056 140683514234680 4399390 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1763376
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5202
/proc/meminfo: memFree=27868876/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1763376 CPUtime=342.22 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 473061 0 0 0 34089 133 0 0 20 0 2 0 277058164 1805697024 426619 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 440844 426619 187 432 0 440409 0
[pid=5199/tid=5201] ppid=5197 vsize=1763376 CPUtime=323.84 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 247478 0 0 0 32284 100 0 0 20 0 2 0 277059923 1805697024 426619 33554432000 4194304 5963574 140735787683056 140683514234872 4392309 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1763376
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 5202
/proc/meminfo: memFree=27834372/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1828912 CPUtime=402.21 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 481155 0 0 0 40080 141 0 0 20 0 2 0 277058164 1872805888 435217 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 457228 435217 187 432 0 456793 0
[pid=5199/tid=5201] ppid=5197 vsize=1828912 CPUtime=383.69 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 255572 0 0 0 38260 109 0 0 20 0 2 0 277059923 1872805888 435217 33554432000 4194304 5963574 140735787683056 140683514234920 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1828912
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 5202
/proc/meminfo: memFree=27775376/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=1894448 CPUtime=462.2 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 489924 0 0 0 46070 150 0 0 20 0 2 0 277058164 1939914752 445305 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 473612 445305 187 432 0 473177 0
[pid=5199/tid=5201] ppid=5197 vsize=1894448 CPUtime=443.53 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 264341 0 0 0 44234 119 0 0 20 0 2 0 277059923 1939914752 445305 33554432000 4194304 5963574 140735787683056 140683514234680 4400164 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1894448
[startup+522.3 s]
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5211
/proc/meminfo: memFree=27235780/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2287664 CPUtime=1421.83 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 597645 0 0 0 141911 272 0 0 20 0 2 0 277058164 2342567936 555698 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 571916 555698 187 432 0 571481 0
[pid=5199/tid=5201] ppid=5197 vsize=2287664 CPUtime=1400.86 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 372062 0 0 0 139830 256 0 0 20 0 2 0 277059923 2342567936 555698 33554432000 4194304 5963574 140735787683056 140683514234872 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 2287664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5213
/proc/meminfo: memFree=27213700/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2353200 CPUtime=1481.82 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 602988 0 0 0 147904 278 0 0 20 0 2 0 277058164 2409676800 561041 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 588300 561041 187 432 0 587865 0
[pid=5199/tid=5201] ppid=5197 vsize=2353200 CPUtime=1460.71 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 377405 0 0 0 145807 264 0 0 20 0 2 0 277059923 2409676800 561041 33554432000 4194304 5963574 140735787683056 140683514234680 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) 2353200
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5213
/proc/meminfo: memFree=27193488/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2353200 CPUtime=1541.81 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 608047 0 0 0 153898 283 0 0 20 0 2 0 277058164 2409676800 566100 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 588300 566100 187 432 0 587865 0
[pid=5199/tid=5201] ppid=5197 vsize=2353200 CPUtime=1520.55 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 382464 0 0 0 151785 270 0 0 20 0 2 0 277059923 2409676800 566100 33554432000 4194304 5963574 140735787683056 140683514234872 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 2353200
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5213
/proc/meminfo: memFree=27172284/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2353200 CPUtime=1601.81 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 613332 0 0 0 159891 290 0 0 20 0 2 0 277058164 2409676800 571385 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 588300 571385 187 432 0 587865 0
[pid=5199/tid=5201] ppid=5197 vsize=2353200 CPUtime=1580.4 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 387749 0 0 0 157764 276 0 0 20 0 2 0 277059923 2409676800 571385 33554432000 4194304 5963574 140735787683056 140683514234872 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 2353200
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5213
/proc/meminfo: memFree=27152444/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1661.79 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 618346 0 0 0 165885 294 0 0 20 0 2 0 277058164 2476785664 576399 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 576399 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1640.25 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 392763 0 0 0 163743 282 0 0 20 0 2 0 277059923 2476785664 576399 33554432000 4194304 5963574 140735787683056 140683514234920 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 2418736
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5255
/proc/meminfo: memFree=27415796/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1721.79 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 623139 0 0 0 171879 300 0 0 20 0 2 0 277058164 2476785664 581192 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 581192 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1700.09 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 397556 0 0 0 169721 288 0 0 20 0 2 0 277059923 2476785664 581192 33554432000 4194304 5963574 140735787683056 140683514234920 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 2418736
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27368128/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1781.77 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 628191 0 0 0 177874 303 0 0 20 0 2 0 277058164 2476785664 587294 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 587294 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1759.93 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 402608 0 0 0 175700 293 0 0 20 0 2 0 277059923 2476785664 587294 33554432000 4194304 5963574 140735787683056 140683514234920 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 2418736
Solver just ended. Dumping a history of the last processes samples
[startup+1792.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27355836/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1791.77 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 629334 0 0 0 178872 305 0 0 20 0 2 0 277058164 2476785664 588803 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 588803 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1769.9 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 403751 0 0 0 176696 294 0 0 20 0 2 0 277059923 2476785664 588803 33554432000 4194304 5963574 140735787683056 140683514234872 4399468 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.77
Current children cumulated vsize (KiB) 2418736
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27351604/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1794.96 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 629708 0 0 0 179191 305 0 0 20 0 2 0 277058164 2476785664 589427 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 589427 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1773.09 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 404125 0 0 0 177015 294 0 0 20 0 2 0 277059923 2476785664 589427 33554432000 4194304 5963574 140735787683056 140683514234680 4381137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.96
Current children cumulated vsize (KiB) 2418736
[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27351108/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1796.56 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 629783 0 0 0 179351 305 0 0 20 0 2 0 277058164 2476785664 589502 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 589502 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1774.68 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 404200 0 0 0 177174 294 0 0 20 0 2 0 277059923 2476785664 589502 33554432000 4194304 5963574 140735787683056 140683514234680 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1796.56
Current children cumulated vsize (KiB) 2418736
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27350240/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1798.16 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 629965 0 0 0 179511 305 0 0 20 0 2 0 277058164 2476785664 589684 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 589684 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1776.27 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 404382 0 0 0 177333 294 0 0 20 0 2 0 277059923 2476785664 589684 33554432000 4194304 5963574 140735787683056 140683514234872 4399603 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.16
Current children cumulated vsize (KiB) 2418736
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27348752/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1798.95 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 629994 0 0 0 179590 305 0 0 20 0 2 0 277058164 2476785664 589713 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 589713 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1777.07 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 404411 0 0 0 177413 294 0 0 20 0 2 0 277059923 2476785664 589713 33554432000 4194304 5963574 140735787683056 140683514234680 4399546 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.95
Current children cumulated vsize (KiB) 2418736
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27348132/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=2418736 CPUtime=1799.36 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) S 5197 5199 2698 0 -1 4202496 630016 0 0 0 179631 305 0 0 20 0 2 0 277058164 2476785664 589735 33554432000 4194304 5963574 140735787683056 140735787682576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 604684 589735 187 432 0 604249 0
[pid=5199/tid=5201] ppid=5197 vsize=2418736 CPUtime=1777.48 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202560 404433 0 0 0 177454 294 0 0 20 0 2 0 277059923 2476785664 589735 33554432000 4194304 5963574 140735787683056 140683514234680 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.36
Current children cumulated vsize (KiB) 2418736
[startup+1800.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5256
/proc/meminfo: memFree=27348132/32873844 swapFree=7628/7628
[pid=5199] ppid=5197 vsize=0 CPUtime=1799.46 cores=1,3,5,7
/proc/5199/stat : 5199 (wbo1.7) Z 5197 5199 2698 0 -1 4203532 630024 0 0 0 179641 305 0 0 20 0 2 0 277058164 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5199/statm: 0 0 0 0 0 0 0
[pid=5199/tid=5201] ppid=5197 vsize=0 CPUtime=1777.58 cores=1,3,5,7
/proc/5199/task/5201/stat : 5201 (wbo1.7) R 5197 5199 2698 0 -1 4202564 404441 0 0 0 177463 295 0 0 20 0 2 0 277059923 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5199 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=855596
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=364488
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.05
CPU time (s): 1799.46
CPU user time (s): 1796.41
CPU system time (s): 3.05
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (KiB): 2418736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.86
system time used= 3.36449
maximum resident set size= 2358972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630024
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= 398
involuntary context switches= 1965
runsolver used 2.67459 second user time and 8.79666 second system time
The end