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-2702828-1278578663.opb>
0.09/0.16 c original problem has 4977 variables (4977 bin, 0 int, 0 impl, 0 cont) and 5494 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.19/0.23 c presolving:
0.19/0.28 c (round 1) 7 del vars, 1 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.29/0.30 c (round 2) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 9940 impls, 75 clqs
0.29/0.35 c (round 3) 7 del vars, 4971 del conss, 7 chg bounds, 0 chg sides, 0 chg coeffs, 523 upgd conss, 9940 impls, 75 clqs
1.10/1.15 c (1.0s) probing: 101/4970 (2.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.10/1.15 c (1.0s) probing aborted: 100/100 successive totally useless probings
1.10/1.15 c presolving (4 rounds):
1.10/1.15 c 7 deleted vars, 4971 deleted constraints, 7 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.10/1.15 c 9940 implications, 1111 cliques
1.10/1.15 c presolved problem has 4970 variables (4970 bin, 0 int, 0 impl, 0 cont) and 523 constraints
1.10/1.15 c 448 constraints of type <knapsack>
1.10/1.15 c 75 constraints of type <setppc>
1.10/1.15 c transformed objective value is always integral (scale: 1)
1.10/1.15 c Presolving Time: 0.94
1.10/1.15 c - non default parameters ----------------------------------------------------------------------
1.10/1.15 c # SCIP version 1.2.1.3
1.10/1.15 c
1.10/1.15 c # frequency for displaying node information lines
1.10/1.15 c # [type: int, range: [-1,2147483647], default: 100]
1.10/1.15 c display/freq = 10000
1.10/1.15 c
1.10/1.15 c # maximal time in seconds to run
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/time = 1789.85
1.10/1.15 c
1.10/1.15 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.10/1.15 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.10/1.15 c limits/memory = 1620
1.10/1.15 c
1.10/1.15 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.10/1.15 c # [type: int, range: [1,2], default: 1]
1.10/1.15 c timing/clocktype = 2
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify inequalities
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/linear/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/indicator/addCouplingCons = TRUE
1.10/1.15 c
1.10/1.15 c # should presolving try to simplify knapsacks
1.10/1.15 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.10/1.15 c constraints/knapsack/simplifyinequalities = TRUE
1.10/1.15 c
1.10/1.15 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.10/1.15 c # [type: int, range: [-1,2147483647], default: -1]
1.10/1.15 c separating/rapidlearning/freq = 0
1.10/1.15 c
1.10/1.15 c -----------------------------------------------------------------------------------------------
1.10/1.15 c start solving
1.10/1.15 c
1.19/1.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.19/1.30 c 1.1s| 1 | 0 | 1058 | - | 22M| 0 | 57 |4970 | 523 |4970 | 523 | 0 | 0 | 0 | 7.000000e+00 | -- | Inf
3.49/3.56 c 3.4s| 1 | 0 | 2301 | - | 23M| 0 | 95 |4970 | 523 |4970 | 556 | 33 | 0 | 0 | 7.000000e+00 | -- | Inf
4.09/4.11 c 3.9s| 1 | 0 | 2421 | - | 24M| 0 | 130 |4970 | 523 |4970 | 586 | 63 | 0 | 0 | 7.000000e+00 | -- | Inf
4.69/4.80 c 4.6s| 1 | 0 | 2595 | - | 24M| 0 | 172 |4970 | 523 |4970 | 618 | 95 | 0 | 0 | 7.000000e+00 | -- | Inf
5.59/5.66 c 5.5s| 1 | 0 | 2959 | - | 25M| 0 | 163 |4970 | 523 |4970 | 648 | 125 | 0 | 0 | 7.000000e+00 | -- | Inf
6.60/6.66 c 6.5s| 1 | 0 | 3578 | - | 26M| 0 | 201 |4970 | 523 |4970 | 678 | 155 | 0 | 0 | 7.000000e+00 | -- | Inf
7.79/7.87 c 7.7s| 1 | 0 | 4337 | - | 26M| 0 | 207 |4970 | 523 |4970 | 706 | 183 | 0 | 0 | 7.000000e+00 | -- | Inf
13.49/13.54 c 13.4s| 1 | 2 | 4337 | - | 26M| 0 | 207 |4970 | 523 |4970 | 706 | 183 | 0 | 12 | 7.000000e+00 | -- | Inf
892.21/892.54 c 892s| 10000 | 1423 |878232 | 87.4 | 41M| 140 | 38 |4970 |1834 |4970 | 634 | 183 | 17k|4187 | 7.000000e+00 | -- | Inf
1579.17/1579.75 c 1580s| 20000 | 3837 | 1659k| 82.7 | 57M| 268 | 51 |4970 |3132 |4970 | 634 | 183 | 33k|7685 | 7.000000e+00 | -- | Inf
1789.40/1790.03 c
1789.40/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.40/1790.03 c Solving Time (sec) : 1789.87
1789.40/1790.03 c Solving Nodes : 25116
1789.40/1790.03 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.40/1790.03 c Dual Bound : +7.00000000000000e+00
1789.40/1790.03 c Gap : infinite
1789.40/1790.03 s UNKNOWN
1789.40/1790.03 c SCIP Status : solving was interrupted [time limit reached]
1789.40/1790.03 c Solving Time : 1789.87
1789.40/1790.03 c Original Problem :
1789.40/1790.03 c Problem name : HOME/instance-2702828-1278578663.opb
1789.40/1790.03 c Variables : 4977 (4977 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.40/1790.03 c Constraints : 5494 initial, 5494 maximal
1789.40/1790.03 c Presolved Problem :
1789.40/1790.03 c Problem name : t_HOME/instance-2702828-1278578663.opb
1789.40/1790.03 c Variables : 4970 (4970 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.40/1790.03 c Constraints : 523 initial, 4245 maximal
1789.40/1790.03 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.40/1790.03 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.03 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.03 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.03 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.03 c implics : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.03 c probing : 0.28 0 0 0 0 0 0 0 0
1789.40/1790.03 c knapsack : 0.50 0 0 0 0 0 0 0 0
1789.40/1790.03 c setppc : 0.01 0 0 0 0 0 0 0 0
1789.40/1790.03 c linear : 0.09 7 0 0 7 0 4971 0 0
1789.40/1790.03 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.40/1790.03 c root node : - 0 - - 0 - - - -
1789.40/1790.03 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.40/1790.03 c integral : 0 0 0 17283 0 107 4096 0 0 31206
1789.40/1790.03 c knapsack : 448 6 191705 0 1 1587 1627930 1202 0 0
1789.40/1790.03 c setppc : 75 6 190118 0 1 414 694245 0 0 0
1789.40/1790.03 c logicor : 0+ 0 40096 0 0 1575 17263 0 0 0
1789.40/1790.03 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.40/1790.03 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.40/1790.03 c integral : 496.58 0.00 0.00 496.58 0.00
1789.40/1790.03 c knapsack : 157.37 0.04 157.32 0.00 0.00
1789.40/1790.03 c setppc : 2.34 0.00 2.34 0.00 0.00
1789.40/1790.03 c logicor : 4.31 0.00 4.31 0.00 0.00
1789.40/1790.03 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.40/1790.03 c Propagators : Time Calls Cutoffs DomReds
1789.40/1790.03 c vbounds : 0.08 2 0 0
1789.40/1790.03 c rootredcost : 0.10 0 0 0
1789.40/1790.03 c pseudoobj : 0.05 0 0 0
1789.40/1790.03 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.40/1790.03 c propagation : 2.54 3576 3573 47405 117.9 66 116.8 -
1789.40/1790.03 c infeasible LP : 49.30 6631 5610 147482 260.8 80 140.1 0
1789.40/1790.03 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.40/1790.03 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.40/1790.03 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.40/1790.03 c applied globally : - - - 42673 119.4 - - -
1789.40/1790.03 c applied locally : - - - 0 0.0 - - -
1789.40/1790.03 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.40/1790.03 c cut pool : 0.01 5 - - 872 - (maximal pool size: 2204)
1789.40/1790.03 c redcost : 9.83 17244 0 0 0 0
1789.40/1790.03 c impliedbounds : 0.01 6 0 0 0 0
1789.40/1790.03 c intobj : 0.00 0 0 0 0 0
1789.40/1790.03 c cgmip : 0.00 0 0 0 0 0
1789.40/1790.03 c gomory : 0.06 6 0 0 38 0
1789.40/1790.03 c strongcg : 0.13 6 0 0 30 0
1789.40/1790.03 c cmir : 2.03 6 0 0 2378 0
1789.40/1790.03 c flowcover : 1.12 6 0 0 1203 0
1789.40/1790.03 c clique : 0.02 6 0 0 8 0
1789.40/1790.03 c zerohalf : 0.00 0 0 0 0 0
1789.40/1790.03 c mcf : 0.00 1 0 0 0 0
1789.40/1790.03 c rapidlearning : 1.31 1 0 0 0 0
1789.40/1790.03 c Pricers : Time Calls Vars
1789.40/1790.03 c problem variables: 0.00 0 0
1789.40/1790.03 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.40/1790.03 c relpscost : 496.52 17283 107 4096 0 0 31206
1789.40/1790.03 c pscost : 0.00 0 0 0 0 0 0
1789.40/1790.03 c inference : 0.00 1 0 0 0 0 2
1789.40/1790.03 c mostinf : 0.00 0 0 0 0 0 0
1789.40/1790.03 c leastinf : 0.00 0 0 0 0 0 0
1789.40/1790.03 c fullstrong : 0.00 0 0 0 0 0 0
1789.40/1790.03 c allfullstrong : 0.00 0 0 0 0 0 0
1789.40/1790.03 c random : 0.00 0 0 0 0 0 0
1789.40/1790.03 c Primal Heuristics : Time Calls Found
1789.40/1790.03 c LP solutions : 0.00 - 0
1789.40/1790.03 c pseudo solutions : 0.00 - 0
1789.40/1790.03 c oneopt : 0.04 0 0
1789.40/1790.03 c crossover : 0.03 0 0
1789.40/1790.03 c guideddiving : 0.00 0 0
1789.40/1790.03 c intshifting : 0.00 0 0
1789.40/1790.03 c fracdiving : 26.40 16 0
1789.40/1790.03 c veclendiving : 4.08 16 0
1789.40/1790.03 c linesearchdiving : 8.16 16 0
1789.40/1790.03 c coefdiving : 41.96 17 0
1789.40/1790.03 c pscostdiving : 13.79 17 0
1789.40/1790.03 c feaspump : 6.59 9 0
1789.40/1790.03 c objpscostdiving : 0.89 9 0
1789.40/1790.03 c rootsoldiving : 5.72 9 0
1789.40/1790.03 c trivial : 0.01 2 0
1789.40/1790.03 c simplerounding : 0.02 0 0
1789.40/1790.03 c zirounding : 0.10 1000 0
1789.40/1790.03 c rounding : 0.60 1818 0
1789.40/1790.03 c shifting : 3.83 538 0
1789.40/1790.03 c twoopt : 0.00 0 0
1789.40/1790.03 c fixandinfer : 0.00 0 0
1789.40/1790.03 c intdiving : 0.00 0 0
1789.40/1790.03 c actconsdiving : 0.00 0 0
1789.40/1790.03 c octane : 0.00 0 0
1789.40/1790.03 c rens : 0.21 1 0
1789.40/1790.03 c rins : 0.00 0 0
1789.40/1790.03 c localbranching : 0.00 0 0
1789.40/1790.03 c mutation : 0.00 0 0
1789.40/1790.03 c dins : 0.00 0 0
1789.40/1790.03 c undercover : 0.00 0 0
1789.40/1790.03 c nlp : 0.02 0 0
1789.40/1790.03 c trysol : 0.02 0 0
1789.40/1790.03 c LP : Time Calls Iterations Iter/call Iter/sec
1789.40/1790.03 c primal LP : 0.00 0 0 0.00 -
1789.40/1790.03 c dual LP : 896.68 23512 1769380 75.25 1973.25
1789.40/1790.03 c lex dual LP : 0.00 0 0 0.00 -
1789.40/1790.03 c barrier LP : 0.00 0 0 0.00 -
1789.40/1790.03 c diving/probing LP: 82.45 9823 137771 14.03 1670.93
1789.40/1790.03 c strong branching : 495.40 8557 868937 101.55 1754.00
1789.40/1790.03 c (at root node) : - 12 7588 632.33 -
1789.40/1790.03 c conflict analysis: 0.00 0 0 0.00 -
1789.40/1790.03 c B&B Tree :
1789.40/1790.03 c number of runs : 1
1789.40/1790.03 c nodes : 25116
1789.40/1790.03 c nodes (total) : 25116
1789.40/1790.03 c nodes left : 4589
1789.40/1790.03 c max depth : 268
1789.40/1790.03 c max depth (total): 268
1789.40/1790.03 c backtracks : 2190 (8.7%)
1789.40/1790.03 c delayed cutoffs : 1504
1789.40/1790.03 c repropagations : 130147 (287566 domain reductions, 399 cutoffs)
1789.40/1790.03 c avg switch length: 13.76
1789.40/1790.03 c switching time : 23.16
1789.40/1790.03 c Solution :
1789.40/1790.03 c Solutions found : 0 (0 improvements)
1789.40/1790.03 c Primal Bound : -
1789.40/1790.03 c Dual Bound : +7.00000000000000e+00
1789.40/1790.03 c Gap : infinite
1789.40/1790.03 c Root Dual Bound : +7.00000000000000e+00
1789.40/1790.03 c Root Iterations : 4337
1789.50/1790.16 c Time complete: 1789.57.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702828-1278578663/watcher-2702828-1278578663 -o /tmp/evaluation-result-2702828-1278578663/solver-2702828-1278578663 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2702828-1278578663.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 0.99 0.91 3/106 30802
/proc/meminfo: memFree=1675556/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=7904 CPUtime=0
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 1066 0 0 0 0 0 0 0 18 0 1 0 26072488 8093696 977 1992294400 4194304 8395647 140736437026880 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30802/statm: 1976 985 365 1026 0 946 0
[startup+0.080885 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30802
/proc/meminfo: memFree=1675556/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=15688 CPUtime=0.07
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 3208 0 0 0 6 1 0 0 20 0 1 0 26072488 16064512 3119 1992294400 4194304 8395647 140736437026880 18446744073709551615 5756311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30802/statm: 3922 3119 393 1026 0 2892 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15688
[startup+0.100887 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30802
/proc/meminfo: memFree=1675556/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=17320 CPUtime=0.09
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 3629 0 0 0 8 1 0 0 20 0 1 0 26072488 17735680 3540 1992294400 4194304 8395647 140736437026880 18446744073709551615 7385719 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30802/statm: 4330 3540 393 1026 0 3300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17320
[startup+0.300909 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30802
/proc/meminfo: memFree=1675556/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=37076 CPUtime=0.29
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 8657 0 0 0 26 3 0 0 20 0 1 0 26072488 37965824 8214 1992294400 4194304 8395647 140736437026880 18446744073709551615 6345879 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 9269 8214 470 1026 0 8239 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37076
[startup+0.700954 s]
/proc/loadavg: 1.00 0.99 0.91 3/106 30802
/proc/meminfo: memFree=1675556/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=42780 CPUtime=0.69
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 10121 0 0 0 66 3 0 0 20 0 1 0 26072488 43806720 9678 1992294400 4194304 8395647 140736437026880 18446744073709551615 4954710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 10695 9678 485 1026 0 9665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42780
[startup+1.50104 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30803
/proc/meminfo: memFree=1635372/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=55240 CPUtime=1.49
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 13169 0 0 0 144 5 0 0 23 0 1 0 26072488 56565760 12710 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 13810 12710 582 1026 0 12780 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55240
[startup+3.10122 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30803
/proc/meminfo: memFree=1625452/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=91392 CPUtime=3.09
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 21962 0 0 0 300 9 0 0 25 0 1 0 26072488 93585408 21503 1992294400 4194304 8395647 140736437026880 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 22848 21503 618 1026 0 21818 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91392
[startup+6.30057 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30803
/proc/meminfo: memFree=1602512/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=78336 CPUtime=6.29
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 22417 0 0 0 619 10 0 0 25 0 1 0 26072488 80216064 18685 1992294400 4194304 8395647 140736437026880 18446744073709551615 6697355 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 19584 18685 628 1026 0 18554 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78336
[startup+12.7013 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30803
/proc/meminfo: memFree=1601528/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=78336 CPUtime=12.69
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 26012 0 0 0 1254 15 0 0 25 0 1 0 26072488 80216064 18789 1992294400 4194304 8395647 140736437026880 18446744073709551615 6693801 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 19584 18789 635 1026 0 18554 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78336
[startup+25.5007 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30803
/proc/meminfo: memFree=1601528/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=78336 CPUtime=25.48
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 26013 0 0 0 2525 23 0 0 25 0 1 0 26072488 80216064 18790 1992294400 4194304 8395647 140736437026880 18446744073709551615 6693699 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 19584 18790 636 1026 0 18554 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78336
[startup+51.1005 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30803
/proc/meminfo: memFree=1601528/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=78336 CPUtime=51.07
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 26013 0 0 0 5069 38 0 0 25 0 1 0 26072488 80216064 18790 1992294400 4194304 8395647 140736437026880 18446744073709551615 6695895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 19584 18790 636 1026 0 18554 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78336
[startup+102.308 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30805
/proc/meminfo: memFree=1601528/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=78336 CPUtime=102.26
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 26017 0 0 0 10160 66 0 0 25 0 1 0 26072488 80216064 18794 1992294400 4194304 8395647 140736437026880 18446744073709551615 6693785 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 19584 18794 640 1026 0 18554 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 78336
[startup+162.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30807
/proc/meminfo: memFree=1601528/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=78336 CPUtime=162.23
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 26018 0 0 0 16121 102 0 0 25 0 1 0 26072488 80216064 18795 1992294400 4194304 8395647 140736437026880 18446744073709551615 6670381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 19584 18795 640 1026 0 18554 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 78336
[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30809
/proc/meminfo: memFree=1600412/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=80268 CPUtime=222.22
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 26451 0 0 0 22085 137 0 0 25 0 1 0 26072488 82194432 19228 1992294400 4194304 8395647 140736437026880 18446744073709551615 6663822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 20067 19228 640 1026 0 19037 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 80268
[startup+282.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30809
/proc/meminfo: memFree=1596444/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=84428 CPUtime=282.2
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 27452 0 0 0 28043 177 0 0 25 0 1 0 26072488 86454272 20229 1992294400 4194304 8395647 140736437026880 18446744073709551615 6663849 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 21107 20229 640 1026 0 20077 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 84428
[startup+342.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30811
/proc/meminfo: memFree=1586524/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=93836 CPUtime=342.18
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 29878 0 0 0 34004 214 0 0 25 0 1 0 26072488 96088064 22651 1992294400 4194304 8395647 140736437026880 18446744073709551615 6693518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 23459 22651 640 1026 0 22429 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 93836
[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30813
/proc/meminfo: memFree=1581068/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=99616 CPUtime=402.16
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 31248 0 0 0 39964 252 0 0 25 0 1 0 26072488 102006784 24021 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 24904 24021 640 1026 0 23874 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 99616
[startup+462.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30815
/proc/meminfo: memFree=1579084/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=101184 CPUtime=462.14
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 31727 0 0 0 45925 289 0 0 25 0 1 0 26072488 103612416 24500 1992294400 4194304 8395647 140736437026880 18446744073709551615 6721244 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 25296 24500 640 1026 0 24266 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 101184
[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30817
/proc/meminfo: memFree=1575736/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=104636 CPUtime=522.13
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 32569 0 0 0 51888 325 0 0 25 0 1 0 26072488 107147264 25342 1992294400 4194304 8395647 140736437026880 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 26159 25342 640 1026 0 25129 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 104636
[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30819
/proc/meminfo: memFree=1573504/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=106748 CPUtime=582.11
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 33098 0 0 0 57851 360 0 0 25 0 1 0 26072488 109309952 25871 1992294400 4194304 8395647 140736437026880 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 26687 25871 640 1026 0 25657 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 106748
[startup+642.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30819
/proc/meminfo: memFree=1571148/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=109748 CPUtime=642.1
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 33693 0 0 0 63811 399 0 0 25 0 1 0 26072488 112381952 26466 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 27437 26466 640 1026 0 26407 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 109748
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1557136/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=121848 CPUtime=1001.96
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 37530 0 0 0 99570 626 0 0 25 0 1 0 26072488 124772352 29650 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 30462 29650 640 1026 0 29432 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 121848
[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30840
/proc/meminfo: memFree=1556268/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=123184 CPUtime=1061.95
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 38370 0 0 0 105533 662 0 0 25 0 1 0 26072488 126140416 30006 1992294400 4194304 8395647 140736437026880 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 30796 30006 640 1026 0 29766 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 123184
[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30842
/proc/meminfo: memFree=1555400/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=124544 CPUtime=1121.93
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 38576 0 0 0 111495 698 0 0 25 0 1 0 26072488 127533056 30212 1992294400 4194304 8395647 140736437026880 18446744073709551615 6586893 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 31136 30212 640 1026 0 30106 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 124544
[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30842
/proc/meminfo: memFree=1553292/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=126260 CPUtime=1181.9
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 39091 0 0 0 117454 736 0 0 25 0 1 0 26072488 129290240 30727 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 31565 30727 640 1026 0 30535 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 126260
[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30844
/proc/meminfo: memFree=1551060/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=128464 CPUtime=1241.88
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 39638 0 0 0 123416 772 0 0 25 0 1 0 26072488 131547136 31274 1992294400 4194304 8395647 140736437026880 18446744073709551615 6697475 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 32116 31274 640 1026 0 31086 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 128464
[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30846
/proc/meminfo: memFree=1547960/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=131668 CPUtime=1301.87
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 40422 0 0 0 129378 809 0 0 25 0 1 0 26072488 134828032 32058 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 32917 32058 640 1026 0 31887 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 131668
[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30848
/proc/meminfo: memFree=1544984/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=134460 CPUtime=1361.84
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 41156 0 0 0 135338 846 0 0 25 0 1 0 26072488 137687040 32783 1992294400 4194304 8395647 140736437026880 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 33615 32783 640 1026 0 32585 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 134460
[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30850
/proc/meminfo: memFree=1542380/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=136928 CPUtime=1421.83
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 41805 0 0 0 141301 882 0 0 25 0 1 0 26072488 140214272 33432 1992294400 4194304 8395647 140736437026880 18446744073709551615 6663845 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 34232 33432 640 1026 0 33202 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 136928
[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30850
/proc/meminfo: memFree=1539156/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=140180 CPUtime=1481.81
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 43086 0 0 0 147261 920 0 0 25 0 1 0 26072488 143544320 34230 1992294400 4194304 8395647 140736437026880 18446744073709551615 6670373 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 35045 34230 640 1026 0 34015 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 140180
[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30852
/proc/meminfo: memFree=1536304/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=143224 CPUtime=1541.78
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 43883 0 0 0 153221 957 0 0 25 0 1 0 26072488 146661376 35027 1992294400 4194304 8395647 140736437026880 18446744073709551615 6670369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 35806 35027 640 1026 0 34776 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 143224
[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30854
/proc/meminfo: memFree=1533700/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=146152 CPUtime=1601.76
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 44514 0 0 0 159184 992 0 0 25 0 1 0 26072488 149659648 35658 1992294400 4194304 8395647 140736437026880 18446744073709551615 6697363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 36538 35658 640 1026 0 35508 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 146152
[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30856
/proc/meminfo: memFree=1530600/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=149296 CPUtime=1661.74
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 45976 0 0 0 165145 1029 0 0 25 0 1 0 26072488 152879104 36458 1992294400 4194304 8395647 140736437026880 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 37324 36458 640 1026 0 36294 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 149296
[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30858
/proc/meminfo: memFree=1528120/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=151192 CPUtime=1721.72
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 46557 0 0 0 171107 1065 0 0 25 0 1 0 26072488 154820608 37039 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 37798 37039 640 1026 0 36768 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 151192
[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30860
/proc/meminfo: memFree=1524524/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=155080 CPUtime=1781.7
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 47478 0 0 0 177068 1102 0 0 25 0 1 0 26072488 158801920 37960 1992294400 4194304 8395647 140736437026880 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 38770 37960 640 1026 0 37740 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 155080
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30860
/proc/meminfo: memFree=1523408/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=155908 CPUtime=1784.9
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 47729 0 0 0 177386 1104 0 0 25 0 1 0 26072488 159649792 38211 1992294400 4194304 8395647 140736437026880 18446744073709551615 6670389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 38977 38211 640 1026 0 37947 0
Current children cumulated CPU time (s) 1784.9
Current children cumulated vsize (KiB) 155908
[startup+1788.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30860
/proc/meminfo: memFree=1523284/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=156248 CPUtime=1788.1
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 47776 0 0 0 177704 1106 0 0 25 0 1 0 26072488 159997952 38258 1992294400 4194304 8395647 140736437026880 18446744073709551615 4706426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 39062 38258 640 1026 0 38032 0
Current children cumulated CPU time (s) 1788.1
Current children cumulated vsize (KiB) 156248
[startup+1789.5 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30860
/proc/meminfo: memFree=1523284/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=156248 CPUtime=1788.9
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 47776 0 0 0 177783 1107 0 0 25 0 1 0 26072488 159997952 38258 1992294400 4194304 8395647 140736437026880 18446744073709551615 6652352 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 39062 38258 640 1026 0 38032 0
Current children cumulated CPU time (s) 1788.9
Current children cumulated vsize (KiB) 156248
[startup+1789.9 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30860
/proc/meminfo: memFree=1523284/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=156248 CPUtime=1789.3
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 47776 0 0 0 177823 1107 0 0 25 0 1 0 26072488 159997952 38258 1992294400 4194304 8395647 140736437026880 18446744073709551615 4911114 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30802/statm: 39062 38258 640 1026 0 38032 0
Current children cumulated CPU time (s) 1789.3
Current children cumulated vsize (KiB) 156248
[startup+1790.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/107 30860
/proc/meminfo: memFree=1523284/2059040 swapFree=4140104/4192956
[pid=30802] ppid=30800 vsize=156248 CPUtime=1789.5
/proc/30802/stat : 30802 (pbscip.linux.x8) R 30800 30802 30292 0 -1 4202496 47779 0 0 0 177843 1107 0 0 25 0 1 0 26072488 159997952 38261 1992294400 4194304 8395647 140736437026880 18446744073709551615 6345848 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30802/statm: 39062 38261 643 1026 0 38032 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (KiB) 156248
Child status: 0
Real time (s): 1790.17
CPU time (s): 1789.58
CPU user time (s): 1778.49
CPU system time (s): 11.0933
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 156248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.49
system time used= 11.0933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47782
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 4558
runsolver used 3.16752 second user time and 8.23975 second system time
The end