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-3728137-1338674735/watcher-3728137-1338674735 -o /tmp/evaluation-result-3728137-1338674735/solver-3728137-1338674735 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=wbo HOME/instance-3728137-1338674735.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.61 1.90 1.96 3/174 10462
/proc/meminfo: memFree=27550828/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=3380 CPUtime=0 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) R 10460 10462 9909 0 -1 4202496 337 0 0 0 0 0 0 0 20 0 1 0 333598572 3461120 289 33554432000 4194304 5964350 140737051605744 140737051603992 5367686 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 845 290 169 433 0 387 0
[startup+0.082311 s]
/proc/loadavg: 1.61 1.90 1.96 3/174 10462
/proc/meminfo: memFree=27550828/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=83964 CPUtime=0.07 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 1240 0 0 0 7 0 0 0 20 0 2 0 333598572 85979136 1363 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 20991 1363 193 433 0 20555 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83964
[startup+0.100163 s]
/proc/loadavg: 1.61 1.90 1.96 3/174 10462
/proc/meminfo: memFree=27550828/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=83964 CPUtime=0.09 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 1286 0 0 0 9 0 0 0 20 0 2 0 333598572 85979136 1409 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 20991 1409 193 433 0 20555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83964
[startup+0.300113 s]
/proc/loadavg: 1.61 1.90 1.96 3/174 10462
/proc/meminfo: memFree=27550828/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=83964 CPUtime=0.29 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 1743 0 0 0 29 0 0 0 20 0 2 0 333598572 85979136 1866 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 20991 1866 193 433 0 20555 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83964
[startup+0.700117 s]
/proc/loadavg: 1.61 1.90 1.96 3/174 10462
/proc/meminfo: memFree=27550828/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=84108 CPUtime=0.69 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 2300 0 0 0 69 0 0 0 20 0 2 0 333598572 86126592 2423 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 21027 2423 193 433 0 20591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84108
[startup+1.50021 s]
/proc/loadavg: 1.61 1.90 1.96 3/179 10470
/proc/meminfo: memFree=27532704/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=84108 CPUtime=1.48 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 3004 0 0 0 148 0 0 0 20 0 2 0 333598572 86126592 3127 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 21027 3127 193 433 0 20591 0
[pid=10462/tid=10468] ppid=10460 vsize=84108 CPUtime=1.47 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 2182 0 0 0 147 0 0 0 20 0 2 0 333598573 86126592 3127 33554432000 4194304 5964350 140737051605744 140445537785848 18446744073699066235 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) 84108
[startup+3.10022 s]
/proc/loadavg: 1.64 1.90 1.96 3/179 10470
/proc/meminfo: memFree=27520288/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=84180 CPUtime=3.08 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 5748 0 0 0 307 1 0 0 20 0 2 0 333598572 86200320 5871 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 21045 5871 193 433 0 20609 0
[pid=10462/tid=10468] ppid=10460 vsize=84180 CPUtime=3.06 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 4926 0 0 0 305 1 0 0 20 0 2 0 333598573 86200320 5871 33554432000 4194304 5964350 140737051605744 140445537785848 4400009 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84180
[startup+6.30023 s]
/proc/loadavg: 1.64 1.90 1.96 3/179 10470
/proc/meminfo: memFree=27487676/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=84180 CPUtime=6.28 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 8613 0 0 0 627 1 0 0 20 0 2 0 333598572 86200320 8736 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 21045 8736 193 433 0 20609 0
[pid=10462/tid=10468] ppid=10460 vsize=84180 CPUtime=6.25 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 7791 0 0 0 624 1 0 0 20 0 2 0 333598573 86200320 8736 33554432000 4194304 5964350 140737051605744 140445537785896 4399976 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84180
[startup+12.7003 s]
/proc/loadavg: 1.69 1.91 1.96 3/179 10470
/proc/meminfo: memFree=27443688/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=84288 CPUtime=12.67 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 13509 0 0 0 1264 3 0 0 20 0 2 0 333598572 86310912 13628 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 21072 13628 193 433 0 20636 0
[pid=10462/tid=10468] ppid=10460 vsize=84288 CPUtime=12.63 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 12687 0 0 0 1260 3 0 0 20 0 2 0 333598573 86310912 13628 33554432000 4194304 5964350 140737051605744 140445537785848 4399996 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 84288
[startup+25.5003 s]
/proc/loadavg: 1.74 1.91 1.96 3/179 10470
/proc/meminfo: memFree=27385820/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=149984 CPUtime=25.47 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 20743 0 0 0 2541 6 0 0 20 0 2 0 333598572 153583616 20856 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 37496 20856 193 433 0 37060 0
[pid=10462/tid=10468] ppid=10460 vsize=149984 CPUtime=25.39 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 19921 0 0 0 2533 6 0 0 20 0 2 0 333598573 153583616 20856 33554432000 4194304 5964350 140737051605744 140445537785848 4400023 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 149984
[startup+51.1004 s]
/proc/loadavg: 1.83 1.92 1.96 3/179 10470
/proc/meminfo: memFree=27294212/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=150224 CPUtime=51.05 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 32592 0 0 0 5095 10 0 0 20 0 2 0 333598572 153829376 32707 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 37556 32707 193 433 0 37120 0
[pid=10462/tid=10468] ppid=10460 vsize=150224 CPUtime=50.91 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 31770 0 0 0 5081 10 0 0 20 0 2 0 333598573 153829376 32707 33554432000 4194304 5964350 140737051605744 140445537785848 4400017 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 150224
[startup+102.306 s]
/proc/loadavg: 1.93 1.93 1.96 3/179 10470
/proc/meminfo: memFree=27161268/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=215904 CPUtime=102.24 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 49450 0 0 0 10206 18 0 0 20 0 2 0 333598572 221085696 49565 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 53976 49565 193 433 0 53540 0
[pid=10462/tid=10468] ppid=10460 vsize=215904 CPUtime=101.97 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 48628 0 0 0 10178 19 0 0 20 0 2 0 333598573 221085696 49565 33554432000 4194304 5964350 140737051605744 140445537785848 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 215904
[startup+162.3 s]
/proc/loadavg: 1.97 1.94 1.96 3/179 10470
/proc/meminfo: memFree=27096508/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=281584 CPUtime=162.23 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 55012 0 0 0 16202 21 0 0 20 0 2 0 333598572 288342016 55127 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 70396 55127 193 433 0 69960 0
[pid=10462/tid=10468] ppid=10460 vsize=281584 CPUtime=161.81 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 54190 0 0 0 16159 22 0 0 20 0 2 0 333598573 288342016 55127 33554432000 4194304 5964350 140737051605744 140445537785848 4400035 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 281584
[startup+222.3 s]
/proc/loadavg: 1.99 1.95 1.96 3/178 10470
/proc/meminfo: memFree=27005416/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=348200 CPUtime=222.18 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 72084 0 0 0 22191 27 0 0 20 0 2 0 333598572 356556800 72195 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 87050 72195 193 433 0 86614 0
[pid=10462/tid=10468] ppid=10460 vsize=348200 CPUtime=221.61 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 71262 0 0 0 22132 29 0 0 20 0 2 0 333598573 356556800 72195 33554432000 4194304 5964350 140737051605744 140445537785848 4400023 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 348200
[startup+282.3 s]
/proc/loadavg: 1.99 1.95 1.96 3/180 10474
/proc/meminfo: memFree=27004748/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=348200 CPUtime=282.14 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 72143 0 0 0 28187 27 0 0 20 0 2 0 333598572 356556800 72235 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 87050 72235 193 433 0 86614 0
[pid=10462/tid=10468] ppid=10460 vsize=348200 CPUtime=281.43 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 71321 0 0 0 28113 30 0 0 20 0 2 0 333598573 356556800 72235 33554432000 4194304 5964350 140737051605744 140445537785848 4399998 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 348200
[startup+342.3 s]
/proc/loadavg: 2.03 1.97 1.97 3/179 10474
/proc/meminfo: memFree=26919728/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=348488 CPUtime=342.12 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 80863 0 0 0 34180 32 0 0 20 0 2 0 333598572 356851712 81452 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 87122 81452 193 433 0 86686 0
[pid=10462/tid=10468] ppid=10460 vsize=348488 CPUtime=341.26 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 80041 0 0 0 34089 37 0 0 20 0 2 0 333598573 356851712 81452 33554432000 4194304 5964350 140737051605744 140445537785848 4400017 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 348488
[startup+402.3 s]
/proc/loadavg: 2.05 1.99 1.97 3/179 10474
/proc/meminfo: memFree=26865080/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=414888 CPUtime=402.11 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 93467 0 0 0 40172 39 0 0 20 0 2 0 333598572 424845312 94056 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 103722 94056 193 433 0 103286 0
[pid=10462/tid=10468] ppid=10460 vsize=414888 CPUtime=401.1 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 92645 0 0 0 40065 45 0 0 20 0 2 0 333598573 424845312 94056 33554432000 4194304 5964350 140737051605744 140445537785848 4399998 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 414888
[startup+462.3 s]
/proc/loadavg: 2.01 1.99 1.97 3/179 10513
/proc/meminfo: memFree=27065444/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=414996 CPUtime=462.1 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10519
/proc/meminfo: memFree=26519548/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=673788 CPUtime=1421.87 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 157369 0 0 0 142120 67 0 0 20 0 2 0 333598572 689958912 150465 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 168447 150465 197 433 0 168011 0
[pid=10462/tid=10468] ppid=10460 vsize=673788 CPUtime=1418.38 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 156547 0 0 0 141750 88 0 0 20 0 2 0 333598573 689958912 150465 33554432000 4194304 5964350 140737051605744 140445537785656 4388148 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 673788
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 10523
/proc/meminfo: memFree=26499104/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=673788 CPUtime=1481.84 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 157545 0 0 0 148117 67 0 0 20 0 2 0 333598572 689958912 150625 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 168447 150625 197 433 0 168011 0
[pid=10462/tid=10468] ppid=10460 vsize=673788 CPUtime=1478.2 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 156723 0 0 0 147731 89 0 0 20 0 2 0 333598573 689958912 150625 33554432000 4194304 5964350 140737051605744 140445537785656 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 673788
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10523
/proc/meminfo: memFree=26485840/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=673788 CPUtime=1541.83 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 158515 0 0 0 154115 68 0 0 20 0 2 0 333598572 689958912 151593 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 168447 151593 197 433 0 168011 0
[pid=10462/tid=10468] ppid=10460 vsize=673788 CPUtime=1538.05 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 157693 0 0 0 153714 91 0 0 20 0 2 0 333598573 689958912 151593 33554432000 4194304 5964350 140737051605744 140445537785848 4399872 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 673788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10523
/proc/meminfo: memFree=26425700/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=673788 CPUtime=1601.83 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 169691 0 0 0 160110 73 0 0 20 0 2 0 333598572 689958912 162768 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 168447 162768 197 433 0 168011 0
[pid=10462/tid=10468] ppid=10460 vsize=673788 CPUtime=1597.89 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 168869 0 0 0 159693 96 0 0 20 0 2 0 333598573 689958912 162768 33554432000 4194304 5964350 140737051605744 140445537785720 4410861 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 673788
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10523
/proc/meminfo: memFree=26385524/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1661.82 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 174942 0 0 0 166107 75 0 0 20 0 2 0 333598572 757067776 168017 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 168017 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1657.74 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 174120 0 0 0 165674 100 0 0 20 0 2 0 333598573 757067776 168017 33554432000 4194304 5964350 140737051605744 140445537785848 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 739324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10523
/proc/meminfo: memFree=26349860/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1721.81 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182056 0 0 0 172102 79 0 0 20 0 2 0 333598572 757067776 175131 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175131 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1717.59 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181234 0 0 0 171654 105 0 0 20 0 2 0 333598573 757067776 175131 33554432000 4194304 5964350 140737051605744 140445537786200 4399944 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 739324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26343288/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1781.8 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 178101 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1777.43 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 177637 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4400007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 739324
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26342420/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1791.4 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 179061 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1787.01 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 178595 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 739324
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26342048/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1794.6 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 179381 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1790.2 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 178914 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 739324
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26341924/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1797.79 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 179700 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1793.39 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 179233 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4399998 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 739324
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26341800/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1798.59 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 179780 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1794.19 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 179313 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4399861 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.59
Current children cumulated vsize (KiB) 739324
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26341676/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1799 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 179821 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1794.59 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 179353 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4399936 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799
Current children cumulated vsize (KiB) 739324
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26341676/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1799.39 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 179860 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1794.99 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 179393 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4399987 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.39
Current children cumulated vsize (KiB) 739324
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 10524
/proc/meminfo: memFree=26341676/32873844 swapFree=7116/7116
[pid=10462] ppid=10460 vsize=739324 CPUtime=1799.49 cores=0,2,4,6
/proc/10462/stat : 10462 (wbo1.72) S 10460 10462 9909 0 -1 4202496 182060 0 0 0 179870 79 0 0 20 0 2 0 333598572 757067776 175135 33554432000 4194304 5964350 140737051605744 140737051605264 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10462/statm: 184831 175135 197 433 0 184395 0
[pid=10462/tid=10468] ppid=10460 vsize=739324 CPUtime=1795.09 cores=0,2,4,6
/proc/10462/task/10468/stat : 10468 (wbo1.72) R 10460 10462 9909 0 -1 4202560 181238 0 0 0 179403 106 0 0 20 0 2 0 333598573 757067776 175135 33554432000 4194304 5964350 140737051605744 140445537786200 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 739324
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10462 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=44263
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=79835
# CPU time returned by wait4() is 1795.12
# while last known CPU time is 1799.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.49
CPU user time (s): 1798.7
CPU system time (s): 0.79
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 739324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.04
system time used= 1.07984
maximum resident set size= 700548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182062
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= 289
involuntary context switches= 2192
runsolver used 8.85665 second user time and 17.6953 second system time
The end