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-3703595-1338088922/watcher-3703595-1338088922 -o /tmp/evaluation-result-3703595-1338088922/solver-3703595-1338088922 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703595-1338088922.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.84 3.96 3.80 2/173 7372
/proc/meminfo: memFree=28955844/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=4820 CPUtime=0 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) R 7370 7372 7065 0 -1 4202496 499 0 0 0 0 0 0 0 20 0 1 0 275018164 4935680 451 33554432000 4194304 5965102 140734359653152 140734574353256 5137146 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 1205 455 165 433 0 741 0
[startup+0.0925159 s]
/proc/loadavg: 3.84 3.96 3.80 2/173 7372
/proc/meminfo: memFree=28955844/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=181776 CPUtime=0.16 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 8954 0 0 0 10 6 0 0 20 0 3 0 275018164 186138624 8810 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45444 8810 202 433 0 45008 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 181776
[startup+0.100341 s]
/proc/loadavg: 3.84 3.96 3.80 2/173 7372
/proc/meminfo: memFree=28955844/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=181896 CPUtime=0.17 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 9011 0 0 0 11 6 0 0 20 0 3 0 275018164 186261504 8864 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45474 8864 203 433 0 45038 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 181896
[startup+0.300293 s]
/proc/loadavg: 3.84 3.96 3.80 2/173 7372
/proc/meminfo: memFree=28955844/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=182076 CPUtime=0.57 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 10498 0 0 0 51 6 0 0 20 0 3 0 275018164 186445824 9322 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45519 9322 204 433 0 45083 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 182076
[startup+0.700289 s]
/proc/loadavg: 3.84 3.96 3.80 2/173 7372
/proc/meminfo: memFree=28955844/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=182244 CPUtime=1.37 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 11294 0 0 0 131 6 0 0 20 0 3 0 275018164 186617856 9840 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45561 9840 205 433 0 45125 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 182244
[startup+1.50029 s]
/proc/loadavg: 3.84 3.96 3.80 3/175 7393
/proc/meminfo: memFree=28938700/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=182244 CPUtime=2.97 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 14187 0 0 0 290 7 0 0 20 0 3 0 275018164 186617856 11069 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45561 11069 205 433 0 45125 0
[pid=7372/tid=7374] ppid=7370 vsize=182244 CPUtime=1.47 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 5224 0 0 0 147 0 0 0 20 0 3 0 275018166 186617856 11069 33554432000 4194304 5965102 140734359653152 140036777773400 5131424 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=182244 CPUtime=1.47 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 7837 0 0 0 140 7 0 0 20 0 3 0 275018166 186617856 11069 33554432000 4194304 5965102 140734359653152 140036767283560 4389036 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 182244
[startup+3.10029 s]
/proc/loadavg: 3.84 3.96 3.80 5/181 7408
/proc/meminfo: memFree=28883480/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=182244 CPUtime=6.17 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 20346 0 0 0 609 8 0 0 20 0 3 0 275018164 186617856 14212 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45561 14212 206 433 0 45125 0
[pid=7372/tid=7374] ppid=7370 vsize=182244 CPUtime=3.07 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 11073 0 0 0 305 2 0 0 20 0 3 0 275018166 186617856 14212 33554432000 4194304 5965102 140734359653152 140036777773400 5139822 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=182244 CPUtime=3.07 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 8147 0 0 0 300 7 0 0 20 0 3 0 275018166 186617856 14212 33554432000 4194304 5965102 140734359653152 140036767283512 4400960 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) 182244
[startup+6.30035 s]
/proc/loadavg: 3.85 3.96 3.80 5/181 7408
/proc/meminfo: memFree=28847808/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=182244 CPUtime=12.57 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 22870 0 0 0 1248 9 0 0 20 0 3 0 275018164 186617856 16472 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45561 16472 206 433 0 45125 0
[pid=7372/tid=7374] ppid=7370 vsize=182244 CPUtime=6.27 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 12733 0 0 0 625 2 0 0 20 0 3 0 275018166 186617856 16472 33554432000 4194304 5965102 140734359653152 140036777773096 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=182244 CPUtime=6.27 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 9011 0 0 0 620 7 0 0 20 0 3 0 275018166 186617856 16472 33554432000 4194304 5965102 140734359653152 140036767283512 4391918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 182244
[startup+12.7004 s]
/proc/loadavg: 3.86 3.96 3.80 5/181 7408
/proc/meminfo: memFree=28812236/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=182244 CPUtime=25.37 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 28505 0 0 0 2526 11 0 0 20 0 3 0 275018164 186617856 22107 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45561 22107 206 433 0 45125 0
[pid=7372/tid=7374] ppid=7370 vsize=182244 CPUtime=12.67 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 17093 0 0 0 1263 4 0 0 20 0 3 0 275018166 186617856 22107 33554432000 4194304 5965102 140734359653152 140036777773048 5137076 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=182244 CPUtime=12.67 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 10286 0 0 0 1259 8 0 0 20 0 3 0 275018166 186617856 22107 33554432000 4194304 5965102 140734359653152 140036767283512 4404383 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) 182244
[startup+25.5003 s]
/proc/loadavg: 3.89 3.96 3.81 5/181 7408
/proc/meminfo: memFree=28733364/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=182244 CPUtime=50.96 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 36345 0 0 0 5081 15 0 0 20 0 3 0 275018164 186617856 30146 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 45561 30146 206 433 0 45125 0
[pid=7372/tid=7374] ppid=7370 vsize=182244 CPUtime=25.47 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 21155 0 0 0 2541 6 0 0 20 0 3 0 275018166 186617856 30146 33554432000 4194304 5965102 140734359653152 140036777773592 4390112 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=182244 CPUtime=25.47 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 14064 0 0 0 2537 10 0 0 20 0 3 0 275018166 186617856 30146 33554432000 4194304 5965102 140734359653152 140036767283512 4221120 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) 182244
[startup+51.1003 s]
/proc/loadavg: 3.93 3.96 3.81 5/181 7408
/proc/meminfo: memFree=28650500/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=248504 CPUtime=102.14 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 45022 0 0 0 10193 21 0 0 20 0 3 0 275018164 254468096 38816 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 62126 38816 206 433 0 61690 0
[pid=7372/tid=7374] ppid=7370 vsize=248504 CPUtime=51.06 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 24247 0 0 0 5099 7 0 0 20 0 3 0 275018166 254468096 38816 33554432000 4194304 5965102 140734359653152 140036777772856 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=248504 CPUtime=51.07 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 19649 0 0 0 5092 15 0 0 20 0 3 0 275018166 254468096 38816 33554432000 4194304 5965102 140734359653152 140036767283512 4404451 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) 248504
[startup+102.307 s]
/proc/loadavg: 3.97 3.97 3.82 5/181 7408
/proc/meminfo: memFree=28503804/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=380660 CPUtime=204.5 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 64818 0 0 0 20418 32 0 0 20 0 3 0 275018164 389795840 58901 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 95165 58901 206 433 0 94729 0
[pid=7372/tid=7374] ppid=7370 vsize=380660 CPUtime=102.26 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 39334 0 0 0 10209 17 0 0 20 0 3 0 275018166 389795840 58901 33554432000 4194304 5965102 140734359653152 140036777773048 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=380660 CPUtime=102.24 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 24358 0 0 0 10205 19 0 0 20 0 3 0 275018166 389795840 58901 33554432000 4194304 5965102 140734359653152 140036767283656 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.5
Current children cumulated vsize (KiB) 380660
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.83 5/181 7409
/proc/meminfo: memFree=28263968/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=446556 CPUtime=324.48 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 90699 0 0 0 32387 61 0 0 20 0 3 0 275018164 457273344 85980 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 111639 85980 206 433 0 111203 0
[pid=7372/tid=7374] ppid=7370 vsize=446556 CPUtime=162.26 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 51000 0 0 0 16201 25 0 0 20 0 3 0 275018166 457273344 85980 33554432000 4194304 5965102 140734359653152 140036777772856 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=446556 CPUtime=162.24 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 38573 0 0 0 16183 41 0 0 20 0 3 0 275018166 457273344 85980 33554432000 4194304 5965102 140734359653152 140036767283512 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.48
Current children cumulated vsize (KiB) 446556
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.83 5/181 7409
/proc/meminfo: memFree=28002952/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=578168 CPUtime=444.46 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 126738 0 0 0 44355 91 0 0 20 0 3 0 275018164 592044032 122010 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 144542 122010 206 433 0 144106 0
[pid=7372/tid=7374] ppid=7370 vsize=578168 CPUtime=222.26 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 67166 0 0 0 22191 35 0 0 20 0 3 0 275018166 592044032 122010 33554432000 4194304 5965102 140734359653152 140036777772856 4401475 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=578168 CPUtime=222.23 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 58446 0 0 0 22160 63 0 0 20 0 3 0 275018166 592044032 122010 33554432000 4194304 5965102 140734359653152 140036767283512 4388991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.46
Current children cumulated vsize (KiB) 578168
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.84 5/182 7410
/proc/meminfo: memFree=27778284/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=708964 CPUtime=564.44 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 154077 0 0 0 56325 119 0 0 20 0 3 0 275018164 725979136 149125 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 177241 149125 206 433 0 176805 0
[pid=7372/tid=7374] ppid=7370 vsize=708964 CPUtime=282.26 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 71797 0 0 0 28188 38 0 0 20 0 3 0 275018166 725979136 149125 33554432000 4194304 5965102 140734359653152 140036777774008 4401559 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=708964 CPUtime=282.23 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 81154 0 0 0 28132 91 0 0 20 0 3 0 275018166 725979136 149125 33554432000 4194304 5965102 140734359653152 140036767283512 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.44
Current children cumulated vsize (KiB) 708964
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.84 5/181 7410
/proc/meminfo: memFree=27675600/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=774500 CPUtime=684.41 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 165022 0 0 0 68307 134 0 0 20 0 3 0 275018164 793088000 160053 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 193625 160053 206 433 0 193189 0
[pid=7372/tid=7374] ppid=7370 vsize=774500 CPUtime=342.27 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 72212 0 0 0 34188 39 0 0 20 0 3 0 275018166 793088000 160053 33554432000 4194304 5965102 140734359653152 140036777774008 4401107 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=774500 CPUtime=342.22 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 91684 0 0 0 34115 107 0 0 20 0 3 0 275018166 793088000 160053 33554432000 4194304 5965102 140734359653152 140036767283512 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 774500
[startup+402.3 s]
/proc/loadavg: 4.04 3.99 3.85 5/181 7410
/proc/meminfo: memFree=27661436/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=774500 CPUtime=804.39 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 165175 0 0 0 80304 135 0 0 20 0 3 0 275018164 793088000 160177 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 193625 160177 206 433 0 193189 0
[pid=7372/tid=7374] ppid=7370 vsize=774500 CPUtime=402.27 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 72334 0 0 0 40187 40 0 0 20 0 3 0 275018166 793088000 160177 33554432000 4194304 5965102 140734359653152 140036777774008 5136406 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=774500 CPUtime=402.21 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 91715 0 0 0 40113 108 0 0 20 0 3 0 275018166 793088000 160177 33554432000 4194304 5965102 140734359653152 140036767283512 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.39
Current children cumulated vsize (KiB) 774500
[startup+462.3 s]
/proc/loadavg: 4.01 3.99 3.86 5/181 7411
/proc/meminfo: memFree=27585824/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=774500 CPUtime=924.33 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 166926 0 0 0 92297 136 0 0 20 0 3 0 275018164 793088000 161880 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 193625 161880 206 433 0 193189 0
[pid=7372/tid=7374] ppid=7370 vsize=774500 CPUtime=462.26 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 74050 0 0 0 46184 42 0 0 20 0 3 0 275018166 793088000 161880 33554432000 4194304 5965102 140734359653152 140036777773048 4400978 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=774500 CPUtime=462.18 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 91750 0 0 0 46109 109 0 0 20 0 3 0 275018166 793088000 161880 33554432000 4194304 5965102 140734359653152 140036767283512 4400913 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 774500
[startup+522.3 s]
/proc/loadavg: 4.00 3.99 3.87 5/182 7414
/proc/meminfo: memFree=27432228/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=774500 CPUtime=1044.28 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 171228 0 0 0 104290 138 0 0 20 0 3 0 275018164 793088000 166134 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 193625 166134 206 433 0 193189 0
[pid=7372/tid=7374] ppid=7370 vsize=774500 CPUtime=522.25 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 78322 0 0 0 52180 45 0 0 20 0 3 0 275018166 793088000 166134 33554432000 4194304 5965102 140734359653152 140036777772856 4401050 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=774500 CPUtime=522.16 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 91780 0 0 0 52107 109 0 0 20 0 3 0 275018166 793088000 166134 33554432000 4194304 5965102 140734359653152 140036767283512 4401137 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 774500
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.87 5/181 7414
/proc/meminfo: memFree=27213160/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=840036 CPUtime=1164.22 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 192508 0 0 0 116258 164 0 0 20 0 3 0 275018164 860196864 187363 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 210009 187363 206 433 0 209573 0
[pid=7372/tid=7374] ppid=7370 vsize=840036 CPUtime=582.22 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 81428 0 0 0 58176 46 0 0 20 0 3 0 275018166 860196864 187363 33554432000 4194304 5965102 140734359653152 140036777773416 4404379 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=840036 CPUtime=582.15 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 109954 0 0 0 58080 135 0 0 20 0 3 0 275018166 860196864 187363 33554432000 4194304 5965102 140734359653152 140036767283512 4400978 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1164.22
Current children cumulated vsize (KiB) 840036
[startup+642.3 s]
/proc/loadavg: 4.03 4.00 3.88 5/181 7414
/proc/meminfo: memFree=27019064/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=905572 CPUtime=1284.19 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 215591 0 0 0 128229 190 0 0 20 0 3 0 275018164 927305728 210428 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 226393 210428 206 433 0 225957 0
[pid=7372/tid=7374] ppid=7370 vsize=905572 CPUtime=642.21 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 81456 0 0 0 64174 47 0 0 20 0 3 0 275018166 927305728 210428 33554432000 4194304 5965102 140734359653152 140036777773416 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=905572 CPUtime=642.15 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 133009 0 0 0 64053 162 0 0 20 0 3 0 275018166 927305728 210428 33554432000 4194304 5965102 140734359653152 140036767283512 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1284.19
Current children cumulated vsize (KiB) 905572
[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.89 5/181 7414
/proc/meminfo: memFree=26886504/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=972324 CPUtime=1404.17 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 226674 0 0 0 140218 199 0 0 20 0 3 0 275018164 995659776 221524 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 243081 221524 206 433 0 242645 0
[pid=7372/tid=7374] ppid=7370 vsize=972324 CPUtime=702.21 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 81513 0 0 0 70173 48 0 0 20 0 3 0 275018166 995659776 221524 33554432000 4194304 5965102 140734359653152 140036777773416 4401131 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=972324 CPUtime=702.15 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 144035 0 0 0 70043 172 0 0 20 0 3 0 275018166 995659776 221524 33554432000 4194304 5965102 140734359653152 140036767283560 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1404.17
Current children cumulated vsize (KiB) 972324
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.89 5/181 7415
/proc/meminfo: memFree=26864748/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=972324 CPUtime=1524.16 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 226723 0 0 0 152217 199 0 0 20 0 3 0 275018164 995659776 221573 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 243081 221573 206 433 0 242645 0
[pid=7372/tid=7374] ppid=7370 vsize=972324 CPUtime=762.22 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 81562 0 0 0 76173 49 0 0 20 0 3 0 275018166 995659776 221573 33554432000 4194304 5965102 140734359653152 140036777773416 4390112 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=972324 CPUtime=762.15 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 144035 0 0 0 76042 173 0 0 20 0 3 0 275018166 995659776 221573 33554432000 4194304 5965102 140734359653152 140036767283560 4401107 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1524.16
Current children cumulated vsize (KiB) 972324
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/181 7415
/proc/meminfo: memFree=26796452/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=1039484 CPUtime=1644.13 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 239031 0 0 0 164205 208 0 0 20 0 3 0 275018164 1064431616 233881 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 259871 233881 206 433 0 259435 0
[pid=7372/tid=7374] ppid=7370 vsize=1039484 CPUtime=822.21 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 93870 0 0 0 82162 59 0 0 20 0 3 0 275018166 1064431616 233881 33554432000 4194304 5965102 140734359653152 140036777772856 4401597 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=1039484 CPUtime=822.14 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 144035 0 0 0 82040 174 0 0 20 0 3 0 275018166 1064431616 233881 33554432000 4194304 5965102 140734359653152 140036767283560 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1644.13
Current children cumulated vsize (KiB) 1039484
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 7415
/proc/meminfo: memFree=26747108/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=1039616 CPUtime=1764.11 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 240714 0 0 0 176203 208 0 0 20 0 3 0 275018164 1064566784 235563 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 259904 235563 206 433 0 259468 0
[pid=7372/tid=7374] ppid=7370 vsize=1039616 CPUtime=882.22 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 95552 0 0 0 88161 61 0 0 20 0 3 0 275018166 1064566784 235563 33554432000 4194304 5965102 140734359653152 140036777772920 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=1039616 CPUtime=882.14 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 144036 0 0 0 88039 175 0 0 20 0 3 0 275018166 1064566784 235563 33554432000 4194304 5965102 140734359653152 140036767283272 4388991 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) 1039616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 7415
/proc/meminfo: memFree=26737404/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=1039616 CPUtime=1800.12 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 242940 0 0 0 179801 211 0 0 20 0 3 0 275018164 1064566784 237789 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 259904 237789 206 433 0 259468 0
[pid=7372/tid=7374] ppid=7370 vsize=1039616 CPUtime=900.22 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 97773 0 0 0 89959 63 0 0 20 0 3 0 275018166 1064566784 237789 33554432000 4194304 5965102 140734359653152 140036777773048 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=1039616 CPUtime=900.15 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 144041 0 0 0 89840 175 0 0 20 0 3 0 275018166 1064566784 237789 33554432000 4194304 5965102 140734359653152 140036767283272 4401064 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) 1039616
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.91 5/181 7415
/proc/meminfo: memFree=26737404/32873648 swapFree=7372/7372
[pid=7372] ppid=7370 vsize=1039616 CPUtime=1800.12 cores=0,2,4,6
/proc/7372/stat : 7372 (pwbo2.0) S 7370 7372 7065 0 -1 4202496 242940 0 0 0 179801 211 0 0 20 0 3 0 275018164 1064566784 237789 33554432000 4194304 5965102 140734359653152 140734359652672 4547341 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7372/statm: 259904 237789 206 433 0 259468 0
[pid=7372/tid=7374] ppid=7370 vsize=1039616 CPUtime=900.22 cores=0,2,4,6
/proc/7372/task/7374/stat : 7374 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 97773 0 0 0 89959 63 0 0 20 0 3 0 275018166 1064566784 237789 33554432000 4194304 5965102 140734359653152 140036777773048 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=7372/tid=7375] ppid=7370 vsize=1039616 CPUtime=900.15 cores=0,2,4,6
/proc/7372/task/7375/stat : 7375 (pwbo2.0) R 7370 7372 7065 0 -1 4202560 144041 0 0 0 89840 175 0 0 20 0 3 0 275018166 1064566784 237789 33554432000 4194304 5965102 140734359653152 140036767283272 4401064 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) 1039616
Child status: 0
Real time (s): 900.335
CPU time (s): 1800.44
CPU user time (s): 1798.02
CPU system time (s): 2.42063
CPU usage (%): 199.974
Max. virtual memory (cumulated for all children) (KiB): 1039616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.42063
maximum resident set size= 951164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242942
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= 621
involuntary context switches= 1916
runsolver used 2.88056 second user time and 4.14737 second system time
The end