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-3712894-1338202255/watcher-3712894-1338202255 -o /tmp/evaluation-result-3712894-1338202255/solver-3712894-1338202255 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712894-1338202255.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2613
/proc/meminfo: memFree=31108684/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=3392 CPUtime=0 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) R 2611 2613 1215 0 -1 4202496 350 0 0 0 0 0 0 0 20 0 1 0 286351169 3473408 303 33554432000 4194304 5964318 140736153738368 140733673911928 4342708 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 848 303 169 433 0 389 0
[startup+0.0678961 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2613
/proc/meminfo: memFree=31108684/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=84208 CPUtime=0.06 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 1363 0 0 0 6 0 0 0 20 0 2 0 286351169 86228992 1293 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 21052 1293 194 433 0 20616 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 84208
[startup+0.100161 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2613
/proc/meminfo: memFree=31108684/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=84208 CPUtime=0.09 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 1467 0 0 0 9 0 0 0 20 0 2 0 286351169 86228992 1397 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 21052 1397 194 433 0 20616 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84208
[startup+0.300113 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2613
/proc/meminfo: memFree=31108684/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=84208 CPUtime=0.29 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 2023 0 0 0 29 0 0 0 20 0 2 0 286351169 86228992 1953 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 21052 1953 194 433 0 20616 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84208
[startup+0.700117 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2613
/proc/meminfo: memFree=31108684/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=84352 CPUtime=0.69 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 2646 0 0 0 69 0 0 0 20 0 2 0 286351169 86376448 2576 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 21088 2576 194 433 0 20652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84352
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2615
/proc/meminfo: memFree=31097276/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=84352 CPUtime=1.49 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 3701 0 0 0 148 1 0 0 20 0 2 0 286351169 86376448 3631 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 21088 3631 194 433 0 20652 0
[pid=2613/tid=2615] ppid=2611 vsize=84352 CPUtime=1.47 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 2844 0 0 0 147 0 0 0 20 0 2 0 286351170 86376448 3631 33554432000 4194304 5964318 140736153738368 140045772478456 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84352
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2615
/proc/meminfo: memFree=31091456/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=84424 CPUtime=3.09 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 6101 0 0 0 308 1 0 0 20 0 2 0 286351169 86450176 6031 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 21106 6031 194 433 0 20670 0
[pid=2613/tid=2615] ppid=2611 vsize=84424 CPUtime=3.07 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 5244 0 0 0 306 1 0 0 20 0 2 0 286351170 86450176 6031 33554432000 4194304 5964318 140736153738368 140045772478456 4400616 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84424
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2615
/proc/meminfo: memFree=31066532/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=84424 CPUtime=6.28 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 12500 0 0 0 626 2 0 0 20 0 2 0 286351169 86450176 12430 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 21106 12430 194 433 0 20670 0
[pid=2613/tid=2615] ppid=2611 vsize=84424 CPUtime=6.26 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 11643 0 0 0 624 2 0 0 20 0 2 0 286351170 86450176 12430 33554432000 4194304 5964318 140736153738368 140045772478456 4399816 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84424
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 2615
/proc/meminfo: memFree=31033324/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=150068 CPUtime=12.69 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 19584 0 0 0 1264 5 0 0 20 0 2 0 286351169 153669632 19514 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 37517 19516 194 433 0 37081 0
[pid=2613/tid=2615] ppid=2611 vsize=150068 CPUtime=12.64 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 18729 0 0 0 1259 5 0 0 20 0 2 0 286351170 153669632 19516 33554432000 4194304 5964318 140736153738368 140045772478504 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 150068
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 2615
/proc/meminfo: memFree=30971324/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=215764 CPUtime=25.49 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 34425 0 0 0 2539 10 0 0 20 0 2 0 286351169 220942336 34355 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 53941 34355 194 433 0 53505 0
[pid=2613/tid=2615] ppid=2611 vsize=215764 CPUtime=25.41 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 33568 0 0 0 2532 9 0 0 20 0 2 0 286351170 220942336 34355 33554432000 4194304 5964318 140736153738368 140045772478456 4399980 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 215764
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 2615
/proc/meminfo: memFree=30898412/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=281540 CPUtime=51.08 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 52213 0 0 0 5093 15 0 0 20 0 2 0 286351169 288296960 52143 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 70385 52143 194 433 0 69949 0
[pid=2613/tid=2615] ppid=2611 vsize=281540 CPUtime=50.94 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 51356 0 0 0 5079 15 0 0 20 0 2 0 286351170 288296960 52143 33554432000 4194304 5964318 140736153738368 140045772478456 4399942 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 281540
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2615
/proc/meminfo: memFree=30823372/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=281540 CPUtime=102.28 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 65423 0 0 0 10210 18 0 0 20 0 2 0 286351169 288296960 65325 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 70385 65325 194 433 0 69949 0
[pid=2613/tid=2615] ppid=2611 vsize=281540 CPUtime=102.01 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 64566 0 0 0 10182 19 0 0 20 0 2 0 286351170 288296960 65325 33554432000 4194304 5964318 140736153738368 140045772478488 4399922 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 281540
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2615
/proc/meminfo: memFree=30731676/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=412900 CPUtime=162.23 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 86107 0 0 0 16201 22 0 0 20 0 2 0 286351169 422809600 86004 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 103225 86004 194 433 0 102789 0
[pid=2613/tid=2615] ppid=2611 vsize=412900 CPUtime=161.82 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 85250 0 0 0 16158 24 0 0 20 0 2 0 286351170 422809600 86004 33554432000 4194304 5964318 140736153738368 140045772478456 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 412900
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2615
/proc/meminfo: memFree=30700132/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=412900 CPUtime=222.18 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 88144 0 0 0 22196 22 0 0 20 0 2 0 286351169 422809600 88032 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 103225 88032 194 433 0 102789 0
[pid=2613/tid=2615] ppid=2611 vsize=412900 CPUtime=221.62 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 87287 0 0 0 22137 25 0 0 20 0 2 0 286351170 422809600 88032 33554432000 4194304 5964318 140736153738368 140045772478456 4399993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 412900
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2616
/proc/meminfo: memFree=30643384/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=412900 CPUtime=282.13 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 98281 0 0 0 28188 25 0 0 20 0 2 0 286351169 422809600 98141 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 103225 98141 194 433 0 102789 0
[pid=2613/tid=2615] ppid=2611 vsize=412900 CPUtime=281.42 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 97424 0 0 0 28113 29 0 0 20 0 2 0 286351170 422809600 98141 33554432000 4194304 5964318 140736153738368 140045772478456 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 412900
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2616
/proc/meminfo: memFree=30520424/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=544836 CPUtime=342.09 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 128349 0 0 0 34174 35 0 0 20 0 2 0 286351169 557912064 128380 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 136209 128380 194 433 0 135773 0
[pid=2613/tid=2615] ppid=2611 vsize=544836 CPUtime=341.24 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 127492 0 0 0 34084 40 0 0 20 0 2 0 286351170 557912064 128380 33554432000 4194304 5964318 140736153738368 140045772478456 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 544836
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2616
/proc/meminfo: memFree=30520540/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=544836 CPUtime=402.08 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 128349 0 0 0 40173 35 0 0 20 0 2 0 286351169 557912064 128380 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 136209 128380 194 433 0 135773 0
[pid=2613/tid=2615] ppid=2611 vsize=544836 CPUtime=401.08 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 127492 0 0 0 40067 41 0 0 20 0 2 0 286351170 557912064 128380 33554432000 4194304 5964318 140736153738368 140045772478456 4399982 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 544836
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2616
/proc/meminfo: memFree=30504368/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=544836 CPUtime=462.08 cores=0,2,4,6
################
# More data... #
################
[startup+702.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 2643
/proc/meminfo: memFree=30330620/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=676340 CPUtime=701.96 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 164897 0 0 0 70148 48 0 0 20 0 2 0 286351169 692572160 164880 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 169085 164880 194 433 0 168649 0
[pid=2613/tid=2615] ppid=2611 vsize=676340 CPUtime=700.2 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 164040 0 0 0 69962 58 0 0 20 0 2 0 286351170 692572160 164880 33554432000 4194304 5964318 140736153738368 140045772478456 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 676340
[startup+762.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 2643
/proc/meminfo: memFree=30330576/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=676340 CPUtime=761.94 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 164913 0 0 0 76146 48 0 0 20 0 2 0 286351169 692572160 164884 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 169085 164884 194 433 0 168649 0
[pid=2613/tid=2615] ppid=2611 vsize=676340 CPUtime=760.04 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 164056 0 0 0 75945 59 0 0 20 0 2 0 286351170 692572160 164884 33554432000 4194304 5964318 140736153738368 140045772478456 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 676340
[startup+822.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 2643
/proc/meminfo: memFree=30328528/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=676340 CPUtime=821.93 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 164913 0 0 0 82145 48 0 0 20 0 2 0 286351169 692572160 164884 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 169085 164884 194 433 0 168649 0
[pid=2613/tid=2615] ppid=2611 vsize=676340 CPUtime=819.88 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 164056 0 0 0 81928 60 0 0 20 0 2 0 286351170 692572160 164884 33554432000 4194304 5964318 140736153738368 140045772478456 4399873 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 676340
[startup+882.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 2644
/proc/meminfo: memFree=30277812/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=742308 CPUtime=881.92 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 172882 0 0 0 88141 51 0 0 20 0 2 0 286351169 760123392 172853 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 185577 172853 194 433 0 185141 0
[pid=2613/tid=2615] ppid=2611 vsize=742308 CPUtime=879.72 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 172025 0 0 0 87908 64 0 0 20 0 2 0 286351170 760123392 172853 33554432000 4194304 5964318 140736153738368 140045772478456 4399856 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 742308
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30592360/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=743172 CPUtime=941.9 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181023 0 0 0 94137 53 0 0 20 0 2 0 286351169 761008128 181495 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 185793 181495 194 433 0 185357 0
[pid=2613/tid=2615] ppid=2611 vsize=743172 CPUtime=939.56 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180166 0 0 0 93889 67 0 0 20 0 2 0 286351170 761008128 181495 33554432000 4194304 5964318 140736153738368 140045772478456 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 743172
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30434128/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=743352 CPUtime=1001.89 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181071 0 0 0 100136 53 0 0 20 0 2 0 286351169 761192448 181543 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 185838 181543 194 433 0 185402 0
[pid=2613/tid=2615] ppid=2611 vsize=743352 CPUtime=999.41 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180214 0 0 0 99873 68 0 0 20 0 2 0 286351170 761192448 181543 33554432000 4194304 5964318 140736153738368 140045772478504 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 743352
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30396860/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1061.88 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 106134 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1059.24 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 105854 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4399995 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 739568
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30384448/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1074.68 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 107414 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1072.01 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 107131 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4379024 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1074.68
Current children cumulated vsize (KiB) 739568
[startup+1078.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30376636/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1077.88 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 107734 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1075.2 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 107450 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1077.88
Current children cumulated vsize (KiB) 739568
[startup+1079.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30373908/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1079.48 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 107894 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1076.79 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 107609 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1079.48
Current children cumulated vsize (KiB) 739568
[startup+1081.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30366220/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1081.08 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 108054 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1078.39 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 107769 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4381624 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1081.08
Current children cumulated vsize (KiB) 739568
[startup+1082.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30362376/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1081.88 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 108134 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1079.19 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 107849 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1081.88
Current children cumulated vsize (KiB) 739568
[startup+1082.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30362376/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1082.28 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 108174 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1079.59 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 107889 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4400001 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1082.28
Current children cumulated vsize (KiB) 739568
[startup+1082.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2683
/proc/meminfo: memFree=30362376/32873844 swapFree=7112/7112
[pid=2613] ppid=2611 vsize=739568 CPUtime=1082.38 cores=0,2,4,6
/proc/2613/stat : 2613 (wbo1.71) S 2611 2613 1215 0 -1 4202496 181085 0 0 0 108184 54 0 0 20 0 2 0 286351169 757317632 169952 33554432000 4194304 5964318 140736153738368 140736153737888 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2613/statm: 184892 169952 198 433 0 184456 0
[pid=2613/tid=2615] ppid=2611 vsize=739568 CPUtime=1079.69 cores=0,2,4,6
/proc/2613/task/2615/stat : 2615 (wbo1.71) R 2611 2613 1215 0 -1 4202560 180228 0 0 0 107899 70 0 0 20 0 2 0 286351170 757317632 169952 33554432000 4194304 5964318 140736153738368 140045772479416 4399830 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1082.38
Current children cumulated vsize (KiB) 739568
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2613 and gives
# childrusage.ru_utime.tv_sec=1079
# childrusage.ru_utime.tv_usec=62957
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=712891
# CPU time returned by wait4() is 1079.78
# while last known CPU time is 1082.38
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1082.86
CPU time (s): 1082.38
CPU user time (s): 1081.84
CPU system time (s): 0.54
CPU usage (%): 99.9555
Max. virtual memory (cumulated for all children) (KiB): 743352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1079.06
system time used= 0.712891
maximum resident set size= 726192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181088
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= 278
involuntary context switches= 1217
runsolver used 1.63775 second user time and 4.27335 second system time
The end