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-3727432-1338653578/watcher-3727432-1338653578 -o /tmp/evaluation-result-3727432-1338653578/solver-3727432-1338653578 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727432-1338653578.opb
running on 4 cores: 0,2,4,6
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.91 1.98 1.90 3/173 12621
/proc/meminfo: memFree=28155048/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=21112 CPUtime=0 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4202496 563 0 0 0 0 0 0 0 20 0 1 0 331483342 21618688 515 33554432000 4194304 5964350 140735382375712 140734552033144 4344327 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 5278 517 159 433 0 634 0
[startup+0.0559481 s]
/proc/loadavg: 1.91 1.98 1.90 3/173 12621
/proc/meminfo: memFree=28155048/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=24604 CPUtime=0.05 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4202496 1553 0 0 0 5 0 0 0 20 0 1 0 331483342 25194496 1505 33554432000 4194304 5964350 140735382375712 140734552033144 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 6151 1505 326 433 0 1507 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 24604
[startup+0.100226 s]
/proc/loadavg: 1.91 1.98 1.90 3/173 12621
/proc/meminfo: memFree=28155048/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=26584 CPUtime=0.09 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4202496 2204 0 0 0 9 0 0 0 20 0 1 0 331483342 27222016 2123 33554432000 4194304 5964350 140735382375712 140734552033144 4339100 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 6646 2123 474 433 0 2002 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26584
[startup+0.3002 s]
/proc/loadavg: 1.91 1.98 1.90 3/173 12621
/proc/meminfo: memFree=28155048/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=35356 CPUtime=0.29 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4202496 5043 0 0 0 29 0 0 0 20 0 1 0 331483342 36204544 4768 33554432000 4194304 5964350 140735382375712 140735382374200 4419455 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 8839 4768 1117 433 0 4195 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35356
[startup+0.700206 s]
/proc/loadavg: 1.91 1.98 1.90 3/173 12621
/proc/meminfo: memFree=28155048/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=52792 CPUtime=0.69 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4202496 10824 0 0 0 68 1 0 0 20 0 1 0 331483342 54059008 10292 33554432000 4194304 5964350 140735382375712 140735382374056 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 13198 10292 2440 433 0 8554 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52792
[startup+1.50027 s]
/proc/loadavg: 1.91 1.98 1.90 3/177 12632
/proc/meminfo: memFree=28066256/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=206156 CPUtime=1.49 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 39693 0 0 0 143 6 0 0 20 0 2 0 331483342 211103744 34951 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 51539 34956 172 433 0 51103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206156
[startup+3.10032 s]
/proc/loadavg: 1.91 1.98 1.90 3/179 12634
/proc/meminfo: memFree=27743592/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=265364 CPUtime=3.08 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 59028 0 0 0 299 9 0 0 20 0 2 0 331483342 271732736 53584 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 66341 53584 190 433 0 65905 0
[pid=12621/tid=12633] ppid=12619 vsize=265364 CPUtime=1.8 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 39620 0 0 0 173 7 0 0 20 0 2 0 331483470 271732736 53584 33554432000 4194304 5964350 140735382375712 139794847238680 4221056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 265364
[startup+6.30031 s]
/proc/loadavg: 2.16 2.03 1.92 3/179 12634
/proc/meminfo: memFree=27719872/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=265364 CPUtime=6.29 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 59248 0 0 0 619 10 0 0 20 0 2 0 331483342 271732736 53829 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 66341 53829 190 433 0 65905 0
[pid=12621/tid=12633] ppid=12619 vsize=265364 CPUtime=4.98 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 39840 0 0 0 491 7 0 0 20 0 2 0 331483470 271732736 53829 33554432000 4194304 5964350 140735382375712 139794847238680 5130932 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 265364
[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 1.92 3/179 12634
/proc/meminfo: memFree=27714240/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=265364 CPUtime=12.69 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 60055 0 0 0 1259 10 0 0 20 0 2 0 331483342 271732736 54636 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 66341 54636 190 433 0 65905 0
[pid=12621/tid=12633] ppid=12619 vsize=265364 CPUtime=11.37 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 40647 0 0 0 1130 7 0 0 20 0 2 0 331483470 271732736 54636 33554432000 4194304 5964350 140735382375712 139794847238680 5142407 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 265364
[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.92 3/179 12634
/proc/meminfo: memFree=27678784/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=273568 CPUtime=25.49 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 79117 0 0 0 2534 15 0 0 20 0 2 0 331483342 280133632 60684 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 68392 60684 193 433 0 67956 0
[pid=12621/tid=12633] ppid=12619 vsize=273568 CPUtime=24.13 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 59710 0 0 0 2401 12 0 0 20 0 2 0 331483470 280133632 60685 33554432000 4194304 5964350 140735382375712 139794847238984 4419455 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 273568
[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 1.92 3/179 12634
/proc/meminfo: memFree=27517232/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=396436 CPUtime=51.07 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 103696 0 0 0 5088 19 0 0 20 0 2 0 331483342 405950464 82424 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 99109 82424 195 433 0 98673 0
[pid=12621/tid=12633] ppid=12619 vsize=396436 CPUtime=49.66 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 84288 0 0 0 4950 16 0 0 20 0 2 0 331483470 405950464 82424 33554432000 4194304 5964350 140735382375712 139794847238488 4403530 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 396436
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 1.92 3/179 12634
/proc/meminfo: memFree=26945212/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=658580 CPUtime=102.25 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 171682 0 0 0 10193 32 0 0 20 0 2 0 331483342 674385920 151035 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 164645 151035 195 433 0 164209 0
[pid=12621/tid=12633] ppid=12619 vsize=658580 CPUtime=100.72 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 152274 0 0 0 10042 30 0 0 20 0 2 0 331483470 674385920 151035 33554432000 4194304 5964350 140735382375712 139794847238136 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 658580
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/179 12635
/proc/meminfo: memFree=26270812/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=986260 CPUtime=162.21 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 260703 0 0 0 16173 48 0 0 20 0 2 0 331483342 1009930240 240032 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 246565 240032 195 433 0 246129 0
[pid=12621/tid=12633] ppid=12619 vsize=986260 CPUtime=160.54 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 241295 0 0 0 16007 47 0 0 20 0 2 0 331483470 1009930240 240032 33554432000 4194304 5964350 140735382375712 139794847238136 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 986260
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/179 12635
/proc/meminfo: memFree=25715320/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=1313940 CPUtime=222.18 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 337894 0 0 0 22155 63 0 0 20 0 2 0 331483342 1345474560 317207 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 328485 317207 195 433 0 328049 0
[pid=12621/tid=12633] ppid=12619 vsize=1313940 CPUtime=220.36 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 318486 0 0 0 21973 63 0 0 20 0 2 0 331483470 1345474560 317207 33554432000 4194304 5964350 140735382375712 139794847238136 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1313940
[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/178 12635
/proc/meminfo: memFree=25201696/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=1576084 CPUtime=282.18 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 405382 0 0 0 28141 77 0 0 20 0 2 0 331483342 1613910016 385200 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 394021 385200 195 433 0 393585 0
[pid=12621/tid=12633] ppid=12619 vsize=1576084 CPUtime=280.2 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 385974 0 0 0 27942 78 0 0 20 0 2 0 331483470 1613910016 385200 33554432000 4194304 5964350 140735382375712 139794847238136 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1576084
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 12636
/proc/meminfo: memFree=24689216/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=1838228 CPUtime=342.17 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 466812 0 0 0 34127 90 0 0 20 0 2 0 331483342 1882345472 446630 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 459557 446630 195 433 0 459121 0
[pid=12621/tid=12633] ppid=12619 vsize=1838228 CPUtime=340.05 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 447404 0 0 0 33913 92 0 0 20 0 2 0 331483470 1882345472 446630 33554432000 4194304 5964350 140735382375712 139794847238136 4400035 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1838228
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 12636
/proc/meminfo: memFree=24218052/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=2100372 CPUtime=402.16 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 539788 0 0 0 40111 105 0 0 20 0 2 0 331483342 2150780928 519606 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 525093 519606 195 433 0 524657 0
[pid=12621/tid=12633] ppid=12619 vsize=2100372 CPUtime=399.9 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 520380 0 0 0 39882 108 0 0 20 0 2 0 331483470 2150780928 519606 33554432000 4194304 5964350 140735382375712 139794847238136 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 2100372
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 12640
/proc/meminfo: memFree=23722816/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=2362516 CPUtime=462.15 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 603081 0 0 0 46099 116 0 0 20 0 2 0 331483342 2419216384 582899 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 590629 582899 195 433 0 590193 0
################
# More data... #
################
Current children cumulated vsize (KiB) 3542164
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12646
/proc/meminfo: memFree=21486748/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=3542164 CPUtime=1541.94 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 889654 0 0 0 154017 177 0 0 20 0 2 0 331483342 3627175936 873166 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 885541 873166 195 433 0 885105 0
[pid=12621/tid=12633] ppid=12619 vsize=3542164 CPUtime=1536.94 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 870246 0 0 0 153497 197 0 0 20 0 2 0 331483470 3627175936 873166 33554432000 4194304 5964350 140735382375712 139794847238488 4388992 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 3542164
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12646
/proc/meminfo: memFree=21373936/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=3542164 CPUtime=1601.93 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 889677 0 0 0 160016 177 0 0 20 0 2 0 331483342 3627175936 873183 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 885541 873183 195 433 0 885105 0
[pid=12621/tid=12633] ppid=12619 vsize=3542164 CPUtime=1596.78 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 870269 0 0 0 159480 198 0 0 20 0 2 0 331483470 3627175936 873183 33554432000 4194304 5964350 140735382375712 139794847238488 4399846 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 3542164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 12650
/proc/meminfo: memFree=20990796/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=3673236 CPUtime=1661.9 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 927466 0 0 0 166005 185 0 0 20 0 2 0 331483342 3761393664 910964 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 918309 910964 195 433 0 917873 0
[pid=12621/tid=12633] ppid=12619 vsize=3673236 CPUtime=1656.62 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 908058 0 0 0 165455 207 0 0 20 0 2 0 331483470 3761393664 910964 33554432000 4194304 5964350 140735382375712 139794847238136 5136410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 3673236
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 12650
/proc/meminfo: memFree=20615484/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=3869844 CPUtime=1721.88 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 974168 0 0 0 171993 195 0 0 20 0 2 0 331483342 3962720256 957660 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 967461 957660 195 433 0 967025 0
[pid=12621/tid=12633] ppid=12619 vsize=3869844 CPUtime=1716.45 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 954760 0 0 0 171427 218 0 0 20 0 2 0 331483470 3962720256 957660 33554432000 4194304 5964350 140735382375712 139794847238136 4399930 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 3869844
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20242272/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=4066452 CPUtime=1781.87 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 1017198 0 0 0 177984 203 0 0 20 0 2 0 331483342 4164046848 1000681 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 1016613 1000681 195 433 0 1016177 0
[pid=12621/tid=12633] ppid=12619 vsize=4066452 CPUtime=1776.3 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 997790 0 0 0 177404 226 0 0 20 0 2 0 331483470 4164046848 1000681 33554432000 4194304 5964350 140735382375712 139794847238136 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 4066452
############
# WARNING:
# current cumulated CPU time (1795.33 s) is less than in the last sample (1799.56 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.22998 s) to the 'lost time'.
[startup+1800 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20108072/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=4131988 CPUtime=1799.56 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 1033606 0 0 0 179750 206 0 0 20 0 2 0 331483342 4231155712 1017088 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 1032997 1017088 195 433 0 1032561 0
[pid=12621/tid=12633] ppid=12619 vsize=4131988 CPUtime=1793.94 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 1014198 0 0 0 179164 230 0 0 20 0 2 0 331483470 4231155712 1017088 33554432000 4194304 5964350 140735382375712 139794847238136 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 4131988
[startup+1800.1 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20108072/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=0 CPUtime=1795.33 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4203524 1033608 0 0 0 179290 243 0 0 20 0 1 0 331483342 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20167112/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=4066452 CPUtime=1791.48 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 1026752 0 0 0 178943 205 0 0 20 0 2 0 331483342 4164046848 1010234 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 1016613 1010234 195 433 0 1016177 0
[pid=12621/tid=12633] ppid=12619 vsize=4066452 CPUtime=1785.88 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 1007344 0 0 0 178359 229 0 0 20 0 2 0 331483470 4164046848 1010234 33554432000 4194304 5964350 140735382375712 139794847238136 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 4066452
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20143304/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=4131988 CPUtime=1794.67 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 1029336 0 0 0 179262 205 0 0 20 0 2 0 331483342 4231155712 1012818 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 1032997 1012818 195 433 0 1032561 0
[pid=12621/tid=12633] ppid=12619 vsize=4131988 CPUtime=1789.07 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 1009928 0 0 0 178678 229 0 0 20 0 2 0 331483470 4231155712 1012818 33554432000 4194304 5964350 140735382375712 139794847238136 4400745 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 4131988
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20124564/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=4131988 CPUtime=1797.86 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 1032197 0 0 0 179580 206 0 0 20 0 2 0 331483342 4231155712 1015679 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 1032997 1015679 195 433 0 1032561 0
[pid=12621/tid=12633] ppid=12619 vsize=4131988 CPUtime=1792.25 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 1012789 0 0 0 178995 230 0 0 20 0 2 0 331483470 4231155712 1015679 33554432000 4194304 5964350 140735382375712 139794847238136 4389049 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 4131988
[startup+1799.1 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20117000/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=4131988 CPUtime=1798.66 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 1033004 0 0 0 179660 206 0 0 20 0 2 0 331483342 4231155712 1016486 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 1032997 1016486 195 433 0 1032561 0
[pid=12621/tid=12633] ppid=12619 vsize=4131988 CPUtime=1793.04 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 1013596 0 0 0 179074 230 0 0 20 0 2 0 331483470 4231155712 1016486 33554432000 4194304 5964350 140735382375712 139794847238136 4388148 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 4131988
[startup+1799.9 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20108072/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=4131988 CPUtime=1799.46 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) S 12619 12621 9951 0 -1 4202496 1033550 0 0 0 179740 206 0 0 20 0 2 0 331483342 4231155712 1017032 33554432000 4194304 5964350 140735382375712 140735382375232 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 1032997 1017032 195 433 0 1032561 0
[pid=12621/tid=12633] ppid=12619 vsize=4131988 CPUtime=1793.84 cores=0,2,4,6
/proc/12621/task/12633/stat : 12633 (wbo1.72) R 12619 12621 9951 0 -1 4202560 1014142 0 0 0 179154 230 0 0 20 0 2 0 331483470 4231155712 1017032 33554432000 4194304 5964350 140735382375712 139794847238136 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 4131988
[startup+1800.1 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20108072/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=0 CPUtime=1795.33 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4203524 1033608 0 0 0 179290 243 0 0 20 0 1 0 331483342 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.33
Current children cumulated vsize (KiB) 0
[startup+1800.2 s]
/proc/loadavg: 2.03 2.01 1.95 3/179 12650
/proc/meminfo: memFree=20108072/32873844 swapFree=7384/7384
[pid=12621] ppid=12619 vsize=0 CPUtime=1795.43 cores=0,2,4,6
/proc/12621/stat : 12621 (wbo1.72) R 12619 12621 9951 0 -1 4203524 1033608 0 0 0 179290 253 0 0 20 0 1 0 331483342 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12621/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.22998
# lost CPU user time (s): 4.59998
# lost CPU system time (s): -0.37
Real time (s): 1800.21
CPU time (s): 1799.68
CPU user time (s): 1797.5
CPU system time (s): 2.17361
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 4131988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.9
system time used= 2.54361
maximum resident set size= 4068360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1033608
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= 247
involuntary context switches= 1852
runsolver used 3.78242 second user time and 9.09362 second system time
The end