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-2664120-1276619833.opb>
0.79/0.89 c original problem has 7081 variables (7081 bin, 0 int, 0 impl, 0 cont) and 13889 constraints
0.79/0.89 c problem read
0.79/0.90 c presolving settings loaded
0.89/0.90 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
1.09/1.19 c presolving:
1.39/1.43 c (round 1) 1 del vars, 1 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.49/1.55 c (round 2) 1 del vars, 6214 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 739 upgd conss, 0 impls, 0 clqs
1.69/1.73 c (round 3) 1 del vars, 6214 del conss, 1 chg bounds, 28 chg sides, 869 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
1.79/1.80 c (round 4) 1 del vars, 6214 del conss, 1 chg bounds, 33 chg sides, 1092 chg coeffs, 1462 upgd conss, 946 impls, 4 clqs
5.50/5.58 c (4.5s) probing: 109/7080 (1.5%) - 0 fixings, 0 aggregations, 1729 implications, 0 bound changes
5.50/5.58 c (4.5s) probing aborted: 100/100 successive totally useless probings
5.50/5.58 c presolving (5 rounds):
5.50/5.58 c 1 deleted vars, 6214 deleted constraints, 1 tightened bounds, 0 added holes, 33 changed sides, 1096 changed coefficients
5.50/5.58 c 4404 implications, 4 cliques
5.50/5.58 c presolved problem has 7080 variables (7080 bin, 0 int, 0 impl, 0 cont) and 7675 constraints
5.50/5.58 c 1462 constraints of type <knapsack>
5.50/5.58 c 6213 constraints of type <linear>
5.50/5.58 c transformed objective value is always integral (scale: 1)
5.50/5.58 c Presolving Time: 4.37
5.50/5.58 c - non default parameters ----------------------------------------------------------------------
5.50/5.58 c # SCIP version 1.2.1.2
5.50/5.58 c
5.50/5.58 c # frequency for displaying node information lines
5.50/5.58 c # [type: int, range: [-1,2147483647], default: 100]
5.50/5.58 c display/freq = 10000
5.50/5.58 c
5.50/5.58 c # maximal time in seconds to run
5.50/5.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.50/5.58 c limits/time = 1799.11
5.50/5.58 c
5.50/5.58 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.50/5.58 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.50/5.58 c limits/memory = 1620
5.50/5.58 c
5.50/5.58 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
5.50/5.58 c # [type: int, range: [-1,2147483647], default: 1]
5.50/5.58 c lp/solvefreq = -1
5.50/5.58 c
5.50/5.58 c # should presolving try to simplify inequalities
5.50/5.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.50/5.58 c constraints/linear/simplifyinequalities = TRUE
5.50/5.58 c
5.50/5.58 c # should presolving try to simplify knapsacks
5.50/5.58 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.50/5.58 c constraints/knapsack/simplifyinequalities = TRUE
5.50/5.58 c
5.50/5.58 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.50/5.58 c # [type: int, range: [-1,2147483647], default: -1]
5.50/5.58 c separating/rapidlearning/freq = 0
5.50/5.58 c
5.50/5.58 c -----------------------------------------------------------------------------------------------
5.50/5.58 c start solving
5.50/5.59 c
5.59/5.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
5.59/5.61 c 4.5s| 1 | 2 | 0 | - | 48M| 0 | - |7080 |7675 | 0 | 0 | 0 | 0 | 0 | 1.360000e+02 | -- | Inf
109.74/109.87 c 108s| 10000 | 8964 | 0 | 0.0 | 68M|3727 | - |7080 |8522 | 0 | 0 | 0 | 847 | 0 | 1.360000e+02 | -- | Inf
445.24/445.50 c 443s| 20000 | 15422 | 0 | 0.0 | 128M|3727 | - |7080 |8666 | 0 | 0 | 0 |5829 | 0 | 1.360000e+02 | -- | Inf
997.63/998.01 c 995s| 30000 | 19564 | 0 | 0.0 | 222M|3727 | - |7080 |9730 | 0 | 0 | 0 | 14k| 0 | 1.360000e+02 | -- | Inf
1282.91/1283.44 c 1279s| 40000 | 22885 | 0 | 0.0 | 271M|3727 | - |7080 |8794 | 0 | 0 | 0 | 17k| 0 | 1.360000e+02 | -- | Inf
1520.59/1521.24 c 1517s| 50000 | 29893 | 0 | 0.0 | 322M|3727 | - |7080 |8987 | 0 | 0 | 0 | 21k| 0 | 1.360000e+02 | -- | Inf
1768.16/1768.94 c 1764s| 60000 | 36611 | 0 | 0.0 | 375M|3727 | - |7080 |9172 | 0 | 0 | 0 | 26k| 0 | 1.360000e+02 | -- | Inf
1800.06/1800.80 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.82 c
1800.06/1800.82 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.82 c Solving Time (sec) : 1795.52
1800.06/1800.82 c Solving Nodes : 61315
1800.06/1800.82 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.06/1800.82 c Dual Bound : +1.36000000000000e+02
1800.06/1800.82 c Gap : infinite
1800.06/1800.82 s UNKNOWN
1800.06/1800.82 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.82 c Solving Time : 1795.52
1800.06/1800.82 c Original Problem :
1800.06/1800.82 c Problem name : HOME/instance-2664120-1276619833.opb
1800.06/1800.82 c Variables : 7081 (7081 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.82 c Constraints : 13889 initial, 13889 maximal
1800.06/1800.82 c Presolved Problem :
1800.06/1800.82 c Problem name : t_HOME/instance-2664120-1276619833.opb
1800.06/1800.82 c Variables : 7080 (7080 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.06/1800.82 c Constraints : 7675 initial, 9904 maximal
1800.06/1800.82 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.06/1800.82 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.06/1800.82 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c implics : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c probing : 3.74 0 0 0 0 0 0 0 0
1800.06/1800.82 c knapsack : 0.11 0 0 0 0 0 0 5 227
1800.06/1800.82 c linear : 0.42 1 0 0 1 0 6214 28 869
1800.06/1800.82 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.06/1800.82 c root node : - 0 - - 0 - - - -
1800.06/1800.82 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.06/1800.82 c integral : 0 0 0 0 0 0 0 0 0 0
1800.06/1800.82 c knapsack : 1462 0 208481 0 53953 2224 1240845 0 0 0
1800.06/1800.82 c linear : 6213 0 206257 0 53953 8056 8290570 0 0 0
1800.06/1800.82 c logicor : 0+ 0 70279 0 0 569 43696 0 0 0
1800.06/1800.82 c countsols : 0 0 0 0 53953 0 0 0 0 0
1800.06/1800.82 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.06/1800.82 c integral : 0.00 0.00 0.00 0.00 0.00
1800.06/1800.82 c knapsack : 165.88 0.00 162.11 0.00 3.77
1800.06/1800.82 c linear : 1176.19 0.00 1176.09 0.00 0.10
1800.06/1800.82 c logicor : 26.96 0.00 26.96 0.00 0.00
1800.06/1800.82 c countsols : 0.06 0.00 0.00 0.00 0.06
1800.06/1800.82 c Propagators : Time Calls Cutoffs DomReds
1800.06/1800.82 c vbounds : 0.23 2 0 0
1800.06/1800.82 c rootredcost : 0.20 0 0 0
1800.06/1800.82 c pseudoobj : 0.56 208255 0 0
1800.06/1800.82 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.06/1800.82 c propagation : 1.73 10849 10833 96350 38.3 691 17.1 -
1800.06/1800.82 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.82 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.82 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.06/1800.82 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.06/1800.82 c applied globally : - - - 27264 31.0 - - -
1800.06/1800.82 c applied locally : - - - 0 0.0 - - -
1800.06/1800.82 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.06/1800.82 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.06/1800.82 c redcost : 0.00 0 0 0 0 0
1800.06/1800.82 c impliedbounds : 0.00 0 0 0 0 0
1800.06/1800.82 c intobj : 0.00 0 0 0 0 0
1800.06/1800.82 c cgmip : 0.00 0 0 0 0 0
1800.06/1800.82 c gomory : 0.00 0 0 0 0 0
1800.06/1800.82 c strongcg : 0.00 0 0 0 0 0
1800.06/1800.82 c cmir : 0.00 0 0 0 0 0
1800.06/1800.82 c flowcover : 0.00 0 0 0 0 0
1800.06/1800.82 c clique : 0.00 0 0 0 0 0
1800.06/1800.82 c zerohalf : 0.00 0 0 0 0 0
1800.06/1800.82 c mcf : 0.00 0 0 0 0 0
1800.06/1800.82 c rapidlearning : 0.00 0 0 0 0 0
1800.06/1800.82 c Pricers : Time Calls Vars
1800.06/1800.82 c problem variables: 0.00 0 0
1800.06/1800.82 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.06/1800.82 c relpscost : 0.00 0 0 0 0 0 0
1800.06/1800.82 c pscost : 0.00 0 0 0 0 0 0
1800.06/1800.82 c inference : 149.25 53953 0 0 0 0 107906
1800.06/1800.82 c mostinf : 0.00 0 0 0 0 0 0
1800.06/1800.82 c leastinf : 0.00 0 0 0 0 0 0
1800.06/1800.82 c fullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.82 c allfullstrong : 0.00 0 0 0 0 0 0
1800.06/1800.82 c random : 0.00 0 0 0 0 0 0
1800.06/1800.82 c Primal Heuristics : Time Calls Found
1800.06/1800.82 c LP solutions : 0.00 - 0
1800.06/1800.82 c pseudo solutions : 0.00 - 0
1800.06/1800.82 c oneopt : 0.10 0 0
1800.06/1800.82 c trivial : 0.03 2 0
1800.06/1800.82 c simplerounding : 0.00 0 0
1800.06/1800.82 c zirounding : 0.00 0 0
1800.06/1800.82 c rounding : 0.00 0 0
1800.06/1800.82 c shifting : 0.00 0 0
1800.06/1800.82 c intshifting : 0.00 0 0
1800.06/1800.82 c twoopt : 0.00 0 0
1800.06/1800.82 c fixandinfer : 0.00 0 0
1800.06/1800.82 c feaspump : 0.00 0 0
1800.06/1800.82 c coefdiving : 0.00 0 0
1800.06/1800.82 c pscostdiving : 0.00 0 0
1800.06/1800.82 c fracdiving : 0.00 0 0
1800.06/1800.82 c veclendiving : 0.00 0 0
1800.06/1800.82 c intdiving : 0.00 0 0
1800.06/1800.82 c actconsdiving : 0.00 0 0
1800.06/1800.82 c objpscostdiving : 0.00 0 0
1800.06/1800.82 c rootsoldiving : 0.00 0 0
1800.06/1800.82 c linesearchdiving : 0.00 0 0
1800.06/1800.82 c guideddiving : 0.00 0 0
1800.06/1800.82 c octane : 0.00 0 0
1800.06/1800.82 c rens : 0.00 0 0
1800.06/1800.82 c rins : 0.00 0 0
1800.06/1800.82 c localbranching : 0.00 0 0
1800.06/1800.82 c mutation : 0.00 0 0
1800.06/1800.82 c crossover : 0.00 0 0
1800.06/1800.82 c dins : 0.00 0 0
1800.06/1800.82 c undercover : 0.00 0 0
1800.06/1800.82 c nlp : 0.10 0 0
1800.06/1800.82 c trysol : 0.04 0 0
1800.06/1800.82 c LP : Time Calls Iterations Iter/call Iter/sec
1800.06/1800.82 c primal LP : 0.00 0 0 0.00 -
1800.06/1800.82 c dual LP : 0.00 0 0 0.00 -
1800.06/1800.82 c lex dual LP : 0.00 0 0 0.00 -
1800.06/1800.82 c barrier LP : 0.00 0 0 0.00 -
1800.06/1800.82 c diving/probing LP: 0.00 0 0 0.00 -
1800.06/1800.82 c strong branching : 0.00 0 0 0.00 -
1800.06/1800.82 c (at root node) : - 0 0 0.00 -
1800.06/1800.82 c conflict analysis: 0.00 0 0 0.00 -
1800.06/1800.82 c B&B Tree :
1800.06/1800.82 c number of runs : 1
1800.06/1800.82 c nodes : 61315
1800.06/1800.82 c nodes (total) : 61315
1800.06/1800.82 c nodes left : 37494
1800.06/1800.82 c max depth : 3727
1800.06/1800.82 c max depth (total): 3727
1800.06/1800.82 c backtracks : 4001 (6.5%)
1800.06/1800.82 c delayed cutoffs : 9098
1800.06/1800.82 c repropagations : 64506 (1525021 domain reductions, 3487 cutoffs)
1800.06/1800.82 c avg switch length: 16.55
1800.06/1800.82 c switching time : 264.95
1800.06/1800.82 c Solution :
1800.06/1800.82 c Solutions found : 0 (0 improvements)
1800.06/1800.82 c Primal Bound : -
1800.06/1800.82 c Dual Bound : +1.36000000000000e+02
1800.06/1800.82 c Gap : infinite
1800.06/1800.82 c Root Dual Bound : +1.36000000000000e+02
1800.06/1800.82 c Root Iterations : 0
1800.74/1801.53 c Time complete: 1800.78.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664120-1276619833/watcher-2664120-1276619833 -o /tmp/evaluation-result-2664120-1276619833/solver-2664120-1276619833 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664120-1276619833.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 10464
/proc/meminfo: memFree=1751608/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=6584 CPUtime=0
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 957 0 0 0 0 0 0 0 22 0 1 0 3274336 6742016 880 1992294400 4194304 7136930 140736476424608 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10464/statm: 1646 890 254 719 0 925 0
[startup+0.080132 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10464
/proc/meminfo: memFree=1751608/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=9644 CPUtime=0.07
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 1895 0 0 0 7 0 0 0 22 0 1 0 3274336 9875456 1818 1992294400 4194304 7136930 140736476424608 18446744073709551615 6177548 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10464/statm: 2411 1818 271 719 0 1690 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9644
[startup+0.101134 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10464
/proc/meminfo: memFree=1751608/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=10264 CPUtime=0.09
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 2049 0 0 0 9 0 0 0 22 0 1 0 3274336 10510336 1972 1992294400 4194304 7136930 140736476424608 18446744073709551615 6285946 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10464/statm: 2566 1972 271 719 0 1845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10264
[startup+0.301163 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10464
/proc/meminfo: memFree=1751608/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=15612 CPUtime=0.29
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 3384 0 0 0 28 1 0 0 22 0 1 0 3274336 15986688 3307 1992294400 4194304 7136930 140736476424608 18446744073709551615 6274658 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10464/statm: 3903 3307 271 719 0 3182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15612
[startup+0.701221 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 10464
/proc/meminfo: memFree=1751608/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=25236 CPUtime=0.69
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 5776 0 0 0 67 2 0 0 24 0 1 0 3274336 25841664 5699 1992294400 4194304 7136930 140736476424608 18446744073709551615 4640689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10464/statm: 6309 5699 271 719 0 5588 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25236
[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10465
/proc/meminfo: memFree=1688856/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=128536 CPUtime=1.49
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 33009 0 0 0 135 14 0 0 25 0 1 0 3274336 131620864 29872 1992294400 4194304 7136930 140736476424608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 32134 29872 350 719 0 31413 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 128536
[startup+3.10157 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10465
/proc/meminfo: memFree=1630700/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=131548 CPUtime=3.09
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 35575 0 0 0 290 19 0 0 25 0 1 0 3274336 134705152 30639 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 32887 30639 368 719 0 32166 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 131548
[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10465
/proc/meminfo: memFree=1629460/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=132836 CPUtime=6.29
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 35916 0 0 0 610 19 0 0 25 0 1 0 3274336 136024064 30980 1992294400 4194304 7136930 140736476424608 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 33209 30980 388 719 0 32488 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 132836
[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10465
/proc/meminfo: memFree=1627360/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=133876 CPUtime=12.68
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 36190 0 0 0 1244 24 0 0 25 0 1 0 3274336 137089024 31254 1992294400 4194304 7136930 140736476424608 18446744073709551615 5892363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 33469 31254 395 719 0 32748 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 133876
[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10467
/proc/meminfo: memFree=1625004/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=136064 CPUtime=25.49
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 36776 0 0 0 2516 33 0 0 25 0 1 0 3274336 139329536 31840 1992294400 4194304 7136930 140736476424608 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 34016 31840 395 719 0 33295 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136064
[startup+51.1006 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 10467
/proc/meminfo: memFree=1617812/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=143828 CPUtime=51.07
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 38636 0 0 0 5068 39 0 0 25 0 1 0 3274336 147279872 33700 1992294400 4194304 7136930 140736476424608 18446744073709551615 4948383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 35957 33700 395 719 0 35236 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 143828
[startup+102.308 s]
/proc/loadavg: 1.13 1.04 1.01 2/107 10469
/proc/meminfo: memFree=1606032/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=156524 CPUtime=102.25
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 41496 0 0 0 10171 54 0 0 25 0 1 0 3274336 160280576 36560 1992294400 4194304 7136930 140736476424608 18446744073709551615 4948236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 39131 36560 395 719 0 38410 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 156524
[startup+162.301 s]
/proc/loadavg: 1.05 1.03 1.01 2/107 10469
/proc/meminfo: memFree=1592392/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=171632 CPUtime=162.23
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 44913 0 0 0 16158 65 0 0 25 0 1 0 3274336 175751168 39977 1992294400 4194304 7136930 140736476424608 18446744073709551615 5955622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 42908 39977 395 719 0 42187 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 171632
[startup+222.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 10471
/proc/meminfo: memFree=1578256/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=187396 CPUtime=222.2
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 48462 0 0 0 22145 75 0 0 25 0 1 0 3274336 191893504 43526 1992294400 4194304 7136930 140736476424608 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 46849 43526 395 719 0 46128 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 187396
[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 10473
/proc/meminfo: memFree=1567964/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=199204 CPUtime=282.18
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 51006 0 0 0 28133 85 0 0 25 0 1 0 3274336 203984896 46070 1992294400 4194304 7136930 140736476424608 18446744073709551615 5901784 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 49801 46070 395 719 0 49080 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 199204
[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10475
/proc/meminfo: memFree=1557052/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=211156 CPUtime=342.16
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 53671 0 0 0 34120 96 0 0 25 0 1 0 3274336 216223744 48735 1992294400 4194304 7136930 140736476424608 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 52789 48735 395 719 0 52068 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 211156
[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10477
/proc/meminfo: memFree=1542296/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=229428 CPUtime=402.14
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 57375 0 0 0 40110 104 0 0 25 0 1 0 3274336 234934272 52439 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 57357 52439 395 719 0 56636 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 229428
[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10477
/proc/meminfo: memFree=1528532/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=245040 CPUtime=462.12
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 60765 0 0 0 46099 113 0 0 25 0 1 0 3274336 250920960 55829 1992294400 4194304 7136930 140736476424608 18446744073709551615 4862032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 61260 55829 395 719 0 60539 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 245040
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10479
/proc/meminfo: memFree=1513900/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=262456 CPUtime=522.09
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 64484 0 0 0 52088 121 0 0 25 0 1 0 3274336 268754944 59548 1992294400 4194304 7136930 140736476424608 18446744073709551615 4661061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 65614 59548 395 719 0 64893 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 262456
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10481
/proc/meminfo: memFree=1500508/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=277100 CPUtime=582.07
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 67734 0 0 0 58075 132 0 0 25 0 1 0 3274336 283750400 62798 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 69275 62798 395 719 0 68554 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 277100
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10483
/proc/meminfo: memFree=1488604/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=291128 CPUtime=642.06
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 70700 0 0 0 64065 141 0 0 25 0 1 0 3274336 298115072 65764 1992294400 4194304 7136930 140736476424608 18446744073709551615 4980151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 72782 65764 395 719 0 72061 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 291128
[startup+702.301 s]
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 10493
/proc/meminfo: memFree=1409864/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=386560 CPUtime=1001.93
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 90283 0 0 0 99982 211 0 0 25 0 1 0 3274336 395837440 85347 1992294400 4194304 7136930 140736476424608 18446744073709551615 4926406 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 96640 85347 395 719 0 95919 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 386560
[startup+1062.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 10493
/proc/meminfo: memFree=1397836/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=400596 CPUtime=1061.9
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 93286 0 0 0 105974 216 0 0 25 0 1 0 3274336 410210304 88350 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978131 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 100149 88350 395 719 0 99428 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 400596
[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10495
/proc/meminfo: memFree=1385064/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=414984 CPUtime=1121.89
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 96417 0 0 0 111961 228 0 0 25 0 1 0 3274336 424943616 91481 1992294400 4194304 7136930 140736476424608 18446744073709551615 4983706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 103746 91481 395 719 0 103025 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 414984
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 10497
/proc/meminfo: memFree=1370680/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=432204 CPUtime=1181.85
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 100027 0 0 0 117946 239 0 0 25 0 1 0 3274336 442576896 95091 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 108051 95091 395 719 0 107330 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 432204
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10499
/proc/meminfo: memFree=1356792/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=447132 CPUtime=1241.83
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 103434 0 0 0 123932 251 0 0 25 0 1 0 3274336 457863168 98498 1992294400 4194304 7136930 140736476424608 18446744073709551615 4983811 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 111783 98498 395 719 0 111062 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 447132
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10501
/proc/meminfo: memFree=1340920/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=466120 CPUtime=1301.8
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 107402 0 0 0 129916 264 0 0 25 0 1 0 3274336 477306880 102466 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 116530 102466 395 719 0 115809 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 466120
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10501
/proc/meminfo: memFree=1327900/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=481412 CPUtime=1361.78
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 110636 0 0 0 135901 277 0 0 25 0 1 0 3274336 492965888 105700 1992294400 4194304 7136930 140736476424608 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 120353 105700 395 719 0 119632 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 481412
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10503
/proc/meminfo: memFree=1311780/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=500548 CPUtime=1421.76
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 114639 0 0 0 141885 291 0 0 25 0 1 0 3274336 512561152 109703 1992294400 4194304 7136930 140736476424608 18446744073709551615 4925973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 125137 109703 395 719 0 124416 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 500548
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10514
/proc/meminfo: memFree=1300992/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=513196 CPUtime=1481.7
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 117233 0 0 0 147867 303 0 0 25 0 1 0 3274336 525512704 112297 1992294400 4194304 7136930 140736476424608 18446744073709551615 4979601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 128299 112297 395 719 0 127578 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 513196
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10516
/proc/meminfo: memFree=1289460/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=526704 CPUtime=1541.66
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 120153 0 0 0 153850 316 0 0 25 0 1 0 3274336 539344896 115217 1992294400 4194304 7136930 140736476424608 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 131676 115217 395 719 0 130955 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 526704
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10518
/proc/meminfo: memFree=1274084/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=543728 CPUtime=1601.64
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 124006 0 0 0 159835 329 0 0 25 0 1 0 3274336 556777472 119070 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 135932 119070 395 719 0 135211 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 543728
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10518
/proc/meminfo: memFree=1261560/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=559576 CPUtime=1661.61
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 127120 0 0 0 165820 341 0 0 25 0 1 0 3274336 573005824 122184 1992294400 4194304 7136930 140736476424608 18446744073709551615 4979548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10464/statm: 139894 122184 395 719 0 139173 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 559576
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10520
/proc/meminfo: memFree=1245936/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=577336 CPUtime=1721.58
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 131051 0 0 0 171805 353 0 0 25 0 1 0 3274336 591192064 126115 1992294400 4194304 7136930 140736476424608 18446744073709551615 4436359 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 144334 126115 395 719 0 143613 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 577336
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10522
/proc/meminfo: memFree=1230436/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=594448 CPUtime=1781.56
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 134801 0 0 0 177791 365 0 0 25 0 1 0 3274336 608714752 129865 1992294400 4194304 7136930 140736476424608 18446744073709551615 4978060 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 148612 129865 395 719 0 147891 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 594448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10522
/proc/meminfo: memFree=1226096/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=600792 CPUtime=1800.06
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 135905 0 0 0 179637 369 0 0 25 0 1 0 3274336 615211008 130969 1992294400 4194304 7136930 140736476424608 18446744073709551615 4923934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10464/statm: 150198 130969 395 719 0 149477 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 600792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10522
/proc/meminfo: memFree=1226096/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=600792 CPUtime=1800.25
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 135911 0 0 0 179656 369 0 0 25 0 1 0 3274336 615211008 130975 1992294400 4194304 7136930 140736476424608 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10464/statm: 150198 130975 401 719 0 149477 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 600792
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10522
/proc/meminfo: memFree=1226096/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=599764 CPUtime=1800.64
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 135911 0 0 0 179695 369 0 0 25 0 1 0 3274336 614158336 130718 1992294400 4194304 7136930 140736476424608 18446744073709551615 4668062 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10464/statm: 149941 130718 401 719 0 149220 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 599764
[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10522
/proc/meminfo: memFree=1226096/2059040 swapFree=4192956/4192956
[pid=10464] ppid=10462 vsize=266344 CPUtime=1800.74
/proc/10464/stat : 10464 (pbscip.linux.x8) R 10462 10464 10275 0 -1 4202496 135911 0 0 0 179702 372 0 0 25 0 1 0 3274336 272736256 62977 1992294400 4194304 7136930 140736476424608 18446744073709551615 6166364 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10464/statm: 66586 62977 401 719 0 65865 0
Current children cumulated CPU time (s) 1800.74
Current children cumulated vsize (KiB) 266344
Child status: 0
Real time (s): 1801.54
CPU time (s): 1800.79
CPU user time (s): 1797.03
CPU system time (s): 3.75343
CPU usage (%): 99.9584
Max. virtual memory (cumulated for all children) (KiB): 600792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 3.75343
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135918
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= 14977
runsolver used 3.02754 second user time and 8.47971 second system time
The end