0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3740403-1338737679.opb>
1.49/1.54 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234344 constraints
1.49/1.54 c problem read
1.49/1.54 c presolving settings loaded
1.99/2.05 c presolving:
8.19/8.28 c (round 1) 4365 del vars, 12978 del conss, 2953 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16052588 impls, 0 clqs
11.29/11.30 c (round 2) 10079 del vars, 35298 del conss, 8344 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16081419 impls, 0 clqs
12.19/12.28 c (round 3) 12367 del vars, 44612 del conss, 9668 chg bounds, 21 chg sides, 39 chg coeffs, 0 upgd conss, 16095053 impls, 0 clqs
12.69/12.79 c (round 4) 13337 del vars, 48656 del conss, 10299 chg bounds, 37 chg sides, 59 chg coeffs, 0 upgd conss, 16099827 impls, 0 clqs
12.99/13.01 c (round 5) 13841 del vars, 50782 del conss, 10564 chg bounds, 37 chg sides, 59 chg coeffs, 0 upgd conss, 16103124 impls, 0 clqs
13.10/13.15 c (round 6) 14010 del vars, 51546 del conss, 10686 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16104423 impls, 0 clqs
13.20/13.25 c (round 7) 14133 del vars, 52065 del conss, 10750 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105174 impls, 0 clqs
13.29/13.31 c (round 8) 14167 del vars, 52263 del conss, 10774 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105390 impls, 0 clqs
13.29/13.38 c (round 9) 14193 del vars, 52376 del conss, 10794 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105507 impls, 0 clqs
13.39/13.44 c (round 10) 14205 del vars, 52440 del conss, 10803 chg bounds, 39 chg sides, 61 chg coeffs, 0 upgd conss, 16105528 impls, 0 clqs
13.99/14.08 c (round 11) 14205 del vars, 52449 del conss, 10803 chg bounds, 39 chg sides, 61 chg coeffs, 181895 upgd conss, 16105528 impls, 0 clqs
14.79/14.88 c (round 12) 14205 del vars, 52452 del conss, 10803 chg bounds, 86 chg sides, 256 chg coeffs, 181895 upgd conss, 16105528 impls, 0 clqs
618.24/618.44 c (616.9s) probing: 1000/58637 (1.7%) - 0 fixings, 0 aggregations, 10968187 implications, 0 bound changes
1106.02/1106.32 c (1104.8s) probing: 2000/58637 (3.4%) - 0 fixings, 0 aggregations, 16391270 implications, 0 bound changes
1106.42/1106.73 c (1105.2s) probing: 2001/58637 (3.4%) - 0 fixings, 0 aggregations, 16393284 implications, 0 bound changes
1106.42/1106.73 c (1105.2s) probing aborted: 2000/2000 successive useless probings
1106.42/1106.73 c presolving (13 rounds):
1106.42/1106.73 c 14205 deleted vars, 52457 deleted constraints, 10803 tightened bounds, 0 added holes, 87 changed sides, 267 changed coefficients
1106.42/1106.73 c 73827068 implications, 0 cliques
1106.42/1106.73 c presolved problem has 58637 variables (58637 bin, 0 int, 0 impl, 0 cont) and 181912 constraints
1106.42/1106.73 c 1135 constraints of type <knapsack>
1106.42/1106.73 c 151786 constraints of type <setppc>
1106.42/1106.73 c 28991 constraints of type <logicor>
1106.42/1106.73 c transformed objective value is always integral (scale: 1)
1106.42/1106.73 c Presolving Time: 1104.83
1106.42/1106.73 c - non default parameters ----------------------------------------------------------------------
1106.42/1106.73 c # SCIP version 1.2.1.3
1106.42/1106.73 c
1106.42/1106.73 c # frequency for displaying node information lines
1106.42/1106.73 c # [type: int, range: [-1,2147483647], default: 100]
1106.42/1106.73 c display/freq = 10000
1106.42/1106.73 c
1106.42/1106.73 c # maximal time in seconds to run
1106.42/1106.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1106.42/1106.73 c limits/time = 1788.46
1106.42/1106.73 c
1106.42/1106.73 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1106.42/1106.73 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1106.42/1106.73 c limits/memory = 13950
1106.42/1106.73 c
1106.42/1106.73 c # default clock type (1: CPU user seconds, 2: wall clock time)
1106.42/1106.73 c # [type: int, range: [1,2], default: 1]
1106.42/1106.73 c timing/clocktype = 2
1106.42/1106.73 c
1106.42/1106.73 c # should presolving try to simplify inequalities
1106.42/1106.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1106.42/1106.73 c constraints/linear/simplifyinequalities = TRUE
1106.42/1106.73 c
1106.42/1106.73 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1106.42/1106.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1106.42/1106.73 c constraints/indicator/addCouplingCons = TRUE
1106.42/1106.73 c
1106.42/1106.73 c # should presolving try to simplify knapsacks
1106.42/1106.73 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1106.42/1106.73 c constraints/knapsack/simplifyinequalities = TRUE
1106.42/1106.73 c
1106.42/1106.73 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1106.42/1106.73 c # [type: int, range: [-1,2147483647], default: -1]
1106.42/1106.73 c separating/rapidlearning/freq = 0
1106.42/1106.73 c
1106.42/1106.73 c -----------------------------------------------------------------------------------------------
1106.42/1106.73 c start solving
1106.42/1106.76 c
1476.36/1476.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1476.36/1476.74 c 1475s| 1 | 0 | 63212 | - |2263M| 0 | 284 | 58k| 181k| 58k| 181k| 0 | 0 | 0 | 8.700000e+01 | -- | Inf
1800.02/1800.40 c pressed CTRL-C 1 times (5 times for forcing termination)
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740403-1338737679/watcher-3740403-1338737679 -o /tmp/evaluation-result-3740403-1338737679/solver-3740403-1338737679 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740403-1338737679.opb -t 1800 -m 15500
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.92 1.98 1.99 3/176 26309
/proc/meminfo: memFree=25521896/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=10032 CPUtime=0 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 1775 0 0 0 0 0 0 0 20 0 1 0 339892507 10272768 1721 33554432000 4194304 8395647 140734875879712 140734875875128 5756997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 2508 1721 375 1026 0 1478 0
[startup+0.0574509 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26309
/proc/meminfo: memFree=25521896/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=20620 CPUtime=0.05 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 4412 0 0 0 5 0 0 0 20 0 1 0 339892507 21114880 4358 33554432000 4194304 8395647 140734875879712 140734875875128 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 5155 4358 393 1026 0 4125 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20620
[startup+0.100356 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26309
/proc/meminfo: memFree=25521896/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=27240 CPUtime=0.09 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 6084 0 0 0 9 0 0 0 20 0 1 0 339892507 27893760 6030 33554432000 4194304 8395647 140734875879712 140734875875128 4245998 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 6810 6030 393 1026 0 5780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27240
[startup+0.300272 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26309
/proc/meminfo: memFree=25521896/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=53404 CPUtime=0.29 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 12576 0 0 0 27 2 0 0 20 0 1 0 339892507 54685696 12522 33554432000 4194304 8395647 140734875879712 140734875875128 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 13351 12522 393 1026 0 12321 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53404
[startup+0.700263 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 26309
/proc/meminfo: memFree=25521896/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=77480 CPUtime=0.68 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 18606 0 0 0 66 2 0 0 20 0 1 0 339892507 79339520 18552 33554432000 4194304 8395647 140734875879712 140734875744920 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 19370 18552 393 1026 0 18340 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 77480
[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26310
/proc/meminfo: memFree=25424020/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=143276 CPUtime=1.49 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 34980 0 0 0 144 5 0 0 20 0 1 0 339892507 146714624 34926 33554432000 4194304 8395647 140734875879712 140734875744920 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 35819 34926 393 1026 0 34789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 143276
[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 26310
/proc/meminfo: memFree=25171184/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=488984 CPUtime=3.09 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 120176 0 0 0 292 17 0 0 20 0 1 0 339892507 500719616 119768 33554432000 4194304 8395647 140734875879712 140734875875464 6347101 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 122246 119768 469 1026 0 121216 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 488984
[startup+6.30028 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26310
/proc/meminfo: memFree=24840460/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=757372 CPUtime=6.29 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 185413 0 0 0 603 26 0 0 20 0 1 0 339892507 775548928 185005 33554432000 4194304 8395647 140734875879712 140734875875464 7385785 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 189343 185005 469 1026 0 188313 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 757372
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 26310
/proc/meminfo: memFree=24680772/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=856740 CPUtime=12.69 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 209402 0 0 0 1240 29 0 0 20 0 1 0 339892507 877301760 208994 33554432000 4194304 8395647 140734875879712 140734875875512 18446744073699066188 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 214185 208994 475 1026 0 213155 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 856740
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 26311
/proc/meminfo: memFree=24545684/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=991788 CPUtime=25.48 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 239949 0 0 0 2514 34 0 0 20 0 1 0 339892507 1015590912 241945 33554432000 4194304 8395647 140734875879712 140734875875576 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 247947 241945 510 1026 0 246917 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 991788
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 26311
/proc/meminfo: memFree=24484272/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=1047296 CPUtime=51.08 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 252752 0 0 0 5072 36 0 0 20 0 1 0 339892507 1072431104 254748 33554432000 4194304 8395647 140734875879712 140734875875784 6080379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 261824 254748 510 1026 0 260794 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1047296
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 2.00 3/176 26311
/proc/meminfo: memFree=24325860/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=1183252 CPUtime=102.28 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 286094 0 0 0 10186 42 0 0 20 0 1 0 339892507 1211650048 288090 33554432000 4194304 8395647 140734875879712 140734875875784 6080340 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 295813 288090 510 1026 0 294783 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1183252
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26312
/proc/meminfo: memFree=24182040/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=1299748 CPUtime=162.26 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 315240 0 0 0 16181 45 0 0 20 0 1 0 339892507 1330941952 317236 33554432000 4194304 8395647 140734875879712 140734875875576 6080328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 324937 317236 510 1026 0 323907 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1299748
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26312
/proc/meminfo: memFree=23888312/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=1563304 CPUtime=222.26 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 381093 0 0 0 22171 55 0 0 20 0 1 0 339892507 1600823296 383089 33554432000 4194304 8395647 140734875879712 140734875875576 6080379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 390826 383089 510 1026 0 389796 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1563304
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26312
/proc/meminfo: memFree=23520600/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=1686492 CPUtime=282.24 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 411011 0 0 0 28166 58 0 0 20 0 1 0 339892507 1726967808 413007 33554432000 4194304 8395647 140734875879712 140734875875784 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 421623 413007 510 1026 0 420593 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1686492
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26315
/proc/meminfo: memFree=23339884/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=1851264 CPUtime=342.24 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 452161 0 0 0 34159 65 0 0 20 0 1 0 339892507 1895694336 454157 33554432000 4194304 8395647 140734875879712 140734875875576 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 462816 454157 510 1026 0 461786 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1851264
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26315
/proc/meminfo: memFree=23244560/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=1941380 CPUtime=402.23 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 474612 0 0 0 40154 69 0 0 20 0 1 0 339892507 1987973120 476608 33554432000 4194304 8395647 140734875879712 140734875875576 5604422 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 485345 476608 510 1026 0 484315 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1941380
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26316
/proc/meminfo: memFree=23159832/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2023004 CPUtime=462.22 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 494269 0 0 0 46148 74 0 0 20 0 1 0 339892507 2071556096 496265 33554432000 4194304 8395647 140734875879712 140734875875784 4918229 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 505751 496265 510 1026 0 504721 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2023004
[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26354
/proc/meminfo: memFree=25134132/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2090076 CPUtime=522.2 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 511323 0 0 0 52143 77 0 0 20 0 1 0 339892507 2140237824 513396 33554432000 4194304 8395647 140734875879712 140734875875784 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 522519 513396 510 1026 0 521489 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 2090076
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26354
/proc/meminfo: memFree=24921376/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2159728 CPUtime=582.16 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 529041 0 0 0 58137 79 0 0 20 0 1 0 339892507 2211561472 531084 33554432000 4194304 8395647 140734875879712 140734875875576 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 539932 531084 510 1026 0 538902 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2159728
[startup+642.3 s]
################
# More data... #
################
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 645127 0 0 0 100103 101 0 0 20 0 1 0 339892507 2689556480 647567 33554432000 4194304 8395647 140734875879712 140734875875784 7385355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 656630 647567 515 1026 0 655600 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 2626520
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26359
/proc/meminfo: memFree=23408812/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2680140 CPUtime=1062.03 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 657547 0 0 0 106100 103 0 0 20 0 1 0 339892507 2744463360 660359 33554432000 4194304 8395647 140734875879712 140734875875784 6080717 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 670035 660359 515 1026 0 669005 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 2680140
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26359
/proc/meminfo: memFree=23075692/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2961952 CPUtime=1122.02 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 704556 0 0 0 112090 112 0 0 20 0 1 0 339892507 3033038848 727265 33554432000 4194304 8395647 140734875879712 140734875874840 6723796 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 740488 727265 586 1026 0 739458 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 2961952
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26359
/proc/meminfo: memFree=22991584/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2973644 CPUtime=1182.01 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 707999 0 0 0 118085 116 0 0 20 0 1 0 339892507 3045011456 731619 33554432000 4194304 8395647 140734875879712 140734875875272 6697672 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 743411 731619 586 1026 0 742381 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 2973644
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26359
/proc/meminfo: memFree=22931468/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2984336 CPUtime=1242 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 708971 0 0 0 124080 120 0 0 20 0 1 0 339892507 3055960064 733858 33554432000 4194304 8395647 140734875879712 140734875875224 6699185 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 746084 733858 586 1026 0 745054 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 2984336
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26359
/proc/meminfo: memFree=22890944/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=2990680 CPUtime=1302 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 709927 0 0 0 130075 125 0 0 20 0 1 0 339892507 3062456320 736058 33554432000 4194304 8395647 140734875879712 140734875874840 6698214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 747670 736058 586 1026 0 746640 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 2990680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26360
/proc/meminfo: memFree=22841180/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3007396 CPUtime=1361.98 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 711747 0 0 0 136069 129 0 0 20 0 1 0 339892507 3079573504 739423 33554432000 4194304 8395647 140734875879712 140734875874840 6697804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 751849 739423 586 1026 0 750819 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 3007396
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26360
/proc/meminfo: memFree=22789496/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3007840 CPUtime=1421.97 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 712941 0 0 0 142064 133 0 0 20 0 1 0 339892507 3080028160 742104 33554432000 4194304 8395647 140734875879712 140734875874840 6698051 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 751960 742104 586 1026 0 750930 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 3007840
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26360
/proc/meminfo: memFree=22733476/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3011408 CPUtime=1481.96 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 713151 0 0 0 148059 137 0 0 20 0 1 0 339892507 3083681792 742565 33554432000 4194304 8395647 140734875879712 140734875874360 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 752852 742565 591 1026 0 751822 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 3011408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26363
/proc/meminfo: memFree=22704604/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3011408 CPUtime=1541.95 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 713175 0 0 0 154054 141 0 0 20 0 1 0 339892507 3083681792 742803 33554432000 4194304 8395647 140734875879712 140734875874232 6708218 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 752852 742803 591 1026 0 751822 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 3011408
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26386
/proc/meminfo: memFree=22673376/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3011408 CPUtime=1601.94 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 713185 0 0 0 160047 147 0 0 20 0 1 0 339892507 3083681792 742969 33554432000 4194304 8395647 140734875879712 140734875874536 7428202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 752852 742969 591 1026 0 751822 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 3011408
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26387
/proc/meminfo: memFree=22629584/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3017136 CPUtime=1661.93 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 713329 0 0 0 166040 153 0 0 20 0 1 0 339892507 3089547264 743871 33554432000 4194304 8395647 140734875879712 140734875875000 5827844 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 754284 743871 607 1026 0 753254 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 3017136
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26387
/proc/meminfo: memFree=22398296/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3017136 CPUtime=1721.92 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 713505 0 0 0 172039 153 0 0 20 0 1 0 339892507 3089547264 744183 33554432000 4194304 8395647 140734875879712 140734875875000 5792805 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 754284 744183 613 1026 0 753254 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 3017136
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26387
/proc/meminfo: memFree=22383440/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3017136 CPUtime=1781.91 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 713505 0 0 0 178038 153 0 0 20 0 1 0 339892507 3089547264 744210 33554432000 4194304 8395647 140734875879712 140734875875000 5792796 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 754284 744210 613 1026 0 753254 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 3017136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26387
/proc/meminfo: memFree=22366476/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3027288 CPUtime=1800.02 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 715411 0 0 0 179848 154 0 0 20 0 1 0 339892507 3099942912 747230 33554432000 4194304 8395647 140734875879712 140734875875736 5794553 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 756822 747230 613 1026 0 755792 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3027288
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26309
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26388
/proc/meminfo: memFree=22366476/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3027288 CPUtime=1801.01 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 715411 0 0 0 179947 154 0 0 20 0 1 0 339892507 3099942912 747230 33554432000 4194304 8395647 140734875879712 140734875875008 5794553 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 756822 747230 613 1026 0 755792 0
Current children cumulated CPU time (s) 1801.01
Current children cumulated vsize (KiB) 3027288
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26388
/proc/meminfo: memFree=22366096/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3027288 CPUtime=1801.81 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 715412 0 0 0 180027 154 0 0 20 0 1 0 339892507 3099942912 747742 33554432000 4194304 8395647 140734875879712 140734875875008 5794534 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 756822 747742 613 1026 0 755792 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 3027288
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26388
/proc/meminfo: memFree=22366096/32873844 swapFree=7108/7108
[pid=26309] ppid=26307 vsize=3027288 CPUtime=1802.01 cores=0,2,4,6
/proc/26309/stat : 26309 (pbscip.linux.x8) R 26307 26309 21683 0 -1 4202496 715412 0 0 0 180047 154 0 0 20 0 1 0 339892507 3099942912 747742 33554432000 4194304 8395647 140734875879712 140734875875008 5794553 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26309/statm: 756822 747742 613 1026 0 755792 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 3027288
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.46
CPU time (s): 1802.08
CPU user time (s): 1800.48
CPU system time (s): 1.59476
CPU usage (%): 99.9788
Max. virtual memory (cumulated for all children) (KiB): 3027288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.48
system time used= 1.59476
maximum resident set size= 2990968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 715412
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= 133
involuntary context switches= 1844
runsolver used 4.05438 second user time and 10.8164 second system time
The end