0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [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-2666546-1276649986.opb>
0.00/0.01 c original problem has 704 variables (704 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 c presolving:
0.09/0.14 c (round 1) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 0 upgd conss, 3056 impls, 0 clqs
0.09/0.14 c (round 2) 8 del vars, 0 del conss, 0 chg bounds, 0 chg sides, 54 chg coeffs, 9 upgd conss, 3086 impls, 0 clqs
0.09/0.18 c (0.1s) probing: 236/696 (33.9%) - 0 fixings, 0 aggregations, 65 implications, 0 bound changes
0.09/0.18 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.18 c presolving (3 rounds):
0.09/0.18 c 8 deleted vars, 0 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 54 changed coefficients
0.09/0.18 c 3216 implications, 0 cliques
0.09/0.18 c presolved problem has 696 variables (696 bin, 0 int, 0 impl, 0 cont) and 529 constraints
0.09/0.18 c 511 constraints of type <and>
0.09/0.18 c 8 constraints of type <linear>
0.09/0.18 c 10 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.10
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 1.2.1.2
0.09/0.18 c
0.09/0.18 c # frequency for displaying node information lines
0.09/0.18 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.18 c display/freq = 10000
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/time = 1799.99
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.18 c limits/memory = 1620
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify inequalities
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/linear/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # should presolving try to simplify knapsacks
0.09/0.18 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.18 c
0.09/0.18 c # frequency for calling primal heuristic <undercover> (-1: never, 0: only at depth freqofs)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c heuristics/undercover/freq = 0
0.09/0.18 c
0.09/0.18 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.18 c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.18 c separating/rapidlearning/freq = 0
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.19 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.19 c 0.1s| 1 | 0 | 13 | - |2928k| 0 | 4 | 696 | 529 | 696 |1040 | 0 | 0 | 0 | 2.000000e+00 | -- | Inf
0.69/0.71 c 0.5s| 1 | 0 | 661 | - |2989k| 0 | 6 | 696 | 543 | 696 |1042 | 2 | 0 | 0 | 2.000000e+00 | -- | Inf
0.69/0.74 c 0.6s| 1 | 0 | 671 | - |3006k| 0 | 14 | 696 | 543 | 696 |1047 | 7 | 0 | 0 | 2.000000e+00 | -- | Inf
0.69/0.77 c 0.6s| 1 | 0 | 681 | - |3022k| 0 | 22 | 696 | 543 | 696 |1051 | 11 | 0 | 0 | 2.000000e+00 | -- | Inf
0.80/0.81 c 0.6s| 1 | 0 | 689 | - |3031k| 0 | 30 | 696 | 543 | 696 |1056 | 16 | 0 | 0 | 2.000000e+00 | -- | Inf
0.80/0.88 c 0.7s| 1 | 0 | 707 | - |3082k| 0 | 38 | 696 | 543 | 696 |1064 | 24 | 0 | 0 | 2.000000e+00 | -- | Inf
0.89/0.97 c 0.8s| 1 | 0 | 725 | - |3125k| 0 | 47 | 696 | 543 | 696 |1077 | 37 | 0 | 0 | 2.000000e+00 | -- | Inf
0.99/1.08 c 0.9s| 1 | 2 | 725 | - |3126k| 0 | 47 | 696 | 543 | 696 |1077 | 37 | 0 | 9 | 2.000000e+00 | -- | Inf
35.29/35.31 c 33.9s| 10000 | 7198 | 88404 | 8.8 | 13M| 116 | 15 | 696 |3204 | 696 | 221 | 44k|5255 |5065 | 2.000000e+00 | -- | Inf
61.37/61.43 c 59.1s| 20000 | 14626 |162216 | 8.1 | 22M| 116 | 14 | 696 |1835 | 696 | 225 | 82k| 10k|5420 | 2.000000e+00 | -- | Inf
84.76/84.83 c 81.7s| 30000 | 20631 |216279 | 7.2 | 30M| 116 | 7 | 696 |1925 | 696 | 287 | 109k| 15k|6531 | 2.000000e+00 | -- | Inf
98.05/98.12 o 3
98.05/98.12 c *94.5s| 35579 | 10484 |246716 | 6.9 | 17M| 116 | - | 696 |2052 | 696 | 287 | 125k| 18k|6993 | 2.000000e+00 | 3.000000e+00 | 50.00%
107.15/107.27 c 103s| 40000 | 12894 |265993 | 6.6 | 20M| 116 | 21 | 696 |2423 | 696 | 223 | 132k| 22k|7224 | 2.000000e+00 | 3.000000e+00 | 50.00%
118.54/118.67 o 2
118.54/118.67 c * 114s| 44793 | 0 |292929 | 6.5 |5828k| 116 | - | 696 |3325 | 696 | 315 | 142k| 27k|7474 | 2.000000e+00 | 2.000000e+00 | 0.00%
118.54/118.67 c
118.54/118.67 c SCIP Status : problem is solved [optimal solution found]
118.54/118.67 c Solving Time (sec) : 114.28
118.54/118.67 c Solving Nodes : 44793
118.54/118.67 c Primal Bound : +2.00000000000000e+00 (2 solutions)
118.54/118.67 c Dual Bound : +2.00000000000000e+00
118.54/118.67 c Gap : 0.00 %
118.54/118.67 s OPTIMUM FOUND
118.54/118.67 v -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 x181 x180 x179 x178 -x177 -x128 -x127 -x126 -x125 -x124 x123 x122
118.54/118.67 v -x121 -x176 -x175 -x174 -x173 -x172 -x171 -x170 x169 -x120 x119 x118 x117 x116 x115 x114 -x113 -x168 x167 x166 -x165 -x164
118.54/118.67 v -x163 x162 -x161 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x160 -x159 -x158 -x157 -x156 x155 -x154 x153 x104 -x103 -x102
118.54/118.67 v -x101 -x100 -x99 x98 -x97 -x152 -x151 -x150 x149 x148 -x147 x146 x145 -x96 x95 -x94 x93 x92 x91 x90 -x89 -x144 x143 -x142
118.54/118.67 v -x141 x140 x139 x138 x137 -x88 -x87 x86 x85 x84 x83 x82 -x81 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x80 x79 x78 -x77
118.54/118.67 v -x76 -x75 x74 -x73 -x72 x71 -x70 x69 x68 -x67 -x66 x65 -x64 -x63 x62 x61 x60 x59 -x58 x57 x56 -x55 x54 x53 x52 x51 x50 x49
118.54/118.67 v x48 x47 -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
118.54/118.67 v x20 x19 x18 x17 x16 -x15 x14 x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
118.54/118.67 c SCIP Status : problem is solved [optimal solution found]
118.54/118.67 c Solving Time : 114.28
118.54/118.67 c Original Problem :
118.54/118.67 c Problem name : HOME/instance-2666546-1276649986.opb
118.54/118.67 c Variables : 704 (704 binary, 0 integer, 0 implicit integer, 0 continuous)
118.54/118.67 c Constraints : 529 initial, 529 maximal
118.54/118.67 c Presolved Problem :
118.54/118.67 c Problem name : t_HOME/instance-2666546-1276649986.opb
118.54/118.67 c Variables : 696 (696 binary, 0 integer, 0 implicit integer, 0 continuous)
118.54/118.67 c Constraints : 529 initial, 3676 maximal
118.54/118.67 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
118.54/118.67 c trivial : 0.00 0 0 0 0 0 0 0 0
118.54/118.67 c dualfix : 0.00 0 0 0 0 0 0 0 0
118.54/118.67 c boundshift : 0.00 0 0 0 0 0 0 0 0
118.54/118.67 c inttobinary : 0.00 0 0 0 0 0 0 0 0
118.54/118.67 c implics : 0.00 0 0 0 0 0 0 0 0
118.54/118.67 c probing : 0.03 0 0 0 0 0 0 0 0
118.54/118.67 c and : 0.06 0 0 0 0 0 0 0 0
118.54/118.67 c linear : 0.01 1 7 0 0 0 0 0 54
118.54/118.67 c logicor : 0.00 0 0 0 0 0 0 0 0
118.54/118.67 c root node : - 126 - - 126 - - - -
118.54/118.67 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
118.54/118.67 c integral : 0 0 0 39055 0 0 598 0 0 77450
118.54/118.67 c and : 511 92789 144231 3 0 2273 307172 142159 0 0
118.54/118.67 c linear : 8+ 7 141956 0 0 6966 87883 0 0 0
118.54/118.67 c logicor : 10+ 6 66153 1 0 498 16184 0 0 0
118.54/118.67 c countsols : 0 0 0 2 0 0 0 0 0 0
118.54/118.67 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
118.54/118.67 c integral : 8.76 0.00 0.00 8.76 0.00
118.54/118.67 c and : 10.69 7.62 3.07 0.00 0.00
118.54/118.67 c linear : 5.78 0.00 5.78 0.00 0.00
118.54/118.67 c logicor : 1.76 0.00 1.76 0.00 0.00
118.54/118.67 c countsols : 0.00 0.00 0.00 0.00 0.00
118.54/118.67 c Propagators : Time Calls Cutoffs DomReds
118.54/118.67 c vbounds : 0.15 2 0 0
118.54/118.67 c rootredcost : 0.08 1 0 7
118.54/118.67 c pseudoobj : 0.21 143743 0 1
118.54/118.67 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
118.54/118.67 c propagation : 4.24 9737 9724 137971 69.7 2309 23.7 -
118.54/118.67 c infeasible LP : 0.03 198 198 862 35.4 226 10.5 0
118.54/118.67 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
118.54/118.67 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
118.54/118.67 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
118.54/118.67 c applied globally : - - - 27759 35.3 - - -
118.54/118.67 c applied locally : - - - 2 78.0 - - -
118.54/118.67 c Separators : Time Calls Cutoffs DomReds Cuts Conss
118.54/118.67 c cut pool : 0.00 5 - - 1 - (maximal pool size: 72)
118.54/118.67 c redcost : 1.63 92791 0 41 0 0
118.54/118.67 c impliedbounds : 0.00 6 0 0 16 0
118.54/118.67 c intobj : 0.00 0 0 0 0 0
118.54/118.67 c cgmip : 0.00 0 0 0 0 0
118.54/118.67 c gomory : 0.06 6 0 0 47 0
118.54/118.67 c strongcg : 0.03 6 0 0 82 0
118.54/118.67 c cmir : 0.05 6 0 0 27 0
118.54/118.67 c flowcover : 0.10 6 0 0 42 0
118.54/118.67 c clique : 0.00 1 0 0 0 0
118.54/118.67 c zerohalf : 0.00 0 0 0 0 0
118.54/118.67 c mcf : 0.01 1 0 0 0 0
118.54/118.67 c rapidlearning : 0.35 1 0 0 0 14
118.54/118.67 c Pricers : Time Calls Vars
118.54/118.67 c problem variables: 0.00 0 0
118.54/118.67 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
118.54/118.67 c relpscost : 8.70 39050 0 598 0 0 77450
118.54/118.67 c pscost : 0.00 0 0 0 0 0 0
118.54/118.67 c inference : 0.00 0 0 0 0 0 0
118.54/118.67 c mostinf : 0.00 0 0 0 0 0 0
118.54/118.67 c leastinf : 0.00 0 0 0 0 0 0
118.54/118.67 c fullstrong : 0.00 0 0 0 0 0 0
118.54/118.67 c allfullstrong : 0.00 0 0 0 0 0 0
118.54/118.67 c random : 0.00 0 0 0 0 0 0
118.54/118.67 c Primal Heuristics : Time Calls Found
118.54/118.67 c LP solutions : 0.11 - 2
118.54/118.67 c pseudo solutions : 0.00 - 0
118.54/118.67 c crossover : 0.04 0 0
118.54/118.67 c intshifting : 0.00 0 0
118.54/118.67 c oneopt : 0.16 1 0
118.54/118.67 c coefdiving : 0.35 33 0
118.54/118.67 c pscostdiving : 0.44 33 0
118.54/118.67 c fracdiving : 0.35 33 0
118.54/118.67 c veclendiving : 0.23 33 0
118.54/118.67 c linesearchdiving : 0.32 33 0
118.54/118.67 c guideddiving : 0.31 33 0
118.54/118.67 c feaspump : 0.21 17 0
118.54/118.67 c objpscostdiving : 0.46 17 0
118.54/118.67 c rootsoldiving : 0.88 17 0
118.54/118.67 c trivial : 0.00 2 0
118.54/118.67 c simplerounding : 0.09 0 0
118.54/118.67 c zirounding : 0.04 1000 0
118.54/118.67 c rounding : 0.28 4257 0
118.54/118.67 c shifting : 2.99 1366 0
118.54/118.67 c twoopt : 0.00 0 0
118.54/118.67 c fixandinfer : 0.00 0 0
118.54/118.67 c intdiving : 0.00 0 0
118.54/118.67 c actconsdiving : 0.00 0 0
118.54/118.67 c octane : 0.00 0 0
118.54/118.67 c rens : 0.02 1 0
118.54/118.67 c rins : 0.00 0 0
118.54/118.67 c localbranching : 0.00 0 0
118.54/118.67 c mutation : 0.00 0 0
118.54/118.67 c dins : 0.00 0 0
118.54/118.67 c undercover : 0.00 1 0
118.54/118.67 c nlp : 0.02 0 0
118.54/118.67 c trysol : 0.08 0 0
118.54/118.67 c LP : Time Calls Iterations Iter/call Iter/sec
118.54/118.67 c primal LP : 2.38 0 0 0.00 0.00
118.54/118.67 c dual LP : 47.16 95220 277973 2.92 5894.25
118.54/118.67 c lex dual LP : 0.00 0 0 0.00 -
118.54/118.67 c barrier LP : 0.00 0 0 0.00 -
118.54/118.67 c diving/probing LP: 1.87 4786 14956 3.12 7997.86
118.54/118.67 c strong branching : 7.83 7474 48626 6.51 6210.22
118.54/118.67 c (at root node) : - 9 460 51.11 -
118.54/118.67 c conflict analysis: 0.00 0 0 0.00 -
118.54/118.67 c B&B Tree :
118.54/118.67 c number of runs : 1
118.54/118.67 c nodes : 44793
118.54/118.67 c nodes (total) : 44793
118.54/118.67 c nodes left : 0
118.54/118.67 c max depth : 116
118.54/118.67 c max depth (total): 116
118.54/118.67 c backtracks : 3794 (8.5%)
118.54/118.67 c delayed cutoffs : 3521
118.54/118.67 c repropagations : 14781 (59944 domain reductions, 3209 cutoffs)
118.54/118.67 c avg switch length: 4.67
118.54/118.67 c switching time : 7.74
118.54/118.67 c Solution :
118.54/118.67 c Solutions found : 2 (2 improvements)
118.54/118.67 c First Solution : +3.00000000000000e+00 (in run 1, after 35579 nodes, 94.47 seconds, depth 80, found by <relaxation>)
118.54/118.67 c Primal Bound : +2.00000000000000e+00 (in run 1, after 44793 nodes, 114.20 seconds, depth 101, found by <relaxation>)
118.54/118.67 c Dual Bound : +2.00000000000000e+00
118.54/118.67 c Gap : 0.00 %
118.54/118.67 c Root Dual Bound : +2.00000000000000e+00
118.54/118.67 c Root Iterations : 725
118.54/118.70 c Time complete: 118.64.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2666546-1276649986/watcher-2666546-1276649986 -o /tmp/evaluation-result-2666546-1276649986/solver-2666546-1276649986 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2666546-1276649986.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.93 0.99 0.99 3/106 12473
/proc/meminfo: memFree=1797032/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=7724 CPUtime=0
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 1150 0 0 0 0 0 0 0 20 0 1 0 6290974 7909376 1071 1992294400 4194304 8223781 140733650812336 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/12473/statm: 1931 1079 348 984 0 944 0
[startup+0.101705 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 12473
/proc/meminfo: memFree=1797032/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=13460 CPUtime=0.09
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 3002 0 0 0 6 3 0 0 20 0 1 0 6290974 13783040 2302 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 3365 2302 427 984 0 2378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13460
[startup+0.201713 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 12473
/proc/meminfo: memFree=1797032/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=17260 CPUtime=0.19
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 4922 0 0 0 12 7 0 0 20 0 1 0 6290974 17674240 3430 1992294400 4194304 8223781 140733650812336 18446744073709551615 6244214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 4315 3430 546 984 0 3328 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 17260
[startup+0.301722 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 12473
/proc/meminfo: memFree=1797032/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=26276 CPUtime=0.29
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 8472 0 0 0 20 9 0 0 20 0 1 0 6290974 26906624 5376 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 6569 5376 580 984 0 5582 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26276
[startup+0.701758 s]
/proc/loadavg: 0.93 0.99 0.99 3/106 12473
/proc/meminfo: memFree=1797032/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=28576 CPUtime=0.69
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 10067 0 0 0 53 16 0 0 21 0 1 0 6290974 29261824 5943 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 7144 5943 585 984 0 6157 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28576
[startup+1.50183 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 12474
/proc/meminfo: memFree=1776440/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=26248 CPUtime=1.49
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 12684 0 0 0 129 20 0 0 23 0 1 0 6290974 26877952 5546 1992294400 4194304 8223781 140733650812336 18446744073709551615 6021518 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 6562 5546 589 984 0 5575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26248
[startup+3.10097 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 12474
/proc/meminfo: memFree=1776316/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=26248 CPUtime=3.09
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 12686 0 0 0 283 26 0 0 25 0 1 0 6290974 26877952 5548 1992294400 4194304 8223781 140733650812336 18446744073709551615 6482569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 6562 5548 591 984 0 5575 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26248
[startup+6.30125 s]
/proc/loadavg: 0.93 0.99 0.99 2/107 12474
/proc/meminfo: memFree=1776068/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=26248 CPUtime=6.29
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 12687 0 0 0 591 38 0 0 25 0 1 0 6290974 26877952 5549 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 6562 5549 591 984 0 5575 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26248
[startup+12.7008 s]
/proc/loadavg: 0.94 0.99 0.99 2/107 12474
/proc/meminfo: memFree=1775828/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=27224 CPUtime=12.69
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 12929 0 0 0 1209 60 0 0 25 0 1 0 6290974 27877376 5791 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 6806 5791 591 984 0 5819 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27224
[startup+25.501 s]
/proc/loadavg: 0.95 0.99 0.99 2/107 12474
/proc/meminfo: memFree=1770124/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=32792 CPUtime=25.49
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 14329 0 0 0 2445 104 0 0 25 0 1 0 6290974 33579008 7185 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 8198 7185 591 984 0 7211 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32792
[startup+51.1013 s]
/proc/loadavg: 0.97 0.99 0.99 2/107 12476
/proc/meminfo: memFree=1758964/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=43896 CPUtime=51.08
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 17144 0 0 0 4913 195 0 0 25 0 1 0 6290974 44949504 9984 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 10974 9984 591 984 0 9987 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43896
[startup+102.302 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 12485
/proc/meminfo: memFree=1739248/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63168 CPUtime=102.25
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22002 0 0 0 9852 373 0 0 25 0 1 0 6290974 64684032 14829 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15792 14829 591 984 0 14805 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 63168
Solver just ended. Dumping a history of the last processes samples
[startup+102.409 s]
/proc/loadavg: 0.98 0.99 0.99 2/107 12485
/proc/meminfo: memFree=1739248/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63168 CPUtime=102.36
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22002 0 0 0 9862 374 0 0 25 0 1 0 6290974 64684032 14829 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15792 14829 591 984 0 14805 0
Current children cumulated CPU time (s) 102.36
Current children cumulated vsize (KiB) 63168
[startup+108.801 s]
/proc/loadavg: 0.98 0.99 0.99 3/107 12485
/proc/meminfo: memFree=1739000/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63528 CPUtime=108.75
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22086 0 0 0 10477 398 0 0 25 0 1 0 6290974 65052672 14913 1992294400 4194304 8223781 140733650812336 18446744073709551615 5909045 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15882 14913 591 984 0 14895 0
Current children cumulated CPU time (s) 108.75
Current children cumulated vsize (KiB) 63528
[startup+115.201 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 12485
/proc/meminfo: memFree=1738876/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63640 CPUtime=115.14
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22125 0 0 0 11095 419 0 0 25 0 1 0 6290974 65167360 14950 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15910 14950 591 984 0 14923 0
Current children cumulated CPU time (s) 115.14
Current children cumulated vsize (KiB) 63640
[startup+116.801 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 12487
/proc/meminfo: memFree=1738876/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63640 CPUtime=116.74
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22125 0 0 0 11249 425 0 0 25 0 1 0 6290974 65167360 14950 1992294400 4194304 8223781 140733650812336 18446744073709551615 6456009 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15910 14950 591 984 0 14923 0
Current children cumulated CPU time (s) 116.74
Current children cumulated vsize (KiB) 63640
[startup+117.601 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 12487
/proc/meminfo: memFree=1738876/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63640 CPUtime=117.55
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22127 0 0 0 11326 429 0 0 25 0 1 0 6290974 65167360 14952 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15910 14952 591 984 0 14923 0
Current children cumulated CPU time (s) 117.55
Current children cumulated vsize (KiB) 63640
[startup+118.401 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 12487
/proc/meminfo: memFree=1738876/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63640 CPUtime=118.34
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22133 0 0 0 11402 432 0 0 25 0 1 0 6290974 65167360 14958 1992294400 4194304 8223781 140733650812336 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15910 14958 591 984 0 14923 0
Current children cumulated CPU time (s) 118.34
Current children cumulated vsize (KiB) 63640
[startup+118.601 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 12487
/proc/meminfo: memFree=1738876/2059040 swapFree=4141376/4192956
[pid=12473] ppid=12471 vsize=63640 CPUtime=118.54
/proc/12473/stat : 12473 (pbscip.linux.x8) R 12471 12473 12133 0 -1 4202496 22133 0 0 0 11421 433 0 0 25 0 1 0 6290974 65167360 14958 1992294400 4194304 8223781 140733650812336 18446744073709551615 6207260 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12473/statm: 15910 14958 591 984 0 14923 0
Current children cumulated CPU time (s) 118.54
Current children cumulated vsize (KiB) 63640
Child status: 0
Real time (s): 118.7
CPU time (s): 118.654
CPU user time (s): 114.309
CPU system time (s): 4.34534
CPU usage (%): 99.9615
Max. virtual memory (cumulated for all children) (KiB): 63672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.309
system time used= 4.34534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22139
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= 1
involuntary context switches= 156
runsolver used 0.19597 second user time and 0.568913 second system time
The end