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-2703449-1278557395.opb>
0.80/0.89 c original problem has 52335 variables (52335 bin, 0 int, 0 impl, 0 cont) and 5202 constraints
0.80/0.89 c problem read
0.80/0.89 c presolving settings loaded
1.59/1.61 c presolving:
1.89/1.93 c (round 1) 2481 del vars, 401 del conss, 2481 chg bounds, 4318 chg sides, 4318 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
1.99/2.06 c (round 2) 2481 del vars, 609 del conss, 2481 chg bounds, 4318 chg sides, 4318 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
2.29/2.32 c (round 3) 2481 del vars, 609 del conss, 2481 chg bounds, 4318 chg sides, 4318 chg coeffs, 4490 upgd conss, 0 impls, 0 clqs
5.59/5.66 c (4.8s) probing: 101/49854 (0.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
5.59/5.66 c (4.8s) probing aborted: 100/100 successive totally useless probings
5.59/5.67 c presolving (4 rounds):
5.59/5.67 c 2481 deleted vars, 609 deleted constraints, 2481 tightened bounds, 0 added holes, 4318 changed sides, 4318 changed coefficients
5.59/5.67 c 82200 implications, 0 cliques
5.59/5.67 c presolved problem has 49854 variables (49854 bin, 0 int, 0 impl, 0 cont) and 4593 constraints
5.59/5.67 c 4490 constraints of type <knapsack>
5.59/5.67 c 103 constraints of type <linear>
5.59/5.67 c transformed objective value is always integral (scale: 1)
5.59/5.67 c Presolving Time: 4.39
5.59/5.67 c - non default parameters ----------------------------------------------------------------------
5.59/5.67 c # SCIP version 1.2.1.3
5.59/5.67 c
5.59/5.67 c # frequency for displaying node information lines
5.59/5.67 c # [type: int, range: [-1,2147483647], default: 100]
5.59/5.67 c display/freq = 10000
5.59/5.67 c
5.59/5.67 c # maximal time in seconds to run
5.59/5.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.59/5.67 c limits/time = 1789.11
5.59/5.67 c
5.59/5.67 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.59/5.67 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
5.59/5.67 c limits/memory = 1620
5.59/5.67 c
5.59/5.67 c # default clock type (1: CPU user seconds, 2: wall clock time)
5.59/5.67 c # [type: int, range: [1,2], default: 1]
5.59/5.67 c timing/clocktype = 2
5.59/5.67 c
5.59/5.67 c # should presolving try to simplify inequalities
5.59/5.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.59/5.67 c constraints/linear/simplifyinequalities = TRUE
5.59/5.67 c
5.59/5.67 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
5.59/5.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.59/5.67 c constraints/indicator/addCouplingCons = TRUE
5.59/5.67 c
5.59/5.67 c # should presolving try to simplify knapsacks
5.59/5.67 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
5.59/5.67 c constraints/knapsack/simplifyinequalities = TRUE
5.59/5.67 c
5.59/5.67 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
5.59/5.67 c # [type: int, range: [-1,2147483647], default: -1]
5.59/5.67 c separating/rapidlearning/freq = 0
5.59/5.67 c
5.59/5.67 c -----------------------------------------------------------------------------------------------
5.59/5.67 c start solving
5.69/5.71 c
6.39/6.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
6.39/6.48 c 5.6s| 1 | 0 | 121 | - | 197M| 0 | 46 | 49k|4593 | 49k|4593 | 0 | 0 | 0 | 1.074083e+09 | -- | Inf
30.59/30.65 c 29.8s| 1 | 0 | 4540 | - | 199M| 0 | 46 | 49k|4593 | 49k|4593 | 0 | 0 | 0 | 1.074083e+09 | -- | Inf
100.46/100.54 c 99.6s| 1 | 0 | 4557 | - | 199M| 0 | 54 | 49k|4593 | 49k|4612 | 19 | 0 | 0 | 1.074083e+09 | -- | Inf
170.36/170.42 c 170s| 1 | 0 | 4583 | - | 199M| 0 | 93 | 49k|4593 | 49k|4631 | 38 | 0 | 0 | 1.074083e+09 | -- | Inf
242.23/242.30 c 241s| 1 | 0 | 4653 | - | 199M| 0 | 138 | 49k|4593 | 49k|4672 | 79 | 0 | 0 | 1.074083e+09 | -- | Inf
314.11/314.24 c 313s| 1 | 0 | 4704 | - | 199M| 0 | 161 | 49k|4593 | 49k|4715 | 122 | 0 | 0 | 1.074083e+09 | -- | Inf
386.30/386.46 c 386s| 1 | 0 | 4771 | - | 200M| 0 | 196 | 49k|4593 | 49k|4758 | 165 | 0 | 0 | 1.074083e+09 | -- | Inf
459.48/459.70 c 459s| 1 | 0 | 4942 | - | 200M| 0 | 182 | 49k|4593 | 49k|4801 | 208 | 0 | 0 | 1.074083e+09 | -- | Inf
471.97/472.16 c 471s| 1 | 2 | 4942 | - | 200M| 0 | 182 | 49k|4593 | 49k|4801 | 208 | 0 | 31 | 1.074083e+09 | -- | Inf
1386.55/1386.92 c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1789.55/1790.07 c
1789.55/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.07 c Solving Time (sec) : 1789.17
1789.55/1790.07 c Solving Nodes : 347
1789.55/1790.07 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.55/1790.07 c Dual Bound : +1.07408803194737e+09
1789.55/1790.07 c Gap : infinite
1789.55/1790.07 s UNKNOWN
1789.55/1790.07 c SCIP Status : solving was interrupted [time limit reached]
1789.55/1790.07 c Solving Time : 1789.17
1789.55/1790.07 c Original Problem :
1789.55/1790.07 c Problem name : HOME/instance-2703449-1278557395.opb
1789.55/1790.07 c Variables : 52335 (52335 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.07 c Constraints : 5202 initial, 5202 maximal
1789.55/1790.07 c Presolved Problem :
1789.55/1790.07 c Problem name : t_HOME/instance-2703449-1278557395.opb
1789.55/1790.07 c Variables : 49854 (49854 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.55/1790.07 c Constraints : 4593 initial, 4725 maximal
1789.55/1790.07 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.55/1790.07 c trivial : 0.04 0 0 0 0 0 0 0 0
1789.55/1790.07 c dualfix : 0.04 0 0 0 0 0 0 0 0
1789.55/1790.07 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.07 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.07 c implics : 0.02 0 0 0 0 0 0 0 0
1789.55/1790.07 c probing : 1.29 0 0 0 0 0 0 0 0
1789.55/1790.07 c knapsack : 1.98 0 0 0 0 0 0 0 0
1789.55/1790.07 c linear : 0.63 2481 0 0 2481 0 609 4318 4318
1789.55/1790.07 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.55/1790.07 c root node : - 1 - - 1 - - - -
1789.55/1790.07 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.55/1790.07 c integral : 0 0 0 364 0 0 51 0 0 638
1789.55/1790.07 c knapsack : 4490 6 5257 0 1 0 1100 795 0 0
1789.55/1790.07 c linear : 103 6 5257 0 0 1 783625 14 0 0
1789.55/1790.07 c logicor : 0+ 0 289 0 0 5 30 0 0 0
1789.55/1790.07 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.55/1790.07 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.55/1790.07 c integral : 581.25 0.00 0.00 581.25 0.00
1789.55/1790.07 c knapsack : 24.28 6.25 18.00 0.00 0.03
1789.55/1790.07 c linear : 455.28 406.67 48.61 0.00 0.00
1789.55/1790.07 c logicor : 9.85 0.00 9.85 0.00 0.00
1789.55/1790.07 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.55/1790.07 c Propagators : Time Calls Cutoffs DomReds
1789.55/1790.07 c vbounds : 0.01 2 0 0
1789.55/1790.07 c rootredcost : 0.01 0 0 0
1789.55/1790.07 c pseudoobj : 0.04 5069 0 1
1789.55/1790.07 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.55/1790.07 c propagation : 18.75 6 6 92 5184.2 0 0.0 -
1789.55/1790.07 c infeasible LP : 80.37 58 53 383 3745.8 0 0.0 0
1789.55/1790.07 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.07 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.55/1790.07 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.55/1790.07 c applied globally : - - - 270 2020.6 - - -
1789.55/1790.07 c applied locally : - - - 0 0.0 - - -
1789.55/1790.07 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.55/1790.07 c cut pool : 0.00 3 - - 0 - (maximal pool size: 3)
1789.55/1790.07 c redcost : 3.38 369 0 0 0 0
1789.55/1790.07 c impliedbounds : 0.04 6 0 0 0 0
1789.55/1790.07 c intobj : 0.00 0 0 0 0 0
1789.55/1790.07 c cgmip : 0.00 0 0 0 0 0
1789.55/1790.07 c gomory : 0.78 6 0 0 0 0
1789.55/1790.07 c strongcg : 1.95 6 0 0 3 0
1789.55/1790.07 c cmir : 4.75 6 0 0 0 0
1789.55/1790.07 c flowcover : 5.27 6 0 0 0 0
1789.55/1790.07 c clique : 0.06 1 0 0 0 0
1789.55/1790.07 c zerohalf : 0.00 0 0 0 0 0
1789.55/1790.07 c mcf : 0.00 1 0 0 0 0
1789.55/1790.07 c rapidlearning : 0.00 0 0 0 0 0
1789.55/1790.07 c Pricers : Time Calls Vars
1789.55/1790.07 c problem variables: 0.00 0 0
1789.55/1790.07 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.55/1790.07 c relpscost : 581.25 364 0 51 0 0 638
1789.55/1790.07 c pscost : 0.00 0 0 0 0 0 0
1789.55/1790.07 c inference : 0.01 1 0 0 0 0 2
1789.55/1790.07 c mostinf : 0.00 0 0 0 0 0 0
1789.55/1790.07 c leastinf : 0.00 0 0 0 0 0 0
1789.55/1790.07 c fullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.07 c allfullstrong : 0.00 0 0 0 0 0 0
1789.55/1790.07 c random : 0.00 0 0 0 0 0 0
1789.55/1790.07 c Primal Heuristics : Time Calls Found
1789.55/1790.07 c LP solutions : 0.00 - 0
1789.55/1790.07 c pseudo solutions : 0.00 - 0
1789.55/1790.07 c oneopt : 0.00 0 0
1789.55/1790.07 c crossover : 0.00 0 0
1789.55/1790.07 c guideddiving : 0.00 0 0
1789.55/1790.07 c rootsoldiving : 74.29 1 0
1789.55/1790.07 c fracdiving : 50.48 2 0
1789.55/1790.07 c coefdiving : 55.65 3 0
1789.55/1790.07 c pscostdiving : 41.38 3 0
1789.55/1790.07 c veclendiving : 43.66 3 0
1789.55/1790.07 c linesearchdiving : 100.11 3 0
1789.55/1790.07 c objpscostdiving : 0.99 2 0
1789.55/1790.07 c feaspump : 111.46 2 0
1789.55/1790.07 c trivial : 0.21 2 0
1789.55/1790.07 c simplerounding : 0.01 0 0
1789.55/1790.07 c zirounding : 0.30 316 0
1789.55/1790.07 c rounding : 4.34 223 0
1789.55/1790.07 c shifting : 3.02 41 0
1789.55/1790.07 c intshifting : 0.00 0 0
1789.55/1790.07 c twoopt : 0.00 0 0
1789.55/1790.07 c fixandinfer : 0.00 0 0
1789.55/1790.07 c intdiving : 0.00 0 0
1789.55/1790.07 c actconsdiving : 0.00 0 0
1789.55/1790.07 c octane : 0.00 0 0
1789.55/1790.07 c rens : 1.21 1 0
1789.55/1790.07 c rins : 0.00 0 0
1789.55/1790.07 c localbranching : 0.00 0 0
1789.55/1790.07 c mutation : 0.00 0 0
1789.55/1790.07 c dins : 0.00 0 0
1789.55/1790.07 c undercover : 0.00 0 0
1789.55/1790.07 c nlp : 0.00 0 0
1789.55/1790.07 c trysol : 0.00 0 0
1789.55/1790.07 c LP : Time Calls Iterations Iter/call Iter/sec
1789.55/1790.07 c primal LP : 0.02 0 0 0.00 0.00
1789.55/1790.07 c dual LP : 207.57 386 35180 91.14 169.48
1789.55/1790.07 c lex dual LP : 0.00 0 0 0.00 -
1789.55/1790.07 c barrier LP : 0.00 0 0 0.00 -
1789.55/1790.07 c diving/probing LP: 318.15 3969 67510 17.01 212.19
1789.55/1790.07 c strong branching : 581.14 2816 107520 38.18 185.02
1789.55/1790.07 c (at root node) : - 31 2549 82.23 -
1789.55/1790.07 c conflict analysis: 0.00 0 0 0.00 -
1789.55/1790.07 c B&B Tree :
1789.55/1790.07 c number of runs : 1
1789.55/1790.07 c nodes : 347
1789.55/1790.07 c nodes (total) : 347
1789.55/1790.07 c nodes left : 294
1789.55/1790.07 c max depth : 29
1789.55/1790.07 c max depth (total): 29
1789.55/1790.07 c backtracks : 22 (6.3%)
1789.55/1790.07 c delayed cutoffs : 0
1789.55/1790.07 c repropagations : 25 (21 domain reductions, 0 cutoffs)
1789.55/1790.07 c avg switch length: 2.02
1789.55/1790.07 c switching time : 1.74
1789.55/1790.07 c Solution :
1789.55/1790.07 c Solutions found : 0 (0 improvements)
1789.55/1790.07 c Primal Bound : -
1789.55/1790.07 c Dual Bound : +1.07408803194737e+09
1789.55/1790.07 c Gap : infinite
1789.55/1790.07 c Root Dual Bound : +1.07408349506946e+09
1789.55/1790.07 c Root Iterations : 4942
1790.25/1790.72 c Time complete: 1790.27.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703449-1278557395/watcher-2703449-1278557395 -o /tmp/evaluation-result-2703449-1278557395/solver-2703449-1278557395 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703449-1278557395.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: 0.92 0.98 0.99 3/106 30277
/proc/meminfo: memFree=1694440/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=7904 CPUtime=0
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 1063 0 0 0 0 0 0 0 21 0 1 0 23946042 8093696 975 1992294400 4194304 8395647 140736839818352 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30277/statm: 1976 985 365 1026 0 946 0
[startup+0.0311639 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30277
/proc/meminfo: memFree=1694440/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=15260 CPUtime=0.02
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 3125 0 0 0 2 0 0 0 21 0 1 0 23946042 15626240 3037 1992294400 4194304 8395647 140736839818352 18446744073709551615 7301419 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30277/statm: 3815 3037 393 1026 0 2785 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15260
[startup+0.10117 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30277
/proc/meminfo: memFree=1694440/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=27280 CPUtime=0.1
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 5943 0 0 0 8 2 0 0 21 0 1 0 23946042 27934720 5855 1992294400 4194304 8395647 140736839818352 18446744073709551615 6347101 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30277/statm: 6820 5867 393 1026 0 5790 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27280
[startup+0.301188 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30277
/proc/meminfo: memFree=1694440/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=47864 CPUtime=0.29
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 11187 0 0 0 25 4 0 0 21 0 1 0 23946042 49012736 11065 1992294400 4194304 8395647 140736839818352 18446744073709551615 7430272 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30277/statm: 11966 11065 399 1026 0 10936 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47864
[startup+0.701222 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 30277
/proc/meminfo: memFree=1694440/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=55408 CPUtime=0.69
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 13013 0 0 0 64 5 0 0 22 0 1 0 23946042 56737792 12886 1992294400 4194304 8395647 140736839818352 18446744073709551615 5755080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30277/statm: 13852 12886 394 1026 0 12822 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55408
[startup+1.50129 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30278
/proc/meminfo: memFree=1598332/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=142492 CPUtime=1.5
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 34490 0 0 0 137 13 0 0 25 0 1 0 23946042 145911808 34009 1992294400 4194304 8395647 140736839818352 18446744073709551615 5547075 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 35623 34010 442 1026 0 34593 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 142492
[startup+3.10043 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 30278
/proc/meminfo: memFree=1553568/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=206228 CPUtime=3.09
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 49942 0 0 0 291 18 0 0 25 0 1 0 23946042 211177472 49461 1992294400 4194304 8395647 140736839818352 18446744073709551615 4735528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 51557 49461 520 1026 0 50527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206228
[startup+6.30071 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30278
/proc/meminfo: memFree=1495536/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=280200 CPUtime=6.29
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 69789 0 0 0 604 25 0 0 25 0 1 0 23946042 286924800 66186 1992294400 4194304 8395647 140736839818352 18446744073709551615 6586906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 70050 66186 568 1026 0 69020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 280200
[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 30278
/proc/meminfo: memFree=1428080/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=283500 CPUtime=12.69
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 70595 0 0 0 1243 26 0 0 25 0 1 0 23946042 290304000 66976 1992294400 4194304 8395647 140736839818352 18446744073709551615 6379529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 70875 66976 581 1026 0 69845 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 283500
[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 30278
/proc/meminfo: memFree=1427708/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=283500 CPUtime=25.49
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 70614 0 0 0 2522 27 0 0 25 0 1 0 23946042 290304000 66995 1992294400 4194304 8395647 140736839818352 18446744073709551615 6708594 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 70875 66995 581 1026 0 69845 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 283500
[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 30279
/proc/meminfo: memFree=1427460/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=283668 CPUtime=51.08
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 70659 0 0 0 5080 28 0 0 25 0 1 0 23946042 290476032 67039 1992294400 4194304 8395647 140736839818352 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 70917 67039 588 1026 0 69887 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 283668
[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 30280
/proc/meminfo: memFree=1420144/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=292416 CPUtime=102.27
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 72610 0 0 0 10199 28 0 0 25 0 1 0 23946042 299433984 68963 1992294400 4194304 8395647 140736839818352 18446744073709551615 4299078 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 73104 68963 670 1026 0 72074 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 292416
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30282
/proc/meminfo: memFree=1420144/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=292416 CPUtime=162.25
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 72610 0 0 0 16197 28 0 0 25 0 1 0 23946042 299433984 68963 1992294400 4194304 8395647 140736839818352 18446744073709551615 4904068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 73104 68963 670 1026 0 72074 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 292416
[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30284
/proc/meminfo: memFree=1418160/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=294912 CPUtime=222.24
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 73118 0 0 0 22195 29 0 0 25 0 1 0 23946042 301989888 69468 1992294400 4194304 8395647 140736839818352 18446744073709551615 6013893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 73728 69468 682 1026 0 72698 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 294912
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30286
/proc/meminfo: memFree=1415680/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=297528 CPUtime=282.23
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 73758 0 0 0 28194 29 0 0 25 0 1 0 23946042 304668672 70099 1992294400 4194304 8395647 140736839818352 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 74382 70099 674 1026 0 73352 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 297528
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30286
/proc/meminfo: memFree=1413448/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=300460 CPUtime=342.21
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 74315 0 0 0 34192 29 0 0 25 0 1 0 23946042 307671040 70653 1992294400 4194304 8395647 140736839818352 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 75115 70653 671 1026 0 74085 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 300460
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30288
/proc/meminfo: memFree=1411092/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=303496 CPUtime=402.2
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 74906 0 0 0 40190 30 0 0 25 0 1 0 23946042 310779904 71244 1992294400 4194304 8395647 140736839818352 18446744073709551615 6013899 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 75874 71244 671 1026 0 74844 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 303496
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30290
/proc/meminfo: memFree=1386168/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=329040 CPUtime=462.18
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 110027 0 0 0 46173 45 0 0 25 0 1 0 23946042 336936960 77308 1992294400 4194304 8395647 140736839818352 18446744073709551615 6502788 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 82260 77308 684 1026 0 81230 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 329040
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30292
/proc/meminfo: memFree=1386168/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=329040 CPUtime=522.17
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 110028 0 0 0 52159 58 0 0 25 0 1 0 23946042 336936960 77309 1992294400 4194304 8395647 140736839818352 18446744073709551615 6652529 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 82260 77309 685 1026 0 81230 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 329040
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30294
/proc/meminfo: memFree=1386168/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=329040 CPUtime=582.15
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 110028 0 0 0 58144 71 0 0 25 0 1 0 23946042 336936960 77309 1992294400 4194304 8395647 140736839818352 18446744073709551615 6669706 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 82260 77309 685 1026 0 81230 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 329040
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30294
/proc/meminfo: memFree=1386168/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=329040 CPUtime=642.15
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 110028 0 0 0 64133 82 0 0 25 0 1 0 23946042 336936960 77309 1992294400 4194304 8395647 140736839818352 18446744073709551615 6669622 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 82260 77309 685 1026 0 81230 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 329040
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1382820/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=332836 CPUtime=1002.04
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 111020 0 0 0 100056 148 0 0 25 0 1 0 23946042 340824064 78301 1992294400 4194304 8395647 140736839818352 18446744073709551615 4911325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 83209 78301 791 1026 0 82179 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 332836
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30315
/proc/meminfo: memFree=1380216/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=335360 CPUtime=1062.02
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 111668 0 0 0 106041 161 0 0 25 0 1 0 23946042 343408640 78949 1992294400 4194304 8395647 140736839818352 18446744073709551615 6669642 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 83840 78949 791 1026 0 82810 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 335360
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30317
/proc/meminfo: memFree=1379596/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=335932 CPUtime=1122.01
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 111812 0 0 0 112027 174 0 0 25 0 1 0 23946042 343994368 79093 1992294400 4194304 8395647 140736839818352 18446744073709551615 6503034 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 83983 79093 791 1026 0 82953 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 335932
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=1378480/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=337148 CPUtime=1181.99
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 112123 0 0 0 118015 184 0 0 25 0 1 0 23946042 345239552 79404 1992294400 4194304 8395647 140736839818352 18446744073709551615 6574271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 84287 79404 791 1026 0 83257 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 337148
[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30319
/proc/meminfo: memFree=1367196/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=348168 CPUtime=1241.98
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 114876 0 0 0 124006 192 0 0 25 0 1 0 23946042 356524032 82157 1992294400 4194304 8395647 140736839818352 18446744073709551615 6669795 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 87042 82157 791 1026 0 86012 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 348168
[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30321
/proc/meminfo: memFree=1361120/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=354524 CPUtime=1301.97
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 116437 0 0 0 129993 204 0 0 25 0 1 0 23946042 363032576 83680 1992294400 4194304 8395647 140736839818352 18446744073709551615 5027367 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 88631 83680 791 1026 0 87601 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 354524
[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30323
/proc/meminfo: memFree=1354796/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=360564 CPUtime=1361.96
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 118013 0 0 0 135983 213 0 0 25 0 1 0 23946042 369217536 85256 1992294400 4194304 8395647 140736839818352 18446744073709551615 6119744 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 90141 85256 791 1026 0 89111 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 360564
[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30325
/proc/meminfo: memFree=1350704/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=365672 CPUtime=1421.95
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 119051 0 0 0 141969 226 0 0 25 0 1 0 23946042 374448128 86294 1992294400 4194304 8395647 140736839818352 18446744073709551615 6669626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 91418 86294 792 1026 0 90388 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 365672
[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30327
/proc/meminfo: memFree=1343760/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=372680 CPUtime=1481.93
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 120801 0 0 0 147957 236 0 0 25 0 1 0 23946042 381624320 88044 1992294400 4194304 8395647 140736839818352 18446744073709551615 5024697 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 93170 88044 792 1026 0 92140 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 372680
[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30327
/proc/meminfo: memFree=1333468/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=383308 CPUtime=1541.91
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 123346 0 0 0 153948 243 0 0 25 0 1 0 23946042 392507392 90589 1992294400 4194304 8395647 140736839818352 18446744073709551615 6669661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 95827 90589 792 1026 0 94797 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 383308
[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30329
/proc/meminfo: memFree=1327020/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=390200 CPUtime=1601.89
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 125083 0 0 0 159936 253 0 0 25 0 1 0 23946042 399564800 92326 1992294400 4194304 8395647 140736839818352 18446744073709551615 6669653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 97550 92326 792 1026 0 96520 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 390200
[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30331
/proc/meminfo: memFree=1321564/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=394980 CPUtime=1661.88
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 126309 0 0 0 165923 265 0 0 25 0 1 0 23946042 404459520 93552 1992294400 4194304 8395647 140736839818352 18446744073709551615 6724027 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 98745 93552 792 1026 0 97715 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 394980
[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30333
/proc/meminfo: memFree=1321564/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=394980 CPUtime=1721.87
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 126309 0 0 0 171899 288 0 0 25 0 1 0 23946042 404459520 93552 1992294400 4194304 8395647 140736839818352 18446744073709551615 6723944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 98745 93552 792 1026 0 97715 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 394980
[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30335
/proc/meminfo: memFree=1314868/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=401968 CPUtime=1781.85
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 127928 0 0 0 177890 295 0 0 25 0 1 0 23946042 411615232 95171 1992294400 4194304 8395647 140736839818352 18446744073709551615 6586935 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 100492 95171 792 1026 0 99462 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 401968
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30335
/proc/meminfo: memFree=1314868/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=401968 CPUtime=1785.06
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 127948 0 0 0 178210 296 0 0 25 0 1 0 23946042 411615232 95191 1992294400 4194304 8395647 140736839818352 18446744073709551615 6440512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 100492 95191 792 1026 0 99462 0
Current children cumulated CPU time (s) 1785.06
Current children cumulated vsize (KiB) 401968
[startup+1788.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30335
/proc/meminfo: memFree=1313876/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=403108 CPUtime=1788.25
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 128182 0 0 0 178529 296 0 0 25 0 1 0 23946042 412782592 95425 1992294400 4194304 8395647 140736839818352 18446744073709551615 6023215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 100777 95425 792 1026 0 99747 0
Current children cumulated CPU time (s) 1788.25
Current children cumulated vsize (KiB) 403108
[startup+1789.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30335
/proc/meminfo: memFree=1313876/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=403360 CPUtime=1789.05
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 128288 0 0 0 178609 296 0 0 25 0 1 0 23946042 413040640 95531 1992294400 4194304 8395647 140736839818352 18446744073709551615 6664884 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30277/statm: 100840 95531 792 1026 0 99810 0
Current children cumulated CPU time (s) 1789.05
Current children cumulated vsize (KiB) 403360
[startup+1790.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30335
/proc/meminfo: memFree=1313008/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=403788 CPUtime=1789.85
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 128397 0 0 0 178689 296 0 0 25 0 1 0 23946042 413478912 95640 1992294400 4194304 8395647 140736839818352 18446744073709551615 6345902 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30277/statm: 100947 95640 795 1026 0 99917 0
Current children cumulated CPU time (s) 1789.85
Current children cumulated vsize (KiB) 403788
[startup+1790.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 30335
/proc/meminfo: memFree=1356160/2059040 swapFree=4139820/4192956
[pid=30277] ppid=30275 vsize=341044 CPUtime=1790.25
/proc/30277/stat : 30277 (pbscip.linux.x8) R 30275 30277 28067 0 -1 4202496 128397 0 0 0 178729 296 0 0 25 0 1 0 23946042 349229056 82649 1992294400 4194304 8395647 140736839818352 18446744073709551615 7435351 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30277/statm: 85261 82649 795 1026 0 84231 0
Current children cumulated CPU time (s) 1790.25
Current children cumulated vsize (KiB) 341044
Child status: 0
Real time (s): 1790.75
CPU time (s): 1790.31
CPU user time (s): 1787.3
CPU system time (s): 3.00354
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 449224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.3
system time used= 3.00354
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128398
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= 3
involuntary context switches= 4622
runsolver used 3.02754 second user time and 8.39472 second system time
The end