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 /var/tmp/evaluation-result-3500350-1307994108/watcher-3500350-1307994108 -o /var/tmp/evaluation-result-3500350-1307994108/solver-3500350-1307994108 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500350-1307994108.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.89 3.98 3.85 4/179 31863
/proc/meminfo: memFree=3542828/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=3156 CPUtime=0 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) R 31861 31863 30934 0 -1 4202496 422 0 0 0 0 0 0 0 25 0 1 0 911011785 3231744 374 33554432000 4194304 5714118 140734068879120 18446744073709551615 4977038 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31863/statm: 789 375 166 372 0 250 0
[startup+0.0776781 s]
/proc/loadavg: 3.89 3.98 3.85 4/179 31863
/proc/meminfo: memFree=3542828/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=156316 CPUtime=0.09 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 8060 0 0 0 8 1 0 0 25 0 3 0 911011785 160067584 7781 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 39079 7789 177 372 0 38704 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 156316
[startup+0.100664 s]
/proc/loadavg: 3.89 3.98 3.85 4/179 31863
/proc/meminfo: memFree=3542828/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=178652 CPUtime=0.13 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 13184 0 0 0 11 2 0 0 25 0 3 0 911011785 182939648 12847 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 44663 12847 177 372 0 44288 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 178652
[startup+0.300628 s]
/proc/loadavg: 3.89 3.98 3.85 4/179 31863
/proc/meminfo: memFree=3542828/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=203132 CPUtime=0.53 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 30982 0 0 0 49 4 0 0 25 0 3 0 911011785 208007168 30141 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 50783 30141 177 372 0 50408 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 203132
[startup+0.700559 s]
/proc/loadavg: 3.89 3.98 3.85 4/179 31863
/proc/meminfo: memFree=3542828/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=204592 CPUtime=1.33 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 31962 0 0 0 128 5 0 0 25 0 3 0 911011785 209502208 30431 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 51148 30431 178 372 0 50773 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 204592
[startup+1.50042 s]
/proc/loadavg: 3.89 3.98 3.85 5/182 31866
/proc/meminfo: memFree=3421308/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=204592 CPUtime=2.92 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 32397 0 0 0 286 6 0 0 25 0 3 0 911011785 209502208 30616 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 51148 30616 178 372 0 50773 0
[pid=31863/tid=31865] ppid=31861 vsize=204592 CPUtime=1.43 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 3433 0 0 0 142 1 0 0 20 0 3 0 911011790 209502208 30616 33554432000 4194304 5714118 140734068879120 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=204592 CPUtime=1.43 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 27314 0 0 0 139 4 0 0 20 0 3 0 911011790 209502208 30616 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 204592
[startup+3.10113 s]
/proc/loadavg: 3.89 3.98 3.85 5/182 31866
/proc/meminfo: memFree=3419352/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=204592 CPUtime=6.12 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 33819 0 0 0 604 8 0 0 25 0 3 0 911011785 209502208 31250 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 51148 31250 178 372 0 50773 0
[pid=31863/tid=31865] ppid=31861 vsize=204592 CPUtime=3.04 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 4855 0 0 0 302 2 0 0 25 0 3 0 911011790 209502208 31250 33554432000 4194304 5714118 140734068879120 18446744073709551615 4964789 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=204592 CPUtime=3.02 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 27314 0 0 0 297 5 0 0 25 0 3 0 911011790 209502208 31250 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 204592
[startup+6.30057 s]
/proc/loadavg: 3.90 3.98 3.85 5/182 31866
/proc/meminfo: memFree=3412856/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=204592 CPUtime=12.51 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 36749 0 0 0 1229 22 0 0 25 0 3 0 911011785 209502208 32452 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 51148 32452 179 372 0 50773 0
[pid=31863/tid=31865] ppid=31861 vsize=204592 CPUtime=6.23 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 7764 0 0 0 608 15 0 0 25 0 3 0 911011790 209502208 32452 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=204592 CPUtime=6.22 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 27335 0 0 0 615 7 0 0 25 0 3 0 911011790 209502208 32452 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 204592
[startup+12.7004 s]
/proc/loadavg: 3.90 3.98 3.85 5/182 31866
/proc/meminfo: memFree=3396380/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=204592 CPUtime=25.31 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 40074 0 0 0 2492 39 0 0 25 0 3 0 911011785 209502208 35777 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 51148 35777 180 372 0 50773 0
[pid=31863/tid=31865] ppid=31861 vsize=204592 CPUtime=12.64 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 10977 0 0 0 1234 30 0 0 25 0 3 0 911011790 209502208 35777 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=204592 CPUtime=12.62 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 27447 0 0 0 1253 9 0 0 25 0 3 0 911011790 209502208 35777 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 204592
[startup+25.5012 s]
/proc/loadavg: 3.92 3.98 3.85 5/182 31867
/proc/meminfo: memFree=3371232/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=270512 CPUtime=50.91 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 43236 0 0 0 5024 67 0 0 25 0 3 0 911011785 277004288 38939 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 67628 38939 180 372 0 67253 0
[pid=31863/tid=31865] ppid=31861 vsize=270512 CPUtime=25.44 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 12784 0 0 0 2492 52 0 0 25 0 3 0 911011790 277004288 38939 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=270512 CPUtime=25.42 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 28802 0 0 0 2527 15 0 0 25 0 3 0 911011790 277004288 38939 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 270512
[startup+51.1006 s]
/proc/loadavg: 3.95 3.98 3.85 5/182 31867
/proc/meminfo: memFree=3346264/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=270512 CPUtime=102.12 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 46095 0 0 0 10102 110 0 0 25 0 3 0 911011785 277004288 41798 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 67628 41798 180 372 0 67253 0
[pid=31863/tid=31865] ppid=31861 vsize=270512 CPUtime=51.03 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 15193 0 0 0 5017 86 0 0 25 0 3 0 911011790 277004288 41798 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=270512 CPUtime=51.02 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 29252 0 0 0 5079 23 0 0 25 0 3 0 911011790 277004288 41798 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 270512
[startup+102.307 s]
/proc/loadavg: 3.98 3.98 3.86 5/182 31869
/proc/meminfo: memFree=3167648/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=402068 CPUtime=204.53 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 82232 0 0 0 20263 190 0 0 25 0 3 0 911011785 411717632 77935 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 100517 77935 180 372 0 100142 0
[pid=31863/tid=31865] ppid=31861 vsize=402068 CPUtime=102.25 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 23370 0 0 0 10080 145 0 0 25 0 3 0 911011790 411717632 77935 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=402068 CPUtime=102.22 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 57212 0 0 0 10178 44 0 0 25 0 3 0 911011790 411717632 77935 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 402068
[startup+162.301 s]
/proc/loadavg: 3.99 3.98 3.86 5/182 31870
/proc/meminfo: memFree=2979456/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=532656 CPUtime=324.51 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 119130 0 0 0 32133 318 0 0 25 0 3 0 911011785 545439744 114623 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 133164 114623 180 372 0 132789 0
[pid=31863/tid=31865] ppid=31861 vsize=532656 CPUtime=162.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 27714 0 0 0 15994 230 0 0 25 0 3 0 911011790 545439744 114623 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=532656 CPUtime=162.22 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 89766 0 0 0 16134 88 0 0 25 0 3 0 911011790 545439744 114623 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 532656
[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.87 5/182 31872
/proc/meminfo: memFree=2923740/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=598192 CPUtime=444.51 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 124278 0 0 0 44056 395 0 0 25 0 3 0 911011785 612548608 119771 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 149548 119771 180 372 0 149173 0
[pid=31863/tid=31865] ppid=31861 vsize=598192 CPUtime=222.23 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 27913 0 0 0 21947 276 0 0 25 0 3 0 911011790 612548608 119771 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319327 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=598192 CPUtime=222.23 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 94715 0 0 0 22104 119 0 0 25 0 3 0 911011790 612548608 119771 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319710 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 598192
[startup+282.301 s]
/proc/loadavg: 3.93 3.96 3.87 5/182 31914
/proc/meminfo: memFree=3841980/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=598192 CPUtime=564.52 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 134257 0 0 0 55964 488 0 0 25 0 3 0 911011785 612548608 129750 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 149548 129750 180 372 0 149173 0
[pid=31863/tid=31865] ppid=31861 vsize=598192 CPUtime=282.23 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 33832 0 0 0 27876 347 0 0 25 0 3 0 911011790 612548608 129750 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=598192 CPUtime=282.22 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 98775 0 0 0 28082 140 0 0 25 0 3 0 911011790 612548608 129750 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.52
Current children cumulated vsize (KiB) 598192
[startup+342.301 s]
/proc/loadavg: 3.97 3.97 3.88 5/182 31916
/proc/meminfo: memFree=3811276/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=598336 CPUtime=684.51 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 138922 0 0 0 67902 549 0 0 25 0 3 0 911011785 612696064 134320 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 149584 134320 180 372 0 149209 0
[pid=31863/tid=31865] ppid=31861 vsize=598336 CPUtime=342.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 33832 0 0 0 33827 397 0 0 25 0 3 0 911011790 612696064 134320 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=598336 CPUtime=342.23 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 103440 0 0 0 34071 152 0 0 25 0 3 0 911011790 612696064 134320 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.51
Current children cumulated vsize (KiB) 598336
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.88 5/182 31918
/proc/meminfo: memFree=3788920/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=599060 CPUtime=804.52 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 143185 0 0 0 79856 596 0 0 25 0 3 0 911011785 613437440 138583 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 149765 138583 180 372 0 149390 0
[pid=31863/tid=31865] ppid=31861 vsize=599060 CPUtime=402.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 33868 0 0 0 39789 435 0 0 25 0 3 0 911011790 613437440 138583 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=599060 CPUtime=402.23 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 107667 0 0 0 40062 161 0 0 25 0 3 0 911011790 613437440 138583 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319284 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.52
Current children cumulated vsize (KiB) 599060
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.89 5/182 31919
/proc/meminfo: memFree=3753144/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=730544 CPUtime=924.52 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 152313 0 0 0 91803 649 0 0 25 0 3 0 911011785 748077056 147711 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 182636 147711 180 372 0 182261 0
[pid=31863/tid=31865] ppid=31861 vsize=730544 CPUtime=462.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 38611 0 0 0 45747 477 0 0 25 0 3 0 911011790 748077056 147711 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=730544 CPUtime=462.23 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 112052 0 0 0 46051 172 0 0 25 0 3 0 911011790 748077056 147711 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.52
Current children cumulated vsize (KiB) 730544
[startup+522.3 s]
/proc/loadavg: 4.04 3.99 3.90 5/182 31921
/proc/meminfo: memFree=3701004/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=731092 CPUtime=1044.53 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 163932 0 0 0 103738 715 0 0 25 0 3 0 911011785 748638208 159330 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 182773 159330 180 372 0 182398 0
[pid=31863/tid=31865] ppid=31861 vsize=731092 CPUtime=522.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 46166 0 0 0 51696 528 0 0 25 0 3 0 911011790 748638208 159330 33554432000 4194304 5714118 140734068879120 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=731092 CPUtime=522.23 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 116116 0 0 0 52036 187 0 0 25 0 3 0 911011790 748638208 159330 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.53
Current children cumulated vsize (KiB) 731092
[startup+582.301 s]
/proc/loadavg: 4.01 3.99 3.91 5/182 31922
/proc/meminfo: memFree=3657200/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=731980 CPUtime=1164.53 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 174259 0 0 0 115657 796 0 0 25 0 3 0 911011785 749547520 169657 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 182995 169657 180 372 0 182620 0
[pid=31863/tid=31865] ppid=31861 vsize=731980 CPUtime=582.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 52893 0 0 0 57633 591 0 0 25 0 3 0 911011790 749547520 169657 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=731980 CPUtime=582.23 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 119716 0 0 0 58018 205 0 0 25 0 3 0 911011790 749547520 169657 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.53
Current children cumulated vsize (KiB) 731980
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 31924
/proc/meminfo: memFree=3612884/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=797816 CPUtime=1284.54 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 184659 0 0 0 127566 888 0 0 25 0 3 0 911011785 816963584 180057 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 199454 180057 180 372 0 199079 0
[pid=31863/tid=31865] ppid=31861 vsize=797816 CPUtime=642.25 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 59857 0 0 0 63557 668 0 0 25 0 3 0 911011790 816963584 180057 33554432000 4194304 5714118 140734068879120 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=797816 CPUtime=642.24 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 123152 0 0 0 64004 220 0 0 25 0 3 0 911011790 816963584 180057 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.54
Current children cumulated vsize (KiB) 797816
[startup+702.3 s]
/proc/loadavg: 4.04 4.00 3.91 5/182 31926
/proc/meminfo: memFree=3569556/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=864032 CPUtime=1404.53 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 195269 0 0 0 139491 962 0 0 25 0 3 0 911011785 884768768 190666 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 216008 190666 180 372 0 215633 0
[pid=31863/tid=31865] ppid=31861 vsize=864032 CPUtime=702.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 66617 0 0 0 69502 722 0 0 25 0 3 0 911011790 884768768 190666 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=864032 CPUtime=702.23 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 127002 0 0 0 69983 240 0 0 25 0 3 0 911011790 884768768 190666 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.53
Current children cumulated vsize (KiB) 864032
[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 31927
/proc/meminfo: memFree=3530948/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=929700 CPUtime=1524.55 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 204004 0 0 0 151424 1031 0 0 25 0 3 0 911011785 952012800 199400 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 232425 199400 180 372 0 232050 0
[pid=31863/tid=31865] ppid=31861 vsize=929700 CPUtime=762.25 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 71349 0 0 0 75457 768 0 0 25 0 3 0 911011790 952012800 199400 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=929700 CPUtime=762.24 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 131005 0 0 0 75962 262 0 0 25 0 3 0 911011790 952012800 199400 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.55
Current children cumulated vsize (KiB) 929700
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31929
/proc/meminfo: memFree=3509812/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=929700 CPUtime=1644.53 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 209174 0 0 0 163359 1094 0 0 25 0 3 0 911011785 952012800 204569 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 232425 204569 180 372 0 232050 0
[pid=31863/tid=31865] ppid=31861 vsize=929700 CPUtime=822.25 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 75940 0 0 0 81405 820 0 0 25 0 3 0 911011790 952012800 204569 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=929700 CPUtime=822.24 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 131584 0 0 0 81950 274 0 0 25 0 3 0 911011790 952012800 204569 33554432000 4194304 5714118 140734068879120 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.53
Current children cumulated vsize (KiB) 929700
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31930
/proc/meminfo: memFree=3468000/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=929836 CPUtime=1764.54 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 218471 0 0 0 175282 1172 0 0 25 0 3 0 911011785 952152064 213866 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 232459 213866 180 372 0 232084 0
[pid=31863/tid=31865] ppid=31861 vsize=929836 CPUtime=882.24 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 85215 0 0 0 87334 890 0 0 25 0 3 0 911011790 952152064 213866 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=929836 CPUtime=882.24 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 131606 0 0 0 87943 281 0 0 25 0 3 0 911011790 952152064 213866 33554432000 4194304 5714118 140734068879120 18446744073709551615 4322666 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.54
Current children cumulated vsize (KiB) 929836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.1 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31931
/proc/meminfo: memFree=3457452/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=995372 CPUtime=1800.16 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 221067 0 0 0 178822 1194 0 0 25 0 3 0 911011785 1019260928 216462 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 248843 216462 180 372 0 248468 0
[pid=31863/tid=31865] ppid=31861 vsize=995372 CPUtime=900.05 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 87810 0 0 0 89095 910 0 0 25 0 3 0 911011790 1019260928 216462 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=995372 CPUtime=900.04 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 131607 0 0 0 89721 283 0 0 25 0 3 0 911011790 1019260928 216462 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 995372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.1 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 31931
/proc/meminfo: memFree=3457452/32951124 swapFree=67052292/67111528
[pid=31863] ppid=31861 vsize=995372 CPUtime=1800.16 cores=1,3,5,7
/proc/31863/stat : 31863 (pwbo1.1) S 31861 31863 30934 0 -1 4202496 221067 0 0 0 178822 1194 0 0 25 0 3 0 911011785 1019260928 216462 33554432000 4194304 5714118 140734068879120 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31863/statm: 248843 216462 180 372 0 248468 0
[pid=31863/tid=31865] ppid=31861 vsize=995372 CPUtime=900.05 cores=1,3,5,7
/proc/31863/task/31865/stat : 31865 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 87810 0 0 0 89095 910 0 0 25 0 3 0 911011790 1019260928 216462 33554432000 4194304 5714118 140734068879120 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=31863/tid=31866] ppid=31861 vsize=995372 CPUtime=900.04 cores=1,3,5,7
/proc/31863/task/31866/stat : 31866 (pwbo1.1) R 31861 31863 30934 0 -1 4202560 131607 0 0 0 89721 283 0 0 25 0 3 0 911011790 1019260928 216462 33554432000 4194304 5714118 140734068879120 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 995372
Child status: 0
Real time (s): 900.147
CPU time (s): 1800.21
CPU user time (s): 1788.23
CPU system time (s): 11.9752
CPU usage (%): 199.99
Max. virtual memory (cumulated for all children) (KiB): 995372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.23
system time used= 11.9752
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221072
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= 746
involuntary context switches= 11311
runsolver used 1.36679 second user time and 3.57446 second system time
The end