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-3704262-1338093461/watcher-3704262-1338093461 -o /tmp/evaluation-result-3704262-1338093461/solver-3704262-1338093461 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704262-1338093461.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: 2.00 2.00 2.00 3/177 6474
/proc/meminfo: memFree=28234524/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=83952 CPUtime=0 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 930 0 0 0 0 0 0 0 20 0 2 0 275472839 85966848 877 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 20988 877 188 433 0 20552 0
[pid=6474/tid=6475] ppid=6472 vsize=83952 CPUtime=0 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 149 0 0 0 0 0 0 0 20 0 2 0 275472840 85966848 877 33554432000 4194304 5965102 140734498258096 140733720303800 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0273891 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6474
/proc/meminfo: memFree=28234524/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=83952 CPUtime=0.02 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 1004 0 0 0 2 0 0 0 20 0 2 0 275472839 85966848 951 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 20988 951 190 433 0 20552 0
[pid=6474/tid=6475] ppid=6472 vsize=83952 CPUtime=0.01 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 223 0 0 0 1 0 0 0 20 0 2 0 275472840 85966848 951 33554432000 4194304 5965102 140734498258096 140733720303800 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83952
[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6474
/proc/meminfo: memFree=28234524/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=83952 CPUtime=0.09 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 1209 0 0 0 9 0 0 0 20 0 2 0 275472839 85966848 1156 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 20988 1156 190 433 0 20552 0
[pid=6474/tid=6475] ppid=6472 vsize=83952 CPUtime=0.08 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 428 0 0 0 8 0 0 0 20 0 2 0 275472840 85966848 1156 33554432000 4194304 5965102 140734498258096 140733720303800 5137076 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) 83952
[startup+0.300224 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6474
/proc/meminfo: memFree=28234524/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=83952 CPUtime=0.29 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 1679 0 0 0 29 0 0 0 20 0 2 0 275472839 85966848 1626 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 20988 1627 190 433 0 20552 0
[pid=6474/tid=6475] ppid=6472 vsize=83952 CPUtime=0.28 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 899 0 0 0 28 0 0 0 20 0 2 0 275472840 85966848 1627 33554432000 4194304 5965102 140734498258096 140733720303800 5137076 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) 83952
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6474
/proc/meminfo: memFree=28234524/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=83952 CPUtime=0.69 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 2497 0 0 0 69 0 0 0 20 0 2 0 275472839 85966848 2444 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 20988 2444 190 433 0 20552 0
[pid=6474/tid=6475] ppid=6472 vsize=83952 CPUtime=0.68 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 1716 0 0 0 68 0 0 0 20 0 2 0 275472840 85966848 2444 33554432000 4194304 5965102 140734498258096 140232088258552 4401143 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) 83952
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6476
/proc/meminfo: memFree=28223340/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=83952 CPUtime=1.49 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 4046 0 0 0 149 0 0 0 20 0 2 0 275472839 85966848 3993 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 20988 3993 190 433 0 20552 0
[pid=6474/tid=6475] ppid=6472 vsize=83952 CPUtime=1.48 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 3265 0 0 0 148 0 0 0 20 0 2 0 275472840 85966848 3993 33554432000 4194304 5965102 140734498258096 140232088258552 4220672 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) 83952
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6476
/proc/meminfo: memFree=28218008/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=84096 CPUtime=3.09 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 4849 0 0 0 308 1 0 0 20 0 2 0 275472839 86114304 4796 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 21024 4796 190 433 0 20588 0
[pid=6474/tid=6475] ppid=6472 vsize=84096 CPUtime=3.08 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 4068 0 0 0 308 0 0 0 20 0 2 0 275472840 86114304 4796 33554432000 4194304 5965102 140734498258096 140232088258360 4401026 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) 84096
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6476
/proc/meminfo: memFree=28208584/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=84168 CPUtime=6.29 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 7249 0 0 0 627 2 0 0 20 0 2 0 275472839 86188032 7196 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 21042 7196 190 433 0 20606 0
[pid=6474/tid=6475] ppid=6472 vsize=84168 CPUtime=6.28 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 6468 0 0 0 626 2 0 0 20 0 2 0 275472840 86188032 7196 33554432000 4194304 5965102 140734498258096 140232088258552 4382704 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) 84168
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6476
/proc/meminfo: memFree=28195240/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=84168 CPUtime=12.69 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 9878 0 0 0 1267 2 0 0 20 0 2 0 275472839 86188032 9825 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 21042 9825 190 433 0 20606 0
[pid=6474/tid=6475] ppid=6472 vsize=84168 CPUtime=12.69 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 9097 0 0 0 1266 3 0 0 20 0 2 0 275472840 86188032 9825 33554432000 4194304 5965102 140734498258096 140232088258552 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84168
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6476
/proc/meminfo: memFree=28171928/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=84276 CPUtime=25.49 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 16099 0 0 0 2545 4 0 0 20 0 2 0 275472839 86298624 16046 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 21069 16046 190 433 0 20633 0
[pid=6474/tid=6475] ppid=6472 vsize=84276 CPUtime=25.49 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 15318 0 0 0 2544 5 0 0 20 0 2 0 275472840 86298624 16046 33554432000 4194304 5965102 140734498258096 140232088258360 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84276
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6476
/proc/meminfo: memFree=28118540/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=149972 CPUtime=51.08 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 23079 0 0 0 5102 6 0 0 20 0 2 0 275472839 153571328 23026 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 37493 23026 190 433 0 37057 0
[pid=6474/tid=6475] ppid=6472 vsize=149972 CPUtime=51.08 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 22298 0 0 0 5101 7 0 0 20 0 2 0 275472840 153571328 23026 33554432000 4194304 5965102 140734498258096 140232088258360 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 149972
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6476
/proc/meminfo: memFree=28096412/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=150716 CPUtime=102.28 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 27648 0 0 0 10220 8 0 0 20 0 2 0 275472839 154333184 27595 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 37679 27595 190 433 0 37243 0
[pid=6474/tid=6475] ppid=6472 vsize=150716 CPUtime=102.29 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 26867 0 0 0 10219 10 0 0 20 0 2 0 275472840 154333184 27595 33554432000 4194304 5965102 140734498258096 140232088258360 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150716
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6479
/proc/meminfo: memFree=28055740/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=217152 CPUtime=162.27 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 37757 0 0 0 16215 12 0 0 20 0 2 0 275472839 222363648 37704 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 54288 37704 190 433 0 53852 0
[pid=6474/tid=6475] ppid=6472 vsize=217152 CPUtime=162.29 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 36976 0 0 0 16215 14 0 0 20 0 2 0 275472840 222363648 37704 33554432000 4194304 5965102 140734498258096 140232088258600 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 217152
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6480
/proc/meminfo: memFree=27931460/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=217152 CPUtime=222.26 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 44731 0 0 0 22212 14 0 0 20 0 2 0 275472839 222363648 44678 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 54288 44678 190 433 0 53852 0
[pid=6474/tid=6475] ppid=6472 vsize=217152 CPUtime=222.3 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 43950 0 0 0 22212 18 0 0 20 0 2 0 275472840 222363648 44678 33554432000 4194304 5965102 140734498258096 140232088258552 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 217152
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6480
/proc/meminfo: memFree=27855200/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=283696 CPUtime=282.24 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 58455 0 0 0 28205 19 0 0 20 0 2 0 275472839 290504704 58402 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 70924 58402 190 433 0 70488 0
[pid=6474/tid=6475] ppid=6472 vsize=283696 CPUtime=282.3 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 57674 0 0 0 28206 24 0 0 20 0 2 0 275472840 290504704 58402 33554432000 4194304 5965102 140734498258096 140232088258360 4383069 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 283696
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6480
/proc/meminfo: memFree=27849412/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=284776 CPUtime=342.21 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 59771 0 0 0 34201 20 0 0 20 0 2 0 275472839 291610624 59832 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 71194 59832 190 433 0 70758 0
[pid=6474/tid=6475] ppid=6472 vsize=284776 CPUtime=342.27 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 58990 0 0 0 34201 26 0 0 20 0 2 0 275472840 291610624 59832 33554432000 4194304 5965102 140734498258096 140232088258600 4382742 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 284776
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6480
/proc/meminfo: memFree=27824900/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=284776 CPUtime=402.17 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 59819 0 0 0 40197 20 0 0 20 0 2 0 275472839 291610624 59992 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 109440 0 0 0 130159 67 0 0 20 0 2 0 275472840 514826240 111290 33554432000 4194304 5965102 140734498258096 140232088258552 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 502760
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 6528
/proc/meminfo: memFree=28099660/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=572792 CPUtime=1361.96 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 121513 0 0 0 136141 55 0 0 20 0 2 0 275472839 586539008 122597 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 143198 122597 190 433 0 142762 0
[pid=6474/tid=6475] ppid=6472 vsize=572792 CPUtime=1362.23 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 120732 0 0 0 136148 75 0 0 20 0 2 0 275472840 586539008 122597 33554432000 4194304 5965102 140734498258096 140232088258552 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 572792
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6551
/proc/meminfo: memFree=28047688/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=575236 CPUtime=1421.94 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 127798 0 0 0 142135 59 0 0 20 0 2 0 275472839 589041664 128876 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 143809 128876 190 433 0 143373 0
[pid=6474/tid=6475] ppid=6472 vsize=575236 CPUtime=1422.23 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 127017 0 0 0 142142 81 0 0 20 0 2 0 275472840 589041664 128876 33554432000 4194304 5965102 140734498258096 140232088258552 4401475 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 575236
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 6552
/proc/meminfo: memFree=28024612/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=575416 CPUtime=1481.93 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 127831 0 0 0 148134 59 0 0 20 0 2 0 275472839 589225984 128909 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 143854 128909 190 433 0 143418 0
[pid=6474/tid=6475] ppid=6472 vsize=575416 CPUtime=1482.23 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 127050 0 0 0 148141 82 0 0 20 0 2 0 275472840 589225984 128909 33554432000 4194304 5965102 140734498258096 140232088258600 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 575416
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6552
/proc/meminfo: memFree=27996152/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=575416 CPUtime=1541.92 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 127840 0 0 0 154133 59 0 0 20 0 2 0 275472839 589225984 128921 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 143854 128921 190 433 0 143418 0
[pid=6474/tid=6475] ppid=6472 vsize=575416 CPUtime=1542.23 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 127059 0 0 0 154140 83 0 0 20 0 2 0 275472840 589225984 128921 33554432000 4194304 5965102 140734498258096 140232088258600 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 575416
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6552
/proc/meminfo: memFree=27976444/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=576444 CPUtime=1601.91 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 128033 0 0 0 160132 59 0 0 20 0 2 0 275472839 590278656 129114 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144111 129114 190 433 0 143675 0
[pid=6474/tid=6475] ppid=6472 vsize=576444 CPUtime=1602.24 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 127252 0 0 0 160140 84 0 0 20 0 2 0 275472840 590278656 129114 33554432000 4194304 5965102 140734498258096 140232088258600 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 576444
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6553
/proc/meminfo: memFree=27914888/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=578424 CPUtime=1661.9 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 132588 0 0 0 166127 63 0 0 20 0 2 0 275472839 592306176 133669 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144606 133669 190 433 0 144170 0
[pid=6474/tid=6475] ppid=6472 vsize=578424 CPUtime=1662.24 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 131807 0 0 0 166135 89 0 0 20 0 2 0 275472840 592306176 133669 33554432000 4194304 5965102 140734498258096 140232088258552 4401155 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 578424
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 6553
/proc/meminfo: memFree=27905880/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=578820 CPUtime=1721.89 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133900 0 0 0 172125 64 0 0 20 0 2 0 275472839 592711680 134981 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144705 134981 190 433 0 144269 0
[pid=6474/tid=6475] ppid=6472 vsize=578820 CPUtime=1722.24 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133119 0 0 0 172133 91 0 0 20 0 2 0 275472840 592711680 134981 33554432000 4194304 5965102 140734498258096 140232088258600 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 578820
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6554
/proc/meminfo: memFree=27891144/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1781.88 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133949 0 0 0 178124 64 0 0 20 0 2 0 275472839 592932864 135029 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135029 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1782.24 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133168 0 0 0 178132 92 0 0 20 0 2 0 275472840 592932864 135029 33554432000 4194304 5965102 140734498258096 140232088258600 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 579036
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 6554
/proc/meminfo: memFree=27887548/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1791.48 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133950 0 0 0 179084 64 0 0 20 0 2 0 275472839 592932864 135030 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135030 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1791.84 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133169 0 0 0 179092 92 0 0 20 0 2 0 275472840 592932864 135030 33554432000 4194304 5965102 140734498258096 140232088258600 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 579036
[startup+1795.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6554
/proc/meminfo: memFree=27886184/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1794.68 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133950 0 0 0 179404 64 0 0 20 0 2 0 275472839 592932864 135030 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135030 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1795.04 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133169 0 0 0 179412 92 0 0 20 0 2 0 275472840 592932864 135030 33554432000 4194304 5965102 140734498258096 140232088258600 4401143 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 579036
[startup+1798.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 6554
/proc/meminfo: memFree=27885440/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1797.87 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133950 0 0 0 179723 64 0 0 20 0 2 0 275472839 592932864 135030 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135030 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1798.24 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133169 0 0 0 179732 92 0 0 20 0 2 0 275472840 592932864 135030 33554432000 4194304 5965102 140734498258096 140232088258600 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 579036
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6554
/proc/meminfo: memFree=27885068/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1798.67 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133950 0 0 0 179803 64 0 0 20 0 2 0 275472839 592932864 135030 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135030 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1799.04 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133169 0 0 0 179812 92 0 0 20 0 2 0 275472840 592932864 135030 33554432000 4194304 5965102 140734498258096 140232088258600 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 579036
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6554
/proc/meminfo: memFree=27884696/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1799.08 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133950 0 0 0 179844 64 0 0 20 0 2 0 275472839 592932864 135030 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135030 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1799.44 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133169 0 0 0 179852 92 0 0 20 0 2 0 275472840 592932864 135030 33554432000 4194304 5965102 140734498258096 140232088258600 4389260 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 579036
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6554
/proc/meminfo: memFree=27884696/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1799.47 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133950 0 0 0 179883 64 0 0 20 0 2 0 275472839 592932864 135030 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135030 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1799.84 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133169 0 0 0 179892 92 0 0 20 0 2 0 275472840 592932864 135030 33554432000 4194304 5965102 140734498258096 140232088258600 4401131 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 579036
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 6554
/proc/meminfo: memFree=27884696/32873648 swapFree=6844/6844
[pid=6474] ppid=6472 vsize=579036 CPUtime=1799.57 cores=0,2,4,6
/proc/6474/stat : 6474 (pwbo2.0) S 6472 6474 5668 0 -1 4202496 133950 0 0 0 179893 64 0 0 20 0 2 0 275472839 592932864 135030 33554432000 4194304 5965102 140734498258096 140734498257616 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6474/statm: 144759 135030 190 433 0 144323 0
[pid=6474/tid=6475] ppid=6472 vsize=579036 CPUtime=1799.94 cores=0,2,4,6
/proc/6474/task/6475/stat : 6475 (pwbo2.0) R 6472 6474 5668 0 -1 4202560 133169 0 0 0 179902 92 0 0 20 0 2 0 275472840 592932864 135030 33554432000 4194304 5965102 140734498258096 140232088258600 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 579036
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.96
CPU user time (s): 1799.03
CPU system time (s): 0.935857
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 579036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 0.935857
maximum resident set size= 540132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133953
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= 214
involuntary context switches= 1983
runsolver used 2.6446 second user time and 7.18391 second system time
The end