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-3727972-1338667319/watcher-3727972-1338667319 -o /tmp/evaluation-result-3727972-1338667319/solver-3727972-1338667319 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727972-1338667319.opb
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.01 2.01 2.00 2/177 26341
/proc/meminfo: memFree=28301904/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=3820 CPUtime=0 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) R 26339 26341 25884 0 -1 4202496 457 0 0 0 0 0 0 0 20 0 1 0 332857256 3911680 409 33554432000 4194304 5964350 140736084370176 140734143102680 5136410 0 0 4096 16387 0 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 955 410 176 433 0 490 0
[startup+0.0115809 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 26341
/proc/meminfo: memFree=28301904/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=0 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 1083 0 0 0 0 0 0 0 20 0 2 0 332857256 86712320 1006 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 1006 177 433 0 20734 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 84680
[startup+0.100249 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 26341
/proc/meminfo: memFree=28301904/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=0.09 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 1693 0 0 0 9 0 0 0 20 0 2 0 332857256 86712320 1616 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 1616 194 433 0 20734 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84680
[startup+0.300209 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 26341
/proc/meminfo: memFree=28301904/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=0.29 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 1782 0 0 0 29 0 0 0 20 0 2 0 332857256 86712320 1705 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 1705 194 433 0 20734 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84680
[startup+0.700217 s]
/proc/loadavg: 2.01 2.01 2.00 2/177 26341
/proc/meminfo: memFree=28301904/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=0.69 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 2163 0 0 0 69 0 0 0 20 0 2 0 332857256 86712320 2086 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 2086 194 433 0 20734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84680
[startup+1.50024 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 26349
/proc/meminfo: memFree=28277228/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=1.49 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 2509 0 0 0 149 0 0 0 20 0 2 0 332857256 86712320 2432 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 2432 194 433 0 20734 0
[pid=26341/tid=26343] ppid=26339 vsize=84680 CPUtime=1.47 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 1522 0 0 0 147 0 0 0 20 0 2 0 332857257 86712320 2432 33554432000 4194304 5964350 140736084370176 139790930208968 4222320 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) 84680
[startup+3.10024 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26349
/proc/meminfo: memFree=28273136/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84824 CPUtime=3.09 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 2761 0 0 0 309 0 0 0 20 0 2 0 332857256 86859776 2684 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21206 2684 194 433 0 20770 0
[pid=26341/tid=26343] ppid=26339 vsize=84824 CPUtime=3.07 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 1774 0 0 0 307 0 0 0 20 0 2 0 332857257 86859776 2684 33554432000 4194304 5964350 140736084370176 139790930208968 4399930 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) 84824
[startup+6.30026 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26349
/proc/meminfo: memFree=28256032/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=6.29 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 3948 0 0 0 629 0 0 0 20 0 2 0 332857256 86712320 3838 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 3838 194 433 0 20734 0
[pid=26341/tid=26343] ppid=26339 vsize=84680 CPUtime=6.26 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 2961 0 0 0 626 0 0 0 20 0 2 0 332857257 86712320 3838 33554432000 4194304 5964350 140736084370176 139790930209720 4403290 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) 84680
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 26349
/proc/meminfo: memFree=28232980/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=12.69 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 4373 0 0 0 1268 1 0 0 20 0 2 0 332857256 86712320 4267 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 4268 194 433 0 20734 0
[pid=26341/tid=26343] ppid=26339 vsize=84680 CPUtime=12.64 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 3387 0 0 0 1264 0 0 0 20 0 2 0 332857257 86712320 4268 33554432000 4194304 5964350 140736084370176 139790930208280 5179179 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) 84680
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 26349
/proc/meminfo: memFree=28198624/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=85164 CPUtime=25.48 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 7539 0 0 0 2546 2 0 0 20 0 2 0 332857256 87207936 8437 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21291 8437 194 433 0 20855 0
[pid=26341/tid=26343] ppid=26339 vsize=85164 CPUtime=25.4 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 6552 0 0 0 2538 2 0 0 20 0 2 0 332857257 87207936 8437 33554432000 4194304 5964350 140736084370176 139790930208568 4399840 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) 85164
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26349
/proc/meminfo: memFree=28156744/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=84680 CPUtime=51.08 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 11122 0 0 0 5105 3 0 0 20 0 2 0 332857256 86712320 11884 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21170 11884 194 433 0 20734 0
[pid=26341/tid=26343] ppid=26339 vsize=84680 CPUtime=50.93 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 10135 0 0 0 5090 3 0 0 20 0 2 0 332857257 86712320 11884 33554432000 4194304 5964350 140736084370176 139790930209720 4399998 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84680
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26349
/proc/meminfo: memFree=28036112/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=85404 CPUtime=102.27 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 12915 0 0 0 10223 4 0 0 20 0 2 0 332857256 87453696 13672 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 21351 13672 194 433 0 20915 0
[pid=26341/tid=26343] ppid=26339 vsize=85404 CPUtime=102 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 11928 0 0 0 10195 5 0 0 20 0 2 0 332857257 87453696 13672 33554432000 4194304 5964350 140736084370176 139790930208808 4400548 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) 85404
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26349
/proc/meminfo: memFree=27879668/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=150940 CPUtime=162.25 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 20222 0 0 0 16215 10 0 0 20 0 2 0 332857256 154562560 21043 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 37735 21043 194 433 0 37299 0
[pid=26341/tid=26343] ppid=26339 vsize=150940 CPUtime=161.83 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 19235 0 0 0 16172 11 0 0 20 0 2 0 332857257 154562560 21043 33554432000 4194304 5964350 140736084370176 139790930208760 4399840 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) 150940
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26350
/proc/meminfo: memFree=27787068/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=150940 CPUtime=222.23 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 25112 0 0 0 22210 13 0 0 20 0 2 0 332857256 154562560 25928 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 37735 25928 194 433 0 37299 0
[pid=26341/tid=26343] ppid=26339 vsize=150940 CPUtime=221.67 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 24125 0 0 0 22151 16 0 0 20 0 2 0 332857257 154562560 25928 33554432000 4194304 5964350 140736084370176 139790930208808 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 150940
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26350
/proc/meminfo: memFree=27640772/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=151300 CPUtime=282.23 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 28383 0 0 0 28207 16 0 0 20 0 2 0 332857256 154931200 29193 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 37825 29193 194 433 0 37389 0
[pid=26341/tid=26343] ppid=26339 vsize=151300 CPUtime=281.52 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 27396 0 0 0 28132 20 0 0 20 0 2 0 332857257 154931200 29193 33554432000 4194304 5964350 140736084370176 139790930208808 4399858 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 151300
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26350
/proc/meminfo: memFree=27558124/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=216836 CPUtime=342.19 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 35251 0 0 0 34196 23 0 0 20 0 2 0 332857256 222040064 36433 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 54209 36433 194 433 0 53773 0
[pid=26341/tid=26343] ppid=26339 vsize=216836 CPUtime=341.33 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 34264 0 0 0 34106 27 0 0 20 0 2 0 332857257 222040064 36433 33554432000 4194304 5964350 140736084370176 139790930208568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 216836
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 26350
/proc/meminfo: memFree=27579664/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=216836 CPUtime=402.17 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 39499 0 0 0 40189 28 0 0 20 0 2 0 332857256 222040064 40772 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 54209 40772 194 433 0 53773 0
[pid=26341/tid=26343] ppid=26339 vsize=216836 CPUtime=401.17 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 38512 0 0 0 40084 33 0 0 20 0 2 0 332857257 222040064 40772 33554432000 4194304 5964350 140736084370176 139790930208760 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 216836
[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/181 26350
/proc/meminfo: memFree=27571904/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=216836 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1059.42 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 105876 66 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 346824
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 26359
/proc/meminfo: memFree=26877012/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1122.04 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 112154 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1119.26 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 111859 67 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 346824
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 26359
/proc/meminfo: memFree=26876868/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1182.03 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 118153 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1179.1 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 117843 67 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4399958 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 346824
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 26359
/proc/meminfo: memFree=26876856/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1242.02 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 124152 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1238.95 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 123827 68 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4403290 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 346824
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 26359
/proc/meminfo: memFree=26876764/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1302.02 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 130152 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1298.8 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 129811 69 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 346824
[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 26359
/proc/meminfo: memFree=26761816/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1362 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 136150 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1358.63 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 135793 70 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 346824
[startup+1422.31 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 26360
/proc/meminfo: memFree=26754928/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1422 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 142150 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1418.48 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 141777 71 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 346824
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26360
/proc/meminfo: memFree=26685984/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1481.98 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 148148 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1478.32 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 147760 72 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4403296 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 346824
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 26360
/proc/meminfo: memFree=26677676/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1541.97 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 154147 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1538.16 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 153743 73 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4399843 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 346824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 26360
/proc/meminfo: memFree=26649032/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1601.96 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 70882 0 0 0 160146 50 0 0 20 0 2 0 332857256 355147776 72300 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 72300 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1598 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 69895 0 0 0 159726 74 0 0 20 0 2 0 332857257 355147776 72300 33554432000 4194304 5964350 140736084370176 139790930209720 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 346824
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 26360
/proc/meminfo: memFree=26509904/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1661.96 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 72920 0 0 0 166144 52 0 0 20 0 2 0 332857256 355147776 74336 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 74336 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1657.85 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 71933 0 0 0 165708 77 0 0 20 0 2 0 332857257 355147776 74336 33554432000 4194304 5964350 140736084370176 139790930208568 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 346824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26364
/proc/meminfo: memFree=26465256/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1721.94 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 74525 0 0 0 172140 54 0 0 20 0 2 0 332857256 355147776 75941 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 75941 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1717.69 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 73538 0 0 0 171689 80 0 0 20 0 2 0 332857257 355147776 75941 33554432000 4194304 5964350 140736084370176 139790930208568 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 346824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26364
/proc/meminfo: memFree=26388496/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1781.94 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 78265 0 0 0 178135 59 0 0 20 0 2 0 332857256 355147776 79677 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 79677 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1777.53 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 77278 0 0 0 177668 85 0 0 20 0 2 0 332857257 355147776 79677 33554432000 4194304 5964350 140736084370176 139790930208760 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 346824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 26391
/proc/meminfo: memFree=27988096/32873844 swapFree=7112/7112
[pid=26341] ppid=26339 vsize=346824 CPUtime=1800.04 cores=1,3,5,7
/proc/26341/stat : 26341 (wbo1.72) S 26339 26341 25884 0 -1 4202496 78863 0 0 0 179945 59 0 0 20 0 2 0 332857256 355147776 80275 33554432000 4194304 5964350 140736084370176 140736084369696 4546605 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/26341/statm: 86706 80275 194 433 0 86270 0
[pid=26341/tid=26343] ppid=26339 vsize=346824 CPUtime=1795.59 cores=1,3,5,7
/proc/26341/task/26343/stat : 26343 (wbo1.72) R 26339 26341 25884 0 -1 4202560 77876 0 0 0 179473 86 0 0 20 0 2 0 332857257 355147776 80275 33554432000 4194304 5964350 140736084370176 139790930208808 4379216 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 346824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26341 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=745157
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=875866
# CPU time returned by wait4() is 1795.62
# 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.42
CPU time (s): 1800.04
CPU user time (s): 1799.45
CPU system time (s): 0.59
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 349172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.75
system time used= 0.875866
maximum resident set size= 321104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78864
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= 87
involuntary context switches= 1850
runsolver used 3.08953 second user time and 11.2663 second system time
The end