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-3726315-1338658572/watcher-3726315-1338658572 -o /tmp/evaluation-result-3726315-1338658572/solver-3726315-1338658572 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726315-1338658572.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: 3.39 3.78 3.85 4/178 23925
/proc/meminfo: memFree=27417820/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=12528 CPUtime=0 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) R 23923 23925 20635 0 -1 4202496 614 0 0 0 0 0 0 0 20 0 1 0 331983947 12828672 566 33554432000 4194304 5964478 140735517027504 140735413364680 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 3132 566 169 433 0 842 0
[startup+0.101727 s]
/proc/loadavg: 3.39 3.78 3.85 4/178 23925
/proc/meminfo: memFree=27417820/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=14244 CPUtime=0.09 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) R 23923 23925 20635 0 -1 4202496 1383 0 0 0 9 0 0 0 20 0 1 0 331983947 14585856 1335 33554432000 4194304 5964478 140735517027504 140735413364680 4344880 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 3561 1335 516 433 0 1271 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14244
[startup+0.200301 s]
/proc/loadavg: 3.39 3.78 3.85 4/178 23925
/proc/meminfo: memFree=27417820/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=22472 CPUtime=0.19 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) R 23923 23925 20635 0 -1 4202496 3757 0 0 0 19 0 0 0 20 0 1 0 331983947 23011328 3709 33554432000 4194304 5964478 140735517027504 140735413364680 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 5618 3709 835 433 0 3328 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22472
[startup+0.300336 s]
/proc/loadavg: 3.39 3.78 3.85 4/178 23925
/proc/meminfo: memFree=27417820/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=35988 CPUtime=0.29 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) R 23923 23925 20635 0 -1 4202496 7428 0 0 0 28 1 0 0 20 0 1 0 331983947 36851712 7380 33554432000 4194304 5964478 140735517027504 140735517025880 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 8997 7383 1129 433 0 6707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35988
[startup+0.700186 s]
/proc/loadavg: 3.39 3.78 3.85 4/178 23925
/proc/meminfo: memFree=27417820/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=228704 CPUtime=0.79 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 21547 0 0 0 76 3 0 0 20 0 3 0 331983947 234192896 19643 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 57176 19643 193 433 0 56740 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 228704
[startup+1.50035 s]
/proc/loadavg: 3.39 3.78 3.85 5/181 23928
/proc/meminfo: memFree=27285036/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=229088 CPUtime=2.38 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 34880 0 0 0 232 6 0 0 20 0 3 0 331983947 234586112 32976 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 57272 32976 196 433 0 56836 0
[pid=23925/tid=23927] ppid=23923 vsize=229088 CPUtime=0.88 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 15478 0 0 0 83 5 0 0 20 0 3 0 331984007 234586112 32976 33554432000 4194304 5964478 140735517027504 139671596276072 4403708 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=229088 CPUtime=0.88 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 202 0 0 0 88 0 0 0 20 0 3 0 331984007 234586112 32976 33554432000 4194304 5964478 140735517027504 139671585786168 4403664 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 229088
[startup+3.10037 s]
/proc/loadavg: 3.39 3.78 3.85 5/181 23928
/proc/meminfo: memFree=27283772/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=229088 CPUtime=5.58 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 34951 0 0 0 552 6 0 0 20 0 3 0 331983947 234586112 33047 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 57272 33047 197 433 0 56836 0
[pid=23925/tid=23927] ppid=23923 vsize=229088 CPUtime=2.48 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 15479 0 0 0 243 5 0 0 20 0 3 0 331984007 234586112 33047 33554432000 4194304 5964478 140735517027504 139671596276072 4403698 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=229088 CPUtime=2.48 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 272 0 0 0 248 0 0 0 20 0 3 0 331984007 234586112 33047 33554432000 4194304 5964478 140735517027504 139671585786168 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 229088
[startup+6.30036 s]
/proc/loadavg: 3.44 3.78 3.86 5/181 23928
/proc/meminfo: memFree=27263084/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=229088 CPUtime=11.98 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 35103 0 0 0 1192 6 0 0 20 0 3 0 331983947 234586112 33199 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 57272 33199 198 433 0 56836 0
[pid=23925/tid=23927] ppid=23923 vsize=229088 CPUtime=5.68 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 15573 0 0 0 563 5 0 0 20 0 3 0 331984007 234586112 33199 33554432000 4194304 5964478 140735517027504 139671596275704 4403713 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=229088 CPUtime=5.68 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 330 0 0 0 568 0 0 0 20 0 3 0 331984007 234586112 33199 33554432000 4194304 5964478 140735517027504 139671585786216 4403698 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 229088
[startup+12.7004 s]
/proc/loadavg: 3.48 3.79 3.86 5/181 23928
/proc/meminfo: memFree=27226056/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=294624 CPUtime=24.77 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 36492 0 0 0 2471 6 0 0 20 0 3 0 331983947 301694976 34588 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 73656 34588 198 433 0 73220 0
[pid=23925/tid=23927] ppid=23923 vsize=294624 CPUtime=12.08 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 16746 0 0 0 1203 5 0 0 20 0 3 0 331984007 301694976 34588 33554432000 4194304 5964478 140735517027504 139671596275704 4403708 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=294624 CPUtime=12.08 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 546 0 0 0 1208 0 0 0 20 0 3 0 331984007 301694976 34588 33554432000 4194304 5964478 140735517027504 139671585786216 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.77
Current children cumulated vsize (KiB) 294624
[startup+25.5004 s]
/proc/loadavg: 3.60 3.80 3.86 5/181 23928
/proc/meminfo: memFree=27116680/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=294624 CPUtime=50.37 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 39085 0 0 0 5029 8 0 0 20 0 3 0 331983947 301694976 37181 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 73656 37181 198 433 0 73220 0
[pid=23925/tid=23927] ppid=23923 vsize=294624 CPUtime=24.88 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 18894 0 0 0 2482 6 0 0 20 0 3 0 331984007 301694976 37181 33554432000 4194304 5964478 140735517027504 139671596275704 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=294624 CPUtime=24.88 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 991 0 0 0 2488 0 0 0 20 0 3 0 331984007 301694976 37181 33554432000 4194304 5964478 140735517027504 139671585786168 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 294624
[startup+51.1004 s]
/proc/loadavg: 3.73 3.81 3.86 5/181 23928
/proc/meminfo: memFree=27046764/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=294624 CPUtime=101.56 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 44735 0 0 0 10143 13 0 0 20 0 3 0 331983947 301694976 42831 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 73656 42831 198 433 0 73220 0
[pid=23925/tid=23927] ppid=23923 vsize=294624 CPUtime=50.47 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 23128 0 0 0 5036 11 0 0 20 0 3 0 331984007 301694976 42831 33554432000 4194304 5964478 140735517027504 139671596275704 4403698 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=294624 CPUtime=50.48 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 2407 0 0 0 5046 2 0 0 20 0 3 0 331984007 301694976 42831 33554432000 4194304 5964478 140735517027504 139671585786168 4403376 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 294624
[startup+102.3 s]
/proc/loadavg: 3.88 3.84 3.86 5/181 23929
/proc/meminfo: memFree=26821552/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=360352 CPUtime=203.95 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 64131 0 0 0 20374 21 0 0 20 0 3 0 331983947 369000448 62115 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 90088 62115 198 433 0 89652 0
[pid=23925/tid=23927] ppid=23923 vsize=360352 CPUtime=101.68 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39010 0 0 0 10151 17 0 0 20 0 3 0 331984007 369000448 62115 33554432000 4194304 5964478 140735517027504 139671596276664 4403717 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=360352 CPUtime=101.69 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 5921 0 0 0 10163 6 0 0 20 0 3 0 331984007 369000448 62115 33554432000 4194304 5964478 140735517027504 139671585786168 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 360352
[startup+162.3 s]
/proc/loadavg: 3.95 3.86 3.87 5/181 23929
/proc/meminfo: memFree=26712216/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=360352 CPUtime=323.93 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 67294 0 0 0 32368 25 0 0 20 0 3 0 331983947 369000448 65278 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 90088 65278 198 433 0 89652 0
[pid=23925/tid=23927] ppid=23923 vsize=360352 CPUtime=161.67 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39010 0 0 0 16149 18 0 0 20 0 3 0 331984007 369000448 65278 33554432000 4194304 5964478 140735517027504 139671596276664 4222314 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=360352 CPUtime=161.68 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 9084 0 0 0 16158 10 0 0 20 0 3 0 331984007 369000448 65278 33554432000 4194304 5964478 140735517027504 139671585785976 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 323.93
Current children cumulated vsize (KiB) 360352
[startup+222.307 s]
/proc/loadavg: 3.98 3.89 3.88 5/181 23929
/proc/meminfo: memFree=26638652/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=360352 CPUtime=443.92 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 70982 0 0 0 44362 30 0 0 20 0 3 0 331983947 369000448 68966 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 90088 68966 198 433 0 89652 0
[pid=23925/tid=23927] ppid=23923 vsize=360352 CPUtime=221.68 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39012 0 0 0 22149 19 0 0 20 0 3 0 331984007 369000448 68966 33554432000 4194304 5964478 140735517027504 139671596276664 4403721 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=360352 CPUtime=221.69 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 12770 0 0 0 22152 17 0 0 20 0 3 0 331984007 369000448 68966 33554432000 4194304 5964478 140735517027504 139671585786168 4392962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 443.92
Current children cumulated vsize (KiB) 360352
[startup+282.3 s]
/proc/loadavg: 3.99 3.90 3.88 5/182 23932
/proc/meminfo: memFree=26583152/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=360352 CPUtime=563.89 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 70983 0 0 0 56359 30 0 0 20 0 3 0 331983947 369000448 68967 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 90088 68967 198 433 0 89652 0
[pid=23925/tid=23927] ppid=23923 vsize=360352 CPUtime=281.67 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39013 0 0 0 28147 20 0 0 20 0 3 0 331984007 369000448 68967 33554432000 4194304 5964478 140735517027504 139671596276664 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=360352 CPUtime=281.68 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 12770 0 0 0 28150 18 0 0 20 0 3 0 331984007 369000448 68967 33554432000 4194304 5964478 140735517027504 139671585786168 4403721 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 563.89
Current children cumulated vsize (KiB) 360352
[startup+342.3 s]
/proc/loadavg: 3.99 3.92 3.89 5/181 23932
/proc/meminfo: memFree=26529344/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=360352 CPUtime=683.84 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 72328 0 0 0 68352 32 0 0 20 0 3 0 331983947 369000448 70282 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 90088 70282 198 433 0 89652 0
[pid=23925/tid=23927] ppid=23923 vsize=360352 CPUtime=341.68 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39013 0 0 0 34147 21 0 0 20 0 3 0 331984007 369000448 70282 33554432000 4194304 5964478 140735517027504 139671596276664 4403721 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=360352 CPUtime=341.65 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 14115 0 0 0 34145 20 0 0 20 0 3 0 331984007 369000448 70282 33554432000 4194304 5964478 140735517027504 139671585786168 4392962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 683.84
Current children cumulated vsize (KiB) 360352
[startup+402.3 s]
/proc/loadavg: 3.99 3.93 3.89 5/181 23933
/proc/meminfo: memFree=26482640/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=360352 CPUtime=803.8 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 72350 0 0 0 80348 32 0 0 20 0 3 0 331983947 369000448 70287 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 90088 70287 198 433 0 89652 0
[pid=23925/tid=23927] ppid=23923 vsize=360352 CPUtime=401.67 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39022 0 0 0 40145 22 0 0 20 0 3 0 331984007 369000448 70287 33554432000 4194304 5964478 140735517027504 139671596276664 4403721 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=360352 CPUtime=401.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 14128 0 0 0 40143 21 0 0 20 0 3 0 331984007 369000448 70287 33554432000 4194304 5964478 140735517027504 139671585786168 4222464 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 803.8
Current children cumulated vsize (KiB) 360352
[startup+462.3 s]
/proc/loadavg: 3.99 3.94 3.90 5/181 23933
/proc/meminfo: memFree=26392024/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=360352 CPUtime=923.77 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 73317 0 0 0 92343 34 0 0 20 0 3 0 331983947 369000448 71238 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 90088 71238 198 433 0 89652 0
[pid=23925/tid=23927] ppid=23923 vsize=360352 CPUtime=461.66 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39048 0 0 0 46143 23 0 0 20 0 3 0 331984007 369000448 71238 33554432000 4194304 5964478 140735517027504 139671596276664 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=360352 CPUtime=461.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 15069 0 0 0 46140 24 0 0 20 0 3 0 331984007 369000448 71238 33554432000 4194304 5964478 140735517027504 139671585786168 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 923.77
Current children cumulated vsize (KiB) 360352
[startup+522.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/180 23933
/proc/meminfo: memFree=26271332/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=425888 CPUtime=1043.75 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 75741 0 0 0 104338 37 0 0 20 0 3 0 331983947 436109312 74357 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 106472 74357 198 433 0 106036 0
[pid=23925/tid=23927] ppid=23923 vsize=425888 CPUtime=521.66 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 39350 0 0 0 52143 23 0 0 20 0 3 0 331984007 436109312 74357 33554432000 4194304 5964478 140735517027504 139671596275704 4403721 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=425888 CPUtime=521.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 17191 0 0 0 52137 27 0 0 20 0 3 0 331984007 436109312 74357 33554432000 4194304 5964478 140735517027504 139671585786168 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1043.75
Current children cumulated vsize (KiB) 425888
[startup+582.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/181 23934
/proc/meminfo: memFree=26134592/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=426104 CPUtime=1163.73 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 81922 0 0 0 116331 42 0 0 20 0 3 0 331983947 436330496 80538 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 106526 80538 198 433 0 106090 0
[pid=23925/tid=23927] ppid=23923 vsize=426104 CPUtime=581.66 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 43490 0 0 0 58139 27 0 0 20 0 3 0 331984007 436330496 80538 33554432000 4194304 5964478 140735517027504 139671596275704 4222474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=426104 CPUtime=581.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 19232 0 0 0 58133 31 0 0 20 0 3 0 331984007 436330496 80538 33554432000 4194304 5964478 140735517027504 139671585786168 4222416 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1163.73
Current children cumulated vsize (KiB) 426104
[startup+642.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/181 23934
/proc/meminfo: memFree=26018680/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=426320 CPUtime=1283.71 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 83099 0 0 0 128328 43 0 0 20 0 3 0 331983947 436551680 81715 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 106580 81715 198 433 0 106144 0
[pid=23925/tid=23927] ppid=23923 vsize=426320 CPUtime=641.67 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 44666 0 0 0 64139 28 0 0 20 0 3 0 331984007 436551680 81715 33554432000 4194304 5964478 140735517027504 139671596275704 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=426320 CPUtime=641.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 19233 0 0 0 64132 32 0 0 20 0 3 0 331984007 436551680 81715 33554432000 4194304 5964478 140735517027504 139671585786168 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1283.71
Current children cumulated vsize (KiB) 426320
[startup+702.3 s]
/proc/loadavg: 4.03 3.98 3.91 5/181 23935
/proc/meminfo: memFree=25909340/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=426320 CPUtime=1403.7 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 83099 0 0 0 140327 43 0 0 20 0 3 0 331983947 436551680 81715 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 106580 81715 198 433 0 106144 0
[pid=23925/tid=23927] ppid=23923 vsize=426320 CPUtime=701.67 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 44666 0 0 0 70138 29 0 0 20 0 3 0 331984007 436551680 81715 33554432000 4194304 5964478 140735517027504 139671596275704 4403721 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=426320 CPUtime=701.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 19233 0 0 0 70131 33 0 0 20 0 3 0 331984007 436551680 81715 33554432000 4194304 5964478 140735517027504 139671585786168 4403717 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1403.7
Current children cumulated vsize (KiB) 426320
[startup+762.3 s]
/proc/loadavg: 4.01 3.98 3.91 5/181 23935
/proc/meminfo: memFree=25788344/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=426320 CPUtime=1523.68 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 88191 0 0 0 152321 47 0 0 20 0 3 0 331983947 436551680 86807 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 106580 86807 198 433 0 106144 0
[pid=23925/tid=23927] ppid=23923 vsize=426320 CPUtime=761.68 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 47703 0 0 0 76136 32 0 0 20 0 3 0 331984007 436551680 86807 33554432000 4194304 5964478 140735517027504 139671596275704 4403717 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=426320 CPUtime=761.65 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 21288 0 0 0 76129 36 0 0 20 0 3 0 331984007 436551680 86807 33554432000 4194304 5964478 140735517027504 139671585786168 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1523.68
Current children cumulated vsize (KiB) 426320
[startup+822.3 s]
/proc/loadavg: 3.90 3.95 3.91 5/181 23976
/proc/meminfo: memFree=27343868/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=491856 CPUtime=1643.65 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 97515 0 0 0 164308 57 0 0 20 0 3 0 331983947 503660544 96131 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 122964 96131 198 433 0 122528 0
[pid=23925/tid=23927] ppid=23923 vsize=491856 CPUtime=821.68 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 52499 0 0 0 82131 37 0 0 20 0 3 0 331984007 503660544 96131 33554432000 4194304 5964478 140735517027504 139671596275704 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=491856 CPUtime=821.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 25816 0 0 0 82120 44 0 0 20 0 3 0 331984007 503660544 96131 33554432000 4194304 5964478 140735517027504 139671585786168 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1643.65
Current children cumulated vsize (KiB) 491856
[startup+882.307 s]
/proc/loadavg: 3.96 3.95 3.91 5/182 23979
/proc/meminfo: memFree=27152664/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=491856 CPUtime=1763.63 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 104157 0 0 0 176300 63 0 0 20 0 3 0 331983947 503660544 102819 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 122964 102819 198 433 0 122528 0
[pid=23925/tid=23927] ppid=23923 vsize=491856 CPUtime=881.68 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 56603 0 0 0 88127 41 0 0 20 0 3 0 331984007 503660544 102819 33554432000 4194304 5964478 140735517027504 139671596275704 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=491856 CPUtime=881.64 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 28354 0 0 0 88117 47 0 0 20 0 3 0 331984007 503660544 102819 33554432000 4194304 5964478 140735517027504 139671585786168 4222330 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1763.63
Current children cumulated vsize (KiB) 491856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.5 s]
/proc/loadavg: 3.97 3.95 3.91 5/181 23979
/proc/meminfo: memFree=27093976/32873648 swapFree=6852/6852
[pid=23925] ppid=23923 vsize=491856 CPUtime=1800.02 cores=1,3,5,7
/proc/23925/stat : 23925 (pwbo2.02) S 23923 23925 20635 0 -1 4202496 105466 0 0 0 179938 64 0 0 20 0 3 0 331983947 503660544 104153 33554432000 4194304 5964478 140735517027504 140735517027024 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23925/statm: 122964 104153 198 433 0 122528 0
[pid=23925/tid=23927] ppid=23923 vsize=491856 CPUtime=899.88 cores=1,3,5,7
/proc/23925/task/23927/stat : 23927 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 57912 0 0 0 89946 42 0 0 20 0 3 0 331984007 503660544 104153 33554432000 4194304 5964478 140735517027504 139671596275704 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23925/tid=23928] ppid=23923 vsize=491856 CPUtime=899.84 cores=1,3,5,7
/proc/23925/task/23928/stat : 23928 (pwbo2.02) R 23923 23925 20635 0 -1 4202560 28354 0 0 0 89937 47 0 0 20 0 3 0 331984007 503660544 104153 33554432000 4194304 5964478 140735517027504 139671585786168 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 491856
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.517
CPU time (s): 1800.36
CPU user time (s): 1799.42
CPU system time (s): 0.940856
CPU usage (%): 199.925
Max. virtual memory (cumulated for all children) (KiB): 491856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.940856
maximum resident set size= 416616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105467
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= 220
involuntary context switches= 2351
runsolver used 1.89471 second user time and 5.2322 second system time
The end