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-3728345-1338676048/watcher-3728345-1338676048 -o /tmp/evaluation-result-3728345-1338676048/solver-3728345-1338676048 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728345-1338676048.wbo
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: 1.95 2.13 2.81 3/178 10321
/proc/meminfo: memFree=27207572/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=0 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 819 0 0 0 0 0 0 0 20 0 2 0 333728853 85831680 759 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 763 174 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=0 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 333728854 85831680 772 33554432000 4194304 5964350 140735270486864 140733956393816 5136410 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0304799 s]
/proc/loadavg: 1.95 2.13 2.81 3/178 10321
/proc/meminfo: memFree=27207572/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=0.02 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 1209 0 0 0 2 0 0 0 20 0 2 0 333728853 85831680 1149 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 1149 197 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=0.01 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 436 0 0 0 1 0 0 0 20 0 2 0 333728854 85831680 1149 33554432000 4194304 5964350 140735270486864 140733956393816 18446744073699066188 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83820
[startup+0.100288 s]
/proc/loadavg: 1.95 2.13 2.81 3/178 10321
/proc/meminfo: memFree=27207572/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=0.09 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 1885 0 0 0 9 0 0 0 20 0 2 0 333728853 85831680 1641 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 1641 198 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=0.08 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 1112 0 0 0 8 0 0 0 20 0 2 0 333728854 85831680 1641 33554432000 4194304 5964350 140735270486864 140733956393816 4393411 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83820
[startup+0.300259 s]
/proc/loadavg: 1.95 2.13 2.81 3/178 10321
/proc/meminfo: memFree=27207572/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=0.29 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 2574 0 0 0 29 0 0 0 20 0 2 0 333728853 85831680 2099 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 2099 198 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=0.28 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 1801 0 0 0 28 0 0 0 20 0 2 0 333728854 85831680 2099 33554432000 4194304 5964350 140735270486864 140409497143640 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83820
[startup+0.700254 s]
/proc/loadavg: 1.95 2.13 2.81 3/178 10321
/proc/meminfo: memFree=27207572/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=0.69 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 2676 0 0 0 69 0 0 0 20 0 2 0 333728853 85831680 2201 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 2201 198 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=0.68 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 1903 0 0 0 68 0 0 0 20 0 2 0 333728854 85831680 2201 33554432000 4194304 5964350 140735270486864 140409497143640 4403639 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83820
[startup+1.50025 s]
/proc/loadavg: 1.95 2.13 2.81 3/180 10323
/proc/meminfo: memFree=27199232/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=1.49 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 2965 0 0 0 149 0 0 0 20 0 2 0 333728853 85831680 2490 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 2490 198 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=1.48 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 2192 0 0 0 148 0 0 0 20 0 2 0 333728854 85831680 2490 33554432000 4194304 5964350 140735270486864 140409497143288 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83820
[startup+3.10025 s]
/proc/loadavg: 1.95 2.13 2.81 3/180 10323
/proc/meminfo: memFree=27195016/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=3.09 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 3495 0 0 0 309 0 0 0 20 0 2 0 333728853 85831680 3020 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 3020 198 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=3.08 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 2722 0 0 0 308 0 0 0 20 0 2 0 333728854 85831680 3020 33554432000 4194304 5964350 140735270486864 140409497143640 4403649 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83820
[startup+6.30025 s]
/proc/loadavg: 2.03 2.14 2.81 3/180 10323
/proc/meminfo: memFree=27190452/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=83820 CPUtime=6.29 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 4527 0 0 0 629 0 0 0 20 0 2 0 333728853 85831680 4052 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 20955 4052 198 433 0 20519 0
[pid=10321/tid=10322] ppid=10319 vsize=83820 CPUtime=6.28 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 3754 0 0 0 628 0 0 0 20 0 2 0 333728854 85831680 4052 33554432000 4194304 5964350 140735270486864 140409497143096 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83820
[startup+12.7003 s]
/proc/loadavg: 2.03 2.14 2.81 3/180 10323
/proc/meminfo: memFree=27175372/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=84144 CPUtime=12.69 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 7710 0 0 0 1268 1 0 0 20 0 2 0 333728853 86163456 7235 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 21036 7235 198 433 0 20600 0
[pid=10321/tid=10322] ppid=10319 vsize=84144 CPUtime=12.69 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 6937 0 0 0 1267 2 0 0 20 0 2 0 333728854 86163456 7235 33554432000 4194304 5964350 140735270486864 140409497143288 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84144
[startup+25.5003 s]
/proc/loadavg: 2.02 2.13 2.80 3/180 10323
/proc/meminfo: memFree=27157968/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=84628 CPUtime=25.49 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 11124 0 0 0 2547 2 0 0 20 0 2 0 333728853 86659072 10648 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 21157 10648 198 433 0 20721 0
[pid=10321/tid=10322] ppid=10319 vsize=84628 CPUtime=25.48 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 10351 0 0 0 2545 3 0 0 20 0 2 0 333728854 86659072 10648 33554432000 4194304 5964350 140735270486864 140409497143336 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84628
[startup+51.1003 s]
/proc/loadavg: 2.02 2.12 2.77 3/179 10323
/proc/meminfo: memFree=27126192/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=85516 CPUtime=51.08 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 17098 0 0 0 5103 5 0 0 20 0 2 0 333728853 87568384 16621 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 21379 16621 198 433 0 20943 0
[pid=10321/tid=10322] ppid=10319 vsize=85516 CPUtime=51.08 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 16325 0 0 0 5102 6 0 0 20 0 2 0 333728854 87568384 16621 33554432000 4194304 5964350 140735270486864 140409497143288 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85516
[startup+102.306 s]
/proc/loadavg: 2.00 2.10 2.73 3/179 10323
/proc/meminfo: memFree=27089924/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=149356 CPUtime=102.26 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 22547 0 0 0 10220 6 0 0 20 0 2 0 333728853 152940544 22020 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 37339 22020 198 433 0 36903 0
[pid=10321/tid=10322] ppid=10319 vsize=149356 CPUtime=102.26 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 21774 0 0 0 10218 8 0 0 20 0 2 0 333728854 152940544 22020 33554432000 4194304 5964350 140735270486864 140409497144248 4409205 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 149356
[startup+162.3 s]
/proc/loadavg: 2.00 2.08 2.68 3/180 10365
/proc/meminfo: memFree=27137700/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=149356 CPUtime=162.24 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 23400 0 0 0 16218 6 0 0 20 0 2 0 333728853 152940544 22898 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 37339 22898 198 433 0 36903 0
[pid=10321/tid=10322] ppid=10319 vsize=149356 CPUtime=162.25 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 22627 0 0 0 16216 9 0 0 20 0 2 0 333728854 152940544 22898 33554432000 4194304 5964350 140735270486864 140409497143096 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 149356
[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.64 3/179 10365
/proc/meminfo: memFree=27055724/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=150440 CPUtime=222.23 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 33931 0 0 0 22213 10 0 0 20 0 2 0 333728853 154050560 33930 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 37610 33930 198 433 0 37174 0
[pid=10321/tid=10322] ppid=10319 vsize=150440 CPUtime=222.25 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 33158 0 0 0 22211 14 0 0 20 0 2 0 333728854 154050560 33930 33554432000 4194304 5964350 140735270486864 140409497143288 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150440
[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.59 3/178 10365
/proc/meminfo: memFree=27032928/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=215976 CPUtime=282.22 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 37261 0 0 0 28210 12 0 0 20 0 2 0 333728853 221159424 37361 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 53994 37361 198 433 0 53558 0
[pid=10321/tid=10322] ppid=10319 vsize=215976 CPUtime=282.24 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 36488 0 0 0 28208 16 0 0 20 0 2 0 333728854 221159424 37361 33554432000 4194304 5964350 140735270486864 140409497143288 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 215976
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.55 3/179 10366
/proc/meminfo: memFree=26951516/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=215976 CPUtime=342.18 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 41002 0 0 0 34205 13 0 0 20 0 2 0 333728853 221159424 41721 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 53994 41721 198 433 0 53558 0
[pid=10321/tid=10322] ppid=10319 vsize=215976 CPUtime=342.22 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 40229 0 0 0 34203 19 0 0 20 0 2 0 333728854 221159424 41721 33554432000 4194304 5964350 140735270486864 140409497143096 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 215976
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.52 3/179 10366
/proc/meminfo: memFree=26877648/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=215976 CPUtime=402.18 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 46764 0 0 0 40199 19 0 0 20 0 2 0 333728853 221159424 47479 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81359 0 0 0 130159 61 0 0 20 0 2 0 333728854 421376000 83659 33554432000 4194304 5964350 140735270486864 140409497144248 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 411500
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.17 3/180 10375
/proc/meminfo: memFree=26103228/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1362.01 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 82132 0 0 0 136160 41 0 0 20 0 2 0 333728853 421376000 83659 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 83659 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1362.19 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81359 0 0 0 136157 62 0 0 20 0 2 0 333728854 421376000 83659 33554432000 4194304 5964350 140735270486864 140409497144248 4399852 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 411500
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.16 3/179 10375
/proc/meminfo: memFree=26101272/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1422 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 82132 0 0 0 142159 41 0 0 20 0 2 0 333728853 421376000 83659 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 83659 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1422.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81359 0 0 0 142157 63 0 0 20 0 2 0 333728854 421376000 83659 33554432000 4194304 5964350 140735270486864 140409497144248 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 411500
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/179 10375
/proc/meminfo: memFree=26100156/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1481.99 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 82132 0 0 0 148158 41 0 0 20 0 2 0 333728853 421376000 83659 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 83659 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1482.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81359 0 0 0 148156 64 0 0 20 0 2 0 333728854 421376000 83659 33554432000 4194304 5964350 140735270486864 140409497144248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 411500
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 10376
/proc/meminfo: memFree=26073372/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1541.98 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 82132 0 0 0 154157 41 0 0 20 0 2 0 333728853 421376000 83659 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 83659 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1542.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81359 0 0 0 154155 65 0 0 20 0 2 0 333728854 421376000 83659 33554432000 4194304 5964350 140735270486864 140409497144248 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 411500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/179 10376
/proc/meminfo: memFree=26067672/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1601.97 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 82132 0 0 0 160156 41 0 0 20 0 2 0 333728853 421376000 83659 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 83659 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1602.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81359 0 0 0 160154 66 0 0 20 0 2 0 333728854 421376000 83659 33554432000 4194304 5964350 140735270486864 140409497144248 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 411500
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/179 10376
/proc/meminfo: memFree=25962644/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1661.96 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 82132 0 0 0 166155 41 0 0 20 0 2 0 333728853 421376000 83659 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 83659 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1662.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81359 0 0 0 166153 67 0 0 20 0 2 0 333728854 421376000 83659 33554432000 4194304 5964350 140735270486864 140409497144248 4389080 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 411500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/179 10376
/proc/meminfo: memFree=25913540/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1721.95 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 82487 0 0 0 172153 42 0 0 20 0 2 0 333728853 421376000 84014 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 84014 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1722.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 81714 0 0 0 172151 69 0 0 20 0 2 0 333728854 421376000 84014 33554432000 4194304 5964350 140735270486864 140409497143288 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 411500
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889608/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1781.94 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88286 0 0 0 178146 48 0 0 20 0 2 0 333728853 421376000 89808 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89808 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1782.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87513 0 0 0 178144 76 0 0 20 0 2 0 333728854 421376000 89808 33554432000 4194304 5964350 140735270486864 140409497143096 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 411500
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889484/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1791.55 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88288 0 0 0 179107 48 0 0 20 0 2 0 333728853 421376000 89810 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89810 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1791.8 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87515 0 0 0 179104 76 0 0 20 0 2 0 333728854 421376000 89810 33554432000 4194304 5964350 140735270486864 140409497143096 4400462 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 411500
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889484/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1794.75 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88288 0 0 0 179427 48 0 0 20 0 2 0 333728853 421376000 89810 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89810 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1795 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87515 0 0 0 179424 76 0 0 20 0 2 0 333728854 421376000 89810 33554432000 4194304 5964350 140735270486864 140409497143096 4411137 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 411500
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889484/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1797.94 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88288 0 0 0 179746 48 0 0 20 0 2 0 333728853 421376000 89810 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89810 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1798.2 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87515 0 0 0 179744 76 0 0 20 0 2 0 333728854 421376000 89810 33554432000 4194304 5964350 140735270486864 140409497143096 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 411500
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889608/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1798.74 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88288 0 0 0 179826 48 0 0 20 0 2 0 333728853 421376000 89810 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89810 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1799 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87515 0 0 0 179824 76 0 0 20 0 2 0 333728854 421376000 89810 33554432000 4194304 5964350 140735270486864 140409497143096 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.74
Current children cumulated vsize (KiB) 411500
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889608/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1799.15 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88288 0 0 0 179867 48 0 0 20 0 2 0 333728853 421376000 89810 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89810 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1799.4 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87515 0 0 0 179864 76 0 0 20 0 2 0 333728854 421376000 89810 33554432000 4194304 5964350 140735270486864 140409497143096 4399962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 411500
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889608/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1799.54 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88288 0 0 0 179906 48 0 0 20 0 2 0 333728853 421376000 89810 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89810 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1799.8 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87515 0 0 0 179904 76 0 0 20 0 2 0 333728854 421376000 89810 33554432000 4194304 5964350 140735270486864 140409497143096 4399989 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.54
Current children cumulated vsize (KiB) 411500
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.09 3/179 10376
/proc/meminfo: memFree=25889608/32873648 swapFree=7368/7368
[pid=10321] ppid=10319 vsize=411500 CPUtime=1799.64 cores=1,3,5,7
/proc/10321/stat : 10321 (wbo1.72) S 10319 10321 8129 0 -1 4202496 88288 0 0 0 179916 48 0 0 20 0 2 0 333728853 421376000 89810 33554432000 4194304 5964350 140735270486864 140735270486384 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10321/statm: 102875 89810 198 433 0 102439 0
[pid=10321/tid=10322] ppid=10319 vsize=411500 CPUtime=1799.9 cores=1,3,5,7
/proc/10321/task/10322/stat : 10322 (wbo1.72) R 10319 10321 8129 0 -1 4202560 87515 0 0 0 179914 76 0 0 20 0 2 0 333728854 421376000 89810 33554432000 4194304 5964350 140735270486864 140409497143096 4399987 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (KiB) 411500
Child status: 255
Real time (s): 1800
CPU time (s): 1799.92
CPU user time (s): 1799.15
CPU system time (s): 0.772882
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 413124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.772882
maximum resident set size= 359248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88290
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= 122
involuntary context switches= 1847
runsolver used 2.54661 second user time and 7.27489 second system time
The end