0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
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-2667114-1276620367.opb>
0.39/0.40 c original problem has 3296 variables (3296 bin, 0 int, 0 impl, 0 cont) and 6384 constraints
0.39/0.40 c problem read
0.39/0.40 c presolving settings loaded
0.49/0.52 c presolving:
0.59/0.63 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.59/0.69 c (round 2) 1 del vars, 2879 del conss, 1 chg bounds, 91 chg sides, 470 chg coeffs, 320 upgd conss, 0 impls, 0 clqs
0.69/0.77 c (round 3) 1 del vars, 2879 del conss, 1 chg bounds, 131 chg sides, 797 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
0.79/0.80 c (round 4) 1 del vars, 2879 del conss, 1 chg bounds, 181 chg sides, 861 chg coeffs, 627 upgd conss, 310 impls, 6 clqs
3.49/3.53 c (3.0s) probing: 218/3295 (6.6%) - 0 fixings, 0 aggregations, 50 implications, 0 bound changes
3.49/3.53 c (3.0s) probing aborted: 100/100 successive totally useless probings
3.49/3.53 c presolving (5 rounds):
3.49/3.53 c 1 deleted vars, 2879 deleted constraints, 1 tightened bounds, 0 added holes, 181 changed sides, 863 changed coefficients
3.49/3.53 c 410 implications, 6 cliques
3.49/3.53 c presolved problem has 3295 variables (3295 bin, 0 int, 0 impl, 0 cont) and 3505 constraints
3.49/3.53 c 627 constraints of type <knapsack>
3.49/3.53 c 2878 constraints of type <linear>
3.49/3.53 c transformed objective value is always integral (scale: 1)
3.49/3.53 c Presolving Time: 2.98
3.49/3.53 c - non default parameters ----------------------------------------------------------------------
3.49/3.53 c # SCIP version 1.2.1.2
3.49/3.53 c
3.49/3.53 c # frequency for displaying node information lines
3.49/3.53 c # [type: int, range: [-1,2147483647], default: 100]
3.49/3.53 c display/freq = 10000
3.49/3.53 c
3.49/3.53 c # maximal time in seconds to run
3.49/3.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.53 c limits/time = 1799.6
3.49/3.53 c
3.49/3.53 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.49/3.53 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.49/3.53 c limits/memory = 1620
3.49/3.53 c
3.49/3.53 c # should presolving try to simplify inequalities
3.49/3.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.53 c constraints/linear/simplifyinequalities = TRUE
3.49/3.53 c
3.49/3.53 c # should presolving try to simplify knapsacks
3.49/3.53 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.49/3.53 c constraints/knapsack/simplifyinequalities = TRUE
3.49/3.53 c
3.49/3.53 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.49/3.53 c # [type: int, range: [-1,2147483647], default: -1]
3.49/3.53 c separating/rapidlearning/freq = 0
3.49/3.53 c
3.49/3.53 c -----------------------------------------------------------------------------------------------
3.49/3.53 c start solving
3.49/3.54 c
3.79/3.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.79/3.80 c 3.3s| 1 | 0 | 1469 | - | 27M| 0 |1118 |3295 |3505 |3295 |3505 | 0 | 0 | 0 | 9.100000e+01 | -- | Inf
9.99/10.02 c 9.4s| 1 | 0 | 8074 | - | 28M| 0 |1839 |3295 |3505 |3295 |3661 | 156 | 0 | 0 | 9.100000e+01 | -- | Inf
13.29/13.35 c 12.7s| 1 | 0 | 11286 | - | 29M| 0 |1890 |3295 |3505 |3295 |3762 | 257 | 0 | 0 | 9.100000e+01 | -- | Inf
16.50/16.59 c 15.9s| 1 | 0 | 13915 | - | 29M| 0 |2076 |3295 |3505 |3295 |3894 | 389 | 0 | 0 | 9.100000e+01 | -- | Inf
20.98/21.06 c 20.3s| 1 | 0 | 16439 | - | 30M| 0 |1990 |3295 |3505 |3295 |4017 | 512 | 0 | 0 | 9.100000e+01 | -- | Inf
25.19/25.28 c 24.5s| 1 | 0 | 18341 | - | 30M| 0 |2117 |3295 |3505 |3295 |4154 | 649 | 0 | 0 | 9.100000e+01 | -- | Inf
29.59/29.68 c 28.8s| 1 | 0 | 20116 | - | 31M| 0 |2102 |3295 |3505 |3295 |4282 | 777 | 0 | 0 | 9.100000e+01 | -- | Inf
50.38/50.45 c 49.2s| 1 | 2 | 20116 | - | 31M| 0 |2102 |3295 |3505 |3295 |4282 | 777 | 0 | 17 | 9.100000e+01 | -- | Inf
1800.09/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.09/1800.76 c
1800.09/1800.76 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.76 c Solving Time (sec) : 1771.36
1800.09/1800.76 c Solving Nodes : 4122
1800.09/1800.76 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.09/1800.76 c Dual Bound : +9.10000000000000e+01
1800.09/1800.76 c Gap : infinite
1800.09/1800.76 s UNKNOWN
1800.09/1800.76 c SCIP Status : solving was interrupted [user interrupt]
1800.09/1800.76 c Solving Time : 1771.36
1800.09/1800.76 c Original Problem :
1800.09/1800.76 c Problem name : HOME/instance-2667114-1276620367.opb
1800.09/1800.76 c Variables : 3296 (3296 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.76 c Constraints : 6384 initial, 6384 maximal
1800.09/1800.76 c Presolved Problem :
1800.09/1800.76 c Problem name : t_HOME/instance-2667114-1276620367.opb
1800.09/1800.76 c Variables : 3295 (3295 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.09/1800.76 c Constraints : 3505 initial, 6932 maximal
1800.09/1800.76 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.09/1800.76 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.76 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.76 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.76 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.76 c implics : 0.01 0 0 0 0 0 0 0 0
1800.09/1800.76 c probing : 2.70 0 0 0 0 0 0 0 0
1800.09/1800.76 c knapsack : 0.04 0 0 0 0 0 0 90 393
1800.09/1800.76 c linear : 0.19 1 0 0 1 0 2879 91 470
1800.09/1800.76 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.09/1800.76 c root node : - 0 - - 0 - - - -
1800.09/1800.76 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.09/1800.76 c integral : 0 0 0 3329 0 13 665 0 0 6316
1800.09/1800.76 c knapsack : 627 6 25862 0 0 171 62894 1203 0 0
1800.09/1800.76 c linear : 2878 6 25691 0 0 433 295014 0 0 0
1800.09/1800.76 c logicor : 0+ 0 12935 0 0 50 6807 0 0 0
1800.09/1800.76 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.09/1800.76 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.09/1800.76 c integral : 501.52 0.00 0.00 501.52 0.00
1800.09/1800.76 c knapsack : 7.92 0.08 7.84 0.00 0.00
1800.09/1800.76 c linear : 67.64 0.00 67.64 0.00 0.00
1800.09/1800.76 c logicor : 1.51 0.00 1.51 0.00 0.00
1800.09/1800.76 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.09/1800.76 c Propagators : Time Calls Cutoffs DomReds
1800.09/1800.76 c vbounds : 0.01 2 0 0
1800.09/1800.76 c rootredcost : 0.02 0 0 0
1800.09/1800.76 c pseudoobj : 0.10 25413 0 0
1800.09/1800.76 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.09/1800.76 c propagation : 0.12 654 654 5148 30.9 59 17.6 -
1800.09/1800.76 c infeasible LP : 5.38 3543 3543 5286 14.4 69 17.3 0
1800.09/1800.76 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.76 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.09/1800.76 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.09/1800.76 c applied globally : - - - 6472 16.3 - - -
1800.09/1800.76 c applied locally : - - - 0 0.0 - - -
1800.09/1800.76 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.09/1800.76 c cut pool : 0.00 5 - - 718 - (maximal pool size: 4204)
1800.09/1800.76 c redcost : 0.99 3358 0 27 0 0
1800.09/1800.76 c impliedbounds : 0.00 6 0 0 11 0
1800.09/1800.76 c intobj : 0.00 0 0 0 0 0
1800.09/1800.76 c cgmip : 0.00 0 0 0 0 0
1800.09/1800.76 c gomory : 1.97 6 0 0 43 0
1800.09/1800.76 c strongcg : 1.93 6 0 0 17 0
1800.09/1800.76 c cmir : 2.16 6 0 0 3000 0
1800.09/1800.76 c flowcover : 2.42 6 0 0 1200 0
1800.09/1800.76 c clique : 0.00 6 0 0 2 0
1800.09/1800.76 c zerohalf : 0.00 0 0 0 0 0
1800.09/1800.76 c mcf : 0.00 1 0 0 0 0
1800.09/1800.76 c rapidlearning : 1.13 1 0 0 0 0
1800.09/1800.76 c Pricers : Time Calls Vars
1800.09/1800.76 c problem variables: 0.00 0 0
1800.09/1800.76 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.09/1800.76 c relpscost : 501.50 3329 13 665 0 0 6316
1800.09/1800.76 c pscost : 0.00 0 0 0 0 0 0
1800.09/1800.76 c inference : 0.00 0 0 0 0 0 0
1800.09/1800.76 c mostinf : 0.00 0 0 0 0 0 0
1800.09/1800.76 c leastinf : 0.00 0 0 0 0 0 0
1800.09/1800.76 c fullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.76 c allfullstrong : 0.00 0 0 0 0 0 0
1800.09/1800.76 c random : 0.00 0 0 0 0 0 0
1800.09/1800.76 c Primal Heuristics : Time Calls Found
1800.09/1800.76 c LP solutions : 0.00 - 0
1800.09/1800.76 c pseudo solutions : 0.00 - 0
1800.09/1800.76 c oneopt : 0.01 0 0
1800.09/1800.76 c crossover : 0.00 0 0
1800.09/1800.76 c guideddiving : 0.00 0 0
1800.09/1800.76 c coefdiving : 128.85 10 0
1800.09/1800.76 c pscostdiving : 46.16 26 0
1800.09/1800.76 c rootsoldiving : 20.01 13 0
1800.09/1800.76 c feaspump : 46.21 14 0
1800.09/1800.76 c linesearchdiving : 51.78 60 0
1800.09/1800.76 c trivial : 0.00 2 0
1800.09/1800.76 c simplerounding : 0.00 0 0
1800.09/1800.76 c zirounding : 0.60 1000 0
1800.09/1800.76 c rounding : 2.15 773 0
1800.09/1800.76 c shifting : 9.12 213 0
1800.09/1800.76 c intshifting : 0.00 0 0
1800.09/1800.76 c twoopt : 0.00 0 0
1800.09/1800.76 c fixandinfer : 0.00 0 0
1800.09/1800.76 c fracdiving : 124.68 6 0
1800.09/1800.76 c veclendiving : 44.65 21 0
1800.09/1800.76 c intdiving : 0.00 0 0
1800.09/1800.76 c actconsdiving : 0.00 0 0
1800.09/1800.76 c objpscostdiving : 24.81 9 0
1800.09/1800.76 c octane : 0.00 0 0
1800.09/1800.76 c rens : 0.02 0 0
1800.09/1800.76 c rins : 0.00 0 0
1800.09/1800.76 c localbranching : 0.00 0 0
1800.09/1800.76 c mutation : 0.00 0 0
1800.09/1800.76 c dins : 0.00 0 0
1800.09/1800.76 c undercover : 0.00 0 0
1800.09/1800.76 c nlp : 0.00 0 0
1800.09/1800.76 c trysol : 0.01 0 0
1800.09/1800.76 c LP : Time Calls Iterations Iter/call Iter/sec
1800.09/1800.76 c primal LP : 0.03 0 0 0.00 0.00
1800.09/1800.76 c dual LP : 674.49 3920 1561040 398.22 2314.40
1800.09/1800.76 c lex dual LP : 0.00 0 0 0.00 -
1800.09/1800.76 c barrier LP : 0.00 0 0 0.00 -
1800.09/1800.76 c diving/probing LP: 444.42 8184 811159 99.12 1825.21
1800.09/1800.76 c strong branching : 499.13 2080 898675 432.06 1800.48
1800.09/1800.76 c (at root node) : - 17 14636 860.94 -
1800.09/1800.76 c conflict analysis: 0.00 0 0 0.00 -
1800.09/1800.76 c B&B Tree :
1800.09/1800.76 c number of runs : 1
1800.09/1800.76 c nodes : 4122
1800.09/1800.76 c nodes (total) : 4122
1800.09/1800.76 c nodes left : 1909
1800.09/1800.76 c max depth : 61
1800.09/1800.76 c max depth (total): 61
1800.09/1800.76 c backtracks : 681 (16.5%)
1800.09/1800.76 c delayed cutoffs : 286
1800.09/1800.76 c repropagations : 4268 (115510 domain reductions, 125 cutoffs)
1800.09/1800.76 c avg switch length: 4.92
1800.09/1800.76 c switching time : 10.14
1800.09/1800.76 c Solution :
1800.09/1800.76 c Solutions found : 0 (0 improvements)
1800.09/1800.76 c Primal Bound : -
1800.09/1800.76 c Dual Bound : +9.10000000000000e+01
1800.09/1800.76 c Gap : infinite
1800.09/1800.76 c Root Dual Bound : +9.10000000000000e+01
1800.09/1800.76 c Root Iterations : 20116
1800.18/1800.89 c Time complete: 1800.26.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667114-1276620367/watcher-2667114-1276620367 -o /tmp/evaluation-result-2667114-1276620367/solver-2667114-1276620367 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667114-1276620367.opb -t 1800 -m 1800
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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2275
/proc/meminfo: memFree=1776652/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=6692 CPUtime=0
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 924 0 0 0 0 0 0 0 25 0 1 0 35688567 6852608 844 1992294400 4194304 8223781 140735536934480 18446744073709551615 7253720 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2275/statm: 1673 852 338 984 0 686 0
[startup+0.0109401 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2275
/proc/meminfo: memFree=1776652/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=8988 CPUtime=0
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 1522 0 0 0 0 0 0 0 25 0 1 0 35688567 9203712 1442 1992294400 4194304 8223781 140735536934480 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2275/statm: 2247 1454 361 984 0 1260 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8988
[startup+0.100941 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2275
/proc/meminfo: memFree=1776652/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=11332 CPUtime=0.09
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2127 0 0 0 9 0 0 0 25 0 1 0 35688567 11603968 2047 1992294400 4194304 8223781 140735536934480 18446744073709551615 7297360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2275/statm: 2833 2047 365 984 0 1846 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11332
[startup+0.300977 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2275
/proc/meminfo: memFree=1776652/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=16396 CPUtime=0.29
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3394 0 0 0 28 1 0 0 25 0 1 0 35688567 16789504 3314 1992294400 4194304 8223781 140735536934480 18446744073709551615 5648906 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2275/statm: 4099 3314 365 984 0 3112 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16396
[startup+0.70105 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 2275
/proc/meminfo: memFree=1776652/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=66716 CPUtime=0.69
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 16149 0 0 0 62 7 0 0 25 0 1 0 35688567 68317184 15191 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 16679 15191 458 984 0 15692 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66716
[startup+1.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2276
/proc/meminfo: memFree=1715388/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=68084 CPUtime=1.49
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 18366 0 0 0 140 9 0 0 25 0 1 0 35688567 69718016 15609 1992294400 4194304 8223781 140735536934480 18446744073709551615 5497079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 17021 15609 466 984 0 16034 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68084
[startup+3.10149 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2276
/proc/meminfo: memFree=1715264/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=68084 CPUtime=3.09
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 18366 0 0 0 300 9 0 0 25 0 1 0 35688567 69718016 15609 1992294400 4194304 8223781 140735536934480 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 17021 15609 466 984 0 16034 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68084
[startup+6.30107 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2276
/proc/meminfo: memFree=1702368/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=83144 CPUtime=6.29
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 23429 0 0 0 616 13 0 0 25 0 1 0 35688567 85139456 18856 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 20786 18856 552 984 0 19799 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83144
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2276
/proc/meminfo: memFree=1693564/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=96764 CPUtime=12.69
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 41598 0 0 0 1243 26 0 0 25 0 1 0 35688567 99086336 21103 1992294400 4194304 8223781 140735536934480 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 24191 21103 584 984 0 23204 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96764
[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2276
/proc/meminfo: memFree=1686124/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=105600 CPUtime=25.48
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 57938 0 0 0 2507 41 0 0 25 0 1 0 35688567 108134400 23009 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26400 23009 584 984 0 25413 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105600
[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2276
/proc/meminfo: memFree=1686868/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=106384 CPUtime=51.08
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 126034 0 0 0 5026 82 0 0 25 0 1 0 35688567 108937216 23248 1992294400 4194304 8223781 140735536934480 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26596 23248 585 984 0 25609 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106384
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2278
/proc/meminfo: memFree=1686000/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=103436 CPUtime=102.27
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 288070 0 0 0 10047 180 0 0 25 0 1 0 35688567 105918464 22764 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 25859 22764 585 984 0 24872 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 103436
[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2280
/proc/meminfo: memFree=1686000/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=104932 CPUtime=162.23
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 441071 0 0 0 15948 275 0 0 25 0 1 0 35688567 107450368 23035 1992294400 4194304 8223781 140735536934480 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26233 23035 585 984 0 25246 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 104932
[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2280
/proc/meminfo: memFree=1684636/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=105244 CPUtime=222.22
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 549137 0 0 0 21869 353 0 0 25 0 1 0 35688567 107769856 23429 1992294400 4194304 8223781 140735536934480 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26311 23429 590 984 0 25324 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 105244
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2282
/proc/meminfo: memFree=1684760/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=105644 CPUtime=282.2
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 669953 0 0 0 27787 433 0 0 25 0 1 0 35688567 108179456 23217 1992294400 4194304 8223781 140735536934480 18446744073709551615 6568486 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26411 23217 591 984 0 25424 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 105644
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2284
/proc/meminfo: memFree=1684512/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=105248 CPUtime=342.17
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 789766 0 0 0 33694 523 0 0 25 0 1 0 35688567 107773952 23317 1992294400 4194304 8223781 140735536934480 18446744073709551615 6503374 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26312 23317 591 984 0 25325 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 105248
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2286
/proc/meminfo: memFree=1683024/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=104772 CPUtime=402.16
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 925995 0 0 0 39595 621 0 0 25 0 1 0 35688567 107286528 23791 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26193 23791 592 984 0 25206 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 104772
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2288
/proc/meminfo: memFree=1680172/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=107888 CPUtime=462.14
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 1051981 0 0 0 45500 714 0 0 25 0 1 0 35688567 110477312 24427 1992294400 4194304 8223781 140735536934480 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 26972 24427 591 984 0 25985 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 107888
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2288
/proc/meminfo: memFree=1677568/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=113536 CPUtime=522.12
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 1178279 0 0 0 51399 813 0 0 25 0 1 0 35688567 116260864 25310 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 28384 25310 591 984 0 27397 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 113536
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2291
/proc/meminfo: memFree=1675336/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=112728 CPUtime=582.1
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 1305551 0 0 0 57301 909 0 0 25 0 1 0 35688567 115433472 25693 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 28182 25693 600 984 0 27195 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 112728
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 2293
/proc/meminfo: memFree=1672484/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=117444 CPUtime=642.08
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 1421370 0 0 0 63211 997 0 0 25 0 1 0 35688567 120262656 26298 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 29361 26298 591 984 0 28374 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 117444
[startup+702.301 s]
################
# More data... #
################
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2299
/proc/meminfo: memFree=1671988/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=115576 CPUtime=881.99
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 1891481 0 0 0 86852 1347 0 0 25 0 1 0 35688567 118349824 26375 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 28894 26375 591 984 0 27907 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 115576
[startup+942.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 2310
/proc/meminfo: memFree=1671120/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=119328 CPUtime=941.96
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2018452 0 0 0 92756 1440 0 0 25 0 1 0 35688567 122191872 26809 1992294400 4194304 8223781 140735536934480 18446744073709551615 6568504 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 29832 26809 591 984 0 28845 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 119328
[startup+1002.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 2312
/proc/meminfo: memFree=1670996/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=120216 CPUtime=1001.94
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2135376 0 0 0 98660 1534 0 0 25 0 1 0 35688567 123101184 26972 1992294400 4194304 8223781 140735536934480 18446744073709551615 6568482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 30054 26972 591 984 0 29067 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 120216
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2315
/proc/meminfo: memFree=1670624/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=117140 CPUtime=1061.92
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2243030 0 0 0 104563 1629 0 0 25 0 1 0 35688567 119951360 26700 1992294400 4194304 8223781 140735536934480 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 29285 26700 591 984 0 28298 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 117140
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2315
/proc/meminfo: memFree=1670624/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=118076 CPUtime=1121.91
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2369331 0 0 0 110461 1730 0 0 25 0 1 0 35688567 120909824 26760 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 29519 26760 591 984 0 28532 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 118076
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2318
/proc/meminfo: memFree=1670376/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=118768 CPUtime=1181.88
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2484633 0 0 0 116361 1827 0 0 25 0 1 0 35688567 121618432 26836 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 29692 26836 591 984 0 28705 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 118768
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2320
/proc/meminfo: memFree=1668640/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=120948 CPUtime=1241.86
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2609170 0 0 0 122263 1923 0 0 25 0 1 0 35688567 123850752 27194 1992294400 4194304 8223781 140735536934480 18446744073709551615 6359718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 30237 27194 591 984 0 29250 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 120948
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 2322
/proc/meminfo: memFree=1668764/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=118556 CPUtime=1301.85
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2744186 0 0 0 128165 2020 0 0 25 0 1 0 35688567 121401344 26867 1992294400 4194304 8223781 140735536934480 18446744073709551615 6599059 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 29639 26867 591 984 0 28652 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 118556
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2324
/proc/meminfo: memFree=1667896/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=120004 CPUtime=1361.82
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2853948 0 0 0 134077 2105 0 0 25 0 1 0 35688567 122884096 27367 1992294400 4194304 8223781 140735536934480 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 30001 27367 591 984 0 29014 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 120004
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2324
/proc/meminfo: memFree=1666780/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=122208 CPUtime=1421.81
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 2984423 0 0 0 139979 2202 0 0 25 0 1 0 35688567 125140992 27554 1992294400 4194304 8223781 140735536934480 18446744073709551615 6604282 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 30552 27559 591 984 0 29565 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 122208
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2326
/proc/meminfo: memFree=1666656/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=121940 CPUtime=1481.78
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3117245 0 0 0 145875 2303 0 0 25 0 1 0 35688567 124866560 27636 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 30485 27636 591 984 0 29498 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 121940
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2328
/proc/meminfo: memFree=1666780/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=121116 CPUtime=1541.76
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3266091 0 0 0 151763 2413 0 0 25 0 1 0 35688567 124022784 27632 1992294400 4194304 8223781 140735536934480 18446744073709551615 6568466 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 30279 27632 591 984 0 29292 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 121116
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2330
/proc/meminfo: memFree=1664672/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=124948 CPUtime=1601.74
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3398003 0 0 0 157653 2521 0 0 25 0 1 0 35688567 127946752 28157 1992294400 4194304 8223781 140735536934480 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 31237 28157 592 984 0 30250 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 124948
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2332
/proc/meminfo: memFree=1664548/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=123988 CPUtime=1661.72
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3508348 0 0 0 163558 2614 0 0 25 0 1 0 35688567 126963712 28204 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 30997 28204 592 984 0 30010 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 123988
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2332
/proc/meminfo: memFree=1663184/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=126432 CPUtime=1721.7
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3640136 0 0 0 169450 2720 0 0 25 0 1 0 35688567 129466368 28643 1992294400 4194304 8223781 140735536934480 18446744073709551615 6612616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 31608 28643 592 984 0 30621 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 126432
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2334
/proc/meminfo: memFree=1658100/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=129844 CPUtime=1781.68
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3759258 0 0 0 175354 2814 0 0 25 0 1 0 35688567 132960256 29607 1992294400 4194304 8223781 140735536934480 18446744073709551615 6599057 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 32461 29607 592 984 0 31474 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 129844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2336
/proc/meminfo: memFree=1657976/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=130276 CPUtime=1800.09
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3786629 0 0 0 177169 2840 0 0 25 0 1 0 35688567 133402624 29697 1992294400 4194304 8223781 140735536934480 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2275/statm: 32569 29697 592 984 0 31582 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 130276
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2336
/proc/meminfo: memFree=1657976/2059040 swapFree=4140328/4192956
[pid=2275] ppid=2273 vsize=130212 CPUtime=1800.18
/proc/2275/stat : 2275 (pbscip.linux.x8) R 2273 2275 1650 0 -1 4202496 3787000 0 0 0 177178 2840 0 0 25 0 1 0 35688567 133337088 29645 1992294400 4194304 8223781 140735536934480 18446744073709551615 6027059 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2275/statm: 32553 29645 594 984 0 31566 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 130212
Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.28
CPU user time (s): 1771.85
CPU system time (s): 28.4207
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 130784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1771.85
system time used= 28.4207
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3787004
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= 1
involuntary context switches= 1039
runsolver used 3.9164 second user time and 9.1966 second system time
The end