0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [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-2664208-1276585100.opb>
0.39/0.42 c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.39/0.42 c problem read
0.39/0.42 c presolving settings loaded
0.39/0.42 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.49/0.54 c presolving:
0.59/0.64 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.69/0.70 c (round 2) 0 del vars, 3094 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 104 upgd conss, 0 impls, 0 clqs
0.69/0.76 c (round 3) 0 del vars, 3094 del conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 195 upgd conss, 1092 impls, 0 clqs
2.40/2.44 c (2.0s) probing: 113/3297 (3.4%) - 0 fixings, 0 aggregations, 2730 implications, 0 bound changes
2.40/2.44 c (2.0s) probing aborted: 100/100 successive totally useless probings
2.40/2.45 c presolving (4 rounds):
2.40/2.45 c 0 deleted vars, 3094 deleted constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
2.40/2.45 c 6552 implications, 0 cliques
2.40/2.45 c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
2.40/2.45 c 195 constraints of type <knapsack>
2.40/2.45 c 3094 constraints of type <linear>
2.40/2.45 c transformed objective value is always integral (scale: 1)
2.40/2.45 c Presolving Time: 1.89
2.40/2.45 c - non default parameters ----------------------------------------------------------------------
2.40/2.45 c # SCIP version 1.2.1.2
2.40/2.45 c
2.40/2.45 c # frequency for displaying node information lines
2.40/2.45 c # [type: int, range: [-1,2147483647], default: 100]
2.40/2.45 c display/freq = 10000
2.40/2.45 c
2.40/2.45 c # maximal time in seconds to run
2.40/2.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.40/2.45 c limits/time = 1799.59
2.40/2.45 c
2.40/2.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.40/2.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
2.40/2.45 c limits/memory = 1620
2.40/2.45 c
2.40/2.45 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
2.40/2.45 c # [type: int, range: [-1,2147483647], default: 1]
2.40/2.45 c lp/solvefreq = -1
2.40/2.45 c
2.40/2.45 c # should presolving try to simplify inequalities
2.40/2.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.40/2.45 c constraints/linear/simplifyinequalities = TRUE
2.40/2.45 c
2.40/2.45 c # should presolving try to simplify knapsacks
2.40/2.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
2.40/2.45 c constraints/knapsack/simplifyinequalities = TRUE
2.40/2.45 c
2.40/2.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
2.40/2.45 c # [type: int, range: [-1,2147483647], default: -1]
2.40/2.45 c separating/rapidlearning/freq = 0
2.40/2.45 c
2.40/2.45 c -----------------------------------------------------------------------------------------------
2.40/2.45 c start solving
2.40/2.45 c
2.40/2.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.40/2.46 c 2.0s| 1 | 2 | 0 | - | 20M| 0 | - |3297 |3289 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
155.95/156.02 c 155s| 10000 | 7684 | 0 | 0.0 | 52M|3213 | - |3297 |4703 | 0 | 0 | 0 |3563 | 0 | 0.000000e+00 | -- | Inf
392.78/392.90 c 391s| 20000 | 10727 | 0 | 0.0 | 87M|3213 | - |3297 |4262 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | -- | Inf
619.53/619.74 c 618s| 30000 | 14036 | 0 | 0.0 | 127M|3213 | - |3297 |4057 | 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | -- | Inf
848.47/848.78 c 846s| 40000 | 18489 | 0 | 0.0 | 168M|3213 | - |3297 |4740 | 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | -- | Inf
1070.11/1070.45 c 1067s| 50000 | 22952 | 0 | 0.0 | 218M|3213 | - |3297 |4220 | 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | -- | Inf
1223.57/1223.90 c 1220s| 60000 | 28759 | 0 | 0.0 | 271M|3213 | - |3297 |4616 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | -- | Inf
1372.54/1372.94 c 1369s| 70000 | 33880 | 0 | 0.0 | 310M|3213 | - |3297 |4492 | 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | -- | Inf
1583.68/1584.11 c 1580s| 80000 | 37798 | 0 | 0.0 | 362M|3213 | - |3297 |4944 | 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | -- | Inf
1726.25/1726.70 c 1722s| 90000 | 43943 | 0 | 0.0 | 398M|3213 | - |3297 |4506 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | -- | Inf
1800.04/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.52 c
1800.04/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.52 c Solving Time (sec) : 1795.34
1800.04/1800.52 c Solving Nodes : 95706
1800.04/1800.52 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.04/1800.52 c Dual Bound : +0.00000000000000e+00
1800.04/1800.52 c Gap : infinite
1800.04/1800.52 s UNKNOWN
1800.04/1800.52 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.52 c Solving Time : 1795.34
1800.04/1800.52 c Original Problem :
1800.04/1800.52 c Problem name : HOME/instance-2664208-1276585100.opb
1800.04/1800.52 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52 c Constraints : 6383 initial, 6383 maximal
1800.04/1800.52 c Presolved Problem :
1800.04/1800.52 c Problem name : t_HOME/instance-2664208-1276585100.opb
1800.04/1800.52 c Variables : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.52 c Constraints : 3289 initial, 5369 maximal
1800.04/1800.52 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.52 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.52 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c probing : 1.66 0 0 0 0 0 0 0 0
1800.04/1800.52 c knapsack : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.52 c linear : 0.16 0 0 0 0 0 3094 182 182
1800.04/1800.52 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.52 c root node : - 0 - - 0 - - - -
1800.04/1800.52 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.52 c integral : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.52 c knapsack : 195 0 288322 0 78950 4004 520596 0 0 0
1800.04/1800.52 c linear : 3094 0 284318 0 78950 19964 10744440 0 0 0
1800.04/1800.52 c logicor : 0+ 0 133741 0 0 1398 62171 0 0 0
1800.04/1800.52 c countsols : 0 0 0 0 78950 0 0 0 0 0
1800.04/1800.52 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.52 c integral : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.52 c knapsack : 77.40 0.00 75.96 0.00 1.44
1800.04/1800.52 c linear : 1300.67 0.00 1300.40 0.00 0.27
1800.04/1800.52 c logicor : 31.54 0.00 31.54 0.00 0.00
1800.04/1800.52 c countsols : 0.05 0.00 0.00 0.00 0.05
1800.04/1800.52 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.52 c vbounds : 0.25 2 0 0
1800.04/1800.52 c rootredcost : 0.19 0 0 0
1800.04/1800.52 c pseudoobj : 0.77 288086 0 0
1800.04/1800.52 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.52 c propagation : 4.08 25366 25246 175863 38.1 921 24.3 -
1800.04/1800.52 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.52 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.04/1800.52 c applied globally : - - - 64752 34.2 - - -
1800.04/1800.52 c applied locally : - - - 0 0.0 - - -
1800.04/1800.52 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.52 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.04/1800.52 c redcost : 0.00 0 0 0 0 0
1800.04/1800.52 c impliedbounds : 0.00 0 0 0 0 0
1800.04/1800.52 c intobj : 0.00 0 0 0 0 0
1800.04/1800.52 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.52 c gomory : 0.00 0 0 0 0 0
1800.04/1800.52 c strongcg : 0.00 0 0 0 0 0
1800.04/1800.52 c cmir : 0.00 0 0 0 0 0
1800.04/1800.52 c flowcover : 0.00 0 0 0 0 0
1800.04/1800.52 c clique : 0.00 0 0 0 0 0
1800.04/1800.52 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.52 c mcf : 0.00 0 0 0 0 0
1800.04/1800.52 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.52 c Pricers : Time Calls Vars
1800.04/1800.52 c problem variables: 0.00 0 0
1800.04/1800.52 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.52 c relpscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.52 c inference : 93.09 78950 0 0 0 0 157900
1800.04/1800.52 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.52 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.52 c random : 0.00 0 0 0 0 0 0
1800.04/1800.52 c Primal Heuristics : Time Calls Found
1800.04/1800.52 c LP solutions : 0.00 - 0
1800.04/1800.52 c pseudo solutions : 0.00 - 0
1800.04/1800.52 c oneopt : 0.06 0 0
1800.04/1800.52 c trivial : 0.01 2 0
1800.04/1800.52 c simplerounding : 0.00 0 0
1800.04/1800.52 c zirounding : 0.00 0 0
1800.04/1800.52 c rounding : 0.00 0 0
1800.04/1800.52 c shifting : 0.00 0 0
1800.04/1800.52 c intshifting : 0.00 0 0
1800.04/1800.52 c twoopt : 0.00 0 0
1800.04/1800.52 c fixandinfer : 0.00 0 0
1800.04/1800.52 c feaspump : 0.00 0 0
1800.04/1800.52 c coefdiving : 0.00 0 0
1800.04/1800.52 c pscostdiving : 0.00 0 0
1800.04/1800.52 c fracdiving : 0.00 0 0
1800.04/1800.52 c veclendiving : 0.00 0 0
1800.04/1800.52 c intdiving : 0.00 0 0
1800.04/1800.52 c actconsdiving : 0.00 0 0
1800.04/1800.52 c objpscostdiving : 0.00 0 0
1800.04/1800.52 c rootsoldiving : 0.00 0 0
1800.04/1800.52 c linesearchdiving : 0.00 0 0
1800.04/1800.52 c guideddiving : 0.00 0 0
1800.04/1800.52 c octane : 0.00 0 0
1800.04/1800.52 c rens : 0.00 0 0
1800.04/1800.52 c rins : 0.00 0 0
1800.04/1800.52 c localbranching : 0.00 0 0
1800.04/1800.52 c mutation : 0.00 0 0
1800.04/1800.52 c crossover : 0.00 0 0
1800.04/1800.52 c dins : 0.00 0 0
1800.04/1800.52 c undercover : 0.00 0 0
1800.04/1800.52 c nlp : 0.17 0 0
1800.04/1800.52 c trysol : 0.05 0 0
1800.04/1800.52 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.52 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.52 c dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.52 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.52 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.52 c strong branching : 0.00 0 0 0.00 -
1800.04/1800.52 c (at root node) : - 0 0 0.00 -
1800.04/1800.52 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.52 c B&B Tree :
1800.04/1800.52 c number of runs : 1
1800.04/1800.52 c nodes : 95706
1800.04/1800.52 c nodes (total) : 95706
1800.04/1800.52 c nodes left : 47503
1800.04/1800.52 c max depth : 3213
1800.04/1800.52 c max depth (total): 3213
1800.04/1800.52 c backtracks : 9911 (10.4%)
1800.04/1800.52 c delayed cutoffs : 14692
1800.04/1800.52 c repropagations : 37385 (1685261 domain reductions, 8610 cutoffs)
1800.04/1800.52 c avg switch length: 5.79
1800.04/1800.52 c switching time : 278.71
1800.04/1800.52 c Solution :
1800.04/1800.52 c Solutions found : 0 (0 improvements)
1800.04/1800.52 c Primal Bound : -
1800.04/1800.52 c Dual Bound : +0.00000000000000e+00
1800.04/1800.52 c Gap : infinite
1800.04/1800.52 c Root Dual Bound : +0.00000000000000e+00
1800.04/1800.52 c Root Iterations : 0
1800.63/1801.19 c Time complete: 1800.72.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664208-1276585100/watcher-2664208-1276585100 -o /tmp/evaluation-result-2664208-1276585100/solver-2664208-1276585100 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664208-1276585100.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.15 1.05 1.01 3/106 4600
/proc/meminfo: memFree=1832536/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=6584 CPUtime=0
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 981 0 0 0 0 0 0 0 22 0 1 0 34113992 6742016 903 1992294400 4194304 7136930 140736243241424 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4600/statm: 1646 913 254 719 0 925 0
[startup+0.0461631 s]
/proc/loadavg: 1.15 1.05 1.01 3/106 4600
/proc/meminfo: memFree=1832536/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=8736 CPUtime=0.04
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 1684 0 0 0 4 0 0 0 22 0 1 0 34113992 8945664 1606 1992294400 4194304 7136930 140736243241424 18446744073709551615 6285946 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4600/statm: 2184 1606 271 719 0 1463 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8736
[startup+0.101169 s]
/proc/loadavg: 1.15 1.05 1.01 3/106 4600
/proc/meminfo: memFree=1832536/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=10196 CPUtime=0.09
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 2027 0 0 0 9 0 0 0 22 0 1 0 34113992 10440704 1949 1992294400 4194304 7136930 140736243241424 18446744073709551615 4240595 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4600/statm: 2549 1949 271 719 0 1828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10196
[startup+0.301188 s]
/proc/loadavg: 1.15 1.05 1.01 3/106 4600
/proc/meminfo: memFree=1832536/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=15204 CPUtime=0.29
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 3281 0 0 0 28 1 0 0 22 0 1 0 34113992 15568896 3203 1992294400 4194304 7136930 140736243241424 18446744073709551615 6304154 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4600/statm: 3801 3203 271 719 0 3080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15204
[startup+0.70123 s]
/proc/loadavg: 1.15 1.05 1.01 3/106 4600
/proc/meminfo: memFree=1832536/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=64192 CPUtime=0.69
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 15425 0 0 0 63 6 0 0 23 0 1 0 34113992 65732608 14736 1992294400 4194304 7136930 140736243241424 18446744073709551615 4222698 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 16048 14736 342 719 0 15327 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64192
[startup+1.50131 s]
/proc/loadavg: 1.14 1.05 1.01 2/107 4601
/proc/meminfo: memFree=1773380/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=65520 CPUtime=1.5
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 16803 0 0 0 142 8 0 0 25 0 1 0 34113992 67092480 15086 1992294400 4194304 7136930 140736243241424 18446744073709551615 4979554 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 16380 15086 366 719 0 15659 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 65520
[startup+3.10147 s]
/proc/loadavg: 1.14 1.05 1.01 2/107 4601
/proc/meminfo: memFree=1772884/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=66808 CPUtime=3.09
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 17153 0 0 0 301 8 0 0 25 0 1 0 34113992 68411392 15436 1992294400 4194304 7136930 140736243241424 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 16702 15436 386 719 0 15981 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66808
[startup+6.3008 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 4603
/proc/meminfo: memFree=1770032/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=68492 CPUtime=6.29
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 17602 0 0 0 616 13 0 0 25 0 1 0 34113992 70135808 15885 1992294400 4194304 7136930 140736243241424 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 17123 15885 394 719 0 16402 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 68492
[startup+12.7015 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 4603
/proc/meminfo: memFree=1766808/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=71624 CPUtime=12.69
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 18387 0 0 0 1254 15 0 0 25 0 1 0 34113992 73342976 16670 1992294400 4194304 7136930 140736243241424 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 17906 16670 394 719 0 17185 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 71624
[startup+25.5008 s]
/proc/loadavg: 1.09 1.05 1.01 2/107 4603
/proc/meminfo: memFree=1763460/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=75260 CPUtime=25.48
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 19221 0 0 0 2531 17 0 0 25 0 1 0 34113992 77066240 17504 1992294400 4194304 7136930 140736243241424 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 18815 17504 394 719 0 18094 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 75260
[startup+51.1004 s]
/proc/loadavg: 1.06 1.04 1.01 2/107 4603
/proc/meminfo: memFree=1755524/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=84540 CPUtime=51.08
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 21243 0 0 0 5084 24 0 0 25 0 1 0 34113992 86568960 19526 1992294400 4194304 7136930 140736243241424 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 21135 19526 394 719 0 20414 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84540
[startup+102.309 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 4605
/proc/meminfo: memFree=1740024/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=102556 CPUtime=102.27
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 25081 0 0 0 10192 35 0 0 25 0 1 0 34113992 105017344 23364 1992294400 4194304 7136930 140736243241424 18446744073709551615 4923914 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 25639 23364 394 719 0 24918 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 102556
[startup+162.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 4616
/proc/meminfo: memFree=1729980/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=112740 CPUtime=162.24
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 27328 0 0 0 16179 45 0 0 25 0 1 0 34113992 115445760 25611 1992294400 4194304 7136930 140736243241424 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 28185 25611 394 719 0 27464 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 112740
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 4616
/proc/meminfo: memFree=1720928/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=123572 CPUtime=222.23
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 29681 0 0 0 22163 60 0 0 25 0 1 0 34113992 126537728 27964 1992294400 4194304 7136930 140736243241424 18446744073709551615 4925479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 30893 27964 394 719 0 30172 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 123572
[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4618
/proc/meminfo: memFree=1707536/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=138328 CPUtime=282.22
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 33049 0 0 0 28147 75 0 0 25 0 1 0 34113992 141647872 31332 1992294400 4194304 7136930 140736243241424 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 34582 31332 394 719 0 33861 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 138328
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4620
/proc/meminfo: memFree=1696376/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=150628 CPUtime=342.2
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 35825 0 0 0 34131 89 0 0 25 0 1 0 34113992 154243072 34108 1992294400 4194304 7136930 140736243241424 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 37657 34108 394 719 0 36936 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 150628
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4622
/proc/meminfo: memFree=1684472/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=164304 CPUtime=402.19
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 38796 0 0 0 40118 101 0 0 25 0 1 0 34113992 168247296 37079 1992294400 4194304 7136930 140736243241424 18446744073709551615 4979703 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 41076 37079 394 719 0 40355 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 164304
[startup+462.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 4624
/proc/meminfo: memFree=1674056/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=177076 CPUtime=462.16
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 41403 0 0 0 46107 109 0 0 25 0 1 0 34113992 181325824 39686 1992294400 4194304 7136930 140736243241424 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 44269 39686 394 719 0 43548 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 177076
[startup+522.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 4624
/proc/meminfo: memFree=1660788/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=193568 CPUtime=522.15
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 44732 0 0 0 52092 123 0 0 25 0 1 0 34113992 198213632 43015 1992294400 4194304 7136930 140736243241424 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 48392 43015 394 719 0 47671 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 193568
[startup+582.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 4626
/proc/meminfo: memFree=1648140/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=207836 CPUtime=582.13
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 47870 0 0 0 58074 139 0 0 25 0 1 0 34113992 212824064 46153 1992294400 4194304 7136930 140736243241424 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 51959 46153 394 719 0 51238 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 207836
[startup+642.301 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 4628
/proc/meminfo: memFree=1629540/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=228708 CPUtime=642.13
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 52467 0 0 0 64057 156 0 0 25 0 1 0 34113992 234196992 50750 1992294400 4194304 7136930 140736243241424 18446744073709551615 4979712 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 57177 50750 394 719 0 56456 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 228708
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.07 1.08 1.01 2/107 4641
/proc/meminfo: memFree=1550428/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=322392 CPUtime=1002.03
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 72063 0 0 0 99976 227 0 0 25 0 1 0 34113992 330129408 70346 1992294400 4194304 7136930 140736243241424 18446744073709551615 4978022 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 80598 70346 394 719 0 79877 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 322392
[startup+1062.3 s]
/proc/loadavg: 1.02 1.06 1.00 2/107 4643
/proc/meminfo: memFree=1530464/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=346096 CPUtime=1062.02
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 77045 0 0 0 105958 244 0 0 25 0 1 0 34113992 354402304 75328 1992294400 4194304 7136930 140736243241424 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 86524 75328 394 719 0 85803 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 346096
[startup+1122.3 s]
/proc/loadavg: 1.01 1.05 1.00 2/107 4643
/proc/meminfo: memFree=1508144/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=372660 CPUtime=1122
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 82575 0 0 0 111939 261 0 0 25 0 1 0 34113992 381603840 80858 1992294400 4194304 7136930 140736243241424 18446744073709551615 4948367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 93165 80858 394 719 0 92444 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 372660
[startup+1182.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 4645
/proc/meminfo: memFree=1486692/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=401636 CPUtime=1181.98
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 88095 0 0 0 117920 278 0 0 25 0 1 0 34113992 411275264 86378 1992294400 4194304 7136930 140736243241424 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 100409 86378 394 719 0 99688 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 401636
[startup+1242.3 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 4647
/proc/meminfo: memFree=1464372/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=426876 CPUtime=1241.97
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 93654 0 0 0 123902 295 0 0 25 0 1 0 34113992 437121024 91937 1992294400 4194304 7136930 140736243241424 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 106719 91937 394 719 0 105998 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 426876
[startup+1302.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 4649
/proc/meminfo: memFree=1445152/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=449596 CPUtime=1301.96
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 98325 0 0 0 129885 311 0 0 25 0 1 0 34113992 460386304 96608 1992294400 4194304 7136930 140736243241424 18446744073709551615 4978151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 112399 96608 394 719 0 111678 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 449596
[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 4651
/proc/meminfo: memFree=1429900/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=466804 CPUtime=1361.94
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 102166 0 0 0 135869 325 0 0 25 0 1 0 34113992 478007296 100449 1992294400 4194304 7136930 140736243241424 18446744073709551615 5956715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 116701 100449 394 719 0 115980 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 466804
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 4651
/proc/meminfo: memFree=1409316/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=493604 CPUtime=1421.93
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 107227 0 0 0 141855 338 0 0 25 0 1 0 34113992 505450496 105510 1992294400 4194304 7136930 140736243241424 18446744073709551615 4979650 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 123401 105510 394 719 0 122680 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 493604
[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4653
/proc/meminfo: memFree=1391956/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=514376 CPUtime=1481.91
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 111571 0 0 0 147839 352 0 0 25 0 1 0 34113992 526721024 109854 1992294400 4194304 7136930 140736243241424 18446744073709551615 4978284 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 128594 109854 394 719 0 127873 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 514376
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 4655
/proc/meminfo: memFree=1374100/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=535156 CPUtime=1541.89
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 116028 0 0 0 153824 365 0 0 25 0 1 0 34113992 547999744 114311 1992294400 4194304 7136930 140736243241424 18446744073709551615 4925526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 133789 114311 394 719 0 133068 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 535156
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4657
/proc/meminfo: memFree=1358352/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=553644 CPUtime=1601.88
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 119963 0 0 0 159811 377 0 0 25 0 1 0 34113992 566931456 118246 1992294400 4194304 7136930 140736243241424 18446744073709551615 4948417 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 138411 118246 394 719 0 137690 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 553644
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4659
/proc/meminfo: memFree=1343720/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=570132 CPUtime=1661.86
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 123572 0 0 0 165794 392 0 0 25 0 1 0 34113992 583815168 121855 1992294400 4194304 7136930 140736243241424 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 142533 121855 394 719 0 141812 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 570132
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4659
/proc/meminfo: memFree=1326856/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=590912 CPUtime=1721.85
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 127840 0 0 0 171775 410 0 0 25 0 1 0 34113992 605093888 126123 1992294400 4194304 7136930 140736243241424 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 147728 126123 394 719 0 147007 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 590912
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4661
/proc/meminfo: memFree=1307636/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=612480 CPUtime=1781.83
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 132577 0 0 0 177758 425 0 0 25 0 1 0 34113992 627179520 130860 1992294400 4194304 7136930 140736243241424 18446744073709551615 4740313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 153120 130860 394 719 0 152399 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 612480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 4661
/proc/meminfo: memFree=1301932/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=618708 CPUtime=1800.04
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 133960 0 0 0 179573 431 0 0 25 0 1 0 34113992 633556992 132243 1992294400 4194304 7136930 140736243241424 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/4600/statm: 154677 132243 394 719 0 153956 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 618708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4662
/proc/meminfo: memFree=1301924/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=618708 CPUtime=1800.15
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 133966 0 0 0 179584 431 0 0 25 0 1 0 34113992 633556992 132249 1992294400 4194304 7136930 140736243241424 18446744073709551615 6166233 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4600/statm: 154677 132249 400 719 0 153956 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 618708
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4662
/proc/meminfo: memFree=1301924/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=618708 CPUtime=1800.53
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 133976 0 0 0 179622 431 0 0 25 0 1 0 34113992 633556992 132259 1992294400 4194304 7136930 140736243241424 18446744073709551615 4212311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4600/statm: 154677 132259 400 719 0 153956 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 618708
[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 4662
/proc/meminfo: memFree=1301924/2059040 swapFree=4135652/4192956
[pid=4600] ppid=4598 vsize=614420 CPUtime=1800.63
/proc/4600/stat : 4600 (pbscip.linux.x8) R 4598 4600 4091 0 -1 4202496 133980 0 0 0 179632 431 0 0 25 0 1 0 34113992 629166080 131192 1992294400 4194304 7136930 140736243241424 18446744073709551615 4913800 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/4600/statm: 153605 131192 400 719 0 152884 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 614420
Child status: 0
Real time (s): 1801.2
CPU time (s): 1800.73
CPU user time (s): 1796.35
CPU system time (s): 4.38333
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 618708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.35
system time used= 4.38333
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133987
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= 4
involuntary context switches= 1734
runsolver used 2.88056 second user time and 8.60769 second system time
The end