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-3500313-1307993289/watcher-3500313-1307993289 -o /var/tmp/evaluation-result-3500313-1307993289/solver-3500313-1307993289 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500313-1307993289.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.02 3.98 3.86 4/179 12969
/proc/meminfo: memFree=12570452/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=3240 CPUtime=0 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) R 12967 12969 12151 0 -1 4202496 576 0 0 0 0 0 0 0 25 0 1 0 910929609 3317760 528 33554432000 4194304 5714118 140734958132656 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/12969/statm: 810 530 164 372 0 413 0
[startup+0.038957 s]
/proc/loadavg: 4.02 3.98 3.86 4/179 12969
/proc/meminfo: memFree=12570452/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=136720 CPUtime=0.06 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 2021 0 0 0 5 1 0 0 18 0 3 0 910929609 140001280 1829 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 34180 1830 181 372 0 33805 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 136720
[startup+0.100944 s]
/proc/loadavg: 4.02 3.98 3.86 4/179 12969
/proc/meminfo: memFree=12570452/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=136720 CPUtime=0.18 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 2984 0 0 0 17 1 0 0 18 0 3 0 910929609 140001280 2697 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 34180 2698 181 372 0 33805 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 136720
[startup+0.30091 s]
/proc/loadavg: 4.02 3.98 3.86 4/179 12969
/proc/meminfo: memFree=12570452/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=136720 CPUtime=0.58 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 4833 0 0 0 56 2 0 0 18 0 3 0 910929609 140001280 4508 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 34180 4509 181 372 0 33805 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 136720
[startup+0.700838 s]
/proc/loadavg: 4.02 3.98 3.86 4/179 12969
/proc/meminfo: memFree=12570452/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=136720 CPUtime=1.38 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 8253 0 0 0 132 6 0 0 18 0 3 0 910929609 140001280 7917 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 34180 7918 181 372 0 33805 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 136720
[startup+1.50069 s]
/proc/loadavg: 4.02 3.98 3.86 6/182 12972
/proc/meminfo: memFree=12530276/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=136720 CPUtime=2.97 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 14206 0 0 0 286 11 0 0 18 0 3 0 910929609 140001280 13870 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 34180 13870 181 372 0 33805 0
[pid=12969/tid=12971] ppid=12967 vsize=136720 CPUtime=1.48 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 2229 0 0 0 143 5 0 0 20 0 3 0 910929610 140001280 13870 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=136720 CPUtime=1.47 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 11148 0 0 0 142 5 0 0 23 0 3 0 910929610 140001280 13870 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 136720
[startup+3.1004 s]
/proc/loadavg: 4.02 3.98 3.86 6/182 12972
/proc/meminfo: memFree=12511444/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=136720 CPUtime=6.17 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 16866 0 0 0 600 17 0 0 18 0 3 0 910929609 140001280 16530 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 34180 16530 181 372 0 33805 0
[pid=12969/tid=12971] ppid=12967 vsize=136720 CPUtime=3.08 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 2731 0 0 0 299 9 0 0 25 0 3 0 910929610 140001280 16530 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=136720 CPUtime=3.08 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 13306 0 0 0 300 8 0 0 25 0 3 0 910929610 140001280 16530 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 136720
[startup+6.30081 s]
/proc/loadavg: 4.02 3.98 3.86 6/182 12972
/proc/meminfo: memFree=12488020/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=136720 CPUtime=12.58 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 21017 0 0 0 1230 28 0 0 18 0 3 0 910929609 140001280 20681 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 34180 20681 182 372 0 33805 0
[pid=12969/tid=12971] ppid=12967 vsize=136720 CPUtime=6.29 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 3952 0 0 0 614 15 0 0 25 0 3 0 910929610 140001280 20681 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=136720 CPUtime=6.28 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 16236 0 0 0 615 13 0 0 25 0 3 0 910929610 140001280 20681 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 136720
[startup+12.7006 s]
/proc/loadavg: 4.02 3.98 3.86 6/182 12972
/proc/meminfo: memFree=12472104/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=202256 CPUtime=25.38 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 25161 0 0 0 2492 46 0 0 18 0 3 0 910929609 207110144 24825 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 50564 24825 182 372 0 50189 0
[pid=12969/tid=12971] ppid=12967 vsize=202256 CPUtime=12.68 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 4438 0 0 0 1243 25 0 0 25 0 3 0 910929610 207110144 24825 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=202256 CPUtime=12.68 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 19894 0 0 0 1248 20 0 0 25 0 3 0 910929610 207110144 24825 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 202256
[startup+25.5003 s]
/proc/loadavg: 4.01 3.98 3.86 6/182 12972
/proc/meminfo: memFree=12445580/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=202520 CPUtime=50.98 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 31466 0 0 0 5027 71 0 0 18 0 3 0 910929609 207380480 31052 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 50630 31052 182 372 0 50255 0
[pid=12969/tid=12971] ppid=12967 vsize=202520 CPUtime=25.48 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 8358 0 0 0 2510 38 0 0 25 0 3 0 910929610 207380480 31052 33554432000 4194304 5714118 140734958132656 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=202520 CPUtime=25.48 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 22279 0 0 0 2516 32 0 0 25 0 3 0 910929610 207380480 31052 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 202520
[startup+51.1006 s]
/proc/loadavg: 4.01 3.98 3.87 6/182 12973
/proc/meminfo: memFree=12422200/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=202900 CPUtime=102.19 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 37676 0 0 0 10096 123 0 0 18 0 3 0 910929609 207769600 36892 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 50725 36892 182 372 0 50350 0
[pid=12969/tid=12971] ppid=12967 vsize=202900 CPUtime=51.08 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 9367 0 0 0 5044 64 0 0 25 0 3 0 910929610 207769600 36892 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=202900 CPUtime=51.08 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 27480 0 0 0 5050 58 0 0 25 0 3 0 910929610 207769600 36892 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 202900
[startup+102.306 s]
/proc/loadavg: 4.00 3.98 3.87 6/182 12975
/proc/meminfo: memFree=12375292/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=203444 CPUtime=204.59 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 44086 0 0 0 20226 233 0 0 18 0 3 0 910929609 208326656 43099 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 50861 43099 182 372 0 50486 0
[pid=12969/tid=12971] ppid=12967 vsize=203444 CPUtime=102.29 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 13020 0 0 0 10101 128 0 0 25 0 3 0 910929610 208326656 43099 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=203444 CPUtime=102.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 30237 0 0 0 10124 105 0 0 25 0 3 0 910929610 208326656 43099 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 203444
[startup+162.3 s]
/proc/loadavg: 4.00 3.98 3.88 6/182 12976
/proc/meminfo: memFree=12277908/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=270640 CPUtime=324.59 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 54598 0 0 0 32107 352 0 0 18 0 3 0 910929609 277135360 53611 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 67660 53611 182 372 0 67285 0
[pid=12969/tid=12971] ppid=12967 vsize=270640 CPUtime=162.29 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 20030 0 0 0 16035 194 0 0 25 0 3 0 910929610 277135360 53611 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=270640 CPUtime=162.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 33739 0 0 0 16071 158 0 0 25 0 3 0 910929610 277135360 53611 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 270640
[startup+222.3 s]
/proc/loadavg: 4.00 3.98 3.88 6/182 12978
/proc/meminfo: memFree=12200984/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=336460 CPUtime=444.59 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 58278 0 0 0 43991 468 0 0 18 0 3 0 910929609 344535040 57233 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 84115 57233 182 372 0 83740 0
[pid=12969/tid=12971] ppid=12967 vsize=336460 CPUtime=222.29 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 20161 0 0 0 21972 257 0 0 25 0 3 0 910929610 344535040 57233 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=336460 CPUtime=222.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 37288 0 0 0 22018 211 0 0 25 0 3 0 910929610 344535040 57233 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 336460
[startup+282.3 s]
/proc/loadavg: 4.00 3.98 3.89 6/182 12979
/proc/meminfo: memFree=12079280/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=337092 CPUtime=564.6 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 73191 0 0 0 55885 575 0 0 18 0 3 0 910929609 345182208 72070 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 84273 72070 182 372 0 83898 0
[pid=12969/tid=12971] ppid=12967 vsize=337092 CPUtime=282.29 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 31413 0 0 0 27921 308 0 0 25 0 3 0 910929610 345182208 72070 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=337092 CPUtime=282.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 40949 0 0 0 27963 266 0 0 25 0 3 0 910929610 345182208 72070 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 337092
[startup+342.3 s]
/proc/loadavg: 4.00 3.98 3.89 6/182 12981
/proc/meminfo: memFree=11953240/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=402628 CPUtime=684.59 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 82253 0 0 0 67792 667 0 0 18 0 3 0 910929609 412291072 80778 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 100657 80778 182 372 0 100282 0
[pid=12969/tid=12971] ppid=12967 vsize=402628 CPUtime=342.29 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 39815 0 0 0 33876 353 0 0 25 0 3 0 910929610 412291072 80778 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319916 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=402628 CPUtime=342.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 41609 0 0 0 33915 314 0 0 25 0 3 0 910929610 412291072 80778 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 402628
[startup+402.3 s]
/proc/loadavg: 4.00 3.98 3.90 6/182 12983
/proc/meminfo: memFree=11881264/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=468912 CPUtime=804.6 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 96171 0 0 0 79704 756 0 0 18 0 3 0 910929609 480165888 94404 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 117228 94404 182 372 0 116853 0
[pid=12969/tid=12971] ppid=12967 vsize=468912 CPUtime=402.3 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 49563 0 0 0 39834 396 0 0 25 0 3 0 910929610 480165888 94404 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=468912 CPUtime=402.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 45779 0 0 0 39869 360 0 0 25 0 3 0 910929610 480165888 94404 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 468912
[startup+462.3 s]
/proc/loadavg: 4.00 3.98 3.91 6/182 12984
/proc/meminfo: memFree=11821328/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=470636 CPUtime=924.61 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 106717 0 0 0 91609 852 0 0 18 0 3 0 910929609 481931264 103847 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 117659 103847 182 372 0 117284 0
[pid=12969/tid=12971] ppid=12967 vsize=470636 CPUtime=462.3 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 58347 0 0 0 45788 442 0 0 25 0 3 0 910929610 481931264 103847 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=470636 CPUtime=462.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 47541 0 0 0 45820 409 0 0 25 0 3 0 910929610 481931264 103847 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 470636
[startup+522.3 s]
/proc/loadavg: 4.10 4.01 3.92 6/182 12986
/proc/meminfo: memFree=11773308/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=536340 CPUtime=1044.61 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 118654 0 0 0 103518 943 0 0 18 0 3 0 910929609 549212160 114216 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 134085 114216 182 372 0 133710 0
[pid=12969/tid=12971] ppid=12967 vsize=536340 CPUtime=522.3 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 69244 0 0 0 51738 492 0 0 25 0 3 0 910929610 549212160 114216 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=536340 CPUtime=522.3 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 48581 0 0 0 51779 451 0 0 25 0 3 0 910929610 549212160 114216 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 536340
[startup+582.3 s]
/proc/loadavg: 4.03 4.00 3.92 6/182 12987
/proc/meminfo: memFree=11742264/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=537464 CPUtime=1164.61 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 127804 0 0 0 115433 1028 0 0 18 0 3 0 910929609 550363136 121856 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 134366 121856 182 372 0 133991 0
[pid=12969/tid=12971] ppid=12967 vsize=537464 CPUtime=582.3 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 75820 0 0 0 57701 529 0 0 25 0 3 0 910929610 550363136 121856 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=537464 CPUtime=582.29 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 51155 0 0 0 57731 498 0 0 25 0 3 0 910929610 550363136 121856 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 537464
[startup+642.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/182 13030
/proc/meminfo: memFree=12114164/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=603496 CPUtime=1284.63 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 138460 0 0 0 127351 1112 0 0 18 0 3 0 910929609 617979904 132512 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 150874 132512 182 372 0 150499 0
[pid=12969/tid=12971] ppid=12967 vsize=603496 CPUtime=642.31 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 82379 0 0 0 63662 569 0 0 25 0 3 0 910929610 617979904 132512 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=603496 CPUtime=642.31 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 55252 0 0 0 63688 543 0 0 25 0 3 0 910929610 617979904 132512 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 603496
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13032
/proc/meminfo: memFree=11866292/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=603924 CPUtime=1404.63 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 151108 0 0 0 139266 1197 0 0 18 0 3 0 910929609 618418176 145160 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 150981 145160 182 372 0 150606 0
[pid=12969/tid=12971] ppid=12967 vsize=603924 CPUtime=702.31 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 94770 0 0 0 69618 613 0 0 25 0 3 0 910929610 618418176 145160 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=603924 CPUtime=702.31 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 55509 0 0 0 69647 584 0 0 25 0 3 0 910929610 618418176 145160 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.63
Current children cumulated vsize (KiB) 603924
[startup+762.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13033
/proc/meminfo: memFree=11734576/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=669696 CPUtime=1524.64 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 159550 0 0 0 151193 1271 0 0 18 0 3 0 910929609 685768704 152521 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 167424 152521 182 372 0 167049 0
[pid=12969/tid=12971] ppid=12967 vsize=669696 CPUtime=762.32 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 101975 0 0 0 75588 644 0 0 25 0 3 0 910929610 685768704 152521 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=669696 CPUtime=762.31 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 56746 0 0 0 75604 627 0 0 25 0 3 0 910929610 685768704 152521 33554432000 4194304 5714118 140734958132656 18446744073709551615 4300228 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 669696
[startup+822.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13035
/proc/meminfo: memFree=11714948/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=669696 CPUtime=1644.63 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 164508 0 0 0 163106 1357 0 0 18 0 3 0 910929609 685768704 155107 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 167424 155107 182 372 0 167049 0
[pid=12969/tid=12971] ppid=12967 vsize=669696 CPUtime=822.31 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 104494 0 0 0 81543 688 0 0 25 0 3 0 910929610 685768704 155107 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319689 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=669696 CPUtime=822.3 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 59185 0 0 0 81562 668 0 0 25 0 3 0 910929610 685768704 155107 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 669696
[startup+882.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13036
/proc/meminfo: memFree=11683908/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=669880 CPUtime=1764.64 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 166999 0 0 0 175001 1463 0 0 18 0 3 0 910929609 685957120 156289 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 167470 156289 182 372 0 167095 0
[pid=12969/tid=12971] ppid=12967 vsize=669880 CPUtime=882.31 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 105493 0 0 0 87483 748 0 0 25 0 3 0 910929610 685957120 156289 33554432000 4194304 5714118 140734958132656 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=669880 CPUtime=882.3 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 60677 0 0 0 87516 714 0 0 25 0 3 0 910929610 685957120 156289 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319289 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.64
Current children cumulated vsize (KiB) 669880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 4.00 3.92 5/182 13037
/proc/meminfo: memFree=11672108/32951124 swapFree=67056684/67111528
[pid=12969] ppid=12967 vsize=669880 CPUtime=1800.05 cores=1,3,5,7
/proc/12969/stat : 12969 (pwbo1.1) S 12967 12969 12151 0 -1 4202496 168318 0 0 0 178507 1498 0 0 18 0 3 0 910929609 685957120 156282 33554432000 4194304 5714118 140734958132656 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/12969/statm: 167470 156282 182 372 0 167095 0
[pid=12969/tid=12971] ppid=12967 vsize=669880 CPUtime=900.02 cores=1,3,5,7
/proc/12969/task/12971/stat : 12971 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 105505 0 0 0 89233 769 0 0 25 0 3 0 910929610 685957120 156282 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=12969/tid=12972] ppid=12967 vsize=669880 CPUtime=900.01 cores=1,3,5,7
/proc/12969/task/12972/stat : 12972 (pwbo1.1) R 12967 12969 12151 0 -1 4202560 61984 0 0 0 89272 729 0 0 25 0 3 0 910929610 685957120 156282 33554432000 4194304 5714118 140734958132656 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 669880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 900.04
CPU time (s): 1800.1
CPU user time (s): 1785.08
CPU system time (s): 15.0137
CPU usage (%): 200.002
Max. virtual memory (cumulated for all children) (KiB): 669880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.08
system time used= 15.0137
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168323
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= 114
involuntary context switches= 2246
runsolver used 1.43178 second user time and 3.19151 second system time
The end