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-3500056-1307989660/watcher-3500056-1307989660 -o /var/tmp/evaluation-result-3500056-1307989660/solver-3500056-1307989660 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500056-1307989660.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: 1.91 1.98 1.94 3/179 11593
/proc/meminfo: memFree=8313268/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=3864 CPUtime=0 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) R 11591 11593 11319 0 -1 4202496 574 0 0 0 0 0 0 0 24 0 1 0 989196807 3956736 515 33554432000 4194304 5714118 140737405486240 18446744073709551615 4293864 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/11593/statm: 1045 525 165 372 0 670 0
[pid=11593/tid=11594] ppid=11591 vsize=70324 CPUtime=0 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 3 0 989196808 72011776 570 33554432000 4194304 5714118 140737405486240 18446744073709551615 4206701 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=70324 CPUtime=0 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 3 0 989196808 72011776 577 33554432000 4194304 5714118 140737405486240 18446744073709551615 5082345 0 0 4096 16387 0 0 0 -1 5 0 0 0
[startup+0.071006 s]
/proc/loadavg: 1.91 1.98 1.94 3/179 11593
/proc/meminfo: memFree=8313268/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=135860 CPUtime=0.13 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 2175 0 0 0 13 0 0 0 24 0 3 0 989196807 139120640 1775 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 33965 1775 179 372 0 33590 0
[pid=11593/tid=11594] ppid=11591 vsize=135860 CPUtime=0.06 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 1370 0 0 0 6 0 0 0 25 0 3 0 989196808 139120640 1775 33554432000 4194304 5714118 140737405486240 18446744073709551615 4956104 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=135860 CPUtime=0.06 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 194 0 0 0 6 0 0 0 25 0 3 0 989196808 139120640 1775 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 135860
[startup+0.101001 s]
/proc/loadavg: 1.91 1.98 1.94 3/179 11593
/proc/meminfo: memFree=8313268/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=135860 CPUtime=0.18 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 2797 0 0 0 18 0 0 0 24 0 3 0 989196807 139120640 2133 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 33965 2133 179 372 0 33590 0
[pid=11593/tid=11594] ppid=11591 vsize=135860 CPUtime=0.09 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 1926 0 0 0 9 0 0 0 25 0 3 0 989196808 139120640 2133 33554432000 4194304 5714118 140737405486240 18446744073709551615 4964882 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=135860 CPUtime=0.08 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 260 0 0 0 8 0 0 0 25 0 3 0 989196808 139120640 2133 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135860
[startup+0.300968 s]
/proc/loadavg: 1.91 1.98 1.94 3/179 11593
/proc/meminfo: memFree=8313268/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=135860 CPUtime=0.58 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 7285 0 0 0 57 1 0 0 24 0 3 0 989196807 139120640 3871 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 33965 3871 179 372 0 33590 0
[pid=11593/tid=11594] ppid=11591 vsize=135860 CPUtime=0.29 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 6009 0 0 0 29 0 0 0 25 0 3 0 989196808 139120640 3871 33554432000 4194304 5714118 140737405486240 18446744073709551615 4336749 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=135860 CPUtime=0.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 665 0 0 0 28 1 0 0 25 0 3 0 989196808 139120640 3871 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 135860
[startup+0.700899 s]
/proc/loadavg: 1.91 1.98 1.94 3/179 11593
/proc/meminfo: memFree=8313268/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=135860 CPUtime=1.39 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 12561 0 0 0 133 6 0 0 24 0 3 0 989196807 139120640 6791 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 33965 6791 179 372 0 33590 0
[pid=11593/tid=11594] ppid=11591 vsize=135860 CPUtime=0.68 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 10168 0 0 0 65 3 0 0 25 0 3 0 989196808 139120640 6791 33554432000 4194304 5714118 140737405486240 18446744073709551615 4973054 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=135860 CPUtime=0.68 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 1782 0 0 0 66 2 0 0 25 0 3 0 989196808 139120640 6791 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 135860
[startup+1.50076 s]
/proc/loadavg: 1.91 1.98 1.94 5/182 11596
/proc/meminfo: memFree=8251764/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=135860 CPUtime=2.99 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 20131 0 0 0 279 20 0 0 24 0 3 0 989196807 139120640 10800 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 33965 10801 179 372 0 33590 0
[pid=11593/tid=11594] ppid=11591 vsize=135860 CPUtime=1.49 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 16166 0 0 0 133 16 0 0 25 0 3 0 989196808 139120640 10801 33554432000 4194304 5714118 140737405486240 18446744073709551615 5013554 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=135860 CPUtime=1.48 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 3355 0 0 0 145 3 0 0 25 0 3 0 989196808 139120640 10801 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 135860
[startup+3.10048 s]
/proc/loadavg: 1.91 1.98 1.94 5/182 11596
/proc/meminfo: memFree=8219376/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=135860 CPUtime=6.18 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 31372 0 0 0 566 52 0 0 24 0 3 0 989196807 139120640 14922 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 33965 14922 179 372 0 33590 0
[pid=11593/tid=11594] ppid=11591 vsize=135860 CPUtime=3.09 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 27052 0 0 0 262 47 0 0 25 0 3 0 989196808 139120640 14922 33554432000 4194304 5714118 140737405486240 18446744073709551615 4356188 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=135860 CPUtime=3.08 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 3709 0 0 0 303 5 0 0 25 0 3 0 989196808 139120640 14922 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 135860
[startup+6.30092 s]
/proc/loadavg: 2.08 2.02 1.95 5/182 11596
/proc/meminfo: memFree=8161544/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=201396 CPUtime=12.58 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 52258 0 0 0 1144 114 0 0 24 0 3 0 989196807 206229504 22491 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 50349 22491 179 372 0 49974 0
[pid=11593/tid=11594] ppid=11591 vsize=201396 CPUtime=6.28 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 45934 0 0 0 524 104 0 0 25 0 3 0 989196808 206229504 22491 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=201396 CPUtime=6.28 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 5713 0 0 0 619 9 0 0 25 0 3 0 989196808 206229504 22491 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 201396
[startup+12.7008 s]
/proc/loadavg: 2.23 2.05 1.96 5/182 11596
/proc/meminfo: memFree=8089024/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=201396 CPUtime=25.39 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 65134 0 0 0 2364 175 0 0 24 0 3 0 989196807 206229504 29372 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 50349 29372 180 372 0 49974 0
[pid=11593/tid=11594] ppid=11591 vsize=201396 CPUtime=12.68 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 57654 0 0 0 1111 157 0 0 25 0 3 0 989196808 206229504 29372 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=201396 CPUtime=12.68 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 6869 0 0 0 1251 17 0 0 25 0 3 0 989196808 206229504 29372 33554432000 4194304 5714118 140737405486240 18446744073709551615 4323024 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 201396
[startup+25.5006 s]
/proc/loadavg: 2.62 2.14 1.99 5/182 11597
/proc/meminfo: memFree=7987224/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=201396 CPUtime=50.99 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 76507 0 0 0 4885 214 0 0 24 0 3 0 989196807 206229504 37497 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 50349 37497 180 372 0 49974 0
[pid=11593/tid=11594] ppid=11591 vsize=201396 CPUtime=25.49 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 68170 0 0 0 2364 185 0 0 25 0 3 0 989196808 206229504 37497 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319293 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=201396 CPUtime=25.48 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 7726 0 0 0 2520 28 0 0 25 0 3 0 989196808 206229504 37497 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 201396
[startup+51.1011 s]
/proc/loadavg: 3.09 2.29 2.04 5/182 11597
/proc/meminfo: memFree=7847256/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=267080 CPUtime=102.19 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 87122 0 0 0 9965 254 0 0 24 0 3 0 989196807 273489920 48111 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 66770 48111 180 372 0 66395 0
[pid=11593/tid=11594] ppid=11591 vsize=267080 CPUtime=51.08 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 74884 0 0 0 4899 209 0 0 25 0 3 0 989196808 273489920 48111 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=267080 CPUtime=51.09 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 11627 0 0 0 5065 44 0 0 25 0 3 0 989196808 273489920 48111 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 267080
[startup+102.306 s]
/proc/loadavg: 3.60 2.55 2.14 5/182 11599
/proc/meminfo: memFree=7626608/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=267212 CPUtime=204.6 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 98841 0 0 0 20109 351 0 0 24 0 3 0 989196807 273625088 59828 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 66803 59828 180 372 0 66428 0
[pid=11593/tid=11594] ppid=11591 vsize=267212 CPUtime=102.29 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 85378 0 0 0 9976 253 0 0 25 0 3 0 989196808 273625088 59828 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319361 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=267212 CPUtime=102.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 12852 0 0 0 10132 97 0 0 25 0 3 0 989196808 273625088 59828 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.6
Current children cumulated vsize (KiB) 267212
[startup+162.301 s]
/proc/loadavg: 3.85 2.81 2.26 5/182 11600
/proc/meminfo: memFree=7509004/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=333168 CPUtime=324.59 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 109631 0 0 0 32041 418 0 0 24 0 3 0 989196807 341164032 70617 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 83292 70617 180 372 0 82917 0
[pid=11593/tid=11594] ppid=11591 vsize=333168 CPUtime=162.29 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 94793 0 0 0 15941 288 0 0 25 0 3 0 989196808 341164032 70617 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=333168 CPUtime=162.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 14227 0 0 0 16100 129 0 0 25 0 3 0 989196808 341164032 70617 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.59
Current children cumulated vsize (KiB) 333168
[startup+222.301 s]
/proc/loadavg: 4.02 3.04 2.37 5/182 11602
/proc/meminfo: memFree=7402944/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=398704 CPUtime=444.6 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 127216 0 0 0 43966 494 0 0 24 0 3 0 989196807 408272896 88199 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 99676 88199 180 372 0 99301 0
[pid=11593/tid=11594] ppid=11591 vsize=398704 CPUtime=222.29 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 111599 0 0 0 21912 317 0 0 25 0 3 0 989196808 408272896 88199 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=398704 CPUtime=222.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 15006 0 0 0 22053 176 0 0 25 0 3 0 989196808 408272896 88199 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.6
Current children cumulated vsize (KiB) 398704
[startup+282.301 s]
/proc/loadavg: 4.08 3.23 2.47 5/182 11603
/proc/meminfo: memFree=7349824/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=529916 CPUtime=564.6 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 140294 0 0 0 55900 560 0 0 24 0 3 0 989196807 542633984 101276 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 132479 101276 180 372 0 132104 0
[pid=11593/tid=11594] ppid=11591 vsize=529916 CPUtime=282.29 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 122322 0 0 0 27886 343 0 0 25 0 3 0 989196808 542633984 101276 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=529916 CPUtime=282.28 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 17361 0 0 0 28012 216 0 0 25 0 3 0 989196808 542633984 101276 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.6
Current children cumulated vsize (KiB) 529916
[startup+342.301 s]
/proc/loadavg: 4.03 3.37 2.56 5/182 11605
/proc/meminfo: memFree=7295840/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=544968 CPUtime=684.6 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 150206 0 0 0 67849 611 0 0 24 0 3 0 989196807 558047232 109982 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 136242 109982 180 372 0 135867 0
[pid=11593/tid=11594] ppid=11591 vsize=544968 CPUtime=342.3 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 128201 0 0 0 33862 368 0 0 25 0 3 0 989196808 558047232 109982 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=544968 CPUtime=342.28 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 21394 0 0 0 33986 242 0 0 25 0 3 0 989196808 558047232 109982 33554432000 4194304 5714118 140737405486240 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 684.6
Current children cumulated vsize (KiB) 544968
[startup+402.301 s]
/proc/loadavg: 4.01 3.48 2.65 5/182 11607
/proc/meminfo: memFree=7289220/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=545156 CPUtime=804.59 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 150618 0 0 0 79805 654 0 0 24 0 3 0 989196807 558239744 110394 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 136289 110394 180 372 0 135914 0
[pid=11593/tid=11594] ppid=11591 vsize=545156 CPUtime=402.29 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 128201 0 0 0 39849 380 0 0 25 0 3 0 989196808 558239744 110394 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=545156 CPUtime=402.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 21806 0 0 0 39955 274 0 0 25 0 3 0 989196808 558239744 110394 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 804.59
Current children cumulated vsize (KiB) 545156
[startup+462.301 s]
/proc/loadavg: 4.00 3.57 2.73 5/182 11608
/proc/meminfo: memFree=7154276/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=669088 CPUtime=924.6 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 181349 0 0 0 91747 713 0 0 24 0 3 0 989196807 685146112 137262 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 167272 137262 180 372 0 166897 0
[pid=11593/tid=11594] ppid=11591 vsize=669088 CPUtime=462.3 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 158918 0 0 0 45820 410 0 0 25 0 3 0 989196808 685146112 137262 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=669088 CPUtime=462.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 21820 0 0 0 45926 303 0 0 25 0 3 0 989196808 685146112 137262 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 669088
[startup+522.301 s]
/proc/loadavg: 4.00 3.65 2.81 5/182 11610
/proc/meminfo: memFree=7125232/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=669248 CPUtime=1044.6 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 183268 0 0 0 103707 753 0 0 24 0 3 0 989196807 685309952 139161 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 167312 139161 180 372 0 166937 0
[pid=11593/tid=11594] ppid=11591 vsize=669248 CPUtime=522.3 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 158918 0 0 0 51808 422 0 0 25 0 3 0 989196808 685309952 139161 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=669248 CPUtime=522.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 23739 0 0 0 51898 331 0 0 25 0 3 0 989196808 685309952 139161 33554432000 4194304 5714118 140737405486240 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 669248
[startup+582.301 s]
/proc/loadavg: 4.00 3.71 2.88 5/182 11611
/proc/meminfo: memFree=6987176/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=669388 CPUtime=1164.6 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 188223 0 0 0 115670 790 0 0 24 0 3 0 989196807 685453312 144075 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 167347 144075 180 372 0 166972 0
[pid=11593/tid=11594] ppid=11591 vsize=669388 CPUtime=582.3 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 159194 0 0 0 57797 433 0 0 25 0 3 0 989196808 685453312 144075 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=669388 CPUtime=582.3 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 28418 0 0 0 57873 357 0 0 25 0 3 0 989196808 685453312 144075 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1164.6
Current children cumulated vsize (KiB) 669388
[startup+642.3 s]
/proc/loadavg: 4.00 3.76 2.95 5/182 11613
/proc/meminfo: memFree=6922636/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=727936 CPUtime=1284.61 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 205451 0 0 0 127623 838 0 0 24 0 3 0 989196807 745406464 160041 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 181984 160041 180 372 0 181609 0
[pid=11593/tid=11594] ppid=11591 vsize=727936 CPUtime=642.31 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 176325 0 0 0 63770 461 0 0 25 0 3 0 989196808 745406464 160041 33554432000 4194304 5714118 140737405486240 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=727936 CPUtime=642.3 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 28515 0 0 0 63853 377 0 0 25 0 3 0 989196808 745406464 160041 33554432000 4194304 5714118 140737405486240 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1284.61
Current children cumulated vsize (KiB) 727936
[startup+702.301 s]
/proc/loadavg: 4.06 3.82 3.02 5/182 11618
/proc/meminfo: memFree=6920160/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=728452 CPUtime=1404.61 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 205607 0 0 0 139607 854 0 0 24 0 3 0 989196807 745934848 160197 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 182113 160197 180 372 0 181738 0
[pid=11593/tid=11594] ppid=11591 vsize=728452 CPUtime=702.3 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 176381 0 0 0 69760 470 0 0 25 0 3 0 989196808 745934848 160197 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=728452 CPUtime=702.3 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 28615 0 0 0 69847 383 0 0 25 0 3 0 989196808 745934848 160197 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 728452
[startup+762.306 s]
/proc/loadavg: 4.02 3.85 3.07 5/182 11619
/proc/meminfo: memFree=6914380/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=728808 CPUtime=1524.62 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 207032 0 0 0 151580 882 0 0 24 0 3 0 989196807 746299392 161622 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 182202 161622 180 372 0 181827 0
[pid=11593/tid=11594] ppid=11591 vsize=728808 CPUtime=762.31 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 177724 0 0 0 75737 494 0 0 25 0 3 0 989196808 746299392 161622 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=728808 CPUtime=762.3 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 28697 0 0 0 75842 388 0 0 25 0 3 0 989196808 746299392 161622 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 728808
[startup+822.301 s]
/proc/loadavg: 4.05 3.89 3.13 5/182 11621
/proc/meminfo: memFree=6911732/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=728996 CPUtime=1644.62 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 207706 0 0 0 163562 900 0 0 24 0 3 0 989196807 746491904 162296 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 182249 162296 180 372 0 181874 0
[pid=11593/tid=11594] ppid=11591 vsize=728996 CPUtime=822.31 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 177724 0 0 0 81726 505 0 0 25 0 3 0 989196808 746491904 162296 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=728996 CPUtime=822.29 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 29371 0 0 0 81835 394 0 0 25 0 3 0 989196808 746491904 162296 33554432000 4194304 5714118 140737405486240 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1644.62
Current children cumulated vsize (KiB) 728996
[startup+882.3 s]
/proc/loadavg: 4.02 3.90 3.19 5/182 11622
/proc/meminfo: memFree=6904992/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=729484 CPUtime=1764.61 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 208245 0 0 0 175546 915 0 0 24 0 3 0 989196807 746991616 162835 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 182371 162835 180 372 0 181996 0
[pid=11593/tid=11594] ppid=11591 vsize=729484 CPUtime=882.31 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 177767 0 0 0 87717 514 0 0 25 0 3 0 989196808 746991616 162835 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319212 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=729484 CPUtime=882.3 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 29867 0 0 0 87829 401 0 0 25 0 3 0 989196808 746991616 162835 33554432000 4194304 5714118 140737405486240 18446744073709551615 4198960 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 729484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900 s]
/proc/loadavg: 4.01 3.91 3.20 5/182 11623
/proc/meminfo: memFree=6903476/32950940 swapFree=67053420/67111528
[pid=11593] ppid=11591 vsize=729676 CPUtime=1800.03 cores=1,3,5,7
/proc/11593/stat : 11593 (pwbo1.1) S 11591 11593 11319 0 -1 4202496 208393 0 0 0 179083 920 0 0 24 0 3 0 989196807 747188224 162983 33554432000 4194304 5714118 140737405486240 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0
/proc/11593/statm: 182419 162983 180 372 0 182044 0
[pid=11593/tid=11594] ppid=11591 vsize=729676 CPUtime=900.01 cores=1,3,5,7
/proc/11593/task/11594/stat : 11594 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 177774 0 0 0 89485 516 0 0 25 0 3 0 989196808 747188224 162983 33554432000 4194304 5714118 140737405486240 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 5 0 0 0
[pid=11593/tid=11595] ppid=11591 vsize=729676 CPUtime=900 cores=1,3,5,7
/proc/11593/task/11595/stat : 11595 (pwbo1.1) R 11591 11593 11319 0 -1 4202560 30008 0 0 0 89597 403 0 0 25 0 3 0 989196808 747188224 162983 33554432000 4194304 5714118 140737405486240 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 729676
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.039
CPU time (s): 1800.08
CPU user time (s): 1790.85
CPU system time (s): 9.2306
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 735072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.85
system time used= 9.2306
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208398
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= 161
involuntary context switches= 6455
runsolver used 1.46778 second user time and 3.35049 second system time
The end