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-3500245-1307992435/watcher-3500245-1307992435 -o /var/tmp/evaluation-result-3500245-1307992435/solver-3500245-1307992435 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500245-1307992435.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.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=2752 CPUtime=0 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) R 16655 16657 15608 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 1 0 910842319 2818048 387 33554432000 4194304 5714118 140734457047264 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/16657/statm: 688 387 163 372 0 287 0
[startup+0.0861359 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=135844 CPUtime=0.15 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 1142 0 0 0 15 0 0 0 25 0 3 0 910842319 139104256 1069 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 33961 1069 179 372 0 33586 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 135844
[startup+0.100134 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=135844 CPUtime=0.17 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 1164 0 0 0 17 0 0 0 25 0 3 0 910842319 139104256 1091 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 33961 1091 179 372 0 33586 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135844
[startup+0.300098 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=135844 CPUtime=0.57 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 1649 0 0 0 56 1 0 0 25 0 3 0 910842319 139104256 1491 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 33961 1491 179 372 0 33586 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 135844
[startup+0.701027 s]
/proc/loadavg: 3.94 3.97 3.84 4/179 16657
/proc/meminfo: memFree=29838364/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=136108 CPUtime=1.38 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 2743 0 0 0 135 3 0 0 25 0 3 0 910842319 139374592 2305 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34027 2305 179 372 0 33652 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 136108
[startup+1.50088 s]
/proc/loadavg: 3.94 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29828660/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=136520 CPUtime=2.98 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 3600 0 0 0 291 7 0 0 25 0 3 0 910842319 139796480 3162 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34130 3162 179 372 0 33755 0
[pid=16657/tid=16659] ppid=16655 vsize=136520 CPUtime=1.48 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2209 0 0 0 145 3 0 0 25 0 3 0 910842320 139796480 3162 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319874 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=136520 CPUtime=1.48 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 785 0 0 0 145 3 0 0 25 0 3 0 910842320 139796480 3162 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 136520
[startup+3.1006 s]
/proc/loadavg: 3.95 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29824568/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=137124 CPUtime=6.18 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 4246 0 0 0 605 13 0 0 25 0 3 0 910842319 140414976 3781 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34281 3781 180 372 0 33906 0
[pid=16657/tid=16659] ppid=16655 vsize=137124 CPUtime=3.08 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2655 0 0 0 301 7 0 0 25 0 3 0 910842320 140414976 3781 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319389 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=137124 CPUtime=3.08 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 985 0 0 0 302 6 0 0 25 0 3 0 910842320 140414976 3781 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 137124
[startup+6.30103 s]
/proc/loadavg: 3.95 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29819288/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=138024 CPUtime=12.58 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 5669 0 0 0 1234 24 0 0 25 0 3 0 910842319 141336576 5204 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34506 5204 180 372 0 34131 0
[pid=16657/tid=16659] ppid=16655 vsize=138024 CPUtime=6.28 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 3731 0 0 0 616 12 0 0 25 0 3 0 910842320 141336576 5204 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=138024 CPUtime=6.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 1332 0 0 0 617 11 0 0 25 0 3 0 910842320 141336576 5204 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 138024
[startup+12.7009 s]
/proc/loadavg: 3.95 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29809372/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=139256 CPUtime=25.38 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 7819 0 0 0 2494 44 0 0 25 0 3 0 910842319 142598144 7354 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 34814 7354 180 372 0 34439 0
[pid=16657/tid=16659] ppid=16655 vsize=139256 CPUtime=12.68 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 5514 0 0 0 1246 22 0 0 25 0 3 0 910842320 142598144 7354 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319804 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=139256 CPUtime=12.68 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 1699 0 0 0 1246 22 0 0 25 0 3 0 910842320 142598144 7354 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 139256
[startup+25.5006 s]
/proc/loadavg: 3.96 3.97 3.84 5/182 16660
/proc/meminfo: memFree=29795628/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=140564 CPUtime=50.98 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 11219 0 0 0 5020 78 0 0 25 0 3 0 910842319 143937536 10754 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 35141 10754 180 372 0 34766 0
[pid=16657/tid=16659] ppid=16655 vsize=140564 CPUtime=25.48 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8418 0 0 0 2508 40 0 0 25 0 3 0 910842320 143937536 10754 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=140564 CPUtime=25.48 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2195 0 0 0 2511 37 0 0 25 0 3 0 910842320 143937536 10754 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 140564
[startup+51.101 s]
/proc/loadavg: 3.97 3.97 3.85 5/182 16661
/proc/meminfo: memFree=29761276/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=143224 CPUtime=102.18 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 19083 0 0 0 10069 149 0 0 25 0 3 0 910842319 146661376 18559 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 35806 18560 180 372 0 35431 0
[pid=16657/tid=16659] ppid=16655 vsize=143224 CPUtime=51.08 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 15487 0 0 0 5030 78 0 0 25 0 3 0 910842320 146661376 18560 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=143224 CPUtime=51.08 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 2991 0 0 0 5037 71 0 0 25 0 3 0 910842320 146661376 18560 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 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) 143224
[startup+102.306 s]
/proc/loadavg: 3.99 3.97 3.85 5/182 16703
/proc/meminfo: memFree=29944016/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=212288 CPUtime=204.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 32344 0 0 0 20193 266 0 0 25 0 3 0 910842319 217382912 31817 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 53072 31817 180 372 0 52697 0
[pid=16657/tid=16659] ppid=16655 vsize=212288 CPUtime=102.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 27770 0 0 0 10090 139 0 0 25 0 3 0 910842320 217382912 31817 33554432000 4194304 5714118 140734457047264 18446744073709551615 4196540 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=212288 CPUtime=102.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 3968 0 0 0 10102 127 0 0 25 0 3 0 910842320 217382912 31817 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.59
Current children cumulated vsize (KiB) 212288
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 16705
/proc/meminfo: memFree=29926224/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=214236 CPUtime=324.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 33148 0 0 0 32080 379 0 0 25 0 3 0 910842319 219377664 32522 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 53559 32522 180 372 0 53184 0
[pid=16657/tid=16659] ppid=16655 vsize=214236 CPUtime=162.28 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 27841 0 0 0 16029 199 0 0 25 0 3 0 910842320 219377664 32522 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=214236 CPUtime=162.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 4701 0 0 0 16049 179 0 0 25 0 3 0 910842320 219377664 32522 33554432000 4194304 5714118 140734457047264 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) 214236
[startup+222.301 s]
/proc/loadavg: 3.99 3.97 3.86 5/182 16706
/proc/meminfo: memFree=29898520/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=215744 CPUtime=444.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 33627 0 0 0 43964 495 0 0 25 0 3 0 910842319 220921856 33001 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 53936 33001 180 372 0 53561 0
[pid=16657/tid=16659] ppid=16655 vsize=215744 CPUtime=222.28 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 27913 0 0 0 21970 258 0 0 25 0 3 0 910842320 220921856 33001 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=215744 CPUtime=222.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 5108 0 0 0 21992 236 0 0 25 0 3 0 910842320 220921856 33001 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 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) 215744
[startup+282.301 s]
/proc/loadavg: 4.04 3.99 3.87 5/182 16708
/proc/meminfo: memFree=29850736/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=217936 CPUtime=564.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 38725 0 0 0 55823 637 0 0 25 0 3 0 910842319 223166464 38099 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 54484 38099 180 372 0 54109 0
[pid=16657/tid=16659] ppid=16655 vsize=217936 CPUtime=282.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 32160 0 0 0 27896 333 0 0 25 0 3 0 910842320 223166464 38099 33554432000 4194304 5714118 140734457047264 18446744073709551615 4322586 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=217936 CPUtime=282.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 5959 0 0 0 27925 303 0 0 25 0 3 0 910842320 223166464 38099 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319192 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) 217936
[startup+342.301 s]
/proc/loadavg: 4.01 3.99 3.88 5/182 16710
/proc/meminfo: memFree=29810992/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=285464 CPUtime=684.59 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 46312 0 0 0 67702 757 0 0 25 0 3 0 910842319 292315136 45686 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 71366 45686 180 372 0 70991 0
[pid=16657/tid=16659] ppid=16655 vsize=285464 CPUtime=342.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 39268 0 0 0 33833 396 0 0 25 0 3 0 910842320 292315136 45686 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=285464 CPUtime=342.28 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 6438 0 0 0 33868 360 0 0 25 0 3 0 910842320 292315136 45686 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 684.59
Current children cumulated vsize (KiB) 285464
[startup+402.3 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 16711
/proc/meminfo: memFree=29778576/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=286724 CPUtime=804.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 54148 0 0 0 79566 894 0 0 25 0 3 0 910842319 293605376 53522 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 71681 53522 180 372 0 71306 0
[pid=16657/tid=16659] ppid=16655 vsize=286724 CPUtime=402.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 46671 0 0 0 39762 467 0 0 25 0 3 0 910842320 293605376 53522 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=286724 CPUtime=402.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 6871 0 0 0 39802 427 0 0 25 0 3 0 910842320 293605376 53522 33554432000 4194304 5714118 140734457047264 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) 286724
[startup+462.301 s]
/proc/loadavg: 4.00 3.99 3.89 5/182 16713
/proc/meminfo: memFree=29748896/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=353424 CPUtime=924.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 61406 0 0 0 91448 1012 0 0 25 0 3 0 910842319 361906176 60780 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 88356 60780 180 372 0 87981 0
[pid=16657/tid=16659] ppid=16655 vsize=353424 CPUtime=462.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 53617 0 0 0 45701 528 0 0 25 0 3 0 910842320 361906176 60780 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=353424 CPUtime=462.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 7183 0 0 0 45746 483 0 0 25 0 3 0 910842320 361906176 60780 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 924.6
Current children cumulated vsize (KiB) 353424
[startup+522.301 s]
/proc/loadavg: 4.00 3.99 3.90 5/182 16714
/proc/meminfo: memFree=29719332/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=354504 CPUtime=1044.6 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 68104 0 0 0 103322 1138 0 0 25 0 3 0 910842319 363012096 67478 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 88626 67478 180 372 0 88251 0
[pid=16657/tid=16659] ppid=16655 vsize=354504 CPUtime=522.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 60033 0 0 0 51633 596 0 0 25 0 3 0 910842320 363012096 67478 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=354504 CPUtime=522.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 7465 0 0 0 51688 541 0 0 25 0 3 0 910842320 363012096 67478 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1044.6
Current children cumulated vsize (KiB) 354504
[startup+582.3 s]
/proc/loadavg: 4.00 3.99 3.90 5/182 16716
/proc/meminfo: memFree=29671788/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=421456 CPUtime=1164.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 74716 0 0 0 115210 1251 0 0 25 0 3 0 910842319 431570944 74090 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 105364 74090 180 372 0 104989 0
[pid=16657/tid=16659] ppid=16655 vsize=421456 CPUtime=582.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 66411 0 0 0 57570 659 0 0 25 0 3 0 910842320 431570944 74090 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319370 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=421456 CPUtime=582.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 7699 0 0 0 57638 591 0 0 25 0 3 0 910842320 431570944 74090 33554432000 4194304 5714118 140734457047264 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) 421456
[startup+642.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16718
/proc/meminfo: memFree=29627600/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=422408 CPUtime=1284.62 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 80899 0 0 0 127108 1354 0 0 25 0 3 0 910842319 432545792 80273 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 105602 80273 180 372 0 105227 0
[pid=16657/tid=16659] ppid=16655 vsize=422408 CPUtime=642.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 72141 0 0 0 63518 711 0 0 25 0 3 0 910842320 432545792 80273 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=422408 CPUtime=642.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8152 0 0 0 63588 642 0 0 25 0 3 0 910842320 432545792 80273 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1284.62
Current children cumulated vsize (KiB) 422408
[startup+702.301 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16719
/proc/meminfo: memFree=29585508/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=423424 CPUtime=1404.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 87005 0 0 0 139015 1446 0 0 25 0 3 0 910842319 433586176 86353 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 105856 86353 180 372 0 105481 0
[pid=16657/tid=16659] ppid=16655 vsize=423424 CPUtime=702.29 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 77874 0 0 0 69466 763 0 0 25 0 3 0 910842320 433586176 86353 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=423424 CPUtime=702.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8525 0 0 0 69548 682 0 0 25 0 3 0 910842320 433586176 86353 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.61
Current children cumulated vsize (KiB) 423424
[startup+762.306 s]
/proc/loadavg: 4.00 3.99 3.91 5/182 16721
/proc/meminfo: memFree=29539824/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=489924 CPUtime=1524.62 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 93184 0 0 0 150930 1532 0 0 25 0 3 0 910842319 501682176 92532 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122481 92532 180 372 0 122106 0
[pid=16657/tid=16659] ppid=16655 vsize=489924 CPUtime=762.3 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 83817 0 0 0 75420 810 0 0 25 0 3 0 910842320 501682176 92532 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=489924 CPUtime=762.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8761 0 0 0 75509 721 0 0 25 0 3 0 910842320 501682176 92532 33554432000 4194304 5714118 140734457047264 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1524.62
Current children cumulated vsize (KiB) 489924
[startup+822.301 s]
/proc/loadavg: 4.06 4.00 3.91 5/182 16722
/proc/meminfo: memFree=29497612/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=490272 CPUtime=1644.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 98918 0 0 0 162840 1621 0 0 25 0 3 0 910842319 502038528 98266 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122568 98266 180 372 0 122193 0
[pid=16657/tid=16659] ppid=16655 vsize=490272 CPUtime=822.3 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 89423 0 0 0 81371 859 0 0 25 0 3 0 910842320 502038528 98266 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=490272 CPUtime=822.3 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 8889 0 0 0 81468 762 0 0 25 0 3 0 910842320 502038528 98266 33554432000 4194304 5714118 140734457047264 18446744073709551615 4319830 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1644.61
Current children cumulated vsize (KiB) 490272
[startup+882.301 s]
/proc/loadavg: 4.02 4.00 3.91 5/182 16724
/proc/meminfo: memFree=29453292/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=490852 CPUtime=1764.61 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 104900 0 0 0 174740 1721 0 0 25 0 3 0 910842319 502632448 104230 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122713 104230 180 372 0 122338 0
[pid=16657/tid=16659] ppid=16655 vsize=490852 CPUtime=882.3 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 95208 0 0 0 87319 911 0 0 25 0 3 0 910842320 502632448 104230 33554432000 4194304 5714118 140734457047264 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=490852 CPUtime=882.29 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 9086 0 0 0 87419 810 0 0 25 0 3 0 910842320 502632448 104230 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1764.61
Current children cumulated vsize (KiB) 490852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.001 s]
/proc/loadavg: 4.02 4.00 3.91 5/182 16725
/proc/meminfo: memFree=29441232/32950928 swapFree=67048888/67111528
[pid=16657] ppid=16655 vsize=491260 CPUtime=1800.02 cores=1,3,5,7
/proc/16657/stat : 16657 (pwbo1.1) S 16655 16657 15608 0 -1 4202496 106690 0 0 0 178251 1751 0 0 25 0 3 0 910842319 503050240 106020 33554432000 4194304 5714118 140734457047264 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/16657/statm: 122815 106020 180 372 0 122440 0
[pid=16657/tid=16659] ppid=16655 vsize=491260 CPUtime=900 cores=1,3,5,7
/proc/16657/task/16659/stat : 16659 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 96934 0 0 0 89075 925 0 0 25 0 3 0 910842320 503050240 106020 33554432000 4194304 5714118 140734457047264 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=16657/tid=16660] ppid=16655 vsize=491260 CPUtime=900 cores=1,3,5,7
/proc/16657/task/16660/stat : 16660 (pwbo1.1) R 16655 16657 15608 0 -1 4202560 9150 0 0 0 89175 825 0 0 25 0 3 0 910842320 503050240 106020 33554432000 4194304 5714118 140734457047264 18446744073709551615 4300144 0 0 4096 16387 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 491260
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.031
CPU time (s): 1800.06
CPU user time (s): 1782.53
CPU system time (s): 17.5323
CPU usage (%): 200
Max. virtual memory (cumulated for all children) (KiB): 491260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1782.53
system time used= 17.5323
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106695
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= 171
involuntary context switches= 2896
runsolver used 1.3388 second user time and 3.17452 second system time
The end