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-3712534-1338194321/watcher-3712534-1338194321 -o /tmp/evaluation-result-3712534-1338194321/solver-3712534-1338194321 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712534-1338194321.wbo
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.85 3.98 3.87 5/178 20700
/proc/meminfo: memFree=28741200/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=5284 CPUtime=0 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) R 20698 20700 20320 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285556237 5410816 549 33554432000 4194304 5964478 140733679188288 140734508398792 4344407 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 1321 549 167 433 0 873 0
[startup+0.0715109 s]
/proc/loadavg: 3.85 3.98 3.87 5/178 20700
/proc/meminfo: memFree=28741200/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=163912 CPUtime=0.12 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 2038 0 0 0 11 1 0 0 20 0 3 0 285556237 167845888 1978 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 40978 1978 198 433 0 40542 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 163912
[startup+0.100182 s]
/proc/loadavg: 3.85 3.98 3.87 5/178 20700
/proc/meminfo: memFree=28741200/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=163912 CPUtime=0.18 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 2163 0 0 0 17 1 0 0 20 0 3 0 285556237 167845888 2103 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 40978 2103 198 433 0 40542 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 163912
[startup+0.300098 s]
/proc/loadavg: 3.85 3.98 3.87 5/178 20700
/proc/meminfo: memFree=28741200/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=163912 CPUtime=0.58 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 3024 0 0 0 56 2 0 0 20 0 3 0 285556237 167845888 2964 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 40978 2964 198 433 0 40542 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 163912
[startup+0.700098 s]
/proc/loadavg: 3.85 3.98 3.87 5/178 20700
/proc/meminfo: memFree=28741200/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=163912 CPUtime=1.38 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 4570 0 0 0 133 5 0 0 20 0 3 0 285556237 167845888 4510 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 40978 4510 198 433 0 40542 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 163912
[startup+1.50023 s]
/proc/loadavg: 3.85 3.98 3.87 5/181 20703
/proc/meminfo: memFree=28719948/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=163912 CPUtime=2.98 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 7354 0 0 0 290 8 0 0 20 0 3 0 285556237 167845888 7294 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 40978 7294 198 433 0 40542 0
[pid=20700/tid=20702] ppid=20698 vsize=163912 CPUtime=1.47 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 3375 0 0 0 140 7 0 0 20 0 3 0 285556238 167845888 7295 33554432000 4194304 5964478 140733679188288 139912813459448 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=163912 CPUtime=1.48 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 2840 0 0 0 146 2 0 0 20 0 3 0 285556238 167845888 7295 33554432000 4194304 5964478 140733679188288 139912802969912 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 163912
[startup+3.10028 s]
/proc/loadavg: 3.85 3.98 3.87 5/181 20703
/proc/meminfo: memFree=28704572/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=164200 CPUtime=6.18 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 11357 0 0 0 608 10 0 0 20 0 3 0 285556237 168140800 11297 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 41050 11297 198 433 0 40614 0
[pid=20700/tid=20702] ppid=20698 vsize=164200 CPUtime=3.08 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 5219 0 0 0 300 8 0 0 20 0 3 0 285556238 168140800 11297 33554432000 4194304 5964478 140733679188288 139912813459448 4400087 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=164200 CPUtime=3.08 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 4998 0 0 0 305 3 0 0 20 0 3 0 285556238 168140800 11297 33554432000 4194304 5964478 140733679188288 139912802969912 4381958 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164200
[startup+6.30026 s]
/proc/loadavg: 3.86 3.98 3.87 5/181 20703
/proc/meminfo: memFree=28688452/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=164200 CPUtime=12.58 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 13243 0 0 0 1247 11 0 0 20 0 3 0 285556237 168140800 13183 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 41050 13183 198 433 0 40614 0
[pid=20700/tid=20702] ppid=20698 vsize=164200 CPUtime=6.28 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 6382 0 0 0 619 9 0 0 20 0 3 0 285556238 168140800 13183 33554432000 4194304 5964478 140733679188288 139912813459448 4400040 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=164200 CPUtime=6.28 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 5721 0 0 0 625 3 0 0 20 0 3 0 285556238 168140800 13183 33554432000 4194304 5964478 140733679188288 139912802969912 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 164200
[startup+12.7002 s]
/proc/loadavg: 3.87 3.98 3.87 5/181 20703
/proc/meminfo: memFree=28664164/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=164344 CPUtime=25.37 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 20952 0 0 0 2523 14 0 0 20 0 3 0 285556237 168288256 20892 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 41086 20892 198 433 0 40650 0
[pid=20700/tid=20702] ppid=20698 vsize=164344 CPUtime=12.67 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 10897 0 0 0 1256 11 0 0 20 0 3 0 285556238 168288256 20892 33554432000 4194304 5964478 140733679188288 139912813459448 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=164344 CPUtime=12.68 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 8915 0 0 0 1264 4 0 0 20 0 3 0 285556238 168288256 20892 33554432000 4194304 5964478 140733679188288 139912802969912 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 164344
[startup+25.5003 s]
/proc/loadavg: 3.90 3.98 3.87 5/181 20703
/proc/meminfo: memFree=28597940/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=230096 CPUtime=50.97 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 36405 0 0 0 5075 22 0 0 20 0 3 0 285556237 235618304 36345 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 57524 36345 198 433 0 57088 0
[pid=20700/tid=20702] ppid=20698 vsize=230096 CPUtime=25.47 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 19759 0 0 0 2531 16 0 0 20 0 3 0 285556238 235618304 36345 33554432000 4194304 5964478 140733679188288 139912813459448 5136404 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=230096 CPUtime=25.48 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 15506 0 0 0 2541 7 0 0 20 0 3 0 285556238 235618304 36345 33554432000 4194304 5964478 140733679188288 139912802969720 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 230096
[startup+51.1003 s]
/proc/loadavg: 3.93 3.98 3.87 5/181 20704
/proc/meminfo: memFree=28525228/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=296220 CPUtime=102.16 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 54041 0 0 0 10187 29 0 0 20 0 3 0 285556237 303329280 53981 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 74055 53981 198 433 0 73619 0
[pid=20700/tid=20702] ppid=20698 vsize=296220 CPUtime=51.07 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 27276 0 0 0 5088 19 0 0 20 0 3 0 285556238 303329280 53981 33554432000 4194304 5964478 140733679188288 139912813459256 4400071 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=296220 CPUtime=51.08 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 25625 0 0 0 5097 11 0 0 20 0 3 0 285556238 303329280 53981 33554432000 4194304 5964478 140733679188288 139912802969672 4381585 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 296220
[startup+102.307 s]
/proc/loadavg: 3.97 3.98 3.88 5/182 20707
/proc/meminfo: memFree=28458288/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=362368 CPUtime=204.56 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 70665 0 0 0 20419 37 0 0 20 0 3 0 285556237 371064832 70605 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 90592 70605 198 433 0 90156 0
[pid=20700/tid=20702] ppid=20698 vsize=362368 CPUtime=102.28 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 37029 0 0 0 10203 25 0 0 20 0 3 0 285556238 371064832 70605 33554432000 4194304 5964478 140733679188288 139912813459448 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=362368 CPUtime=102.29 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 32496 0 0 0 10215 14 0 0 20 0 3 0 285556238 371064832 70605 33554432000 4194304 5964478 140733679188288 139912802969672 4400099 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 362368
[startup+162.3 s]
/proc/loadavg: 3.99 3.98 3.88 5/181 20707
/proc/meminfo: memFree=28315476/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=494144 CPUtime=324.51 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 100243 0 0 0 32401 50 0 0 20 0 3 0 285556237 506003456 100157 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 123536 100157 198 433 0 123100 0
[pid=20700/tid=20702] ppid=20698 vsize=494144 CPUtime=162.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 59983 0 0 0 16190 37 0 0 20 0 3 0 285556238 506003456 100157 33554432000 4194304 5964478 140733679188288 139912813459448 4381793 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=494144 CPUtime=162.28 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 39120 0 0 0 16210 18 0 0 20 0 3 0 285556238 506003456 100157 33554432000 4194304 5964478 140733679188288 139912802969672 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 494144
[startup+222.3 s]
/proc/loadavg: 3.99 3.98 3.89 5/181 20707
/proc/meminfo: memFree=28244332/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=559680 CPUtime=444.49 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 116463 0 0 0 44388 61 0 0 20 0 3 0 285556237 573112320 116377 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 139920 116377 198 433 0 139484 0
[pid=20700/tid=20702] ppid=20698 vsize=559680 CPUtime=222.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 64471 0 0 0 22187 40 0 0 20 0 3 0 285556238 573112320 116377 33554432000 4194304 5964478 140733679188288 139912813459448 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=559680 CPUtime=222.29 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 50852 0 0 0 22201 28 0 0 20 0 3 0 285556238 573112320 116377 33554432000 4194304 5964478 140733679188288 139912802969912 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.49
Current children cumulated vsize (KiB) 559680
[startup+282.3 s]
/proc/loadavg: 3.99 3.98 3.90 5/181 20707
/proc/meminfo: memFree=28172068/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=626516 CPUtime=564.47 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 134640 0 0 0 56378 69 0 0 20 0 3 0 285556237 641552384 134554 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 156629 134554 198 433 0 156193 0
[pid=20700/tid=20702] ppid=20698 vsize=626516 CPUtime=282.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 80894 0 0 0 28179 48 0 0 20 0 3 0 285556238 641552384 134554 33554432000 4194304 5964478 140733679188288 139912813459448 4400051 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=626516 CPUtime=282.29 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 52606 0 0 0 28199 30 0 0 20 0 3 0 285556238 641552384 134554 33554432000 4194304 5964478 140733679188288 139912802969672 4400809 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 564.47
Current children cumulated vsize (KiB) 626516
[startup+342.3 s]
/proc/loadavg: 3.99 3.98 3.90 5/181 20707
/proc/meminfo: memFree=28144568/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=626740 CPUtime=684.45 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 141263 0 0 0 68372 73 0 0 20 0 3 0 285556237 641781760 141177 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 156685 141177 198 433 0 156249 0
[pid=20700/tid=20702] ppid=20698 vsize=626740 CPUtime=342.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 81716 0 0 0 34177 50 0 0 20 0 3 0 285556238 641781760 141177 33554432000 4194304 5964478 140733679188288 139912813459448 4399904 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=626740 CPUtime=342.3 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 58407 0 0 0 34196 34 0 0 20 0 3 0 285556238 641781760 141177 33554432000 4194304 5964478 140733679188288 139912802969672 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 684.45
Current children cumulated vsize (KiB) 626740
[startup+402.3 s]
/proc/loadavg: 4.03 4.00 3.91 5/181 20708
/proc/meminfo: memFree=27961824/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=758892 CPUtime=804.43 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 164698 0 0 0 80358 85 0 0 20 0 3 0 285556237 777105408 164413 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 189723 164413 198 433 0 189287 0
[pid=20700/tid=20702] ppid=20698 vsize=758892 CPUtime=402.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 85018 0 0 0 40174 53 0 0 20 0 3 0 285556238 777105408 164413 33554432000 4194304 5964478 140733679188288 139912813459448 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=758892 CPUtime=402.3 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 78540 0 0 0 40185 45 0 0 20 0 3 0 285556238 777105408 164413 33554432000 4194304 5964478 140733679188288 139912802969912 4400071 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 804.43
Current children cumulated vsize (KiB) 758892
[startup+462.3 s]
/proc/loadavg: 4.01 4.00 3.91 5/180 20708
/proc/meminfo: memFree=27805744/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=890756 CPUtime=924.42 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 196139 0 0 0 92336 106 0 0 20 0 3 0 285556237 912134144 195854 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 222689 195854 198 433 0 222253 0
[pid=20700/tid=20702] ppid=20698 vsize=890756 CPUtime=462.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 106206 0 0 0 46157 70 0 0 20 0 3 0 285556238 912134144 195854 33554432000 4194304 5964478 140733679188288 139912813459448 4400062 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=890756 CPUtime=462.3 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 88793 0 0 0 46179 51 0 0 20 0 3 0 285556238 912134144 195854 33554432000 4194304 5964478 140733679188288 139912802969912 4399904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 924.42
Current children cumulated vsize (KiB) 890756
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 20709
/proc/meminfo: memFree=27799104/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=891068 CPUtime=1044.39 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 196227 0 0 0 104333 106 0 0 20 0 3 0 285556237 912453632 196256 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 222767 196256 198 433 0 222331 0
[pid=20700/tid=20702] ppid=20698 vsize=891068 CPUtime=522.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 106218 0 0 0 52157 70 0 0 20 0 3 0 285556238 912453632 196256 33554432000 4194304 5964478 140733679188288 139912813459480 4400075 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=891068 CPUtime=522.3 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 88869 0 0 0 52179 51 0 0 20 0 3 0 285556238 912453632 196256 33554432000 4194304 5964478 140733679188288 139912802969672 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1044.39
Current children cumulated vsize (KiB) 891068
[startup+582.3 s]
/proc/loadavg: 3.96 3.98 3.91 5/181 20750
/proc/meminfo: memFree=28850232/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=891228 CPUtime=1164.35 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 196310 0 0 0 116329 106 0 0 20 0 3 0 285556237 912617472 195839 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 222807 195839 198 433 0 222371 0
[pid=20700/tid=20702] ppid=20698 vsize=891228 CPUtime=582.26 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 106240 0 0 0 58155 71 0 0 20 0 3 0 285556238 912617472 195839 33554432000 4194304 5964478 140733679188288 139912813459480 4388276 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=891228 CPUtime=582.3 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 88930 0 0 0 58178 52 0 0 20 0 3 0 285556238 912617472 195839 33554432000 4194304 5964478 140733679188288 139912802969672 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1164.35
Current children cumulated vsize (KiB) 891228
[startup+642.3 s]
/proc/loadavg: 3.98 3.98 3.91 5/181 20750
/proc/meminfo: memFree=28563696/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=891228 CPUtime=1284.32 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 196358 0 0 0 128326 106 0 0 20 0 3 0 285556237 912617472 195912 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 222807 195912 198 433 0 222371 0
[pid=20700/tid=20702] ppid=20698 vsize=891228 CPUtime=642.27 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 106244 0 0 0 64155 72 0 0 20 0 3 0 285556238 912617472 195912 33554432000 4194304 5964478 140733679188288 139912813459480 4381585 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=891228 CPUtime=642.28 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 88974 0 0 0 64175 53 0 0 20 0 3 0 285556238 912617472 195912 33554432000 4194304 5964478 140733679188288 139912802969672 4382003 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1284.32
Current children cumulated vsize (KiB) 891228
[startup+702.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/182 20754
/proc/meminfo: memFree=28265536/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=892940 CPUtime=1404.26 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 213855 0 0 0 140306 120 0 0 20 0 3 0 285556237 914370560 213434 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 223235 213434 198 433 0 222799 0
[pid=20700/tid=20702] ppid=20698 vsize=892940 CPUtime=702.25 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 114043 0 0 0 70147 78 0 0 20 0 3 0 285556238 914370560 213434 33554432000 4194304 5964478 140733679188288 139912813459448 4400385 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=892940 CPUtime=702.27 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 98672 0 0 0 70165 62 0 0 20 0 3 0 285556238 914370560 213434 33554432000 4194304 5964478 140733679188288 139912802969912 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1404.26
Current children cumulated vsize (KiB) 892940
[startup+762.307 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 20754
/proc/meminfo: memFree=28109952/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=958836 CPUtime=1524.23 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 221126 0 0 0 152296 127 0 0 20 0 3 0 285556237 981848064 220753 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 239709 220753 198 433 0 239273 0
[pid=20700/tid=20702] ppid=20698 vsize=958836 CPUtime=762.24 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 114070 0 0 0 76144 80 0 0 20 0 3 0 285556238 981848064 220753 33554432000 4194304 5964478 140733679188288 139912813459448 4399904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=958836 CPUtime=762.26 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 105916 0 0 0 76156 70 0 0 20 0 3 0 285556238 981848064 220753 33554432000 4194304 5964478 140733679188288 139912802969912 4400062 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 958836
[startup+822.3 s]
/proc/loadavg: 3.99 3.98 3.91 5/181 20754
/proc/meminfo: memFree=27946796/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=958836 CPUtime=1644.18 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 221174 0 0 0 164291 127 0 0 20 0 3 0 285556237 981848064 220820 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 239709 220820 198 433 0 239273 0
[pid=20700/tid=20702] ppid=20698 vsize=958836 CPUtime=822.23 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 114086 0 0 0 82142 81 0 0 20 0 3 0 285556238 981848064 220820 33554432000 4194304 5964478 140733679188288 139912813459448 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=958836 CPUtime=822.23 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 105948 0 0 0 82152 71 0 0 20 0 3 0 285556238 981848064 220820 33554432000 4194304 5964478 140733679188288 139912802969912 4220675 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 958836
[startup+882.3 s]
/proc/loadavg: 4.15 4.02 3.92 5/181 20754
/proc/meminfo: memFree=27777816/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=958836 CPUtime=1764.13 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 221221 0 0 0 176286 127 0 0 20 0 3 0 285556237 981848064 220861 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 239709 220861 198 433 0 239273 0
[pid=20700/tid=20702] ppid=20698 vsize=958836 CPUtime=882.19 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 114132 0 0 0 88137 82 0 0 20 0 3 0 285556238 981848064 220861 33554432000 4194304 5964478 140733679188288 139912813459448 4400053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=958836 CPUtime=882.23 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 105949 0 0 0 88151 72 0 0 20 0 3 0 285556238 981848064 220861 33554432000 4194304 5964478 140733679188288 139912802969912 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1764.13
Current children cumulated vsize (KiB) 958836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.11 4.02 3.92 5/181 20754
/proc/meminfo: memFree=27738976/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=958836 CPUtime=1800.12 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 221242 0 0 0 179885 127 0 0 20 0 3 0 285556237 981848064 220887 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 239709 220887 198 433 0 239273 0
[pid=20700/tid=20702] ppid=20698 vsize=958836 CPUtime=900.18 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 114153 0 0 0 89936 82 0 0 20 0 3 0 285556238 981848064 220887 33554432000 4194304 5964478 140733679188288 139912813459448 4400503 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=958836 CPUtime=900.24 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 105949 0 0 0 89952 72 0 0 20 0 3 0 285556238 981848064 220887 33554432000 4194304 5964478 140733679188288 139912802969912 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 958836
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.11 4.02 3.92 5/181 20754
/proc/meminfo: memFree=27738976/32873648 swapFree=7368/7368
[pid=20700] ppid=20698 vsize=958836 CPUtime=1800.12 cores=0,2,4,6
/proc/20700/stat : 20700 (pwbo2.01) S 20698 20700 20320 0 -1 4202496 221242 0 0 0 179885 127 0 0 20 0 3 0 285556237 981848064 220887 33554432000 4194304 5964478 140733679188288 140733679187808 4546669 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20700/statm: 239709 220887 198 433 0 239273 0
[pid=20700/tid=20702] ppid=20698 vsize=958836 CPUtime=900.18 cores=0,2,4,6
/proc/20700/task/20702/stat : 20702 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 114153 0 0 0 89936 82 0 0 20 0 3 0 285556238 981848064 220887 33554432000 4194304 5964478 140733679188288 139912813459448 4400503 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20700/tid=20703] ppid=20698 vsize=958836 CPUtime=900.24 cores=0,2,4,6
/proc/20700/task/20703/stat : 20703 (pwbo2.01) R 20698 20700 20320 0 -1 4202560 105949 0 0 0 89952 72 0 0 20 0 3 0 285556238 981848064 220887 33554432000 4194304 5964478 140733679188288 139912802969912 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 958836
Child status: 0
Real time (s): 900.328
CPU time (s): 1800.5
CPU user time (s): 1798.92
CPU system time (s): 1.57276
CPU usage (%): 199.982
Max. virtual memory (cumulated for all children) (KiB): 958836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.57276
maximum resident set size= 883556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221244
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= 725
involuntary context switches= 2153
runsolver used 1.87071 second user time and 4.98524 second system time
The end