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-3705497-1338108638/watcher-3705497-1338108638 -o /tmp/evaluation-result-3705497-1338108638/solver-3705497-1338108638 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705497-1338108638.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 2.00 3/176 11303
/proc/meminfo: memFree=29839376/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=11852 CPUtime=0 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) R 11301 11303 9313 0 -1 4202496 528 0 0 0 0 0 0 0 20 0 1 0 276989287 12136448 481 33554432000 4194304 5963574 140733779292800 140733779290744 4394875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 2963 481 172 432 0 565 0
[startup+0.0679449 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11303
/proc/meminfo: memFree=29839376/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=23948 CPUtime=0.06 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) R 11301 11303 9313 0 -1 4202496 3508 0 0 0 6 0 0 0 20 0 1 0 276989287 24522752 3314 33554432000 4194304 5963574 140733779292800 140733779290744 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 5987 3315 369 432 0 3589 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 23948
[startup+0.100349 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11303
/proc/meminfo: memFree=29839376/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=25560 CPUtime=0.09 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) R 11301 11303 9313 0 -1 4202496 4122 0 0 0 9 0 0 0 20 0 1 0 276989287 26173440 3928 33554432000 4194304 5963574 140733779292800 140733779290744 4351915 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 6390 3929 481 432 0 3992 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25560
[startup+0.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11303
/proc/meminfo: memFree=29839376/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=34684 CPUtime=0.29 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) R 11301 11303 9313 0 -1 4202496 7073 0 0 0 28 1 0 0 20 0 1 0 276989287 35516416 6711 33554432000 4194304 5963574 140733779292800 140733779290744 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 8671 6712 1139 432 0 6273 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34684
[startup+0.700202 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11303
/proc/meminfo: memFree=29839376/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=136464 CPUtime=0.69 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 18161 0 0 0 66 3 0 0 20 0 2 0 276989287 139739136 15609 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 34116 15609 177 432 0 33681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 136464
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11305
/proc/meminfo: memFree=29728448/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=190820 CPUtime=1.49 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 34844 0 0 0 143 6 0 0 20 0 2 0 276989287 195399680 28644 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 47705 28644 199 432 0 47270 0
[pid=11303/tid=11305] ppid=11301 vsize=190820 CPUtime=0.81 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 21109 0 0 0 77 4 0 0 20 0 2 0 276989355 195399680 28644 33554432000 4194304 5963574 140733779292800 140529421609912 4403253 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) 190820
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11305
/proc/meminfo: memFree=29725472/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=190820 CPUtime=3.09 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 34844 0 0 0 303 6 0 0 20 0 2 0 276989287 195399680 28644 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 47705 28644 199 432 0 47270 0
[pid=11303/tid=11305] ppid=11301 vsize=190820 CPUtime=2.41 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 21109 0 0 0 237 4 0 0 20 0 2 0 276989355 195399680 28644 33554432000 4194304 5963574 140733779292800 140529421609912 4399697 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) 190820
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11305
/proc/meminfo: memFree=29723628/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=190820 CPUtime=6.29 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 34862 0 0 0 623 6 0 0 20 0 2 0 276989287 195399680 28662 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 47705 28662 199 432 0 47270 0
[pid=11303/tid=11305] ppid=11301 vsize=190820 CPUtime=5.6 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 21127 0 0 0 556 4 0 0 20 0 2 0 276989355 195399680 28662 33554432000 4194304 5963574 140733779292800 140529421609912 4399456 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) 190820
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11305
/proc/meminfo: memFree=29723560/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=190820 CPUtime=12.68 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 35120 0 0 0 1262 6 0 0 20 0 2 0 276989287 195399680 28920 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 47705 28920 199 432 0 47270 0
[pid=11303/tid=11305] ppid=11301 vsize=190820 CPUtime=11.97 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 21385 0 0 0 1193 4 0 0 20 0 2 0 276989355 195399680 28920 33554432000 4194304 5963574 140733779292800 140529421608952 4392408 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) 190820
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11305
/proc/meminfo: memFree=29699652/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=190820 CPUtime=25.48 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 37906 0 0 0 2541 7 0 0 20 0 2 0 276989287 195399680 31706 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 47705 31706 199 432 0 47270 0
[pid=11303/tid=11305] ppid=11301 vsize=190820 CPUtime=24.74 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 24171 0 0 0 2469 5 0 0 20 0 2 0 276989355 195399680 31706 33554432000 4194304 5963574 140733779292800 140529421608952 5135572 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) 190820
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11305
/proc/meminfo: memFree=29665512/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=190820 CPUtime=51.07 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 42249 0 0 0 5095 12 0 0 20 0 2 0 276989287 195399680 36049 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 47705 36049 199 432 0 47270 0
[pid=11303/tid=11305] ppid=11301 vsize=190820 CPUtime=50.26 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 28514 0 0 0 5016 10 0 0 20 0 2 0 276989355 195399680 36049 33554432000 4194304 5963574 140733779292800 140529421608952 4221120 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) 190820
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11305
/proc/meminfo: memFree=29640892/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=190820 CPUtime=102.26 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 48045 0 0 0 10207 19 0 0 20 0 2 0 276989287 195399680 41845 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 47705 41845 199 432 0 47270 0
[pid=11303/tid=11305] ppid=11301 vsize=190820 CPUtime=101.33 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 34310 0 0 0 10115 18 0 0 20 0 2 0 276989355 195399680 41845 33554432000 4194304 5963574 140733779292800 140529421609000 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 190820
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11305
/proc/meminfo: memFree=29569072/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=256356 CPUtime=162.24 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 55547 0 0 0 16203 21 0 0 20 0 2 0 276989287 262508544 50126 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 64089 50126 199 432 0 63654 0
[pid=11303/tid=11305] ppid=11301 vsize=256356 CPUtime=161.16 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 41812 0 0 0 16096 20 0 0 20 0 2 0 276989355 262508544 50126 33554432000 4194304 5963574 140733779292800 140529421609512 4399642 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 256356
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11305
/proc/meminfo: memFree=29567864/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=256356 CPUtime=222.2 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 55576 0 0 0 22199 21 0 0 20 0 2 0 276989287 262508544 50380 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 64089 50380 199 432 0 63654 0
[pid=11303/tid=11305] ppid=11301 vsize=256356 CPUtime=220.97 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 41841 0 0 0 22076 21 0 0 20 0 2 0 276989355 262508544 50380 33554432000 4194304 5963574 140733779292800 140529421609512 4399466 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 256356
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11306
/proc/meminfo: memFree=29553724/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=256356 CPUtime=282.19 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 56983 0 0 0 28196 23 0 0 20 0 2 0 276989287 262508544 51784 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 64089 51784 199 432 0 63654 0
[pid=11303/tid=11305] ppid=11301 vsize=256356 CPUtime=280.81 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 43248 0 0 0 28057 24 0 0 20 0 2 0 276989355 262508544 51784 33554432000 4194304 5963574 140733779292800 140529421608952 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 256356
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11306
/proc/meminfo: memFree=29501448/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=256356 CPUtime=342.18 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 61815 0 0 0 34187 31 0 0 20 0 2 0 276989287 262508544 56616 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 64089 56616 199 432 0 63654 0
[pid=11303/tid=11305] ppid=11301 vsize=256356 CPUtime=340.65 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 48080 0 0 0 34032 33 0 0 20 0 2 0 276989355 262508544 56616 33554432000 4194304 5963574 140733779292800 140529421608952 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 256356
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11306
/proc/meminfo: memFree=29486380/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=260004 CPUtime=402.16 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 65122 0 0 0 40181 35 0 0 20 0 2 0 276989287 266244096 60434 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 65001 60434 199 432 0 64566 0
[pid=11303/tid=11305] ppid=11301 vsize=260004 CPUtime=400.5 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 51387 0 0 0 40011 39 0 0 20 0 2 0 276989355 266244096 60434 33554432000 4194304 5963574 140733779292800 140529421608952 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 260004
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11306
/proc/meminfo: memFree=29470568/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=325540 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11338
/proc/meminfo: memFree=29215288/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=392900 CPUtime=1421.95 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 95344 0 0 0 142113 82 0 0 20 0 2 0 276989287 402329600 91670 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 98225 91670 199 432 0 97790 0
[pid=11303/tid=11305] ppid=11301 vsize=392900 CPUtime=1417.76 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 81609 0 0 0 141675 101 0 0 20 0 2 0 276989355 402329600 91670 33554432000 4194304 5963574 140733779292800 140529421608760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 392900
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11339
/proc/meminfo: memFree=29213092/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=392900 CPUtime=1481.94 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 95720 0 0 0 148112 82 0 0 20 0 2 0 276989287 402329600 92046 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 98225 92046 199 432 0 97790 0
[pid=11303/tid=11305] ppid=11301 vsize=392900 CPUtime=1477.59 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 81985 0 0 0 147657 102 0 0 20 0 2 0 276989355 402329600 92046 33554432000 4194304 5963574 140733779292800 140529421608760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 392900
[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11339
/proc/meminfo: memFree=29210984/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=392900 CPUtime=1541.93 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 96255 0 0 0 154110 83 0 0 20 0 2 0 276989287 402329600 92581 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 98225 92581 199 432 0 97790 0
[pid=11303/tid=11305] ppid=11301 vsize=392900 CPUtime=1537.44 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 82520 0 0 0 153641 103 0 0 20 0 2 0 276989355 402329600 92581 33554432000 4194304 5963574 140733779292800 140529421608952 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 392900
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11339
/proc/meminfo: memFree=29199204/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1601.92 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 99229 0 0 0 160105 87 0 0 20 0 2 0 276989287 469438464 95555 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 95555 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1597.28 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 85494 0 0 0 159620 108 0 0 20 0 2 0 276989355 469438464 95555 33554432000 4194304 5963574 140733779292800 140529421608952 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 458436
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11339
/proc/meminfo: memFree=29185800/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1661.91 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 102508 0 0 0 166100 91 0 0 20 0 2 0 276989287 469438464 98859 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 98859 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1657.12 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 88773 0 0 0 165598 114 0 0 20 0 2 0 276989355 469438464 98859 33554432000 4194304 5963574 140733779292800 140529421608952 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 458436
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11339
/proc/meminfo: memFree=29174316/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1721.89 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105194 0 0 0 172094 95 0 0 20 0 2 0 276989287 469438464 101661 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101661 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1716.95 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91459 0 0 0 171576 119 0 0 20 0 2 0 276989355 469438464 101661 33554432000 4194304 5963574 140733779292800 140529421608760 4399451 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 458436
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 11343
/proc/meminfo: memFree=29173936/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1781.89 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105236 0 0 0 178093 96 0 0 20 0 2 0 276989287 469438464 101703 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101703 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1776.79 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91501 0 0 0 177560 119 0 0 20 0 2 0 276989355 469438464 101703 33554432000 4194304 5963574 140733779292800 140529421608760 4399574 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 458436
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 11343
/proc/meminfo: memFree=29174060/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1791.49 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105243 0 0 0 179053 96 0 0 20 0 2 0 276989287 469438464 101710 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101710 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1786.38 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91508 0 0 0 178518 120 0 0 20 0 2 0 276989355 469438464 101710 33554432000 4194304 5963574 140733779292800 140529421608760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 458436
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/174 11371
/proc/meminfo: memFree=29549492/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1794.69 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105243 0 0 0 179373 96 0 0 20 0 2 0 276989287 469438464 101710 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101710 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1789.57 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91508 0 0 0 178837 120 0 0 20 0 2 0 276989355 469438464 101710 33554432000 4194304 5963574 140733779292800 140529421608760 4399505 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 458436
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/176 11380
/proc/meminfo: memFree=29451704/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1797.89 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105243 0 0 0 179693 96 0 0 20 0 2 0 276989287 469438464 101710 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101710 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1792.75 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91508 0 0 0 179155 120 0 0 20 0 2 0 276989355 469438464 101710 33554432000 4194304 5963574 140733779292800 140529421608760 4381555 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 458436
[startup+1799.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11381
/proc/meminfo: memFree=29406056/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1798.69 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105245 0 0 0 179773 96 0 0 20 0 2 0 276989287 469438464 101712 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101712 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1793.55 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91510 0 0 0 179235 120 0 0 20 0 2 0 276989355 469438464 101712 33554432000 4194304 5963574 140733779292800 140529421608760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 458436
[startup+1799.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11381
/proc/meminfo: memFree=29362716/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1799.09 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105245 0 0 0 179813 96 0 0 20 0 2 0 276989287 469438464 101712 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101712 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1793.96 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91510 0 0 0 179276 120 0 0 20 0 2 0 276989355 469438464 101712 33554432000 4194304 5963574 140733779292800 140529421608760 4381822 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.09
Current children cumulated vsize (KiB) 458436
[startup+1799.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11381
/proc/meminfo: memFree=29362716/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1799.49 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105245 0 0 0 179853 96 0 0 20 0 2 0 276989287 469438464 101712 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101712 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1794.35 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91510 0 0 0 179315 120 0 0 20 0 2 0 276989355 469438464 101712 33554432000 4194304 5963574 140733779292800 140529421608760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 458436
[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11381
/proc/meminfo: memFree=29362716/32873852 swapFree=7624/7624
[pid=11303] ppid=11301 vsize=458436 CPUtime=1799.59 cores=1,3,5,7
/proc/11303/stat : 11303 (wbo1.7) S 11301 11303 9313 0 -1 4202496 105245 0 0 0 179863 96 0 0 20 0 2 0 276989287 469438464 101712 33554432000 4194304 5963574 140733779292800 140733779292320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 114609 101712 199 432 0 114174 0
[pid=11303/tid=11305] ppid=11301 vsize=458436 CPUtime=1794.45 cores=1,3,5,7
/proc/11303/task/11305/stat : 11305 (wbo1.7) R 11301 11303 9313 0 -1 4202560 91510 0 0 0 179325 120 0 0 20 0 2 0 276989355 469438464 101712 33554432000 4194304 5963574 140733779292800 140529421608760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 458436
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11303 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=908284
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=234812
# CPU time returned by wait4() is 1795.14
# while last known CPU time is 1799.59
#
# 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.59
CPU user time (s): 1798.63
CPU system time (s): 0.96
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 458436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.91
system time used= 1.23481
maximum resident set size= 406848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105245
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= 132
involuntary context switches= 2247
runsolver used 3.04254 second user time and 8.47671 second system time
The end