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-2703302-1278572905.opb>
0.00/0.02 c original problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 769 constraints
0.00/0.02 c problem read
0.00/0.02 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.05/0.09 c (round 1) 0 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 150 upgd conss, 5044 impls, 100 clqs
0.09/0.11 c (0.1s) probing: 101/718 (14.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11 c presolving (2 rounds):
0.09/0.11 c 0 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11 c 5044 implications, 100 cliques
0.09/0.11 c presolved problem has 718 variables (718 bin, 0 int, 0 impl, 0 cont) and 769 constraints
0.09/0.11 c 150 constraints of type <setppc>
0.09/0.11 c 618 constraints of type <and>
0.09/0.11 c 1 constraints of type <linear>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.09
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 1.2.1.3
0.09/0.11 c
0.09/0.11 c # frequency for displaying node information lines
0.09/0.11 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11 c display/freq = 10000
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/time = 1789.99
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11 c limits/memory = 1620
0.09/0.11 c
0.09/0.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11 c # [type: int, range: [1,2], default: 1]
0.09/0.11 c timing/clocktype = 2
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify inequalities
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/linear/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/indicator/addCouplingCons = TRUE
0.09/0.11 c
0.09/0.11 c # should presolving try to simplify knapsacks
0.09/0.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11 c
0.09/0.11 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c heuristics/undercover/freq = 0
0.09/0.11 c
0.09/0.11 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11 c separating/rapidlearning/freq = 0
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.09/0.15 c t 0.1s| 1 | 0 | 244 | - |3446k| 0 | 183 | 718 | 769 | 718 |1387 | 0 | 0 | 0 |-2.500000e+01 | 0.000000e+00 | 100.00%
0.09/0.15 o -3
0.09/0.15 c s 0.1s| 1 | 0 | 244 | - |3472k| 0 | 183 | 718 | 769 | 718 |1387 | 0 | 0 | 0 |-2.500000e+01 |-3.000000e+00 | 88.00%
0.69/0.78 o -7
0.69/0.78 c y 0.8s| 1 | 0 | 244 | - |4923k| 0 | 183 | 718 | 770 | 718 |1387 | 0 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
0.79/0.80 c 0.8s| 1 | 0 | 258 | - |3773k| 0 | 182 | 718 | 850 | 718 |1399 | 12 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
0.90/0.96 c 0.9s| 1 | 0 | 562 | - |3946k| 0 | 228 | 718 | 850 | 718 |1405 | 18 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
1.10/1.17 c 1.2s| 1 | 0 | 1048 | - |4238k| 0 | 255 | 718 | 850 | 718 |1408 | 21 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
1.39/1.41 c 1.4s| 1 | 0 | 1119 | - |4629k| 0 | 298 | 718 | 850 | 718 |1412 | 25 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
1.59/1.65 c 1.6s| 1 | 0 | 1449 | - |5164k| 0 | 325 | 718 | 850 | 718 |1413 | 26 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
1.89/1.92 c 1.9s| 1 | 0 | 1675 | - |5747k| 0 | 370 | 718 | 850 | 718 |1418 | 31 | 1 | 0 |-2.500000e+01 |-7.000000e+00 | 72.00%
12.79/12.81 c 12.8s| 1 | 2 | 1675 | - |5758k| 0 | 370 | 718 | 850 | 718 |1418 | 31 | 1 | 27 |-2.500000e+01 |-7.000000e+00 | 72.00%
18.89/18.98 o -8
18.89/18.98 c R19.0s| 9 | 8 | 4164 | 311.1 |5565k| 8 | 139 | 718 | 850 | 718 | 692 | 312 | 1 | 131 |-2.500000e+01 |-8.000000e+00 | 68.00%
21.79/21.80 o -10
21.79/21.80 c c21.8s| 14 | 15 | 4860 | 245.0 |5657k| 13 | - | 718 | 850 | 718 | 704 | 333 | 1 | 234 |-2.500000e+01 |-1.000000e+01 | 60.00%
38.77/38.89 o -12
38.77/38.89 c f38.9s| 39 | 30 | 11644 | 262.3 |5709k| 13 | - | 718 | 852 | 718 | 674 | 887 | 3 | 728 |-2.482922e+01 |-1.200000e+01 | 51.67%
100.34/100.43 o -13
100.34/100.43 c p 100s| 856 | 475 |164300 | 190.2 |6760k| 38 | - | 718 | 879 | 718 | 831 |5620 | 30 |1222 |-2.100007e+01 |-1.300000e+01 | 38.10%
191.32/191.41 o -14
191.32/191.41 c R 191s| 3816 | 888 |439249 | 114.7 |8002k| 47 | - | 718 | 932 | 718 | 857 | 12k| 90 |2015 |-1.939341e+01 |-1.400000e+01 | 27.81%
305.37/305.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
305.37/305.50 c 305s| 10000 | 1412 |789722 | 78.8 | 11M| 47 | 160 | 718 | 949 | 718 | 790 | 21k| 136 |3156 |-1.824003e+01 |-1.400000e+01 | 23.25%
455.82/456.06 c 456s| 20000 | 1650 | 1256k| 62.7 | 13M| 49 | 124 | 718 | 910 | 718 | 819 | 32k| 165 |4696 |-1.762251e+01 |-1.400000e+01 | 20.56%
580.08/580.39 c 580s| 30000 | 1680 | 1670k| 55.6 | 14M| 49 | - | 718 | 907 | 718 | 778 | 40k| 184 |5538 |-1.723296e+01 |-1.400000e+01 | 18.76%
693.44/693.74 c 694s| 40000 | 1480 | 2064k| 51.6 | 15M| 49 | - | 718 | 905 | 718 | 813 | 48k| 206 |6134 |-1.686917e+01 |-1.400000e+01 | 17.01%
807.10/807.44 c 807s| 50000 | 938 | 2443k| 48.8 | 13M| 49 | - | 718 | 900 | 718 | 825 | 56k| 224 |7155 |-1.647317e+01 |-1.400000e+01 | 15.01%
855.18/855.53 c
855.18/855.53 c SCIP Status : problem is solved [optimal solution found]
855.18/855.53 c Solving Time (sec) : 855.51
855.18/855.53 c Solving Nodes : 55136
855.18/855.53 c Primal Bound : -1.40000000000000e+01 (16 solutions)
855.18/855.53 c Dual Bound : -1.40000000000000e+01
855.18/855.53 c Gap : 0.00 %
855.18/855.53 s OPTIMUM FOUND
855.18/855.53 v -x81 -x67 -x84 -x72 x60 -x100 x83 -x56 -x82 x95 -x54 -x80 -x61 -x79 -x62 -x57 -x87 -x85 -x63 -x55 -x99 -x88 x98 -x74 -x89 -x93
855.18/855.53 v -x78 x70 x68 -x64 -x66 x96 x92 -x53 x90 -x94 -x51 x75 -x71 -x58 -x59 x65 x52 -x77 -x73 -x76 -x91 x69 x86 -x97 x50 -x49 -x48 -x47
855.18/855.53 v -x46 -x45 -x44 x43 -x42 x41 -x40 -x39 x38 x37 -x36 x35 -x34 -x33 x32 -x31 x30 x29 -x28 -x27 -x26 -x25 -x24 x23 x22 -x21 -x20
855.18/855.53 v -x19 -x18 x17 -x16 -x15 -x14 -x13 x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
855.18/855.53 c SCIP Status : problem is solved [optimal solution found]
855.18/855.53 c Solving Time : 855.51
855.18/855.53 c Original Problem :
855.18/855.53 c Problem name : HOME/instance-2703302-1278572905.opb
855.18/855.53 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
855.18/855.53 c Constraints : 769 initial, 769 maximal
855.18/855.53 c Presolved Problem :
855.18/855.53 c Problem name : t_HOME/instance-2703302-1278572905.opb
855.18/855.53 c Variables : 718 (718 binary, 0 integer, 0 implicit integer, 0 continuous)
855.18/855.53 c Constraints : 769 initial, 959 maximal
855.18/855.53 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
855.18/855.53 c trivial : 0.00 0 0 0 0 0 0 0 0
855.18/855.53 c dualfix : 0.00 0 0 0 0 0 0 0 0
855.18/855.53 c boundshift : 0.00 0 0 0 0 0 0 0 0
855.18/855.53 c inttobinary : 0.00 0 0 0 0 0 0 0 0
855.18/855.53 c implics : 0.00 0 0 0 0 0 0 0 0
855.18/855.53 c probing : 0.02 0 0 0 0 0 0 0 0
855.18/855.53 c setppc : 0.00 0 0 0 0 0 0 0 0
855.18/855.53 c and : 0.06 0 0 0 0 0 0 0 0
855.18/855.53 c linear : 0.01 0 0 0 0 0 0 0 0
855.18/855.53 c logicor : 0.00 0 0 0 0 0 0 0 0
855.18/855.53 c root node : - 18 - - 18 - - - -
855.18/855.53 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
855.18/855.53 c integral : 0 0 0 28600 0 71 1426 0 0 55786
855.18/855.53 c setppc : 150 6 181785 0 0 130 100760 0 0 0
855.18/855.53 c and : 618 49406 181654 0 0 58 1446151 59530 0 0
855.18/855.53 c linear : 1+ 7 181594 0 0 2 4627 0 0 0
855.18/855.53 c logicor : 0+ 6 43963 0 0 1 18769 0 0 0
855.18/855.53 c countsols : 0 0 0 0 0 0 0 0 0 0
855.18/855.53 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
855.18/855.53 c integral : 132.88 0.00 0.00 132.88 0.00
855.18/855.53 c setppc : 1.52 0.00 1.52 0.00 0.00
855.18/855.53 c and : 15.87 9.51 6.36 0.00 0.00
855.18/855.53 c linear : 1.79 0.01 1.79 0.00 0.00
855.18/855.53 c logicor : 0.41 0.00 0.41 0.00 0.00
855.18/855.53 c countsols : 0.00 0.00 0.00 0.00 0.00
855.18/855.53 c Propagators : Time Calls Cutoffs DomReds
855.18/855.53 c vbounds : 0.10 2 0 0
855.18/855.53 c rootredcost : 0.09 6 0 0
855.18/855.53 c pseudoobj : 0.98 182604 8 37
855.18/855.53 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
855.18/855.53 c propagation : 0.00 198 197 243 10.8 0 0.0 -
855.18/855.53 c infeasible LP : 0.01 14 14 21 18.4 0 0.0 0
855.18/855.53 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
855.18/855.53 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
855.18/855.53 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
855.18/855.53 c applied globally : - - - 235 8.1 - - -
855.18/855.53 c applied locally : - - - 0 0.0 - - -
855.18/855.53 c Separators : Time Calls Cutoffs DomReds Cuts Conss
855.18/855.53 c cut pool : 0.00 5 - - 71 - (maximal pool size: 450)
855.18/855.53 c redcost : 2.70 52626 0 283048 0 0
855.18/855.53 c impliedbounds : 0.00 6 0 0 4 0
855.18/855.53 c intobj : 0.00 0 0 0 0 0
855.18/855.53 c cgmip : 0.00 0 0 0 0 0
855.18/855.53 c gomory : 0.36 6 0 0 75 0
855.18/855.53 c strongcg : 0.39 6 0 0 1730 0
855.18/855.53 c cmir : 0.08 6 0 0 1 0
855.18/855.53 c flowcover : 0.07 6 0 0 2 0
855.18/855.53 c clique : 0.02 6 0 0 26 0
855.18/855.53 c zerohalf : 0.00 0 0 0 0 0
855.18/855.53 c mcf : 0.00 1 0 0 0 0
855.18/855.53 c rapidlearning : 0.38 1 0 0 0 80
855.18/855.53 c Pricers : Time Calls Vars
855.18/855.53 c problem variables: 0.00 0 0
855.18/855.53 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
855.18/855.53 c relpscost : 132.80 28600 71 1426 0 0 55786
855.18/855.53 c pscost : 0.00 0 0 0 0 0 0
855.18/855.53 c inference : 0.00 0 0 0 0 0 0
855.18/855.53 c mostinf : 0.00 0 0 0 0 0 0
855.18/855.53 c leastinf : 0.00 0 0 0 0 0 0
855.18/855.53 c fullstrong : 0.00 0 0 0 0 0 0
855.18/855.53 c allfullstrong : 0.00 0 0 0 0 0 0
855.18/855.53 c random : 0.00 0 0 0 0 0 0
855.18/855.53 c Primal Heuristics : Time Calls Found
855.18/855.53 c LP solutions : 0.00 - 0
855.18/855.53 c pseudo solutions : 0.00 - 0
855.18/855.53 c feaspump : 0.01 0 0
855.18/855.53 c oneopt : 0.06 6 0
855.18/855.53 c crossover : 0.55 12 1
855.18/855.53 c objpscostdiving : 9.09 29 0
855.18/855.53 c linesearchdiving : 4.76 64 0
855.18/855.53 c coefdiving : 7.57 65 1
855.18/855.53 c fracdiving : 7.12 65 1
855.18/855.53 c pscostdiving : 5.50 65 1
855.18/855.53 c veclendiving : 6.59 65 0
855.18/855.53 c guideddiving : 8.64 65 0
855.18/855.53 c rootsoldiving : 2.19 33 0
855.18/855.53 c trivial : 0.00 2 3
855.18/855.53 c simplerounding : 0.05 0 0
855.18/855.53 c zirounding : 0.10 1000 0
855.18/855.53 c rounding : 5.69 13088 2
855.18/855.53 c shifting : 2.93 3143 6
855.18/855.53 c intshifting : 0.00 0 0
855.18/855.53 c twoopt : 0.00 0 0
855.18/855.53 c fixandinfer : 0.00 0 0
855.18/855.53 c intdiving : 0.00 0 0
855.18/855.53 c actconsdiving : 0.00 0 0
855.18/855.53 c octane : 0.00 0 0
855.18/855.53 c rens : 0.01 0 0
855.18/855.53 c rins : 0.00 0 0
855.18/855.53 c localbranching : 0.00 0 0
855.18/855.53 c mutation : 0.00 0 0
855.18/855.53 c dins : 0.00 0 0
855.18/855.53 c undercover : 0.10 1 0
855.18/855.53 c nlp : 0.03 0 0
855.18/855.53 c trysol : 0.04 0 0
855.18/855.53 c LP : Time Calls Iterations Iter/call Iter/sec
855.18/855.53 c primal LP : 5.48 0 0 0.00 0.00
855.18/855.53 c dual LP : 584.33 73452 2438892 33.20 4173.81
855.18/855.53 c lex dual LP : 0.00 0 0 0.00 -
855.18/855.53 c barrier LP : 0.00 0 0 0.00 -
855.18/855.53 c diving/probing LP: 43.89 18133 172358 9.51 3926.93
855.18/855.53 c strong branching : 130.03 7403 541429 73.14 4163.75
855.18/855.53 c (at root node) : - 27 24182 895.63 -
855.18/855.53 c conflict analysis: 0.00 0 0 0.00 -
855.18/855.53 c B&B Tree :
855.18/855.53 c number of runs : 1
855.18/855.53 c nodes : 55136
855.18/855.53 c nodes (total) : 55136
855.18/855.53 c nodes left : 0
855.18/855.53 c max depth : 49
855.18/855.53 c max depth (total): 49
855.18/855.53 c backtracks : 9390 (17.0%)
855.18/855.53 c delayed cutoffs : 6
855.18/855.53 c repropagations : 1235 (1444 domain reductions, 0 cutoffs)
855.18/855.53 c avg switch length: 6.11
855.18/855.53 c switching time : 16.62
855.18/855.53 c Solution :
855.18/855.53 c Solutions found : 16 (8 improvements)
855.18/855.53 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
855.18/855.53 c Primal Bound : -1.40000000000000e+01 (in run 1, after 3816 nodes, 191.39 seconds, depth 35, found by <rounding>)
855.18/855.53 c Dual Bound : -1.40000000000000e+01
855.18/855.53 c Gap : 0.00 %
855.18/855.53 c Root Dual Bound : -2.50000000000000e+01
855.18/855.53 c Root Iterations : 1675
855.18/855.55 c Time complete: 855.23.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703302-1278572905/watcher-2703302-1278572905 -o /tmp/evaluation-result-2703302-1278572905/solver-2703302-1278572905 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703302-1278572905.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.00 0.06 0.39 3/106 1859
/proc/meminfo: memFree=1654704/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=5956 CPUtime=0
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 856 0 0 0 0 0 0 0 20 0 1 0 25497706 6098944 771 1992294400 4194304 8395647 140737446633120 18446744073709551615 7355228 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1859/statm: 1489 772 351 1026 0 459 0
[startup+0.054428 s]
/proc/loadavg: 0.00 0.06 0.39 3/106 1859
/proc/meminfo: memFree=1654704/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=15852 CPUtime=0.05
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 3337 0 0 0 4 1 0 0 20 0 1 0 25497706 16232448 2895 1992294400 4194304 8395647 140737446633120 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 3963 2895 461 1026 0 2933 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15852
[startup+0.101471 s]
/proc/loadavg: 0.00 0.06 0.39 3/106 1859
/proc/meminfo: memFree=1654704/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=17276 CPUtime=0.09
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 3735 0 0 0 8 1 0 0 20 0 1 0 25497706 17690624 3293 1992294400 4194304 8395647 140737446633120 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 4319 3293 497 1026 0 3289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17276
[startup+0.301472 s]
/proc/loadavg: 0.00 0.06 0.39 3/106 1859
/proc/meminfo: memFree=1654704/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=0.29
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8314 0 0 0 27 2 0 0 20 0 1 0 25497706 35901440 7853 1992294400 4194304 8395647 140737446633120 18446744073709551615 6202710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7853 615 1026 0 7735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35060
[startup+0.701545 s]
/proc/loadavg: 0.00 0.06 0.39 3/106 1859
/proc/meminfo: memFree=1654704/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=0.69
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8399 0 0 0 57 12 0 0 21 0 1 0 25497706 35901440 7938 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7938 634 1026 0 7735 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35060
[startup+1.50169 s]
/proc/loadavg: 0.00 0.06 0.39 2/107 1860
/proc/meminfo: memFree=1625308/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=1.49
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8451 0 0 0 136 13 0 0 23 0 1 0 25497706 35901440 7974 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7974 638 1026 0 7735 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35060
[startup+3.102 s]
/proc/loadavg: 0.00 0.06 0.39 2/107 1860
/proc/meminfo: memFree=1625060/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=3.09
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8452 0 0 0 295 14 0 0 25 0 1 0 25497706 35901440 7975 1992294400 4194304 8395647 140737446633120 18446744073709551615 6696983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7975 639 1026 0 7735 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35060
[startup+6.30156 s]
/proc/loadavg: 0.08 0.07 0.40 2/107 1860
/proc/meminfo: memFree=1624564/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=6.29
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8452 0 0 0 612 17 0 0 25 0 1 0 25497706 35901440 7975 1992294400 4194304 8395647 140737446633120 18446744073709551615 6693391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7975 639 1026 0 7735 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35060
[startup+12.7017 s]
/proc/loadavg: 0.15 0.09 0.40 2/107 1860
/proc/meminfo: memFree=1624564/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=12.69
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8452 0 0 0 1249 20 0 0 25 0 1 0 25497706 35901440 7975 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7975 639 1026 0 7735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35060
[startup+25.5011 s]
/proc/loadavg: 0.34 0.13 0.41 2/107 1860
/proc/meminfo: memFree=1624688/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=25.48
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8455 0 0 0 2511 37 0 0 25 0 1 0 25497706 35901440 7978 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7978 642 1026 0 7735 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 35060
[startup+51.1007 s]
/proc/loadavg: 0.56 0.20 0.42 2/107 1860
/proc/meminfo: memFree=1624564/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=35060 CPUtime=51.05
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 8455 0 0 0 5033 72 0 0 25 0 1 0 25497706 35901440 7978 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8765 7978 642 1026 0 7735 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 35060
[startup+102.309 s]
/proc/loadavg: 0.81 0.32 0.45 2/107 1862
/proc/meminfo: memFree=1624316/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=34608 CPUtime=102.25
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 9455 0 0 0 10088 137 0 0 25 0 1 0 25497706 35438592 7902 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 8652 7902 644 1026 0 7622 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 34608
[startup+162.301 s]
/proc/loadavg: 0.93 0.44 0.48 2/107 1865
/proc/meminfo: memFree=1618612/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=41240 CPUtime=162.21
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 11019 0 0 0 16008 213 0 0 25 0 1 0 25497706 42229760 9466 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 10310 9466 644 1026 0 9280 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 41240
[startup+222.301 s]
/proc/loadavg: 0.97 0.54 0.51 2/107 1867
/proc/meminfo: memFree=1618860/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=39960 CPUtime=222.19
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 12162 0 0 0 21926 293 0 0 25 0 1 0 25497706 40919040 9250 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 9990 9250 652 1026 0 8960 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 39960
[startup+282.302 s]
/proc/loadavg: 0.99 0.62 0.54 2/107 1867
/proc/meminfo: memFree=1618860/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=39960 CPUtime=282.17
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 13701 0 0 0 27846 371 0 0 25 0 1 0 25497706 40919040 9250 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 9990 9250 652 1026 0 8960 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 39960
[startup+342.302 s]
/proc/loadavg: 0.99 0.69 0.56 2/107 1869
/proc/meminfo: memFree=1618860/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=39960 CPUtime=342.16
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 14874 0 0 0 33766 450 0 0 25 0 1 0 25497706 40919040 9250 1992294400 4194304 8395647 140737446633120 18446744073709551615 6695895 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 9990 9250 652 1026 0 8960 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 39960
[startup+402.302 s]
/proc/loadavg: 1.05 0.76 0.59 2/107 1871
/proc/meminfo: memFree=1618860/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=39960 CPUtime=402.13
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 14874 0 0 0 39675 538 0 0 25 0 1 0 25497706 40919040 9250 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 9990 9250 652 1026 0 8960 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 39960
[startup+462.301 s]
/proc/loadavg: 1.02 0.80 0.62 2/107 1873
/proc/meminfo: memFree=1618736/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=39960 CPUtime=462.12
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 16709 0 0 0 45591 621 0 0 25 0 1 0 25497706 40919040 9252 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 9990 9252 652 1026 0 8960 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 39960
[startup+522.3 s]
/proc/loadavg: 1.00 0.83 0.64 2/107 1875
/proc/meminfo: memFree=1617868/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=41668 CPUtime=522.09
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 17074 0 0 0 51499 710 0 0 25 0 1 0 25497706 42668032 9617 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 10417 9617 652 1026 0 9387 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 41668
[startup+582.301 s]
/proc/loadavg: 1.00 0.86 0.66 2/107 1875
/proc/meminfo: memFree=1616008/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=42648 CPUtime=582.08
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19269 0 0 0 57411 797 0 0 25 0 1 0 25497706 43671552 9924 1992294400 4194304 8395647 140737446633120 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 10662 9924 652 1026 0 9632 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 42648
[startup+642.301 s]
/proc/loadavg: 1.00 0.88 0.67 2/107 1879
/proc/meminfo: memFree=1616008/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=42964 CPUtime=642.07
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19295 0 0 0 63326 881 0 0 25 0 1 0 25497706 43995136 9950 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 10741 9950 652 1026 0 9711 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 42964
[startup+702.301 s]
/proc/loadavg: 1.00 0.90 0.69 2/107 1887
/proc/meminfo: memFree=1615636/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=43420 CPUtime=702.04
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19448 0 0 0 69235 969 0 0 25 0 1 0 25497706 44462080 10103 1992294400 4194304 8395647 140737446633120 18446744073709551615 6519104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 10855 10103 652 1026 0 9825 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 43420
[startup+762.309 s]
/proc/loadavg: 1.00 0.92 0.71 2/107 1890
/proc/meminfo: memFree=1615264/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=43892 CPUtime=762.02
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19550 0 0 0 75143 1059 0 0 25 0 1 0 25497706 44945408 10205 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 10973 10205 652 1026 0 9943 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 43892
[startup+822.301 s]
/proc/loadavg: 1.00 0.93 0.73 2/107 1892
/proc/meminfo: memFree=1615140/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44036 CPUtime=821.99
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19600 0 0 0 81054 1145 0 0 25 0 1 0 25497706 45092864 10255 1992294400 4194304 8395647 140737446633120 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11009 10255 652 1026 0 9979 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 44036
Solver just ended. Dumping a history of the last processes samples
[startup+831.901 s]
/proc/loadavg: 1.00 0.93 0.73 2/107 1892
/proc/meminfo: memFree=1615140/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44036 CPUtime=831.59
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19606 0 0 0 81999 1160 0 0 25 0 1 0 25497706 45092864 10261 1992294400 4194304 8395647 140737446633120 18446744073709551615 6741005 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11009 10261 652 1026 0 9979 0
Current children cumulated CPU time (s) 831.59
Current children cumulated vsize (KiB) 44036
[startup+844.701 s]
/proc/loadavg: 1.00 0.93 0.73 2/107 1892
/proc/meminfo: memFree=1615140/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44036 CPUtime=844.39
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19606 0 0 0 83264 1175 0 0 25 0 1 0 25497706 45092864 10261 1992294400 4194304 8395647 140737446633120 18446744073709551615 7185507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11009 10261 652 1026 0 9979 0
Current children cumulated CPU time (s) 844.39
Current children cumulated vsize (KiB) 44036
[startup+851.101 s]
/proc/loadavg: 1.00 0.93 0.73 2/107 1892
/proc/meminfo: memFree=1615140/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44664 CPUtime=850.78
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19742 0 0 0 83895 1183 0 0 25 0 1 0 25497706 45735936 10397 1992294400 4194304 8395647 140737446633120 18446744073709551615 4687909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11166 10397 652 1026 0 10136 0
Current children cumulated CPU time (s) 850.78
Current children cumulated vsize (KiB) 44664
[startup+852.7 s]
/proc/loadavg: 1.00 0.93 0.73 2/107 1892
/proc/meminfo: memFree=1614520/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44664 CPUtime=852.38
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19742 0 0 0 84053 1185 0 0 25 0 1 0 25497706 45735936 10397 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11166 10397 652 1026 0 10136 0
Current children cumulated CPU time (s) 852.38
Current children cumulated vsize (KiB) 44664
[startup+854.301 s]
/proc/loadavg: 1.00 0.93 0.73 2/107 1892
/proc/meminfo: memFree=1614520/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44664 CPUtime=853.97
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19742 0 0 0 84210 1187 0 0 25 0 1 0 25497706 45735936 10397 1992294400 4194304 8395647 140737446633120 18446744073709551615 6587234 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11166 10397 652 1026 0 10136 0
Current children cumulated CPU time (s) 853.97
Current children cumulated vsize (KiB) 44664
[startup+855.102 s]
/proc/loadavg: 1.00 0.94 0.73 2/107 1892
/proc/meminfo: memFree=1614520/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44664 CPUtime=854.78
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19742 0 0 0 84289 1189 0 0 25 0 1 0 25497706 45735936 10397 1992294400 4194304 8395647 140737446633120 18446744073709551615 4827321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11166 10397 652 1026 0 10136 0
Current children cumulated CPU time (s) 854.78
Current children cumulated vsize (KiB) 44664
[startup+855.502 s]
/proc/loadavg: 1.00 0.94 0.73 2/107 1892
/proc/meminfo: memFree=1614520/2059040 swapFree=4164940/4192956
[pid=1859] ppid=1857 vsize=44664 CPUtime=855.18
/proc/1859/stat : 1859 (pbscip.linux.x8) R 1857 1859 1831 0 -1 4202496 19742 0 0 0 84329 1189 0 0 25 0 1 0 25497706 45735936 10397 1992294400 4194304 8395647 140737446633120 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/1859/statm: 11166 10397 652 1026 0 10136 0
Current children cumulated CPU time (s) 855.18
Current children cumulated vsize (KiB) 44664
Child status: 0
Real time (s): 855.552
CPU time (s): 855.239
CPU user time (s): 843.338
CPU system time (s): 11.9012
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 45876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 843.338
system time used= 11.9012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19746
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= 8754
runsolver used 1.47477 second user time and 3.97839 second system time
The end