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-3500045-1307989254/watcher-3500045-1307989254 -o /var/tmp/evaluation-result-3500045-1307989254/solver-3500045-1307989254 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500045-1307989254.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: 1.86 1.98 1.94 2/174 24689
/proc/meminfo: memFree=15153952/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=70136 CPUtime=0 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 640 0 0 0 0 0 0 0 21 0 3 0 891340724 71819264 578 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 17534 580 175 372 0 17159 0
[pid=24689/tid=24690] ppid=24687 vsize=70136 CPUtime=0 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 77 0 0 0 0 0 0 0 23 0 3 0 891340724 71819264 583 33554432000 4194304 5714118 140734926394960 18446744073709551615 4970378 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=70136 CPUtime=0 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 3 0 891340724 71819264 586 33554432000 4194304 5714118 140734926394960 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 2 0 0 0
[startup+0.045966 s]
/proc/loadavg: 1.86 1.98 1.94 2/174 24689
/proc/meminfo: memFree=15153952/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141428 CPUtime=0.07 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 3453 0 0 0 5 2 0 0 21 0 3 0 891340724 144822272 3373 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35357 3373 181 372 0 34982 0
[pid=24689/tid=24690] ppid=24687 vsize=141428 CPUtime=0.03 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 366 0 0 0 3 0 0 0 18 0 3 0 891340724 144822272 3373 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141428 CPUtime=0.02 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 2519 0 0 0 1 1 0 0 24 0 3 0 891340724 144822272 3373 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 141428
[startup+0.100967 s]
/proc/loadavg: 1.86 1.98 1.94 2/174 24689
/proc/meminfo: memFree=15153952/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141428 CPUtime=0.18 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 3528 0 0 0 16 2 0 0 21 0 3 0 891340724 144822272 3448 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35357 3448 181 372 0 34982 0
[pid=24689/tid=24690] ppid=24687 vsize=141428 CPUtime=0.08 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 402 0 0 0 8 0 0 0 18 0 3 0 891340724 144822272 3448 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141428 CPUtime=0.09 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 2558 0 0 0 7 2 0 0 24 0 3 0 891340724 144822272 3448 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319437 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 141428
[startup+0.300926 s]
/proc/loadavg: 1.86 1.98 1.94 2/174 24689
/proc/meminfo: memFree=15153952/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141592 CPUtime=0.58 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 3802 0 0 0 55 3 0 0 21 0 3 0 891340724 144990208 3722 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35398 3722 181 372 0 35023 0
[pid=24689/tid=24690] ppid=24687 vsize=141592 CPUtime=0.28 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 644 0 0 0 27 1 0 0 18 0 3 0 891340724 144990208 3722 33554432000 4194304 5714118 140734926394960 18446744073709551615 4956355 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141592 CPUtime=0.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 2590 0 0 0 27 2 0 0 25 0 3 0 891340724 144990208 3722 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 141592
[startup+0.700848 s]
/proc/loadavg: 1.86 1.98 1.94 2/174 24689
/proc/meminfo: memFree=15153952/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141592 CPUtime=1.38 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 3899 0 0 0 134 4 0 0 21 0 3 0 891340724 144990208 3819 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35398 3819 181 372 0 35023 0
[pid=24689/tid=24690] ppid=24687 vsize=141592 CPUtime=0.68 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 646 0 0 0 67 1 0 0 18 0 3 0 891340724 144990208 3819 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141592 CPUtime=0.68 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 2685 0 0 0 66 2 0 0 25 0 3 0 891340724 144990208 3819 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 141592
[startup+1.50067 s]
/proc/loadavg: 1.86 1.98 1.94 4/177 24692
/proc/meminfo: memFree=15100476/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141592 CPUtime=2.99 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 4298 0 0 0 292 7 0 0 21 0 3 0 891340724 144990208 4218 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35398 4218 181 372 0 35023 0
[pid=24689/tid=24690] ppid=24687 vsize=141592 CPUtime=1.49 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 899 0 0 0 146 3 0 0 20 0 3 0 891340724 144990208 4218 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141592 CPUtime=1.48 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 2831 0 0 0 145 3 0 0 25 0 3 0 891340724 144990208 4218 33554432000 4194304 5714118 140734926394960 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 141592
[startup+3.1004 s]
/proc/loadavg: 1.86 1.98 1.94 4/180 24702
/proc/meminfo: memFree=14807788/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141592 CPUtime=6.19 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 5353 0 0 0 607 12 0 0 21 0 3 0 891340724 144990208 5245 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35398 5245 181 372 0 35023 0
[pid=24689/tid=24690] ppid=24687 vsize=141592 CPUtime=3.09 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 1548 0 0 0 302 7 0 0 25 0 3 0 891340724 144990208 5245 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141592 CPUtime=3.08 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 3237 0 0 0 304 4 0 0 25 0 3 0 891340724 144990208 5245 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 141592
[startup+6.30079 s]
/proc/loadavg: 1.95 1.99 1.94 4/180 24702
/proc/meminfo: memFree=14253132/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141808 CPUtime=12.58 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 6815 0 0 0 1238 20 0 0 21 0 3 0 891340724 145211392 6707 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35452 6707 182 372 0 35077 0
[pid=24689/tid=24690] ppid=24687 vsize=141808 CPUtime=6.29 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 2631 0 0 0 616 13 0 0 19 0 3 0 891340724 145211392 6707 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141808 CPUtime=6.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 3616 0 0 0 622 7 0 0 25 0 3 0 891340724 145211392 6707 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319200 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) 141808
[startup+12.7007 s]
/proc/loadavg: 2.12 2.03 1.95 5/182 24704
/proc/meminfo: memFree=13362324/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=141916 CPUtime=25.38 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 9987 0 0 0 2503 35 0 0 21 0 3 0 891340724 145321984 9837 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35479 9837 182 372 0 35104 0
[pid=24689/tid=24690] ppid=24687 vsize=141916 CPUtime=12.69 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 5211 0 0 0 1244 25 0 0 25 0 3 0 891340724 145321984 9837 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=141916 CPUtime=12.69 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 4208 0 0 0 1259 10 0 0 25 0 3 0 891340724 145321984 9837 33554432000 4194304 5714118 140734926394960 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) 141916
[startup+25.5004 s]
/proc/loadavg: 2.53 2.12 1.98 5/182 24705
/proc/meminfo: memFree=13297680/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=142076 CPUtime=50.99 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 12014 0 0 0 5041 58 0 0 21 0 3 0 891340724 145485824 11864 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35519 11864 182 372 0 35144 0
[pid=24689/tid=24690] ppid=24687 vsize=142076 CPUtime=25.49 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 6425 0 0 0 2505 44 0 0 25 0 3 0 891340724 145485824 11864 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=142076 CPUtime=25.48 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 5021 0 0 0 2535 13 0 0 25 0 3 0 891340724 145485824 11864 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319134 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 142076
[startup+51.1009 s]
/proc/loadavg: 3.03 2.27 2.04 5/182 24705
/proc/meminfo: memFree=13107520/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=142208 CPUtime=102.18 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 18019 0 0 0 10114 104 0 0 21 0 3 0 891340724 145620992 17814 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 35552 17814 182 372 0 35177 0
[pid=24689/tid=24690] ppid=24687 vsize=142208 CPUtime=51.08 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 11943 0 0 0 5024 84 0 0 25 0 3 0 891340724 145620992 17814 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=142208 CPUtime=51.08 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 5508 0 0 0 5089 19 0 0 25 0 3 0 891340724 145620992 17814 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 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) 142208
[startup+102.307 s]
/proc/loadavg: 3.58 2.54 2.14 5/182 24707
/proc/meminfo: memFree=12955104/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=208268 CPUtime=204.61 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 25424 0 0 0 20285 176 0 0 21 0 3 0 891340724 213266432 25219 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 52067 25219 182 372 0 51692 0
[pid=24689/tid=24690] ppid=24687 vsize=208268 CPUtime=102.29 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 18026 0 0 0 10084 145 0 0 25 0 3 0 891340724 213266432 25219 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=208268 CPUtime=102.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 6830 0 0 0 10199 30 0 0 25 0 3 0 891340724 213266432 25219 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.61
Current children cumulated vsize (KiB) 208268
[startup+162.3 s]
/proc/loadavg: 3.84 2.80 2.25 5/182 24708
/proc/meminfo: memFree=12720088/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=274712 CPUtime=324.59 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 43307 0 0 0 32160 299 0 0 21 0 3 0 891340724 281305088 43102 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68678 43102 182 372 0 68303 0
[pid=24689/tid=24690] ppid=24687 vsize=274712 CPUtime=162.28 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 34301 0 0 0 15974 254 0 0 25 0 3 0 891340724 281305088 43102 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=274712 CPUtime=162.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 8438 0 0 0 16185 44 0 0 25 0 3 0 891340724 281305088 43102 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319200 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) 274712
[startup+222.301 s]
/proc/loadavg: 3.94 3.01 2.36 5/182 24710
/proc/meminfo: memFree=12615632/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=274852 CPUtime=444.59 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 47270 0 0 0 44090 369 0 0 21 0 3 0 891340724 281448448 47065 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68713 47065 182 372 0 68338 0
[pid=24689/tid=24690] ppid=24687 vsize=274852 CPUtime=222.29 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 37160 0 0 0 21917 312 0 0 25 0 3 0 891340724 281448448 47065 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=274852 CPUtime=222.28 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 9542 0 0 0 22172 56 0 0 25 0 3 0 891340724 281448448 47065 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 444.59
Current children cumulated vsize (KiB) 274852
[startup+282.301 s]
/proc/loadavg: 4.03 3.21 2.46 5/182 24714
/proc/meminfo: memFree=12604548/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=274852 CPUtime=564.59 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 47505 0 0 0 56033 426 0 0 21 0 3 0 891340724 281448448 47300 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68713 47300 182 372 0 68338 0
[pid=24689/tid=24690] ppid=24687 vsize=274852 CPUtime=282.29 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 37182 0 0 0 27866 363 0 0 25 0 3 0 891340724 281448448 47300 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=274852 CPUtime=282.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 9755 0 0 0 28166 63 0 0 25 0 3 0 891340724 281448448 47300 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319200 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) 274852
[startup+342.3 s]
/proc/loadavg: 4.01 3.35 2.56 5/182 24716
/proc/meminfo: memFree=12548912/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=275260 CPUtime=684.59 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 54043 0 0 0 67960 499 0 0 21 0 3 0 891340724 281866240 53837 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68815 53837 182 372 0 68440 0
[pid=24689/tid=24690] ppid=24687 vsize=275260 CPUtime=342.29 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 43118 0 0 0 33797 432 0 0 25 0 3 0 891340724 281866240 53837 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=275260 CPUtime=342.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 10357 0 0 0 34162 67 0 0 25 0 3 0 891340724 281866240 53837 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319218 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) 275260
[startup+402.301 s]
/proc/loadavg: 4.00 3.46 2.64 5/182 24718
/proc/meminfo: memFree=12488868/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=275260 CPUtime=804.6 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 54093 0 0 0 79901 559 0 0 21 0 3 0 891340724 281866240 53887 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68815 53887 182 372 0 68440 0
[pid=24689/tid=24690] ppid=24687 vsize=275260 CPUtime=402.29 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 43135 0 0 0 39747 482 0 0 25 0 3 0 891340724 281866240 53887 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=275260 CPUtime=402.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 10390 0 0 0 40153 76 0 0 25 0 3 0 891340724 281866240 53887 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 804.6
Current children cumulated vsize (KiB) 275260
[startup+462.301 s]
/proc/loadavg: 4.00 3.56 2.73 5/182 24719
/proc/meminfo: memFree=12249656/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=275260 CPUtime=924.61 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 54108 0 0 0 91844 617 0 0 21 0 3 0 891340724 281866240 53894 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68815 53894 182 372 0 68440 0
[pid=24689/tid=24690] ppid=24687 vsize=275260 CPUtime=462.29 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 43135 0 0 0 45697 532 0 0 25 0 3 0 891340724 281866240 53894 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=275260 CPUtime=462.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 10405 0 0 0 46145 84 0 0 25 0 3 0 891340724 281866240 53894 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319195 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 924.61
Current children cumulated vsize (KiB) 275260
[startup+522.301 s]
/proc/loadavg: 4.00 3.64 2.80 5/182 24721
/proc/meminfo: memFree=12130220/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=275260 CPUtime=1044.6 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 54198 0 0 0 103790 670 0 0 21 0 3 0 891340724 281866240 53984 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68815 53984 182 372 0 68440 0
[pid=24689/tid=24690] ppid=24687 vsize=275260 CPUtime=522.3 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 43135 0 0 0 51652 578 0 0 25 0 3 0 891340724 281866240 53984 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=275260 CPUtime=522.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 10495 0 0 0 52137 92 0 0 25 0 3 0 891340724 281866240 53984 33554432000 4194304 5714118 140734926394960 18446744073709551615 4200768 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 275260
[startup+582.301 s]
/proc/loadavg: 4.04 3.71 2.88 5/182 24722
/proc/meminfo: memFree=12129704/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=275260 CPUtime=1164.61 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 54205 0 0 0 115745 716 0 0 21 0 3 0 891340724 281866240 53991 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68815 53991 182 372 0 68440 0
[pid=24689/tid=24690] ppid=24687 vsize=275260 CPUtime=582.3 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 43135 0 0 0 57615 615 0 0 25 0 3 0 891340724 281866240 53991 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319192 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=275260 CPUtime=582.29 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 10502 0 0 0 58128 101 0 0 25 0 3 0 891340724 281866240 53991 33554432000 4194304 5714118 140734926394960 18446744073709551615 4200288 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1164.61
Current children cumulated vsize (KiB) 275260
[startup+642.3 s]
/proc/loadavg: 4.01 3.76 2.95 5/182 24724
/proc/meminfo: memFree=12134020/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=275500 CPUtime=1284.62 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 54309 0 0 0 127700 762 0 0 21 0 3 0 891340724 282112000 54095 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 68875 54095 182 372 0 68500 0
[pid=24689/tid=24690] ppid=24687 vsize=275500 CPUtime=642.3 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 43137 0 0 0 63579 651 0 0 25 0 3 0 891340724 282112000 54095 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=275500 CPUtime=642.3 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 10604 0 0 0 64120 110 0 0 25 0 3 0 891340724 282112000 54095 33554432000 4194304 5714118 140734926394960 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) 275500
[startup+702.301 s]
/proc/loadavg: 4.08 3.82 3.02 5/182 24726
/proc/meminfo: memFree=12095068/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=341176 CPUtime=1404.61 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 63605 0 0 0 139625 836 0 0 21 0 3 0 891340724 349364224 63391 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 85294 63391 182 372 0 84919 0
[pid=24689/tid=24690] ppid=24687 vsize=341176 CPUtime=702.3 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 51815 0 0 0 69514 716 0 0 25 0 3 0 891340724 349364224 63391 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=341176 CPUtime=702.3 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 11222 0 0 0 70111 119 0 0 25 0 3 0 891340724 349364224 63391 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319195 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) 341176
[startup+762.306 s]
/proc/loadavg: 4.03 3.85 3.07 5/182 24727
/proc/meminfo: memFree=12024492/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=341660 CPUtime=1524.63 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 73431 0 0 0 151551 912 0 0 21 0 3 0 891340724 349859840 73217 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 85415 73217 182 372 0 85040 0
[pid=24689/tid=24690] ppid=24687 vsize=341660 CPUtime=762.31 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 61509 0 0 0 75446 785 0 0 25 0 3 0 891340724 349859840 73217 33554432000 4194304 5714118 140734926394960 18446744073709551615 4299920 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=341660 CPUtime=762.3 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 11354 0 0 0 76104 126 0 0 25 0 3 0 891340724 349859840 73217 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319244 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1524.63
Current children cumulated vsize (KiB) 341660
[startup+822.301 s]
/proc/loadavg: 4.01 3.87 3.13 5/182 24729
/proc/meminfo: memFree=11987516/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=407340 CPUtime=1644.62 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 82627 0 0 0 163475 987 0 0 21 0 3 0 891340724 417116160 82413 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 101835 82413 182 372 0 101460 0
[pid=24689/tid=24690] ppid=24687 vsize=407340 CPUtime=822.3 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 70269 0 0 0 81377 853 0 0 25 0 3 0 891340724 417116160 82414 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=407340 CPUtime=822.3 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 11791 0 0 0 82097 133 0 0 25 0 3 0 891340724 417116160 82414 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 407340
[startup+882.301 s]
/proc/loadavg: 4.00 3.89 3.18 5/182 24730
/proc/meminfo: memFree=11851088/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=407340 CPUtime=1764.62 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 92008 0 0 0 175397 1065 0 0 21 0 3 0 891340724 417116160 91794 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 101835 91794 182 372 0 101460 0
[pid=24689/tid=24690] ppid=24687 vsize=407340 CPUtime=882.31 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 79637 0 0 0 87308 923 0 0 25 0 3 0 891340724 417116160 91794 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=407340 CPUtime=882.31 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 11803 0 0 0 88089 142 0 0 25 0 3 0 891340724 417116160 91794 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319321 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1764.62
Current children cumulated vsize (KiB) 407340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.00 3.90 3.20 5/182 24731
/proc/meminfo: memFree=11817716/32951124 swapFree=67057920/67111528
[pid=24689] ppid=24687 vsize=472876 CPUtime=1800.03 cores=0,2,4,6
/proc/24689/stat : 24689 (pwbo1.1) S 24687 24689 24381 0 -1 4202496 94774 0 0 0 178915 1088 0 0 21 0 3 0 891340724 484225024 94560 33554432000 4194304 5714118 140734926394960 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0
/proc/24689/statm: 118219 94560 182 372 0 117844 0
[pid=24689/tid=24690] ppid=24687 vsize=472876 CPUtime=900.01 cores=0,2,4,6
/proc/24689/task/24690/stat : 24690 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 82399 0 0 0 89057 944 0 0 25 0 3 0 891340724 484225024 94560 33554432000 4194304 5714118 140734926394960 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 2 0 0 0
[pid=24689/tid=24691] ppid=24687 vsize=472876 CPUtime=900.01 cores=0,2,4,6
/proc/24689/task/24691/stat : 24691 (pwbo1.1) R 24687 24689 24381 0 -1 4202560 11807 0 0 0 89857 144 0 0 25 0 3 0 891340724 484225024 94560 33554432000 4194304 5714118 140734926394960 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 472876
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.029
CPU time (s): 1800.07
CPU user time (s): 1789.17
CPU system time (s): 10.9053
CPU usage (%): 200.001
Max. virtual memory (cumulated for all children) (KiB): 472876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.17
system time used= 10.9053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94780
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= 59
involuntary context switches= 2187
runsolver used 1.69474 second user time and 3.10753 second system time
The end