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-3705034-1338092955/watcher-3705034-1338092955 -o /tmp/evaluation-result-3705034-1338092955/solver-3705034-1338092955 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705034-1338092955.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: 2.03 2.02 1.99 3/171 3137
/proc/meminfo: memFree=30087472/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=3332 CPUtime=0 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) R 3135 3137 2698 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 275419900 3411968 271 33554432000 4194304 5963574 140737251301824 140737251300344 4343827 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 833 271 171 432 0 350 0
[startup+0.0677129 s]
/proc/loadavg: 2.03 2.02 1.99 3/171 3137
/proc/meminfo: memFree=30087472/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=0.06 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 1425 0 0 0 6 0 0 0 20 0 2 0 275419900 86405120 1330 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 1330 188 432 0 20660 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84380
[startup+0.100168 s]
/proc/loadavg: 2.03 2.02 1.99 3/171 3137
/proc/meminfo: memFree=30087472/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=0.09 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 1444 0 0 0 9 0 0 0 20 0 2 0 275419900 86405120 1349 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 1349 188 432 0 20660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84380
[startup+0.300112 s]
/proc/loadavg: 2.03 2.02 1.99 3/171 3137
/proc/meminfo: memFree=30087472/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=0.29 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 1623 0 0 0 29 0 0 0 20 0 2 0 275419900 86405120 1519 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 1519 188 432 0 20660 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84380
[startup+0.700115 s]
/proc/loadavg: 2.03 2.02 1.99 3/171 3137
/proc/meminfo: memFree=30087472/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=0.69 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 2118 0 0 0 69 0 0 0 20 0 2 0 275419900 86405120 1954 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 1954 192 432 0 20660 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84380
[startup+1.50021 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30063516/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=1.48 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 2723 0 0 0 148 0 0 0 20 0 2 0 275419900 86405120 2535 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 2535 192 432 0 20660 0
[pid=3137/tid=3142] ppid=3135 vsize=84380 CPUtime=1.46 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 1806 0 0 0 146 0 0 0 20 0 2 0 275419902 86405120 2535 33554432000 4194304 5963574 140737251301824 139778455120408 4399623 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84380
[startup+3.10021 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30058168/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84524 CPUtime=3.08 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 3744 0 0 0 308 0 0 0 20 0 2 0 275419900 86552576 3556 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21131 3556 192 432 0 20696 0
[pid=3137/tid=3142] ppid=3135 vsize=84524 CPUtime=3.06 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 2827 0 0 0 306 0 0 0 20 0 2 0 275419902 86552576 3556 33554432000 4194304 5963574 140737251301824 139778455119912 4402906 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84524
[startup+6.30027 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30035476/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84524 CPUtime=6.28 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 4565 0 0 0 627 1 0 0 20 0 2 0 275419900 86552576 4377 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21131 4377 192 432 0 20696 0
[pid=3137/tid=3142] ppid=3135 vsize=84524 CPUtime=6.24 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 3648 0 0 0 623 1 0 0 20 0 2 0 275419902 86552576 4377 33554432000 4194304 5963574 140737251301824 139778455119672 4399488 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84524
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 1.99 3/179 3188
/proc/meminfo: memFree=30012912/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84596 CPUtime=12.68 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 6434 0 0 0 1266 2 0 0 20 0 2 0 275419900 86626304 6246 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21149 6246 192 432 0 20714 0
[pid=3137/tid=3142] ppid=3135 vsize=84596 CPUtime=12.63 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 5517 0 0 0 1261 2 0 0 20 0 2 0 275419902 86626304 6246 33554432000 4194304 5963574 140737251301824 139778455119672 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84596
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 1.99 3/179 3188
/proc/meminfo: memFree=29998292/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84704 CPUtime=25.47 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 8819 0 0 0 2544 3 0 0 20 0 2 0 275419900 86736896 8645 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21176 8645 192 432 0 20741 0
[pid=3137/tid=3142] ppid=3135 vsize=84704 CPUtime=25.38 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 7902 0 0 0 2536 2 0 0 20 0 2 0 275419902 86736896 8645 33554432000 4194304 5963574 140737251301824 139778455119672 4400006 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 84704
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 1.99 3/180 3191
/proc/meminfo: memFree=29975868/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=51.05 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 11233 0 0 0 5102 3 0 0 20 0 2 0 275419900 86405120 10702 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 10702 192 432 0 20660 0
[pid=3137/tid=3142] ppid=3135 vsize=84380 CPUtime=50.91 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 10316 0 0 0 5088 3 0 0 20 0 2 0 275419902 86405120 10702 33554432000 4194304 5963574 140737251301824 139778455120712 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 84380
[startup+102.306 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 3192
/proc/meminfo: memFree=29947436/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=102.25 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 13710 0 0 0 10221 4 0 0 20 0 2 0 275419900 86405120 13179 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 13179 192 432 0 20660 0
[pid=3137/tid=3142] ppid=3135 vsize=84380 CPUtime=101.98 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 12793 0 0 0 10193 5 0 0 20 0 2 0 275419902 86405120 13179 33554432000 4194304 5963574 140737251301824 139778455119672 4399554 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 84380
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 3192
/proc/meminfo: memFree=29928996/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=162.23 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 16151 0 0 0 16217 6 0 0 20 0 2 0 275419900 86405120 15673 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 15673 192 432 0 20660 0
[pid=3137/tid=3142] ppid=3135 vsize=84380 CPUtime=161.81 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 15234 0 0 0 16173 8 0 0 20 0 2 0 275419902 86405120 15673 33554432000 4194304 5963574 140737251301824 139778455120408 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 84380
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3192
/proc/meminfo: memFree=29922048/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=222.22 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 16153 0 0 0 22216 6 0 0 20 0 2 0 275419900 86405120 15675 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 15675 192 432 0 20660 0
[pid=3137/tid=3142] ppid=3135 vsize=84380 CPUtime=221.65 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 15236 0 0 0 22156 9 0 0 20 0 2 0 275419902 86405120 15675 33554432000 4194304 5963574 140737251301824 139778455120408 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 84380
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 3192
/proc/meminfo: memFree=29906668/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=84380 CPUtime=282.21 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 16154 0 0 0 28215 6 0 0 20 0 2 0 275419900 86405120 15887 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 21095 15887 192 432 0 20660 0
[pid=3137/tid=3142] ppid=3135 vsize=84380 CPUtime=281.49 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 15237 0 0 0 28139 10 0 0 20 0 2 0 275419902 86405120 15887 33554432000 4194304 5963574 140737251301824 139778455120408 4399592 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 84380
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3192
/proc/meminfo: memFree=29879548/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=149916 CPUtime=342.2 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 19238 0 0 0 34213 7 0 0 20 0 2 0 275419900 153513984 18971 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 37479 18971 192 432 0 37044 0
[pid=3137/tid=3142] ppid=3135 vsize=149916 CPUtime=341.33 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 18321 0 0 0 34122 11 0 0 20 0 2 0 275419902 153513984 18971 33554432000 4194304 5963574 140737251301824 139778455119864 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 149916
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3193
/proc/meminfo: memFree=29860064/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=149916 CPUtime=402.18 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 21363 0 0 0 40211 7 0 0 20 0 2 0 275419900 153513984 21114 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 37479 21114 192 432 0 37044 0
[pid=3137/tid=3142] ppid=3135 vsize=149916 CPUtime=401.17 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 20446 0 0 0 40104 13 0 0 20 0 2 0 275419902 153513984 21114 33554432000 4194304 5963574 140737251301824 139778455120408 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 149916
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3193
/proc/meminfo: memFree=29845152/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=149916 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29379456/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=479220 CPUtime=1421.88 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 101539 0 0 0 142139 49 0 0 20 0 2 0 275419900 490721280 102634 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 119805 102634 192 432 0 119370 0
[pid=3137/tid=3142] ppid=3135 vsize=479220 CPUtime=1418.35 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 100622 0 0 0 141765 70 0 0 20 0 2 0 275419902 490721280 102634 33554432000 4194304 5963574 140737251301824 139778455119672 4399477 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 479220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29348332/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=479220 CPUtime=1481.87 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 108189 0 0 0 148133 54 0 0 20 0 2 0 275419900 490721280 109281 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 119805 109281 192 432 0 119370 0
[pid=3137/tid=3142] ppid=3135 vsize=479220 CPUtime=1478.19 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 107272 0 0 0 147743 76 0 0 20 0 2 0 275419902 490721280 109281 33554432000 4194304 5963574 140737251301824 139778455119864 4399623 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 479220
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29326052/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=479220 CPUtime=1541.86 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 111426 0 0 0 154130 56 0 0 20 0 2 0 275419900 490721280 112518 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 119805 112518 192 432 0 119370 0
[pid=3137/tid=3142] ppid=3135 vsize=479220 CPUtime=1538.03 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 110509 0 0 0 153724 79 0 0 20 0 2 0 275419902 490721280 112518 33554432000 4194304 5963574 140737251301824 139778455119672 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 479220
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3202
/proc/meminfo: memFree=29291184/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=545840 CPUtime=1601.85 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 117528 0 0 0 160126 59 0 0 20 0 2 0 275419900 558940160 118615 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136460 118615 192 432 0 136025 0
[pid=3137/tid=3142] ppid=3135 vsize=545840 CPUtime=1597.87 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 116611 0 0 0 159704 83 0 0 20 0 2 0 275419902 558940160 118615 33554432000 4194304 5963574 140737251301824 139778455119672 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 545840
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29269980/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=545840 CPUtime=1661.84 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 119687 0 0 0 166124 60 0 0 20 0 2 0 275419900 558940160 120774 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136460 120774 192 432 0 136025 0
[pid=3137/tid=3142] ppid=3135 vsize=545840 CPUtime=1657.71 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 118770 0 0 0 165686 85 0 0 20 0 2 0 275419902 558940160 120774 33554432000 4194304 5963574 140737251301824 139778455119672 4399639 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 545840
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29243468/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=545840 CPUtime=1721.81 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 125622 0 0 0 172117 64 0 0 20 0 2 0 275419900 558940160 127472 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136460 127472 192 432 0 136025 0
[pid=3137/tid=3142] ppid=3135 vsize=545840 CPUtime=1717.54 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 124705 0 0 0 171664 90 0 0 20 0 2 0 275419902 558940160 127472 33554432000 4194304 5963574 140737251301824 139778455119864 5135572 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 545840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29218412/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1781.77 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128141 0 0 0 178111 66 0 0 20 0 2 0 275419900 559767552 130545 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 130545 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1777.35 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127224 0 0 0 177642 93 0 0 20 0 2 0 275419902 559767552 130545 33554432000 4194304 5963574 140737251301824 139778455119736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 546648
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29214676/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1791.36 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128402 0 0 0 179070 66 0 0 20 0 2 0 275419900 559767552 131089 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 131089 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1786.92 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127485 0 0 0 178599 93 0 0 20 0 2 0 275419902 559767552 131089 33554432000 4194304 5963574 140737251301824 139778455119736 4399459 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 546648
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29214048/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1794.55 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128434 0 0 0 179389 66 0 0 20 0 2 0 275419900 559767552 131116 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 131116 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1790.1 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127517 0 0 0 178917 93 0 0 20 0 2 0 275419902 559767552 131116 33554432000 4194304 5963574 140737251301824 139778455119736 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 546648
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29213552/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1797.75 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128448 0 0 0 179709 66 0 0 20 0 2 0 275419900 559767552 131130 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 131130 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1793.29 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127531 0 0 0 179236 93 0 0 20 0 2 0 275419902 559767552 131130 33554432000 4194304 5963574 140737251301824 139778455119736 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 546648
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29213304/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1798.55 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128448 0 0 0 179789 66 0 0 20 0 2 0 275419900 559767552 131130 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 131130 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1794.09 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127531 0 0 0 179316 93 0 0 20 0 2 0 275419902 559767552 131130 33554432000 4194304 5963574 140737251301824 139778455119736 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (KiB) 546648
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29213180/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1798.95 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128448 0 0 0 179829 66 0 0 20 0 2 0 275419900 559767552 131130 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 131130 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1794.49 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127531 0 0 0 179356 93 0 0 20 0 2 0 275419902 559767552 131130 33554432000 4194304 5963574 140737251301824 139778455119736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.95
Current children cumulated vsize (KiB) 546648
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29213180/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1799.35 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128448 0 0 0 179869 66 0 0 20 0 2 0 275419900 559767552 131130 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 131130 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1794.89 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127531 0 0 0 179396 93 0 0 20 0 2 0 275419902 559767552 131130 33554432000 4194304 5963574 140737251301824 139778455119736 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 546648
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3203
/proc/meminfo: memFree=29213180/32873844 swapFree=7628/7628
[pid=3137] ppid=3135 vsize=546648 CPUtime=1799.45 cores=0,2,4,6
/proc/3137/stat : 3137 (wbo1.7) S 3135 3137 2698 0 -1 4202496 128448 0 0 0 179879 66 0 0 20 0 2 0 275419900 559767552 131130 33554432000 4194304 5963574 140737251301824 140737251301344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3137/statm: 136662 131130 192 432 0 136227 0
[pid=3137/tid=3142] ppid=3135 vsize=546648 CPUtime=1794.99 cores=0,2,4,6
/proc/3137/task/3142/stat : 3142 (wbo1.7) R 3135 3137 2698 0 -1 4202560 127531 0 0 0 179406 93 0 0 20 0 2 0 275419902 559767552 131130 33554432000 4194304 5963574 140737251301824 139778455119736 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 546648
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3137 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=80258
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=943856
# CPU time returned by wait4() is 1795.02
# while last known CPU time is 1799.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.45
CPU user time (s): 1798.79
CPU system time (s): 0.66
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 546648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.08
system time used= 0.943856
maximum resident set size= 524520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128448
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= 241
involuntary context switches= 2120
runsolver used 2.76358 second user time and 7.05793 second system time
The end