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-3728062-1338651857/watcher-3728062-1338651857 -o /tmp/evaluation-result-3728062-1338651857/solver-3728062-1338651857 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3728062-1338651857.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.61 1.75 3/177 22193
/proc/meminfo: memFree=28221372/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=83940 CPUtime=0 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 958 0 0 0 0 0 0 0 20 0 2 0 331314324 85954560 901 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 20985 902 192 433 0 20549 0
[pid=22193/tid=22194] ppid=22191 vsize=83940 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 158 0 0 0 0 0 0 0 20 0 2 0 331314324 85954560 904 33554432000 4194304 5964350 140735834687824 140733396250088 5244231 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0134041 s]
/proc/loadavg: 1.92 1.61 1.75 3/177 22193
/proc/meminfo: memFree=28221372/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=83940 CPUtime=0.01 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 1006 0 0 0 1 0 0 0 20 0 2 0 331314324 85954560 949 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 20985 949 196 433 0 20549 0
[pid=22193/tid=22194] ppid=22191 vsize=83940 CPUtime=0 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 203 0 0 0 0 0 0 0 20 0 2 0 331314324 85954560 949 33554432000 4194304 5964350 140735834687824 140733396250088 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 83940
[startup+0.100334 s]
/proc/loadavg: 1.92 1.61 1.75 3/177 22193
/proc/meminfo: memFree=28221372/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=83940 CPUtime=0.09 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 1315 0 0 0 9 0 0 0 20 0 2 0 331314324 85954560 1258 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 20985 1258 197 433 0 20549 0
[pid=22193/tid=22194] ppid=22191 vsize=83940 CPUtime=0.08 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 512 0 0 0 8 0 0 0 20 0 2 0 331314324 85954560 1258 33554432000 4194304 5964350 140735834687824 140733396250088 4391432 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83940
[startup+0.3003 s]
/proc/loadavg: 1.92 1.61 1.75 3/177 22193
/proc/meminfo: memFree=28221372/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=83940 CPUtime=0.29 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 1772 0 0 0 29 0 0 0 20 0 2 0 331314324 85954560 1715 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 20985 1715 197 433 0 20549 0
[pid=22193/tid=22194] ppid=22191 vsize=83940 CPUtime=0.28 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 969 0 0 0 28 0 0 0 20 0 2 0 331314324 85954560 1715 33554432000 4194304 5964350 140735834687824 140733396250088 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83940
[startup+0.700303 s]
/proc/loadavg: 1.92 1.61 1.75 3/177 22193
/proc/meminfo: memFree=28221372/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=83940 CPUtime=0.69 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 2461 0 0 0 69 0 0 0 20 0 2 0 331314324 85954560 2404 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 20985 2404 197 433 0 20549 0
[pid=22193/tid=22194] ppid=22191 vsize=83940 CPUtime=0.68 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 1658 0 0 0 68 0 0 0 20 0 2 0 331314324 85954560 2404 33554432000 4194304 5964350 140735834687824 139774275639096 4400477 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83940
[startup+1.50027 s]
/proc/loadavg: 1.92 1.61 1.75 3/179 22195
/proc/meminfo: memFree=28208972/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=84084 CPUtime=1.49 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 3007 0 0 0 149 0 0 0 20 0 2 0 331314324 86102016 2950 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 21021 2950 197 433 0 20585 0
[pid=22193/tid=22194] ppid=22191 vsize=84084 CPUtime=1.48 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 2204 0 0 0 148 0 0 0 20 0 2 0 331314324 86102016 2950 33554432000 4194304 5964350 140735834687824 139774275638808 4400377 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84084
[startup+3.10027 s]
/proc/loadavg: 1.92 1.61 1.75 3/179 22195
/proc/meminfo: memFree=28203508/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=84156 CPUtime=3.09 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 3798 0 0 0 309 0 0 0 20 0 2 0 331314324 86175744 3741 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 21039 3741 197 433 0 20603 0
[pid=22193/tid=22194] ppid=22191 vsize=84156 CPUtime=3.08 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 2995 0 0 0 308 0 0 0 20 0 2 0 331314324 86175744 3741 33554432000 4194304 5964350 140735834687824 139774275639288 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84156
[startup+6.3003 s]
/proc/loadavg: 1.93 1.62 1.75 3/179 22195
/proc/meminfo: memFree=28186132/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=84264 CPUtime=6.29 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 6343 0 0 0 628 1 0 0 20 0 2 0 331314324 86286336 6286 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 21066 6286 197 433 0 20630 0
[pid=22193/tid=22194] ppid=22191 vsize=84264 CPUtime=6.28 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 5540 0 0 0 627 1 0 0 20 0 2 0 331314324 86286336 6286 33554432000 4194304 5964350 140735834687824 139774275638808 5135537 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84264
[startup+12.7003 s]
/proc/loadavg: 1.93 1.63 1.75 3/179 22195
/proc/meminfo: memFree=28171524/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=84424 CPUtime=12.68 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 8684 0 0 0 1267 1 0 0 20 0 2 0 331314324 86450176 8627 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 21106 8627 197 433 0 20670 0
[pid=22193/tid=22194] ppid=22191 vsize=84424 CPUtime=12.68 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 7881 0 0 0 1266 2 0 0 20 0 2 0 331314324 86450176 8627 33554432000 4194304 5964350 140735834687824 139774275639096 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84424
[startup+25.5003 s]
/proc/loadavg: 1.95 1.64 1.75 3/179 22246
/proc/meminfo: memFree=28210404/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=84952 CPUtime=25.48 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 12592 0 0 0 2546 2 0 0 20 0 2 0 331314324 86990848 12535 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 21238 12535 197 433 0 20802 0
[pid=22193/tid=22194] ppid=22191 vsize=84952 CPUtime=25.48 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 11789 0 0 0 2545 3 0 0 20 0 2 0 331314324 86990848 12535 33554432000 4194304 5964350 140735834687824 139774275639096 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84952
[startup+51.1003 s]
/proc/loadavg: 2.02 1.69 1.77 3/179 22246
/proc/meminfo: memFree=28132640/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=150632 CPUtime=51.07 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 20632 0 0 0 5101 6 0 0 20 0 2 0 331314324 154247168 20598 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 37658 20598 197 433 0 37222 0
[pid=22193/tid=22194] ppid=22191 vsize=150632 CPUtime=51.06 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 19829 0 0 0 5100 6 0 0 20 0 2 0 331314324 154247168 20598 33554432000 4194304 5964350 140735834687824 139774275638808 4393728 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150632
[startup+102.306 s]
/proc/loadavg: 2.01 1.73 1.77 3/179 22246
/proc/meminfo: memFree=28033448/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=155024 CPUtime=102.25 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 33034 0 0 0 10213 12 0 0 20 0 2 0 331314324 158744576 33337 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 38756 33337 197 433 0 38320 0
[pid=22193/tid=22194] ppid=22191 vsize=155024 CPUtime=102.25 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 32231 0 0 0 10212 13 0 0 20 0 2 0 331314324 158744576 33337 33554432000 4194304 5964350 140735834687824 139774275639096 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 155024
[startup+162.3 s]
/proc/loadavg: 2.00 1.78 1.79 3/179 22297
/proc/meminfo: memFree=27961476/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=228892 CPUtime=162.24 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 40446 0 0 0 16209 15 0 0 20 0 2 0 331314324 234385408 40735 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 57223 40735 197 433 0 56787 0
[pid=22193/tid=22194] ppid=22191 vsize=228892 CPUtime=162.24 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 39643 0 0 0 16206 18 0 0 20 0 2 0 331314324 234385408 40735 33554432000 4194304 5964350 140735834687824 139774275639096 4399858 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 228892
[startup+222.3 s]
/proc/loadavg: 2.00 1.82 1.80 3/179 22297
/proc/meminfo: memFree=27923088/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=231752 CPUtime=222.19 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 49798 0 0 0 22197 22 0 0 20 0 2 0 331314324 237314048 50276 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 57938 50276 197 433 0 57502 0
[pid=22193/tid=22194] ppid=22191 vsize=231752 CPUtime=222.2 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 48995 0 0 0 22194 26 0 0 20 0 2 0 331314324 237314048 50276 33554432000 4194304 5964350 140735834687824 139774275639096 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 231752
[startup+282.3 s]
/proc/loadavg: 2.03 1.86 1.82 3/179 22298
/proc/meminfo: memFree=27888988/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=304344 CPUtime=282.18 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 57542 0 0 0 28193 25 0 0 20 0 2 0 331314324 311648256 58020 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 76086 58020 197 433 0 75650 0
[pid=22193/tid=22194] ppid=22191 vsize=304344 CPUtime=282.2 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 56739 0 0 0 28190 30 0 0 20 0 2 0 331314324 311648256 58020 33554432000 4194304 5964350 140735834687824 139774275638808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 304344
[startup+342.3 s]
/proc/loadavg: 2.01 1.88 1.82 3/179 22298
/proc/meminfo: memFree=27840164/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=307152 CPUtime=342.16 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 64609 0 0 0 34187 29 0 0 20 0 2 0 331314324 314523648 65087 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 76788 65087 197 433 0 76352 0
[pid=22193/tid=22194] ppid=22191 vsize=307152 CPUtime=342.2 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 63806 0 0 0 34185 35 0 0 20 0 2 0 331314324 314523648 65087 33554432000 4194304 5964350 140735834687824 139774275638808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 307152
[startup+402.3 s]
/proc/loadavg: 2.00 1.90 1.83 3/180 22301
/proc/meminfo: memFree=27798680/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=309520 CPUtime=402.15 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 70197 0 0 0 40181 34 0 0 20 0 2 0 331314324 316948480 70671 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 118459 0 0 0 100123 84 0 0 20 0 2 0 331314324 540991488 120397 33554432000 4194304 5964350 140735834687824 139774275638808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 528312
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/180 22329
/proc/meminfo: memFree=27425280/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=528784 CPUtime=1061.94 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 123168 0 0 0 106122 72 0 0 20 0 2 0 331314324 541474816 124303 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 132196 124303 197 433 0 131760 0
[pid=22193/tid=22194] ppid=22191 vsize=528784 CPUtime=1062.07 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 122365 0 0 0 106118 89 0 0 20 0 2 0 331314324 541474816 124303 33554432000 4194304 5964350 140735834687824 139774275639288 4379312 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 528784
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 22329
/proc/meminfo: memFree=27419304/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=530268 CPUtime=1121.94 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 124216 0 0 0 112120 74 0 0 20 0 2 0 331314324 542994432 125351 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 132567 125351 197 433 0 132131 0
[pid=22193/tid=22194] ppid=22191 vsize=530268 CPUtime=1122.07 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 123413 0 0 0 112115 92 0 0 20 0 2 0 331314324 542994432 125351 33554432000 4194304 5964350 140735834687824 139774275639288 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 530268
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22330
/proc/meminfo: memFree=27388800/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=597024 CPUtime=1181.92 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 132054 0 0 0 118114 78 0 0 20 0 2 0 331314324 611352576 133189 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 149256 133189 197 433 0 148820 0
[pid=22193/tid=22194] ppid=22191 vsize=597024 CPUtime=1182.07 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 131251 0 0 0 118111 96 0 0 20 0 2 0 331314324 611352576 133189 33554432000 4194304 5964350 140735834687824 139774275638808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 597024
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22330
/proc/meminfo: memFree=27352192/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=597168 CPUtime=1241.91 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 140891 0 0 0 124105 86 0 0 20 0 2 0 331314324 611500032 142026 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 149292 142026 197 433 0 148856 0
[pid=22193/tid=22194] ppid=22191 vsize=597168 CPUtime=1242.06 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 140088 0 0 0 124101 105 0 0 20 0 2 0 331314324 611500032 142026 33554432000 4194304 5964350 140735834687824 139774275638808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 597168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22330
/proc/meminfo: memFree=27349556/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=597276 CPUtime=1301.85 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 141562 0 0 0 130098 87 0 0 20 0 2 0 331314324 611610624 142682 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 149319 142682 197 433 0 148883 0
[pid=22193/tid=22194] ppid=22191 vsize=597276 CPUtime=1302.01 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 140759 0 0 0 130095 106 0 0 20 0 2 0 331314324 611610624 142682 33554432000 4194304 5964350 140735834687824 139774275638808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 597276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22330
/proc/meminfo: memFree=27339544/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=666624 CPUtime=1361.82 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 143504 0 0 0 136094 88 0 0 20 0 2 0 331314324 682622976 144662 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 166656 144662 197 433 0 166220 0
[pid=22193/tid=22194] ppid=22191 vsize=666624 CPUtime=1361.99 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 142701 0 0 0 136090 109 0 0 20 0 2 0 331314324 682622976 144662 33554432000 4194304 5964350 140735834687824 139774275638808 4399998 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 666624
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22330
/proc/meminfo: memFree=27313008/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=667020 CPUtime=1421.82 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 147187 0 0 0 142089 93 0 0 20 0 2 0 331314324 683028480 148345 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 166755 148345 197 433 0 166319 0
[pid=22193/tid=22194] ppid=22191 vsize=667020 CPUtime=1421.99 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 146384 0 0 0 142084 115 0 0 20 0 2 0 331314324 683028480 148345 33554432000 4194304 5964350 140735834687824 139774275638808 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 667020
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27283992/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=667888 CPUtime=1481.8 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 148084 96 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 166972 151219 197 433 0 166536 0
[pid=22193/tid=22194] ppid=22191 vsize=667888 CPUtime=1481.98 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 148079 119 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 139774275638808 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 667888
Solver just ended. Dumping a history of the last processes samples
[startup+1484.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27283620/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=667888 CPUtime=1484.2 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 148324 96 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 166972 151219 197 433 0 166536 0
[pid=22193/tid=22194] ppid=22191 vsize=667888 CPUtime=1484.38 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 148319 119 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 139774275638808 4403367 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1484.2
Current children cumulated vsize (KiB) 667888
[startup+1491.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27282008/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=667888 CPUtime=1490.6 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 148964 96 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 166972 151219 197 433 0 166536 0
[pid=22193/tid=22194] ppid=22191 vsize=667888 CPUtime=1490.78 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 148959 119 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 139774275638808 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1490.6
Current children cumulated vsize (KiB) 667888
[startup+1492.71 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27280892/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=667888 CPUtime=1492.21 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 149125 96 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 166972 151219 197 433 0 166536 0
[pid=22193/tid=22194] ppid=22191 vsize=667888 CPUtime=1492.39 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 149120 119 0 0 20 0 2 0 331314324 683917312 151219 33554432000 4194304 5964350 140735834687824 139774275639832 4482908 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1492.21
Current children cumulated vsize (KiB) 667888
[startup+1493.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27280892/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=667384 CPUtime=1493 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 149204 96 0 0 20 0 2 0 331314324 683401216 151121 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 166846 151121 197 433 0 166410 0
[pid=22193/tid=22194] ppid=22191 vsize=667384 CPUtime=1493.18 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 149199 119 0 0 20 0 2 0 331314324 683401216 151121 33554432000 4194304 5964350 140735834687824 139774275640248 5122320 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1493
Current children cumulated vsize (KiB) 667384
[startup+1493.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27280644/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=608228 CPUtime=1493.4 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 149244 96 0 0 20 0 2 0 331314324 622825472 138983 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 152057 138983 197 433 0 151621 0
[pid=22193/tid=22194] ppid=22191 vsize=608228 CPUtime=1493.58 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 149239 119 0 0 20 0 2 0 331314324 622825472 138983 33554432000 4194304 5964350 140735834687824 139774275640248 4403418 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1493.4
Current children cumulated vsize (KiB) 608228
[startup+1494.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27280644/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=608228 CPUtime=1493.8 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 149284 96 0 0 20 0 2 0 331314324 622825472 138983 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 152057 138983 197 433 0 151621 0
[pid=22193/tid=22194] ppid=22191 vsize=608228 CPUtime=1493.98 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 149279 119 0 0 20 0 2 0 331314324 622825472 138983 33554432000 4194304 5964350 140735834687824 139774275640248 4400009 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1493.8
Current children cumulated vsize (KiB) 608228
[startup+1494.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 22331
/proc/meminfo: memFree=27280644/32873844 swapFree=7116/7116
[pid=22193] ppid=22191 vsize=608228 CPUtime=1493.9 cores=0,2,4,6
/proc/22193/stat : 22193 (wbo1.72) S 22191 22193 19272 0 -1 4202496 150061 0 0 0 149294 96 0 0 20 0 2 0 331314324 622825472 138983 33554432000 4194304 5964350 140735834687824 140735834687344 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22193/statm: 152057 138983 197 433 0 151621 0
[pid=22193/tid=22194] ppid=22191 vsize=608228 CPUtime=1494.08 cores=0,2,4,6
/proc/22193/task/22194/stat : 22194 (wbo1.72) R 22191 22193 19272 0 -1 4202560 149258 0 0 0 149289 119 0 0 20 0 2 0 331314324 622825472 138983 33554432000 4194304 5964350 140735834687824 139774275640248 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1493.9
Current children cumulated vsize (KiB) 608228
Child status: 255
Real time (s): 1494.45
CPU time (s): 1494.15
CPU user time (s): 1492.95
CPU system time (s): 1.20582
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 667888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1492.95
system time used= 1.20582
maximum resident set size= 604876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150064
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= 255
involuntary context switches= 1526
runsolver used 6.41902 second user time and 14.3818 second system time
The end