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-3726054-1338656836/watcher-3726054-1338656836 -o /tmp/evaluation-result-3726054-1338656836/solver-3726054-1338656836 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726054-1338656836.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: 4.00 4.00 3.95 4/178 27184
/proc/meminfo: memFree=31082092/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=162948 CPUtime=0 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 1139 0 0 0 0 0 0 0 20 0 3 0 331810574 166858752 1089 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 40737 1092 203 433 0 40301 0
[pid=27184/tid=27185] ppid=27182 vsize=162948 CPUtime=0 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 3 0 331810574 166858752 1096 33554432000 4194304 5964478 140737076188912 140720100047768 4389107 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=163140 CPUtime=0 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 355 0 0 0 0 0 0 0 20 0 3 0 331810574 167055360 1099 33554432000 4194304 5964478 140737076188912 140720089557096 5179243 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.071934 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27184
/proc/meminfo: memFree=31082092/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=180524 CPUtime=0.13 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 7781 0 0 0 11 2 0 0 20 0 3 0 331810574 184856576 7652 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 45131 7659 204 433 0 44695 0
[pid=27184/tid=27185] ppid=27182 vsize=180524 CPUtime=0.05 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 216 0 0 0 5 0 0 0 20 0 3 0 331810574 184856576 7668 33554432000 4194304 5964478 140737076188912 140720100046360 4389320 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=180524 CPUtime=0.05 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 6831 0 0 0 3 2 0 0 20 0 3 0 331810574 184856576 7670 33554432000 4194304 5964478 140737076188912 140720089556552 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 180524
[startup+0.100458 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27184
/proc/meminfo: memFree=31082092/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=189488 CPUtime=0.18 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 10574 0 0 0 15 3 0 0 20 0 3 0 331810574 194035712 10445 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47372 10451 204 433 0 46936 0
[pid=27184/tid=27185] ppid=27182 vsize=189488 CPUtime=0.08 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 287 0 0 0 8 0 0 0 20 0 3 0 331810574 194035712 10454 33554432000 4194304 5964478 140737076188912 140720100046840 4382271 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=189488 CPUtime=0.08 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 9546 0 0 0 5 3 0 0 20 0 3 0 331810574 194035712 10456 33554432000 4194304 5964478 140737076188912 140720089556776 4395406 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 189488
[startup+0.300402 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27184
/proc/meminfo: memFree=31082092/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=190476 CPUtime=0.59 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 12503 0 0 0 55 4 0 0 20 0 3 0 331810574 195047424 12885 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47619 12885 205 433 0 47183 0
[pid=27184/tid=27185] ppid=27182 vsize=190476 CPUtime=0.28 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 727 0 0 0 28 0 0 0 20 0 3 0 331810574 195047424 12886 33554432000 4194304 5964478 140737076188912 140720100046888 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=190476 CPUtime=0.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11025 0 0 0 25 3 0 0 20 0 3 0 331810574 195047424 12886 33554432000 4194304 5964478 140737076188912 140720089557224 4369832 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 190476
[startup+0.700396 s]
/proc/loadavg: 4.00 4.00 3.95 4/178 27184
/proc/meminfo: memFree=31082092/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=190620 CPUtime=1.38 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 13168 0 0 0 134 4 0 0 20 0 3 0 331810574 195194880 13550 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47655 13550 205 433 0 47219 0
[pid=27184/tid=27185] ppid=27182 vsize=190620 CPUtime=0.68 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 1349 0 0 0 68 0 0 0 20 0 3 0 331810574 195194880 13550 33554432000 4194304 5964478 140737076188912 140720100046888 4388192 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=190620 CPUtime=0.68 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11067 0 0 0 65 3 0 0 20 0 3 0 331810574 195194880 13550 33554432000 4194304 5964478 140737076188912 140720089557224 4399854 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 190620
[startup+1.50039 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27187
/proc/meminfo: memFree=31027692/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=190620 CPUtime=2.98 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 13610 0 0 0 294 4 0 0 20 0 3 0 331810574 195194880 13992 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47655 13992 205 433 0 47219 0
[pid=27184/tid=27185] ppid=27182 vsize=190620 CPUtime=1.48 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 1710 0 0 0 148 0 0 0 20 0 3 0 331810574 195194880 13992 33554432000 4194304 5964478 140737076188912 140720100046648 4381702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=190620 CPUtime=1.49 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11148 0 0 0 145 4 0 0 20 0 3 0 331810574 195194880 13992 33554432000 4194304 5964478 140737076188912 140720089557304 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 190620
[startup+3.10045 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27187
/proc/meminfo: memFree=31023452/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=190692 CPUtime=6.18 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 14462 0 0 0 614 4 0 0 20 0 3 0 331810574 195268608 14844 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47673 14844 205 433 0 47237 0
[pid=27184/tid=27185] ppid=27182 vsize=190692 CPUtime=3.08 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 2462 0 0 0 307 1 0 0 20 0 3 0 331810574 195268608 14845 33554432000 4194304 5964478 140737076188912 140720100046840 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=190692 CPUtime=3.09 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11249 0 0 0 305 4 0 0 20 0 3 0 331810574 195268608 14845 33554432000 4194304 5964478 140737076188912 140720089557352 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 190692
[startup+6.30039 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27187
/proc/meminfo: memFree=31015524/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=190800 CPUtime=12.58 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 16190 0 0 0 1253 5 0 0 20 0 3 0 331810574 195379200 16572 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47700 16572 205 433 0 47264 0
[pid=27184/tid=27185] ppid=27182 vsize=190800 CPUtime=6.28 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 4066 0 0 0 626 2 0 0 20 0 3 0 331810574 195379200 16572 33554432000 4194304 5964478 140737076188912 140720100046888 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=190800 CPUtime=6.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11372 0 0 0 624 4 0 0 20 0 3 0 331810574 195379200 16572 33554432000 4194304 5964478 140737076188912 140720089557304 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 190800
[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27187
/proc/meminfo: memFree=31000768/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=190960 CPUtime=25.38 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 18409 0 0 0 2530 8 0 0 20 0 3 0 331810574 195543040 18791 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47740 18791 205 433 0 47304 0
[pid=27184/tid=27185] ppid=27182 vsize=190960 CPUtime=12.68 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 6092 0 0 0 1263 5 0 0 20 0 3 0 331810574 195543040 18791 33554432000 4194304 5964478 140737076188912 140720100046840 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=190960 CPUtime=12.68 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11565 0 0 0 1264 4 0 0 20 0 3 0 331810574 195543040 18791 33554432000 4194304 5964478 140737076188912 140720089557304 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 190960
[startup+25.5004 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27187
/proc/meminfo: memFree=30981652/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=190960 CPUtime=50.97 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 21511 0 0 0 5085 12 0 0 20 0 3 0 331810574 195543040 21893 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 47740 21893 205 433 0 47304 0
[pid=27184/tid=27185] ppid=27182 vsize=190960 CPUtime=25.48 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 8878 0 0 0 2539 9 0 0 20 0 3 0 331810574 195543040 21893 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=190960 CPUtime=25.49 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11881 0 0 0 2544 5 0 0 20 0 3 0 331810574 195543040 21893 33554432000 4194304 5964478 140737076188912 140720089557176 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 190960
[startup+51.1004 s]
/proc/loadavg: 4.00 4.00 3.95 5/181 27187
/proc/meminfo: memFree=30957036/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=192116 CPUtime=102.17 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 27141 0 0 0 10196 21 0 0 20 0 3 0 331810574 196726784 27523 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 48029 27523 205 433 0 47593 0
[pid=27184/tid=27185] ppid=27182 vsize=192116 CPUtime=51.08 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 11807 0 0 0 5094 14 0 0 20 0 3 0 331810574 196726784 27523 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=192116 CPUtime=51.08 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 14582 0 0 0 5101 7 0 0 20 0 3 0 331810574 196726784 27523 33554432000 4194304 5964478 140737076188912 140720089557304 4400016 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 192116
[startup+102.307 s]
/proc/loadavg: 4.04 4.01 3.95 5/181 27187
/proc/meminfo: memFree=30891960/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=194984 CPUtime=204.56 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 37338 0 0 0 20419 37 0 0 20 0 3 0 331810574 199663616 37720 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 48746 37720 205 433 0 48310 0
[pid=27184/tid=27185] ppid=27182 vsize=194984 CPUtime=102.28 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 16344 0 0 0 10204 24 0 0 20 0 3 0 331810574 199663616 37720 33554432000 4194304 5964478 140737076188912 140720100046648 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=194984 CPUtime=102.29 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 20242 0 0 0 10213 16 0 0 20 0 3 0 331810574 199663616 37720 33554432000 4194304 5964478 140737076188912 140720089557304 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 194984
[startup+162.3 s]
/proc/loadavg: 4.01 4.01 3.95 5/181 27187
/proc/meminfo: memFree=30842732/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=330268 CPUtime=324.53 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 46597 0 0 0 32399 54 0 0 20 0 3 0 331810574 338194432 46979 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 82567 46979 205 433 0 82131 0
[pid=27184/tid=27185] ppid=27182 vsize=330268 CPUtime=162.28 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 22311 0 0 0 16191 37 0 0 20 0 3 0 331810574 338194432 46979 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=330268 CPUtime=162.29 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 23534 0 0 0 16207 22 0 0 20 0 3 0 331810574 338194432 46979 33554432000 4194304 5964478 140737076188912 140720089557112 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 330268
[startup+222.3 s]
/proc/loadavg: 4.07 4.02 3.96 5/182 27190
/proc/meminfo: memFree=30808872/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=333560 CPUtime=444.52 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 52059 0 0 0 44386 66 0 0 20 0 3 0 331810574 341565440 52436 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 83390 52436 205 433 0 82954 0
[pid=27184/tid=27185] ppid=27182 vsize=333560 CPUtime=222.28 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 25210 0 0 0 22183 45 0 0 20 0 3 0 331810574 341565440 52436 33554432000 4194304 5964478 140737076188912 140720100046888 4410425 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=333560 CPUtime=222.29 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 26097 0 0 0 22201 28 0 0 20 0 3 0 331810574 341565440 52436 33554432000 4194304 5964478 140737076188912 140720089557304 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.52
Current children cumulated vsize (KiB) 333560
################
# More data... #
################
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 29314 0 0 0 28174 53 0 0 20 0 3 0 331810574 343203840 58677 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=335160 CPUtime=282.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 27732 0 0 0 28196 32 0 0 20 0 3 0 331810574 343203840 58677 33554432000 4194304 5964478 140737076188912 140720089557176 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.48
Current children cumulated vsize (KiB) 335160
[startup+342.3 s]
/proc/loadavg: 3.98 4.00 3.95 5/181 27232
/proc/meminfo: memFree=31139900/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=336472 CPUtime=684.41 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 60801 0 0 0 68360 81 0 0 20 0 3 0 331810574 344547328 61692 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 84118 61692 205 433 0 83682 0
[pid=27184/tid=27185] ppid=27182 vsize=336472 CPUtime=342.23 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 32215 0 0 0 34164 59 0 0 20 0 3 0 331810574 344547328 61692 33554432000 4194304 5964478 140737076188912 140720100046888 4399923 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=336472 CPUtime=342.27 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 27834 0 0 0 34194 33 0 0 20 0 3 0 331810574 344547328 61692 33554432000 4194304 5964478 140737076188912 140720089557352 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.41
Current children cumulated vsize (KiB) 336472
[startup+402.3 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 27232
/proc/meminfo: memFree=31116760/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=402368 CPUtime=804.37 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 63430 0 0 0 80350 87 0 0 20 0 3 0 331810574 412024832 65767 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 100592 65767 205 433 0 100156 0
[pid=27184/tid=27185] ppid=27182 vsize=402368 CPUtime=402.2 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 34829 0 0 0 40154 66 0 0 20 0 3 0 331810574 412024832 65767 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=402368 CPUtime=402.27 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 27849 0 0 0 40193 34 0 0 20 0 3 0 331810574 412024832 65767 33554432000 4194304 5964478 140737076188912 140720089557352 4399975 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.37
Current children cumulated vsize (KiB) 402368
[startup+462.3 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 27232
/proc/meminfo: memFree=31088964/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=403700 CPUtime=924.35 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 68401 0 0 0 92337 98 0 0 20 0 3 0 331810574 413388800 70738 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 100925 70738 205 433 0 100489 0
[pid=27184/tid=27185] ppid=27182 vsize=403700 CPUtime=462.2 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 39752 0 0 0 46142 78 0 0 20 0 3 0 331810574 413388800 70738 33554432000 4194304 5964478 140737076188912 140720100046840 4379311 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=403700 CPUtime=462.27 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 27897 0 0 0 46192 35 0 0 20 0 3 0 331810574 413388800 70738 33554432000 4194304 5964478 140737076188912 140720089557352 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.35
Current children cumulated vsize (KiB) 403700
[startup+522.3 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 27232
/proc/meminfo: memFree=31064776/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=405336 CPUtime=1044.31 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 72461 0 0 0 104324 107 0 0 20 0 3 0 331810574 415064064 74788 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 101334 74788 205 433 0 100898 0
[pid=27184/tid=27185] ppid=27182 vsize=405336 CPUtime=522.19 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 42088 0 0 0 52135 84 0 0 20 0 3 0 331810574 415064064 74788 33554432000 4194304 5964478 140737076188912 140720100046840 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=405336 CPUtime=522.27 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 29621 0 0 0 52188 39 0 0 20 0 3 0 331810574 415064064 74788 33554432000 4194304 5964478 140737076188912 140720089557112 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.31
Current children cumulated vsize (KiB) 405336
[startup+582.3 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 27233
/proc/meminfo: memFree=31033332/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=408552 CPUtime=1164.29 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 77036 0 0 0 116311 118 0 0 20 0 3 0 331810574 418357248 79361 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 102138 79361 205 433 0 101702 0
[pid=27184/tid=27185] ppid=27182 vsize=408552 CPUtime=582.18 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 44891 0 0 0 58126 92 0 0 20 0 3 0 331810574 418357248 79361 33554432000 4194304 5964478 140737076188912 140720100046840 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=408552 CPUtime=582.27 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 31393 0 0 0 58184 43 0 0 20 0 3 0 331810574 418357248 79361 33554432000 4194304 5964478 140737076188912 140720089557304 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.29
Current children cumulated vsize (KiB) 408552
[startup+642.3 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 27233
/proc/meminfo: memFree=31011624/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=409924 CPUtime=1284.29 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 81796 0 0 0 128301 128 0 0 20 0 3 0 331810574 419762176 84120 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 102481 84120 205 433 0 102045 0
[pid=27184/tid=27185] ppid=27182 vsize=409924 CPUtime=642.18 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 48216 0 0 0 64117 101 0 0 20 0 3 0 331810574 419762176 84120 33554432000 4194304 5964478 140737076188912 140720100046840 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=409924 CPUtime=642.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 32828 0 0 0 64182 46 0 0 20 0 3 0 331810574 419762176 84120 33554432000 4194304 5964478 140737076188912 140720089557304 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.29
Current children cumulated vsize (KiB) 409924
[startup+702.3 s]
/proc/loadavg: 3.99 4.00 3.95 5/181 27233
/proc/meminfo: memFree=30987692/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=476756 CPUtime=1404.25 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 85963 0 0 0 140289 136 0 0 20 0 3 0 331810574 488198144 88287 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 119189 88287 205 433 0 118753 0
[pid=27184/tid=27185] ppid=27182 vsize=476756 CPUtime=702.18 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 51121 0 0 0 70110 108 0 0 20 0 3 0 331810574 488198144 88287 33554432000 4194304 5964478 140737076188912 140720100046840 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=476756 CPUtime=702.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 34090 0 0 0 70179 49 0 0 20 0 3 0 331810574 488198144 88287 33554432000 4194304 5964478 140737076188912 140720089557352 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.25
Current children cumulated vsize (KiB) 476756
[startup+762.307 s]
/proc/loadavg: 4.06 4.01 3.96 5/181 27233
/proc/meminfo: memFree=30965852/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=480248 CPUtime=1524.24 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 90011 0 0 0 152280 144 0 0 20 0 3 0 331810574 491773952 92335 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 120062 92335 205 433 0 119626 0
[pid=27184/tid=27185] ppid=27182 vsize=480248 CPUtime=762.18 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 53666 0 0 0 76104 114 0 0 20 0 3 0 331810574 491773952 92335 33554432000 4194304 5964478 140737076188912 140720100046840 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=480248 CPUtime=762.29 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 35593 0 0 0 76176 53 0 0 20 0 3 0 331810574 491773952 92335 33554432000 4194304 5964478 140737076188912 140720089557352 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.24
Current children cumulated vsize (KiB) 480248
[startup+822.3 s]
/proc/loadavg: 4.02 4.00 3.96 5/182 27236
/proc/meminfo: memFree=30949564/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=481344 CPUtime=1644.2 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 93611 0 0 0 164269 151 0 0 20 0 3 0 331810574 492896256 95921 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 120336 95921 205 433 0 119900 0
[pid=27184/tid=27185] ppid=27182 vsize=481344 CPUtime=822.16 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 55964 0 0 0 82097 119 0 0 20 0 3 0 331810574 492896256 95921 33554432000 4194304 5964478 140737076188912 140720100046888 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=481344 CPUtime=822.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 36895 0 0 0 82171 57 0 0 20 0 3 0 331810574 492896256 95921 33554432000 4194304 5964478 140737076188912 140720089557304 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.2
Current children cumulated vsize (KiB) 481344
[startup+882.3 s]
/proc/loadavg: 4.01 4.00 3.96 5/181 27237
/proc/meminfo: memFree=30920756/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=482536 CPUtime=1764.15 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 97768 0 0 0 176256 159 0 0 20 0 3 0 331810574 494116864 100082 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 120634 100082 205 433 0 120198 0
[pid=27184/tid=27185] ppid=27182 vsize=482536 CPUtime=882.15 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 58876 0 0 0 88089 126 0 0 20 0 3 0 331810574 494116864 100082 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=482536 CPUtime=882.27 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 38140 0 0 0 88166 61 0 0 20 0 3 0 331810574 494116864 100082 33554432000 4194304 5964478 140737076188912 140720089557304 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.15
Current children cumulated vsize (KiB) 482536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.00 4.00 3.96 6/181 27237
/proc/meminfo: memFree=30914928/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=482804 CPUtime=1800.16 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 98174 0 0 0 179855 161 0 0 20 0 3 0 331810574 494391296 100488 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 120701 100488 205 433 0 120265 0
[pid=27184/tid=27185] ppid=27182 vsize=482804 CPUtime=900.15 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 58885 0 0 0 89889 126 0 0 20 0 3 0 331810574 494391296 100488 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=482804 CPUtime=900.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 38537 0 0 0 89966 62 0 0 20 0 3 0 331810574 494391296 100488 33554432000 4194304 5964478 140737076188912 140720089557304 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 482804
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.96 6/181 27237
/proc/meminfo: memFree=30914928/32873844 swapFree=7116/7116
[pid=27184] ppid=27182 vsize=482804 CPUtime=1800.16 cores=1,3,5,7
/proc/27184/stat : 27184 (pwbo2.02) S 27182 27184 24826 0 -1 4202496 98174 0 0 0 179855 161 0 0 20 0 3 0 331810574 494391296 100488 33554432000 4194304 5964478 140737076188912 140737076188432 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27184/statm: 120701 100488 205 433 0 120265 0
[pid=27184/tid=27185] ppid=27182 vsize=482804 CPUtime=900.15 cores=1,3,5,7
/proc/27184/task/27185/stat : 27185 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 58885 0 0 0 89889 126 0 0 20 0 3 0 331810574 494391296 100488 33554432000 4194304 5964478 140737076188912 140720100046888 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27184/tid=27186] ppid=27182 vsize=482804 CPUtime=900.28 cores=1,3,5,7
/proc/27184/task/27186/stat : 27186 (pwbo2.02) R 27182 27184 24826 0 -1 4202560 38537 0 0 0 89966 62 0 0 20 0 3 0 331810574 494391296 100488 33554432000 4194304 5964478 140737076188912 140720089557304 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 482804
Child status: 0
Real time (s): 900.32
CPU time (s): 1800.48
CPU user time (s): 1798.57
CPU system time (s): 1.91271
CPU usage (%): 199.982
Max. virtual memory (cumulated for all children) (KiB): 482804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.91271
maximum resident set size= 401960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98176
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= 403
involuntary context switches= 1842
runsolver used 2.21266 second user time and 5.74413 second system time
The end