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-3704064-1338099960/watcher-3704064-1338099960 -o /tmp/evaluation-result-3704064-1338099960/solver-3704064-1338099960 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704064-1338099960.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=32992 CPUtime=0 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 276120831 33783808 623 33554432000 4194304 5965102 140734471968368 140735742508392 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 8248 623 170 433 0 919 0
[startup+0.028311 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=39308 CPUtime=0.02 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 2013 0 0 0 2 0 0 0 20 0 1 0 276120831 40251392 1965 33554432000 4194304 5965102 140734471968368 140735742508392 5180368 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 9827 1968 229 433 0 2498 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 39308
[startup+0.1003 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=50600 CPUtime=0.09 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 4740 0 0 0 9 0 0 0 20 0 1 0 276120831 51814400 4577 33554432000 4194304 5965102 140734471968368 140735742508392 4397107 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 12650 4578 430 433 0 5321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50600
[startup+0.300266 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=69700 CPUtime=0.29 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 10642 0 0 0 28 1 0 0 20 0 1 0 276120831 71372800 10212 33554432000 4194304 5965102 140734471968368 140735742508392 5156882 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 17425 10212 968 433 0 10096 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 69700
[startup+0.700268 s]
/proc/loadavg: 3.85 3.97 3.93 4/180 18994
/proc/meminfo: memFree=29631656/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=116024 CPUtime=0.68 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 23012 0 0 0 66 2 0 0 20 0 1 0 276120831 118808576 22052 33554432000 4194304 5965102 140734471968368 140734471966344 5156882 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 29006 22053 1988 433 0 21677 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 116024
[startup+1.50028 s]
/proc/loadavg: 3.85 3.97 3.93 4/181 18995
/proc/meminfo: memFree=29516676/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=211992 CPUtime=1.49 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 46148 0 0 0 143 6 0 0 20 0 1 0 276120831 217079808 46683 33554432000 4194304 5965102 140734471968368 140734471966312 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 52998 46684 3797 433 0 45669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211992
[startup+3.10024 s]
/proc/loadavg: 3.85 3.97 3.93 4/181 18995
/proc/meminfo: memFree=29405180/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=335820 CPUtime=3.08 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) R 18992 18994 15889 0 -1 4202496 75477 0 0 0 297 11 0 0 20 0 1 0 276120831 343879680 77485 33554432000 4194304 5965102 140734471968368 140734471966456 4350459 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 83955 77485 6863 433 0 76626 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 335820
[startup+6.30034 s]
/proc/loadavg: 3.86 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28893996/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=885556 CPUtime=9.34 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 166753 0 0 0 895 39 0 0 20 0 3 0 276120831 906809344 183885 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 221389 183885 198 433 0 220953 0
[pid=18994/tid=18996] ppid=18992 vsize=885556 CPUtime=3.05 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 65715 0 0 0 284 21 0 0 20 0 3 0 276121152 906809344 183885 33554432000 4194304 5965102 140734471968368 139692583446872 5136273 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=885556 CPUtime=3.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 23489 0 0 0 299 6 0 0 20 0 3 0 276121152 906809344 183885 33554432000 4194304 5965102 140734471968368 139692572956984 4393903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.34
Current children cumulated vsize (KiB) 885556
[startup+12.7004 s]
/proc/loadavg: 3.87 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28875148/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=885556 CPUtime=22.13 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 170190 0 0 0 2172 41 0 0 20 0 3 0 276120831 906809344 181324 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 221389 181324 199 433 0 220953 0
[pid=18994/tid=18996] ppid=18992 vsize=885556 CPUtime=9.45 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 68734 0 0 0 923 22 0 0 20 0 3 0 276121152 906809344 181324 33554432000 4194304 5965102 140734471968368 139692583447368 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=885556 CPUtime=9.46 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 23907 0 0 0 939 7 0 0 20 0 3 0 276121152 906809344 181324 33554432000 4194304 5965102 140734471968368 139692572956984 4393837 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.13
Current children cumulated vsize (KiB) 885556
[startup+25.5004 s]
/proc/loadavg: 3.90 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28875256/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=885556 CPUtime=47.73 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 173280 0 0 0 4730 43 0 0 20 0 3 0 276120831 906809344 188519 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 221389 188519 199 433 0 220953 0
[pid=18994/tid=18996] ppid=18992 vsize=885556 CPUtime=22.25 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 71750 0 0 0 2201 24 0 0 20 0 3 0 276121152 906809344 188519 33554432000 4194304 5965102 140734471968368 139692583446936 4393869 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=885556 CPUtime=22.25 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 23981 0 0 0 2218 7 0 0 20 0 3 0 276121152 906809344 188519 33554432000 4194304 5965102 140734471968368 139692572956984 4404664 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 47.73
Current children cumulated vsize (KiB) 885556
[startup+51.1004 s]
/proc/loadavg: 3.93 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28836636/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=951092 CPUtime=98.92 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 174961 0 0 0 9848 44 0 0 20 0 3 0 276120831 973918208 197922 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 237773 197922 199 433 0 237337 0
[pid=18994/tid=18996] ppid=18992 vsize=951092 CPUtime=47.85 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 73313 0 0 0 4759 26 0 0 20 0 3 0 276121152 973918208 197922 33554432000 4194304 5965102 140734471968368 139692583447368 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=951092 CPUtime=47.86 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 24099 0 0 0 4779 7 0 0 20 0 3 0 276121152 973918208 197922 33554432000 4194304 5965102 140734471968368 139692572956984 4393903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 98.92
Current children cumulated vsize (KiB) 951092
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.93 5/183 18997
/proc/meminfo: memFree=28832072/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=951092 CPUtime=201.32 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 180023 0 0 0 20083 49 0 0 20 0 3 0 276120831 973918208 198604 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 237773 198604 199 433 0 237337 0
[pid=18994/tid=18996] ppid=18992 vsize=951092 CPUtime=99.05 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 77702 0 0 0 9875 30 0 0 20 0 3 0 276121152 973918208 198604 33554432000 4194304 5965102 140734471968368 139692583447064 4393845 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=951092 CPUtime=99.06 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 24772 0 0 0 9897 9 0 0 20 0 3 0 276121152 973918208 198604 33554432000 4194304 5965102 140734471968368 139692572957032 4404664 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 201.32
Current children cumulated vsize (KiB) 951092
[startup+162.3 s]
/proc/loadavg: 3.84 3.93 3.92 5/183 19038
/proc/meminfo: memFree=28288268/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1016628 CPUtime=321.28 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 186948 0 0 0 32072 56 0 0 20 0 3 0 276120831 1041027072 218479 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 254157 218479 199 433 0 253721 0
[pid=18994/tid=18996] ppid=18992 vsize=1016628 CPUtime=159.04 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 83779 0 0 0 15868 36 0 0 20 0 3 0 276121152 1041027072 218479 33554432000 4194304 5965102 140734471968368 139692583447064 4404604 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1016628 CPUtime=159.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 25620 0 0 0 15893 12 0 0 20 0 3 0 276121152 1041027072 218479 33554432000 4194304 5965102 140734471968368 139692572956984 4404761 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 321.28
Current children cumulated vsize (KiB) 1016628
[startup+222.3 s]
/proc/loadavg: 3.91 3.92 3.91 5/183 19039
/proc/meminfo: memFree=28067324/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1147700 CPUtime=441.25 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 210817 0 0 0 44056 69 0 0 20 0 3 0 276120831 1175244800 240667 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 286925 240667 199 433 0 286489 0
[pid=18994/tid=18996] ppid=18992 vsize=1147700 CPUtime=219.04 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 106971 0 0 0 21855 49 0 0 20 0 3 0 276121152 1175244800 240667 33554432000 4194304 5965102 140734471968368 139692583447368 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1147700 CPUtime=219.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 26297 0 0 0 21889 15 0 0 20 0 3 0 276121152 1175244800 240667 33554432000 4194304 5965102 140734471968368 139692572957032 4400894 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 441.25
Current children cumulated vsize (KiB) 1147700
[startup+282.3 s]
/proc/loadavg: 3.96 3.93 3.91 5/184 19042
/proc/meminfo: memFree=27820600/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1278892 CPUtime=561.23 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 242260 0 0 0 56040 83 0 0 20 0 3 0 276120831 1309585408 272669 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 319723 272669 199 433 0 319287 0
[pid=18994/tid=18996] ppid=18992 vsize=1278892 CPUtime=279.04 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 136917 0 0 0 27842 62 0 0 20 0 3 0 276121152 1309585408 272669 33554432000 4194304 5965102 140734471968368 139692583446872 4420496 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1278892 CPUtime=279.03 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 27794 0 0 0 27885 18 0 0 20 0 3 0 276121152 1309585408 272669 33554432000 4194304 5965102 140734471968368 139692572956984 4393792 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 561.23
Current children cumulated vsize (KiB) 1278892
[startup+342.3 s]
/proc/loadavg: 3.98 3.94 3.91 5/183 19042
/proc/meminfo: memFree=27700756/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1360832 CPUtime=681.2 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 263584 0 0 0 68024 96 0 0 20 0 3 0 276120831 1393491968 298648 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 340208 298648 199 433 0 339772 0
[pid=18994/tid=18996] ppid=18992 vsize=1360832 CPUtime=339.03 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 156785 0 0 0 33830 73 0 0 20 0 3 0 276121152 1393491968 298648 33554432000 4194304 5965102 140734471968368 139692583447064 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1360832 CPUtime=339.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 29250 0 0 0 33882 22 0 0 20 0 3 0 276121152 1393491968 298648 33554432000 4194304 5965102 140734471968368 139692572956984 4383036 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 681.2
Current children cumulated vsize (KiB) 1360832
[startup+402.3 s]
/proc/loadavg: 3.99 3.95 3.91 5/183 19042
/proc/meminfo: memFree=27568876/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1491904 CPUtime=801.17 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 279075 0 0 0 80010 107 0 0 20 0 3 0 276120831 1527709696 326419 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 372976 326419 199 433 0 372540 0
[pid=18994/tid=18996] ppid=18992 vsize=1491904 CPUtime=399.02 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 171883 0 0 0 39817 85 0 0 20 0 3 0 276121152 1527709696 326419 33554432000 4194304 5965102 140734471968368 139692583447368 4393778 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1491904 CPUtime=399.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 29643 0 0 0 39880 24 0 0 20 0 3 0 276121152 1527709696 326419 33554432000 4194304 5965102 140734471968368 139692572956984 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 801.17
Current children cumulated vsize (KiB) 1491904
[startup+462.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/183 19042
/proc/meminfo: memFree=27379468/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1606572 CPUtime=921.14 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 319245 0 0 0 91988 126 0 0 20 0 3 0 276120831 1645129728 349871 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 401643 349871 199 433 0 401207 0
[pid=18994/tid=18996] ppid=18992 vsize=1606572 CPUtime=459.01 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 211735 0 0 0 45798 103 0 0 20 0 3 0 276121152 1645129728 349871 33554432000 4194304 5965102 140734471968368 139692583447064 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1606572 CPUtime=459.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 29961 0 0 0 45880 24 0 0 20 0 3 0 276121152 1645129728 349871 33554432000 4194304 5965102 140734471968368 139692572956984 4400894 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 921.14
Current children cumulated vsize (KiB) 1606572
[startup+522.3 s]
/proc/loadavg: 3.99 3.96 3.91 5/183 19043
/proc/meminfo: memFree=27224652/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1666720 CPUtime=1041.1 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 365423 0 0 0 103967 143 0 0 20 0 3 0 276120831 1706721280 376026 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 416680 376026 199 433 0 416244 0
[pid=18994/tid=18996] ppid=18992 vsize=1666720 CPUtime=518.98 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 257369 0 0 0 51778 120 0 0 20 0 3 0 276121152 1706721280 376026 33554432000 4194304 5965102 140734471968368 139692583447368 4401096 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1666720 CPUtime=519.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 30505 0 0 0 51878 26 0 0 20 0 3 0 276121152 1706721280 376026 33554432000 4194304 5965102 140734471968368 139692572956792 4404383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1041.1
Current children cumulated vsize (KiB) 1666720
[startup+582.3 s]
/proc/loadavg: 4.07 3.98 3.92 5/184 19044
/proc/meminfo: memFree=27067736/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1819584 CPUtime=1161.06 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 396757 0 0 0 115948 158 0 0 20 0 3 0 276120831 1863254016 402510 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 454896 402510 199 433 0 454460 0
[pid=18994/tid=18996] ppid=18992 vsize=1819584 CPUtime=578.97 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 288010 0 0 0 57762 135 0 0 20 0 3 0 276121152 1863254016 402510 33554432000 4194304 5965102 140734471968368 139692583446824 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1819584 CPUtime=579.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 31198 0 0 0 57875 29 0 0 20 0 3 0 276121152 1863254016 402510 33554432000 4194304 5965102 140734471968368 139692572956792 4390112 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1161.06
Current children cumulated vsize (KiB) 1819584
[startup+642.3 s]
/proc/loadavg: 4.02 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26936908/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1885120 CPUtime=1281.04 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 407066 0 0 0 127937 167 0 0 20 0 3 0 276120831 1930362880 421988 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 471280 421988 199 433 0 470844 0
[pid=18994/tid=18996] ppid=18992 vsize=1885120 CPUtime=638.96 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 297994 0 0 0 63752 144 0 0 20 0 3 0 276121152 1930362880 421988 33554432000 4194304 5965102 140734471968368 139692583447064 4401026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1885120 CPUtime=639.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 31523 0 0 0 63875 30 0 0 20 0 3 0 276121152 1930362880 421988 33554432000 4194304 5965102 140734471968368 139692572957032 4404383 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1281.04
Current children cumulated vsize (KiB) 1885120
[startup+702.3 s]
/proc/loadavg: 4.01 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26825684/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1950656 CPUtime=1401.01 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 440738 0 0 0 139922 179 0 0 20 0 3 0 276120831 1997471744 440754 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 487664 440754 199 433 0 487228 0
[pid=18994/tid=18996] ppid=18992 vsize=1950656 CPUtime=698.95 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 331460 0 0 0 69738 157 0 0 20 0 3 0 276121152 1997471744 440754 33554432000 4194304 5965102 140734471968368 139692583447064 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1950656 CPUtime=699.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 31729 0 0 0 69874 31 0 0 20 0 3 0 276121152 1997471744 440754 33554432000 4194304 5965102 140734471968368 139692572957032 4393845 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1401.01
Current children cumulated vsize (KiB) 1950656
[startup+762.307 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19044
/proc/meminfo: memFree=26775812/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=1999788 CPUtime=1521 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 447265 0 0 0 151915 185 0 0 20 0 3 0 276120831 2047782912 452505 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 499947 452505 199 433 0 499511 0
[pid=18994/tid=18996] ppid=18992 vsize=1999788 CPUtime=758.95 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 337164 0 0 0 75732 163 0 0 20 0 3 0 276121152 2047782912 452505 33554432000 4194304 5965102 140734471968368 139692583446872 4393751 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=1999788 CPUtime=759.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 32552 0 0 0 75872 33 0 0 20 0 3 0 276121152 2047782912 452505 33554432000 4194304 5965102 140734471968368 139692572956984 4390150 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1521
Current children cumulated vsize (KiB) 1999788
[startup+822.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19045
/proc/meminfo: memFree=26730024/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2065324 CPUtime=1640.96 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 451745 0 0 0 163907 189 0 0 20 0 3 0 276120831 2114891776 463053 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 516331 463053 199 433 0 515895 0
[pid=18994/tid=18996] ppid=18992 vsize=2065324 CPUtime=818.94 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 341016 0 0 0 81726 168 0 0 20 0 3 0 276121152 2114891776 463053 33554432000 4194304 5965102 140734471968368 139692583447368 5139822 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2065324 CPUtime=819.04 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33180 0 0 0 81870 34 0 0 20 0 3 0 276121152 2114891776 463053 33554432000 4194304 5965102 140734471968368 139692572957032 4393903 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1640.96
Current children cumulated vsize (KiB) 2065324
[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.92 5/184 19048
/proc/meminfo: memFree=26636468/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2147264 CPUtime=1760.94 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 464494 0 0 0 175898 196 0 0 20 0 3 0 276120831 2198798336 485215 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 536816 485215 199 433 0 536380 0
[pid=18994/tid=18996] ppid=18992 vsize=2147264 CPUtime=878.94 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 353430 0 0 0 87718 176 0 0 20 0 3 0 276121152 2198798336 485215 33554432000 4194304 5965102 140734471968368 139692583446872 4390169 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2147264 CPUtime=879.05 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33515 0 0 0 87869 36 0 0 20 0 3 0 276121152 2198798336 485215 33554432000 4194304 5965102 140734471968368 139692572956984 4404703 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1760.94
Current children cumulated vsize (KiB) 2147264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.9 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19048
/proc/meminfo: memFree=26630492/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2147264 CPUtime=1800.16 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 466619 0 0 0 179818 198 0 0 20 0 3 0 276120831 2198798336 485349 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 536816 485349 199 433 0 536380 0
[pid=18994/tid=18996] ppid=18992 vsize=2147264 CPUtime=898.56 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 355436 0 0 0 89679 177 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692583447368 4376299 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2147264 CPUtime=898.66 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33634 0 0 0 89830 36 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692572956984 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2147264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+901.9 s]
/proc/loadavg: 4.00 3.98 3.92 5/183 19048
/proc/meminfo: memFree=26630492/32873844 swapFree=7372/7372
[pid=18994] ppid=18992 vsize=2147264 CPUtime=1800.16 cores=0,2,4,6
/proc/18994/stat : 18994 (pwbo2.0) S 18992 18994 15889 0 -1 4202496 466619 0 0 0 179818 198 0 0 20 0 3 0 276120831 2198798336 485349 33554432000 4194304 5965102 140734471968368 140734471967888 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18994/statm: 536816 485349 199 433 0 536380 0
[pid=18994/tid=18996] ppid=18992 vsize=2147264 CPUtime=898.56 cores=0,2,4,6
/proc/18994/task/18996/stat : 18996 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 355436 0 0 0 89679 177 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692583447368 4376299 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=18994/tid=18997] ppid=18992 vsize=2147264 CPUtime=898.66 cores=0,2,4,6
/proc/18994/task/18997/stat : 18997 (pwbo2.0) R 18992 18994 15889 0 -1 4202560 33634 0 0 0 89830 36 0 0 20 0 3 0 276121152 2198798336 485349 33554432000 4194304 5965102 140734471968368 139692572956984 4393958 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 2147264
Child status: 0
Real time (s): 901.946
CPU time (s): 1800.48
CPU user time (s): 1798.18
CPU system time (s): 2.30265
CPU usage (%): 199.622
Max. virtual memory (cumulated for all children) (KiB): 2212800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 2.30265
maximum resident set size= 1957632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466621
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= 6646
involuntary context switches= 2076
runsolver used 2.56361 second user time and 4.81227 second system time
The end