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-3705099-1338087567/watcher-3705099-1338087567 -o /tmp/evaluation-result-3705099-1338087567/solver-3705099-1338087567 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705099-1338087567.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.00 2.00 2.00 3/177 16077
/proc/meminfo: memFree=30090040/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=4504 CPUtime=0 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) R 16075 16077 12452 0 -1 4202496 641 0 0 0 0 0 0 0 20 0 1 0 274882622 4612096 583 33554432000 4194304 5963574 140735541206768 140735465886168 4296686 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 1205 594 166 432 0 770 0
[startup+0.0966269 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16077
/proc/meminfo: memFree=30090040/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=83916 CPUtime=0.08 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 1720 0 0 0 8 0 0 0 20 0 2 0 274882622 85929984 1662 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 20979 1662 190 432 0 20544 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83916
[startup+0.100157 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16077
/proc/meminfo: memFree=30090040/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=83916 CPUtime=0.09 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 1735 0 0 0 9 0 0 0 20 0 2 0 274882622 85929984 1677 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 20979 1677 190 432 0 20544 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83916
[startup+0.300112 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16077
/proc/meminfo: memFree=30090040/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=83916 CPUtime=0.29 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 2110 0 0 0 29 0 0 0 20 0 2 0 274882622 85929984 2052 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 20979 2052 192 432 0 20544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83916
[startup+0.700108 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16077
/proc/meminfo: memFree=30090040/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=83916 CPUtime=0.68 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 2709 0 0 0 68 0 0 0 20 0 2 0 274882622 85929984 2651 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 20979 2651 192 432 0 20544 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83916
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16079
/proc/meminfo: memFree=30077996/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=83916 CPUtime=1.49 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 3471 0 0 0 148 1 0 0 20 0 2 0 274882622 85929984 3387 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 20979 3387 192 432 0 20544 0
[pid=16077/tid=16079] ppid=16075 vsize=83916 CPUtime=1.47 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 2675 0 0 0 147 0 0 0 20 0 2 0 274882623 85929984 3387 33554432000 4194304 5963574 140735541206768 139815430949816 4403039 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83916
[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16079
/proc/meminfo: memFree=30075748/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=83916 CPUtime=3.09 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 3628 0 0 0 308 1 0 0 20 0 2 0 274882622 85929984 3544 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 20979 3544 192 432 0 20544 0
[pid=16077/tid=16079] ppid=16075 vsize=83916 CPUtime=3.07 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 2832 0 0 0 306 1 0 0 20 0 2 0 274882623 85929984 3544 33554432000 4194304 5963574 140735541206768 139815430949816 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83916
[startup+6.30016 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16079
/proc/meminfo: memFree=30070444/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=84132 CPUtime=6.28 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 5185 0 0 0 627 1 0 0 20 0 2 0 274882622 86151168 5101 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 21033 5101 192 432 0 20598 0
[pid=16077/tid=16079] ppid=16075 vsize=84132 CPUtime=6.27 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 4389 0 0 0 626 1 0 0 20 0 2 0 274882623 86151168 5101 33554432000 4194304 5963574 140735541206768 139815430948664 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84132
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16079
/proc/meminfo: memFree=30056080/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=84132 CPUtime=12.68 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 7179 0 0 0 1266 2 0 0 20 0 2 0 274882622 86151168 7095 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 21033 7095 192 432 0 20598 0
[pid=16077/tid=16079] ppid=16075 vsize=84132 CPUtime=12.67 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 6383 0 0 0 1265 2 0 0 20 0 2 0 274882623 86151168 7095 33554432000 4194304 5963574 140735541206768 139815430948664 4399448 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84132
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16079
/proc/meminfo: memFree=30030420/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=84940 CPUtime=25.48 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 11415 0 0 0 2545 3 0 0 20 0 2 0 274882622 86978560 11331 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 21235 11332 192 432 0 20800 0
[pid=16077/tid=16079] ppid=16075 vsize=84940 CPUtime=25.47 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 10620 0 0 0 2543 4 0 0 20 0 2 0 274882623 86978560 11332 33554432000 4194304 5963574 140735541206768 139815430948904 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84940
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16082
/proc/meminfo: memFree=30013200/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=83916 CPUtime=51.07 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 11811 0 0 0 5104 3 0 0 20 0 2 0 274882622 85929984 9957 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 20979 9957 192 432 0 20544 0
[pid=16077/tid=16079] ppid=16075 vsize=83916 CPUtime=51.07 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 11015 0 0 0 5103 4 0 0 20 0 2 0 274882623 85929984 9957 33554432000 4194304 5963574 140735541206768 139815430949704 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 83916
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16105
/proc/meminfo: memFree=29932516/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=149452 CPUtime=102.27 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 21552 0 0 0 10221 6 0 0 20 0 2 0 274882622 153038848 19697 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 37363 19697 192 432 0 36928 0
[pid=16077/tid=16079] ppid=16075 vsize=149452 CPUtime=102.28 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 20756 0 0 0 10220 8 0 0 20 0 2 0 274882623 153038848 19697 33554432000 4194304 5963574 140735541206768 139815430949400 4399627 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149452
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16144
/proc/meminfo: memFree=31064896/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=149452 CPUtime=162.23 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 33427 0 0 0 16213 10 0 0 20 0 2 0 274882622 153038848 31538 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 37363 31538 192 432 0 36928 0
[pid=16077/tid=16079] ppid=16075 vsize=149452 CPUtime=162.24 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 32631 0 0 0 16211 13 0 0 20 0 2 0 274882623 153038848 31538 33554432000 4194304 5963574 140735541206768 139815430948904 4403192 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 149452
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16144
/proc/meminfo: memFree=30951040/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=216072 CPUtime=222.22 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 45391 0 0 0 22206 16 0 0 20 0 2 0 274882622 221257728 44436 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 54018 44436 192 432 0 53583 0
[pid=16077/tid=16079] ppid=16075 vsize=216072 CPUtime=222.25 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 44595 0 0 0 22205 20 0 0 20 0 2 0 274882623 221257728 44436 33554432000 4194304 5963574 140735541206768 139815430948664 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 216072
[startup+282.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 16144
/proc/meminfo: memFree=30862112/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=281608 CPUtime=282.18 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 58246 0 0 0 28196 22 0 0 20 0 2 0 274882622 288366592 57486 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 70402 57486 192 432 0 69967 0
[pid=16077/tid=16079] ppid=16075 vsize=281608 CPUtime=282.21 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 57450 0 0 0 28194 27 0 0 20 0 2 0 274882623 288366592 57486 33554432000 4194304 5963574 140735541206768 139815430948664 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 281608
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 16145
/proc/meminfo: memFree=30756168/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=347144 CPUtime=342.15 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 70653 0 0 0 34188 27 0 0 20 0 2 0 274882622 355475456 70031 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 86786 70031 192 432 0 86351 0
[pid=16077/tid=16079] ppid=16075 vsize=347144 CPUtime=342.2 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 69857 0 0 0 34187 33 0 0 20 0 2 0 274882623 355475456 70031 33554432000 4194304 5963574 140735541206768 139815430948856 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 347144
[startup+402.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 16145
/proc/meminfo: memFree=30714364/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=347684 CPUtime=402.14 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 78263 0 0 0 40182 32 0 0 20 0 2 0 274882622 356028416 77638 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 86921 77638 192 432 0 86486 0
[pid=16077/tid=16079] ppid=16075 vsize=347684 CPUtime=402.2 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 77467 0 0 0 40181 39 0 0 20 0 2 0 274882623 356028416 77638 33554432000 4194304 5963574 140735541206768 139815430948664 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 347684
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 16145
/proc/meminfo: memFree=30639300/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=413220 CPUtime=462.13 cores=1,3,5,7
################
# More data... #
################
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 175065 0 0 0 130092 115 0 0 20 0 2 0 274882623 761733120 177070 33554432000 4194304 5963574 140735541206768 139815430948664 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 743880
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16154
/proc/meminfo: memFree=30016972/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=743880 CPUtime=1361.84 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 176795 0 0 0 136089 95 0 0 20 0 2 0 274882622 761733120 178001 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 185970 178001 192 432 0 185535 0
[pid=16077/tid=16079] ppid=16075 vsize=743880 CPUtime=1362.07 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 175999 0 0 0 136091 116 0 0 20 0 2 0 274882623 761733120 178001 33554432000 4194304 5963574 140735541206768 139815430948664 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 743880
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16154
/proc/meminfo: memFree=29978676/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=743880 CPUtime=1421.84 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 177248 0 0 0 142088 96 0 0 20 0 2 0 274882622 761733120 178454 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 185970 178454 192 432 0 185535 0
[pid=16077/tid=16079] ppid=16075 vsize=743880 CPUtime=1422.07 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 176452 0 0 0 142090 117 0 0 20 0 2 0 274882623 761733120 178454 33554432000 4194304 5963574 140735541206768 139815430948664 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 743880
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16155
/proc/meminfo: memFree=29972860/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=743880 CPUtime=1481.83 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 178064 0 0 0 148087 96 0 0 20 0 2 0 274882622 761733120 179270 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 185970 179270 192 432 0 185535 0
[pid=16077/tid=16079] ppid=16075 vsize=743880 CPUtime=1482.07 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 177268 0 0 0 148088 119 0 0 20 0 2 0 274882623 761733120 179270 33554432000 4194304 5963574 140735541206768 139815430948664 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 743880
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29867956/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=809416 CPUtime=1541.81 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 195806 0 0 0 154074 107 0 0 20 0 2 0 274882622 828841984 197010 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 202354 197011 192 432 0 201919 0
[pid=16077/tid=16079] ppid=16075 vsize=809416 CPUtime=1542.07 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 195011 0 0 0 154076 131 0 0 20 0 2 0 274882623 828841984 197011 33554432000 4194304 5963574 140735541206768 139815430948904 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 809416
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29825548/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=874952 CPUtime=1601.8 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 197630 0 0 0 160072 108 0 0 20 0 2 0 274882622 895950848 198833 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 218738 198833 192 432 0 218303 0
[pid=16077/tid=16079] ppid=16075 vsize=874952 CPUtime=1602.07 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 196834 0 0 0 160074 133 0 0 20 0 2 0 274882623 895950848 198833 33554432000 4194304 5963574 140735541206768 139815430948664 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 874952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29801916/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=874952 CPUtime=1661.76 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 202627 0 0 0 166065 111 0 0 20 0 2 0 274882622 895950848 203863 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 218738 203863 192 432 0 218303 0
[pid=16077/tid=16079] ppid=16075 vsize=874952 CPUtime=1662.04 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 201831 0 0 0 166067 137 0 0 20 0 2 0 274882623 895950848 203863 33554432000 4194304 5963574 140735541206768 139815430948856 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 874952
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29736112/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=940488 CPUtime=1721.72 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 212942 0 0 0 172052 120 0 0 20 0 2 0 274882622 963059712 214620 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235122 214620 192 432 0 234687 0
[pid=16077/tid=16079] ppid=16075 vsize=940488 CPUtime=1722 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 212146 0 0 0 172053 147 0 0 20 0 2 0 274882623 963059712 214620 33554432000 4194304 5963574 140735541206768 139815430948664 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 940488
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709664/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=940488 CPUtime=1781.68 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 213825 0 0 0 178047 121 0 0 20 0 2 0 274882622 963059712 216731 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235122 216731 192 432 0 234687 0
[pid=16077/tid=16079] ppid=16075 vsize=940488 CPUtime=1781.97 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213029 0 0 0 178048 149 0 0 20 0 2 0 274882623 963059712 216731 33554432000 4194304 5963574 140735541206768 139815430948728 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 940488
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709984/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=940488 CPUtime=1791.28 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 213828 0 0 0 179007 121 0 0 20 0 2 0 274882622 963059712 216734 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235122 216734 192 432 0 234687 0
[pid=16077/tid=16079] ppid=16075 vsize=940488 CPUtime=1791.58 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213032 0 0 0 179009 149 0 0 20 0 2 0 274882623 963059712 216734 33554432000 4194304 5963574 140735541206768 139815430948728 4399627 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 940488
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709612/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=940488 CPUtime=1794.48 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 213929 0 0 0 179327 121 0 0 20 0 2 0 274882622 963059712 216835 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235122 216835 192 432 0 234687 0
[pid=16077/tid=16079] ppid=16075 vsize=940488 CPUtime=1794.78 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213133 0 0 0 179329 149 0 0 20 0 2 0 274882623 963059712 216835 33554432000 4194304 5963574 140735541206768 139815430948664 4399560 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 940488
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709488/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=940488 CPUtime=1797.67 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 213941 0 0 0 179646 121 0 0 20 0 2 0 274882622 963059712 216847 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235122 216847 192 432 0 234687 0
[pid=16077/tid=16079] ppid=16075 vsize=940488 CPUtime=1797.97 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213145 0 0 0 179648 149 0 0 20 0 2 0 274882623 963059712 216847 33554432000 4194304 5963574 140735541206768 139815430948664 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 940488
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709488/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=940488 CPUtime=1798.47 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 213944 0 0 0 179726 121 0 0 20 0 2 0 274882622 963059712 216850 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235122 216850 192 432 0 234687 0
[pid=16077/tid=16079] ppid=16075 vsize=940488 CPUtime=1798.77 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213148 0 0 0 179728 149 0 0 20 0 2 0 274882623 963059712 216850 33554432000 4194304 5963574 140735541206768 139815430948664 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (KiB) 940488
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709488/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=940488 CPUtime=1798.88 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 213944 0 0 0 179767 121 0 0 20 0 2 0 274882622 963059712 216850 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235122 216850 192 432 0 234687 0
[pid=16077/tid=16079] ppid=16075 vsize=940488 CPUtime=1799.18 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213148 0 0 0 179769 149 0 0 20 0 2 0 274882623 963059712 216850 33554432000 4194304 5963574 140735541206768 139815430948664 4399627 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.88
Current children cumulated vsize (KiB) 940488
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709488/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=941212 CPUtime=1799.27 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 214069 0 0 0 179806 121 0 0 20 0 2 0 274882622 963801088 216887 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235303 216887 192 432 0 234868 0
[pid=16077/tid=16079] ppid=16075 vsize=941212 CPUtime=1799.57 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213273 0 0 0 179808 149 0 0 20 0 2 0 274882623 963801088 216887 33554432000 4194304 5963574 140735541206768 139815430948664 4399546 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.27
Current children cumulated vsize (KiB) 941212
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16156
/proc/meminfo: memFree=29709488/32873648 swapFree=7112/7112
[pid=16077] ppid=16075 vsize=941212 CPUtime=1799.37 cores=1,3,5,7
/proc/16077/stat : 16077 (wbo1.7) S 16075 16077 12452 0 -1 4202496 214071 0 0 0 179816 121 0 0 20 0 2 0 274882622 963801088 216889 33554432000 4194304 5963574 140735541206768 140735541206288 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16077/statm: 235303 216889 192 432 0 234868 0
[pid=16077/tid=16079] ppid=16075 vsize=941212 CPUtime=1799.67 cores=1,3,5,7
/proc/16077/task/16079/stat : 16079 (wbo1.7) R 16075 16077 12452 0 -1 4202560 213275 0 0 0 179818 149 0 0 20 0 2 0 274882623 963801088 216889 33554432000 4194304 5963574 140735541206768 139815430948664 4399474 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 941212
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.71
CPU user time (s): 1798.2
CPU system time (s): 1.50577
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 941212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.50577
maximum resident set size= 867900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214071
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= 407
involuntary context switches= 2088
runsolver used 3.18552 second user time and 7.8958 second system time
The end