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-3727565-1338662253/watcher-3727565-1338662253 -o /tmp/evaluation-result-3727565-1338662253/solver-3727565-1338662253 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727565-1338662253.opb
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/177 17093
/proc/meminfo: memFree=31783348/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83584 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 748 0 0 0 0 0 0 0 20 0 2 0 332353803 85590016 698 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20896 699 189 433 0 20460 0
[pid=17093/tid=17094] ppid=17091 vsize=83584 CPUtime=0 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 332353803 85590016 699 33554432000 4194304 5964350 140735220935568 140733309044840 5136410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[startup+0.0646911 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17093
/proc/meminfo: memFree=31783348/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83584 CPUtime=0.06 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 915 0 0 0 6 0 0 0 20 0 2 0 332353803 85590016 865 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20896 865 190 433 0 20460 0
[pid=17093/tid=17094] ppid=17091 vsize=83584 CPUtime=0.05 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 210 0 0 0 5 0 0 0 20 0 2 0 332353803 85590016 865 33554432000 4194304 5964350 140735220935568 140733309044840 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83584
[startup+0.100289 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17093
/proc/meminfo: memFree=31783348/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83584 CPUtime=0.09 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 999 0 0 0 9 0 0 0 20 0 2 0 332353803 85590016 949 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20896 949 190 433 0 20460 0
[pid=17093/tid=17094] ppid=17091 vsize=83584 CPUtime=0.08 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 294 0 0 0 8 0 0 0 20 0 2 0 332353803 85590016 949 33554432000 4194304 5964350 140735220935568 140733309044840 5179527 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83584
[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17093
/proc/meminfo: memFree=31783348/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83584 CPUtime=0.29 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 1374 0 0 0 29 0 0 0 20 0 2 0 332353803 85590016 1324 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20896 1324 190 433 0 20460 0
[pid=17093/tid=17094] ppid=17091 vsize=83584 CPUtime=0.28 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 669 0 0 0 28 0 0 0 20 0 2 0 332353803 85590016 1324 33554432000 4194304 5964350 140735220935568 140733309044840 4381939 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83584
[startup+0.700257 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17093
/proc/meminfo: memFree=31783348/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83728 CPUtime=0.69 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 1690 0 0 0 69 0 0 0 20 0 2 0 332353803 85737472 1640 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20932 1640 190 433 0 20496 0
[pid=17093/tid=17094] ppid=17091 vsize=83728 CPUtime=0.68 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 985 0 0 0 68 0 0 0 20 0 2 0 332353803 85737472 1640 33554432000 4194304 5964350 140735220935568 139933557520184 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83728
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17095
/proc/meminfo: memFree=31772776/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83728 CPUtime=1.49 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 2296 0 0 0 149 0 0 0 20 0 2 0 332353803 85737472 2246 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20932 2246 190 433 0 20496 0
[pid=17093/tid=17094] ppid=17091 vsize=83728 CPUtime=1.48 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 1591 0 0 0 148 0 0 0 20 0 2 0 332353803 85737472 2246 33554432000 4194304 5964350 140735220935568 139933557520184 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83728
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17095
/proc/meminfo: memFree=31767444/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83800 CPUtime=3.09 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 3257 0 0 0 309 0 0 0 20 0 2 0 332353803 85811200 3207 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20950 3207 190 433 0 20514 0
[pid=17093/tid=17094] ppid=17091 vsize=83800 CPUtime=3.07 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 2552 0 0 0 307 0 0 0 20 0 2 0 332353803 85811200 3207 33554432000 4194304 5964350 140735220935568 139933557520424 5142878 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83800
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17095
/proc/meminfo: memFree=31751944/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=83908 CPUtime=6.28 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 4442 0 0 0 628 0 0 0 20 0 2 0 332353803 85921792 4392 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 20977 4392 190 433 0 20541 0
[pid=17093/tid=17094] ppid=17091 vsize=83908 CPUtime=6.27 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 3737 0 0 0 627 0 0 0 20 0 2 0 332353803 85921792 4392 33554432000 4194304 5964350 140735220935568 139933557520376 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83908
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17095
/proc/meminfo: memFree=31730748/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=84860 CPUtime=12.69 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 6640 0 0 0 1268 1 0 0 20 0 2 0 332353803 86896640 6590 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 21215 6590 190 433 0 20779 0
[pid=17093/tid=17094] ppid=17091 vsize=84860 CPUtime=12.65 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 5935 0 0 0 1264 1 0 0 20 0 2 0 332353803 86896640 6590 33554432000 4194304 5964350 140735220935568 139933557520376 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84860
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17095
/proc/meminfo: memFree=31708888/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=86828 CPUtime=25.48 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 9685 0 0 0 2546 2 0 0 20 0 2 0 332353803 88911872 9663 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 21707 9663 190 433 0 21271 0
[pid=17093/tid=17094] ppid=17091 vsize=86828 CPUtime=25.41 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 8980 0 0 0 2539 2 0 0 20 0 2 0 332353803 88911872 9663 33554432000 4194304 5964350 140735220935568 139933557520184 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86828
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17095
/proc/meminfo: memFree=31664592/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=89564 CPUtime=51.06 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 14968 0 0 0 5101 5 0 0 20 0 2 0 332353803 91713536 15965 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 22391 15965 190 433 0 21955 0
[pid=17093/tid=17094] ppid=17091 vsize=89564 CPUtime=50.93 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 14263 0 0 0 5088 5 0 0 20 0 2 0 332353803 91713536 15965 33554432000 4194304 5964350 140735220935568 139933557519896 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 89564
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17096
/proc/meminfo: memFree=31599988/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=158412 CPUtime=102.26 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 22526 0 0 0 10214 12 0 0 20 0 2 0 332353803 162213888 23518 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 39603 23518 190 433 0 39167 0
[pid=17093/tid=17094] ppid=17091 vsize=158412 CPUtime=102.01 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 21821 0 0 0 10188 13 0 0 20 0 2 0 332353803 162213888 23518 33554432000 4194304 5964350 140735220935568 139933557520376 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 158412
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17099
/proc/meminfo: memFree=31541344/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=160848 CPUtime=162.23 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 30422 0 0 0 16203 20 0 0 20 0 2 0 332353803 164708352 31417 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 40212 31417 190 433 0 39776 0
[pid=17093/tid=17094] ppid=17091 vsize=160848 CPUtime=161.83 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 29717 0 0 0 16162 21 0 0 20 0 2 0 332353803 164708352 31417 33554432000 4194304 5964350 140735220935568 139933557520424 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 160848
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17099
/proc/meminfo: memFree=31497144/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=230068 CPUtime=222.22 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 36802 0 0 0 22197 25 0 0 20 0 2 0 332353803 235589632 37797 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 57517 37797 190 433 0 57081 0
[pid=17093/tid=17094] ppid=17091 vsize=230068 CPUtime=221.68 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 36097 0 0 0 22140 28 0 0 20 0 2 0 332353803 235589632 37797 33554432000 4194304 5964350 140735220935568 139933557520424 4399944 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 230068
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17099
/proc/meminfo: memFree=31444256/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=231272 CPUtime=282.22 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 42020 0 0 0 28191 31 0 0 20 0 2 0 332353803 236822528 43015 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 57818 43015 190 433 0 57382 0
[pid=17093/tid=17094] ppid=17091 vsize=231272 CPUtime=281.53 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 41315 0 0 0 28119 34 0 0 20 0 2 0 332353803 236822528 43015 33554432000 4194304 5964350 140735220935568 139933557520424 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 231272
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17099
/proc/meminfo: memFree=31398480/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=232492 CPUtime=342.16 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 48329 0 0 0 34180 36 0 0 20 0 2 0 332353803 238071808 49296 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 58123 49296 190 433 0 57687 0
[pid=17093/tid=17094] ppid=17091 vsize=232492 CPUtime=341.33 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 47624 0 0 0 34092 41 0 0 20 0 2 0 332353803 238071808 49296 33554432000 4194304 5964350 140735220935568 139933557520424 4403637 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 232492
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17100
/proc/meminfo: memFree=31370208/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=233904 CPUtime=402.15 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 53382 0 0 0 40173 42 0 0 20 0 2 0 332353803 239517696 54349 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[pid=17093/tid=17094] ppid=17091 vsize=508432 CPUtime=1119.28 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 106741 0 0 0 111806 122 0 0 20 0 2 0 332353803 520634368 108382 33554432000 4194304 5964350 140735220935568 139933557520424 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 508432
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17106
/proc/meminfo: memFree=30972620/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=508672 CPUtime=1181.97 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 108104 0 0 0 118091 106 0 0 20 0 2 0 332353803 520880128 109040 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 127168 109040 190 433 0 126732 0
[pid=17093/tid=17094] ppid=17091 vsize=508672 CPUtime=1179.13 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 107399 0 0 0 117790 123 0 0 20 0 2 0 332353803 520880128 109040 33554432000 4194304 5964350 140735220935568 139933557520424 4399958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 508672
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17106
/proc/meminfo: memFree=30938520/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=509780 CPUtime=1241.96 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 113337 0 0 0 124085 111 0 0 20 0 2 0 332353803 522014720 114273 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 127445 114273 190 433 0 127009 0
[pid=17093/tid=17094] ppid=17091 vsize=509780 CPUtime=1238.97 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 112632 0 0 0 123768 129 0 0 20 0 2 0 332353803 522014720 114273 33554432000 4194304 5964350 140735220935568 139933557519896 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 509780
[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 17107
/proc/meminfo: memFree=30926536/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=512340 CPUtime=1301.96 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 115981 0 0 0 130082 114 0 0 20 0 2 0 332353803 524636160 116914 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 128085 116914 190 433 0 127649 0
[pid=17093/tid=17094] ppid=17091 vsize=512340 CPUtime=1298.82 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 115276 0 0 0 129749 133 0 0 20 0 2 0 332353803 524636160 116914 33554432000 4194304 5964350 140735220935568 139933557520008 4379323 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 512340
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/180 17110
/proc/meminfo: memFree=30912428/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=512340 CPUtime=1361.9 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 118067 0 0 0 136074 116 0 0 20 0 2 0 332353803 524636160 118960 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 128085 118960 190 433 0 127649 0
[pid=17093/tid=17094] ppid=17091 vsize=512340 CPUtime=1358.62 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 117362 0 0 0 135726 136 0 0 20 0 2 0 332353803 524636160 118960 33554432000 4194304 5964350 140735220935568 139933557520424 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 512340
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 17133
/proc/meminfo: memFree=30872128/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=512848 CPUtime=1421.89 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 122457 0 0 0 142068 121 0 0 20 0 2 0 332353803 525156352 123350 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 128212 123350 190 433 0 127776 0
[pid=17093/tid=17094] ppid=17091 vsize=512848 CPUtime=1418.47 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 121752 0 0 0 141705 142 0 0 20 0 2 0 332353803 525156352 123350 33554432000 4194304 5964350 140735220935568 139933557519896 4379216 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 512848
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17133
/proc/meminfo: memFree=30859300/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=579144 CPUtime=1481.87 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 124033 0 0 0 148064 123 0 0 20 0 2 0 332353803 593043456 125090 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 144786 125090 190 433 0 144350 0
[pid=17093/tid=17094] ppid=17091 vsize=579144 CPUtime=1478.31 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 123328 0 0 0 147686 145 0 0 20 0 2 0 332353803 593043456 125090 33554432000 4194304 5964350 140735220935568 139933557519896 4378928 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 579144
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17133
/proc/meminfo: memFree=30828796/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=580172 CPUtime=1541.86 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 127710 0 0 0 154059 127 0 0 20 0 2 0 332353803 594096128 128767 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 145043 128767 190 433 0 144607 0
[pid=17093/tid=17094] ppid=17091 vsize=580172 CPUtime=1538.16 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 127005 0 0 0 153666 150 0 0 20 0 2 0 332353803 594096128 128767 33554432000 4194304 5964350 140735220935568 139933557519896 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 580172
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17133
/proc/meminfo: memFree=30801164/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=580932 CPUtime=1601.85 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 131555 0 0 0 160054 131 0 0 20 0 2 0 332353803 594874368 132612 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 145233 132612 190 433 0 144797 0
[pid=17093/tid=17094] ppid=17091 vsize=580932 CPUtime=1598.01 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 130850 0 0 0 159646 155 0 0 20 0 2 0 332353803 594874368 132612 33554432000 4194304 5964350 140735220935568 139933557519896 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 580932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17134
/proc/meminfo: memFree=30786052/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=580932 CPUtime=1661.84 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 135286 0 0 0 166049 135 0 0 20 0 2 0 332353803 594874368 136343 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 145233 136343 190 433 0 144797 0
[pid=17093/tid=17094] ppid=17091 vsize=580932 CPUtime=1657.86 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 134581 0 0 0 165626 160 0 0 20 0 2 0 332353803 594874368 136343 33554432000 4194304 5964350 140735220935568 139933557520424 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 580932
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17134
/proc/meminfo: memFree=30766212/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=580932 CPUtime=1721.84 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 137642 0 0 0 172046 138 0 0 20 0 2 0 332353803 594874368 138699 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 145233 138699 190 433 0 144797 0
[pid=17093/tid=17094] ppid=17091 vsize=580932 CPUtime=1717.7 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 136937 0 0 0 171606 164 0 0 20 0 2 0 332353803 594874368 138699 33554432000 4194304 5964350 140735220935568 139933557520424 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 580932
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17134
/proc/meminfo: memFree=30737196/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=647368 CPUtime=1781.83 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 141332 0 0 0 178040 143 0 0 20 0 2 0 332353803 662904832 142389 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 161842 142389 190 433 0 161406 0
[pid=17093/tid=17094] ppid=17091 vsize=647368 CPUtime=1777.55 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 140627 0 0 0 177586 169 0 0 20 0 2 0 332353803 662904832 142389 33554432000 4194304 5964350 140735220935568 139933557519896 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 647368
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17173
/proc/meminfo: memFree=31186864/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=647368 CPUtime=1800.04 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 141928 0 0 0 179860 144 0 0 20 0 2 0 332353803 662904832 142985 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 161842 142985 190 433 0 161406 0
[pid=17093/tid=17094] ppid=17091 vsize=647368 CPUtime=1795.71 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 141223 0 0 0 179400 171 0 0 20 0 2 0 332353803 662904832 142985 33554432000 4194304 5964350 140735220935568 139933557520376 4378912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 647368
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17173
/proc/meminfo: memFree=31186864/32873844 swapFree=8656/8656
[pid=17093] ppid=17091 vsize=647368 CPUtime=1800.04 cores=0,2,4,6
/proc/17093/stat : 17093 (wbo1.72) S 17091 17093 14738 0 -1 4202496 141928 0 0 0 179860 144 0 0 20 0 2 0 332353803 662904832 142985 33554432000 4194304 5964350 140735220935568 140735220935088 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17093/statm: 161842 142985 190 433 0 161406 0
[pid=17093/tid=17094] ppid=17091 vsize=647368 CPUtime=1795.71 cores=0,2,4,6
/proc/17093/task/17094/stat : 17094 (wbo1.72) R 17091 17093 14738 0 -1 4202560 141223 0 0 0 179400 171 0 0 20 0 2 0 332353803 662904832 142985 33554432000 4194304 5964350 140735220935568 139933557520376 4378912 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 647368
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17093 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=7269
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=730736
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.04
CPU user time (s): 1798.6
CPU system time (s): 1.44
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 647368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.01
system time used= 1.73074
maximum resident set size= 571944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141929
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= 190
involuntary context switches= 1914
runsolver used 3.66044 second user time and 9.2046 second system time
The end