0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703753-1278553451.opb>
0.29/0.35 c original problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
0.29/0.35 c problem read
0.29/0.35 c presolving settings loaded
0.39/0.41 c presolving:
0.59/0.63 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
1.00/1.07 c (round 2) 0 del vars, 0 del conss, 0 chg bounds, 14784 chg sides, 22176 chg coeffs, 16096 upgd conss, 3248 impls, 392 clqs
5.40/5.48 c (5.1s) probing: 885/1344 (65.8%) - 0 fixings, 0 aggregations, 5768 implications, 0 bound changes
5.40/5.48 c (5.1s) probing aborted: 100/100 successive totally useless probings
5.40/5.48 c presolving (3 rounds):
5.40/5.48 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 14784 changed sides, 22176 changed coefficients
5.40/5.48 c 14784 implications, 392 cliques
5.40/5.48 c presolved problem has 1344 variables (1344 bin, 0 int, 0 impl, 0 cont) and 16096 constraints
5.40/5.48 c 7496 constraints of type <knapsack>
5.40/5.48 c 2016 constraints of type <setppc>
5.40/5.48 c 6584 constraints of type <logicor>
5.40/5.48 c transformed objective value is always integral (scale: 1)
5.40/5.48 c Presolving Time: 5.07
5.40/5.48 c - non default parameters ----------------------------------------------------------------------
5.40/5.48 c # SCIP version 1.2.1.3
5.40/5.48 c
5.40/5.48 c # frequency for displaying node information lines
5.40/5.48 c # [type: int, range: [-1,2147483647], default: 100]
5.40/5.48 c display/freq = 10000
5.40/5.48 c
5.40/5.48 c # maximal time in seconds to run
5.40/5.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.40/5.48 c limits/time = 1789.66
5.40/5.48 c
5.40/5.48 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.40/5.48 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.40/5.48 c limits/memory = 1620
5.40/5.48 c
5.40/5.48 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.40/5.48 c # [type: int, range: [1,2], default: 1]
5.40/5.48 c timing/clocktype = 2
5.40/5.48 c
5.40/5.48 c # should presolving try to simplify inequalities
5.40/5.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.48 c constraints/linear/simplifyinequalities = TRUE
5.40/5.48 c
5.40/5.48 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.40/5.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.48 c constraints/indicator/addCouplingCons = TRUE
5.40/5.48 c
5.40/5.48 c # should presolving try to simplify knapsacks
5.40/5.48 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.40/5.48 c constraints/knapsack/simplifyinequalities = TRUE
5.40/5.48 c
5.40/5.48 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.40/5.48 c # [type: int, range: [-1,2147483647], default: -1]
5.40/5.48 c separating/rapidlearning/freq = 0
5.40/5.48 c
5.40/5.48 c -----------------------------------------------------------------------------------------------
5.40/5.48 c start solving
5.40/5.48 c
10.90/11.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.90/11.00 c 10.7s| 1 | 0 | 2470 | - | 33M| 0 | 374 |1344 | 16k|1344 | 16k| 0 | 0 | 0 | 3.191600e+04 | -- | Inf
57.68/57.79 c 57.4s| 1 | 0 | 8832 | - | 38M| 0 | 391 |1344 | 16k|1344 | 16k| 11 | 0 | 0 | 3.191600e+04 | -- | Inf
67.18/67.22 c 66.9s| 1 | 0 | 9569 | - | 43M| 0 | 405 |1344 | 16k|1344 | 16k| 19 | 0 | 0 | 3.191600e+04 | -- | Inf
78.17/78.24 c 77.9s| 1 | 0 | 10688 | - | 48M| 0 | 404 |1344 | 16k|1344 | 16k| 26 | 0 | 0 | 3.191600e+04 | -- | Inf
87.77/87.88 c 87.5s| 1 | 0 | 11386 | - | 53M| 0 | 402 |1344 | 16k|1344 | 16k| 31 | 0 | 0 | 3.191600e+04 | -- | Inf
96.57/96.60 c 96.3s| 1 | 0 | 11829 | - | 59M| 0 | 418 |1344 | 16k|1344 | 16k| 34 | 0 | 0 | 3.191600e+04 | -- | Inf
105.97/106.05 c 106s| 1 | 0 | 12438 | - | 65M| 0 | 405 |1344 | 16k|1344 | 16k| 41 | 0 | 0 | 3.191600e+04 | -- | Inf
188.95/189.04 c 189s| 1 | 2 | 12438 | - | 65M| 0 | 405 |1344 | 16k|1344 | 16k| 41 | 0 | 27 | 3.191600e+04 | -- | Inf
1789.24/1790.03 c
1789.24/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.24/1790.03 c Solving Time (sec) : 1789.68
1789.24/1790.03 c Solving Nodes : 151
1789.24/1790.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.24/1790.03 c Dual Bound : +3.19160000000000e+04
1789.24/1790.03 c Gap : infinite
1789.24/1790.03 s UNKNOWN
1789.24/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.24/1790.03 c Solving Time : 1789.68
1789.24/1790.03 c Original Problem :
1789.24/1790.03 c Problem name : HOME/instance-2703753-1278553451.opb
1789.24/1790.03 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.24/1790.03 c Constraints : 16096 initial, 16096 maximal
1789.24/1790.03 c Presolved Problem :
1789.24/1790.03 c Problem name : t_HOME/instance-2703753-1278553451.opb
1789.24/1790.03 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.24/1790.03 c Constraints : 16096 initial, 16242 maximal
1789.24/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.24/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.24/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.24/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.24/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.24/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.24/1790.03 c probing : 4.08 0 0 0 0 0 0 0 0
1789.24/1790.03 c knapsack : 0.74 0 0 0 0 0 0 14784 22176
1789.24/1790.03 c setppc : 0.01 0 0 0 0 0 0 0 0
1789.24/1790.03 c logicor : 0.03 0 0 0 0 0 0 0 0
1789.24/1790.03 c root node : - 0 - - 0 - - - -
1789.24/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.24/1790.03 c integral : 0 0 0 150 0 0 0 0 0 300
1789.24/1790.03 c knapsack : 7496 6 4988 0 1 0 127 0 0 0
1789.24/1790.03 c setppc : 2016 6 4988 0 1 5 3453 0 0 0
1789.24/1790.03 c logicor : 6584+ 6 2604 0 1 0 87 0 0 0
1789.24/1790.03 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.24/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.24/1790.03 c integral : 723.44 0.00 0.00 723.44 0.00
1789.24/1790.03 c knapsack : 4.35 0.29 4.07 0.00 0.00
1789.24/1790.03 c setppc : 0.91 0.00 0.91 0.00 0.00
1789.24/1790.03 c logicor : 0.16 0.01 0.14 0.00 0.00
1789.24/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.24/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.24/1790.03 c vbounds : 0.00 2 0 0
1789.24/1790.03 c rootredcost : 0.00 0 0 0
1789.24/1790.03 c pseudoobj : 0.11 2484 0 0
1789.24/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.24/1790.03 c propagation : 0.00 5 5 15 14.7 1 30.0 -
1789.24/1790.03 c infeasible LP : 0.06 26 20 422 118.7 4 7.0 0
1789.24/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.24/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.24/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.24/1790.03 c applied globally : - - - 146 64.0 - - -
1789.24/1790.03 c applied locally : - - - 0 0.0 - - -
1789.24/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.24/1790.03 c cut pool : 0.02 5 - - 0 - (maximal pool size: 1520)
1789.24/1790.03 c redcost : 0.03 155 0 0 0 0
1789.24/1790.03 c impliedbounds : 0.00 6 0 0 0 0
1789.24/1790.03 c intobj : 0.00 0 0 0 0 0
1789.24/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.24/1790.03 c gomory : 34.83 6 0 0 480 0
1789.24/1790.03 c strongcg : 4.30 6 0 0 3000 0
1789.24/1790.03 c cmir : 0.71 6 0 0 0 0
1789.24/1790.03 c flowcover : 1.80 6 0 0 0 0
1789.24/1790.03 c clique : 0.06 6 0 0 41 0
1789.24/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.24/1790.03 c mcf : 0.03 1 0 0 0 0
1789.24/1790.03 c rapidlearning : 0.00 0 0 0 0 0
1789.24/1790.03 c Pricers : Time Calls Vars
1789.24/1790.03 c problem variables: 0.00 0 0
1789.24/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.24/1790.03 c relpscost : 723.44 150 0 0 0 0 300
1789.24/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.24/1790.03 c inference : 0.00 1 0 0 0 0 2
1789.24/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.24/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.24/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.24/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.24/1790.03 c random : 0.00 0 0 0 0 0 0
1789.24/1790.03 c Primal Heuristics : Time Calls Found
1789.24/1790.03 c LP solutions : 0.00 - 0
1789.24/1790.03 c pseudo solutions : 0.00 - 0
1789.24/1790.03 c oneopt : 0.00 0 0
1789.24/1790.03 c crossover : 0.00 0 0
1789.24/1790.03 c objpscostdiving : 15.06 1 0
1789.24/1790.03 c rootsoldiving : 25.10 1 0
1789.24/1790.03 c coefdiving : 130.68 2 0
1789.24/1790.03 c pscostdiving : 101.50 2 0
1789.24/1790.03 c feaspump : 37.53 1 0
1789.24/1790.03 c fracdiving : 30.10 2 0
1789.24/1790.03 c veclendiving : 77.53 2 0
1789.24/1790.03 c trivial : 0.01 2 0
1789.24/1790.03 c simplerounding : 0.00 0 0
1789.24/1790.03 c zirounding : 0.27 150 0
1789.24/1790.03 c rounding : 0.51 128 0
1789.24/1790.03 c shifting : 0.24 19 0
1789.24/1790.03 c intshifting : 0.00 0 0
1789.24/1790.03 c twoopt : 0.00 0 0
1789.24/1790.03 c fixandinfer : 0.00 0 0
1789.24/1790.03 c intdiving : 0.00 0 0
1789.24/1790.03 c actconsdiving : 0.00 0 0
1789.24/1790.03 c linesearchdiving : 53.07 2 0
1789.24/1790.03 c guideddiving : 0.00 0 0
1789.24/1790.03 c octane : 0.00 0 0
1789.24/1790.03 c rens : 0.28 1 0
1789.24/1790.03 c rins : 0.00 0 0
1789.24/1790.03 c localbranching : 0.00 0 0
1789.24/1790.03 c mutation : 0.00 0 0
1789.24/1790.03 c dins : 0.00 0 0
1789.24/1790.03 c undercover : 0.00 0 0
1789.24/1790.03 c nlp : 0.00 0 0
1789.24/1790.04 c trysol : 0.00 0 0
1789.24/1790.04 c LP : Time Calls Iterations Iter/call Iter/sec
1789.24/1790.04 c primal LP : 0.03 0 0 0.00 0.00
1789.24/1790.04 c dual LP : 545.52 157 170692 1087.21 312.89
1789.24/1790.04 c lex dual LP : 0.00 0 0 0.00 -
1789.24/1790.04 c barrier LP : 0.00 0 0 0.00 -
1789.24/1790.04 c diving/probing LP: 462.89 1475 141221 95.74 305.08
1789.24/1790.04 c strong branching : 723.40 243 220835 908.79 305.27
1789.24/1790.04 c (at root node) : - 27 23440 868.15 -
1789.24/1790.04 c conflict analysis: 0.00 0 0 0.00 -
1789.24/1790.04 c B&B Tree :
1789.24/1790.04 c number of runs : 1
1789.24/1790.04 c nodes : 151
1789.24/1790.04 c nodes (total) : 151
1789.24/1790.04 c nodes left : 152
1789.24/1790.04 c max depth : 25
1789.24/1790.04 c max depth (total): 25
1789.24/1790.04 c backtracks : 12 (7.9%)
1789.24/1790.04 c delayed cutoffs : 0
1789.24/1790.04 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.24/1790.04 c avg switch length: 2.26
1789.24/1790.04 c switching time : 0.15
1789.24/1790.04 c Solution :
1789.24/1790.04 c Solutions found : 0 (0 improvements)
1789.24/1790.04 c Primal Bound : -
1789.24/1790.04 c Dual Bound : +3.19160000000000e+04
1789.24/1790.04 c Gap : infinite
1789.24/1790.04 c Root Dual Bound : +3.19160000000000e+04
1789.24/1790.04 c Root Iterations : 12438
1789.34/1790.14 c Time complete: 1789.39.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703753-1278553451/watcher-2703753-1278553451 -o /tmp/evaluation-result-2703753-1278553451/solver-2703753-1278553451 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703753-1278553451.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 0.96 3/106 26948
/proc/meminfo: memFree=1590700/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=7904 CPUtime=0
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 1046 0 0 0 0 0 0 0 23 0 1 0 23552625 8093696 958 1992294400 4194304 8395647 140734179699680 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26948/statm: 1976 966 365 1026 0 946 0
[startup+0.0631281 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26948
/proc/meminfo: memFree=1590700/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=13252 CPUtime=0.06
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 2616 0 0 0 5 1 0 0 23 0 1 0 23552625 13570048 2527 1992294400 4194304 8395647 140734179699680 18446744073709551615 7324747 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26948/statm: 3313 2527 393 1026 0 2283 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13252
[startup+0.10113 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26948
/proc/meminfo: memFree=1590700/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=14988 CPUtime=0.09
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 2943 0 0 0 8 1 0 0 23 0 1 0 23552625 15347712 2855 1992294400 4194304 8395647 140734179699680 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26948/statm: 3747 2867 393 1026 0 2717 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14988
[startup+0.301142 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26948
/proc/meminfo: memFree=1590700/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=18316 CPUtime=0.29
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 3855 0 0 0 28 1 0 0 23 0 1 0 23552625 18755584 3766 1992294400 4194304 8395647 140734179699680 18446744073709551615 7301452 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26948/statm: 4579 3766 393 1026 0 3549 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18316
[startup+0.701168 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 26948
/proc/meminfo: memFree=1590700/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=59308 CPUtime=0.69
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 14206 0 0 0 64 5 0 0 25 0 1 0 23552625 60731392 13763 1992294400 4194304 8395647 140734179699680 18446744073709551615 6074100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 14827 13763 484 1026 0 13797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 59308
[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26949
/proc/meminfo: memFree=1537372/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=59308 CPUtime=1.49
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 14233 0 0 0 144 5 0 0 25 0 1 0 23552625 60731392 13790 1992294400 4194304 8395647 140734179699680 18446744073709551615 4910721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 14827 13790 499 1026 0 13797 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59308
[startup+3.10132 s]
/proc/loadavg: 1.00 1.00 0.96 3/107 26949
/proc/meminfo: memFree=1537000/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=59308 CPUtime=3.09
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 14233 0 0 0 304 5 0 0 25 0 1 0 23552625 60731392 13790 1992294400 4194304 8395647 140734179699680 18446744073709551615 4910737 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 14827 13790 499 1026 0 13797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59308
[startup+6.30052 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26949
/proc/meminfo: memFree=1536256/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=89640 CPUtime=6.29
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 21731 0 0 0 622 7 0 0 25 0 1 0 23552625 91791360 20616 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697254 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 22410 20616 663 1026 0 21380 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89640
[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26949
/proc/meminfo: memFree=1506124/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=92668 CPUtime=12.69
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 22797 0 0 0 1260 9 0 0 25 0 1 0 23552625 94892032 21550 1992294400 4194304 8395647 140734179699680 18446744073709551615 6670318 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 23167 21550 621 1026 0 22137 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92668
[startup+25.5007 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26951
/proc/meminfo: memFree=1505876/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=94540 CPUtime=25.48
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 22877 0 0 0 2537 11 0 0 25 0 1 0 23552625 96808960 21614 1992294400 4194304 8395647 140734179699680 18446744073709551615 6708181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 23635 21614 621 1026 0 22605 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 94540
[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26951
/proc/meminfo: memFree=1505752/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=94540 CPUtime=51.08
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 22936 0 0 0 5093 15 0 0 25 0 1 0 23552625 96808960 21671 1992294400 4194304 8395647 140734179699680 18446744073709551615 6197315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 23635 21671 634 1026 0 22605 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94540
[startup+102.309 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26953
/proc/meminfo: memFree=1464584/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=135612 CPUtime=102.27
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 33318 0 0 0 10194 33 0 0 25 0 1 0 23552625 138866688 31961 1992294400 4194304 8395647 140734179699680 18446744073709551615 6198204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 33903 31961 653 1026 0 32873 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 135612
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26953
/proc/meminfo: memFree=1450944/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=162.25
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43008 0 0 0 16173 52 0 0 25 0 1 0 23552625 151965696 35251 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697978 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35251 635 1026 0 36071 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 148404
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26955
/proc/meminfo: memFree=1450944/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=222.24
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 22157 67 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 7382061 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 148404
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26957
/proc/meminfo: memFree=1450944/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=282.23
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 28141 82 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 148404
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26959
/proc/meminfo: memFree=1450944/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=342.22
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 34125 97 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 6502774 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 148404
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26961
/proc/meminfo: memFree=1450944/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=402.21
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 40111 110 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 148404
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26961
/proc/meminfo: memFree=1450944/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=462.19
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 46093 126 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 6692853 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 148404
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26963
/proc/meminfo: memFree=1450944/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=522.18
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 52077 141 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 6696958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 148404
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 26965
/proc/meminfo: memFree=1450820/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=582.17
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 58059 158 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 6700590 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 148404
[startup+642.301 s]
/proc/loadavg: 1.05 1.01 0.96 3/107 26967
/proc/meminfo: memFree=1450820/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=148404 CPUtime=642.16
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43026 0 0 0 64043 173 0 0 25 0 1 0 23552625 151965696 35269 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37101 35269 636 1026 0 36071 0
Current children cumulated CPU time (s) 642.16
Current children cumulated vsize (KiB) 148404
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1448836/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1062.04
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43309 0 0 0 105924 280 0 0 25 0 1 0 23552625 153280512 35552 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697980 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26948/statm: 37422 35552 640 1026 0 36392 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 149688
[startup+1122.3 s]
/proc/loadavg: 1.03 1.01 0.98 2/107 27454
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1121.83
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43309 0 0 0 111880 303 0 0 25 0 1 0 23552625 153280512 35552 1992294400 4194304 8395647 140734179699680 18446744073709551615 6708229 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35552 640 1026 0 36392 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 149688
[startup+1182.3 s]
/proc/loadavg: 1.01 1.01 0.98 2/107 27456
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1181.8
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43309 0 0 0 117863 317 0 0 25 0 1 0 23552625 153280512 35552 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35552 640 1026 0 36392 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 149688
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27458
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1241.77
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 123845 332 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 7385678 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 149688
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 27460
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1301.75
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 129821 354 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 149688
[startup+1362.3 s]
/proc/loadavg: 1.06 1.01 0.98 2/107 27460
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1361.72
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 135801 371 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 6697250 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 149688
[startup+1422.3 s]
/proc/loadavg: 1.02 1.01 0.98 2/107 27462
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1421.71
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 141783 388 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 149688
[startup+1482.3 s]
/proc/loadavg: 1.05 1.02 0.99 2/107 27464
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1481.67
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 147757 410 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 149688
[startup+1542.31 s]
/proc/loadavg: 1.02 1.01 0.99 2/107 27466
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1541.65
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 153736 429 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 6698043 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 149688
[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 0.99 2/107 27468
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1601.62
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 159715 447 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 6587066 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1601.62
Current children cumulated vsize (KiB) 149688
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27468
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149688 CPUtime=1661.59
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43342 0 0 0 165692 467 0 0 25 0 1 0 23552625 153280512 35585 1992294400 4194304 8395647 140734179699680 18446744073709551615 6751227 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37422 35585 640 1026 0 36392 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 149688
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27470
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1721.57
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43352 0 0 0 171668 489 0 0 25 0 1 0 23552625 153526272 35595 1992294400 4194304 8395647 140734179699680 18446744073709551615 6585993 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35595 640 1026 0 36452 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 149928
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27472
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1781.54
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43400 0 0 0 177645 509 0 0 25 0 1 0 23552625 153526272 35643 1992294400 4194304 8395647 140734179699680 18446744073709551615 6667585 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35643 640 1026 0 36452 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 149928
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27472
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1784.84
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43400 0 0 0 177974 510 0 0 25 0 1 0 23552625 153526272 35643 1992294400 4194304 8395647 140734179699680 18446744073709551615 6741005 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35643 640 1026 0 36452 0
Current children cumulated CPU time (s) 1784.84
Current children cumulated vsize (KiB) 149928
[startup+1787.2 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27472
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1786.45
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43400 0 0 0 178134 511 0 0 25 0 1 0 23552625 153526272 35643 1992294400 4194304 8395647 140734179699680 18446744073709551615 6635663 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35643 640 1026 0 36452 0
Current children cumulated CPU time (s) 1786.45
Current children cumulated vsize (KiB) 149928
[startup+1788.8 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27472
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1788.04
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43400 0 0 0 178293 511 0 0 25 0 1 0 23552625 153526272 35643 1992294400 4194304 8395647 140734179699680 18446744073709551615 6723628 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35643 640 1026 0 36452 0
Current children cumulated CPU time (s) 1788.04
Current children cumulated vsize (KiB) 149928
[startup+1789.6 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27472
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1788.84
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43400 0 0 0 178373 511 0 0 25 0 1 0 23552625 153526272 35643 1992294400 4194304 8395647 140734179699680 18446744073709551615 6670339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35643 640 1026 0 36452 0
Current children cumulated CPU time (s) 1788.84
Current children cumulated vsize (KiB) 149928
[startup+1790 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27472
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1789.24
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43400 0 0 0 178413 511 0 0 25 0 1 0 23552625 153526272 35643 1992294400 4194304 8395647 140734179699680 18446744073709551615 6700466 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35643 640 1026 0 36452 0
Current children cumulated CPU time (s) 1789.24
Current children cumulated vsize (KiB) 149928
[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/107 27472
/proc/meminfo: memFree=1447844/2059040 swapFree=4139744/4192956
[pid=26948] ppid=26946 vsize=149928 CPUtime=1789.34
/proc/26948/stat : 26948 (pbscip.linux.x8) R 26946 26948 26293 0 -1 4202496 43405 0 0 0 178422 512 0 0 25 0 1 0 23552625 153526272 35648 1992294400 4194304 8395647 140734179699680 18446744073709551615 4213905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26948/statm: 37482 35648 643 1026 0 36452 0
Current children cumulated CPU time (s) 1789.34
Current children cumulated vsize (KiB) 149928
Child status: 0
Real time (s): 1790.15
CPU time (s): 1789.39
CPU user time (s): 1784.26
CPU system time (s): 5.13222
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 175360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.26
system time used= 5.13222
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43408
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= 2
involuntary context switches= 20932
runsolver used 3.06953 second user time and 8.37773 second system time
The end