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-3725816-1338653520/watcher-3725816-1338653520 -o /tmp/evaluation-result-3725816-1338653520/solver-3725816-1338653520 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3725816-1338653520.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: 4.00 4.00 3.57 2/171 22514
/proc/meminfo: memFree=28036332/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=162616 CPUtime=0 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 893 0 0 0 0 0 0 0 20 0 3 0 331478727 166518784 839 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 40654 844 173 433 0 40218 0
[pid=22514/tid=22515] ppid=22512 vsize=162616 CPUtime=0 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) D 22512 22514 20635 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 3 0 331478728 166518784 850 33554432000 4194304 5964478 140734913667408 139791049755064 5244295 0 0 4096 16387 18446744071581355491 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=162616 CPUtime=0 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 3 0 331478728 166518784 852 33554432000 4194304 5964478 140734913667408 139791039265208 5133673 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[startup+0.0083141 s]
/proc/loadavg: 4.00 4.00 3.57 2/171 22514
/proc/meminfo: memFree=28036332/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=162968 CPUtime=0 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 1155 0 0 0 0 0 0 0 20 0 3 0 331478727 166879232 1101 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 40742 1103 203 433 0 40306 0
[pid=22514/tid=22515] ppid=22512 vsize=162968 CPUtime=0 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 3 0 331478728 166879232 1104 33554432000 4194304 5964478 140734913667408 139791049755160 4429734 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=162968 CPUtime=0 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 217 0 0 0 0 0 0 0 20 0 3 0 331478728 166879232 1107 33554432000 4194304 5964478 140734913667408 139791039264360 5136490 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 162968
[startup+0.100311 s]
/proc/loadavg: 4.00 4.00 3.57 2/171 22514
/proc/meminfo: memFree=28036332/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=164796 CPUtime=0.18 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 2190 0 0 0 18 0 0 0 20 0 3 0 331478727 168751104 2136 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41199 2136 205 433 0 40763 0
[pid=22514/tid=22515] ppid=22512 vsize=164796 CPUtime=0.08 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 313 0 0 0 8 0 0 0 20 0 3 0 331478728 168751104 2136 33554432000 4194304 5964478 140734913667408 139791049755160 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=164796 CPUtime=0.08 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 1061 0 0 0 8 0 0 0 20 0 3 0 331478728 168751104 2136 33554432000 4194304 5964478 140734913667408 139791039264456 4400576 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164796
[startup+0.300242 s]
/proc/loadavg: 4.00 4.00 3.57 2/171 22514
/proc/meminfo: memFree=28036332/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=164796 CPUtime=0.59 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 2458 0 0 0 58 1 0 0 20 0 3 0 331478727 168751104 2404 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41199 2404 205 433 0 40763 0
[pid=22514/tid=22515] ppid=22512 vsize=164796 CPUtime=0.28 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 500 0 0 0 28 0 0 0 20 0 3 0 331478728 168751104 2404 33554432000 4194304 5964478 140734913667408 139791049754424 4392723 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=164796 CPUtime=0.28 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 1142 0 0 0 28 0 0 0 20 0 3 0 331478728 168751104 2404 33554432000 4194304 5964478 140734913667408 139791039264456 4392918 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 164796
[startup+0.700252 s]
/proc/loadavg: 4.00 4.00 3.57 2/171 22514
/proc/meminfo: memFree=28036332/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=164796 CPUtime=1.39 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 3543 0 0 0 137 2 0 0 20 0 3 0 331478727 168751104 3489 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41199 3489 205 433 0 40763 0
[pid=22514/tid=22515] ppid=22512 vsize=164796 CPUtime=0.68 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 1358 0 0 0 68 0 0 0 20 0 3 0 331478728 168751104 3489 33554432000 4194304 5964478 140734913667408 139791049754424 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=164796 CPUtime=0.68 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 1369 0 0 0 67 1 0 0 20 0 3 0 331478728 168751104 3489 33554432000 4194304 5964478 140734913667408 139791039264600 4400542 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 164796
[startup+1.50032 s]
/proc/loadavg: 3.84 3.97 3.57 5/181 22693
/proc/meminfo: memFree=28001100/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=164796 CPUtime=2.98 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 4711 0 0 0 296 2 0 0 20 0 3 0 331478727 168751104 4629 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41199 4630 205 433 0 40763 0
[pid=22514/tid=22515] ppid=22512 vsize=164796 CPUtime=1.48 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 2012 0 0 0 148 0 0 0 20 0 3 0 331478728 168751104 4630 33554432000 4194304 5964478 140734913667408 139791049755576 4403610 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=164796 CPUtime=1.49 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 1884 0 0 0 147 2 0 0 20 0 3 0 331478728 168751104 4630 33554432000 4194304 5964478 140734913667408 139791039265080 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164796
[startup+3.10029 s]
/proc/loadavg: 3.84 3.97 3.57 5/181 22693
/proc/meminfo: memFree=27992188/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=164796 CPUtime=6.18 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 6350 0 0 0 615 3 0 0 20 0 3 0 331478727 168751104 6268 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41199 6269 205 433 0 40763 0
[pid=22514/tid=22515] ppid=22512 vsize=164796 CPUtime=3.08 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 2606 0 0 0 306 2 0 0 20 0 3 0 331478728 168751104 6269 33554432000 4194304 5964478 140734913667408 139791049754664 4400089 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=164796 CPUtime=3.08 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 2929 0 0 0 306 2 0 0 20 0 3 0 331478728 168751104 6269 33554432000 4194304 5964478 140734913667408 139791039265080 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164796
[startup+6.30031 s]
/proc/loadavg: 3.84 3.97 3.57 5/181 22693
/proc/meminfo: memFree=27902752/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=165336 CPUtime=12.57 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 9324 0 0 0 1253 4 0 0 20 0 3 0 331478727 169304064 9247 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41334 9247 205 433 0 40898 0
[pid=22514/tid=22515] ppid=22512 vsize=165336 CPUtime=6.27 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 4850 0 0 0 625 2 0 0 20 0 3 0 331478728 169304064 9247 33554432000 4194304 5964478 140734913667408 139791049754616 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=165336 CPUtime=6.28 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 3658 0 0 0 626 2 0 0 20 0 3 0 331478728 169304064 9247 33554432000 4194304 5964478 140734913667408 139791039265224 4399969 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 165336
[startup+12.7003 s]
/proc/loadavg: 3.86 3.97 3.57 5/181 22773
/proc/meminfo: memFree=27929008/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=165604 CPUtime=25.37 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 15586 0 0 0 2529 8 0 0 20 0 3 0 331478727 169578496 15509 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41401 15509 205 433 0 40965 0
[pid=22514/tid=22515] ppid=22512 vsize=165604 CPUtime=12.67 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 8710 0 0 0 1262 5 0 0 20 0 3 0 331478728 169578496 15509 33554432000 4194304 5964478 140734913667408 139791049754616 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=165604 CPUtime=12.68 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 6060 0 0 0 1264 4 0 0 20 0 3 0 331478728 169578496 15509 33554432000 4194304 5964478 140734913667408 139791039265128 4399915 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 165604
[startup+25.5004 s]
/proc/loadavg: 3.88 3.97 3.57 5/181 22773
/proc/meminfo: memFree=27852680/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=166008 CPUtime=50.96 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 22136 0 0 0 5084 12 0 0 20 0 3 0 331478727 169992192 22093 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 41502 22093 205 433 0 41066 0
[pid=22514/tid=22515] ppid=22512 vsize=166008 CPUtime=25.46 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 12220 0 0 0 2539 7 0 0 20 0 3 0 331478728 169992192 22093 33554432000 4194304 5964478 140734913667408 139791049754424 4411199 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=166008 CPUtime=25.48 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 9100 0 0 0 2542 6 0 0 20 0 3 0 331478728 169992192 22096 33554432000 4194304 5964478 140734913667408 139791039265080 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 166008
[startup+51.1004 s]
/proc/loadavg: 3.93 3.97 3.59 5/181 22773
/proc/meminfo: memFree=27726156/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=232348 CPUtime=102.13 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 35595 0 0 0 10191 22 0 0 20 0 3 0 331478727 237924352 35663 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 58087 35663 205 433 0 57651 0
[pid=22514/tid=22515] ppid=22512 vsize=232348 CPUtime=51.05 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 19397 0 0 0 5093 12 0 0 20 0 3 0 331478728 237924352 35663 33554432000 4194304 5964478 140734913667408 139791049754424 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=232348 CPUtime=51.06 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 15382 0 0 0 5095 11 0 0 20 0 3 0 331478728 237924352 35663 33554432000 4194304 5964478 140734913667408 139791039265080 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 232348
[startup+102.3 s]
/proc/loadavg: 4.04 3.99 3.61 5/181 22813
/proc/meminfo: memFree=27721132/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=299552 CPUtime=204.5 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 52894 0 0 0 20402 48 0 0 20 0 3 0 331478727 306741248 54656 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 74888 54656 205 433 0 74452 0
[pid=22514/tid=22515] ppid=22512 vsize=299552 CPUtime=102.25 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 27686 0 0 0 10205 20 0 0 20 0 3 0 331478728 306741248 54656 33554432000 4194304 5964478 140734913667408 139791049754424 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=299552 CPUtime=102.25 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 24392 0 0 0 10193 32 0 0 20 0 3 0 331478728 306741248 54656 33554432000 4194304 5964478 140734913667408 139791039264888 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 299552
[startup+162.3 s]
/proc/loadavg: 4.01 3.99 3.63 5/181 22813
/proc/meminfo: memFree=27593408/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=368120 CPUtime=324.47 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 69224 0 0 0 32379 68 0 0 20 0 3 0 331478727 376954880 70978 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 92030 70978 205 433 0 91594 0
[pid=22514/tid=22515] ppid=22512 vsize=368120 CPUtime=162.24 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 35968 0 0 0 16195 29 0 0 20 0 3 0 331478728 376954880 70978 33554432000 4194304 5964478 140734913667408 139791049754616 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=368120 CPUtime=162.24 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 32440 0 0 0 16180 44 0 0 20 0 3 0 331478728 376954880 70978 33554432000 4194304 5964478 140734913667408 139791039265080 4400490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.47
Current children cumulated vsize (KiB) 368120
[startup+222.307 s]
/proc/loadavg: 4.00 3.99 3.65 5/181 22813
/proc/meminfo: memFree=27466844/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=436112 CPUtime=444.43 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 84632 0 0 0 44359 84 0 0 20 0 3 0 331478727 446578688 86556 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 109028 86556 205 433 0 108592 0
[pid=22514/tid=22515] ppid=22512 vsize=436112 CPUtime=222.23 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 42463 0 0 0 22187 36 0 0 20 0 3 0 331478728 446578688 86556 33554432000 4194304 5964478 140734913667408 139791049754424 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=436112 CPUtime=222.23 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 41353 0 0 0 22168 55 0 0 20 0 3 0 331478728 446578688 86556 33554432000 4194304 5964478 140734913667408 139791039264840 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.43
Current children cumulated vsize (KiB) 436112
[startup+282.3 s]
/proc/loadavg: 4.00 3.99 3.67 5/181 22814
/proc/meminfo: memFree=27386948/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=450244 CPUtime=564.37 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 97009 0 0 0 56339 98 0 0 20 0 3 0 331478727 461049856 98966 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 112561 98966 205 433 0 112125 0
[pid=22514/tid=22515] ppid=22512 vsize=450244 CPUtime=282.2 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 50076 0 0 0 28173 47 0 0 20 0 3 0 331478728 461049856 98966 33554432000 4194304 5964478 140734913667408 139791049754424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=450244 CPUtime=282.22 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 46117 0 0 0 28161 61 0 0 20 0 3 0 331478728 461049856 98966 33554432000 4194304 5964478 140734913667408 139791039265080 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 450244
[startup+342.3 s]
/proc/loadavg: 4.00 3.99 3.69 5/181 22814
/proc/meminfo: memFree=27232088/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=517688 CPUtime=684.34 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 105242 0 0 0 68325 109 0 0 20 0 3 0 331478727 530112512 107436 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 129422 107436 205 433 0 128986 0
[pid=22514/tid=22515] ppid=22512 vsize=517688 CPUtime=342.18 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 58188 0 0 0 34159 59 0 0 20 0 3 0 331478728 530112512 107436 33554432000 4194304 5964478 140734913667408 139791049754616 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=517688 CPUtime=342.22 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 46238 0 0 0 34160 62 0 0 20 0 3 0 331478728 530112512 107436 33554432000 4194304 5964478 140734913667408 139791039264840 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.34
Current children cumulated vsize (KiB) 517688
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.70 5/181 22814
/proc/meminfo: memFree=27167204/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=519524 CPUtime=804.32 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 111308 0 0 0 80312 120 0 0 20 0 3 0 331478727 531992576 113498 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 129881 113498 205 433 0 129445 0
[pid=22514/tid=22515] ppid=22512 vsize=519524 CPUtime=402.17 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 64243 0 0 0 40146 71 0 0 20 0 3 0 331478728 531992576 113498 33554432000 4194304 5964478 140734913667408 139791049754424 4400542 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=519524 CPUtime=402.23 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 46249 0 0 0 40160 63 0 0 20 0 3 0 331478728 531992576 113498 33554432000 4194304 5964478 140734913667408 139791039264840 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.32
Current children cumulated vsize (KiB) 519524
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.72 5/181 22814
/proc/meminfo: memFree=26966976/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=589760 CPUtime=924.3 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 121319 0 0 0 92294 136 0 0 20 0 3 0 331478727 603914240 123490 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 147440 123490 205 433 0 147004 0
[pid=22514/tid=22515] ppid=22512 vsize=589760 CPUtime=462.17 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 67184 0 0 0 46142 75 0 0 20 0 3 0 331478728 603914240 123490 33554432000 4194304 5964478 140734913667408 139791049754616 4222474 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=589760 CPUtime=462.23 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 53319 0 0 0 46146 77 0 0 20 0 3 0 331478728 603914240 123490 33554432000 4194304 5964478 140734913667408 139791039265128 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 589760
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.74 5/182 22817
/proc/meminfo: memFree=26832104/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=590924 CPUtime=1044.28 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 128777 0 0 0 104279 149 0 0 20 0 3 0 331478727 605106176 130948 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 147731 130948 205 433 0 147295 0
[pid=22514/tid=22515] ppid=22512 vsize=590924 CPUtime=522.17 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 69891 0 0 0 52140 77 0 0 20 0 3 0 331478728 605106176 130948 33554432000 4194304 5964478 140734913667408 139791049754664 4400069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=590924 CPUtime=522.23 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 58070 0 0 0 52136 87 0 0 20 0 3 0 331478728 605106176 130948 33554432000 4194304 5964478 140734913667408 139791039265080 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 590924
[startup+582.3 s]
/proc/loadavg: 4.07 4.00 3.75 5/181 22818
/proc/meminfo: memFree=26783768/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=657100 CPUtime=1164.26 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 135547 0 0 0 116265 161 0 0 20 0 3 0 331478727 672870400 137718 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 164275 137718 205 433 0 163839 0
[pid=22514/tid=22515] ppid=22512 vsize=657100 CPUtime=582.17 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 76602 0 0 0 58127 90 0 0 20 0 3 0 331478728 672870400 137718 33554432000 4194304 5964478 140734913667408 139791049754424 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=657100 CPUtime=582.23 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 58129 0 0 0 58135 88 0 0 20 0 3 0 331478728 672870400 137718 33554432000 4194304 5964478 140734913667408 139791039264840 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.26
Current children cumulated vsize (KiB) 657100
[startup+642.3 s]
/proc/loadavg: 4.02 4.00 3.77 5/181 22818
/proc/meminfo: memFree=26707108/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=660816 CPUtime=1284.23 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 147528 0 0 0 128245 178 0 0 20 0 3 0 331478727 676675584 149725 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 165204 149725 205 433 0 164768 0
[pid=22514/tid=22515] ppid=22512 vsize=660816 CPUtime=642.16 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 82825 0 0 0 64115 101 0 0 20 0 3 0 331478728 676675584 149725 33554432000 4194304 5964478 140734913667408 139791049754424 4400010 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=660816 CPUtime=642.22 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 63887 0 0 0 64126 96 0 0 20 0 3 0 331478728 676675584 149725 33554432000 4194304 5964478 140734913667408 139791039265080 4399952 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.23
Current children cumulated vsize (KiB) 660816
[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.78 5/181 22818
/proc/meminfo: memFree=26633976/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=794156 CPUtime=1404.16 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 163136 0 0 0 140215 201 0 0 20 0 3 0 331478727 813215744 165367 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 198539 165367 205 433 0 198103 0
[pid=22514/tid=22515] ppid=22512 vsize=794156 CPUtime=702.13 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 89336 0 0 0 70101 112 0 0 20 0 3 0 331478728 813215744 165367 33554432000 4194304 5964478 140734913667408 139791049754424 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=794156 CPUtime=702.2 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 72984 0 0 0 70110 110 0 0 20 0 3 0 331478728 813215744 165367 33554432000 4194304 5964478 140734913667408 139791039265080 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.16
Current children cumulated vsize (KiB) 794156
[startup+762.3 s]
/proc/loadavg: 4.00 4.00 3.79 5/181 22818
/proc/meminfo: memFree=26585148/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=797172 CPUtime=1524.1 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 167199 0 0 0 152203 207 0 0 20 0 3 0 331478727 816304128 169436 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 199293 169436 205 433 0 198857 0
[pid=22514/tid=22515] ppid=22512 vsize=797172 CPUtime=762.1 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 93353 0 0 0 76091 119 0 0 20 0 3 0 331478728 816304128 169436 33554432000 4194304 5964478 140734913667408 139791049754616 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=797172 CPUtime=762.2 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 73030 0 0 0 76109 111 0 0 20 0 3 0 331478728 816304128 169436 33554432000 4194304 5964478 140734913667408 139791039264840 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.1
Current children cumulated vsize (KiB) 797172
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.80 5/181 22818
/proc/meminfo: memFree=26508676/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=798228 CPUtime=1644.06 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 168880 0 0 0 164197 209 0 0 20 0 3 0 331478727 817385472 171105 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 199557 171105 205 433 0 199121 0
[pid=22514/tid=22515] ppid=22512 vsize=798228 CPUtime=822.09 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 94948 0 0 0 82087 122 0 0 20 0 3 0 331478728 817385472 171105 33554432000 4194304 5964478 140734913667408 139791049754616 4400091 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=798228 CPUtime=822.17 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 73116 0 0 0 82105 112 0 0 20 0 3 0 331478728 817385472 171105 33554432000 4194304 5964478 140734913667408 139791039264840 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.06
Current children cumulated vsize (KiB) 798228
[startup+882.307 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 22819
/proc/meminfo: memFree=26439148/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=798384 CPUtime=1764.04 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 170487 0 0 0 176192 212 0 0 20 0 3 0 331478727 817545216 172756 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 199596 172756 205 433 0 199160 0
[pid=22514/tid=22515] ppid=22512 vsize=798384 CPUtime=882.08 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 96528 0 0 0 88082 126 0 0 20 0 3 0 331478728 817545216 172756 33554432000 4194304 5964478 140734913667408 139791049754616 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=798384 CPUtime=882.18 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 73143 0 0 0 88105 113 0 0 20 0 3 0 331478728 817545216 172756 33554432000 4194304 5964478 140734913667408 139791039264840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.04
Current children cumulated vsize (KiB) 798384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.81 5/181 22819
/proc/meminfo: memFree=26424436/32873648 swapFree=6852/6852
[pid=22514] ppid=22512 vsize=799244 CPUtime=1800.04 cores=1,3,5,7
/proc/22514/stat : 22514 (pwbo2.02) S 22512 22514 20635 0 -1 4202496 171538 0 0 0 179791 213 0 0 20 0 3 0 331478727 818425856 173807 33554432000 4194304 5964478 140734913667408 140734913666928 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22514/statm: 199811 173807 205 433 0 199375 0
[pid=22514/tid=22515] ppid=22512 vsize=799244 CPUtime=900.08 cores=1,3,5,7
/proc/22514/task/22515/stat : 22515 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 97468 0 0 0 89881 127 0 0 20 0 3 0 331478728 818425856 173807 33554432000 4194304 5964478 140734913667408 139791049754616 4388326 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22514/tid=22516] ppid=22512 vsize=799244 CPUtime=900.18 cores=1,3,5,7
/proc/22514/task/22516/stat : 22516 (pwbo2.02) R 22512 22514 20635 0 -1 4202560 73254 0 0 0 89905 113 0 0 20 0 3 0 331478728 818425856 173807 33554432000 4194304 5964478 140734913667408 139791039264840 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 799244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.32
CPU time (s): 1800.32
CPU user time (s): 1797.89
CPU system time (s): 2.43163
CPU usage (%): 199.965
Max. virtual memory (cumulated for all children) (KiB): 799244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.89
system time used= 2.43163
maximum resident set size= 695232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171539
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= 582
involuntary context switches= 3120
runsolver used 1.9897 second user time and 5.07623 second system time
The end