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-3713204-1338211419/watcher-3713204-1338211419 -o /tmp/evaluation-result-3713204-1338211419/solver-3713204-1338211419 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713204-1338211419.wbo
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.98 1.99 3/177 20009
/proc/meminfo: memFree=30274424/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84176 CPUtime=0 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 965 0 0 0 0 0 0 0 20 0 2 0 287267948 86196224 910 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21044 910 178 433 0 20608 0
[pid=20009/tid=20010] ppid=20007 vsize=84176 CPUtime=0 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 2 0 287267949 86196224 910 33554432000 4194304 5964318 140735501619344 140734517388424 4303035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0984661 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20009
/proc/meminfo: memFree=30274424/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84176 CPUtime=0.09 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 1381 0 0 0 9 0 0 0 20 0 2 0 287267948 86196224 1326 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21044 1326 194 433 0 20608 0
[pid=20009/tid=20010] ppid=20007 vsize=84176 CPUtime=0.08 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 530 0 0 0 8 0 0 0 20 0 2 0 287267949 86196224 1326 33554432000 4194304 5964318 140735501619344 140734517388424 4221984 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) 84176
[startup+0.100187 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20009
/proc/meminfo: memFree=30274424/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84176 CPUtime=0.09 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 1385 0 0 0 9 0 0 0 20 0 2 0 287267948 86196224 1330 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21044 1330 194 433 0 20608 0
[pid=20009/tid=20010] ppid=20007 vsize=84176 CPUtime=0.08 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 534 0 0 0 8 0 0 0 20 0 2 0 287267949 86196224 1330 33554432000 4194304 5964318 140735501619344 140734517388424 5136324 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) 84176
[startup+0.300263 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20009
/proc/meminfo: memFree=30274424/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84176 CPUtime=0.29 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 1861 0 0 0 29 0 0 0 20 0 2 0 287267948 86196224 1806 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21044 1806 194 433 0 20608 0
[pid=20009/tid=20010] ppid=20007 vsize=84176 CPUtime=0.28 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 1010 0 0 0 28 0 0 0 20 0 2 0 287267949 86196224 1806 33554432000 4194304 5964318 140735501619344 139991088297976 5136324 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) 84176
[startup+0.70026 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20009
/proc/meminfo: memFree=30274424/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84176 CPUtime=0.69 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 2749 0 0 0 69 0 0 0 20 0 2 0 287267948 86196224 2694 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21044 2694 194 433 0 20608 0
[pid=20009/tid=20010] ppid=20007 vsize=84176 CPUtime=0.68 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 1898 0 0 0 68 0 0 0 20 0 2 0 287267949 86196224 2694 33554432000 4194304 5964318 140735501619344 139991088297976 5136324 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) 84176
[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30263016/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84176 CPUtime=1.49 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 4165 0 0 0 149 0 0 0 20 0 2 0 287267948 86196224 4110 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21044 4110 194 433 0 20608 0
[pid=20009/tid=20010] ppid=20007 vsize=84176 CPUtime=1.48 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 3314 0 0 0 148 0 0 0 20 0 2 0 287267949 86196224 4110 33554432000 4194304 5964318 140735501619344 139991088297976 5136324 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) 84176
[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30254212/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84320 CPUtime=3.08 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 5543 0 0 0 308 0 0 0 20 0 2 0 287267948 86343680 5488 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21080 5488 194 433 0 20644 0
[pid=20009/tid=20010] ppid=20007 vsize=84320 CPUtime=3.08 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 4692 0 0 0 308 0 0 0 20 0 2 0 287267949 86343680 5488 33554432000 4194304 5964318 140735501619344 139991088297976 4221984 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) 84320
[startup+6.30026 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30247088/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84320 CPUtime=6.29 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 8157 0 0 0 628 1 0 0 20 0 2 0 287267948 86343680 8102 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21080 8102 194 433 0 20644 0
[pid=20009/tid=20010] ppid=20007 vsize=84320 CPUtime=6.28 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 7306 0 0 0 626 2 0 0 20 0 2 0 287267949 86343680 8102 33554432000 4194304 5964318 140735501619344 139991088297976 5136324 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) 84320
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30228536/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=84392 CPUtime=12.69 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 11594 0 0 0 1266 3 0 0 20 0 2 0 287267948 86417408 11539 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 21098 11539 194 433 0 20662 0
[pid=20009/tid=20010] ppid=20007 vsize=84392 CPUtime=12.68 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 10743 0 0 0 1265 3 0 0 20 0 2 0 287267949 86417408 11539 33554432000 4194304 5964318 140735501619344 139991088297784 5142862 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84392
[startup+25.5001 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30200588/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=150036 CPUtime=25.48 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 18481 0 0 0 2543 5 0 0 20 0 2 0 287267948 153636864 18426 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 37509 18426 194 433 0 37073 0
[pid=20009/tid=20010] ppid=20007 vsize=150036 CPUtime=25.48 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 17630 0 0 0 2542 6 0 0 20 0 2 0 287267949 153636864 18426 33554432000 4194304 5964318 140735501619344 139991088297976 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 150036
[startup+51.1002 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30173372/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=150196 CPUtime=51.08 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 25350 0 0 0 5101 7 0 0 20 0 2 0 287267948 153800704 25295 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 37549 25295 194 433 0 37113 0
[pid=20009/tid=20010] ppid=20007 vsize=150196 CPUtime=51.08 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 24499 0 0 0 5100 8 0 0 20 0 2 0 287267949 153800704 25295 33554432000 4194304 5964318 140735501619344 139991088297976 4399995 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) 150196
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30125644/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=215972 CPUtime=102.28 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 36727 0 0 0 10217 11 0 0 20 0 2 0 287267948 221155328 36672 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 53993 36672 194 433 0 53557 0
[pid=20009/tid=20010] ppid=20007 vsize=215972 CPUtime=102.29 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 35876 0 0 0 10216 13 0 0 20 0 2 0 287267949 221155328 36672 33554432000 4194304 5964318 140735501619344 139991088297976 4221120 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) 215972
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20012
/proc/meminfo: memFree=30062324/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=281508 CPUtime=162.23 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 50597 0 0 0 16207 16 0 0 20 0 2 0 287267948 288264192 50612 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 70377 50612 194 433 0 69941 0
[pid=20009/tid=20010] ppid=20007 vsize=281508 CPUtime=162.25 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 49746 0 0 0 16206 19 0 0 20 0 2 0 287267949 288264192 50612 33554432000 4194304 5964318 140735501619344 139991088297784 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 281508
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 20013
/proc/meminfo: memFree=30039904/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=281940 CPUtime=222.2 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 54694 0 0 0 22202 18 0 0 20 0 2 0 287267948 288706560 54748 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 70485 54748 194 433 0 70049 0
[pid=20009/tid=20010] ppid=20007 vsize=281940 CPUtime=222.22 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 53843 0 0 0 22200 22 0 0 20 0 2 0 287267949 288706560 54748 33554432000 4194304 5964318 140735501619344 139991088297976 4391291 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 281940
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20013
/proc/meminfo: memFree=30010428/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=281940 CPUtime=282.18 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 59559 0 0 0 28199 19 0 0 20 0 2 0 287267948 288706560 60522 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 70485 60522 194 433 0 70049 0
[pid=20009/tid=20010] ppid=20007 vsize=281940 CPUtime=282.22 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 58708 0 0 0 28198 24 0 0 20 0 2 0 287267949 288706560 60522 33554432000 4194304 5964318 140735501619344 139991088297976 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 281940
[startup+342.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/179 20013
/proc/meminfo: memFree=29920296/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=348988 CPUtime=342.17 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 80586 0 0 0 34191 26 0 0 20 0 2 0 287267948 357363712 81549 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 87247 81549 194 433 0 86811 0
[pid=20009/tid=20010] ppid=20007 vsize=348988 CPUtime=342.22 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 79735 0 0 0 34190 32 0 0 20 0 2 0 287267949 357363712 81549 33554432000 4194304 5964318 140735501619344 139991088297976 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 348988
[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/180 20016
/proc/meminfo: memFree=29912852/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=348988 CPUtime=402.15 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 80622 0 0 0 40189 26 0 0 20 0 2 0 287267948 357363712 81566 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 143149 0 0 0 130134 81 0 0 20 0 2 0 287267949 635162624 145180 33554432000 4194304 5964318 140735501619344 139991088298024 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 620276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20102
/proc/meminfo: memFree=29822400/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=620276 CPUtime=1361.96 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 144000 0 0 0 136135 61 0 0 20 0 2 0 287267948 635162624 145180 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 155069 145180 194 433 0 154633 0
[pid=20009/tid=20010] ppid=20007 vsize=620276 CPUtime=1362.14 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 143149 0 0 0 136132 82 0 0 20 0 2 0 287267949 635162624 145180 33554432000 4194304 5964318 140735501619344 139991088298024 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 620276
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20103
/proc/meminfo: memFree=29809208/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=620276 CPUtime=1421.96 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 144000 0 0 0 142135 61 0 0 20 0 2 0 287267948 635162624 145180 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 155069 145180 194 433 0 154633 0
[pid=20009/tid=20010] ppid=20007 vsize=620276 CPUtime=1422.15 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 143149 0 0 0 142132 83 0 0 20 0 2 0 287267949 635162624 145180 33554432000 4194304 5964318 140735501619344 139991088298024 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 620276
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20103
/proc/meminfo: memFree=29798792/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=620348 CPUtime=1481.95 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 144003 0 0 0 148134 61 0 0 20 0 2 0 287267948 635236352 145183 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 155087 145183 194 433 0 154651 0
[pid=20009/tid=20010] ppid=20007 vsize=620348 CPUtime=1482.14 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 143152 0 0 0 148130 84 0 0 20 0 2 0 287267949 635236352 145183 33554432000 4194304 5964318 140735501619344 139991088298024 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 620348
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20103
/proc/meminfo: memFree=29792716/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=620420 CPUtime=1541.94 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 144024 0 0 0 154133 61 0 0 20 0 2 0 287267948 635310080 145204 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 155105 145204 194 433 0 154669 0
[pid=20009/tid=20010] ppid=20007 vsize=620420 CPUtime=1542.14 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 143173 0 0 0 154129 85 0 0 20 0 2 0 287267949 635310080 145204 33554432000 4194304 5964318 140735501619344 139991088298024 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 620420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20106
/proc/meminfo: memFree=29789348/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=620420 CPUtime=1601.93 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 144024 0 0 0 160132 61 0 0 20 0 2 0 287267948 635310080 145204 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 155105 145204 194 433 0 154669 0
[pid=20009/tid=20010] ppid=20007 vsize=620420 CPUtime=1602.14 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 143173 0 0 0 160128 86 0 0 20 0 2 0 287267949 635310080 145204 33554432000 4194304 5964318 140735501619344 139991088298024 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 620420
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29760700/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=621696 CPUtime=1661.92 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 149717 0 0 0 166128 64 0 0 20 0 2 0 287267948 636616704 150897 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 155424 150897 194 433 0 154988 0
[pid=20009/tid=20010] ppid=20007 vsize=621696 CPUtime=1662.14 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 148866 0 0 0 166124 90 0 0 20 0 2 0 287267949 636616704 150897 33554432000 4194304 5964318 140735501619344 139991088297976 4399971 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) 621696
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29718512/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=689928 CPUtime=1721.9 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 159633 0 0 0 172116 74 0 0 20 0 2 0 287267948 706486272 160811 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172482 160811 194 433 0 172046 0
[pid=20009/tid=20010] ppid=20007 vsize=689928 CPUtime=1722.13 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 158782 0 0 0 172112 101 0 0 20 0 2 0 287267949 706486272 160811 33554432000 4194304 5964318 140735501619344 139991088297976 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 689928
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29698300/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1781.89 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 178113 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1782.13 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 178109 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 690312
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 20107
/proc/meminfo: memFree=29694456/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1791.5 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 179074 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1791.74 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 179070 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4220672 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) 690312
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29693592/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1794.7 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 179394 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1794.94 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 179390 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4399960 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) 690312
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29692476/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1797.89 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 179713 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1798.13 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 179709 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4399960 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) 690312
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29692104/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1798.69 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 179793 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1798.93 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 179789 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4399971 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) 690312
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29691856/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1799.1 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 179834 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1799.34 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 179830 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4399991 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) 690312
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29691856/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1799.49 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 179873 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1799.73 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 179869 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4400007 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) 690312
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20107
/proc/meminfo: memFree=29691856/32873648 swapFree=6860/6860
[pid=20009] ppid=20007 vsize=690312 CPUtime=1799.59 cores=1,3,5,7
/proc/20009/stat : 20009 (wbo1.71) S 20007 20009 18639 0 -1 4202496 162552 0 0 0 179883 76 0 0 20 0 2 0 287267948 706879488 163730 33554432000 4194304 5964318 140735501619344 140735501618864 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20009/statm: 172578 163730 194 433 0 172142 0
[pid=20009/tid=20010] ppid=20007 vsize=690312 CPUtime=1799.83 cores=1,3,5,7
/proc/20009/task/20010/stat : 20010 (wbo1.71) R 20007 20009 18639 0 -1 4202560 161701 0 0 0 179879 104 0 0 20 0 2 0 287267949 706879488 163730 33554432000 4194304 5964318 140735501619344 139991088297976 4221120 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) 690312
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.86
CPU user time (s): 1798.8
CPU system time (s): 1.05684
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 690312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.05684
maximum resident set size= 654932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162555
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= 203
involuntary context switches= 1957
runsolver used 3.02754 second user time and 7.78782 second system time
The end