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-3705360-1338103917/watcher-3705360-1338103917 -o /tmp/evaluation-result-3705360-1338103917/solver-3705360-1338103917 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705360-1338103917.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/177 23523
/proc/meminfo: memFree=27170516/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=8880 CPUtime=0 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) R 23521 23523 22359 0 -1 4202496 642 0 0 0 0 0 0 0 20 0 1 0 276519025 9093120 595 33554432000 4194304 5963574 140734709077232 140734709075176 4353043 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 2220 599 162 432 0 759 0
[startup+0.048556 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23523
/proc/meminfo: memFree=27170516/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=13136 CPUtime=0.04 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) R 23521 23523 22359 0 -1 4202496 1820 0 0 0 4 0 0 0 20 0 1 0 276519025 13451264 1773 33554432000 4194304 5963574 140734709077232 140734709075176 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 3284 1774 314 432 0 1823 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13136
[startup+0.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23523
/proc/meminfo: memFree=27170516/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=15512 CPUtime=0.09 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) R 23521 23523 22359 0 -1 4202496 2568 0 0 0 9 0 0 0 20 0 1 0 276519025 15884288 2521 33554432000 4194304 5963574 140734709077232 140734709075176 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 3878 2522 502 432 0 2417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15512
[startup+0.300172 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23523
/proc/meminfo: memFree=27170516/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=99328 CPUtime=0.29 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 7659 0 0 0 28 1 0 0 20 0 2 0 276519025 101711872 6521 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 24832 6521 175 432 0 24397 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 99328
[startup+0.700188 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23523
/proc/meminfo: memFree=27170516/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=96636 CPUtime=0.69 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 13478 0 0 0 67 2 0 0 20 0 2 0 276519025 98955264 11142 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 24159 11142 192 432 0 23724 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 96636
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23525
/proc/meminfo: memFree=27126596/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=96636 CPUtime=1.49 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 13755 0 0 0 147 2 0 0 20 0 2 0 276519025 98955264 11419 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 24159 11419 192 432 0 23724 0
[pid=23523/tid=23525] ppid=23521 vsize=96636 CPUtime=1.2 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 8345 0 0 0 119 1 0 0 20 0 2 0 276519053 98955264 11419 33554432000 4194304 5963574 140734709077232 140209968949512 4406699 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) 96636
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23525
/proc/meminfo: memFree=27118040/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=96636 CPUtime=3.09 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 15530 0 0 0 307 2 0 0 20 0 2 0 276519025 98955264 13194 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 24159 13194 195 432 0 23724 0
[pid=23523/tid=23525] ppid=23521 vsize=96636 CPUtime=2.8 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 10120 0 0 0 278 2 0 0 20 0 2 0 276519053 98955264 13194 33554432000 4194304 5963574 140734709077232 140209968949576 4388625 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) 96636
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23525
/proc/meminfo: memFree=27117680/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=96636 CPUtime=6.29 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 15530 0 0 0 627 2 0 0 20 0 2 0 276519025 98955264 13194 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 24159 13194 195 432 0 23724 0
[pid=23523/tid=23525] ppid=23521 vsize=96636 CPUtime=5.99 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 10120 0 0 0 597 2 0 0 20 0 2 0 276519053 98955264 13194 33554432000 4194304 5963574 140734709077232 140209968949576 4221120 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) 96636
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23525
/proc/meminfo: memFree=27111164/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=98080 CPUtime=12.69 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 17126 0 0 0 1267 2 0 0 20 0 2 0 276519025 100433920 14790 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 24520 14790 195 432 0 24085 0
[pid=23523/tid=23525] ppid=23521 vsize=98080 CPUtime=12.38 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 11716 0 0 0 1236 2 0 0 20 0 2 0 276519053 100433920 14790 33554432000 4194304 5963574 140734709077232 140209968949608 4388696 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 98080
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23525
/proc/meminfo: memFree=27109204/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=98080 CPUtime=25.48 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 17126 0 0 0 2546 2 0 0 20 0 2 0 276519025 100433920 14790 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 24520 14790 195 432 0 24085 0
[pid=23523/tid=23525] ppid=23521 vsize=98080 CPUtime=25.14 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 11716 0 0 0 2512 2 0 0 20 0 2 0 276519053 100433920 14790 33554432000 4194304 5963574 140734709077232 140209968949608 4399627 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) 98080
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23525
/proc/meminfo: memFree=27066800/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=163616 CPUtime=51.08 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 25547 0 0 0 5103 5 0 0 20 0 2 0 276519025 167542784 23211 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 40904 23211 195 432 0 40469 0
[pid=23523/tid=23525] ppid=23521 vsize=163616 CPUtime=50.67 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 20137 0 0 0 5063 4 0 0 20 0 2 0 276519053 167542784 23211 33554432000 4194304 5963574 140734709077232 140209968948840 4388665 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 163616
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23525
/proc/meminfo: memFree=27001080/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=163616 CPUtime=102.27 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 38042 0 0 0 10218 9 0 0 20 0 2 0 276519025 167542784 35706 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 40904 35706 195 432 0 40469 0
[pid=23523/tid=23525] ppid=23521 vsize=163616 CPUtime=101.74 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 32632 0 0 0 10165 9 0 0 20 0 2 0 276519053 167542784 35706 33554432000 4194304 5963574 140734709077232 140209968949240 4388608 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 163616
[startup+162.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/179 23526
/proc/meminfo: memFree=26934352/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=229152 CPUtime=162.24 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 54230 0 0 0 16208 16 0 0 20 0 2 0 276519025 234651648 52315 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 57288 52315 195 432 0 56853 0
[pid=23523/tid=23525] ppid=23521 vsize=229152 CPUtime=161.56 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 48820 0 0 0 16139 17 0 0 20 0 2 0 276519053 234651648 52315 33554432000 4194304 5963574 140734709077232 140209968949176 4221984 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) 229152
[startup+222.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 23526
/proc/meminfo: memFree=26877836/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=294688 CPUtime=222.22 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 64509 0 0 0 22202 20 0 0 20 0 2 0 276519025 301760512 62653 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 73672 62653 195 432 0 73237 0
[pid=23523/tid=23525] ppid=23521 vsize=294688 CPUtime=221.39 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 59099 0 0 0 22116 23 0 0 20 0 2 0 276519053 301760512 62653 33554432000 4194304 5963574 140734709077232 140209968949240 4388621 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 294688
[startup+282.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/179 23526
/proc/meminfo: memFree=26807672/32873648 swapFree=6340/6340
[pid=23523] ppid=23521 vsize=360224 CPUtime=282.21 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 77198 0 0 0 28196 25 0 0 20 0 2 0 276519025 368869376 75862 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 90056 75862 195 432 0 89621 0
[pid=23523/tid=23525] ppid=23521 vsize=360224 CPUtime=281.23 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 71788 0 0 0 28095 28 0 0 20 0 2 0 276519053 368869376 75862 33554432000 4194304 5963574 140734709077232 140209968949240 4388646 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 360224
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 23565
/proc/meminfo: memFree=27162220/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=360224 CPUtime=342.2 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 86561 0 0 0 34191 29 0 0 20 0 2 0 276519025 368869376 85240 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 90056 85240 195 432 0 89621 0
[pid=23523/tid=23525] ppid=23521 vsize=360224 CPUtime=341.08 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 81151 0 0 0 34075 33 0 0 20 0 2 0 276519053 368869376 85240 33554432000 4194304 5963574 140734709077232 140209968949240 4388646 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 360224
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 23565
/proc/meminfo: memFree=27112344/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=425760 CPUtime=402.17 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 95817 0 0 0 40185 32 0 0 20 0 2 0 276519025 435978240 94557 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 106440 94557 195 432 0 106005 0
[pid=23523/tid=23525] ppid=23521 vsize=425760 CPUtime=400.91 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 90407 0 0 0 40053 38 0 0 20 0 2 0 276519053 435978240 94557 33554432000 4194304 5963574 140734709077232 140209968949240 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 425760
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 23566
/proc/meminfo: memFree=27033604/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=491296 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23575
/proc/meminfo: memFree=26329032/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=756508 CPUtime=1422.02 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 177358 0 0 0 142138 64 0 0 20 0 2 0 276519025 774664192 175642 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 189127 175642 195 432 0 188692 0
[pid=23523/tid=23525] ppid=23521 vsize=756508 CPUtime=1418.3 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 171948 0 0 0 141746 84 0 0 20 0 2 0 276519053 774664192 175642 33554432000 4194304 5963574 140734709077232 140209968949240 4399580 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 756508
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23575
/proc/meminfo: memFree=26287852/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=756508 CPUtime=1482 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 187220 0 0 0 148133 67 0 0 20 0 2 0 276519025 774664192 185508 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 189127 185508 195 432 0 188692 0
[pid=23523/tid=23525] ppid=23521 vsize=756508 CPUtime=1478.13 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 181810 0 0 0 147724 89 0 0 20 0 2 0 276519053 774664192 185508 33554432000 4194304 5963574 140734709077232 140209968949240 4402816 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 756508
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23575
/proc/meminfo: memFree=26204208/32873648 swapFree=6340/6340
[pid=23523] ppid=23521 vsize=822044 CPUtime=1542 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 198316 0 0 0 154129 71 0 0 20 0 2 0 276519025 841773056 196604 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 205511 196604 195 432 0 205076 0
[pid=23523/tid=23525] ppid=23521 vsize=822044 CPUtime=1537.98 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 192906 0 0 0 153705 93 0 0 20 0 2 0 276519053 841773056 196604 33554432000 4194304 5963574 140734709077232 140209968949240 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 822044
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23575
/proc/meminfo: memFree=26112076/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=887580 CPUtime=1601.98 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 209840 0 0 0 160123 75 0 0 20 0 2 0 276519025 908881920 208128 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 221895 208128 195 432 0 221460 0
[pid=23523/tid=23525] ppid=23521 vsize=887580 CPUtime=1597.83 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 204430 0 0 0 159685 98 0 0 20 0 2 0 276519053 908881920 208128 33554432000 4194304 5963574 140734709077232 140209968949240 4388706 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 887580
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23575
/proc/meminfo: memFree=26010272/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1661.98 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 221663 0 0 0 166119 79 0 0 20 0 2 0 276519025 975990784 219951 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 219951 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1657.67 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 216253 0 0 0 165664 103 0 0 20 0 2 0 276519053 975990784 219951 33554432000 4194304 5963574 140734709077232 140209968949240 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 953116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23579
/proc/meminfo: memFree=25965764/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1721.97 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 172113 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1717.52 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 171643 109 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4388665 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 953116
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25963340/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1781.96 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 178112 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1777.37 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 177627 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4222464 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 953116
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25962332/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1791.57 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 179073 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1786.95 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 178585 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4220678 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 953116
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25962068/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1794.77 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 179393 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1790.14 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 178904 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 953116
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25962192/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1797.96 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 179712 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1793.32 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 179222 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4388621 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 953116
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25962192/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1798.76 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 179792 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1794.12 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 179302 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4388700 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.76
Current children cumulated vsize (KiB) 953116
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25962316/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1799.16 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 179832 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1794.53 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 179343 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4403255 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 953116
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25962316/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1799.56 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 179872 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1794.92 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 179382 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4388696 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 953116
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23602
/proc/meminfo: memFree=25962316/32873648 swapFree=6336/6336
[pid=23523] ppid=23521 vsize=953116 CPUtime=1799.66 cores=1,3,5,7
/proc/23523/stat : 23523 (wbo1.7) S 23521 23523 22359 0 -1 4202496 231301 0 0 0 179882 84 0 0 20 0 2 0 276519025 975990784 229589 33554432000 4194304 5963574 140734709077232 140734709076752 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23523/statm: 238279 229589 195 432 0 237844 0
[pid=23523/tid=23525] ppid=23521 vsize=953116 CPUtime=1795.02 cores=1,3,5,7
/proc/23523/task/23525/stat : 23525 (wbo1.7) R 23521 23523 22359 0 -1 4202560 225891 0 0 0 179392 110 0 0 20 0 2 0 276519053 975990784 229589 33554432000 4194304 5963574 140734709077232 140209968949240 4388665 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 953116
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23523 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=220237
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=137827
# CPU time returned by wait4() is 1795.36
# while last known CPU time is 1799.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.04
CPU time (s): 1799.66
CPU user time (s): 1798.82
CPU system time (s): 0.84
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 953116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 1.13783
maximum resident set size= 918356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231301
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= 88
involuntary context switches= 2796
runsolver used 3.06553 second user time and 8.99863 second system time
The end