0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2664990-1276647282.opb>
0.00/0.01 c original problem has 486 variables (486 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.02/0.02 c presolving:
0.02/0.07 c (round 1) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 40 chg coeffs, 0 upgd conss, 2304 impls, 0 clqs
0.02/0.07 c (round 2) 9 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 40 chg coeffs, 10 upgd conss, 2326 impls, 0 clqs
0.09/0.10 c (0.1s) probing: 213/477 (44.7%) - 0 fixings, 0 aggregations, 43 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.10 c presolving (3 rounds):
0.09/0.10 c 9 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 40 changed coefficients
0.09/0.10 c 2412 implications, 0 cliques
0.09/0.10 c presolved problem has 477 variables (477 bin, 0 int, 0 impl, 0 cont) and 343 constraints
0.09/0.10 c 323 constraints of type <and>
0.09/0.10 c 9 constraints of type <linear>
0.09/0.10 c 11 constraints of type <logicor>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.05
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c # SCIP version 1.2.1.2
0.09/0.10 c
0.09/0.10 c # frequency for displaying node information lines
0.09/0.10 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.10 c display/freq = 10000
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/time = 1800
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.10 c limits/memory = 1620
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify inequalities
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/linear/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # should presolving try to simplify knapsacks
0.09/0.10 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.10 c
0.09/0.10 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c heuristics/undercover/freq = 0
0.09/0.10 c
0.09/0.10 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.10 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.10 c separating/rapidlearning/freq = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c start solving
0.09/0.10 c
0.09/0.11 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.11 c 0.1s| 1 | 0 | 14 | - |2002k| 0 | 4 | 477 | 343 | 477 | 666 | 0 | 0 | 0 | 2.000000e+00 | -- | Inf
0.29/0.31 c 0.2s| 1 | 0 | 26 | - |2033k| 0 | 14 | 477 | 349 | 477 | 670 | 4 | 0 | 0 | 2.000000e+00 | -- | Inf
0.29/0.33 c 0.2s| 1 | 0 | 48 | - |2069k| 0 | 28 | 477 | 349 | 477 | 681 | 15 | 0 | 0 | 2.000000e+00 | -- | Inf
0.29/0.37 c 0.3s| 1 | 0 | 80 | - |2134k| 0 | 52 | 477 | 349 | 477 | 693 | 27 | 0 | 0 | 2.000000e+00 | -- | Inf
0.39/0.42 c 0.3s| 1 | 0 | 118 | - |2182k| 0 | 62 | 477 | 349 | 477 | 741 | 75 | 0 | 0 | 2.000000e+00 | -- | Inf
0.39/0.48 c 0.4s| 1 | 0 | 160 | - |2214k| 0 | 79 | 477 | 349 | 477 | 761 | 95 | 0 | 0 | 2.000000e+00 | -- | Inf
0.49/0.55 c 0.4s| 1 | 0 | 186 | - |2246k| 0 | 94 | 477 | 349 | 477 | 780 | 114 | 0 | 0 | 2.000000e+00 | -- | Inf
0.59/0.68 c 0.6s| 1 | 2 | 186 | - |2247k| 0 | 94 | 477 | 349 | 477 | 780 | 114 | 0 | 10 | 2.000000e+00 | -- | Inf
53.57/53.61 c 49.5s| 10000 | 5105 |128394 | 12.8 | 10M| 96 | 4 | 477 |3277 | 477 | 431 | 56k|9519 |3623 | 2.000000e+00 | -- | Inf
100.36/100.45 c 92.5s| 20000 | 9990 |247344 | 12.4 | 15M| 96 | 13 | 477 |1786 | 477 | 377 | 107k| 19k|5500 | 2.000000e+00 | -- | Inf
135.55/135.61 c 125s| 30000 | 11712 |320753 | 10.7 | 19M| 96 | 7 | 477 |3658 | 477 | 293 | 131k| 29k|6354 | 2.000000e+00 | -- | Inf
172.85/172.99 c 160s| 40000 | 13923 |404776 | 10.1 | 21M| 96 | 20 | 477 |2636 | 477 | 324 | 160k| 40k|7362 | 2.000000e+00 | -- | Inf
212.43/212.59 c 197s| 50000 | 16735 |499303 | 10.0 | 25M| 96 | - | 477 |3219 | 0 | 0 | 194k| 50k|8278 | 2.000000e+00 | -- | Inf
257.42/257.58 c 238s| 60000 | 22430 |617784 | 10.3 | 31M| 96 | 25 | 477 |2038 | 477 | 244 | 241k| 57k|9293 | 2.000000e+00 | -- | Inf
304.81/304.96 c 282s| 70000 | 28498 |738573 | 10.5 | 37M| 96 | - | 477 |2156 | 0 | 0 | 288k| 66k| 10k| 2.000000e+00 | -- | Inf
348.80/348.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
348.80/348.95 c 323s| 80000 | 33947 |848021 | 10.6 | 43M| 96 | 22 | 477 |2268 | 477 | 363 | 329k| 74k| 10k| 2.000000e+00 | -- | Inf
368.49/368.63 o 3
368.49/368.63 c p 342s| 84270 | 21282 |898601 | 10.7 | 29M| 96 | - | 477 |1745 | 477 | 415 | 349k| 77k| 11k| 2.000000e+00 | 3.000000e+00 | 50.00%
390.19/390.37 c 362s| 90000 | 23718 |940837 | 10.5 | 32M| 96 | - | 477 |1922 | 0 | 0 | 366k| 83k| 11k| 2.000000e+00 | 3.000000e+00 | 50.00%
420.58/420.79 c 390s|100000 | 26529 |995543 | 10.0 | 37M| 96 | - | 477 |5730 | 0 | 0 | 384k| 95k| 11k| 2.000000e+00 | 3.000000e+00 | 50.00%
431.48/431.68 o 2
431.48/431.68 c * 400s|103440 | 0 | 1014k| 9.8 |6788k| 96 | - | 477 |4977 | 477 | 326 | 390k| 100k| 11k| 2.000000e+00 | 2.000000e+00 | 0.00%
431.48/431.69 c
431.48/431.69 c SCIP Status : problem is solved [optimal solution found]
431.48/431.69 c Solving Time (sec) : 400.28
431.48/431.69 c Solving Nodes : 103440
431.48/431.69 c Primal Bound : +2.00000000000000e+00 (2 solutions)
431.48/431.69 c Dual Bound : +2.00000000000000e+00
431.48/431.69 c Gap : 0.00 %
431.48/431.69 s OPTIMUM FOUND
431.48/431.69 v -x162 -x161 -x160 x159 -x158 x157 -x156 -x155 x154 x153 x152 -x151 -x108 x107 -x106 x105 x104 -x103 -x150 x149 -x148 x147 -x146
431.48/431.69 v x145 x102 -x101 -x100 -x99 x98 -x97 -x144 -x143 -x142 -x141 -x140 x139 -x96 x95 x94 -x93 x92 -x91 -x138 x137 -x136 -x135 -x134
431.48/431.69 v -x133 -x90 -x89 -x88 -x87 x86 -x85 -x132 -x131 -x130 -x129 -x128 -x127 -x84 x83 -x82 -x81 x80 -x79 -x126 -x125 -x124 x123
431.48/431.69 v -x122 x121 -x78 -x77 -x76 -x75 x74 -x73 -x120 x119 x118 -x117 -x116 -x115 -x72 -x71 x70 x69 x68 -x67 -x114 -x113 -x112 -x111
431.48/431.69 v -x110 -x109 x66 x65 x64 x63 x62 -x61 -x60 -x59 x58 x57 x56 x55 -x54 x53 x52 -x51 x50 x49 x48 x47 -x46 x45 -x44 x43 x42 -x41 x40
431.48/431.69 v x39 -x38 x37 x36 x35 x34 -x33 -x32 x31 -x30 -x29 x28 -x27 -x26 x25 -x24 x23 -x22 x21 x20 x19 -x18 x17 x16 -x15 -x14 x13 -x12
431.48/431.69 v x11 x10 x9 x8 x7 -x6 -x5 -x4 -x3 x2 -x1
431.48/431.69 c SCIP Status : problem is solved [optimal solution found]
431.48/431.69 c Solving Time : 400.28
431.48/431.69 c Original Problem :
431.48/431.69 c Problem name : HOME/instance-2664990-1276647282.opb
431.48/431.69 c Variables : 486 (486 binary, 0 integer, 0 implicit integer, 0 continuous)
431.48/431.69 c Constraints : 343 initial, 343 maximal
431.48/431.69 c Presolved Problem :
431.48/431.69 c Problem name : t_HOME/instance-2664990-1276647282.opb
431.48/431.69 c Variables : 477 (477 binary, 0 integer, 0 implicit integer, 0 continuous)
431.48/431.69 c Constraints : 343 initial, 7134 maximal
431.48/431.69 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
431.48/431.69 c trivial : 0.00 0 0 0 0 0 0 0 0
431.48/431.69 c dualfix : 0.00 0 0 0 0 0 0 0 0
431.48/431.69 c boundshift : 0.00 0 0 0 0 0 0 0 0
431.48/431.69 c inttobinary : 0.00 0 0 0 0 0 0 0 0
431.48/431.69 c implics : 0.00 0 0 0 0 0 0 0 0
431.48/431.69 c probing : 0.02 0 0 0 0 0 0 0 0
431.48/431.69 c and : 0.01 0 0 0 0 0 0 0 0
431.48/431.69 c linear : 0.01 1 8 0 0 0 0 0 40
431.48/431.69 c logicor : 0.00 0 0 0 0 0 0 0 0
431.48/431.69 c root node : - 88 - - 88 - - - -
431.48/431.69 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
431.48/431.69 c integral : 0 0 0 82856 0 28 1688 0 0 164098
431.48/431.69 c and : 323 205271 367525 0 0 9249 553648 390209 0 0
431.48/431.69 c linear : 9+ 7 358274 0 0 25946 222669 0 0 0
431.48/431.69 c logicor : 11+ 6 199598 1 0 2608 64101 0 0 0
431.48/431.69 c countsols : 0 0 0 1 0 0 0 0 0 0
431.48/431.69 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
431.48/431.69 c integral : 15.16 0.00 0.00 15.16 0.00
431.48/431.69 c and : 16.15 10.06 6.09 0.00 0.00
431.48/431.69 c linear : 11.49 0.00 11.49 0.00 0.00
431.48/431.69 c logicor : 11.17 0.00 11.17 0.00 0.00
431.48/431.69 c countsols : 0.00 0.00 0.00 0.00 0.00
431.48/431.69 c Propagators : Time Calls Cutoffs DomReds
431.48/431.69 c vbounds : 0.23 2 0 0
431.48/431.69 c rootredcost : 0.15 1 0 5
431.48/431.69 c pseudoobj : 0.47 367081 0 1
431.48/431.69 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
431.48/431.69 c propagation : 7.45 37803 37623 346973 37.8 9504 19.0 -
431.48/431.69 c infeasible LP : 0.06 418 414 2695 30.8 117 16.4 0
431.48/431.69 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
431.48/431.69 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
431.48/431.69 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
431.48/431.69 c applied globally : - - - 100591 23.8 - - -
431.48/431.69 c applied locally : - - - 23 49.0 - - -
431.48/431.69 c Separators : Time Calls Cutoffs DomReds Cuts Conss
431.48/431.69 c cut pool : 0.00 5 - - 17 - (maximal pool size: 181)
431.48/431.69 c redcost : 3.10 205272 0 1 0 0
431.48/431.69 c impliedbounds : 0.00 6 0 0 63 0
431.48/431.69 c intobj : 0.00 0 0 0 0 0
431.48/431.69 c cgmip : 0.00 0 0 0 0 0
431.48/431.69 c gomory : 0.06 6 0 0 157 0
431.48/431.69 c strongcg : 0.04 6 0 0 183 0
431.48/431.69 c cmir : 0.05 6 0 0 53 0
431.48/431.69 c flowcover : 0.08 6 0 0 104 0
431.48/431.69 c clique : 0.00 1 0 0 0 0
431.48/431.69 c zerohalf : 0.00 0 0 0 0 0
431.48/431.69 c mcf : 0.00 1 0 0 0 0
431.48/431.69 c rapidlearning : 0.11 1 0 0 0 6
431.48/431.69 c Pricers : Time Calls Vars
431.48/431.69 c problem variables: 0.00 0 0
431.48/431.69 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
431.48/431.69 c relpscost : 14.98 82855 28 1688 0 0 164098
431.48/431.69 c pscost : 0.00 0 0 0 0 0 0
431.48/431.69 c inference : 0.00 0 0 0 0 0 0
431.48/431.69 c mostinf : 0.00 0 0 0 0 0 0
431.48/431.69 c leastinf : 0.00 0 0 0 0 0 0
431.48/431.69 c fullstrong : 0.00 0 0 0 0 0 0
431.48/431.69 c allfullstrong : 0.00 0 0 0 0 0 0
431.48/431.69 c random : 0.00 0 0 0 0 0 0
431.48/431.69 c Primal Heuristics : Time Calls Found
431.48/431.69 c LP solutions : 0.15 - 1
431.48/431.69 c pseudo solutions : 0.00 - 0
431.48/431.69 c crossover : 0.10 0 0
431.48/431.69 c intshifting : 0.00 0 0
431.48/431.69 c oneopt : 0.24 1 0
431.48/431.69 c rootsoldiving : 1.43 25 0
431.48/431.69 c objpscostdiving : 0.77 45 0
431.48/431.69 c guideddiving : 1.68 185 0
431.48/431.69 c fracdiving : 1.07 201 0
431.48/431.69 c veclendiving : 0.92 201 0
431.48/431.69 c linesearchdiving : 1.10 201 0
431.48/431.69 c coefdiving : 1.28 201 0
431.48/431.69 c pscostdiving : 1.12 202 1
431.48/431.69 c feaspump : 0.88 112 0
431.48/431.69 c trivial : 0.01 2 0
431.48/431.69 c simplerounding : 0.18 0 0
431.48/431.69 c zirounding : 0.10 1000 0
431.48/431.69 c rounding : 0.44 6509 0
431.48/431.69 c shifting : 3.90 2074 0
431.48/431.69 c twoopt : 0.00 0 0
431.48/431.69 c fixandinfer : 0.00 0 0
431.48/431.69 c intdiving : 0.00 0 0
431.48/431.69 c actconsdiving : 0.00 0 0
431.48/431.69 c octane : 0.00 0 0
431.48/431.69 c rens : 0.02 1 0
431.48/431.69 c rins : 0.00 0 0
431.48/431.69 c localbranching : 0.00 0 0
431.48/431.69 c mutation : 0.00 0 0
431.48/431.69 c dins : 0.00 0 0
431.48/431.69 c undercover : 0.01 1 0
431.48/431.69 c nlp : 0.04 0 0
431.48/431.69 c trysol : 0.19 0 0
431.48/431.69 c LP : Time Calls Iterations Iter/call Iter/sec
431.48/431.69 c primal LP : 47.27 0 0 0.00 0.00
431.48/431.69 c dual LP : 220.43 216765 962291 4.44 4365.52
431.48/431.69 c lex dual LP : 0.00 0 0 0.00 -
431.48/431.69 c barrier LP : 0.00 0 0 0.00 -
431.48/431.69 c diving/probing LP: 6.98 7988 52170 6.53 7474.21
431.48/431.69 c strong branching : 13.07 11648 82157 7.05 6285.92
431.48/431.69 c (at root node) : - 10 636 63.60 -
431.48/431.69 c conflict analysis: 0.00 0 0 0.00 -
431.48/431.69 c B&B Tree :
431.48/431.69 c number of runs : 1
431.48/431.69 c nodes : 103440
431.48/431.69 c nodes (total) : 103440
431.48/431.69 c nodes left : 0
431.48/431.69 c max depth : 96
431.48/431.69 c max depth (total): 96
431.48/431.69 c backtracks : 17591 (17.0%)
431.48/431.69 c delayed cutoffs : 17733
431.48/431.69 c repropagations : 56535 (247506 domain reductions, 14019 cutoffs)
431.48/431.69 c avg switch length: 6.79
431.48/431.69 c switching time : 63.49
431.48/431.69 c Solution :
431.48/431.69 c Solutions found : 2 (2 improvements)
431.48/431.69 c First Solution : +3.00000000000000e+00 (in run 1, after 84270 nodes, 341.77 seconds, depth 88, found by <pscostdiving>)
431.48/431.69 c Primal Bound : +2.00000000000000e+00 (in run 1, after 103440 nodes, 400.12 seconds, depth 65, found by <relaxation>)
431.48/431.69 c Dual Bound : +2.00000000000000e+00
431.48/431.69 c Gap : 0.00 %
431.48/431.69 c Root Dual Bound : +2.00000000000000e+00
431.48/431.69 c Root Iterations : 186
431.58/431.72 c Time complete: 431.6.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664990-1276647282/watcher-2664990-1276647282 -o /tmp/evaluation-result-2664990-1276647282/solver-2664990-1276647282 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2664990-1276647282.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.62 1.15 1.06 3/106 12644
/proc/meminfo: memFree=1775324/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=9288 CPUtime=0
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 1080 0 0 0 0 0 0 0 20 0 1 0 40332149 9510912 1001 1992294400 4194304 9819077 140737239635008 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12644/statm: 2322 1011 371 1374 0 943 0
[startup+0.0213479 s]
/proc/loadavg: 1.62 1.15 1.06 3/106 12644
/proc/meminfo: memFree=1775324/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=13636 CPUtime=0.02
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2529 0 0 0 1 1 0 0 20 0 1 0 40332149 13963264 2097 1992294400 4194304 9819077 140737239635008 18446744073709551615 8656455 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 3442 2101 460 1374 0 2063 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13636
[startup+0.101355 s]
/proc/loadavg: 1.62 1.15 1.06 3/106 12644
/proc/meminfo: memFree=1775324/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=14332 CPUtime=0.09
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 3778 0 0 0 5 4 0 0 20 0 1 0 40332149 14675968 2318 1992294400 4194304 9819077 140737239635008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 3583 2318 515 1374 0 2204 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14332
[startup+0.301376 s]
/proc/loadavg: 1.62 1.15 1.06 3/106 12644
/proc/meminfo: memFree=1775324/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=27288 CPUtime=0.29
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 9146 0 0 0 19 10 0 0 20 0 1 0 40332149 27942912 5101 1992294400 4194304 9819077 140737239635008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 6822 5101 691 1374 0 5443 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27288
[startup+0.701416 s]
/proc/loadavg: 1.62 1.15 1.06 3/106 12644
/proc/meminfo: memFree=1775324/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=20712 CPUtime=0.69
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 11853 0 0 0 57 12 0 0 20 0 1 0 40332149 21209088 3902 1992294400 4194304 9819077 140737239635008 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 5178 3902 708 1374 0 3799 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20712
[startup+1.5005 s]
/proc/loadavg: 1.62 1.15 1.06 2/107 12645
/proc/meminfo: memFree=1761800/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=19836 CPUtime=1.49
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 13970 0 0 0 134 15 0 0 23 0 1 0 40332149 20312064 3906 1992294400 4194304 9819077 140737239635008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 4959 3906 716 1374 0 3580 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19836
[startup+3.10066 s]
/proc/loadavg: 1.62 1.15 1.06 2/107 12645
/proc/meminfo: memFree=1761676/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=20012 CPUtime=3.09
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 18795 0 0 0 288 21 0 0 25 0 1 0 40332149 20492288 3907 1992294400 4194304 9819077 140737239635008 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 5003 3907 716 1374 0 3624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20012
[startup+6.30099 s]
/proc/loadavg: 1.57 1.15 1.06 2/107 12645
/proc/meminfo: memFree=1761676/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=22284 CPUtime=6.29
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 35663 0 0 0 586 43 0 0 25 0 1 0 40332149 22818816 3958 1992294400 4194304 9819077 140737239635008 18446744073709551615 6197519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 5571 3958 725 1374 0 4192 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22284
[startup+12.7006 s]
/proc/loadavg: 1.52 1.15 1.06 2/107 12647
/proc/meminfo: memFree=1761552/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=21872 CPUtime=12.69
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 92227 0 0 0 1174 95 0 0 25 0 1 0 40332149 22396928 4172 1992294400 4194304 9819077 140737239635008 18446744073709551615 7226552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 5468 4172 725 1374 0 4089 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21872
[startup+25.502 s]
/proc/loadavg: 1.41 1.14 1.06 2/107 12647
/proc/meminfo: memFree=1757088/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=26296 CPUtime=25.49
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 194719 0 0 0 2355 194 0 0 25 0 1 0 40332149 26927104 5197 1992294400 4194304 9819077 140737239635008 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 6574 5197 725 1374 0 5195 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26296
[startup+51.1016 s]
/proc/loadavg: 1.27 1.13 1.06 2/107 12647
/proc/meminfo: memFree=1751756/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=31264 CPUtime=51.07
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 387788 0 0 0 4716 391 0 0 25 0 1 0 40332149 32014336 6479 1992294400 4194304 9819077 140737239635008 18446744073709551615 6367477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 7816 6479 725 1374 0 6437 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31264
[startup+102.309 s]
/proc/loadavg: 1.11 1.11 1.05 2/107 12649
/proc/meminfo: memFree=1744316/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=38536 CPUtime=102.27
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 790749 0 0 0 9416 811 0 0 25 0 1 0 40332149 39460864 8312 1992294400 4194304 9819077 140737239635008 18446744073709551615 6670222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 9634 8312 725 1374 0 8255 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 38536
[startup+162.302 s]
/proc/loadavg: 1.04 1.08 1.05 2/107 12651
/proc/meminfo: memFree=1738240/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=45036 CPUtime=162.25
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 1146266 0 0 0 15008 1217 0 0 25 0 1 0 40332149 46116864 9844 1992294400 4194304 9819077 140737239635008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 11259 9844 725 1374 0 9880 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45036
[startup+222.301 s]
/proc/loadavg: 1.01 1.07 1.04 2/107 12651
/proc/meminfo: memFree=1729436/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=53220 CPUtime=222.23
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 1549155 0 0 0 20560 1663 0 0 25 0 1 0 40332149 54497280 12015 1992294400 4194304 9819077 140737239635008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 13305 12015 725 1374 0 11926 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 53220
[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.03 2/107 12653
/proc/meminfo: memFree=1722244/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=61288 CPUtime=282.22
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 1924881 0 0 0 26150 2072 0 0 25 0 1 0 40332149 62758912 14006 1992294400 4194304 9819077 140737239635008 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 15322 14006 725 1374 0 13943 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 61288
[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.03 2/107 12655
/proc/meminfo: memFree=1711580/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=70928 CPUtime=342.2
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2314597 0 0 0 31724 2496 0 0 25 0 1 0 40332149 72630272 16478 1992294400 4194304 9819077 140737239635008 18446744073709551615 6388540 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 17732 16478 725 1374 0 16353 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 70928
[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1706000/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=76160 CPUtime=402.18
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2656219 0 0 0 37310 2908 0 0 25 0 1 0 40332149 77987840 17823 1992294400 4194304 9819077 140737239635008 18446744073709551615 6670189 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 19040 17823 725 1374 0 17661 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 76160
Solver just ended. Dumping a history of the last processes samples
[startup+409.501 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1706000/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=75976 CPUtime=409.38
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2702837 0 0 0 37978 2960 0 0 25 0 1 0 40332149 77799424 17824 1992294400 4194304 9819077 140737239635008 18446744073709551615 7230654 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 18994 17824 725 1374 0 17615 0
Current children cumulated CPU time (s) 409.38
Current children cumulated vsize (KiB) 75976
[startup+422.3 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1705504/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=77084 CPUtime=422.19
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2790473 0 0 0 39162 3057 0 0 25 0 1 0 40332149 78934016 17962 1992294400 4194304 9819077 140737239635008 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 19271 17962 725 1374 0 17892 0
Current children cumulated CPU time (s) 422.19
Current children cumulated vsize (KiB) 77084
[startup+428.7 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1704760/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=77112 CPUtime=428.57
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2838614 0 0 0 39749 3108 0 0 25 0 1 0 40332149 78962688 18144 1992294400 4194304 9819077 140737239635008 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 19368 18148 725 1374 0 17989 0
Current children cumulated CPU time (s) 428.57
Current children cumulated vsize (KiB) 77112
[startup+430.3 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1704512/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=77900 CPUtime=430.18
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2849545 0 0 0 39898 3120 0 0 25 0 1 0 40332149 79769600 18208 1992294400 4194304 9819077 140737239635008 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 19521 18209 725 1374 0 18142 0
Current children cumulated CPU time (s) 430.18
Current children cumulated vsize (KiB) 77900
[startup+431.1 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1704512/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=77716 CPUtime=430.98
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2854943 0 0 0 39973 3125 0 0 25 0 1 0 40332149 79581184 18208 1992294400 4194304 9819077 140737239635008 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 19429 18208 725 1374 0 18050 0
Current children cumulated CPU time (s) 430.98
Current children cumulated vsize (KiB) 77716
[startup+431.501 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1704512/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=78060 CPUtime=431.38
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2858613 0 0 0 40009 3129 0 0 25 0 1 0 40332149 79933440 18210 1992294400 4194304 9819077 140737239635008 18446744073709551615 6361129 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12644/statm: 19515 18210 725 1374 0 18136 0
Current children cumulated CPU time (s) 431.38
Current children cumulated vsize (KiB) 78060
[startup+431.701 s]
/proc/loadavg: 1.00 1.03 1.02 2/107 12657
/proc/meminfo: memFree=1704512/2059040 swapFree=4135684/4192956
[pid=12644] ppid=12642 vsize=76516 CPUtime=431.58
/proc/12644/stat : 12644 (pbscip.linux.x8) R 12642 12644 12171 0 -1 4202496 2859002 0 0 0 40029 3129 0 0 25 0 1 0 40332149 78352384 17829 1992294400 4194304 9819077 140737239635008 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12644/statm: 19129 17829 728 1374 0 17750 0
Current children cumulated CPU time (s) 431.58
Current children cumulated vsize (KiB) 76516
Child status: 0
Real time (s): 431.726
CPU time (s): 431.609
CPU user time (s): 400.307
CPU system time (s): 31.3022
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 79560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 400.307
system time used= 31.3022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2859006
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 5182
runsolver used 0.691894 second user time and 2.07069 second system time
The end