runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3500122-1307991399/watcher-3500122-1307991399 -o /var/tmp/evaluation-result-3500122-1307991399/solver-3500122-1307991399 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500122-1307991399.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.99 3.87 3.16 3/179 22509
/proc/meminfo: memFree=16714612/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=4000 CPUtime=0 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) R 22507 22509 21970 0 -1 4202496 546 0 0 0 0 0 0 0 25 0 1 0 910739616 4096000 498 33554432000 4194304 5714118 140733624736432 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22509/statm: 1000 499 168 372 0 402 0
[startup+0.0734539 s]
/proc/loadavg: 3.99 3.87 3.16 3/179 22509
/proc/meminfo: memFree=16714612/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=13112 CPUtime=0.07 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) R 22507 22509 21970 0 -1 4202496 3046 0 0 0 7 0 0 0 25 0 1 0 910739616 13426688 2998 33554432000 4194304 5714118 140733624736432 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/22509/statm: 3278 2999 378 372 0 2680 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13112
[startup+0.100446 s]
/proc/loadavg: 3.99 3.87 3.16 3/179 22509
/proc/meminfo: memFree=16714612/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=145100 CPUtime=0.11 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 4575 0 0 0 11 0 0 0 25 0 3 0 910739616 148582400 4239 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 36275 4239 181 372 0 35900 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 145100
[startup+0.300415 s]
/proc/loadavg: 3.99 3.87 3.16 3/179 22509
/proc/meminfo: memFree=16714612/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=173928 CPUtime=0.51 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 20641 0 0 0 46 5 0 0 25 0 3 0 910739616 178102272 20305 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 43482 20305 181 372 0 43107 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 173928
[startup+0.700344 s]
/proc/loadavg: 3.99 3.87 3.16 3/179 22509
/proc/meminfo: memFree=16714612/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=174196 CPUtime=1.31 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 24170 0 0 0 126 5 0 0 25 0 3 0 910739616 178376704 23834 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 43549 23834 181 372 0 43174 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 174196
[startup+1.50026 s]
/proc/loadavg: 3.99 3.87 3.17 5/182 22512
/proc/meminfo: memFree=16571268/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=174196 CPUtime=2.91 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 28787 0 0 0 284 7 0 0 25 0 3 0 910739616 178376704 28451 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 43549 28451 181 372 0 43174 0
[pid=22509/tid=22511] ppid=22507 vsize=174196 CPUtime=1.41 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 11306 0 0 0 139 2 0 0 19 0 3 0 910739623 178376704 28451 33554432000 4194304 5714118 140733624736432 18446744073709551615 4342335 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=174196 CPUtime=1.41 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 14358 0 0 0 137 4 0 0 25 0 3 0 910739623 178376704 28451 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 174196
[startup+3.10092 s]
/proc/loadavg: 3.99 3.87 3.17 5/182 22512
/proc/meminfo: memFree=16524904/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=174196 CPUtime=6.12 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 30359 0 0 0 597 15 0 0 25 0 3 0 910739616 178376704 30023 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 43549 30023 181 372 0 43174 0
[pid=22509/tid=22511] ppid=22507 vsize=174196 CPUtime=3.02 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 12781 0 0 0 292 10 0 0 25 0 3 0 910739623 178376704 30023 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=174196 CPUtime=3.01 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 14455 0 0 0 297 4 0 0 25 0 3 0 910739623 178376704 30023 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 174196
[startup+6.30035 s]
/proc/loadavg: 3.99 3.87 3.17 5/182 22512
/proc/meminfo: memFree=16484760/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=174196 CPUtime=12.52 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 32471 0 0 0 1218 34 0 0 25 0 3 0 910739616 178376704 32136 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 43549 32136 181 372 0 43174 0
[pid=22509/tid=22511] ppid=22507 vsize=174196 CPUtime=6.22 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 14682 0 0 0 594 28 0 0 25 0 3 0 910739623 178376704 32136 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=174196 CPUtime=6.21 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 14667 0 0 0 616 5 0 0 25 0 3 0 910739623 178376704 32136 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 174196
[startup+12.7002 s]
/proc/loadavg: 3.99 3.88 3.18 5/182 22512
/proc/meminfo: memFree=16448032/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=174412 CPUtime=25.31 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 34638 0 0 0 2471 60 0 0 25 0 3 0 910739616 178597888 34267 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 43603 34267 182 372 0 43228 0
[pid=22509/tid=22511] ppid=22507 vsize=174412 CPUtime=12.62 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 16438 0 0 0 1210 52 0 0 25 0 3 0 910739623 178597888 34267 33554432000 4194304 5714118 140733624736432 18446744073709551615 4346997 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=174412 CPUtime=12.61 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 15077 0 0 0 1254 7 0 0 25 0 3 0 910739623 178597888 34267 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 174412
[startup+25.501 s]
/proc/loadavg: 3.99 3.88 3.19 5/182 22512
/proc/meminfo: memFree=16415564/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=240312 CPUtime=50.92 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 40548 0 0 0 5004 88 0 0 25 0 3 0 910739616 246079488 40177 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 60078 40177 182 372 0 59703 0
[pid=22509/tid=22511] ppid=22507 vsize=240312 CPUtime=25.42 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 21392 0 0 0 2465 77 0 0 25 0 3 0 910739623 246079488 40177 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=240312 CPUtime=25.42 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 16033 0 0 0 2532 10 0 0 25 0 3 0 910739623 246079488 40177 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 240312
[startup+51.1004 s]
/proc/loadavg: 3.99 3.89 3.21 5/182 22513
/proc/meminfo: memFree=16324384/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=240660 CPUtime=102.12 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 50908 0 0 0 10077 135 0 0 25 0 3 0 910739616 246435840 50537 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 60165 50537 182 372 0 59790 0
[pid=22509/tid=22511] ppid=22507 vsize=240660 CPUtime=51.02 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 28940 0 0 0 4983 119 0 0 25 0 3 0 910739623 246435840 50537 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=240660 CPUtime=51.01 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 18845 0 0 0 5086 15 0 0 25 0 3 0 910739623 246435840 50537 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 240660
[startup+102.306 s]
/proc/loadavg: 3.99 3.90 3.25 5/182 22514
/proc/meminfo: memFree=16199800/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=306776 CPUtime=204.53 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 61870 0 0 0 20225 228 0 0 25 0 3 0 910739616 314138624 61429 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 76694 61429 182 372 0 76319 0
[pid=22509/tid=22511] ppid=22507 vsize=306776 CPUtime=102.23 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 35827 0 0 0 10019 204 0 0 25 0 3 0 910739623 314138624 61429 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=306776 CPUtime=102.22 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 22920 0 0 0 10198 24 0 0 25 0 3 0 910739623 314138624 61429 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319804 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 306776
[startup+162.301 s]
/proc/loadavg: 3.99 3.92 3.29 5/182 22516
/proc/meminfo: memFree=16104144/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=373136 CPUtime=324.52 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 66349 0 0 0 32128 324 0 0 25 0 3 0 910739616 382091264 65908 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 93284 65908 182 372 0 92909 0
[pid=22509/tid=22511] ppid=22507 vsize=373136 CPUtime=162.22 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 35856 0 0 0 15932 290 0 0 25 0 3 0 910739623 382091264 65908 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=373136 CPUtime=162.22 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 27370 0 0 0 16189 33 0 0 25 0 3 0 910739623 382091264 65908 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 324.52
Current children cumulated vsize (KiB) 373136
[startup+222.301 s]
/proc/loadavg: 3.99 3.93 3.33 5/182 22518
/proc/meminfo: memFree=16013452/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=374328 CPUtime=444.53 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 72660 0 0 0 44018 435 0 0 25 0 3 0 910739616 383311872 72219 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 93582 72219 182 372 0 93207 0
[pid=22509/tid=22511] ppid=22507 vsize=374328 CPUtime=222.22 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 35856 0 0 0 21834 388 0 0 25 0 3 0 910739623 383311872 72219 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319301 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=374328 CPUtime=222.22 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 33681 0 0 0 22176 46 0 0 25 0 3 0 910739623 383311872 72219 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 444.53
Current children cumulated vsize (KiB) 374328
[startup+282.3 s]
/proc/loadavg: 3.99 3.94 3.37 5/182 22528
/proc/meminfo: memFree=15907856/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=375496 CPUtime=564.53 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 86520 0 0 0 55939 514 0 0 25 0 3 0 910739616 384507904 86079 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 93874 86079 182 372 0 93499 0
[pid=22509/tid=22511] ppid=22507 vsize=375496 CPUtime=282.22 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 44029 0 0 0 27765 457 0 0 25 0 3 0 910739623 384507904 86079 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=375496 CPUtime=282.22 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 39368 0 0 0 28166 56 0 0 25 0 3 0 910739623 384507904 86079 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 564.53
Current children cumulated vsize (KiB) 375496
[startup+342.3 s]
/proc/loadavg: 4.04 3.96 3.41 5/182 22530
/proc/meminfo: memFree=15781836/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=508200 CPUtime=684.53 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 109583 0 0 0 67860 593 0 0 25 0 3 0 910739616 520396800 109142 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 127050 109142 182 372 0 126675 0
[pid=22509/tid=22511] ppid=22507 vsize=508200 CPUtime=342.22 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 60365 0 0 0 33697 525 0 0 25 0 3 0 910739623 520396800 109142 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=508200 CPUtime=342.22 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 46095 0 0 0 34155 67 0 0 25 0 3 0 910739623 520396800 109142 33554432000 4194304 5714118 140733624736432 18446744073709551615 4305224 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.53
Current children cumulated vsize (KiB) 508200
[startup+402.301 s]
/proc/loadavg: 4.01 3.97 3.45 5/182 22531
/proc/meminfo: memFree=15663744/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=575208 CPUtime=804.54 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 122661 0 0 0 79786 668 0 0 25 0 3 0 910739616 589012992 122220 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 143802 122220 182 372 0 143427 0
[pid=22509/tid=22511] ppid=22507 vsize=575208 CPUtime=402.22 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 71787 0 0 0 39632 590 0 0 25 0 3 0 910739623 589012992 122220 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=575208 CPUtime=402.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 47751 0 0 0 40146 77 0 0 25 0 3 0 910739623 589012992 122220 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.54
Current children cumulated vsize (KiB) 575208
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.48 5/182 22536
/proc/meminfo: memFree=15593588/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=641280 CPUtime=924.53 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 133556 0 0 0 91717 736 0 0 25 0 3 0 910739616 656670720 133115 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 160320 133115 182 372 0 159945 0
[pid=22509/tid=22511] ppid=22507 vsize=641280 CPUtime=462.23 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 82549 0 0 0 45567 656 0 0 25 0 3 0 910739623 656670720 133115 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=641280 CPUtime=462.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 47884 0 0 0 46143 80 0 0 25 0 3 0 910739623 656670720 133115 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.53
Current children cumulated vsize (KiB) 641280
[startup+522.3 s]
/proc/loadavg: 4.06 3.99 3.51 5/182 22538
/proc/meminfo: memFree=15497068/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=641984 CPUtime=1044.54 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 149427 0 0 0 103639 815 0 0 25 0 3 0 910739616 657391616 148986 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 160496 148986 182 372 0 160121 0
[pid=22509/tid=22511] ppid=22507 vsize=641984 CPUtime=522.23 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 94504 0 0 0 51499 724 0 0 25 0 3 0 910739623 657391616 148986 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=641984 CPUtime=522.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 51800 0 0 0 52133 90 0 0 25 0 3 0 910739623 657391616 148986 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.54
Current children cumulated vsize (KiB) 641984
[startup+582.301 s]
/proc/loadavg: 4.02 3.99 3.54 5/182 22539
/proc/meminfo: memFree=15357288/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=773764 CPUtime=1164.55 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 171412 0 0 0 115555 900 0 0 25 0 3 0 910739616 792334336 170971 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 193441 170971 182 372 0 193066 0
[pid=22509/tid=22511] ppid=22507 vsize=773764 CPUtime=582.23 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 109613 0 0 0 57424 799 0 0 25 0 3 0 910739623 792334336 170971 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=773764 CPUtime=582.22 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 58676 0 0 0 58122 100 0 0 25 0 3 0 910739623 792334336 170971 33554432000 4194304 5714118 140733624736432 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.55
Current children cumulated vsize (KiB) 773764
[startup+642.301 s]
/proc/loadavg: 4.01 3.99 3.57 5/182 22541
/proc/meminfo: memFree=15242704/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=840688 CPUtime=1284.55 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 192706 0 0 0 127470 985 0 0 25 0 3 0 910739616 860864512 192265 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 210172 192265 182 372 0 209797 0
[pid=22509/tid=22511] ppid=22507 vsize=840688 CPUtime=642.24 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 123609 0 0 0 63350 874 0 0 25 0 3 0 910739623 860864512 192265 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=840688 CPUtime=642.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 65974 0 0 0 64112 111 0 0 25 0 3 0 910739623 860864512 192265 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.55
Current children cumulated vsize (KiB) 840688
[startup+702.3 s]
/proc/loadavg: 4.00 3.99 3.59 5/182 22542
/proc/meminfo: memFree=15166668/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=907496 CPUtime=1404.55 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 211005 0 0 0 139403 1052 0 0 25 0 3 0 910739616 929275904 210564 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 226874 210564 182 372 0 226499 0
[pid=22509/tid=22511] ppid=22507 vsize=907496 CPUtime=702.24 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 136514 0 0 0 69293 931 0 0 25 0 3 0 910739623 929275904 210564 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=907496 CPUtime=702.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 71368 0 0 0 70103 120 0 0 25 0 3 0 910739623 929275904 210564 33554432000 4194304 5714118 140733624736432 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.55
Current children cumulated vsize (KiB) 907496
[startup+762.307 s]
/proc/loadavg: 4.00 3.99 3.61 5/182 22544
/proc/meminfo: memFree=15128824/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=908044 CPUtime=1524.56 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 219873 0 0 0 151354 1102 0 0 25 0 3 0 910739616 929837056 219432 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 227011 219432 182 372 0 226636 0
[pid=22509/tid=22511] ppid=22507 vsize=908044 CPUtime=762.24 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 145253 0 0 0 75247 977 0 0 25 0 3 0 910739623 929837056 219432 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=908044 CPUtime=762.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 71497 0 0 0 76099 124 0 0 25 0 3 0 910739623 929837056 219432 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319325 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.56
Current children cumulated vsize (KiB) 908044
[startup+822.301 s]
/proc/loadavg: 4.00 3.99 3.64 5/182 22546
/proc/meminfo: memFree=15095696/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=973860 CPUtime=1644.55 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 227687 0 0 0 163290 1165 0 0 25 0 3 0 910739616 997232640 227246 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 243465 227246 182 372 0 243090 0
[pid=22509/tid=22511] ppid=22507 vsize=973860 CPUtime=822.24 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 152996 0 0 0 81188 1036 0 0 25 0 3 0 910739623 997232640 227246 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=973860 CPUtime=822.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 71568 0 0 0 82095 128 0 0 25 0 3 0 910739623 997232640 227246 33554432000 4194304 5714118 140733624736432 18446744073709551615 4305171 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.55
Current children cumulated vsize (KiB) 973860
[startup+882.3 s]
/proc/loadavg: 4.06 4.00 3.66 5/182 22547
/proc/meminfo: memFree=15040360/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=1039328 CPUtime=1764.56 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 241193 0 0 0 175235 1221 0 0 25 0 3 0 910739616 1064271872 240636 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 259832 240636 182 372 0 259457 0
[pid=22509/tid=22511] ppid=22507 vsize=1039328 CPUtime=882.24 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 166402 0 0 0 87137 1087 0 0 25 0 3 0 910739623 1064271872 240636 33554432000 4194304 5714118 140733624736432 18446744073709551615 4322968 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=1039328 CPUtime=882.23 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 71668 0 0 0 88091 132 0 0 25 0 3 0 910739623 1064271872 240636 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.56
Current children cumulated vsize (KiB) 1039328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.05 4.00 3.67 3/178 22549
/proc/meminfo: memFree=15760552/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=1039328 CPUtime=1800.17 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 241207 0 0 0 178769 1248 0 0 25 0 3 0 910739616 1064271872 240650 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 259832 240650 182 372 0 259457 0
[pid=22509/tid=22511] ppid=22507 vsize=1039328 CPUtime=900.04 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 166402 0 0 0 88890 1114 0 0 25 0 3 0 910739623 1064271872 240650 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=1039328 CPUtime=900.04 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 71682 0 0 0 89871 133 0 0 25 0 3 0 910739623 1064271872 240650 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1039328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.05 4.00 3.67 3/178 22549
/proc/meminfo: memFree=15760552/32950904 swapFree=67055440/67111528
[pid=22509] ppid=22507 vsize=1039328 CPUtime=1800.17 cores=1,3,5,7
/proc/22509/stat : 22509 (pwbo1.1) S 22507 22509 21970 0 -1 4202496 241207 0 0 0 178769 1248 0 0 25 0 3 0 910739616 1064271872 240650 33554432000 4194304 5714118 140733624736432 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/22509/statm: 259832 240650 182 372 0 259457 0
[pid=22509/tid=22511] ppid=22507 vsize=1039328 CPUtime=900.04 cores=1,3,5,7
/proc/22509/task/22511/stat : 22511 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 166402 0 0 0 88890 1114 0 0 25 0 3 0 910739623 1064271872 240650 33554432000 4194304 5714118 140733624736432 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=22509/tid=22512] ppid=22507 vsize=1039328 CPUtime=900.04 cores=1,3,5,7
/proc/22509/task/22512/stat : 22512 (pwbo1.1) R 22507 22509 21970 0 -1 4202560 71682 0 0 0 89871 133 0 0 25 0 3 0 910739623 1064271872 240650 33554432000 4194304 5714118 140733624736432 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 1039328
Child status: 0
Real time (s): 900.156
CPU time (s): 1800.23
CPU user time (s): 1787.7
CPU system time (s): 12.5301
CPU usage (%): 199.991
Max. virtual memory (cumulated for all children) (KiB): 1039668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.7
system time used= 12.5301
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241212
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= 616
involuntary context switches= 2671
runsolver used 1.40079 second user time and 3.11653 second system time
The end