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-3705655-1338110553/watcher-3705655-1338110553 -o /tmp/evaluation-result-3705655-1338110553/solver-3705655-1338110553 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705655-1338110553.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 20183
/proc/meminfo: memFree=24666828/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=4228 CPUtime=0 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) R 20181 20183 16852 0 -1 4202496 538 0 0 0 0 0 0 0 20 0 1 0 277183897 4329472 491 33554432000 4194304 5963574 140737175187568 140736760972056 4344320 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 1057 491 176 432 0 568 0
[startup+0.0393791 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20183
/proc/meminfo: memFree=24666828/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85536 CPUtime=0.03 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 2130 0 0 0 3 0 0 0 20 0 2 0 277183897 87588864 2029 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21384 2029 192 432 0 20949 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 85536
[startup+0.100183 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20183
/proc/meminfo: memFree=24666828/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85536 CPUtime=0.09 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 2335 0 0 0 9 0 0 0 20 0 2 0 277183897 87588864 2234 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21384 2234 194 432 0 20949 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85536
[startup+0.300111 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20183
/proc/meminfo: memFree=24666828/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85536 CPUtime=0.29 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 2409 0 0 0 29 0 0 0 20 0 2 0 277183897 87588864 2308 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21384 2308 194 432 0 20949 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85536
[startup+0.700113 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20183
/proc/meminfo: memFree=24666828/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85536 CPUtime=0.69 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 2983 0 0 0 69 0 0 0 20 0 2 0 277183897 87588864 2882 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21384 2882 194 432 0 20949 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85536
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20185
/proc/meminfo: memFree=24654824/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85536 CPUtime=1.49 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 4192 0 0 0 148 1 0 0 20 0 2 0 277183897 87588864 4091 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21384 4091 194 432 0 20949 0
[pid=20183/tid=20185] ppid=20181 vsize=85536 CPUtime=1.46 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 2968 0 0 0 146 0 0 0 20 0 2 0 277183898 87588864 4091 33554432000 4194304 5963574 140737175187568 140702869428264 5135572 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) 85536
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20185
/proc/meminfo: memFree=24647736/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85680 CPUtime=3.09 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 5891 0 0 0 308 1 0 0 20 0 2 0 277183897 87736320 5790 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21420 5790 194 432 0 20985 0
[pid=20183/tid=20185] ppid=20181 vsize=85680 CPUtime=3.06 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 4667 0 0 0 305 1 0 0 20 0 2 0 277183898 87736320 5790 33554432000 4194304 5963574 140737175187568 140702869428024 4392341 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) 85680
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20185
/proc/meminfo: memFree=24643520/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85536 CPUtime=6.28 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 6722 0 0 0 627 1 0 0 20 0 2 0 277183897 87588864 6595 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21384 6595 194 432 0 20949 0
[pid=20183/tid=20185] ppid=20181 vsize=85536 CPUtime=6.26 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 5498 0 0 0 625 1 0 0 20 0 2 0 277183898 87588864 6595 33554432000 4194304 5963574 140737175187568 140702869427736 4388696 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) 85536
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20185
/proc/meminfo: memFree=24623572/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=85752 CPUtime=12.68 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 11744 0 0 0 1265 3 0 0 20 0 2 0 277183897 87810048 11617 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 21438 11617 194 432 0 21003 0
[pid=20183/tid=20185] ppid=20181 vsize=85752 CPUtime=12.66 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 10520 0 0 0 1263 3 0 0 20 0 2 0 277183898 87810048 11617 33554432000 4194304 5963574 140737175187568 140702869428024 5135572 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) 85752
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20185
/proc/meminfo: memFree=24581768/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=151396 CPUtime=25.49 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 21517 0 0 0 2542 7 0 0 20 0 2 0 277183897 155029504 21390 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 37849 21390 194 432 0 37414 0
[pid=20183/tid=20185] ppid=20181 vsize=151396 CPUtime=25.46 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 20293 0 0 0 2539 7 0 0 20 0 2 0 277183898 155029504 21390 33554432000 4194304 5963574 140737175187568 140702869428216 4399451 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 151396
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20185
/proc/meminfo: memFree=24517264/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=217308 CPUtime=51.07 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 37896 0 0 0 5095 12 0 0 20 0 2 0 277183897 222523392 37769 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 54327 37769 194 432 0 53892 0
[pid=20183/tid=20185] ppid=20181 vsize=217308 CPUtime=51.06 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 36672 0 0 0 5093 13 0 0 20 0 2 0 277183898 222523392 37769 33554432000 4194304 5963574 140737175187568 140702869427736 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) 217308
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20237
/proc/meminfo: memFree=26901460/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=283084 CPUtime=102.24 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 54538 0 0 0 10204 20 0 0 20 0 2 0 277183897 289878016 54430 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 70771 54430 194 432 0 70336 0
[pid=20183/tid=20185] ppid=20181 vsize=283084 CPUtime=102.24 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 53314 0 0 0 10202 22 0 0 20 0 2 0 277183898 289878016 54430 33554432000 4194304 5963574 140737175187568 140702869428216 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 283084
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20237
/proc/meminfo: memFree=26838248/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=282144 CPUtime=162.18 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 60873 0 0 0 16194 24 0 0 20 0 2 0 277183897 288915456 60445 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 70536 60445 194 432 0 70101 0
[pid=20183/tid=20185] ppid=20181 vsize=282144 CPUtime=162.2 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 59649 0 0 0 16193 27 0 0 20 0 2 0 277183898 288915456 60445 33554432000 4194304 5963574 140737175187568 140702869429176 4222474 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 282144
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20237
/proc/meminfo: memFree=26743992/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=282144 CPUtime=222.16 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 60943 0 0 0 22192 24 0 0 20 0 2 0 277183897 288915456 60755 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 70536 60755 194 432 0 70101 0
[pid=20183/tid=20185] ppid=20181 vsize=282144 CPUtime=222.19 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 59719 0 0 0 22191 28 0 0 20 0 2 0 277183898 288915456 60755 33554432000 4194304 5963574 140737175187568 140702869429176 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 282144
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20238
/proc/meminfo: memFree=26726840/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=282144 CPUtime=282.16 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 65725 0 0 0 28190 26 0 0 20 0 2 0 277183897 288915456 65537 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 70536 65537 194 432 0 70101 0
[pid=20183/tid=20185] ppid=20181 vsize=282144 CPUtime=282.19 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 64501 0 0 0 28188 31 0 0 20 0 2 0 277183898 288915456 65537 33554432000 4194304 5963574 140737175187568 140702869428024 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 282144
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20238
/proc/meminfo: memFree=26608616/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=414300 CPUtime=342.15 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 93485 0 0 0 34178 37 0 0 20 0 2 0 277183897 424243200 93297 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 103575 93297 194 432 0 103140 0
[pid=20183/tid=20185] ppid=20181 vsize=414300 CPUtime=342.19 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 92261 0 0 0 34176 43 0 0 20 0 2 0 277183898 424243200 93297 33554432000 4194304 5963574 140737175187568 140702869428024 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 414300
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20290
/proc/meminfo: memFree=26688884/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=414300 CPUtime=402.09 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 94847 0 0 0 40172 37 0 0 20 0 2 0 277183897 424243200 94641 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 103575 94641 194 432 0 103140 0
[pid=20183/tid=20185] ppid=20181 vsize=414300 CPUtime=402.16 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 93623 0 0 0 40172 44 0 0 20 0 2 0 277183898 424243200 94641 33554432000 4194304 5963574 140737175187568 140702869428216 4389588 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 414300
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20293
/proc/meminfo: memFree=26602936/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=479836 CPUtime=462.04 cores=1,3,5,7
################
# More data... #
################
/proc/20183/statm: 251166 231937 194 432 0 250731 0
[pid=20183/tid=20185] ppid=20181 vsize=1004664 CPUtime=1302.03 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 230028 0 0 0 130072 131 0 0 20 0 2 0 277183898 1028775936 231937 33554432000 4194304 5963574 140737175187568 140702869428216 4378847 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 1004664
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20299
/proc/meminfo: memFree=25625200/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1004664 CPUtime=1361.76 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 231546 0 0 0 136065 111 0 0 20 0 2 0 277183897 1028775936 232228 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 251166 232228 194 432 0 250731 0
[pid=20183/tid=20185] ppid=20181 vsize=1004664 CPUtime=1362.03 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 230322 0 0 0 136071 132 0 0 20 0 2 0 277183898 1028775936 232228 33554432000 4194304 5963574 140737175187568 140702869428024 5129973 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1004664
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20299
/proc/meminfo: memFree=25609376/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1004664 CPUtime=1421.76 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 235432 0 0 0 142061 115 0 0 20 0 2 0 277183897 1028775936 236113 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 251166 236113 194 432 0 250731 0
[pid=20183/tid=20185] ppid=20181 vsize=1004664 CPUtime=1422.04 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 234208 0 0 0 142067 137 0 0 20 0 2 0 277183898 1028775936 236113 33554432000 4194304 5963574 140737175187568 140702869428264 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1004664
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20300
/proc/meminfo: memFree=25592012/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1004664 CPUtime=1481.74 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 239785 0 0 0 148056 118 0 0 20 0 2 0 277183897 1028775936 240465 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 251166 240465 194 432 0 250731 0
[pid=20183/tid=20185] ppid=20181 vsize=1004664 CPUtime=1482.04 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 238561 0 0 0 148063 141 0 0 20 0 2 0 277183898 1028775936 240465 33554432000 4194304 5963574 140737175187568 140702869428024 4399627 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 1004664
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20300
/proc/meminfo: memFree=25590896/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1004664 CPUtime=1541.73 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 240076 0 0 0 154055 118 0 0 20 0 2 0 277183897 1028775936 240756 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 251166 240756 194 432 0 250731 0
[pid=20183/tid=20185] ppid=20181 vsize=1004664 CPUtime=1542.04 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 238852 0 0 0 154062 142 0 0 20 0 2 0 277183898 1028775936 240756 33554432000 4194304 5963574 140737175187568 140702869428024 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1004664
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20300
/proc/meminfo: memFree=25585108/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1004664 CPUtime=1601.71 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 241614 0 0 0 160051 120 0 0 20 0 2 0 277183897 1028775936 242345 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 251166 242345 194 432 0 250731 0
[pid=20183/tid=20185] ppid=20181 vsize=1004664 CPUtime=1602.03 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 240390 0 0 0 160058 145 0 0 20 0 2 0 277183898 1028775936 242345 33554432000 4194304 5963574 140737175187568 140702869428216 4400052 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1004664
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 20303
/proc/meminfo: memFree=25549588/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1070200 CPUtime=1661.67 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 248087 0 0 0 166041 126 0 0 20 0 2 0 277183897 1095884800 249615 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 267550 249615 194 432 0 267115 0
[pid=20183/tid=20185] ppid=20181 vsize=1070200 CPUtime=1661.99 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 246863 0 0 0 166047 152 0 0 20 0 2 0 277183898 1095884800 249615 33554432000 4194304 5963574 140737175187568 140702869428088 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 1070200
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20303
/proc/meminfo: memFree=25473256/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1072092 CPUtime=1721.62 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 254100 0 0 0 172031 131 0 0 20 0 2 0 277183897 1097822208 255596 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 268023 255596 194 432 0 267588 0
[pid=20183/tid=20185] ppid=20181 vsize=1072092 CPUtime=1721.96 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 252876 0 0 0 172038 158 0 0 20 0 2 0 277183898 1097822208 255596 33554432000 4194304 5963574 140737175187568 140702869428024 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1072092
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25397200/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1138712 CPUtime=1781.59 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 263945 0 0 0 178021 138 0 0 20 0 2 0 277183897 1166041088 265330 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 284678 265330 194 432 0 284243 0
[pid=20183/tid=20185] ppid=20181 vsize=1138712 CPUtime=1781.95 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 262721 0 0 0 178029 166 0 0 20 0 2 0 277183898 1166041088 265330 33554432000 4194304 5963574 140737175187568 140702869427736 4388646 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 1138712
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25380460/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1138712 CPUtime=1791.2 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 268002 0 0 0 178981 139 0 0 20 0 2 0 277183897 1166041088 269387 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 284678 269387 194 432 0 284243 0
[pid=20183/tid=20185] ppid=20181 vsize=1138712 CPUtime=1791.55 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 266778 0 0 0 178988 167 0 0 20 0 2 0 277183898 1166041088 269387 33554432000 4194304 5963574 140737175187568 140702869428216 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 1138712
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25377236/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1138712 CPUtime=1794.41 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 268801 0 0 0 179301 140 0 0 20 0 2 0 277183897 1166041088 270186 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 284678 270186 194 432 0 284243 0
[pid=20183/tid=20185] ppid=20181 vsize=1138712 CPUtime=1794.75 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 267577 0 0 0 179308 167 0 0 20 0 2 0 277183898 1166041088 270186 33554432000 4194304 5963574 140737175187568 140702869428216 4402947 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 1138712
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25374508/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1138712 CPUtime=1797.6 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 269642 0 0 0 179620 140 0 0 20 0 2 0 277183897 1166041088 271027 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 284678 271027 194 432 0 284243 0
[pid=20183/tid=20185] ppid=20181 vsize=1138712 CPUtime=1797.95 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 268418 0 0 0 179627 168 0 0 20 0 2 0 277183898 1166041088 271027 33554432000 4194304 5963574 140737175187568 140702869428216 4389743 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1138712
[startup+1799.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25373764/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1138712 CPUtime=1798.39 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 269879 0 0 0 179699 140 0 0 20 0 2 0 277183897 1166041088 271264 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 284678 271264 194 432 0 284243 0
[pid=20183/tid=20185] ppid=20181 vsize=1138712 CPUtime=1798.75 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 268655 0 0 0 179707 168 0 0 20 0 2 0 277183898 1166041088 271264 33554432000 4194304 5963574 140737175187568 140702869428216 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.39
Current children cumulated vsize (KiB) 1138712
[startup+1799.5 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25372152/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1138712 CPUtime=1798.8 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 270032 0 0 0 179740 140 0 0 20 0 2 0 277183897 1166041088 271417 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 284678 271417 194 432 0 284243 0
[pid=20183/tid=20185] ppid=20181 vsize=1138712 CPUtime=1799.15 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 268808 0 0 0 179747 168 0 0 20 0 2 0 277183898 1166041088 271417 33554432000 4194304 5963574 140737175187568 140702869428216 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.8
Current children cumulated vsize (KiB) 1138712
[startup+1799.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25372152/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=1138712 CPUtime=1799.19 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) S 20181 20183 16852 0 -1 4202496 270169 0 0 0 179779 140 0 0 20 0 2 0 277183897 1166041088 271554 33554432000 4194304 5963574 140737175187568 140737175187088 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 284678 271554 194 432 0 284243 0
[pid=20183/tid=20185] ppid=20181 vsize=1138712 CPUtime=1799.55 cores=1,3,5,7
/proc/20183/task/20185/stat : 20185 (wbo1.7) R 20181 20183 16852 0 -1 4202560 268945 0 0 0 179787 168 0 0 20 0 2 0 277183898 1166041088 271554 33554432000 4194304 5963574 140737175187568 140702869428216 4403231 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (KiB) 1138712
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20304
/proc/meminfo: memFree=25372152/32873844 swapFree=6088/6088
[pid=20183] ppid=20181 vsize=0 CPUtime=1799.68 cores=1,3,5,7
/proc/20183/stat : 20183 (wbo1.7) R 20181 20183 16852 0 -1 4203524 270207 0 0 0 179799 169 0 0 20 0 1 0 277183897 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20183/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (KiB) 0
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.7
CPU user time (s): 1797.99
CPU system time (s): 1.70574
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 1138712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 1.70574
maximum resident set size= 1086368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270207
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= 450
involuntary context switches= 2286
runsolver used 3.61845 second user time and 9.65953 second system time
The end