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-3712849-1338182452/watcher-3712849-1338182452 -o /tmp/evaluation-result-3712849-1338182452/solver-3712849-1338182452 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712849-1338182452.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: 0.94 1.13 1.52 3/173 1255
/proc/meminfo: memFree=31395744/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=3980 CPUtime=0 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) R 1252 1255 1215 0 -1 4202496 444 0 0 0 0 0 0 0 20 0 1 0 284370892 4075520 392 33554432000 4194304 5964318 140733463516000 140736222414152 4297174 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 995 404 170 433 0 559 0
[pid=1255/tid=1260] ppid=1252 vsize=83864 CPUtime=0 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 2 0 284370892 85876736 855 33554432000 4194304 5964318 140733463516000 140736222414152 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0945569 s]
/proc/loadavg: 0.94 1.13 1.52 3/173 1255
/proc/meminfo: memFree=31395744/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=83864 CPUtime=0.08 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 1233 0 0 0 8 0 0 0 20 0 2 0 284370892 85876736 1181 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 20966 1182 194 433 0 20530 0
[pid=1255/tid=1260] ppid=1252 vsize=83864 CPUtime=0.07 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 455 0 0 0 7 0 0 0 20 0 2 0 284370892 85876736 1182 33554432000 4194304 5964318 140733463516000 140736222414152 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83864
[startup+0.100341 s]
/proc/loadavg: 0.94 1.13 1.52 3/173 1255
/proc/meminfo: memFree=31395744/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=83864 CPUtime=0.09 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 1259 0 0 0 9 0 0 0 20 0 2 0 284370892 85876736 1207 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 20966 1207 194 433 0 20530 0
[pid=1255/tid=1260] ppid=1252 vsize=83864 CPUtime=0.08 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 480 0 0 0 8 0 0 0 20 0 2 0 284370892 85876736 1207 33554432000 4194304 5964318 140733463516000 140736222414152 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) 83864
[startup+0.300257 s]
/proc/loadavg: 0.94 1.13 1.52 3/173 1255
/proc/meminfo: memFree=31395744/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=83864 CPUtime=0.29 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 1703 0 0 0 29 0 0 0 20 0 2 0 284370892 85876736 1651 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 20966 1651 194 433 0 20530 0
[pid=1255/tid=1260] ppid=1252 vsize=83864 CPUtime=0.28 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 924 0 0 0 28 0 0 0 20 0 2 0 284370892 85876736 1651 33554432000 4194304 5964318 140733463516000 140736222414152 4220672 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) 83864
[startup+0.700254 s]
/proc/loadavg: 0.94 1.13 1.52 3/173 1255
/proc/meminfo: memFree=31395744/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=83864 CPUtime=0.69 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 2371 0 0 0 69 0 0 0 20 0 2 0 284370892 85876736 2319 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 20966 2319 194 433 0 20530 0
[pid=1255/tid=1260] ppid=1252 vsize=83864 CPUtime=0.68 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 1592 0 0 0 68 0 0 0 20 0 2 0 284370892 85876736 2319 33554432000 4194304 5964318 140733463516000 140736222414152 4399982 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) 83864
[startup+1.50024 s]
/proc/loadavg: 0.94 1.13 1.52 3/180 1262
/proc/meminfo: memFree=31377948/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=83864 CPUtime=1.49 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 3408 0 0 0 148 1 0 0 20 0 2 0 284370892 85876736 3356 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 20966 3356 194 433 0 20530 0
[pid=1255/tid=1260] ppid=1252 vsize=83864 CPUtime=1.48 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 2629 0 0 0 147 1 0 0 20 0 2 0 284370892 85876736 3356 33554432000 4194304 5964318 140733463516000 139817943033848 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) 83864
[startup+3.10026 s]
/proc/loadavg: 0.94 1.13 1.52 3/180 1262
/proc/meminfo: memFree=31370500/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=84008 CPUtime=3.09 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 4086 0 0 0 308 1 0 0 20 0 2 0 284370892 86024192 4034 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 21002 4034 194 433 0 20566 0
[pid=1255/tid=1260] ppid=1252 vsize=84008 CPUtime=3.07 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 3307 0 0 0 306 1 0 0 20 0 2 0 284370892 86024192 4034 33554432000 4194304 5964318 140733463516000 139817943033656 4399991 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) 84008
[startup+6.30026 s]
/proc/loadavg: 1.03 1.15 1.52 3/180 1262
/proc/meminfo: memFree=31363804/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=84008 CPUtime=6.29 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 4425 0 0 0 628 1 0 0 20 0 2 0 284370892 86024192 4373 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 21002 4373 194 433 0 20566 0
[pid=1255/tid=1260] ppid=1252 vsize=84008 CPUtime=6.26 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 3646 0 0 0 625 1 0 0 20 0 2 0 284370892 86024192 4373 33554432000 4194304 5964318 140733463516000 139817943033848 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) 84008
[startup+12.7003 s]
/proc/loadavg: 1.10 1.16 1.53 3/179 1262
/proc/meminfo: memFree=31355208/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=84008 CPUtime=12.69 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 5067 0 0 0 1267 2 0 0 20 0 2 0 284370892 86024192 5015 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 21002 5015 194 433 0 20566 0
[pid=1255/tid=1260] ppid=1252 vsize=84008 CPUtime=12.65 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 4288 0 0 0 1263 2 0 0 20 0 2 0 284370892 86024192 5015 33554432000 4194304 5964318 140733463516000 139817943033656 4399982 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) 84008
[startup+25.5003 s]
/proc/loadavg: 1.30 1.20 1.53 3/179 1262
/proc/meminfo: memFree=31345096/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=84008 CPUtime=25.48 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 6030 0 0 0 2546 2 0 0 20 0 2 0 284370892 86024192 5978 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 21002 5978 194 433 0 20566 0
[pid=1255/tid=1260] ppid=1252 vsize=84008 CPUtime=25.41 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 5251 0 0 0 2539 2 0 0 20 0 2 0 284370892 86024192 5978 33554432000 4194304 5964318 140733463516000 139817943033848 4400001 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84008
[startup+51.1004 s]
/proc/loadavg: 1.54 1.26 1.54 3/179 1262
/proc/meminfo: memFree=31328828/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=84080 CPUtime=51.07 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 7757 0 0 0 5104 3 0 0 20 0 2 0 284370892 86097920 8069 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 21020 8069 194 433 0 20584 0
[pid=1255/tid=1260] ppid=1252 vsize=84080 CPUtime=50.94 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 6978 0 0 0 5091 3 0 0 20 0 2 0 284370892 86097920 8069 33554432000 4194304 5964318 140733463516000 139817943033848 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84080
[startup+102.307 s]
/proc/loadavg: 1.80 1.37 1.56 3/179 1262
/proc/meminfo: memFree=31311080/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=84188 CPUtime=102.27 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 10198 0 0 0 10223 4 0 0 20 0 2 0 284370892 86208512 10510 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 21047 10510 194 433 0 20611 0
[pid=1255/tid=1260] ppid=1252 vsize=84188 CPUtime=102.01 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 9419 0 0 0 10197 4 0 0 20 0 2 0 284370892 86208512 10510 33554432000 4194304 5964318 140733463516000 139817943033848 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84188
[startup+162.3 s]
/proc/loadavg: 1.92 1.49 1.59 3/179 1262
/proc/meminfo: memFree=31289044/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=84836 CPUtime=162.25 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 13104 0 0 0 16220 5 0 0 20 0 2 0 284370892 86872064 13508 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 21209 13508 194 433 0 20773 0
[pid=1255/tid=1260] ppid=1252 vsize=84836 CPUtime=161.84 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 12325 0 0 0 16177 7 0 0 20 0 2 0 284370892 86872064 13508 33554432000 4194304 5964318 140733463516000 139817943033896 4399960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 84836
[startup+222.3 s]
/proc/loadavg: 1.97 1.58 1.61 3/179 1263
/proc/meminfo: memFree=31256848/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=152044 CPUtime=222.23 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 19404 0 0 0 22216 7 0 0 20 0 2 0 284370892 155693056 19831 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 38011 19831 194 433 0 37575 0
[pid=1255/tid=1260] ppid=1252 vsize=152044 CPUtime=221.69 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 18625 0 0 0 22159 10 0 0 20 0 2 0 284370892 155693056 19831 33554432000 4194304 5964318 140733463516000 139817943033656 4221120 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) 152044
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.64 3/179 1263
/proc/meminfo: memFree=31243128/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=152908 CPUtime=282.22 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 21405 0 0 0 28212 10 0 0 20 0 2 0 284370892 156577792 21892 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 38227 21892 194 433 0 37791 0
[pid=1255/tid=1260] ppid=1252 vsize=152908 CPUtime=281.53 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 20626 0 0 0 28139 14 0 0 20 0 2 0 284370892 156577792 21892 33554432000 4194304 5964318 140733463516000 139817943033656 4400339 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) 152908
[startup+342.3 s]
/proc/loadavg: 1.99 1.71 1.65 3/178 1263
/proc/meminfo: memFree=31232840/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=153916 CPUtime=342.21 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 21737 0 0 0 34211 10 0 0 20 0 2 0 284370892 157609984 22209 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 38479 22209 194 433 0 38043 0
[pid=1255/tid=1260] ppid=1252 vsize=153916 CPUtime=341.37 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 20958 0 0 0 34122 15 0 0 20 0 2 0 284370892 157609984 22209 33554432000 4194304 5964318 140733463516000 139817943033720 4399873 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 153916
[startup+402.3 s]
/proc/loadavg: 2.04 1.78 1.68 3/180 1265
/proc/meminfo: memFree=31221964/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=154780 CPUtime=402.2 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 22011 0 0 0 40210 10 0 0 20 0 2 0 284370892 158494720 22996 33554432000 4194304 5964318 140733463516000 140733463515520 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 1.97 1.86 3/179 1275
/proc/meminfo: memFree=31038184/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=240736 CPUtime=1422.02 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 39672 0 0 0 142176 26 0 0 20 0 2 0 284370892 246513664 40638 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60184 40638 194 433 0 59748 0
[pid=1255/tid=1260] ppid=1252 vsize=240736 CPUtime=1418.59 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 38893 0 0 0 141812 47 0 0 20 0 2 0 284370892 246513664 40638 33554432000 4194304 5964318 140733463516000 139817943033896 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 240736
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/179 1275
/proc/meminfo: memFree=31033900/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=240736 CPUtime=1482 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 40401 0 0 0 148172 28 0 0 20 0 2 0 284370892 246513664 41365 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60184 41365 194 433 0 59748 0
[pid=1255/tid=1260] ppid=1252 vsize=240736 CPUtime=1478.42 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 39622 0 0 0 147792 50 0 0 20 0 2 0 284370892 246513664 41365 33554432000 4194304 5964318 140733463516000 139817943033848 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 240736
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/179 1275
/proc/meminfo: memFree=31005876/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=241204 CPUtime=1542 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 42215 0 0 0 154169 31 0 0 20 0 2 0 284370892 246992896 43179 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60301 43179 194 433 0 59865 0
[pid=1255/tid=1260] ppid=1252 vsize=241204 CPUtime=1538.27 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 41436 0 0 0 153773 54 0 0 20 0 2 0 284370892 246992896 43179 33554432000 4194304 5964318 140733463516000 139817943033848 4400013 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 241204
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 1275
/proc/meminfo: memFree=30997072/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=241780 CPUtime=1601.99 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 43805 0 0 0 160165 34 0 0 20 0 2 0 284370892 247582720 44769 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60445 44769 194 433 0 60009 0
[pid=1255/tid=1260] ppid=1252 vsize=241780 CPUtime=1598.12 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 43026 0 0 0 159754 58 0 0 20 0 2 0 284370892 247582720 44769 33554432000 4194304 5964318 140733463516000 139817943033848 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 241780
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 1275
/proc/meminfo: memFree=30988180/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242696 CPUtime=1661.98 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 45583 0 0 0 166161 37 0 0 20 0 2 0 284370892 248520704 46547 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60674 46547 194 433 0 60238 0
[pid=1255/tid=1260] ppid=1252 vsize=242696 CPUtime=1657.96 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 44804 0 0 0 165735 61 0 0 20 0 2 0 284370892 248520704 46547 33554432000 4194304 5964318 140733463516000 139817943033848 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 242696
[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 1276
/proc/meminfo: memFree=30971564/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242840 CPUtime=1721.97 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46061 0 0 0 172160 37 0 0 20 0 2 0 284370892 248668160 47025 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60710 47025 194 433 0 60274 0
[pid=1255/tid=1260] ppid=1252 vsize=242840 CPUtime=1717.81 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45282 0 0 0 171718 63 0 0 20 0 2 0 284370892 248668160 47025 33554432000 4194304 5964318 140733463516000 139817943033656 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 242840
[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963228/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242912 CPUtime=1781.95 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46079 0 0 0 178158 37 0 0 20 0 2 0 284370892 248741888 47045 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60728 47045 194 433 0 60292 0
[pid=1255/tid=1260] ppid=1252 vsize=242912 CPUtime=1777.65 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45300 0 0 0 177701 64 0 0 20 0 2 0 284370892 248741888 47045 33554432000 4194304 5964318 140733463516000 139817943033896 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 242912
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963476/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242912 CPUtime=1791.55 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46079 0 0 0 179118 37 0 0 20 0 2 0 284370892 248741888 47045 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60728 47045 194 433 0 60292 0
[pid=1255/tid=1260] ppid=1252 vsize=242912 CPUtime=1787.23 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45300 0 0 0 178659 64 0 0 20 0 2 0 284370892 248741888 47045 33554432000 4194304 5964318 140733463516000 139817943033896 4399973 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) 242912
[startup+1795.1 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963352/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242984 CPUtime=1794.75 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46101 0 0 0 179438 37 0 0 20 0 2 0 284370892 248815616 47067 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60746 47067 194 433 0 60310 0
[pid=1255/tid=1260] ppid=1252 vsize=242984 CPUtime=1790.42 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45322 0 0 0 178978 64 0 0 20 0 2 0 284370892 248815616 47067 33554432000 4194304 5964318 140733463516000 139817943033896 4399824 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) 242984
[startup+1798.3 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963104/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242984 CPUtime=1797.94 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46104 0 0 0 179757 37 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60746 47070 194 433 0 60310 0
[pid=1255/tid=1260] ppid=1252 vsize=242984 CPUtime=1793.6 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45325 0 0 0 179296 64 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 139817943033896 4221120 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) 242984
[startup+1799.1 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963104/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242984 CPUtime=1798.74 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46104 0 0 0 179837 37 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60746 47070 194 433 0 60310 0
[pid=1255/tid=1260] ppid=1252 vsize=242984 CPUtime=1794.4 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45325 0 0 0 179376 64 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 139817943033896 4220672 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) 242984
[startup+1799.5 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963104/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242984 CPUtime=1799.15 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46104 0 0 0 179878 37 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60746 47070 194 433 0 60310 0
[pid=1255/tid=1260] ppid=1252 vsize=242984 CPUtime=1794.81 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45325 0 0 0 179417 64 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 139817943033896 4399995 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) 242984
[startup+1799.9 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963104/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242984 CPUtime=1799.54 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46104 0 0 0 179917 37 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60746 47070 194 433 0 60310 0
[pid=1255/tid=1260] ppid=1252 vsize=242984 CPUtime=1795.2 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45325 0 0 0 179456 64 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 139817943033896 4399824 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) 242984
[startup+1800 s]
/proc/loadavg: 2.00 1.97 1.90 3/180 1279
/proc/meminfo: memFree=30963104/32873844 swapFree=7112/7112
[pid=1255] ppid=1252 vsize=242984 CPUtime=1799.64 cores=1,3,5,7
/proc/1255/stat : 1255 (wbo1.71) S 1252 1255 1215 0 -1 4202496 46104 0 0 0 179927 37 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 140733463515520 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1255/statm: 60746 47070 194 433 0 60310 0
[pid=1255/tid=1260] ppid=1252 vsize=242984 CPUtime=1795.3 cores=1,3,5,7
/proc/1255/task/1260/stat : 1260 (wbo1.71) R 1252 1255 1215 0 -1 4202560 45325 0 0 0 179466 64 0 0 20 0 2 0 284370892 248815616 47070 33554432000 4194304 5964318 140733463516000 139817943033896 4220672 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) 242984
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1255 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=679167
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=655900
# CPU time returned by wait4() is 1795.34
# while last known CPU time is 1799.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.64
CPU user time (s): 1799.27
CPU system time (s): 0.37
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 242984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.68
system time used= 0.6559
maximum resident set size= 188292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46107
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= 77
involuntary context switches= 2029
runsolver used 2.85656 second user time and 8.63369 second system time
The end