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-3726638-1338661274/watcher-3726638-1338661274 -o /tmp/evaluation-result-3726638-1338661274/solver-3726638-1338661274 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726638-1338661274.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: 1.92 1.99 1.99 3/177 24578
/proc/meminfo: memFree=31103852/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=8364 CPUtime=0 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) R 24576 24578 20708 0 -1 4202496 844 0 0 0 0 0 0 0 20 0 1 0 332255961 8564736 786 33554432000 4194304 5964478 140736993321904 140734737417832 4571568 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 4652 789 171 433 0 4216 0
[pid=24578/tid=24579] ppid=24576 vsize=18608 CPUtime=0 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 2 0 332255961 19054592 789 33554432000 4194304 5964478 140736993321904 140734737417832 5248457 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0164451 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24578
/proc/meminfo: memFree=31103852/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84144 CPUtime=0.01 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 1090 0 0 0 1 0 0 0 20 0 2 0 332255961 86163456 1031 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21036 1031 186 433 0 20600 0
[pid=24578/tid=24579] ppid=24576 vsize=84144 CPUtime=0 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 242 0 0 0 0 0 0 0 20 0 2 0 332255961 86163456 1031 33554432000 4194304 5964478 140736993321904 140734737417832 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 84144
[startup+0.100247 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24578
/proc/meminfo: memFree=31103852/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84144 CPUtime=0.09 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 1353 0 0 0 9 0 0 0 20 0 2 0 332255961 86163456 1294 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21036 1294 186 433 0 20600 0
[pid=24578/tid=24579] ppid=24576 vsize=84144 CPUtime=0.08 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 505 0 0 0 8 0 0 0 20 0 2 0 332255961 86163456 1294 33554432000 4194304 5964478 140736993321904 140473496946488 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84144
[startup+0.300204 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24578
/proc/meminfo: memFree=31103852/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84144 CPUtime=0.29 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 1745 0 0 0 29 0 0 0 20 0 2 0 332255961 86163456 1686 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21036 1686 186 433 0 20600 0
[pid=24578/tid=24579] ppid=24576 vsize=84144 CPUtime=0.28 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 897 0 0 0 28 0 0 0 20 0 2 0 332255961 86163456 1686 33554432000 4194304 5964478 140736993321904 140473496946488 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84144
[startup+0.700211 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 24578
/proc/meminfo: memFree=31103852/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84288 CPUtime=0.69 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 2133 0 0 0 69 0 0 0 20 0 2 0 332255961 86310912 2074 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21072 2074 186 433 0 20636 0
[pid=24578/tid=24579] ppid=24576 vsize=84288 CPUtime=0.68 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 1285 0 0 0 68 0 0 0 20 0 2 0 332255961 86310912 2074 33554432000 4194304 5964478 140736993321904 140473496946488 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84288
[startup+1.5002 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 24580
/proc/meminfo: memFree=31095628/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84288 CPUtime=1.49 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 2624 0 0 0 149 0 0 0 20 0 2 0 332255961 86310912 2565 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21072 2565 186 433 0 20636 0
[pid=24578/tid=24579] ppid=24576 vsize=84288 CPUtime=1.48 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 1776 0 0 0 148 0 0 0 20 0 2 0 332255961 86310912 2565 33554432000 4194304 5964478 140736993321904 140473496946680 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84288
[startup+3.10021 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 24580
/proc/meminfo: memFree=31091528/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84360 CPUtime=3.08 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 3554 0 0 0 308 0 0 0 20 0 2 0 332255961 86384640 3495 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21090 3495 186 433 0 20654 0
[pid=24578/tid=24579] ppid=24576 vsize=84360 CPUtime=3.08 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 2706 0 0 0 308 0 0 0 20 0 2 0 332255961 86384640 3495 33554432000 4194304 5964478 140736993321904 140473496946488 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84360
[startup+6.30022 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 24580
/proc/meminfo: memFree=31085096/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84468 CPUtime=6.29 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 4803 0 0 0 628 1 0 0 20 0 2 0 332255961 86495232 4744 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21117 4744 186 433 0 20681 0
[pid=24578/tid=24579] ppid=24576 vsize=84468 CPUtime=6.28 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 3955 0 0 0 627 1 0 0 20 0 2 0 332255961 86495232 4744 33554432000 4194304 5964478 140736993321904 140473496946488 4400812 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84468
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 24580
/proc/meminfo: memFree=31076052/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84468 CPUtime=12.68 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 6463 0 0 0 1267 1 0 0 20 0 2 0 332255961 86495232 6404 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21117 6404 186 433 0 20681 0
[pid=24578/tid=24579] ppid=24576 vsize=84468 CPUtime=12.68 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 5615 0 0 0 1266 2 0 0 20 0 2 0 332255961 86495232 6404 33554432000 4194304 5964478 140736993321904 140473496946728 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84468
[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 24580
/proc/meminfo: memFree=31062420/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84628 CPUtime=25.49 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 9101 0 0 0 2547 2 0 0 20 0 2 0 332255961 86659072 9042 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21157 9042 186 433 0 20721 0
[pid=24578/tid=24579] ppid=24576 vsize=84628 CPUtime=25.48 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 8253 0 0 0 2545 3 0 0 20 0 2 0 332255961 86659072 9042 33554432000 4194304 5964478 140736993321904 140473496946680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84628
[startup+51.1002 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 24580
/proc/meminfo: memFree=31041116/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=84868 CPUtime=51.08 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 12506 0 0 0 5103 5 0 0 20 0 2 0 332255961 86904832 12447 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 21217 12447 186 433 0 20781 0
[pid=24578/tid=24579] ppid=24576 vsize=84868 CPUtime=51.08 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 11658 0 0 0 5102 6 0 0 20 0 2 0 332255961 86904832 12447 33554432000 4194304 5964478 140736993321904 140473496946488 4388824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84868
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 24580
/proc/meminfo: memFree=31001428/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=150692 CPUtime=102.28 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 17587 0 0 0 10221 7 0 0 20 0 2 0 332255961 154308608 17528 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 37673 17528 186 433 0 37237 0
[pid=24578/tid=24579] ppid=24576 vsize=150692 CPUtime=102.28 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 16739 0 0 0 10219 9 0 0 20 0 2 0 332255961 154308608 17528 33554432000 4194304 5964478 140736993321904 140473496946680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 150692
[startup+162.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 24581
/proc/meminfo: memFree=30957576/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=151124 CPUtime=162.26 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 22120 0 0 0 16215 11 0 0 20 0 2 0 332255961 154750976 22061 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 37781 22061 186 433 0 37345 0
[pid=24578/tid=24579] ppid=24576 vsize=151124 CPUtime=162.28 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 21272 0 0 0 16214 14 0 0 20 0 2 0 332255961 154750976 22061 33554432000 4194304 5964478 140736993321904 140473496946488 4400446 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 151124
[startup+222.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 24581
/proc/meminfo: memFree=30915404/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=152636 CPUtime=222.26 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 25514 0 0 0 22211 15 0 0 20 0 2 0 332255961 156299264 25455 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 38159 25455 186 433 0 37723 0
[pid=24578/tid=24579] ppid=24576 vsize=152636 CPUtime=222.27 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 24666 0 0 0 22208 19 0 0 20 0 2 0 332255961 156299264 25455 33554432000 4194304 5964478 140736993321904 140473496946488 4400470 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 152636
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24582
/proc/meminfo: memFree=30890852/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=153212 CPUtime=282.24 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 28178 0 0 0 28208 16 0 0 20 0 2 0 332255961 156889088 28114 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 38303 28114 186 433 0 37867 0
[pid=24578/tid=24579] ppid=24576 vsize=153212 CPUtime=282.27 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 27330 0 0 0 28206 21 0 0 20 0 2 0 332255961 156889088 28114 33554432000 4194304 5964478 140736993321904 140473496946552 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 153212
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 24621
/proc/meminfo: memFree=31533664/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=154488 CPUtime=342.22 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 32051 0 0 0 34201 21 0 0 20 0 2 0 332255961 158195712 32186 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 38622 32186 186 433 0 38186 0
[pid=24578/tid=24579] ppid=24576 vsize=154488 CPUtime=342.25 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 31203 0 0 0 34198 27 0 0 20 0 2 0 332255961 158195712 32186 33554432000 4194304 5964478 140736993321904 140473496946488 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 154488
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24621
/proc/meminfo: memFree=31471156/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=223752 CPUtime=402.18 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 36127 0 0 0 40193 25 0 0 20 0 2 0 332255961 229122048 37060 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 69868 0 0 0 130127 89 0 0 20 0 2 0 332255961 320790528 71861 33554432000 4194304 5964478 140736993321904 140473496946488 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 313272
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24669
/proc/meminfo: memFree=31123752/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=379348 CPUtime=1361.98 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 72719 0 0 0 136126 72 0 0 20 0 2 0 332255961 388452352 73864 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 94837 73864 186 433 0 94401 0
[pid=24578/tid=24579] ppid=24576 vsize=379348 CPUtime=1362.15 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 71871 0 0 0 136122 93 0 0 20 0 2 0 332255961 388452352 73864 33554432000 4194304 5964478 140736993321904 140473496946728 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 379348
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24669
/proc/meminfo: memFree=31105764/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=379960 CPUtime=1421.97 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 73574 0 0 0 142125 72 0 0 20 0 2 0 332255961 389079040 74719 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 94990 74719 186 433 0 94554 0
[pid=24578/tid=24579] ppid=24576 vsize=379960 CPUtime=1422.16 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 72726 0 0 0 142122 94 0 0 20 0 2 0 332255961 389079040 74719 33554432000 4194304 5964478 140736993321904 140473496946680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 379960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24670
/proc/meminfo: memFree=31088992/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=380872 CPUtime=1481.96 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 77027 0 0 0 148117 79 0 0 20 0 2 0 332255961 390012928 78172 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 95218 78172 186 433 0 94782 0
[pid=24578/tid=24579] ppid=24576 vsize=380872 CPUtime=1482.15 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 76179 0 0 0 148113 102 0 0 20 0 2 0 332255961 390012928 78172 33554432000 4194304 5964478 140736993321904 140473496946680 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 380872
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24671
/proc/meminfo: memFree=31077700/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=382728 CPUtime=1541.96 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 79699 0 0 0 154113 83 0 0 20 0 2 0 332255961 391913472 80840 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 95682 80840 186 433 0 95246 0
[pid=24578/tid=24579] ppid=24576 vsize=382728 CPUtime=1542.15 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 78851 0 0 0 154108 107 0 0 20 0 2 0 332255961 391913472 80840 33554432000 4194304 5964478 140736993321904 140473496946680 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 382728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24671
/proc/meminfo: memFree=31073988/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=383268 CPUtime=1601.94 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 80628 0 0 0 160110 84 0 0 20 0 2 0 332255961 392466432 81769 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 95817 81769 186 433 0 95381 0
[pid=24578/tid=24579] ppid=24576 vsize=383268 CPUtime=1602.15 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 79780 0 0 0 160106 109 0 0 20 0 2 0 332255961 392466432 81769 33554432000 4194304 5964478 140736993321904 140473496946680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 383268
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 24671
/proc/meminfo: memFree=31064904/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=384240 CPUtime=1661.92 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 82616 0 0 0 166105 87 0 0 20 0 2 0 332255961 393461760 83776 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96060 83776 186 433 0 95624 0
[pid=24578/tid=24579] ppid=24576 vsize=384240 CPUtime=1662.13 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 81768 0 0 0 166100 113 0 0 20 0 2 0 332255961 393461760 83776 33554432000 4194304 5964478 140736993321904 140473496946728 4392723 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 384240
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 24671
/proc/meminfo: memFree=31053612/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385700 CPUtime=1721.91 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 85189 0 0 0 172101 90 0 0 20 0 2 0 332255961 394956800 86357 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96425 86357 186 433 0 95989 0
[pid=24578/tid=24579] ppid=24576 vsize=385700 CPUtime=1722.13 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 84341 0 0 0 172096 117 0 0 20 0 2 0 332255961 394956800 86357 33554432000 4194304 5964478 140736993321904 140473496946728 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 385700
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24675
/proc/meminfo: memFree=31036988/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1781.9 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86893 0 0 0 178098 92 0 0 20 0 2 0 332255961 395104256 88061 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88061 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1782.13 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86045 0 0 0 178093 120 0 0 20 0 2 0 332255961 395104256 88061 33554432000 4194304 5964478 140736993321904 140473496946680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 385844
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31034888/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1791.5 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86897 0 0 0 179058 92 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88065 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1791.74 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86049 0 0 0 179054 120 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140473496946680 4400038 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (KiB) 385844
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31033772/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1794.7 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86897 0 0 0 179378 92 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88065 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1794.94 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86049 0 0 0 179374 120 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140473496946680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.7
Current children cumulated vsize (KiB) 385844
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31032780/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1797.89 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86897 0 0 0 179697 92 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88065 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1798.13 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86049 0 0 0 179693 120 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140473496946680 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 385844
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31032036/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1798.69 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86897 0 0 0 179777 92 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88065 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1798.93 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86049 0 0 0 179773 120 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140473496946680 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.69
Current children cumulated vsize (KiB) 385844
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31031788/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1799.1 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86897 0 0 0 179818 92 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88065 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1799.34 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86049 0 0 0 179814 120 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140473496946680 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.1
Current children cumulated vsize (KiB) 385844
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31031788/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1799.49 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86897 0 0 0 179857 92 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88065 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1799.73 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86049 0 0 0 179853 120 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140473496946680 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.49
Current children cumulated vsize (KiB) 385844
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24675
/proc/meminfo: memFree=31031788/32873844 swapFree=7116/7116
[pid=24578] ppid=24576 vsize=385844 CPUtime=1799.59 cores=1,3,5,7
/proc/24578/stat : 24578 (pwbo2.02) S 24576 24578 20708 0 -1 4202496 86897 0 0 0 179867 92 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140736993321424 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24578/statm: 96461 88065 186 433 0 96025 0
[pid=24578/tid=24579] ppid=24576 vsize=385844 CPUtime=1799.83 cores=1,3,5,7
/proc/24578/task/24579/stat : 24579 (pwbo2.02) R 24576 24578 20708 0 -1 4202560 86049 0 0 0 179863 120 0 0 20 0 2 0 332255961 395104256 88065 33554432000 4194304 5964478 140736993321904 140473496946680 4400831 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.59
Current children cumulated vsize (KiB) 385844
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.86
CPU user time (s): 1798.64
CPU system time (s): 1.21581
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 385844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.64
system time used= 1.21582
maximum resident set size= 352272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86900
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= 149
involuntary context switches= 1845
runsolver used 2.99854 second user time and 8.47671 second system time
The end