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-3726309-1338658652/watcher-3726309-1338658652 -o /tmp/evaluation-result-3726309-1338658652/solver-3726309-1338658652 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726309-1338658652.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.92 3.99 3.96 2/174 12959
/proc/meminfo: memFree=29130296/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=4700 CPUtime=0 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) R 12957 12959 10378 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 331990090 4812800 366 33554432000 4194304 5964478 140737053592416 140736670365480 4297174 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 1175 378 168 433 0 739 0
[startup+0.028742 s]
/proc/loadavg: 3.92 3.99 3.96 2/174 12959
/proc/meminfo: memFree=29130296/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=162768 CPUtime=0.04 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 1329 0 0 0 4 0 0 0 20 0 3 0 331990090 166674432 1268 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 40692 1279 198 433 0 40256 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 162768
[startup+0.100161 s]
/proc/loadavg: 3.92 3.99 3.96 2/174 12959
/proc/meminfo: memFree=29130296/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=162768 CPUtime=0.18 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 1870 0 0 0 18 0 0 0 20 0 3 0 331990090 166674432 1782 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 40692 1782 198 433 0 40256 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162768
[startup+0.300129 s]
/proc/loadavg: 3.92 3.99 3.96 2/174 12959
/proc/meminfo: memFree=29130296/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=162768 CPUtime=0.58 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 2924 0 0 0 58 0 0 0 20 0 3 0 331990090 166674432 2582 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 40692 2582 198 433 0 40256 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162768
[startup+0.700153 s]
/proc/loadavg: 3.92 3.99 3.96 2/174 12959
/proc/meminfo: memFree=29130296/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=162900 CPUtime=1.37 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 3845 0 0 0 137 0 0 0 20 0 3 0 331990090 166809600 3142 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 40725 3142 198 433 0 40289 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 162900
[startup+1.50032 s]
/proc/loadavg: 3.92 3.99 3.96 4/176 12990
/proc/meminfo: memFree=29111800/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=162900 CPUtime=2.98 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 4406 0 0 0 297 1 0 0 20 0 3 0 331990090 166809600 3663 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 40725 3663 198 433 0 40289 0
[pid=12959/tid=12961] ppid=12957 vsize=162900 CPUtime=1.47 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 2819 0 0 0 147 0 0 0 20 0 3 0 331990091 166809600 3663 33554432000 4194304 5964478 140737053592416 140264761047384 18446744073699066235 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=162900 CPUtime=1.47 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 703 0 0 0 147 0 0 0 20 0 3 0 331990091 166809600 3663 33554432000 4194304 5964478 140737053592416 140264750557408 4288610 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162900
[startup+3.10032 s]
/proc/loadavg: 3.92 3.99 3.96 4/179 13000
/proc/meminfo: memFree=28940440/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=164188 CPUtime=6.17 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 5189 0 0 0 616 1 0 0 20 0 3 0 331990090 168128512 4443 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 41047 4443 198 433 0 40611 0
[pid=12959/tid=12961] ppid=12957 vsize=164188 CPUtime=3.07 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 3424 0 0 0 307 0 0 0 20 0 3 0 331990091 168128512 4443 33554432000 4194304 5964478 140737053592416 140264761047368 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=164188 CPUtime=3.07 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 881 0 0 0 307 0 0 0 20 0 3 0 331990091 168128512 4443 33554432000 4194304 5964478 140737053592416 140264750557848 4392962 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164188
[startup+6.30035 s]
/proc/loadavg: 3.85 3.97 3.96 5/181 13002
/proc/meminfo: memFree=28478116/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=164452 CPUtime=12.58 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 6664 0 0 0 1256 2 0 0 20 0 3 0 331990090 168398848 5621 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 41113 5621 198 433 0 40677 0
[pid=12959/tid=12961] ppid=12957 vsize=164452 CPUtime=6.26 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 4522 0 0 0 626 0 0 0 20 0 3 0 331990091 168398848 5621 33554432000 4194304 5964478 140737053592416 140264761047992 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=164452 CPUtime=6.26 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 1258 0 0 0 625 1 0 0 20 0 3 0 331990091 168398848 5621 33554432000 4194304 5964478 140737053592416 140264750557256 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 164452
[startup+12.7004 s]
/proc/loadavg: 3.86 3.97 3.96 5/181 13002
/proc/meminfo: memFree=28398492/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=164856 CPUtime=25.37 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 10070 0 0 0 2535 2 0 0 20 0 3 0 331990090 168812544 9027 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 41214 9027 198 433 0 40778 0
[pid=12959/tid=12961] ppid=12957 vsize=164856 CPUtime=12.65 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 6408 0 0 0 1264 1 0 0 20 0 3 0 331990091 168812544 9027 33554432000 4194304 5964478 140737053592416 140264761046840 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=164856 CPUtime=12.64 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 2778 0 0 0 1263 1 0 0 20 0 3 0 331990091 168812544 9027 33554432000 4194304 5964478 140737053592416 140264750557496 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 164856
[startup+25.5004 s]
/proc/loadavg: 3.89 3.97 3.96 5/181 13002
/proc/meminfo: memFree=28317484/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=163708 CPUtime=50.96 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 12891 0 0 0 5092 4 0 0 20 0 3 0 331990090 167636992 11596 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 40927 11596 198 433 0 40491 0
[pid=12959/tid=12961] ppid=12957 vsize=163708 CPUtime=25.41 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 9144 0 0 0 2539 2 0 0 20 0 3 0 331990091 167636992 11596 33554432000 4194304 5964478 140737053592416 140264761047136 4400056 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=163708 CPUtime=25.4 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 2863 0 0 0 2539 1 0 0 20 0 3 0 331990091 167636992 11596 33554432000 4194304 5964478 140737053592416 140264750557408 4403560 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 163708
[startup+51.1003 s]
/proc/loadavg: 3.93 3.97 3.96 5/181 13002
/proc/meminfo: memFree=28283288/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=164244 CPUtime=102.14 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 13944 0 0 0 10210 4 0 0 20 0 3 0 331990090 168185856 13369 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 41061 13369 198 433 0 40625 0
[pid=12959/tid=12961] ppid=12957 vsize=164244 CPUtime=50.93 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 9788 0 0 0 5091 2 0 0 20 0 3 0 331990091 168185856 13369 33554432000 4194304 5964478 140737053592416 140264761047032 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=164244 CPUtime=50.93 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 3272 0 0 0 5092 1 0 0 20 0 3 0 331990091 168185856 13370 33554432000 4194304 5964478 140737053592416 140264750557496 4403721 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 164244
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.96 5/181 13002
/proc/meminfo: memFree=28227484/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=232496 CPUtime=204.54 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 26087 0 0 0 20444 10 0 0 20 0 3 0 331990090 238075904 25512 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 58124 25512 198 433 0 57688 0
[pid=12959/tid=12961] ppid=12957 vsize=232496 CPUtime=102.01 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 19672 0 0 0 10193 8 0 0 20 0 3 0 331990091 238075904 25512 33554432000 4194304 5964478 140737053592416 140264761046840 4400519 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=232496 CPUtime=102.01 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 5531 0 0 0 10198 3 0 0 20 0 3 0 331990091 238075904 25512 33554432000 4194304 5964478 140737053592416 140264750557256 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 232496
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.96 5/182 13006
/proc/meminfo: memFree=28140208/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=235036 CPUtime=324.51 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 38114 0 0 0 32435 16 0 0 20 0 3 0 331990090 240676864 37538 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 58759 37538 198 433 0 58323 0
[pid=12959/tid=12961] ppid=12957 vsize=235036 CPUtime=161.85 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 27508 0 0 0 16173 12 0 0 20 0 3 0 331990091 240676864 37538 33554432000 4194304 5964478 140737053592416 140264761047080 4389160 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=235036 CPUtime=161.84 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 9722 0 0 0 16177 7 0 0 20 0 3 0 331990091 240676864 37538 33554432000 4194304 5964478 140737053592416 140264750557256 4399912 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 235036
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.96 5/181 13006
/proc/meminfo: memFree=27968016/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=302560 CPUtime=444.49 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 46304 0 0 0 44428 21 0 0 20 0 3 0 331990090 309821440 45722 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 75640 45722 198 433 0 75204 0
[pid=12959/tid=12961] ppid=12957 vsize=302560 CPUtime=221.69 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 35145 0 0 0 22151 18 0 0 20 0 3 0 331990091 309821440 45722 33554432000 4194304 5964478 140737053592416 140264761046840 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=302560 CPUtime=221.69 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 10275 0 0 0 22161 8 0 0 20 0 3 0 331990091 309821440 45722 33554432000 4194304 5964478 140737053592416 140264750557256 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 302560
[startup+282.3 s]
/proc/loadavg: 4.04 3.99 3.96 5/181 13006
/proc/meminfo: memFree=27936000/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=304240 CPUtime=564.47 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 50602 0 0 0 56423 24 0 0 20 0 3 0 331990090 311541760 50019 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 76060 50019 198 433 0 75624 0
[pid=12959/tid=12961] ppid=12957 vsize=304240 CPUtime=281.54 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 37535 0 0 0 28134 20 0 0 20 0 3 0 331990091 311541760 50019 33554432000 4194304 5964478 140737053592416 140264761046840 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=304240 CPUtime=281.53 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 12183 0 0 0 28141 12 0 0 20 0 3 0 331990091 311541760 50019 33554432000 4194304 5964478 140737053592416 140264750557256 4400476 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 304240
[startup+342.3 s]
/proc/loadavg: 4.01 3.99 3.96 5/181 13006
/proc/meminfo: memFree=27881340/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=305304 CPUtime=684.45 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 61178 0 0 0 68413 32 0 0 20 0 3 0 331990090 312631296 60594 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 76326 60594 198 433 0 75890 0
################
# More data... #
################
[pid=12959/tid=12962] ppid=12957 vsize=305304 CPUtime=341.37 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 12991 0 0 0 34124 13 0 0 20 0 3 0 331990091 312631296 60594 33554432000 4194304 5964478 140737053592416 140264750557304 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.45
Current children cumulated vsize (KiB) 305304
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.96 5/181 13006
/proc/meminfo: memFree=27808600/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=371800 CPUtime=804.43 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 76119 0 0 0 80397 46 0 0 20 0 3 0 331990090 380723200 75535 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 92950 75535 198 433 0 92514 0
[pid=12959/tid=12961] ppid=12957 vsize=371800 CPUtime=401.24 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 60210 0 0 0 40082 42 0 0 20 0 3 0 331990091 380723200 75535 33554432000 4194304 5964478 140737053592416 140264761047032 4400528 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=371800 CPUtime=401.21 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 15025 0 0 0 40105 16 0 0 20 0 3 0 331990091 380723200 75535 33554432000 4194304 5964478 140737053592416 140264750557304 4400516 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.43
Current children cumulated vsize (KiB) 371800
[startup+462.3 s]
/proc/loadavg: 4.00 3.99 3.96 5/181 13007
/proc/meminfo: memFree=27790036/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=373740 CPUtime=924.41 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 77841 0 0 0 92394 47 0 0 20 0 3 0 331990090 382709760 77256 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 93435 77256 198 433 0 92999 0
[pid=12959/tid=12961] ppid=12957 vsize=373740 CPUtime=461.08 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 61193 0 0 0 46065 43 0 0 20 0 3 0 331990091 382709760 77256 33554432000 4194304 5964478 140737053592416 140264761047080 4400010 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=373740 CPUtime=461.06 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 15764 0 0 0 46089 17 0 0 20 0 3 0 331990091 382709760 77256 33554432000 4194304 5964478 140737053592416 140264750557496 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.41
Current children cumulated vsize (KiB) 373740
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.96 5/181 13007
/proc/meminfo: memFree=27734140/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=439876 CPUtime=1044.4 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 90748 0 0 0 104375 65 0 0 20 0 3 0 331990090 450433024 90163 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 109969 90163 198 433 0 109533 0
[pid=12959/tid=12961] ppid=12957 vsize=439876 CPUtime=520.93 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 72531 0 0 0 52035 58 0 0 20 0 3 0 331990091 450433024 90163 33554432000 4194304 5964478 140737053592416 140264761047032 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=439876 CPUtime=520.9 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 17333 0 0 0 52070 20 0 0 20 0 3 0 331990091 450433024 90163 33554432000 4194304 5964478 140737053592416 140264750557304 4399915 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.4
Current children cumulated vsize (KiB) 439876
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.96 5/181 13007
/proc/meminfo: memFree=27673784/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=441264 CPUtime=1164.37 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 96395 0 0 0 116366 71 0 0 20 0 3 0 331990090 451854336 95810 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 110316 95810 198 433 0 109880 0
[pid=12959/tid=12961] ppid=12957 vsize=441264 CPUtime=580.78 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 78013 0 0 0 58012 66 0 0 20 0 3 0 331990091 451854336 95810 33554432000 4194304 5964478 140737053592416 140264761047080 4388838 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=441264 CPUtime=580.74 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 17498 0 0 0 58053 21 0 0 20 0 3 0 331990091 451854336 95810 33554432000 4194304 5964478 140737053592416 140264750557256 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.37
Current children cumulated vsize (KiB) 441264
[startup+642.3 s]
/proc/loadavg: 4.00 3.99 3.96 5/181 13007
/proc/meminfo: memFree=27567704/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=508572 CPUtime=1284.34 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 99168 0 0 0 128359 75 0 0 20 0 3 0 331990090 520777728 99116 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 127143 99116 198 433 0 126707 0
[pid=12959/tid=12961] ppid=12957 vsize=508572 CPUtime=640.61 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 78103 0 0 0 63994 67 0 0 20 0 3 0 331990091 520777728 99116 33554432000 4194304 5964478 140737053592416 140264761047080 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=508572 CPUtime=640.59 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 20181 0 0 0 64033 26 0 0 20 0 3 0 331990091 520777728 99116 33554432000 4194304 5964478 140737053592416 140264750557256 4403727 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.34
Current children cumulated vsize (KiB) 508572
[startup+702.3 s]
/proc/loadavg: 4.03 4.00 3.97 5/181 13007
/proc/meminfo: memFree=27430900/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=509296 CPUtime=1404.25 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 99353 0 0 0 140350 75 0 0 20 0 3 0 331990090 521519104 99685 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 127324 99685 198 433 0 126888 0
[pid=12959/tid=12961] ppid=12957 vsize=509296 CPUtime=700.39 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 78288 0 0 0 69971 68 0 0 20 0 3 0 331990091 521519104 99685 33554432000 4194304 5964478 140737053592416 140264761046840 4409232 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=509296 CPUtime=700.42 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 20181 0 0 0 70015 27 0 0 20 0 3 0 331990091 521519104 99685 33554432000 4194304 5964478 140737053592416 140264750557256 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.25
Current children cumulated vsize (KiB) 509296
[startup+762.307 s]
/proc/loadavg: 4.01 4.00 3.97 5/182 13011
/proc/meminfo: memFree=27234016/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=509580 CPUtime=1524.2 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 99486 0 0 0 152345 75 0 0 20 0 3 0 331990090 521809920 99935 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 127395 99935 198 433 0 126959 0
[pid=12959/tid=12961] ppid=12957 vsize=509580 CPUtime=760.2 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 78359 0 0 0 75951 69 0 0 20 0 3 0 331990091 521809920 99935 33554432000 4194304 5964478 140737053592416 140264761046840 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=509580 CPUtime=760.27 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 20243 0 0 0 75999 28 0 0 20 0 3 0 331990091 521809920 99935 33554432000 4194304 5964478 140737053592416 140264750557256 4389170 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 509580
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 13011
/proc/meminfo: memFree=27113620/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=510664 CPUtime=1644.14 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 99665 0 0 0 164338 76 0 0 20 0 3 0 331990090 522919936 100254 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 127666 100254 198 433 0 127230 0
[pid=12959/tid=12961] ppid=12957 vsize=510664 CPUtime=820.03 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 78391 0 0 0 81933 70 0 0 20 0 3 0 331990091 522919936 100254 33554432000 4194304 5964478 140737053592416 140264761047208 4400006 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=510664 CPUtime=820.08 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 20390 0 0 0 81979 29 0 0 20 0 3 0 331990091 522919936 100254 33554432000 4194304 5964478 140737053592416 140264750557256 4403664 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.14
Current children cumulated vsize (KiB) 510664
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 13011
/proc/meminfo: memFree=26871908/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=511768 CPUtime=1764.11 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 102957 0 0 0 176331 80 0 0 20 0 3 0 331990090 524050432 103555 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 127942 103555 198 433 0 127506 0
[pid=12959/tid=12961] ppid=12957 vsize=511768 CPUtime=879.87 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 81603 0 0 0 87912 75 0 0 20 0 3 0 331990091 524050432 103555 33554432000 4194304 5964478 140737053592416 140264761047032 4400038 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=511768 CPUtime=879.92 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 20470 0 0 0 87962 30 0 0 20 0 3 0 331990091 524050432 103555 33554432000 4194304 5964478 140737053592416 140264750557256 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1764.11
Current children cumulated vsize (KiB) 511768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 13011
/proc/meminfo: memFree=26795028/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=578264 CPUtime=1800.12 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 106845 0 0 0 179929 83 0 0 20 0 3 0 331990090 592142336 107354 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 144566 107354 198 433 0 144130 0
[pid=12959/tid=12961] ppid=12957 vsize=578264 CPUtime=897.83 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 85464 0 0 0 89705 78 0 0 20 0 3 0 331990091 592142336 107354 33554432000 4194304 5964478 140737053592416 140264761047032 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=578264 CPUtime=897.88 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 20497 0 0 0 89758 30 0 0 20 0 3 0 331990091 592142336 107354 33554432000 4194304 5964478 140737053592416 140264750557256 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 578264
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.97 5/181 13011
/proc/meminfo: memFree=26795028/32873844 swapFree=7120/7120
[pid=12959] ppid=12957 vsize=578264 CPUtime=1800.12 cores=0,2,4,6
/proc/12959/stat : 12959 (pwbo2.02) S 12957 12959 10378 0 -1 4202496 106845 0 0 0 179929 83 0 0 20 0 3 0 331990090 592142336 107354 33554432000 4194304 5964478 140737053592416 140737053591936 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12959/statm: 144566 107354 198 433 0 144130 0
[pid=12959/tid=12961] ppid=12957 vsize=578264 CPUtime=897.83 cores=0,2,4,6
/proc/12959/task/12961/stat : 12961 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 85464 0 0 0 89705 78 0 0 20 0 3 0 331990091 592142336 107354 33554432000 4194304 5964478 140737053592416 140264761047032 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=12959/tid=12962] ppid=12957 vsize=578264 CPUtime=897.88 cores=0,2,4,6
/proc/12959/task/12962/stat : 12962 (pwbo2.02) R 12957 12959 10378 0 -1 4202560 20497 0 0 0 89758 30 0 0 20 0 3 0 331990091 592142336 107354 33554432000 4194304 5964478 140737053592416 140264750557256 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 578264
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12959 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=652171
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=100832
# CPU time returned by wait4() is 1795.75
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.316
CPU time (s): 1800.12
CPU user time (s): 1799.29
CPU system time (s): 0.83
CPU usage (%): 199.943
Max. virtual memory (cumulated for all children) (KiB): 578264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 1.10083
maximum resident set size= 429424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106847
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= 245
involuntary context switches= 1873
runsolver used 1.71974 second user time and 5.17521 second system time
The end