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-3704917-1338116777/watcher-3704917-1338116777 -o /tmp/evaluation-result-3704917-1338116777/solver-3704917-1338116777 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704917-1338116777.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 24366
/proc/meminfo: memFree=28954244/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=5284 CPUtime=0 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) R 24364 24366 21940 0 -1 4202496 481 0 0 0 0 0 0 0 20 0 1 0 277802601 5410816 433 33554432000 4194304 5963574 140736482436592 140736019455304 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 1321 434 161 432 0 530 0
[startup+0.0147719 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24366
/proc/meminfo: memFree=28954244/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=7884 CPUtime=0 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) R 24364 24366 21940 0 -1 4202496 1113 0 0 0 0 0 0 0 20 0 1 0 277802601 8073216 1065 33554432000 4194304 5963574 140736482436592 140736019455304 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 1971 1065 183 432 0 1180 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7884
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24366
/proc/meminfo: memFree=28954244/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=13688 CPUtime=0.09 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) R 24364 24366 21940 0 -1 4202496 2637 0 0 0 9 0 0 0 20 0 1 0 277802601 14016512 2589 33554432000 4194304 5963574 140736482436592 140736019455304 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 3422 2590 483 432 0 2631 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13688
[startup+0.30019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24366
/proc/meminfo: memFree=28954244/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=95260 CPUtime=0.29 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 6546 0 0 0 28 1 0 0 20 0 2 0 277802601 97546240 5600 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 23815 5600 187 432 0 23380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 95260
[startup+0.700114 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24366
/proc/meminfo: memFree=28954244/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=95260 CPUtime=0.69 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 6805 0 0 0 68 1 0 0 20 0 2 0 277802601 97546240 5859 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 23815 5859 187 432 0 23380 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 95260
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24368
/proc/meminfo: memFree=28931404/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=95260 CPUtime=1.48 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 7260 0 0 0 147 1 0 0 20 0 2 0 277802601 97546240 6314 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 23815 6314 187 432 0 23380 0
[pid=24366/tid=24368] ppid=24364 vsize=95260 CPUtime=1.37 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 4010 0 0 0 137 0 0 0 20 0 2 0 277802612 97546240 6314 33554432000 4194304 5963574 140736482436592 140079720548344 4388608 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 95260
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24368
/proc/meminfo: memFree=28928800/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=95260 CPUtime=3.08 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 8236 0 0 0 307 1 0 0 20 0 2 0 277802601 97546240 7290 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 23815 7290 187 432 0 23380 0
[pid=24366/tid=24368] ppid=24364 vsize=95260 CPUtime=2.97 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 4986 0 0 0 296 1 0 0 20 0 2 0 277802612 97546240 7290 33554432000 4194304 5963574 140736482436592 140079720548344 4391267 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 95260
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24368
/proc/meminfo: memFree=28920368/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=95260 CPUtime=6.29 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 10438 0 0 0 627 2 0 0 20 0 2 0 277802601 97546240 9492 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 23815 9492 187 432 0 23380 0
[pid=24366/tid=24368] ppid=24364 vsize=95260 CPUtime=6.18 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 7188 0 0 0 616 2 0 0 20 0 2 0 277802612 97546240 9492 33554432000 4194304 5963574 140736482436592 140079720548344 4392454 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) 95260
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24368
/proc/meminfo: memFree=28910324/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=95260 CPUtime=12.69 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 12675 0 0 0 1266 3 0 0 20 0 2 0 277802601 97546240 11729 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 23815 11729 187 432 0 23380 0
[pid=24366/tid=24368] ppid=24364 vsize=95260 CPUtime=12.58 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 9425 0 0 0 1255 3 0 0 20 0 2 0 277802612 97546240 11729 33554432000 4194304 5963574 140736482436592 140079720548392 4399603 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) 95260
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 24368
/proc/meminfo: memFree=28898288/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=95260 CPUtime=25.48 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 15084 0 0 0 2544 4 0 0 20 0 2 0 277802601 97546240 14138 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 23815 14138 187 432 0 23380 0
[pid=24366/tid=24368] ppid=24364 vsize=95260 CPUtime=25.37 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 11834 0 0 0 2533 4 0 0 20 0 2 0 277802612 97546240 14138 33554432000 4194304 5963574 140736482436592 140079720548344 4381496 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) 95260
[startup+51.1003 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 24369
/proc/meminfo: memFree=28867036/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=160796 CPUtime=51.07 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 23477 0 0 0 5100 7 0 0 20 0 2 0 277802601 164655104 22531 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 40199 22531 187 432 0 39764 0
[pid=24366/tid=24368] ppid=24364 vsize=160796 CPUtime=50.97 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 20227 0 0 0 5089 8 0 0 20 0 2 0 277802612 164655104 22531 33554432000 4194304 5963574 140736482436592 140079720548344 4222416 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) 160796
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24370
/proc/meminfo: memFree=28785116/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=160796 CPUtime=102.27 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 36533 0 0 0 10215 12 0 0 20 0 2 0 277802601 164655104 35587 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 40199 35587 187 432 0 39764 0
[pid=24366/tid=24368] ppid=24364 vsize=160796 CPUtime=102.18 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 33283 0 0 0 10204 14 0 0 20 0 2 0 277802612 164655104 35587 33554432000 4194304 5963574 140736482436592 140079720548344 4221984 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) 160796
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24370
/proc/meminfo: memFree=28735760/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=227416 CPUtime=162.26 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 41852 0 0 0 16211 15 0 0 20 0 2 0 277802601 232873984 40906 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 56854 40906 187 432 0 56419 0
[pid=24366/tid=24368] ppid=24364 vsize=227416 CPUtime=162.17 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 38602 0 0 0 16200 17 0 0 20 0 2 0 277802612 232873984 40906 33554432000 4194304 5963574 140736482436592 140079720548344 4381291 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 227416
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24370
/proc/meminfo: memFree=28671368/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=292952 CPUtime=222.24 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 56424 0 0 0 22204 20 0 0 20 0 2 0 277802601 299982848 55495 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 73238 55495 187 432 0 72803 0
[pid=24366/tid=24368] ppid=24364 vsize=292952 CPUtime=222.15 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 53174 0 0 0 22192 23 0 0 20 0 2 0 277802612 299982848 55495 33554432000 4194304 5963574 140736482436592 140079720548152 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 292952
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24373
/proc/meminfo: memFree=28640452/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=292952 CPUtime=282.19 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 56750 0 0 0 28199 20 0 0 20 0 2 0 277802601 299982848 55795 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 73238 55795 187 432 0 72803 0
[pid=24366/tid=24368] ppid=24364 vsize=292952 CPUtime=282.12 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 53500 0 0 0 28188 24 0 0 20 0 2 0 277802612 299982848 55795 33554432000 4194304 5963574 140736482436592 140079720548344 4399639 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 292952
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24374
/proc/meminfo: memFree=28613856/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=293492 CPUtime=342.15 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 62895 0 0 0 34192 23 0 0 20 0 2 0 277802601 300535808 62438 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 73373 62438 187 432 0 72938 0
[pid=24366/tid=24368] ppid=24364 vsize=293492 CPUtime=342.08 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 59645 0 0 0 34180 28 0 0 20 0 2 0 277802612 300535808 62438 33554432000 4194304 5963574 140736482436592 140079720548152 4399451 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 293492
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24374
/proc/meminfo: memFree=28581612/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=293492 CPUtime=402.14 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 63554 0 0 0 40191 23 0 0 20 0 2 0 277802601 300535808 63097 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 73373 63097 187 432 0 72938 0
[pid=24366/tid=24368] ppid=24364 vsize=293492 CPUtime=402.08 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 60304 0 0 0 40179 29 0 0 20 0 2 0 277802612 300535808 63097 33554432000 4194304 5963574 140736482436592 140079720548152 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 293492
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24374
/proc/meminfo: memFree=28543896/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=293492 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 127776 0 0 0 130130 72 0 0 20 0 2 0 277802612 569798656 130742 33554432000 4194304 5963574 140736482436592 140079720548344 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 556444
[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 24419
/proc/meminfo: memFree=28695932/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=556444 CPUtime=1361.9 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 131026 0 0 0 136137 53 0 0 20 0 2 0 277802601 569798656 130742 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 139111 130742 187 432 0 138676 0
[pid=24366/tid=24368] ppid=24364 vsize=556444 CPUtime=1362.01 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 127776 0 0 0 136128 73 0 0 20 0 2 0 277802612 569798656 130742 33554432000 4194304 5963574 140736482436592 140079720548344 4399627 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 556444
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 24419
/proc/meminfo: memFree=28684524/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=556444 CPUtime=1421.89 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 131027 0 0 0 142136 53 0 0 20 0 2 0 277802601 569798656 130743 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 139111 130743 187 432 0 138676 0
[pid=24366/tid=24368] ppid=24364 vsize=556444 CPUtime=1422.02 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 127777 0 0 0 142128 74 0 0 20 0 2 0 277802612 569798656 130743 33554432000 4194304 5963574 140736482436592 140079720548344 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 556444
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 24422
/proc/meminfo: memFree=28652892/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=556444 CPUtime=1481.88 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 131027 0 0 0 148135 53 0 0 20 0 2 0 277802601 569798656 130743 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 139111 130743 187 432 0 138676 0
[pid=24366/tid=24368] ppid=24364 vsize=556444 CPUtime=1482.01 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 127777 0 0 0 148126 75 0 0 20 0 2 0 277802612 569798656 130743 33554432000 4194304 5963574 140736482436592 140079720548344 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 556444
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24422
/proc/meminfo: memFree=28644796/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=556444 CPUtime=1541.85 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 131052 0 0 0 154132 53 0 0 20 0 2 0 277802601 569798656 130846 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 139111 130846 187 432 0 138676 0
[pid=24366/tid=24368] ppid=24364 vsize=556444 CPUtime=1541.99 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 127802 0 0 0 154123 76 0 0 20 0 2 0 277802612 569798656 130846 33554432000 4194304 5963574 140736482436592 140079720548344 4381529 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 556444
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28634008/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=556444 CPUtime=1601.84 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 131052 0 0 0 160131 53 0 0 20 0 2 0 277802601 569798656 130846 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 139111 130846 187 432 0 138676 0
[pid=24366/tid=24368] ppid=24364 vsize=556444 CPUtime=1601.99 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 127802 0 0 0 160122 77 0 0 20 0 2 0 277802612 569798656 130846 33554432000 4194304 5963574 140736482436592 140079720548344 4399651 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 556444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28617020/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=556444 CPUtime=1661.83 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 131052 0 0 0 166130 53 0 0 20 0 2 0 277802601 569798656 130846 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 139111 130846 187 432 0 138676 0
[pid=24366/tid=24368] ppid=24364 vsize=556444 CPUtime=1661.99 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 127802 0 0 0 166121 78 0 0 20 0 2 0 277802612 569798656 130846 33554432000 4194304 5963574 140736482436592 140079720548344 4400055 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 556444
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28579076/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1721.82 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 139072 0 0 0 172125 57 0 0 20 0 2 0 277802601 636907520 138866 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 138866 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1721.99 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 135822 0 0 0 172115 84 0 0 20 0 2 0 277802612 636907520 138866 33554432000 4194304 5963574 140736482436592 140079720548344 4399592 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 621980
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28577464/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1781.81 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 139072 0 0 0 178124 57 0 0 20 0 2 0 277802601 636907520 138866 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 138866 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1781.99 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 135822 0 0 0 178114 85 0 0 20 0 2 0 277802612 636907520 138866 33554432000 4194304 5963574 140736482436592 140079720548344 4399603 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 621980
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 24423
/proc/meminfo: memFree=28572256/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1791.42 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 140256 0 0 0 179084 58 0 0 20 0 2 0 277802601 636907520 140050 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 140050 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1791.6 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 137006 0 0 0 179075 85 0 0 20 0 2 0 277802612 636907520 140050 33554432000 4194304 5963574 140736482436592 140079720548344 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 621980
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28569776/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1794.62 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 140781 0 0 0 179404 58 0 0 20 0 2 0 277802601 636907520 140575 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 140575 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1794.8 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 137531 0 0 0 179395 85 0 0 20 0 2 0 277802612 636907520 140575 33554432000 4194304 5963574 140736482436592 140079720548344 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 621980
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28568164/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1797.81 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 141367 0 0 0 179722 59 0 0 20 0 2 0 277802601 636907520 141161 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 141161 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1797.99 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 138117 0 0 0 179713 86 0 0 20 0 2 0 277802612 636907520 141161 33554432000 4194304 5963574 140736482436592 140079720548344 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 621980
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28567420/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1798.61 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 141526 0 0 0 179802 59 0 0 20 0 2 0 277802601 636907520 141320 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 141320 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1798.79 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 138276 0 0 0 179793 86 0 0 20 0 2 0 277802612 636907520 141320 33554432000 4194304 5963574 140736482436592 140079720548344 4399605 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 621980
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28566676/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1799.02 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 141602 0 0 0 179843 59 0 0 20 0 2 0 277802601 636907520 141396 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 141396 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1799.2 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 138352 0 0 0 179834 86 0 0 20 0 2 0 277802612 636907520 141396 33554432000 4194304 5963574 140736482436592 140079720548344 4399639 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 621980
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28566676/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1799.41 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 141733 0 0 0 179882 59 0 0 20 0 2 0 277802601 636907520 141527 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 141527 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1799.59 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 138483 0 0 0 179873 86 0 0 20 0 2 0 277802612 636907520 141527 33554432000 4194304 5963574 140736482436592 140079720548344 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 621980
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24423
/proc/meminfo: memFree=28566676/32873844 swapFree=6856/6856
[pid=24366] ppid=24364 vsize=621980 CPUtime=1799.51 cores=1,3,5,7
/proc/24366/stat : 24366 (wbo1.7) S 24364 24366 21940 0 -1 4202496 141765 0 0 0 179892 59 0 0 20 0 2 0 277802601 636907520 141559 33554432000 4194304 5963574 140736482436592 140736482436112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24366/statm: 155495 141559 187 432 0 155060 0
[pid=24366/tid=24368] ppid=24364 vsize=621980 CPUtime=1799.69 cores=1,3,5,7
/proc/24366/task/24368/stat : 24368 (wbo1.7) R 24364 24366 21940 0 -1 4202560 138515 0 0 0 179883 86 0 0 20 0 2 0 277802612 636907520 141559 33554432000 4194304 5963574 140736482436592 140079720548344 4381532 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 621980
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.83
CPU user time (s): 1798.95
CPU system time (s): 0.883865
CPU usage (%): 99.9899
Max. virtual memory (cumulated for all children) (KiB): 621980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 0.883865
maximum resident set size= 566248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141768
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= 215
involuntary context switches= 3191
runsolver used 3.19351 second user time and 7.57085 second system time
The end