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-3500466-1307995857/watcher-3500466-1307995857 -o /tmp/evaluation-result-3500466-1307995857/solver-3500466-1307995857 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500466-1307995857.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.14 3.76 3.85 4/179 15431
/proc/meminfo: memFree=31972628/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=134752 CPUtime=0 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 367 0 0 0 0 0 0 0 23 0 3 0 911188495 137986048 318 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33688 318 181 372 0 33313 0
[pid=15431/tid=15432] ppid=15429 vsize=134752 CPUtime=0 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 34 0 0 0 0 0 0 0 24 0 3 0 911188496 137986048 318 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=134752 CPUtime=0 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 3 0 911188496 137986048 318 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.0509689 s]
/proc/loadavg: 3.14 3.76 3.85 4/179 15431
/proc/meminfo: memFree=31972628/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=134752 CPUtime=0.08 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 597 0 0 0 8 0 0 0 23 0 3 0 911188495 137986048 548 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33688 548 181 372 0 33313 0
[pid=15431/tid=15432] ppid=15429 vsize=134752 CPUtime=0.04 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 176 0 0 0 4 0 0 0 25 0 3 0 911188496 137986048 548 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=134752 CPUtime=0.04 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 98 0 0 0 4 0 0 0 25 0 3 0 911188496 137986048 548 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 134752
[startup+0.100961 s]
/proc/loadavg: 3.14 3.76 3.85 4/179 15431
/proc/meminfo: memFree=31972628/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=134752 CPUtime=0.19 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 813 0 0 0 18 1 0 0 23 0 3 0 911188495 137986048 764 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33688 764 181 372 0 33313 0
[pid=15431/tid=15432] ppid=15429 vsize=134752 CPUtime=0.08 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 307 0 0 0 8 0 0 0 25 0 3 0 911188496 137986048 764 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=134752 CPUtime=0.09 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 183 0 0 0 9 0 0 0 25 0 3 0 911188496 137986048 764 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 134752
[startup+0.300937 s]
/proc/loadavg: 3.14 3.76 3.85 4/179 15431
/proc/meminfo: memFree=31972628/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=134752 CPUtime=0.58 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 1404 0 0 0 56 2 0 0 23 0 3 0 911188495 137986048 1355 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33688 1355 181 372 0 33313 0
[pid=15431/tid=15432] ppid=15429 vsize=134752 CPUtime=0.29 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 675 0 0 0 27 2 0 0 25 0 3 0 911188496 137986048 1355 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=134752 CPUtime=0.28 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 406 0 0 0 28 0 0 0 25 0 3 0 911188496 137986048 1356 33554432000 4194304 5714118 140733891527584 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 134752
[startup+0.700853 s]
/proc/loadavg: 3.14 3.76 3.85 4/179 15431
/proc/meminfo: memFree=31972628/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=135040 CPUtime=1.39 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 1908 0 0 0 134 5 0 0 23 0 3 0 911188495 138280960 1859 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33760 1859 181 372 0 33385 0
[pid=15431/tid=15432] ppid=15429 vsize=135040 CPUtime=0.69 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 1029 0 0 0 66 3 0 0 25 0 3 0 911188496 138280960 1859 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=135040 CPUtime=0.68 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 556 0 0 0 67 1 0 0 25 0 3 0 911188496 138280960 1859 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135040
[startup+1.50071 s]
/proc/loadavg: 3.21 3.76 3.85 5/182 15434
/proc/meminfo: memFree=31964448/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=135040 CPUtime=2.99 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 2544 0 0 0 290 9 0 0 23 0 3 0 911188495 138280960 2495 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33760 2495 182 372 0 33385 0
[pid=15431/tid=15432] ppid=15429 vsize=135040 CPUtime=1.49 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 1523 0 0 0 144 5 0 0 25 0 3 0 911188496 138280960 2495 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=135040 CPUtime=1.49 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 698 0 0 0 146 3 0 0 25 0 3 0 911188496 138280960 2495 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135040
[startup+3.10044 s]
/proc/loadavg: 3.21 3.76 3.85 5/182 15434
/proc/meminfo: memFree=31959240/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=135112 CPUtime=6.19 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 3610 0 0 0 604 15 0 0 23 0 3 0 911188495 138354688 3561 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33778 3561 182 372 0 33403 0
[pid=15431/tid=15432] ppid=15429 vsize=135112 CPUtime=3.09 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 2412 0 0 0 300 9 0 0 25 0 3 0 911188496 138354688 3561 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=135112 CPUtime=3.09 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 875 0 0 0 303 6 0 0 25 0 3 0 911188496 138354688 3561 33554432000 4194304 5714118 140733891527584 18446744073709551615 4300224 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 135112
[startup+6.30087 s]
/proc/loadavg: 3.27 3.77 3.85 5/182 15434
/proc/meminfo: memFree=31948920/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=135760 CPUtime=12.59 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 5120 0 0 0 1234 25 0 0 23 0 3 0 911188495 139018240 5071 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 33940 5071 182 372 0 33565 0
[pid=15431/tid=15432] ppid=15429 vsize=135760 CPUtime=6.29 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3771 0 0 0 615 14 0 0 25 0 3 0 911188496 139018240 5071 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=135760 CPUtime=6.29 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 1026 0 0 0 619 10 0 0 25 0 3 0 911188496 139018240 5071 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 135760
[startup+12.7007 s]
/proc/loadavg: 3.33 3.77 3.85 5/182 15434
/proc/meminfo: memFree=31930940/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=136624 CPUtime=25.39 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 8019 0 0 0 2489 50 0 0 23 0 3 0 911188495 139902976 7970 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 34156 7970 182 372 0 33781 0
[pid=15431/tid=15432] ppid=15429 vsize=136624 CPUtime=12.69 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 6394 0 0 0 1241 28 0 0 25 0 3 0 911188496 139902976 7970 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=136624 CPUtime=12.69 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 1302 0 0 0 1248 21 0 0 25 0 3 0 911188496 139902976 7970 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 136624
[startup+25.5005 s]
/proc/loadavg: 3.48 3.78 3.85 5/182 15434
/proc/meminfo: memFree=31900796/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=138712 CPUtime=50.99 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 12745 0 0 0 5008 91 0 0 23 0 3 0 911188495 142041088 12696 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 34678 12696 182 372 0 34303 0
[pid=15431/tid=15432] ppid=15429 vsize=138712 CPUtime=25.49 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 10871 0 0 0 2501 48 0 0 25 0 3 0 911188496 142041088 12696 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=138712 CPUtime=25.49 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 1551 0 0 0 2507 42 0 0 25 0 3 0 911188496 142041088 12696 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 138712
[startup+51.1009 s]
/proc/loadavg: 3.66 3.80 3.85 5/182 15435
/proc/meminfo: memFree=31845416/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=206120 CPUtime=102.18 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 20962 0 0 0 10025 193 0 0 23 0 3 0 911188495 211066880 20913 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 51530 20913 182 372 0 51155 0
[pid=15431/tid=15432] ppid=15429 vsize=206120 CPUtime=51.09 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 18796 0 0 0 5012 97 0 0 25 0 3 0 911188496 211066880 20913 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=206120 CPUtime=51.09 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 1843 0 0 0 5013 96 0 0 25 0 3 0 911188496 211066880 20913 33554432000 4194304 5714118 140733891527584 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 206120
[startup+102.307 s]
/proc/loadavg: 3.85 3.83 3.86 5/182 15436
/proc/meminfo: memFree=31750392/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=209396 CPUtime=204.61 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 35994 0 0 0 20120 341 0 0 23 0 3 0 911188495 214421504 35945 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 52349 35945 182 372 0 51974 0
[pid=15431/tid=15432] ppid=15429 vsize=209396 CPUtime=102.3 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 33350 0 0 0 10057 173 0 0 25 0 3 0 911188496 214421504 35945 33554432000 4194304 5714118 140733891527584 18446744073709551615 4300239 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=209396 CPUtime=102.29 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 2321 0 0 0 10062 167 0 0 25 0 3 0 911188496 214421504 35945 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 209396
[startup+162.3 s]
/proc/loadavg: 3.95 3.86 3.86 5/182 15518
/proc/meminfo: memFree=31766484/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=277668 CPUtime=324.59 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 51336 0 0 0 31981 478 0 0 23 0 3 0 911188495 284332032 51287 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 69417 51287 182 372 0 69042 0
[pid=15431/tid=15432] ppid=15429 vsize=277668 CPUtime=162.29 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 48318 0 0 0 15985 244 0 0 25 0 3 0 911188496 284332032 51287 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=277668 CPUtime=162.29 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 2695 0 0 0 15996 233 0 0 25 0 3 0 911188496 284332032 51287 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 277668
[startup+222.301 s]
/proc/loadavg: 3.98 3.88 3.87 5/182 15520
/proc/meminfo: memFree=31694400/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=345072 CPUtime=444.59 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 65410 0 0 0 43836 623 0 0 23 0 3 0 911188495 353353728 65361 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 86268 65361 182 372 0 85893 0
[pid=15431/tid=15432] ppid=15429 vsize=345072 CPUtime=222.3 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 62268 0 0 0 21912 318 0 0 25 0 3 0 911188496 353353728 65361 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=345072 CPUtime=222.29 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 2819 0 0 0 21924 305 0 0 25 0 3 0 911188496 353353728 65361 33554432000 4194304 5714118 140733891527584 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 345072
[startup+282.301 s]
/proc/loadavg: 3.99 3.90 3.87 5/182 15521
/proc/meminfo: memFree=31630332/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=412156 CPUtime=564.6 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 78927 0 0 0 55698 762 0 0 23 0 3 0 911188495 422047744 78878 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 103039 78878 182 372 0 102664 0
[pid=15431/tid=15432] ppid=15429 vsize=412156 CPUtime=282.3 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 75606 0 0 0 27837 393 0 0 25 0 3 0 911188496 422047744 78878 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=412156 CPUtime=282.3 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 2998 0 0 0 27861 369 0 0 25 0 3 0 911188496 422047744 78878 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 412156
[startup+342.3 s]
/proc/loadavg: 3.99 3.91 3.88 5/182 15523
/proc/meminfo: memFree=31566796/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=478592 CPUtime=684.6 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 92078 0 0 0 67557 903 0 0 23 0 3 0 911188495 490078208 92029 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 119648 92029 182 372 0 119273 0
[pid=15431/tid=15432] ppid=15429 vsize=478592 CPUtime=342.29 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 88580 0 0 0 33764 465 0 0 25 0 3 0 911188496 490078208 92029 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=478592 CPUtime=342.29 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3175 0 0 0 33792 437 0 0 25 0 3 0 911188496 490078208 92029 33554432000 4194304 5714118 140733891527584 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 478592
[startup+402.301 s]
/proc/loadavg: 3.99 3.93 3.88 5/182 15524
/proc/meminfo: memFree=31501268/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=544668 CPUtime=804.6 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 105039 0 0 0 79432 1028 0 0 23 0 3 0 911188495 557740032 104990 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 136167 104990 182 372 0 135792 0
[pid=15431/tid=15432] ppid=15429 vsize=544668 CPUtime=402.3 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 101494 0 0 0 39701 529 0 0 25 0 3 0 911188496 557740032 104990 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=544668 CPUtime=402.3 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3222 0 0 0 39731 499 0 0 25 0 3 0 911188496 557740032 104990 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 544668
[startup+462.301 s]
/proc/loadavg: 3.99 3.94 3.89 5/182 15526
/proc/meminfo: memFree=31443172/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=545244 CPUtime=924.61 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 117276 0 0 0 91302 1159 0 0 23 0 3 0 911188495 558329856 117227 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 136311 117227 182 372 0 135936 0
[pid=15431/tid=15432] ppid=15429 vsize=545244 CPUtime=462.3 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 113677 0 0 0 45634 596 0 0 25 0 3 0 911188496 558329856 117227 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=545244 CPUtime=462.3 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3276 0 0 0 45667 563 0 0 25 0 3 0 911188496 558329856 117227 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 545244
[startup+522.3 s]
/proc/loadavg: 3.99 3.95 3.90 5/182 15528
/proc/meminfo: memFree=31384820/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=611068 CPUtime=1044.61 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 129712 0 0 0 103167 1294 0 0 23 0 3 0 911188495 625733632 129663 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 152767 129663 182 372 0 152392 0
[pid=15431/tid=15432] ppid=15429 vsize=611068 CPUtime=522.3 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 125970 0 0 0 51562 668 0 0 25 0 3 0 911188496 625733632 129663 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=611068 CPUtime=522.3 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3419 0 0 0 51604 626 0 0 25 0 3 0 911188496 625733632 129663 33554432000 4194304 5714118 140733891527584 18446744073709551615 4299904 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.61
Current children cumulated vsize (KiB) 611068
[startup+582.301 s]
/proc/loadavg: 3.99 3.95 3.90 5/182 15529
/proc/meminfo: memFree=31325096/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=677952 CPUtime=1164.61 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 141476 0 0 0 115043 1418 0 0 23 0 3 0 911188495 694222848 141427 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 169488 141427 182 372 0 169113 0
[pid=15431/tid=15432] ppid=15429 vsize=677952 CPUtime=582.3 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 137520 0 0 0 57497 733 0 0 25 0 3 0 911188496 694222848 141427 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=677952 CPUtime=582.3 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3633 0 0 0 57545 685 0 0 25 0 3 0 911188496 694222848 141427 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 677952
[startup+642.301 s]
/proc/loadavg: 3.99 3.96 3.91 5/182 15531
/proc/meminfo: memFree=31272208/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=678792 CPUtime=1284.63 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 152404 0 0 0 126925 1538 0 0 23 0 3 0 911188495 695083008 152355 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 169698 152355 182 372 0 169323 0
[pid=15431/tid=15432] ppid=15429 vsize=678792 CPUtime=642.31 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 148408 0 0 0 63437 794 0 0 25 0 3 0 911188496 695083008 152355 33554432000 4194304 5714118 140733891527584 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=678792 CPUtime=642.31 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3673 0 0 0 63488 743 0 0 25 0 3 0 911188496 695083008 152355 33554432000 4194304 5714118 140733891527584 18446744073709551615 4319218 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.63
Current children cumulated vsize (KiB) 678792
[startup+702.3 s]
/proc/loadavg: 4.06 3.98 3.91 5/182 15532
/proc/meminfo: memFree=31217564/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=745136 CPUtime=1404.62 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 163198 0 0 0 138802 1660 0 0 23 0 3 0 911188495 763019264 163149 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 186284 163149 182 372 0 185909 0
[pid=15431/tid=15432] ppid=15429 vsize=745136 CPUtime=702.31 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 159099 0 0 0 69373 858 0 0 25 0 3 0 911188496 763019264 163149 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=745136 CPUtime=702.3 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3776 0 0 0 69429 801 0 0 25 0 3 0 911188496 763019264 163149 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.62
Current children cumulated vsize (KiB) 745136
[startup+762.307 s]
/proc/loadavg: 4.02 3.98 3.91 5/182 15534
/proc/meminfo: memFree=31165924/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=811192 CPUtime=1524.64 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 173859 0 0 0 150681 1783 0 0 23 0 3 0 911188495 830660608 173810 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 202798 173810 182 372 0 202423 0
[pid=15431/tid=15432] ppid=15429 vsize=811192 CPUtime=762.32 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 169733 0 0 0 75314 918 0 0 25 0 3 0 911188496 830660608 173810 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=811192 CPUtime=762.32 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3803 0 0 0 75367 865 0 0 25 0 3 0 911188496 830660608 173810 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.64
Current children cumulated vsize (KiB) 811192
[startup+822.301 s]
/proc/loadavg: 4.01 3.98 3.91 5/182 15536
/proc/meminfo: memFree=31114268/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=811352 CPUtime=1644.63 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 184463 0 0 0 162558 1905 0 0 23 0 3 0 911188495 830824448 184414 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 202838 184414 182 372 0 202463 0
[pid=15431/tid=15432] ppid=15429 vsize=811352 CPUtime=822.31 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 180277 0 0 0 81251 980 0 0 25 0 3 0 911188496 830824448 184414 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=811352 CPUtime=822.31 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 3863 0 0 0 81307 924 0 0 25 0 3 0 911188496 830824448 184414 33554432000 4194304 5714118 140733891527584 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.63
Current children cumulated vsize (KiB) 811352
[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15537
/proc/meminfo: memFree=31061372/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=877532 CPUtime=1764.63 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 195321 0 0 0 174429 2034 0 0 23 0 3 0 911188495 898592768 195267 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 219383 195267 182 372 0 219008 0
[pid=15431/tid=15432] ppid=15429 vsize=877532 CPUtime=882.31 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 190968 0 0 0 87179 1052 0 0 25 0 3 0 911188496 898592768 195267 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=877532 CPUtime=882.3 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 4030 0 0 0 87249 981 0 0 25 0 3 0 911188496 898592768 195267 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.63
Current children cumulated vsize (KiB) 877532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.00 3.98 3.91 5/182 15538
/proc/meminfo: memFree=31044236/32951124 swapFree=67050044/67111528
[pid=15431] ppid=15429 vsize=877764 CPUtime=1800.04 cores=1,3,5,7
/proc/15431/stat : 15431 (pwbo1.1) S 15429 15431 14247 0 -1 4202496 198846 0 0 0 177936 2068 0 0 23 0 3 0 911188495 898830336 198792 33554432000 4194304 5714118 140733891527584 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/15431/statm: 219441 198792 182 372 0 219066 0
[pid=15431/tid=15432] ppid=15429 vsize=877764 CPUtime=900.02 cores=1,3,5,7
/proc/15431/task/15432/stat : 15432 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 194479 0 0 0 88931 1071 0 0 25 0 3 0 911188496 898830336 198792 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
[pid=15431/tid=15433] ppid=15429 vsize=877764 CPUtime=900.02 cores=1,3,5,7
/proc/15431/task/15433/stat : 15433 (pwbo1.1) R 15429 15431 14247 0 -1 4202560 4044 0 0 0 89005 997 0 0 25 0 3 0 911188496 898830336 198792 33554432000 4194304 5714118 140733891527584 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 877764
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.09
CPU user time (s): 1779.38
CPU system time (s): 20.7129
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 877764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.38
system time used= 20.7129
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198851
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= 16
involuntary context switches= 2092
runsolver used 1.42778 second user time and 3.06853 second system time
The end