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-3705569-1338157942/watcher-3705569-1338157942 -o /tmp/evaluation-result-3705569-1338157942/solver-3705569-1338157942 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705569-1338157942.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: 0.98 1.50 1.80 3/176 17699
/proc/meminfo: memFree=27508520/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=6112 CPUtime=0 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) R 17697 17699 17655 0 -1 4202496 430 0 0 0 0 0 0 0 20 0 1 0 281921038 6258688 382 33554432000 4194304 5963574 140737310119456 140735080225224 5178411 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 1528 384 171 432 0 484 0
[startup+0.0790779 s]
/proc/loadavg: 0.98 1.50 1.80 3/176 17699
/proc/meminfo: memFree=27508520/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.07 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) R 17697 17699 17655 0 -1 4202496 2277 0 0 0 7 0 0 0 20 0 1 0 281921038 13926400 2229 33554432000 4194304 5963574 140737310119456 140735080225224 5135642 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 3400 2230 403 432 0 2356 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13600
[startup+0.100259 s]
/proc/loadavg: 0.98 1.50 1.80 3/176 17699
/proc/meminfo: memFree=27508520/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=14848 CPUtime=0.09 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) R 17697 17699 17655 0 -1 4202496 2881 0 0 0 9 0 0 0 20 0 1 0 281921038 15204352 2784 33554432000 4194304 5963574 140737310119456 140735080225224 4195024 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17699/statm: 3712 2785 463 432 0 2668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14848
[startup+0.343982 s]
/proc/loadavg: 0.98 1.50 1.80 3/176 17699
/proc/meminfo: memFree=27508520/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=100032 CPUtime=0.33 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 15213 0 0 0 30 3 0 0 20 0 2 0 281921038 102432768 12419 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 25008 12419 195 432 0 24573 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 100032
[startup+0.700177 s]
/proc/loadavg: 0.98 1.50 1.80 3/176 17699
/proc/meminfo: memFree=27508520/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=100032 CPUtime=0.69 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 17996 0 0 0 66 3 0 0 20 0 2 0 281921038 102432768 13650 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 25008 13650 196 432 0 24573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 100032
[startup+1.50024 s]
/proc/loadavg: 0.98 1.50 1.80 3/179 17702
/proc/meminfo: memFree=27391764/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=100032 CPUtime=1.48 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 19352 0 0 0 145 3 0 0 20 0 2 0 281921038 102432768 13815 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 25008 13815 198 432 0 24573 0
[pid=17699/tid=17702] ppid=17697 vsize=100032 CPUtime=1.28 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 13833 0 0 0 125 3 0 0 20 0 2 0 281921058 102432768 13815 33554432000 4194304 5963574 140737310119456 139678223661896 4392491 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100032
[startup+3.10026 s]
/proc/loadavg: 0.98 1.50 1.80 3/179 17702
/proc/meminfo: memFree=27388788/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=100032 CPUtime=3.09 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 21116 0 0 0 305 4 0 0 20 0 2 0 281921038 102432768 14375 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 25008 14375 198 432 0 24573 0
[pid=17699/tid=17702] ppid=17697 vsize=100032 CPUtime=2.88 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 15597 0 0 0 285 3 0 0 20 0 2 0 281921058 102432768 14375 33554432000 4194304 5963574 140737310119456 139678223661400 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100032
[startup+6.30028 s]
/proc/loadavg: 1.14 1.53 1.80 3/179 17702
/proc/meminfo: memFree=27373072/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=100032 CPUtime=6.29 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 21780 0 0 0 625 4 0 0 20 0 2 0 281921038 102432768 15039 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 25008 15039 198 432 0 24573 0
[pid=17699/tid=17702] ppid=17697 vsize=100032 CPUtime=6.07 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 16261 0 0 0 604 3 0 0 20 0 2 0 281921058 102432768 15039 33554432000 4194304 5963574 140737310119456 139678223661400 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100032
[startup+12.7003 s]
/proc/loadavg: 1.21 1.54 1.81 3/179 17702
/proc/meminfo: memFree=27341612/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=100032 CPUtime=12.68 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 22502 0 0 0 1264 4 0 0 20 0 2 0 281921038 102432768 15760 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 25008 15760 198 432 0 24573 0
[pid=17699/tid=17702] ppid=17697 vsize=100032 CPUtime=12.45 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 16983 0 0 0 1242 3 0 0 20 0 2 0 281921058 102432768 15760 33554432000 4194304 5963574 140737310119456 139678223661464 4403160 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 100032
[startup+25.5004 s]
/proc/loadavg: 1.38 1.56 1.81 3/179 17703
/proc/meminfo: memFree=27307308/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=100032 CPUtime=25.47 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 25378 0 0 0 2543 4 0 0 20 0 2 0 281921038 102432768 18281 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 25008 18281 198 432 0 24573 0
[pid=17699/tid=17702] ppid=17697 vsize=100032 CPUtime=25.21 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 19859 0 0 0 2518 3 0 0 20 0 2 0 281921058 102432768 18281 33554432000 4194304 5963574 140737310119456 139678223660856 5178411 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 100032
[startup+51.1003 s]
/proc/loadavg: 1.59 1.59 1.81 3/179 17703
/proc/meminfo: memFree=27228680/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=165568 CPUtime=51.08 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 29075 0 0 0 5103 5 0 0 20 0 2 0 281921038 169541632 21977 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 41392 21977 198 432 0 40957 0
[pid=17699/tid=17702] ppid=17697 vsize=165568 CPUtime=50.74 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 23556 0 0 0 5070 4 0 0 20 0 2 0 281921058 169541632 21977 33554432000 4194304 5963574 140737310119456 139678223651136 4402903 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) 165568
[startup+102.3 s]
/proc/loadavg: 1.86 1.67 1.82 3/179 17703
/proc/meminfo: memFree=27091220/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=165568 CPUtime=102.27 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 29075 0 0 0 10222 5 0 0 20 0 2 0 281921038 169541632 21977 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 41392 21977 198 432 0 40957 0
[pid=17699/tid=17702] ppid=17697 vsize=165568 CPUtime=101.82 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 23556 0 0 0 10177 5 0 0 20 0 2 0 281921058 169541632 21977 33554432000 4194304 5963574 140737310119456 139678223661592 4388360 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 165568
[startup+162.3 s]
/proc/loadavg: 2.02 1.74 1.84 3/180 17704
/proc/meminfo: memFree=26977332/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=165568 CPUtime=162.24 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 29101 0 0 0 16219 5 0 0 20 0 2 0 281921038 169541632 22236 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 41392 22236 198 432 0 40957 0
[pid=17699/tid=17702] ppid=17697 vsize=165568 CPUtime=161.64 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 23582 0 0 0 16158 6 0 0 20 0 2 0 281921058 169541632 22236 33554432000 4194304 5963574 140737310119456 139678223661592 4399560 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 165568
[startup+222.306 s]
/proc/loadavg: 2.00 1.79 1.84 3/179 17704
/proc/meminfo: memFree=26869188/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=165568 CPUtime=222.24 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 29430 0 0 0 22219 5 0 0 20 0 2 0 281921038 169541632 22565 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 41392 22565 198 432 0 40957 0
[pid=17699/tid=17702] ppid=17697 vsize=165568 CPUtime=221.5 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 23911 0 0 0 22143 7 0 0 20 0 2 0 281921058 169541632 22565 33554432000 4194304 5963574 140737310119456 139678223660856 4392232 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 165568
[startup+282.3 s]
/proc/loadavg: 2.14 1.87 1.86 3/179 17704
/proc/meminfo: memFree=26810072/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=165568 CPUtime=282.22 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 33599 0 0 0 28213 9 0 0 20 0 2 0 281921038 169541632 26734 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 41392 26734 198 432 0 40957 0
[pid=17699/tid=17702] ppid=17697 vsize=165568 CPUtime=281.34 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 28080 0 0 0 28122 12 0 0 20 0 2 0 281921058 169541632 26734 33554432000 4194304 5963574 140737310119456 139678223661048 4392359 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 165568
[startup+342.3 s]
/proc/loadavg: 2.09 1.90 1.87 3/179 17705
/proc/meminfo: memFree=26792692/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=165568 CPUtime=342.21 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 34645 0 0 0 34210 11 0 0 20 0 2 0 281921038 169541632 27780 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 41392 27780 198 432 0 40957 0
[pid=17699/tid=17702] ppid=17697 vsize=165568 CPUtime=341.18 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 29126 0 0 0 34103 15 0 0 20 0 2 0 281921058 169541632 27780 33554432000 4194304 5963574 140737310119456 139678223661096 4408735 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 165568
[startup+402.3 s]
/proc/loadavg: 2.07 1.93 1.89 3/179 17705
/proc/meminfo: memFree=26775888/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=165568 CPUtime=402.21 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 38751 0 0 0 40206 15 0 0 20 0 2 0 281921038 169541632 31886 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 41392 31886 198 432 0 40957 0
[pid=17699/tid=17702] ppid=17697 vsize=165568 CPUtime=401.03 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 33232 0 0 0 40084 19 0 0 20 0 2 0 281921058 169541632 31886 33554432000 4194304 5963574 140737310119456 139678223661048 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 165568
[startup+462.3 s]
/proc/loadavg: 2.02 1.94 1.89 3/180 17708
/proc/meminfo: memFree=26766924/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=167192 CPUtime=462.19 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/179 17714
/proc/meminfo: memFree=26496932/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1362.03 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 136163 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1358.55 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 135796 59 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4388608 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 296640
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 17714
/proc/meminfo: memFree=26507672/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1422.02 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 142162 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1418.4 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 141780 60 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4403104 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 296640
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 17714
/proc/meminfo: memFree=26507796/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1482.01 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 148161 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1478.24 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 147763 61 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 296640
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 17714
/proc/meminfo: memFree=26507804/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1542 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 154160 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1538.1 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 153748 62 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 296640
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 17715
/proc/meminfo: memFree=26507920/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1601.99 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 160159 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1597.94 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 159731 63 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 296640
[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/180 17718
/proc/meminfo: memFree=26507400/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1661.98 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 166158 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1657.79 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 165715 64 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4399448 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 296640
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/180 17719
/proc/meminfo: memFree=26507916/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1721.97 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 172157 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1717.63 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 171698 65 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 296640
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/180 17741
/proc/meminfo: memFree=26507644/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1781.96 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 178156 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1777.48 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 177682 66 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4400164 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 296640
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 17741
/proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1791.67 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 179127 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1787.16 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 178650 66 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4403048 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (KiB) 296640
[startup+1795.2 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 17741
/proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1794.87 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 179447 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1790.35 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 178969 66 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.87
Current children cumulated vsize (KiB) 296640
[startup+1798.4 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 17741
/proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1798.06 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 179766 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1793.54 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 179288 66 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4399560 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 296640
[startup+1799.2 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 17741
/proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1798.86 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 179846 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1794.34 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 179368 66 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4399456 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.86
Current children cumulated vsize (KiB) 296640
[startup+1799.6 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 17741
/proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1799.27 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 179887 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1794.74 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 179408 66 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4402816 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.27
Current children cumulated vsize (KiB) 296640
[startup+1800 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 17741
/proc/meminfo: memFree=26507776/32873648 swapFree=6848/6848
[pid=17699] ppid=17697 vsize=296640 CPUtime=1799.66 cores=0,2,4,6
/proc/17699/stat : 17699 (wbo1.7) S 17697 17699 17655 0 -1 4202496 78001 0 0 0 179926 40 0 0 20 0 2 0 281921038 303759360 70430 33554432000 4194304 5963574 140737310119456 140737310118976 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17699/statm: 74160 70430 198 432 0 73725 0
[pid=17699/tid=17702] ppid=17697 vsize=296640 CPUtime=1795.13 cores=0,2,4,6
/proc/17699/task/17702/stat : 17702 (wbo1.7) R 17697 17699 17655 0 -1 4202560 72482 0 0 0 179447 66 0 0 20 0 2 0 281921058 303759360 70430 33554432000 4194304 5963574 140737310119456 139678223661592 4402906 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (KiB) 296640
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17699 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=677167
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=682896
# CPU time returned by wait4() is 1795.36
# while last known CPU time is 1799.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800
CPU time (s): 1799.66
CPU user time (s): 1799.26
CPU system time (s): 0.4
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 303400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.68
system time used= 0.682896
maximum resident set size= 283908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78001
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= 72
involuntary context switches= 1987
runsolver used 2.6586 second user time and 7.16391 second system time
The end