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-3712937-1338195054/watcher-3712937-1338195054 -o /tmp/evaluation-result-3712937-1338195054/solver-3712937-1338195054 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712937-1338195054.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: 2.07 2.02 2.00 3/178 2036
/proc/meminfo: memFree=31386976/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=83976 CPUtime=0 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 950 0 0 0 0 0 0 0 20 0 2 0 285631080 85991424 897 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 20994 897 192 433 0 20558 0
[pid=2036/tid=2037] ppid=2034 vsize=83976 CPUtime=0 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 2 0 285631080 85991424 897 33554432000 4194304 5964318 140737449071504 140736769498360 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0749719 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 2036
/proc/meminfo: memFree=31386976/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=83976 CPUtime=0.06 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 1173 0 0 0 6 0 0 0 20 0 2 0 285631080 85991424 1120 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 20994 1120 194 433 0 20558 0
[pid=2036/tid=2037] ppid=2034 vsize=83976 CPUtime=0.06 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 383 0 0 0 6 0 0 0 20 0 2 0 285631080 85991424 1120 33554432000 4194304 5964318 140737449071504 140736769498360 4381942 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83976
[startup+0.100251 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 2036
/proc/meminfo: memFree=31386976/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=83976 CPUtime=0.09 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 1244 0 0 0 9 0 0 0 20 0 2 0 285631080 85991424 1191 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 20994 1191 194 433 0 20558 0
[pid=2036/tid=2037] ppid=2034 vsize=83976 CPUtime=0.08 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 454 0 0 0 8 0 0 0 20 0 2 0 285631080 85991424 1191 33554432000 4194304 5964318 140737449071504 140736769498360 5136324 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) 83976
[startup+0.300255 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 2036
/proc/meminfo: memFree=31386976/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=83976 CPUtime=0.29 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 1758 0 0 0 29 0 0 0 20 0 2 0 285631080 85991424 1705 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 20994 1705 194 433 0 20558 0
[pid=2036/tid=2037] ppid=2034 vsize=83976 CPUtime=0.28 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 968 0 0 0 28 0 0 0 20 0 2 0 285631080 85991424 1705 33554432000 4194304 5964318 140737449071504 140736769498360 5136324 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) 83976
[startup+0.70025 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 2036
/proc/meminfo: memFree=31386976/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=83976 CPUtime=0.69 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 2590 0 0 0 68 1 0 0 20 0 2 0 285631080 85991424 2537 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 20994 2537 194 433 0 20558 0
[pid=2036/tid=2037] ppid=2034 vsize=83976 CPUtime=0.68 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 1800 0 0 0 68 0 0 0 20 0 2 0 285631080 85991424 2537 33554432000 4194304 5964318 140737449071504 140736769498360 4399995 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) 83976
[startup+1.50025 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 2038
/proc/meminfo: memFree=31368360/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=83976 CPUtime=1.49 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 4067 0 0 0 148 1 0 0 20 0 2 0 285631080 85991424 4014 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 20994 4014 194 433 0 20558 0
[pid=2036/tid=2037] ppid=2034 vsize=83976 CPUtime=1.48 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 3277 0 0 0 146 2 0 0 20 0 2 0 285631080 85991424 4014 33554432000 4194304 5964318 140737449071504 140725311133496 4399995 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) 83976
[startup+3.10025 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 2038
/proc/meminfo: memFree=31357448/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=84120 CPUtime=3.09 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 5329 0 0 0 307 2 0 0 20 0 2 0 285631080 86138880 5276 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 21030 5277 194 433 0 20594 0
[pid=2036/tid=2037] ppid=2034 vsize=84120 CPUtime=3.08 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 4540 0 0 0 306 2 0 0 20 0 2 0 285631080 86138880 5277 33554432000 4194304 5964318 140737449071504 140725311133688 5136324 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) 84120
[startup+6.30026 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 2038
/proc/meminfo: memFree=31344072/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=84192 CPUtime=6.29 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 7074 0 0 0 627 2 0 0 20 0 2 0 285631080 86212608 7021 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 21048 7021 194 433 0 20612 0
[pid=2036/tid=2037] ppid=2034 vsize=84192 CPUtime=6.26 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 6284 0 0 0 624 2 0 0 20 0 2 0 285631080 86212608 7021 33554432000 4194304 5964318 140737449071504 140725311133688 4400019 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) 84192
[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 2038
/proc/meminfo: memFree=31326132/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=84192 CPUtime=12.69 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 10513 0 0 0 1266 3 0 0 20 0 2 0 285631080 86212608 10460 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 21048 10460 194 433 0 20612 0
[pid=2036/tid=2037] ppid=2034 vsize=84192 CPUtime=12.65 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 9723 0 0 0 1262 3 0 0 20 0 2 0 285631080 86212608 10460 33554432000 4194304 5964318 140737449071504 140725311133496 4399991 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) 84192
[startup+25.5003 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 2038
/proc/meminfo: memFree=31295404/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=149996 CPUtime=25.47 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 17902 0 0 0 2542 5 0 0 20 0 2 0 285631080 153595904 17841 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 37499 17841 194 433 0 37063 0
[pid=2036/tid=2037] ppid=2034 vsize=149996 CPUtime=25.41 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 17112 0 0 0 2536 5 0 0 20 0 2 0 285631080 153595904 17841 33554432000 4194304 5964318 140737449071504 140725311133688 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 149996
[startup+51.1003 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 2038
/proc/meminfo: memFree=31268200/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=149996 CPUtime=51.05 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 23603 0 0 0 5098 7 0 0 20 0 2 0 285631080 153595904 23539 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 37499 23539 194 433 0 37063 0
[pid=2036/tid=2037] ppid=2034 vsize=149996 CPUtime=50.92 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 22813 0 0 0 5085 7 0 0 20 0 2 0 285631080 153595904 23539 33554432000 4194304 5964318 140737449071504 140725311133736 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 149996
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 2039
/proc/meminfo: memFree=31195884/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=150236 CPUtime=102.25 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 31953 0 0 0 10215 10 0 0 20 0 2 0 285631080 153841664 32158 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 37559 32158 194 433 0 37123 0
[pid=2036/tid=2037] ppid=2034 vsize=150236 CPUtime=101.99 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 31163 0 0 0 10189 10 0 0 20 0 2 0 285631080 153841664 32158 33554432000 4194304 5964318 140737449071504 140725311133688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 150236
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2039
/proc/meminfo: memFree=31154400/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=216492 CPUtime=162.22 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 38597 0 0 0 16209 13 0 0 20 0 2 0 285631080 221687808 38879 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 54123 38879 194 433 0 53687 0
[pid=2036/tid=2037] ppid=2034 vsize=216492 CPUtime=161.82 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 37807 0 0 0 16167 15 0 0 20 0 2 0 285631080 221687808 38879 33554432000 4194304 5964318 140737449071504 140725311133496 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 216492
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2039
/proc/meminfo: memFree=31077864/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=285556 CPUtime=222.16 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 53994 0 0 0 22196 20 0 0 20 0 2 0 285631080 292409344 54463 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 71389 54463 194 433 0 70953 0
[pid=2036/tid=2037] ppid=2034 vsize=285556 CPUtime=221.62 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 53204 0 0 0 22139 23 0 0 20 0 2 0 285631080 292409344 54463 33554432000 4194304 5964318 140737449071504 140725311133496 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 285556
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 2039
/proc/meminfo: memFree=31055916/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=285556 CPUtime=282.15 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 56004 0 0 0 28194 21 0 0 20 0 2 0 285631080 292409344 56473 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 71389 56473 194 433 0 70953 0
[pid=2036/tid=2037] ppid=2034 vsize=285556 CPUtime=281.47 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 55214 0 0 0 28122 25 0 0 20 0 2 0 285631080 292409344 56473 33554432000 4194304 5964318 140737449071504 140725311133688 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 285556
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2039
/proc/meminfo: memFree=31015216/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=286492 CPUtime=342.14 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 65653 0 0 0 34187 27 0 0 20 0 2 0 285631080 293367808 66122 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 71623 66122 194 433 0 71187 0
[pid=2036/tid=2037] ppid=2034 vsize=286492 CPUtime=341.32 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 64863 0 0 0 34100 32 0 0 20 0 2 0 285631080 293367808 66122 33554432000 4194304 5964318 140737449071504 140725311133496 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 286492
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 2040
/proc/meminfo: memFree=31007348/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=286492 CPUtime=402.11 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 65687 0 0 0 40184 27 0 0 20 0 2 0 285631080 293367808 66209 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2072
/proc/meminfo: memFree=30727160/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=505120 CPUtime=1421.88 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 115629 0 0 0 142132 56 0 0 20 0 2 0 285631080 517242880 116769 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 126280 116769 194 433 0 125844 0
[pid=2036/tid=2037] ppid=2034 vsize=505120 CPUtime=1418.46 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 114839 0 0 0 141769 77 0 0 20 0 2 0 285631080 517242880 116769 33554432000 4194304 5964318 140737449071504 140725311133736 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 505120
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2072
/proc/meminfo: memFree=30714760/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=508428 CPUtime=1481.87 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 116294 0 0 0 148131 56 0 0 20 0 2 0 285631080 520630272 117434 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 127107 117434 194 433 0 126671 0
[pid=2036/tid=2037] ppid=2034 vsize=508428 CPUtime=1478.3 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 115504 0 0 0 147752 78 0 0 20 0 2 0 285631080 520630272 117434 33554432000 4194304 5964318 140737449071504 140725311133736 4399973 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 508428
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2072
/proc/meminfo: memFree=30663672/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=576680 CPUtime=1541.86 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 126812 0 0 0 154122 64 0 0 20 0 2 0 285631080 590520320 127952 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 144170 127952 194 433 0 143734 0
[pid=2036/tid=2037] ppid=2034 vsize=576680 CPUtime=1538.14 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 126022 0 0 0 153727 87 0 0 20 0 2 0 285631080 590520320 127952 33554432000 4194304 5964318 140737449071504 140725311133688 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 576680
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2072
/proc/meminfo: memFree=30658588/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=577760 CPUtime=1601.85 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 127437 0 0 0 160121 64 0 0 20 0 2 0 285631080 591626240 128577 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 144440 128577 194 433 0 144004 0
[pid=2036/tid=2037] ppid=2034 vsize=577760 CPUtime=1597.99 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 126647 0 0 0 159711 88 0 0 20 0 2 0 285631080 591626240 128577 33554432000 4194304 5964318 140737449071504 140725311133736 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 577760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2073
/proc/meminfo: memFree=30642652/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=581192 CPUtime=1661.84 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 128185 0 0 0 166119 65 0 0 20 0 2 0 285631080 595140608 129327 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 145298 129327 194 433 0 144862 0
[pid=2036/tid=2037] ppid=2034 vsize=581192 CPUtime=1657.83 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 127395 0 0 0 165694 89 0 0 20 0 2 0 285631080 595140608 129327 33554432000 4194304 5964318 140737449071504 140725311133736 4379307 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 581192
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2073
/proc/meminfo: memFree=30609944/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=581336 CPUtime=1721.83 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 134240 0 0 0 172115 68 0 0 20 0 2 0 285631080 595288064 135382 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 145334 135382 194 433 0 144898 0
[pid=2036/tid=2037] ppid=2034 vsize=581336 CPUtime=1717.68 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 133450 0 0 0 171674 94 0 0 20 0 2 0 285631080 595288064 135382 33554432000 4194304 5964318 140737449071504 140725311133688 4220675 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 581336
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 2076
/proc/meminfo: memFree=30567528/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1781.82 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142181 0 0 0 178108 74 0 0 20 0 2 0 285631080 664977408 143323 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143323 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1777.53 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141391 0 0 0 177652 101 0 0 20 0 2 0 285631080 664977408 143323 33554432000 4194304 5964318 140737449071504 140725311133688 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 649392
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 2076
/proc/meminfo: memFree=30566272/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1791.42 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142191 0 0 0 179068 74 0 0 20 0 2 0 285631080 664977408 143328 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143328 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1787.1 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141401 0 0 0 178609 101 0 0 20 0 2 0 285631080 664977408 143328 33554432000 4194304 5964318 140737449071504 140725311133688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 649392
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 2076
/proc/meminfo: memFree=30565652/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1794.62 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142193 0 0 0 179388 74 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143330 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1790.29 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141403 0 0 0 178928 101 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140725311133688 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 649392
[startup+1798.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 2076
/proc/meminfo: memFree=30565404/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1797.81 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142193 0 0 0 179707 74 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143330 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1793.48 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141403 0 0 0 179247 101 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140725311133688 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 649392
[startup+1799.1 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 2076
/proc/meminfo: memFree=30565156/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1798.61 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142193 0 0 0 179787 74 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143330 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1794.28 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141403 0 0 0 179327 101 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140725311133688 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 649392
[startup+1799.5 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 2076
/proc/meminfo: memFree=30565032/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1799.02 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142193 0 0 0 179828 74 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143330 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1794.68 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141403 0 0 0 179367 101 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140725311133688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 649392
[startup+1799.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 2076
/proc/meminfo: memFree=30565032/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1799.41 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142193 0 0 0 179867 74 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143330 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1795.07 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141403 0 0 0 179406 101 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140725311133688 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 649392
[startup+1800 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 2076
/proc/meminfo: memFree=30565032/32873844 swapFree=7112/7112
[pid=2036] ppid=2034 vsize=649392 CPUtime=1799.51 cores=1,3,5,7
/proc/2036/stat : 2036 (wbo1.71) S 2034 2036 1215 0 -1 4202496 142193 0 0 0 179877 74 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140737449071024 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2036/statm: 162348 143330 194 433 0 161912 0
[pid=2036/tid=2037] ppid=2034 vsize=649392 CPUtime=1795.17 cores=1,3,5,7
/proc/2036/task/2037/stat : 2037 (wbo1.71) R 2034 2036 1215 0 -1 4202560 141403 0 0 0 179416 101 0 0 20 0 2 0 285631080 664977408 143330 33554432000 4194304 5964318 140737449071504 140725311133688 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 649392
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2036 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=179243
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=32842
# CPU time returned by wait4() is 1795.21
# while last known CPU time is 1799.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.51
CPU user time (s): 1798.77
CPU system time (s): 0.74
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 649392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 1.03284
maximum resident set size= 573332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142196
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= 1962
runsolver used 2.57261 second user time and 7.2519 second system time
The end