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-3500755-1307997806/watcher-3500755-1307997806 -o /tmp/evaluation-result-3500755-1307997806/solver-3500755-1307997806 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500755-1307997806.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: 2.18 3.22 3.63 2/176 15766
/proc/meminfo: memFree=32025472/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=2548 CPUtime=0 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) R 15762 15764 14247 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 911383371 2609152 283 33554432000 4194304 5714118 140735730170240 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15764/statm: 637 283 167 372 0 184 0
[startup+0.00874109 s]
/proc/loadavg: 2.18 3.22 3.63 2/176 15766
/proc/meminfo: memFree=32025472/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=2548 CPUtime=0 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) R 15762 15764 14247 0 -1 4202496 369 0 0 0 0 0 0 0 20 0 1 0 911383371 2609152 321 33554432000 4194304 5714118 140735730170240 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/15764/statm: 637 321 176 372 0 184 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2548
[startup+0.100721 s]
/proc/loadavg: 2.18 3.22 3.63 2/176 15766
/proc/meminfo: memFree=32025472/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=138484 CPUtime=0.16 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 2437 0 0 0 15 1 0 0 20 0 3 0 911383371 141807616 2304 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 34621 2304 179 372 0 34246 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 138484
[startup+0.300689 s]
/proc/loadavg: 2.18 3.22 3.63 2/176 15766
/proc/meminfo: memFree=32025472/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=138484 CPUtime=0.56 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 2793 0 0 0 54 2 0 0 20 0 3 0 911383371 141807616 2660 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 34621 2660 179 372 0 34246 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 138484
[startup+0.700614 s]
/proc/loadavg: 2.18 3.22 3.63 2/176 15766
/proc/meminfo: memFree=32025472/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=138484 CPUtime=1.36 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 3758 0 0 0 132 4 0 0 20 0 3 0 911383371 141807616 3625 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 34621 3625 179 372 0 34246 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 138484
[startup+1.50047 s]
/proc/loadavg: 2.33 3.23 3.63 6/182 15772
/proc/meminfo: memFree=31954792/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=138772 CPUtime=2.96 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 5095 0 0 0 289 7 0 0 20 0 3 0 911383371 142102528 4962 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 34693 4962 179 372 0 34318 0
[pid=15764/tid=15769] ppid=15762 vsize=138772 CPUtime=1.46 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 1702 0 0 0 142 4 0 0 20 0 3 0 911383374 142102528 4962 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=138772 CPUtime=1.46 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 2743 0 0 0 144 2 0 0 20 0 3 0 911383374 142102528 4962 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 138772
[startup+3.10019 s]
/proc/loadavg: 2.33 3.23 3.63 6/182 15772
/proc/meminfo: memFree=31914616/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=138952 CPUtime=6.16 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 7166 0 0 0 602 14 0 0 20 0 3 0 911383371 142286848 7033 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 34738 7033 179 372 0 34363 0
[pid=15764/tid=15769] ppid=15762 vsize=138952 CPUtime=3.07 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 2642 0 0 0 298 9 0 0 25 0 3 0 911383374 142286848 7033 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=138952 CPUtime=3.06 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 3874 0 0 0 302 4 0 0 25 0 3 0 911383374 142286848 7033 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 138952
[startup+6.30062 s]
/proc/loadavg: 2.33 3.23 3.63 5/182 15772
/proc/meminfo: memFree=31839904/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=139108 CPUtime=12.56 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 11300 0 0 0 1232 24 0 0 20 0 3 0 911383371 142446592 11132 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 34777 11132 180 372 0 34402 0
[pid=15764/tid=15769] ppid=15762 vsize=139108 CPUtime=6.27 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 5111 0 0 0 611 16 0 0 25 0 3 0 911383374 142446592 11132 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=139108 CPUtime=6.26 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 5539 0 0 0 619 7 0 0 25 0 3 0 911383374 142446592 11132 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 139108
[startup+12.7005 s]
/proc/loadavg: 2.58 3.25 3.64 6/182 15772
/proc/meminfo: memFree=31773720/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=139396 CPUtime=25.36 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 11665 0 0 0 2501 35 0 0 20 0 3 0 911383371 142741504 11497 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 34849 11497 180 372 0 34474 0
[pid=15764/tid=15769] ppid=15762 vsize=139396 CPUtime=12.66 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 5143 0 0 0 1243 23 0 0 25 0 3 0 911383374 142741504 11497 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=139396 CPUtime=12.66 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 5872 0 0 0 1255 11 0 0 25 0 3 0 911383374 142741504 11497 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 139396
[startup+25.5002 s]
/proc/loadavg: 2.80 3.28 3.64 6/182 15772
/proc/meminfo: memFree=31614112/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=140040 CPUtime=50.96 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 17107 0 0 0 5040 56 0 0 20 0 3 0 911383371 143400960 16939 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 35010 16939 180 372 0 34635 0
[pid=15764/tid=15769] ppid=15762 vsize=140040 CPUtime=25.46 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 9423 0 0 0 2507 39 0 0 25 0 3 0 911383374 143400960 16939 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=140040 CPUtime=25.46 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 7034 0 0 0 2530 16 0 0 25 0 3 0 911383374 143400960 16940 33554432000 4194304 5714118 140735730170240 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 140040
[startup+51.1007 s]
/proc/loadavg: 3.21 3.33 3.65 6/182 15773
/proc/meminfo: memFree=31411468/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=207336 CPUtime=102.16 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 25098 0 0 0 10122 94 0 0 20 0 3 0 911383371 212312064 24930 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 51834 24930 180 372 0 51459 0
[pid=15764/tid=15769] ppid=15762 vsize=207336 CPUtime=51.07 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 16985 0 0 0 5041 66 0 0 25 0 3 0 911383374 212312064 24930 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=207336 CPUtime=51.07 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 7463 0 0 0 5079 28 0 0 25 0 3 0 911383374 212312064 24931 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 207336
[startup+102.307 s]
/proc/loadavg: 3.77 3.47 3.67 6/182 15774
/proc/meminfo: memFree=31319660/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=208044 CPUtime=204.58 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 39829 0 0 0 20304 154 0 0 20 0 3 0 911383371 213037056 39661 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 52011 39661 180 372 0 51636 0
[pid=15764/tid=15769] ppid=15762 vsize=208044 CPUtime=102.28 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 29191 0 0 0 10120 108 0 0 25 0 3 0 911383374 213037056 39662 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=208044 CPUtime=102.27 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 9989 0 0 0 10182 45 0 0 25 0 3 0 911383374 213037056 39662 33554432000 4194304 5714118 140735730170240 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.58
Current children cumulated vsize (KiB) 208044
[startup+162.301 s]
/proc/loadavg: 3.91 3.57 3.69 6/182 15776
/proc/meminfo: memFree=31162608/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=276668 CPUtime=324.56 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 51605 0 0 0 32252 204 0 0 20 0 3 0 911383371 283308032 51429 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 69167 51429 180 372 0 68792 0
[pid=15764/tid=15769] ppid=15762 vsize=276668 CPUtime=162.27 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 39710 0 0 0 16084 143 0 0 25 0 3 0 911383374 283308032 51429 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=276668 CPUtime=162.26 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 11245 0 0 0 16165 61 0 0 25 0 3 0 911383374 283308032 51429 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.56
Current children cumulated vsize (KiB) 276668
[startup+222.3 s]
/proc/loadavg: 3.97 3.64 3.71 6/182 15778
/proc/meminfo: memFree=31074140/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=279212 CPUtime=444.57 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 61140 0 0 0 44200 257 0 0 20 0 3 0 911383371 285913088 60964 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 69803 60964 180 372 0 69428 0
[pid=15764/tid=15769] ppid=15762 vsize=279212 CPUtime=222.27 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 48623 0 0 0 22050 177 0 0 25 0 3 0 911383374 285913088 60964 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=279212 CPUtime=222.27 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 11867 0 0 0 22147 80 0 0 25 0 3 0 911383374 285913088 60964 33554432000 4194304 5714118 140735730170240 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.57
Current children cumulated vsize (KiB) 279212
[startup+282.301 s]
/proc/loadavg: 3.99 3.70 3.73 6/182 15779
/proc/meminfo: memFree=30965064/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=346052 CPUtime=564.58 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 70780 0 0 0 56147 311 0 0 20 0 3 0 911383371 354357248 70597 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 86513 70597 180 372 0 86138 0
[pid=15764/tid=15769] ppid=15762 vsize=346052 CPUtime=282.27 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 57811 0 0 0 28013 214 0 0 25 0 3 0 911383374 354357248 70597 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=346052 CPUtime=282.27 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 12319 0 0 0 28131 96 0 0 25 0 3 0 911383374 354357248 70597 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.58
Current children cumulated vsize (KiB) 346052
[startup+342.301 s]
/proc/loadavg: 3.99 3.76 3.74 6/182 15781
/proc/meminfo: memFree=30923220/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=412596 CPUtime=684.58 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 81329 0 0 0 68083 375 0 0 20 0 3 0 911383371 422498304 81131 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 103149 81131 180 372 0 102774 0
[pid=15764/tid=15769] ppid=15762 vsize=412596 CPUtime=342.27 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 67778 0 0 0 33968 259 0 0 25 0 3 0 911383374 422498304 81131 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=412596 CPUtime=342.27 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 12901 0 0 0 34112 115 0 0 25 0 3 0 911383374 422498304 81131 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.58
Current children cumulated vsize (KiB) 412596
[startup+402.3 s]
/proc/loadavg: 3.99 3.80 3.75 6/182 15782
/proc/meminfo: memFree=30886700/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=414324 CPUtime=804.58 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 89938 0 0 0 80028 430 0 0 20 0 3 0 911383371 424267776 89733 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 103581 89733 180 372 0 103206 0
[pid=15764/tid=15769] ppid=15762 vsize=414324 CPUtime=402.28 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 76155 0 0 0 39931 297 0 0 25 0 3 0 911383374 424267776 89733 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=414324 CPUtime=402.27 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 13133 0 0 0 40095 132 0 0 25 0 3 0 911383374 424267776 89733 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.58
Current children cumulated vsize (KiB) 414324
[startup+462.301 s]
/proc/loadavg: 3.99 3.83 3.76 6/182 15784
/proc/meminfo: memFree=30788308/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=481584 CPUtime=924.59 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 98531 0 0 0 91973 486 0 0 20 0 3 0 911383371 493142016 98323 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 120396 98323 180 372 0 120021 0
[pid=15764/tid=15769] ppid=15762 vsize=481584 CPUtime=462.28 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 84607 0 0 0 45893 335 0 0 25 0 3 0 911383374 493142016 98323 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=481584 CPUtime=462.28 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 13274 0 0 0 46077 151 0 0 25 0 3 0 911383374 493142016 98323 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 481584
[startup+522.301 s]
/proc/loadavg: 3.99 3.86 3.77 6/182 15786
/proc/meminfo: memFree=30728840/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=484208 CPUtime=1044.58 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 106902 0 0 0 103912 546 0 0 20 0 3 0 911383371 495828992 106694 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 121052 106694 180 372 0 120677 0
[pid=15764/tid=15769] ppid=15762 vsize=484208 CPUtime=522.28 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 91901 0 0 0 51852 376 0 0 25 0 3 0 911383374 495828992 106694 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=484208 CPUtime=522.27 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 14351 0 0 0 52057 170 0 0 25 0 3 0 911383374 495828992 106694 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.58
Current children cumulated vsize (KiB) 484208
[startup+582.3 s]
/proc/loadavg: 3.99 3.88 3.79 6/182 15787
/proc/meminfo: memFree=30663416/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=551616 CPUtime=1164.59 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 116977 0 0 0 115854 605 0 0 20 0 3 0 911383371 564854784 116769 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 137904 116769 180 372 0 137529 0
[pid=15764/tid=15769] ppid=15762 vsize=551616 CPUtime=582.28 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 101369 0 0 0 57812 416 0 0 25 0 3 0 911383374 564854784 116769 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=551616 CPUtime=582.28 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 14958 0 0 0 58039 189 0 0 25 0 3 0 911383374 564854784 116769 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.59
Current children cumulated vsize (KiB) 551616
[startup+642.301 s]
/proc/loadavg: 4.12 3.93 3.81 6/182 15789
/proc/meminfo: memFree=30630132/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=552752 CPUtime=1284.6 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 125465 0 0 0 127809 651 0 0 20 0 3 0 911383371 566018048 125253 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 138188 125253 180 372 0 137813 0
[pid=15764/tid=15769] ppid=15762 vsize=552752 CPUtime=642.29 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 109791 0 0 0 63782 447 0 0 25 0 3 0 911383374 566018048 125253 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=552752 CPUtime=642.28 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 15024 0 0 0 64025 203 0 0 25 0 3 0 911383374 566018048 125253 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.6
Current children cumulated vsize (KiB) 552752
[startup+702.301 s]
/proc/loadavg: 4.04 3.94 3.82 6/182 15790
/proc/meminfo: memFree=30551840/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=554048 CPUtime=1404.6 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 131568 0 0 0 139764 696 0 0 20 0 3 0 911383371 567345152 131356 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 138512 131356 180 372 0 138137 0
[pid=15764/tid=15769] ppid=15762 vsize=554048 CPUtime=702.28 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 115768 0 0 0 69752 476 0 0 25 0 3 0 911383374 567345152 131356 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=554048 CPUtime=702.28 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 15150 0 0 0 70009 219 0 0 25 0 3 0 911383374 567345152 131356 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.6
Current children cumulated vsize (KiB) 554048
[startup+762.306 s]
/proc/loadavg: 4.01 3.95 3.83 6/182 15792
/proc/meminfo: memFree=30528204/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=620340 CPUtime=1524.61 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 137106 0 0 0 151721 740 0 0 20 0 3 0 911383371 635228160 136894 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 155085 136894 180 372 0 154710 0
[pid=15764/tid=15769] ppid=15762 vsize=620340 CPUtime=762.29 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 121251 0 0 0 75723 506 0 0 25 0 3 0 911383374 635228160 136894 33554432000 4194304 5714118 140735730170240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=620340 CPUtime=762.28 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 15205 0 0 0 75995 233 0 0 25 0 3 0 911383374 635228160 136894 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319232 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.61
Current children cumulated vsize (KiB) 620340
[startup+822.301 s]
/proc/loadavg: 4.00 3.95 3.83 6/182 15794
/proc/meminfo: memFree=30503452/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=621960 CPUtime=1644.6 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 143444 0 0 0 163680 780 0 0 20 0 3 0 911383371 636887040 143228 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 155490 143228 180 372 0 155115 0
[pid=15764/tid=15769] ppid=15762 vsize=621960 CPUtime=822.29 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 127454 0 0 0 81696 533 0 0 25 0 3 0 911383374 636887040 143228 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=621960 CPUtime=822.28 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 15340 0 0 0 81981 247 0 0 25 0 3 0 911383374 636887040 143228 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.6
Current children cumulated vsize (KiB) 621960
[startup+882.301 s]
/proc/loadavg: 4.00 3.96 3.84 6/182 15795
/proc/meminfo: memFree=30472520/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=688684 CPUtime=1764.61 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 150765 0 0 0 175637 824 0 0 20 0 3 0 911383371 705212416 150549 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 172171 150549 180 372 0 171796 0
[pid=15764/tid=15769] ppid=15762 vsize=688684 CPUtime=882.29 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 134032 0 0 0 87671 558 0 0 25 0 3 0 911383374 705212416 150549 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=688684 CPUtime=882.28 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 16083 0 0 0 87963 265 0 0 25 0 3 0 911383374 705212416 150549 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 688684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.96 3.84 6/182 15796
/proc/meminfo: memFree=30468152/32951124 swapFree=67050044/67111528
[pid=15764] ppid=15762 vsize=688900 CPUtime=1800.02 cores=1,3,5,7
/proc/15764/stat : 15764 (pwbo1.1) S 15762 15764 14247 0 -1 4202496 151791 0 0 0 179164 838 0 0 20 0 3 0 911383371 705433600 151572 33554432000 4194304 5714118 140735730170240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/15764/statm: 172225 151572 180 372 0 171850 0
[pid=15764/tid=15769] ppid=15762 vsize=688900 CPUtime=900 cores=1,3,5,7
/proc/15764/task/15769/stat : 15769 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 135057 0 0 0 89434 566 0 0 25 0 3 0 911383374 705433600 151572 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=15764/tid=15770] ppid=15762 vsize=688900 CPUtime=899.99 cores=1,3,5,7
/proc/15764/task/15770/stat : 15770 (pwbo1.1) R 15762 15764 14247 0 -1 4202560 16084 0 0 0 89727 272 0 0 25 0 3 0 911383374 705433600 151572 33554432000 4194304 5714118 140735730170240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 688900
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.035
CPU time (s): 1800.06
CPU user time (s): 1791.66
CPU system time (s): 8.40472
CPU usage (%): 199.999
Max. virtual memory (cumulated for all children) (KiB): 688900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.66
system time used= 8.40472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151799
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= 169
involuntary context switches= 2017
runsolver used 1.44878 second user time and 3.46847 second system time
The end