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-3500162-1307992041/watcher-3500162-1307992041 -o /var/tmp/evaluation-result-3500162-1307992041/solver-3500162-1307992041 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500162-1307992041.opb
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.92 3.97 3.68 4/179 19616
/proc/meminfo: memFree=10979172/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=2312 CPUtime=0 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) R 19614 19616 19040 0 -1 4202496 357 0 0 0 0 0 0 0 25 0 1 0 910803862 2367488 309 33554432000 4194304 5714118 140733417030944 18446744073709551615 4228496 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19616/statm: 578 309 167 372 0 184 0
[startup+0.0816479 s]
/proc/loadavg: 3.92 3.97 3.68 4/179 19616
/proc/meminfo: memFree=10979172/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=143908 CPUtime=0.14 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 4614 0 0 0 11 3 0 0 18 0 3 0 910803862 147361792 4474 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 35977 4474 181 372 0 35602 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 143908
[startup+0.100645 s]
/proc/loadavg: 3.92 3.97 3.68 4/179 19616
/proc/meminfo: memFree=10979172/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=143908 CPUtime=0.18 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 4671 0 0 0 15 3 0 0 18 0 3 0 910803862 147361792 4531 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 35977 4531 181 372 0 35602 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 143908
[startup+0.300566 s]
/proc/loadavg: 3.92 3.97 3.68 4/179 19616
/proc/meminfo: memFree=10979172/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=143908 CPUtime=0.58 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 4848 0 0 0 53 5 0 0 18 0 3 0 910803862 147361792 4708 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 35977 4708 181 372 0 35602 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 143908
[startup+0.700432 s]
/proc/loadavg: 3.92 3.97 3.68 4/179 19616
/proc/meminfo: memFree=10979172/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=143908 CPUtime=1.38 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 5446 0 0 0 131 7 0 0 18 0 3 0 910803862 147361792 5306 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 35977 5306 181 372 0 35602 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 143908
[startup+1.50029 s]
/proc/loadavg: 3.92 3.97 3.68 5/182 19619
/proc/meminfo: memFree=10953756/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=143908 CPUtime=2.98 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 6218 0 0 0 287 11 0 0 18 0 3 0 910803862 147361792 6078 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 35977 6078 181 372 0 35602 0
[pid=19616/tid=19618] ppid=19614 vsize=143908 CPUtime=1.48 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 1653 0 0 0 145 3 0 0 20 0 3 0 910803862 147361792 6078 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=143908 CPUtime=1.48 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 4119 0 0 0 141 7 0 0 20 0 3 0 910803862 147361792 6078 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 143908
[startup+3.10107 s]
/proc/loadavg: 3.92 3.97 3.68 5/182 19620
/proc/meminfo: memFree=10946564/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=144052 CPUtime=6.18 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 7713 0 0 0 600 18 0 0 18 0 3 0 910803862 147509248 7573 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 36013 7573 181 372 0 35638 0
[pid=19616/tid=19618] ppid=19614 vsize=144052 CPUtime=3.08 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 2674 0 0 0 303 5 0 0 25 0 3 0 910803862 147509248 7573 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319398 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=144052 CPUtime=3.08 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 4593 0 0 0 295 13 0 0 25 0 3 0 910803862 147509248 7573 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 144052
[startup+6.30051 s]
/proc/loadavg: 3.92 3.97 3.68 5/182 19620
/proc/meminfo: memFree=10928108/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=144052 CPUtime=12.58 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 10242 0 0 0 1228 30 0 0 18 0 3 0 910803862 147509248 10102 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 36013 10102 182 372 0 35638 0
[pid=19616/tid=19618] ppid=19614 vsize=144052 CPUtime=6.28 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 4294 0 0 0 619 9 0 0 25 0 3 0 910803862 147509248 10102 33554432000 4194304 5714118 140733417030944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=144052 CPUtime=6.28 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 5502 0 0 0 607 21 0 0 25 0 3 0 910803862 147509248 10102 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 144052
[startup+12.7004 s]
/proc/loadavg: 3.93 3.97 3.68 5/182 19620
/proc/meminfo: memFree=10905504/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=143908 CPUtime=25.38 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 13711 0 0 0 2487 51 0 0 18 0 3 0 910803862 147361792 13536 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 35977 13536 182 372 0 35602 0
[pid=19616/tid=19618] ppid=19614 vsize=143908 CPUtime=12.68 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 5566 0 0 0 1250 18 0 0 25 0 3 0 910803862 147361792 13536 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=143908 CPUtime=12.68 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 7699 0 0 0 1235 33 0 0 25 0 3 0 910803862 147361792 13536 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 143908
[startup+25.5011 s]
/proc/loadavg: 3.94 3.97 3.69 5/182 19620
/proc/meminfo: memFree=10890492/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=144260 CPUtime=50.98 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 15597 0 0 0 5011 87 0 0 18 0 3 0 910803862 147722240 15422 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 36065 15422 182 372 0 35690 0
[pid=19616/tid=19618] ppid=19614 vsize=144260 CPUtime=25.49 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 5586 0 0 0 2515 34 0 0 25 0 3 0 910803862 147722240 15422 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 0 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=144260 CPUtime=25.48 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 9565 0 0 0 2495 53 0 0 25 0 3 0 910803862 147722240 15422 33554432000 4194304 5714118 140733417030944 18446744073709551615 5078183 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 144260
[startup+51.1006 s]
/proc/loadavg: 3.96 3.97 3.69 5/182 19621
/proc/meminfo: memFree=10772024/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=211052 CPUtime=102.18 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 40316 0 0 0 10056 162 0 0 18 0 3 0 910803862 216117248 40141 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 52763 40141 182 372 0 52388 0
[pid=19616/tid=19618] ppid=19614 vsize=211052 CPUtime=51.08 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 14870 0 0 0 5026 82 0 0 25 0 3 0 910803862 216117248 40141 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=211052 CPUtime=51.08 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 25000 0 0 0 5029 79 0 0 25 0 3 0 910803862 216117248 40141 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 211052
[startup+102.307 s]
/proc/loadavg: 3.98 3.97 3.71 5/182 19622
/proc/meminfo: memFree=10645280/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=342784 CPUtime=204.59 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 64693 0 0 0 20169 290 0 0 18 0 3 0 910803862 351010816 64461 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 85696 64461 182 372 0 85321 0
[pid=19616/tid=19618] ppid=19614 vsize=342784 CPUtime=102.29 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 25643 0 0 0 10057 172 0 0 25 0 3 0 910803862 351010816 64461 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=342784 CPUtime=102.28 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 38604 0 0 0 10111 117 0 0 25 0 3 0 910803862 351010816 64461 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 342784
[startup+162.301 s]
/proc/loadavg: 3.99 3.97 3.73 5/182 19624
/proc/meminfo: memFree=10570972/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=343536 CPUtime=324.59 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 69110 0 0 0 32037 422 0 0 18 0 3 0 910803862 351780864 68878 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 85884 68878 182 372 0 85509 0
[pid=19616/tid=19618] ppid=19614 vsize=343536 CPUtime=162.28 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 29867 0 0 0 15954 274 0 0 25 0 3 0 910803862 351780864 68878 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=343536 CPUtime=162.29 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 38797 0 0 0 16082 147 0 0 25 0 3 0 910803862 351780864 68878 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 343536
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.74 5/182 19625
/proc/meminfo: memFree=10477320/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=409660 CPUtime=444.58 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 85432 0 0 0 43918 540 0 0 18 0 3 0 910803862 419491840 85200 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 102415 85200 182 372 0 102040 0
[pid=19616/tid=19618] ppid=19614 vsize=409660 CPUtime=222.28 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 46071 0 0 0 21856 372 0 0 25 0 3 0 910803862 419491840 85200 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=409660 CPUtime=222.28 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 38915 0 0 0 22060 168 0 0 25 0 3 0 910803862 419491840 85200 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.58
Current children cumulated vsize (KiB) 409660
[startup+282.301 s]
/proc/loadavg: 3.99 3.97 3.75 5/182 19627
/proc/meminfo: memFree=10361832/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=475592 CPUtime=564.59 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 102333 0 0 0 55819 640 0 0 18 0 3 0 910803862 487006208 102101 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 118898 102101 182 372 0 118523 0
[pid=19616/tid=19618] ppid=19614 vsize=475592 CPUtime=282.29 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 62859 0 0 0 27781 448 0 0 25 0 3 0 910803862 487006208 102101 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319386 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=475592 CPUtime=282.29 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 39028 0 0 0 28037 192 0 0 25 0 3 0 910803862 487006208 102101 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 564.59
Current children cumulated vsize (KiB) 475592
[startup+342.301 s]
/proc/loadavg: 3.99 3.97 3.76 5/182 19629
/proc/meminfo: memFree=10239540/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=542804 CPUtime=684.59 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 122733 0 0 0 67722 737 0 0 18 0 3 0 910803862 555831296 122501 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 135701 122501 182 372 0 135326 0
[pid=19616/tid=19618] ppid=19614 vsize=542804 CPUtime=342.29 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 74187 0 0 0 33703 526 0 0 25 0 3 0 910803862 555831296 122501 33554432000 4194304 5714118 140733417030944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=542804 CPUtime=342.29 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 48100 0 0 0 34018 211 0 0 25 0 3 0 910803862 555831296 122501 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 542804
[startup+402.301 s]
/proc/loadavg: 3.99 3.97 3.77 5/182 19630
/proc/meminfo: memFree=10151832/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=608512 CPUtime=804.59 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 136390 0 0 0 79635 824 0 0 18 0 3 0 910803862 623116288 136158 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 152128 136158 182 372 0 151753 0
[pid=19616/tid=19618] ppid=19614 vsize=608512 CPUtime=402.29 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 87758 0 0 0 39632 597 0 0 25 0 3 0 910803862 623116288 136158 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319723 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=608512 CPUtime=402.28 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 48186 0 0 0 40002 226 0 0 25 0 3 0 910803862 623116288 136158 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 608512
[startup+462.301 s]
/proc/loadavg: 3.99 3.97 3.79 5/182 19632
/proc/meminfo: memFree=10040704/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=739772 CPUtime=924.59 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 151892 0 0 0 91558 901 0 0 18 0 3 0 910803862 757526528 151660 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 184943 151660 182 372 0 184568 0
[pid=19616/tid=19618] ppid=19614 vsize=739772 CPUtime=462.29 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 97635 0 0 0 45577 652 0 0 25 0 3 0 910803862 757526528 151660 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=739772 CPUtime=462.28 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 53811 0 0 0 45980 248 0 0 25 0 3 0 910803862 757526528 151660 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.59
Current children cumulated vsize (KiB) 739772
[startup+522.3 s]
/proc/loadavg: 3.99 3.97 3.80 5/182 19633
/proc/meminfo: memFree=9951508/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=740072 CPUtime=1044.59 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 163659 0 0 0 103488 971 0 0 18 0 3 0 910803862 757833728 163427 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 185018 163427 182 372 0 184643 0
[pid=19616/tid=19618] ppid=19614 vsize=740072 CPUtime=522.29 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 109326 0 0 0 51524 705 0 0 25 0 3 0 910803862 757833728 163427 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=740072 CPUtime=522.28 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 53887 0 0 0 51963 265 0 0 25 0 3 0 910803862 757833728 163427 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.59
Current children cumulated vsize (KiB) 740072
[startup+582.301 s]
/proc/loadavg: 3.99 3.97 3.81 5/182 19635
/proc/meminfo: memFree=9902880/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=740496 CPUtime=1164.6 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 167297 0 0 0 115430 1030 0 0 18 0 3 0 910803862 758267904 167063 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 185124 167063 182 372 0 184749 0
[pid=19616/tid=19618] ppid=19614 vsize=740496 CPUtime=582.3 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 112840 0 0 0 57479 751 0 0 25 0 3 0 910803862 758267904 167063 33554432000 4194304 5714118 140733417030944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=740496 CPUtime=582.29 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 54011 0 0 0 57951 278 0 0 25 0 3 0 910803862 758267904 167063 33554432000 4194304 5714118 140733417030944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 740496
[startup+642.301 s]
/proc/loadavg: 3.99 3.97 3.82 5/182 19637
/proc/meminfo: memFree=9841096/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=806032 CPUtime=1284.62 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 174184 0 0 0 127342 1120 0 0 18 0 3 0 910803862 825376768 173950 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 201508 173950 182 372 0 201133 0
[pid=19616/tid=19618] ppid=19614 vsize=806032 CPUtime=642.3 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 119722 0 0 0 63405 825 0 0 25 0 3 0 910803862 825376768 173950 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=806032 CPUtime=642.3 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 54016 0 0 0 63936 294 0 0 25 0 3 0 910803862 825376768 173950 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 806032
[startup+702.301 s]
/proc/loadavg: 3.99 3.97 3.83 5/182 19638
/proc/meminfo: memFree=9745096/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=871568 CPUtime=1404.61 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 188023 0 0 0 139248 1213 0 0 18 0 3 0 910803862 892485632 187789 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 217892 187789 182 372 0 217517 0
[pid=19616/tid=19618] ppid=19614 vsize=871568 CPUtime=702.29 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 130846 0 0 0 69330 899 0 0 25 0 3 0 910803862 892485632 187789 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=871568 CPUtime=702.3 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 56731 0 0 0 69917 313 0 0 25 0 3 0 910803862 892485632 187789 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 871568
[startup+762.307 s]
/proc/loadavg: 3.99 3.97 3.83 5/182 19640
/proc/meminfo: memFree=9666056/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=871568 CPUtime=1524.62 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 201023 0 0 0 151162 1300 0 0 18 0 3 0 910803862 892485632 200789 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 217892 200789 182 372 0 217517 0
[pid=19616/tid=19618] ppid=19614 vsize=871568 CPUtime=762.31 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 143823 0 0 0 75255 976 0 0 25 0 3 0 910803862 892485632 200789 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=871568 CPUtime=762.3 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 56754 0 0 0 75906 324 0 0 25 0 3 0 910803862 892485632 200789 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 871568
[startup+822.3 s]
/proc/loadavg: 3.99 3.97 3.84 5/182 19641
/proc/meminfo: memFree=9599312/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=937104 CPUtime=1644.61 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 210262 0 0 0 163081 1380 0 0 18 0 3 0 910803862 959594496 210028 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 234276 210028 182 372 0 233901 0
[pid=19616/tid=19618] ppid=19614 vsize=937104 CPUtime=822.3 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 153056 0 0 0 81183 1047 0 0 25 0 3 0 910803862 959594496 210028 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=937104 CPUtime=822.3 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 56760 0 0 0 81897 333 0 0 25 0 3 0 910803862 959594496 210028 33554432000 4194304 5714118 140733417030944 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 937104
[startup+882.301 s]
/proc/loadavg: 3.88 3.94 3.83 5/182 19724
/proc/meminfo: memFree=10037408/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=1003364 CPUtime=1764.61 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 223872 0 0 0 174983 1478 0 0 18 0 3 0 910803862 1027444736 223638 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 250841 223638 182 372 0 250466 0
[pid=19616/tid=19618] ppid=19614 vsize=1003364 CPUtime=882.3 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 166527 0 0 0 87098 1132 0 0 25 0 3 0 910803862 1027444736 223638 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=1003364 CPUtime=882.3 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 56899 0 0 0 87884 346 0 0 25 0 3 0 910803862 1027444736 223638 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 1003364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 3.91 3.94 3.83 5/182 19724
/proc/meminfo: memFree=9998004/32950928 swapFree=67055156/67111528
[pid=19616] ppid=19614 vsize=1003364 CPUtime=1800.02 cores=0,2,4,6
/proc/19616/stat : 19616 (pwbo1.1) S 19614 19616 19040 0 -1 4202496 228676 0 0 0 178507 1495 0 0 18 0 3 0 910803862 1027444736 228442 33554432000 4194304 5714118 140733417030944 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0
/proc/19616/statm: 250841 228442 182 372 0 250466 0
[pid=19616/tid=19618] ppid=19614 vsize=1003364 CPUtime=900.01 cores=0,2,4,6
/proc/19616/task/19618/stat : 19618 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 171331 0 0 0 88856 1145 0 0 25 0 3 0 910803862 1027444736 228442 33554432000 4194304 5714118 140733417030944 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=19616/tid=19619] ppid=19614 vsize=1003364 CPUtime=900.01 cores=0,2,4,6
/proc/19616/task/19619/stat : 19619 (pwbo1.1) R 19614 19616 19040 0 -1 4202560 56899 0 0 0 89651 350 0 0 25 0 3 0 910803862 1027444736 228442 33554432000 4194304 5714118 140733417030944 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1003364
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.048
CPU time (s): 1800.08
CPU user time (s): 1785.09
CPU system time (s): 14.9927
CPU usage (%): 199.998
Max. virtual memory (cumulated for all children) (KiB): 1003364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.09
system time used= 14.9927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228681
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= 228
involuntary context switches= 3147
runsolver used 1.43478 second user time and 3.19251 second system time
The end