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-3726019-1338655607/watcher-3726019-1338655607 -o /tmp/evaluation-result-3726019-1338655607/solver-3726019-1338655607 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726019-1338655607.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 16639
/proc/meminfo: memFree=27321824/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=3676 CPUtime=0 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) R 16637 16639 14598 0 -1 4202496 243 0 0 0 0 0 0 0 20 0 1 0 331685639 3764224 195 33554432000 4194304 5964478 140735878342592 140734872185832 5136490 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 919 198 149 433 0 479 0
[startup+0.092256 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 16639
/proc/meminfo: memFree=27321824/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164196 CPUtime=0.16 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 1951 0 0 0 15 1 0 0 20 0 3 0 331685639 168136704 1864 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41049 1864 204 433 0 40613 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 164196
[startup+0.1002 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 16639
/proc/meminfo: memFree=27321824/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164196 CPUtime=0.18 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 1977 0 0 0 17 1 0 0 20 0 3 0 331685639 168136704 1890 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41049 1890 204 433 0 40613 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164196
[startup+0.300116 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 16639
/proc/meminfo: memFree=27321824/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164196 CPUtime=0.57 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 2541 0 0 0 56 1 0 0 20 0 3 0 331685639 168136704 2454 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41049 2454 204 433 0 40613 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 164196
[startup+0.700132 s]
/proc/loadavg: 4.00 3.99 3.91 4/178 16639
/proc/meminfo: memFree=27321824/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164196 CPUtime=1.37 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 3431 0 0 0 135 2 0 0 20 0 3 0 331685639 168136704 3344 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41049 3350 204 433 0 40613 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 164196
[startup+1.50036 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=27303712/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164340 CPUtime=2.96 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 4664 0 0 0 292 4 0 0 20 0 3 0 331685639 168284160 4577 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41085 4577 204 433 0 40649 0
[pid=16639/tid=16641] ppid=16637 vsize=164340 CPUtime=1.48 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 2077 0 0 0 146 2 0 0 20 0 3 0 331685640 168284160 4577 33554432000 4194304 5964478 140735878342592 140108125456184 4400401 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=164340 CPUtime=1.48 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 1823 0 0 0 144 4 0 0 20 0 3 0 331685640 168284160 4577 33554432000 4194304 5964478 140735878342592 140108114966648 4400010 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 164340
[startup+3.10033 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=27296892/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164196 CPUtime=6.17 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 5714 0 0 0 611 6 0 0 20 0 3 0 331685639 168136704 5599 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41049 5599 204 433 0 40613 0
[pid=16639/tid=16641] ppid=16637 vsize=164196 CPUtime=3.07 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 2647 0 0 0 305 2 0 0 20 0 3 0 331685640 168136704 5599 33554432000 4194304 5964478 140735878342592 140108125456376 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=164196 CPUtime=3.08 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 2303 0 0 0 302 6 0 0 20 0 3 0 331685640 168136704 5599 33554432000 4194304 5964478 140735878342592 140108114966840 4409285 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164196
[startup+6.30035 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=27282144/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164412 CPUtime=12.57 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 7928 0 0 0 1248 9 0 0 20 0 3 0 331685639 168357888 7813 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41103 7813 204 433 0 40667 0
[pid=16639/tid=16641] ppid=16637 vsize=164412 CPUtime=6.27 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 3910 0 0 0 625 2 0 0 20 0 3 0 331685640 168357888 7813 33554432000 4194304 5964478 140735878342592 140108125456424 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=164412 CPUtime=6.27 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 3254 0 0 0 620 7 0 0 20 0 3 0 331685640 168357888 7813 33554432000 4194304 5964478 140735878342592 140108114966840 4400078 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164412
[startup+12.7004 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=27245324/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=164868 CPUtime=25.37 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 12368 0 0 0 2522 15 0 0 20 0 3 0 331685639 168824832 12253 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41217 12253 204 433 0 40781 0
[pid=16639/tid=16641] ppid=16637 vsize=164868 CPUtime=12.67 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 6809 0 0 0 1263 4 0 0 20 0 3 0 331685640 168824832 12253 33554432000 4194304 5964478 140735878342592 140108125456184 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=164868 CPUtime=12.67 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 4795 0 0 0 1255 12 0 0 20 0 3 0 331685640 168824832 12253 33554432000 4194304 5964478 140735878342592 140108114966840 5136420 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 164868
[startup+25.5004 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=27165700/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=165708 CPUtime=50.95 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 20528 0 0 0 5076 19 0 0 20 0 3 0 331685639 169684992 20413 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 41427 20413 204 433 0 40991 0
[pid=16639/tid=16641] ppid=16637 vsize=165708 CPUtime=25.47 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 13440 0 0 0 2540 7 0 0 20 0 3 0 331685640 169684992 20413 33554432000 4194304 5964478 140735878342592 140108125456184 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=165708 CPUtime=25.48 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 6324 0 0 0 2534 14 0 0 20 0 3 0 331685640 169684992 20413 33554432000 4194304 5964478 140735878342592 140108114966840 4409250 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 165708
[startup+51.1004 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=27044628/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=233192 CPUtime=102.14 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 26250 0 0 0 10191 23 0 0 20 0 3 0 331685639 238788608 26131 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 58298 26131 204 433 0 57862 0
[pid=16639/tid=16641] ppid=16637 vsize=233192 CPUtime=51.07 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 18712 0 0 0 5096 11 0 0 20 0 3 0 331685640 238788608 26131 33554432000 4194304 5964478 140735878342592 140108125456184 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=233192 CPUtime=51.07 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 6774 0 0 0 5093 14 0 0 20 0 3 0 331685640 238788608 26131 33554432000 4194304 5964478 140735878342592 140108114966600 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 233192
[startup+102.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=26827176/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=237052 CPUtime=204.55 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 41539 0 0 0 20415 40 0 0 20 0 3 0 331685639 242741248 41409 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 59263 41409 204 433 0 58827 0
[pid=16639/tid=16641] ppid=16637 vsize=237052 CPUtime=102.28 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 28087 0 0 0 10206 22 0 0 20 0 3 0 331685640 242741248 41409 33554432000 4194304 5964478 140735878342592 140108125456184 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=237052 CPUtime=102.28 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 12688 0 0 0 10207 21 0 0 20 0 3 0 331685640 242741248 41409 33554432000 4194304 5964478 140735878342592 140108114966840 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.55
Current children cumulated vsize (KiB) 237052
[startup+162.3 s]
/proc/loadavg: 4.00 3.99 3.91 5/181 16642
/proc/meminfo: memFree=26500712/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=297380 CPUtime=324.51 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 52533 0 0 0 32401 50 0 0 20 0 3 0 331685639 304517120 50789 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 74345 50789 204 433 0 73909 0
[pid=16639/tid=16641] ppid=16637 vsize=297380 CPUtime=162.27 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 39015 0 0 0 16193 34 0 0 20 0 3 0 331685640 304517120 50789 33554432000 4194304 5964478 140735878342592 140108125457336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=297380 CPUtime=162.28 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 12754 0 0 0 16206 22 0 0 20 0 3 0 331685640 304517120 50789 33554432000 4194304 5964478 140735878342592 140108114966600 4393128 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 297380
[startup+222.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16645
/proc/meminfo: memFree=26336432/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=298216 CPUtime=444.51 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 55506 0 0 0 44398 53 0 0 20 0 3 0 331685639 305373184 53762 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 74554 53762 204 433 0 74118 0
[pid=16639/tid=16641] ppid=16637 vsize=298216 CPUtime=222.28 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 39267 0 0 0 22193 35 0 0 20 0 3 0 331685640 305373184 53762 33554432000 4194304 5964478 140735878342592 140108125457336 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=298216 CPUtime=222.28 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 15475 0 0 0 22203 25 0 0 20 0 3 0 331685640 305373184 53762 33554432000 4194304 5964478 140735878342592 140108114966888 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 298216
[startup+282.3 s]
/proc/loadavg: 4.05 4.00 3.91 5/180 16645
/proc/meminfo: memFree=26155924/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=298352 CPUtime=564.48 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 56399 0 0 0 56392 56 0 0 20 0 3 0 331685639 305512448 54655 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 74588 54655 204 433 0 74152 0
[pid=16639/tid=16641] ppid=16637 vsize=298352 CPUtime=282.27 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 39346 0 0 0 28191 36 0 0 20 0 3 0 331685640 305512448 54655 33554432000 4194304 5964478 140735878342592 140108125457336 4388300 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=298352 CPUtime=282.28 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 16289 0 0 0 28199 29 0 0 20 0 3 0 331685640 305512448 54655 33554432000 4194304 5964478 140735878342592 140108114966840 4392918 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 564.48
Current children cumulated vsize (KiB) 298352
[startup+342.3 s]
/proc/loadavg: 4.02 4.00 3.91 5/181 16646
/proc/meminfo: memFree=25965628/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=364292 CPUtime=684.43 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 65391 0 0 0 68369 74 0 0 20 0 3 0 331685639 373035008 63714 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 91073 63714 204 433 0 90637 0
[pid=16639/tid=16641] ppid=16637 vsize=364292 CPUtime=342.24 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 44355 0 0 0 34183 41 0 0 20 0 3 0 331685640 373035008 63714 33554432000 4194304 5964478 140735878342592 140108125456184 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=364292 CPUtime=342.28 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 20272 0 0 0 34184 44 0 0 20 0 3 0 331685640 373035008 63714 33554432000 4194304 5964478 140735878342592 140108114966600 4400422 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.43
Current children cumulated vsize (KiB) 364292
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/180 16646
/proc/meminfo: memFree=25764412/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=431544 CPUtime=804.36 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 79513 0 0 0 80345 91 0 0 20 0 3 0 331685639 441901056 78035 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 107886 78035 204 433 0 107450 0
[pid=16639/tid=16641] ppid=16637 vsize=431544 CPUtime=402.21 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 55713 0 0 0 40168 53 0 0 20 0 3 0 331685640 441901056 78035 33554432000 4194304 5964478 140735878342592 140108125456184 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=431544 CPUtime=402.27 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 23036 0 0 0 40175 52 0 0 20 0 3 0 331685640 441901056 78035 33554432000 4194304 5964478 140735878342592 140108114966840 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.36
Current children cumulated vsize (KiB) 431544
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 16647
/proc/meminfo: memFree=25635040/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=432212 CPUtime=924.3 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 82562 0 0 0 92336 94 0 0 20 0 3 0 331685639 442585088 81045 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 108053 81045 204 433 0 107617 0
[pid=16639/tid=16641] ppid=16637 vsize=432212 CPUtime=462.18 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 58583 0 0 0 46161 57 0 0 20 0 3 0 331685640 442585088 81045 33554432000 4194304 5964478 140735878342592 140108125456184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=432212 CPUtime=462.25 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 23215 0 0 0 46172 53 0 0 20 0 3 0 331685640 442585088 81045 33554432000 4194304 5964478 140735878342592 140108114966600 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.3
Current children cumulated vsize (KiB) 432212
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/181 16647
/proc/meminfo: memFree=25429932/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=497888 CPUtime=1044.28 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 92576 0 0 0 104324 104 0 0 20 0 3 0 331685639 509837312 92256 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 124472 92256 204 433 0 124036 0
[pid=16639/tid=16641] ppid=16637 vsize=497888 CPUtime=522.18 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 68575 0 0 0 52151 67 0 0 20 0 3 0 331685640 509837312 92256 33554432000 4194304 5964478 140735878342592 140108125456184 4400067 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=497888 CPUtime=522.26 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 23237 0 0 0 52173 53 0 0 20 0 3 0 331685640 509837312 92256 33554432000 4194304 5964478 140735878342592 140108114966600 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.28
Current children cumulated vsize (KiB) 497888
[startup+582.3 s]
/proc/loadavg: 4.07 4.02 3.92 5/181 16647
/proc/meminfo: memFree=25289220/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=498428 CPUtime=1164.27 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 98907 0 0 0 116309 118 0 0 20 0 3 0 331685639 510390272 98585 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 124607 98585 204 433 0 124171 0
[pid=16639/tid=16641] ppid=16637 vsize=498428 CPUtime=582.18 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 70952 0 0 0 58148 70 0 0 20 0 3 0 331685640 510390272 98585 33554432000 4194304 5964478 140735878342592 140108125456184 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=498428 CPUtime=582.26 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 27191 0 0 0 58161 65 0 0 20 0 3 0 331685640 510390272 98585 33554432000 4194304 5964478 140735878342592 140108114966840 4400401 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.27
Current children cumulated vsize (KiB) 498428
[startup+642.3 s]
/proc/loadavg: 4.02 4.01 3.92 5/181 16648
/proc/meminfo: memFree=25159792/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=498652 CPUtime=1284.25 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 105976 0 0 0 128299 126 0 0 20 0 3 0 331685639 510619648 105654 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 124663 105654 204 433 0 124227 0
[pid=16639/tid=16641] ppid=16637 vsize=498652 CPUtime=642.18 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 77986 0 0 0 64139 79 0 0 20 0 3 0 331685640 510619648 105654 33554432000 4194304 5964478 140735878342592 140108125456184 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=498652 CPUtime=642.26 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 27226 0 0 0 64160 66 0 0 20 0 3 0 331685640 510619648 105654 33554432000 4194304 5964478 140735878342592 140108114966600 4400056 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 498652
[startup+702.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 16648
/proc/meminfo: memFree=25033340/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=498652 CPUtime=1404.22 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 107939 0 0 0 140295 127 0 0 20 0 3 0 331685639 510619648 107614 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 124663 107614 204 433 0 124227 0
[pid=16639/tid=16641] ppid=16637 vsize=498652 CPUtime=702.18 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 79753 0 0 0 70137 81 0 0 20 0 3 0 331685640 510619648 107614 33554432000 4194304 5964478 140735878342592 140108125456376 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=498652 CPUtime=702.26 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 27422 0 0 0 70158 68 0 0 20 0 3 0 331685640 510619648 107614 33554432000 4194304 5964478 140735878342592 140108114966840 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.22
Current children cumulated vsize (KiB) 498652
[startup+762.3 s]
/proc/loadavg: 4.05 4.01 3.93 5/181 16648
/proc/meminfo: memFree=24839680/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=498968 CPUtime=1524.23 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 110484 0 0 0 152292 131 0 0 20 0 3 0 331685639 510943232 110152 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 124742 110152 204 433 0 124306 0
[pid=16639/tid=16641] ppid=16637 vsize=498968 CPUtime=762.18 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 82251 0 0 0 76133 85 0 0 20 0 3 0 331685640 510943232 110152 33554432000 4194304 5964478 140735878342592 140108125456248 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=498968 CPUtime=762.27 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 27469 0 0 0 76158 69 0 0 20 0 3 0 331685640 510943232 110152 33554432000 4194304 5964478 140735878342592 140108114966600 4403343 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.23
Current children cumulated vsize (KiB) 498968
[startup+822.3 s]
/proc/loadavg: 3.89 3.98 3.91 5/182 16692
/proc/meminfo: memFree=27258564/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=565376 CPUtime=1644.18 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 120998 0 0 0 164272 146 0 0 20 0 3 0 331685639 578945024 120886 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 141344 120886 204 433 0 140908 0
[pid=16639/tid=16641] ppid=16637 vsize=565376 CPUtime=822.16 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 88828 0 0 0 82121 95 0 0 20 0 3 0 331685640 578945024 120886 33554432000 4194304 5964478 140735878342592 140108125456184 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=565376 CPUtime=822.27 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 31406 0 0 0 82150 77 0 0 20 0 3 0 331685640 578945024 120886 33554432000 4194304 5964478 140735878342592 140108114966840 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 565376
[startup+882.307 s]
/proc/loadavg: 3.96 3.98 3.91 5/182 16715
/proc/meminfo: memFree=27203172/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=565376 CPUtime=1764.14 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 125174 0 0 0 176261 153 0 0 20 0 3 0 331685639 578945024 125670 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 141344 125670 204 433 0 140908 0
[pid=16639/tid=16641] ppid=16637 vsize=565376 CPUtime=882.14 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 91322 0 0 0 88114 100 0 0 20 0 3 0 331685640 578945024 125670 33554432000 4194304 5964478 140735878342592 140108125456376 4400432 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=565376 CPUtime=882.26 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 33088 0 0 0 88145 81 0 0 20 0 3 0 331685640 578945024 125670 33554432000 4194304 5964478 140735878342592 140108114966888 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.14
Current children cumulated vsize (KiB) 565376
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 3.97 3.98 3.91 5/182 16716
/proc/meminfo: memFree=27179456/32873844 swapFree=7628/7628
[pid=16639] ppid=16637 vsize=565376 CPUtime=1800.12 cores=1,3,5,7
/proc/16639/stat : 16639 (pwbo2.02) S 16637 16639 14598 0 -1 4202496 129591 0 0 0 179852 160 0 0 20 0 3 0 331685639 578945024 130141 33554432000 4194304 5964478 140735878342592 140735878342112 4546685 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16639/statm: 141344 130141 204 433 0 140908 0
[pid=16639/tid=16641] ppid=16637 vsize=565376 CPUtime=900.14 cores=1,3,5,7
/proc/16639/task/16641/stat : 16641 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 95729 0 0 0 89907 107 0 0 20 0 3 0 331685640 578945024 130142 33554432000 4194304 5964478 140735878342592 140108125456424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16639/tid=16642] ppid=16637 vsize=565376 CPUtime=900.25 cores=1,3,5,7
/proc/16639/task/16642/stat : 16642 (pwbo2.02) R 16637 16639 14598 0 -1 4202560 33099 0 0 0 89944 81 0 0 20 0 3 0 331685640 578945024 130142 33554432000 4194304 5964478 140735878342592 140108114966888 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 565376
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.321
CPU time (s): 1800.44
CPU user time (s): 1798.54
CPU system time (s): 1.89971
CPU usage (%): 199.978
Max. virtual memory (cumulated for all children) (KiB): 565376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.54
system time used= 1.89971
maximum resident set size= 520584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129596
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= 308
involuntary context switches= 1967
runsolver used 2.09068 second user time and 5.32419 second system time
The end