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-3705763-1338114680/watcher-3705763-1338114680 -o /tmp/evaluation-result-3705763-1338114680/solver-3705763-1338114680 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705763-1338114680.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 21109
/proc/meminfo: memFree=26783440/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=4504 CPUtime=0 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) R 21107 21109 16852 0 -1 4202496 579 0 0 0 0 0 0 0 20 0 1 0 277596566 4612096 532 33554432000 4194304 5963574 140736120112592 140735868798552 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 1126 532 175 432 0 616 0
[startup+0.0298 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21109
/proc/meminfo: memFree=26783440/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=85996 CPUtime=0.02 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 1701 0 0 0 2 0 0 0 20 0 2 0 277596566 88059904 1579 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21499 1579 184 432 0 21064 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 85996
[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21109
/proc/meminfo: memFree=26783440/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=85996 CPUtime=0.09 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 2512 0 0 0 9 0 0 0 20 0 2 0 277596566 88059904 2390 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21499 2390 195 432 0 21064 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85996
[startup+0.300122 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21109
/proc/meminfo: memFree=26783440/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=85996 CPUtime=0.29 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 2604 0 0 0 29 0 0 0 20 0 2 0 277596566 88059904 2482 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21499 2482 195 432 0 21064 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85996
[startup+0.700108 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21109
/proc/meminfo: memFree=26783440/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=85996 CPUtime=0.69 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 2748 0 0 0 69 0 0 0 20 0 2 0 277596566 88059904 2626 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21499 2626 195 432 0 21064 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85996
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21111
/proc/meminfo: memFree=26772768/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=86140 CPUtime=1.48 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 3238 0 0 0 148 0 0 0 20 0 2 0 277596566 88207360 3116 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21535 3116 195 432 0 21100 0
[pid=21109/tid=21111] ppid=21107 vsize=86140 CPUtime=1.46 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 1891 0 0 0 146 0 0 0 20 0 2 0 277596568 88207360 3116 33554432000 4194304 5963574 140736120112592 139781089981976 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86140
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21111
/proc/meminfo: memFree=26771280/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=85996 CPUtime=3.08 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 4190 0 0 0 308 0 0 0 20 0 2 0 277596566 88059904 4037 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21499 4037 195 432 0 21064 0
[pid=21109/tid=21111] ppid=21107 vsize=85996 CPUtime=3.06 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 2843 0 0 0 306 0 0 0 20 0 2 0 277596568 88059904 4037 33554432000 4194304 5963574 140736120112592 139781089983416 4392216 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85996
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21111
/proc/meminfo: memFree=26767932/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=85996 CPUtime=6.28 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 4361 0 0 0 628 0 0 0 20 0 2 0 277596566 88059904 4208 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21499 4208 195 432 0 21064 0
[pid=21109/tid=21111] ppid=21107 vsize=85996 CPUtime=6.26 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 3014 0 0 0 626 0 0 0 20 0 2 0 277596568 88059904 4208 33554432000 4194304 5963574 140736120112592 139781089982504 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) 85996
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 21111
/proc/meminfo: memFree=26760284/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=86320 CPUtime=12.69 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 6249 0 0 0 1268 1 0 0 20 0 2 0 277596566 88391680 6096 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21580 6096 195 432 0 21145 0
[pid=21109/tid=21111] ppid=21107 vsize=86320 CPUtime=12.66 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 4902 0 0 0 1264 2 0 0 20 0 2 0 277596568 88391680 6096 33554432000 4194304 5963574 140736120112592 139781089982456 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86320
[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 21111
/proc/meminfo: memFree=26746892/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=86480 CPUtime=25.48 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 9392 0 0 0 2546 2 0 0 20 0 2 0 277596566 88555520 9239 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21620 9239 195 432 0 21185 0
[pid=21109/tid=21111] ppid=21107 vsize=86480 CPUtime=25.45 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 8045 0 0 0 2542 3 0 0 20 0 2 0 277596568 88555520 9239 33554432000 4194304 5963574 140736120112592 139781089982456 4221120 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) 86480
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 21111
/proc/meminfo: memFree=26731888/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=86720 CPUtime=51.07 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 13357 0 0 0 5101 6 0 0 20 0 2 0 277596566 88801280 13204 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21680 13204 195 432 0 21245 0
[pid=21109/tid=21111] ppid=21107 vsize=86720 CPUtime=51.05 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 12010 0 0 0 5098 7 0 0 20 0 2 0 277596568 88801280 13204 33554432000 4194304 5963574 140736120112592 139781089982504 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) 86720
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21112
/proc/meminfo: memFree=26685640/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=85996 CPUtime=102.24 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 17808 0 0 0 10216 8 0 0 20 0 2 0 277596566 88059904 17565 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 21499 17565 195 432 0 21064 0
[pid=21109/tid=21111] ppid=21107 vsize=85996 CPUtime=102.23 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 16461 0 0 0 10213 10 0 0 20 0 2 0 277596568 88059904 17565 33554432000 4194304 5963574 140736120112592 139781089983416 4399560 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 85996
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21112
/proc/meminfo: memFree=26658024/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=152616 CPUtime=162.21 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 23088 0 0 0 16209 12 0 0 20 0 2 0 277596566 156278784 23250 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 38154 23250 195 432 0 37719 0
[pid=21109/tid=21111] ppid=21107 vsize=152616 CPUtime=162.22 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 21741 0 0 0 16207 15 0 0 20 0 2 0 277596568 156278784 23250 33554432000 4194304 5963574 140736120112592 139781089982456 4392510 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 152616
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21112
/proc/meminfo: memFree=26608392/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=152616 CPUtime=222.2 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 29490 0 0 0 22203 17 0 0 20 0 2 0 277596566 156278784 29652 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 38154 29652 195 432 0 37719 0
[pid=21109/tid=21111] ppid=21107 vsize=152616 CPUtime=222.22 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 28143 0 0 0 22201 21 0 0 20 0 2 0 277596568 156278784 29652 33554432000 4194304 5963574 140736120112592 139781089981976 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 152616
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21112
/proc/meminfo: memFree=26580864/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=218152 CPUtime=282.19 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 35401 0 0 0 28197 22 0 0 20 0 2 0 277596566 223387648 35562 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 54538 35562 195 432 0 54103 0
[pid=21109/tid=21111] ppid=21107 vsize=218152 CPUtime=282.21 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 34054 0 0 0 28194 27 0 0 20 0 2 0 277596568 223387648 35562 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 218152
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21112
/proc/meminfo: memFree=26526304/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=218692 CPUtime=342.17 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 41964 0 0 0 34191 26 0 0 20 0 2 0 277596566 223940608 42117 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 54673 42117 195 432 0 54238 0
[pid=21109/tid=21111] ppid=21107 vsize=218692 CPUtime=342.21 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 40617 0 0 0 34189 32 0 0 20 0 2 0 277596568 223940608 42117 33554432000 4194304 5963574 140736120112592 139781089982456 4399522 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 218692
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 21113
/proc/meminfo: memFree=26500760/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=218692 CPUtime=402.16 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 47179 0 0 0 40186 30 0 0 20 0 2 0 277596566 223940608 47327 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 54673 47327 195 432 0 54238 0
[pid=21109/tid=21111] ppid=21107 vsize=218692 CPUtime=402.21 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 45832 0 0 0 40184 37 0 0 20 0 2 0 277596568 223940608 47327 33554432000 4194304 5963574 140736120112592 139781089981976 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 218692
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21113
/proc/meminfo: memFree=26457824/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=284228 CPUtime=462.1 cores=1,3,5,7
################
# More data... #
################
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 93244 0 0 0 130097 115 0 0 20 0 2 0 277596568 428314624 96622 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 418276
[startup+1362.3 s]
/proc/loadavg: 1.00 1.08 1.44 2/172 21149
/proc/meminfo: memFree=26840376/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=418276 CPUtime=1361.86 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 97539 0 0 0 136086 100 0 0 20 0 2 0 277596566 428314624 99684 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 104569 99684 195 432 0 104134 0
[pid=21109/tid=21111] ppid=21107 vsize=418276 CPUtime=1362.1 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 96192 0 0 0 136089 121 0 0 20 0 2 0 277596568 428314624 99684 33554432000 4194304 5963574 140736120112592 139781089982504 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 418276
[startup+1422.31 s]
/proc/loadavg: 1.00 1.07 1.41 2/172 21149
/proc/meminfo: memFree=26829960/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=483812 CPUtime=1421.86 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 100141 0 0 0 142080 106 0 0 20 0 2 0 277596566 495423488 102286 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 120953 102286 195 432 0 120518 0
[pid=21109/tid=21111] ppid=21107 vsize=483812 CPUtime=1422.11 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 98794 0 0 0 142083 128 0 0 20 0 2 0 277596568 495423488 102286 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 483812
[startup+1482.3 s]
/proc/loadavg: 1.00 1.05 1.39 2/172 21149
/proc/meminfo: memFree=26824752/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=483812 CPUtime=1481.85 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 101551 0 0 0 148077 108 0 0 20 0 2 0 277596566 495423488 103696 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 120953 103696 195 432 0 120518 0
[pid=21109/tid=21111] ppid=21107 vsize=483812 CPUtime=1482.1 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 100204 0 0 0 148080 130 0 0 20 0 2 0 277596568 495423488 103696 33554432000 4194304 5963574 140736120112592 139781089982456 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 483812
[startup+1542.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/172 21149
/proc/meminfo: memFree=26810492/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=483812 CPUtime=1541.83 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 105006 0 0 0 154069 114 0 0 20 0 2 0 277596566 495423488 107151 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 120953 107151 195 432 0 120518 0
[pid=21109/tid=21111] ppid=21107 vsize=483812 CPUtime=1542.1 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 103659 0 0 0 154072 138 0 0 20 0 2 0 277596568 495423488 107151 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 483812
[startup+1602.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/172 21150
/proc/meminfo: memFree=26802348/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=483812 CPUtime=1601.81 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 107035 0 0 0 160063 118 0 0 20 0 2 0 277596566 495423488 109236 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 120953 109236 195 432 0 120518 0
[pid=21109/tid=21111] ppid=21107 vsize=483812 CPUtime=1602.09 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 105688 0 0 0 160066 143 0 0 20 0 2 0 277596568 495423488 109236 33554432000 4194304 5963574 140736120112592 139781089982456 4399546 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 483812
[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.31 2/172 21150
/proc/meminfo: memFree=26792220/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=483812 CPUtime=1661.8 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 109559 0 0 0 166059 121 0 0 20 0 2 0 277596566 495423488 111769 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 120953 111769 195 432 0 120518 0
[pid=21109/tid=21111] ppid=21107 vsize=483812 CPUtime=1662.09 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 108212 0 0 0 166062 147 0 0 20 0 2 0 277596568 495423488 111769 33554432000 4194304 5963574 140736120112592 139781089982504 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 483812
[startup+1722.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/172 21150
/proc/meminfo: memFree=26778084/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=483812 CPUtime=1721.79 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 113011 0 0 0 172052 127 0 0 20 0 2 0 277596566 495423488 115221 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 120953 115221 195 432 0 120518 0
[pid=21109/tid=21111] ppid=21107 vsize=483812 CPUtime=1722.09 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 111664 0 0 0 172055 154 0 0 20 0 2 0 277596568 495423488 115221 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 483812
[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.27 2/173 21176
/proc/meminfo: memFree=26774532/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1781.78 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 113833 0 0 0 178049 129 0 0 20 0 2 0 277596566 496533504 116043 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 116043 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1782.09 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 112486 0 0 0 178053 156 0 0 20 0 2 0 277596568 496533504 116043 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 484896
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.00 1.01 1.26 2/173 21176
/proc/meminfo: memFree=26772000/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1791.39 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 114518 0 0 0 179009 130 0 0 20 0 2 0 277596566 496533504 116728 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 116728 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1791.7 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 113171 0 0 0 179012 158 0 0 20 0 2 0 277596568 496533504 116728 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 484896
[startup+1795.1 s]
/proc/loadavg: 1.00 1.01 1.26 2/173 21176
/proc/meminfo: memFree=26770884/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1794.58 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 114730 0 0 0 179328 130 0 0 20 0 2 0 277596566 496533504 116940 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 116940 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1794.9 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 113383 0 0 0 179332 158 0 0 20 0 2 0 277596568 496533504 116940 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 484896
[startup+1798.3 s]
/proc/loadavg: 1.00 1.01 1.26 2/173 21176
/proc/meminfo: memFree=26770388/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1797.77 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 114910 0 0 0 179647 130 0 0 20 0 2 0 277596566 496533504 117120 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 117120 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1798.09 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 113563 0 0 0 179651 158 0 0 20 0 2 0 277596568 496533504 117120 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 484896
[startup+1799.1 s]
/proc/loadavg: 1.00 1.01 1.26 2/173 21176
/proc/meminfo: memFree=26770264/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1798.57 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 114959 0 0 0 179727 130 0 0 20 0 2 0 277596566 496533504 117169 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 117169 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1798.89 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 113612 0 0 0 179731 158 0 0 20 0 2 0 277596568 496533504 117169 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.57
Current children cumulated vsize (KiB) 484896
[startup+1799.5 s]
/proc/loadavg: 1.00 1.01 1.26 2/173 21176
/proc/meminfo: memFree=26770016/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1798.98 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 114983 0 0 0 179768 130 0 0 20 0 2 0 277596566 496533504 117193 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 117193 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1799.3 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 113636 0 0 0 179772 158 0 0 20 0 2 0 277596568 496533504 117193 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.98
Current children cumulated vsize (KiB) 484896
[startup+1799.9 s]
/proc/loadavg: 1.00 1.01 1.26 2/173 21176
/proc/meminfo: memFree=26770016/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1799.37 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 115003 0 0 0 179807 130 0 0 20 0 2 0 277596566 496533504 117213 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 117213 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1799.69 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 113656 0 0 0 179811 158 0 0 20 0 2 0 277596568 496533504 117213 33554432000 4194304 5963574 140736120112592 139781089982504 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 484896
[startup+1800 s]
/proc/loadavg: 1.00 1.01 1.26 2/173 21176
/proc/meminfo: memFree=26770016/32873844 swapFree=6088/6088
[pid=21109] ppid=21107 vsize=484896 CPUtime=1799.47 cores=1,3,5,7
/proc/21109/stat : 21109 (wbo1.7) S 21107 21109 16852 0 -1 4202496 115009 0 0 0 179817 130 0 0 20 0 2 0 277596566 496533504 117219 33554432000 4194304 5963574 140736120112592 140736120112112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21109/statm: 121224 117219 195 432 0 120789 0
[pid=21109/tid=21111] ppid=21107 vsize=484896 CPUtime=1799.79 cores=1,3,5,7
/proc/21109/task/21111/stat : 21111 (wbo1.7) R 21107 21109 16852 0 -1 4202560 113662 0 0 0 179821 158 0 0 20 0 2 0 277596568 496533504 117219 33554432000 4194304 5963574 140736120112592 139781089982504 4570753 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 484896
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.84
CPU user time (s): 1798.24
CPU system time (s): 1.60076
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 484896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 1.60076
maximum resident set size= 468876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115009
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= 204
involuntary context switches= 2444
runsolver used 3.20051 second user time and 7.47586 second system time
The end