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-3726016-1338655964/watcher-3726016-1338655964 -o /tmp/evaluation-result-3726016-1338655964/solver-3726016-1338655964 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726016-1338655964.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.94 3.99 3.91 4/178 5857
/proc/meminfo: memFree=29008312/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 875 0 0 0 0 0 0 0 20 0 3 0 331724911 166244352 822 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40587 822 198 433 0 40151 0
[pid=5857/tid=5858] ppid=5855 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 3 0 331724911 166244352 822 33554432000 4194304 5964478 140737260283296 140734966166360 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 3 0 331724911 166244352 822 33554432000 4194304 5964478 140737260283296 140734966166360 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.0162771 s]
/proc/loadavg: 3.94 3.99 3.91 4/178 5857
/proc/meminfo: memFree=29008312/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162348 CPUtime=0.02 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 946 0 0 0 2 0 0 0 20 0 3 0 331724911 166244352 893 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40587 893 200 433 0 40151 0
[pid=5857/tid=5858] ppid=5855 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 3 0 331724911 166244352 893 33554432000 4194304 5964478 140737260283296 139949779040056 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162348 CPUtime=0 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 3 0 331724911 166244352 893 33554432000 4194304 5964478 140737260283296 139949768550760 4399912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 162348
[startup+0.100279 s]
/proc/loadavg: 3.94 3.99 3.91 4/178 5857
/proc/meminfo: memFree=29008312/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162480 CPUtime=0.18 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 1311 0 0 0 18 0 0 0 20 0 3 0 331724911 166379520 1258 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40620 1259 200 433 0 40184 0
[pid=5857/tid=5858] ppid=5855 vsize=162480 CPUtime=0.08 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 289 0 0 0 8 0 0 0 20 0 3 0 331724911 166379520 1260 33554432000 4194304 5964478 140737260283296 139949779040600 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162480 CPUtime=0.08 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 275 0 0 0 8 0 0 0 20 0 3 0 331724911 166379520 1260 33554432000 4194304 5964478 140737260283296 139949768550712 4400115 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162480
[startup+0.300236 s]
/proc/loadavg: 3.94 3.99 3.91 4/178 5857
/proc/meminfo: memFree=29008312/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162480 CPUtime=0.58 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 1964 0 0 0 57 1 0 0 20 0 3 0 331724911 166379520 1911 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40620 1911 200 433 0 40184 0
[pid=5857/tid=5858] ppid=5855 vsize=162480 CPUtime=0.28 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 691 0 0 0 28 0 0 0 20 0 3 0 331724911 166379520 1911 33554432000 4194304 5964478 140737260283296 139949779040248 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162480 CPUtime=0.28 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 524 0 0 0 27 1 0 0 20 0 3 0 331724911 166379520 1911 33554432000 4194304 5964478 140737260283296 139949768550520 4400106 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162480
[startup+0.700259 s]
/proc/loadavg: 3.94 3.99 3.91 4/178 5857
/proc/meminfo: memFree=29008312/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162480 CPUtime=1.38 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 2897 0 0 0 137 1 0 0 20 0 3 0 331724911 166379520 2844 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40620 2844 200 433 0 40184 0
[pid=5857/tid=5858] ppid=5855 vsize=162480 CPUtime=0.68 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 1297 0 0 0 68 0 0 0 20 0 3 0 331724911 166379520 2844 33554432000 4194304 5964478 140737260283296 139949779040248 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162480 CPUtime=0.68 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 851 0 0 0 67 1 0 0 20 0 3 0 331724911 166379520 2844 33554432000 4194304 5964478 140737260283296 139949768550712 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162480
[startup+1.50028 s]
/proc/loadavg: 3.94 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28989060/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162624 CPUtime=2.99 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 3735 0 0 0 297 2 0 0 20 0 3 0 331724911 166526976 3682 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40656 3682 200 433 0 40220 0
[pid=5857/tid=5858] ppid=5855 vsize=162624 CPUtime=1.48 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 1927 0 0 0 148 0 0 0 20 0 3 0 331724911 166526976 3682 33554432000 4194304 5964478 140737260283296 139949779040056 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162624 CPUtime=1.48 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 1059 0 0 0 146 2 0 0 20 0 3 0 331724911 166526976 3682 33554432000 4194304 5964478 140737260283296 139949768550520 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 162624
[startup+3.10029 s]
/proc/loadavg: 3.94 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28983720/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162904 CPUtime=6.18 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 5313 0 0 0 616 2 0 0 20 0 3 0 331724911 166813696 5260 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40726 5260 200 433 0 40290 0
[pid=5857/tid=5858] ppid=5855 vsize=162904 CPUtime=3.07 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 3069 0 0 0 307 0 0 0 20 0 3 0 331724911 166813696 5260 33554432000 4194304 5964478 140737260283296 139949779039880 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162904 CPUtime=3.07 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 1495 0 0 0 305 2 0 0 20 0 3 0 331724911 166813696 5260 33554432000 4194304 5964478 140737260283296 139949768550520 4400091 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 162904
[startup+6.30031 s]
/proc/loadavg: 3.95 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28965616/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=162948 CPUtime=12.58 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 7358 0 0 0 1254 4 0 0 20 0 3 0 331724911 166858752 7263 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40737 7263 200 433 0 40301 0
[pid=5857/tid=5858] ppid=5855 vsize=162948 CPUtime=6.26 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 4481 0 0 0 625 1 0 0 20 0 3 0 331724911 166858752 7263 33554432000 4194304 5964478 140737260283296 139949779041208 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=162948 CPUtime=6.26 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 2128 0 0 0 623 3 0 0 20 0 3 0 331724911 166858752 7263 33554432000 4194304 5964478 140737260283296 139949768550520 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 162948
[startup+12.7003 s]
/proc/loadavg: 3.95 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28935548/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=163208 CPUtime=25.38 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 9954 0 0 0 2532 6 0 0 20 0 3 0 331724911 167124992 9859 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 40802 9859 200 433 0 40366 0
[pid=5857/tid=5858] ppid=5855 vsize=163208 CPUtime=12.65 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 6032 0 0 0 1264 1 0 0 20 0 3 0 331724911 167124992 9859 33554432000 4194304 5964478 140737260283296 139949779040056 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=163208 CPUtime=12.65 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 3173 0 0 0 1261 4 0 0 20 0 3 0 331724911 167124992 9859 33554432000 4194304 5964478 140737260283296 139949768550520 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 163208
[startup+25.5004 s]
/proc/loadavg: 3.96 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28879716/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=164088 CPUtime=50.97 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 14762 0 0 0 5089 8 0 0 20 0 3 0 331724911 168026112 14667 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 41022 14667 200 433 0 40586 0
[pid=5857/tid=5858] ppid=5855 vsize=164088 CPUtime=25.41 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 9226 0 0 0 2538 3 0 0 20 0 3 0 331724911 168026112 14667 33554432000 4194304 5964478 140737260283296 139949779040056 4400109 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=164088 CPUtime=25.41 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 4787 0 0 0 2536 5 0 0 20 0 3 0 331724911 168026112 14667 33554432000 4194304 5964478 140737260283296 139949768550520 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 164088
[startup+51.1004 s]
/proc/loadavg: 3.97 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28815204/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=165744 CPUtime=102.16 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 22612 0 0 0 10200 16 0 0 20 0 3 0 331724911 169721856 22511 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 41436 22511 200 433 0 41000 0
[pid=5857/tid=5858] ppid=5855 vsize=165744 CPUtime=50.95 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 15426 0 0 0 5085 10 0 0 20 0 3 0 331724911 169721856 22511 33554432000 4194304 5964478 140737260283296 139949779040248 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=165744 CPUtime=50.95 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 6437 0 0 0 5089 6 0 0 20 0 3 0 331724911 169721856 22511 33554432000 4194304 5964478 140737260283296 139949768550584 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 165744
[startup+102.307 s]
/proc/loadavg: 3.99 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28711284/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=233268 CPUtime=204.57 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 30981 0 0 0 20432 25 0 0 20 0 3 0 331724911 238866432 30875 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 58317 30875 200 433 0 57881 0
[pid=5857/tid=5858] ppid=5855 vsize=233268 CPUtime=102.02 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 20776 0 0 0 10187 15 0 0 20 0 3 0 331724911 238866432 30875 33554432000 4194304 5964478 140737260283296 139949779040056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=233268 CPUtime=102.03 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 9456 0 0 0 10192 11 0 0 20 0 3 0 331724911 238866432 30875 33554432000 4194304 5964478 140737260283296 139949768550520 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 233268
[startup+162.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/181 5860
/proc/meminfo: memFree=28621244/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=237196 CPUtime=324.53 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 41402 0 0 0 32415 38 0 0 20 0 3 0 331724911 242888704 41361 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 59299 41361 200 433 0 58863 0
[pid=5857/tid=5858] ppid=5855 vsize=237196 CPUtime=161.83 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 30663 0 0 0 16154 29 0 0 20 0 3 0 331724911 242888704 41361 33554432000 4194304 5964478 140737260283296 139949779040056 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=237196 CPUtime=161.86 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 9990 0 0 0 16174 12 0 0 20 0 3 0 331724911 242888704 41361 33554432000 4194304 5964478 140737260283296 139949768550472 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 237196
[startup+222.3 s]
/proc/loadavg: 3.99 3.99 3.91 5/181 5861
/proc/meminfo: memFree=28549416/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=309364 CPUtime=444.48 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 52128 0 0 0 44399 49 0 0 20 0 3 0 331724911 316788736 52461 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 77341 52461 200 433 0 76905 0
[pid=5857/tid=5858] ppid=5855 vsize=309364 CPUtime=221.64 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 39207 0 0 0 22125 39 0 0 20 0 3 0 331724911 316788736 52461 33554432000 4194304 5964478 140737260283296 139949779040056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=309364 CPUtime=221.7 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 12172 0 0 0 22155 15 0 0 20 0 3 0 331724911 316788736 52461 33554432000 4194304 5964478 140737260283296 139949768550584 4399932 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.48
Current children cumulated vsize (KiB) 309364
################
# More data... #
################
[pid=5857/tid=5859] ppid=5855 vsize=312472 CPUtime=281.54 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 12837 0 0 0 28137 17 0 0 20 0 3 0 331724911 319971328 59386 33554432000 4194304 5964478 140737260283296 139949768550520 4400401 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.45
Current children cumulated vsize (KiB) 312472
[startup+342.3 s]
/proc/loadavg: 4.07 4.01 3.92 5/181 5861
/proc/meminfo: memFree=28327736/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=317680 CPUtime=684.43 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 63718 0 0 0 68380 63 0 0 20 0 3 0 331724911 325304320 65874 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 79420 65874 200 433 0 78984 0
[pid=5857/tid=5858] ppid=5855 vsize=317680 CPUtime=341.32 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 48762 0 0 0 34080 52 0 0 20 0 3 0 331724911 325304320 65874 33554432000 4194304 5964478 140737260283296 139949779040120 4220678 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=317680 CPUtime=341.38 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 14207 0 0 0 34118 20 0 0 20 0 3 0 331724911 325304320 65874 33554432000 4194304 5964478 140737260283296 139949768550712 4400831 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 317680
[startup+402.3 s]
/proc/loadavg: 4.03 4.00 3.92 5/181 5861
/proc/meminfo: memFree=28250452/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=386848 CPUtime=804.41 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 70963 0 0 0 80367 74 0 0 20 0 3 0 331724911 396132352 73097 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 96712 73097 200 433 0 96276 0
[pid=5857/tid=5858] ppid=5855 vsize=386848 CPUtime=401.17 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 55579 0 0 0 40053 64 0 0 20 0 3 0 331724911 396132352 73097 33554432000 4194304 5964478 140737260283296 139949779040056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=386848 CPUtime=401.23 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 14635 0 0 0 40102 21 0 0 20 0 3 0 331724911 396132352 73097 33554432000 4194304 5964478 140737260283296 139949768550520 4399946 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.41
Current children cumulated vsize (KiB) 386848
[startup+462.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 5864
/proc/meminfo: memFree=28071264/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=390556 CPUtime=924.39 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 79421 0 0 0 92353 86 0 0 20 0 3 0 331724911 399929344 81468 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 97639 81468 200 433 0 97203 0
[pid=5857/tid=5858] ppid=5855 vsize=390556 CPUtime=461.01 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 63488 0 0 0 46026 75 0 0 20 0 3 0 331724911 399929344 81468 33554432000 4194304 5964478 140737260283296 139949779040056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=390556 CPUtime=461.07 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 15184 0 0 0 46084 23 0 0 20 0 3 0 331724911 399929344 81468 33554432000 4194304 5964478 140737260283296 139949768550520 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.39
Current children cumulated vsize (KiB) 390556
[startup+522.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/182 5888
/proc/meminfo: memFree=28037032/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=394640 CPUtime=1044.37 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 81422 0 0 0 104348 89 0 0 20 0 3 0 331724911 404111360 83613 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 98660 83613 200 433 0 98224 0
[pid=5857/tid=5858] ppid=5855 vsize=394640 CPUtime=520.85 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 64201 0 0 0 52008 77 0 0 20 0 3 0 331724911 404111360 83613 33554432000 4194304 5964478 140737260283296 139949779040056 4379316 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=394640 CPUtime=520.92 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 16472 0 0 0 52067 25 0 0 20 0 3 0 331724911 404111360 83613 33554432000 4194304 5964478 140737260283296 139949768550520 4399912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.37
Current children cumulated vsize (KiB) 394640
[startup+582.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/181 5888
/proc/meminfo: memFree=27977920/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=463880 CPUtime=1164.32 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 87620 0 0 0 116335 97 0 0 20 0 3 0 331724911 475013120 90176 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 115970 90176 200 433 0 115534 0
[pid=5857/tid=5858] ppid=5855 vsize=463880 CPUtime=580.65 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 69306 0 0 0 57980 85 0 0 20 0 3 0 331724911 475013120 90176 33554432000 4194304 5964478 140737260283296 139949779040248 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=463880 CPUtime=580.77 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 17565 0 0 0 58050 27 0 0 20 0 3 0 331724911 475013120 90176 33554432000 4194304 5964478 140737260283296 139949768550712 4399932 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.32
Current children cumulated vsize (KiB) 463880
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 5888
/proc/meminfo: memFree=27814540/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=468464 CPUtime=1284.31 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 94369 0 0 0 128326 105 0 0 20 0 3 0 331724911 479707136 96896 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 117116 96896 200 433 0 116680 0
[pid=5857/tid=5858] ppid=5855 vsize=468464 CPUtime=640.49 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 75722 0 0 0 63955 94 0 0 20 0 3 0 331724911 479707136 96896 33554432000 4194304 5964478 140737260283296 139949779040056 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=468464 CPUtime=640.62 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 17898 0 0 0 64034 28 0 0 20 0 3 0 331724911 479707136 96896 33554432000 4194304 5964478 140737260283296 139949768550520 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.31
Current children cumulated vsize (KiB) 468464
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 5888
/proc/meminfo: memFree=27652520/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=476036 CPUtime=1404.27 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 100562 0 0 0 140312 115 0 0 20 0 3 0 331724911 487460864 103081 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 119009 103081 200 433 0 118573 0
[pid=5857/tid=5858] ppid=5855 vsize=476036 CPUtime=700.33 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 81742 0 0 0 69929 104 0 0 20 0 3 0 331724911 487460864 103081 33554432000 4194304 5964478 140737260283296 139949779040248 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=476036 CPUtime=700.45 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 18071 0 0 0 70015 30 0 0 20 0 3 0 331724911 487460864 103081 33554432000 4194304 5964478 140737260283296 139949768550760 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.27
Current children cumulated vsize (KiB) 476036
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 5888
/proc/meminfo: memFree=27571056/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=477652 CPUtime=1524.27 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 107105 0 0 0 152302 125 0 0 20 0 3 0 331724911 489115648 109603 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 119413 109603 200 433 0 118977 0
[pid=5857/tid=5858] ppid=5855 vsize=477652 CPUtime=760.18 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 86569 0 0 0 75905 113 0 0 20 0 3 0 331724911 489115648 109603 33554432000 4194304 5964478 140737260283296 139949779040056 5142538 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=477652 CPUtime=760.31 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 19787 0 0 0 75998 33 0 0 20 0 3 0 331724911 489115648 109603 33554432000 4194304 5964478 140737260283296 139949768550712 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.27
Current children cumulated vsize (KiB) 477652
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/181 5889
/proc/meminfo: memFree=27542316/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=547676 CPUtime=1644.23 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 109193 0 0 0 164296 127 0 0 20 0 3 0 331724911 560820224 111669 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 136919 111669 200 433 0 136483 0
[pid=5857/tid=5858] ppid=5855 vsize=547676 CPUtime=820.02 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 87050 0 0 0 81888 114 0 0 20 0 3 0 331724911 560820224 111669 33554432000 4194304 5964478 140737260283296 139949779040056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=547676 CPUtime=820.15 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 21394 0 0 0 81978 37 0 0 20 0 3 0 331724911 560820224 111669 33554432000 4194304 5964478 140737260283296 139949768550760 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.23
Current children cumulated vsize (KiB) 547676
[startup+882.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/181 5889
/proc/meminfo: memFree=27502912/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=617000 CPUtime=1764.21 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 113445 0 0 0 176286 135 0 0 20 0 3 0 331724911 631808000 115919 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 154250 115919 200 433 0 153814 0
[pid=5857/tid=5858] ppid=5855 vsize=617000 CPUtime=879.86 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 91088 0 0 0 87864 122 0 0 20 0 3 0 331724911 631808000 115919 33554432000 4194304 5964478 140737260283296 139949779040248 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=617000 CPUtime=879.99 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 21608 0 0 0 87961 38 0 0 20 0 3 0 331724911 631808000 115919 33554432000 4194304 5964478 140737260283296 139949768550760 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.21
Current children cumulated vsize (KiB) 617000
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.2 s]
/proc/loadavg: 3.86 3.98 3.92 4/176 5897
/proc/meminfo: memFree=28677624/32873844 swapFree=6872/6872
[pid=5857] ppid=5855 vsize=617320 CPUtime=1800.02 cores=1,3,5,7
/proc/5857/stat : 5857 (pwbo2.02) S 5855 5857 3386 0 -1 4202496 114311 0 0 0 179866 136 0 0 20 0 3 0 331724911 632135680 116785 33554432000 4194304 5964478 140737260283296 140737260282816 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5857/statm: 154330 116785 200 433 0 153894 0
[pid=5857/tid=5858] ppid=5855 vsize=617320 CPUtime=897.72 cores=1,3,5,7
/proc/5857/task/5858/stat : 5858 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 91909 0 0 0 89649 123 0 0 20 0 3 0 331724911 632135680 116785 33554432000 4194304 5964478 140737260283296 139949779040056 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=5857/tid=5859] ppid=5855 vsize=617320 CPUtime=897.85 cores=1,3,5,7
/proc/5857/task/5859/stat : 5859 (pwbo2.02) R 5855 5857 3386 0 -1 4202560 21653 0 0 0 89747 38 0 0 20 0 3 0 331724911 632135680 116785 33554432000 4194304 5964478 140737260283296 139949768550760 4400401 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 617320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5857 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=969275
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=650749
# CPU time returned by wait4() is 1795.62
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.226
CPU time (s): 1800.02
CPU user time (s): 1798.66
CPU system time (s): 1.36
CPU usage (%): 199.952
Max. virtual memory (cumulated for all children) (KiB): 617320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.97
system time used= 1.65075
maximum resident set size= 467148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114313
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= 202
involuntary context switches= 2050
runsolver used 2.0027 second user time and 5.67314 second system time
The end