0.00/0.02 c SCIP version 1.1.0.7
0.00/0.02 c LP-Solver Clp 1.8.2
0.00/0.02 c user parameter file <scip.set> not found - using default parameters
0.00/0.02 c read problem <HOME/instance-1869139-1245160639.opb>
0.00/0.02 c original problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 900 constraints
0.00/0.03 c start presolving problem
0.00/0.03 c presolving:
0.00/0.07 c (round 1) 0 del vars, 16 del conss, 0 chg bounds, 16 chg sides, 0 chg coeffs, 884 upgd conss, 632 impls, 0 clqs
0.09/0.10 c (round 2) 11 del vars, 16 del conss, 1 chg bounds, 16 chg sides, 0 chg coeffs, 884 upgd conss, 1417 impls, 0 clqs
0.09/0.10 c (round 3) 11 del vars, 50 del conss, 1 chg bounds, 16 chg sides, 0 chg coeffs, 884 upgd conss, 1417 impls, 0 clqs
0.09/0.12 c (round 4) 11 del vars, 51 del conss, 1 chg bounds, 16 chg sides, 0 chg coeffs, 884 upgd conss, 1417 impls, 0 clqs
0.09/0.12 c presolving (5 rounds):
0.09/0.12 c 11 deleted vars, 51 deleted constraints, 1 tightened bounds, 0 added holes, 16 changed sides, 0 changed coefficients
0.09/0.12 c 1417 implications, 0 cliques
0.09/0.12 c presolved problem has 189 variables (189 bin, 0 int, 0 impl, 0 cont) and 849 constraints
0.09/0.12 c 849 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.08
0.09/0.12 c strange?!, PURESAT with obj
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/memory = c 1620
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.12 c limits/time = c 1791
0.09/0.12 c # frequency for displaying node information lines
0.09/0.12 c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.12 c display/freq = c 10000
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving problem
0.09/0.12 c
0.19/0.28 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.19/0.28 c 0.2s| 1 | 0 | 721 |1786k| 0 | 172 | 189 | 849 | 849 | 189 | 839 | 0 | 0 | 0 | 6.900374e+01 | -- | Inf
0.79/0.85 c 0.8s| 1 | 0 | 2421 |3585k| 0 | 173 | 189 | 849 | 849 | 189 | 898 | 59 | 0 | 0 | 6.984318e+01 | -- | Inf
0.99/1.07 c 1.0s| 1 | 0 | 2549 |5697k| 0 | 172 | 189 | 849 | 849 | 189 | 905 | 66 | 0 | 0 | 7.009904e+01 | -- | Inf
1.29/1.30 c 1.2s| 1 | 0 | 2634 |7738k| 0 | 171 | 189 | 849 | 849 | 189 | 906 | 67 | 0 | 0 | 7.017087e+01 | -- | Inf
1.49/1.54 c 1.5s| 1 | 0 | 2693 |9875k| 0 | 171 | 189 | 849 | 849 | 189 | 907 | 68 | 0 | 0 | 7.018628e+01 | -- | Inf
1.69/1.79 c 1.7s| 1 | 0 | 2769 | 12M| 0 | 171 | 189 | 849 | 849 | 189 | 909 | 70 | 0 | 0 | 7.019868e+01 | -- | Inf
1.99/2.05 c 2.0s| 1 | 0 | 2831 | 14M| 0 | 172 | 189 | 849 | 849 | 189 | 910 | 71 | 0 | 0 | 7.020689e+01 | -- | Inf
2.29/2.32 c 2.3s| 1 | 0 | 2920 | 16M| 0 | 173 | 189 | 849 | 849 | 189 | 911 | 72 | 0 | 0 | 7.021404e+01 | -- | Inf
2.59/2.60 c 2.5s| 1 | 0 | 2969 | 19M| 0 | 172 | 189 | 849 | 849 | 189 | 912 | 73 | 0 | 0 | 7.022014e+01 | -- | Inf
2.89/2.90 c 2.8s| 1 | 0 | 3016 | 21M| 0 | 171 | 189 | 849 | 849 | 189 | 913 | 74 | 0 | 0 | 7.022863e+01 | -- | Inf
3.19/3.21 c 3.1s| 1 | 0 | 3100 | 22M| 0 | 174 | 189 | 849 | 849 | 189 | 914 | 75 | 0 | 0 | 7.023395e+01 | -- | Inf
3.39/3.46 c 3.4s| 1 | 0 | 3122 | 22M| 0 | 173 | 189 | 849 | 849 | 189 | 915 | 76 | 0 | 0 | 7.023508e+01 | -- | Inf
3.69/3.72 c 3.6s| 1 | 0 | 3153 | 23M| 0 | 174 | 189 | 849 | 849 | 189 | 916 | 77 | 0 | 0 | 7.023652e+01 | -- | Inf
3.89/3.99 c 3.9s| 1 | 0 | 3211 | 23M| 0 | 174 | 189 | 849 | 849 | 189 | 917 | 78 | 0 | 0 | 7.024577e+01 | -- | Inf
4.19/4.25 c 4.2s| 1 | 0 | 3241 | 23M| 0 | 173 | 189 | 849 | 849 | 189 | 918 | 79 | 0 | 0 | 7.024774e+01 | -- | Inf
4.49/4.51 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.49/4.51 c 4.4s| 1 | 0 | 3297 | 23M| 0 | 176 | 189 | 849 | 849 | 189 | 919 | 80 | 0 | 0 | 7.025198e+01 | -- | Inf
4.79/4.80 c 4.7s| 1 | 0 | 3323 | 23M| 0 | 175 | 189 | 849 | 849 | 189 | 877 | 81 | 0 | 0 | 7.025363e+01 | -- | Inf
4.99/5.08 c 5.0s| 1 | 0 | 3401 | 23M| 0 | 173 | 189 | 849 | 849 | 189 | 878 | 82 | 0 | 0 | 7.026267e+01 | -- | Inf
5.29/5.34 c 5.3s| 1 | 0 | 3436 | 23M| 0 | 173 | 189 | 849 | 849 | 189 | 879 | 83 | 0 | 0 | 7.026462e+01 | -- | Inf
5.49/5.59 c 5.5s| 1 | 0 | 3461 | 23M| 0 | 173 | 189 | 849 | 849 | 189 | 880 | 84 | 0 | 0 | 7.026574e+01 | -- | Inf
5.79/5.87 c 5.8s| 1 | 0 | 3551 | 23M| 0 | 171 | 189 | 849 | 849 | 189 | 881 | 85 | 0 | 0 | 7.027335e+01 | -- | Inf
5.99/6.02 c 5.9s| 1 | 0 | 3600 | 23M| 0 | 173 | 189 | 849 | 849 | 189 | 882 | 86 | 0 | 0 | 7.027514e+01 | -- | Inf
7.49/7.55 c 7.5s| 1 | 2 | 3600 | 23M| 0 | 173 | 189 | 849 | 849 | 189 | 882 | 86 | 0 | 26 | 7.027514e+01 | -- | Inf
25.98/26.07 o 97
25.98/26.07 c *25.9s| 28 | 6 | 11831 | 23M| 7 | - | 189 | 859 | 757 | 189 | 870 | 86 | 10 | 454 | 7.253438e+01 | 9.700000e+01 | 33.73%
39.19/39.28 c
39.19/39.28 c SCIP Status : problem is solved [optimal solution found]
39.19/39.28 c Solving Time (sec) : 39.05
39.19/39.28 c Solving Nodes : 216
39.19/39.28 c Primal Bound : +9.70000000000000e+01 (1 solutions)
39.19/39.28 c Dual Bound : +9.70000000000000e+01
39.19/39.28 c Gap : 0.00 %
39.19/39.28 c NODE 216
39.19/39.28 c DUAL BOUND 97
39.19/39.28 c PRIMAL BOUND 97
39.19/39.28 c GAP 0
39.19/39.28 s OPTIMUM FOUND
39.19/39.28 v -x200 x199 -x198 x197 -x196 x195 x194 -x193 -x192 x191 -x190 x189 -x188 x187 x186 -x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177
39.19/39.28 v x176 -x175 x174 -x173 -x172 x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 -x162 x161 -x160 x159 x158 -x157 -x156 x155
39.19/39.28 v -x154 x153 -x152 x151 x150 -x149 x148 -x147 x146 -x145 x144 -x143 -x142 x141 x140 -x139 x138 -x137 -x136 x135 -x134 x133 x132
39.19/39.28 v -x131 x130 -x129 -x128 x127 x126 -x125 -x124 x123 -x122 x121 -x120 x119 x118 -x117 -x116 x115 x114 -x113 x112 -x111 x110 -x109
39.19/39.28 v -x108 x107 -x106 x105 -x104 x103 -x102 x101 -x100 x99 x98 -x97 -x96 x95 -x94 -x93 -x92 x91 -x90 x89 -x88 x87 -x86 x85 x84
39.19/39.28 v -x83 x82 -x81 -x80 x79 x78 -x77 x76 -x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 -x56
39.19/39.28 v x55 -x54 x53 x52 -x51 -x50 x49 x48 -x47 x46 -x45 x44 -x43 x42 -x41 -x40 x39 -x38 x37 -x36 x35 x34 -x33 -x32 x31 -x30 x29 x28
39.19/39.28 v -x27 -x26 -x25 x24 -x23 -x22 x21 -x20 x19 x18 -x17 -x16 x15 -x14 -x13 -x12 x11 x10 -x9 x8 -x7 -x6 x5 x4 -x3 x2 -x1
39.19/39.28 c SCIP Status : problem is solved [optimal solution found]
39.19/39.28 c Solving Time : 39.05
39.19/39.28 c Original Problem :
39.19/39.28 c Problem name : HOME/instance-1869139-1245160639.opb
39.19/39.28 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
39.19/39.28 c Constraints : 900 initial, 900 maximal
39.19/39.28 c Presolved Problem :
39.19/39.28 c Problem name : t_HOME/instance-1869139-1245160639.opb
39.19/39.28 c Variables : 189 (189 binary, 0 integer, 0 implicit integer, 0 continuous)
39.19/39.28 c Constraints : 849 initial, 953 maximal
39.19/39.28 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
39.19/39.28 c trivial : 0.00 0 0 0 0 0 0 0 0
39.19/39.28 c dualfix : 0.00 0 0 0 0 0 0 0 0
39.19/39.28 c boundshift : 0.00 0 0 0 0 0 0 0 0
39.19/39.28 c inttobinary : 0.00 0 0 0 0 0 0 0 0
39.19/39.28 c implics : 0.00 0 0 0 0 0 0 0 0
39.19/39.28 c probing : 0.01 4 7 0 1 0 0 0 0
39.19/39.28 c linear : 0.03 0 0 0 0 0 16 16 0
39.19/39.28 c logicor : 0.04 0 0 0 0 0 35 0 0
39.19/39.28 c root node : - 2 - - 2 - - - -
39.19/39.28 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
39.19/39.28 c integral : 0 0 0 136 0 3 30 0 0 240
39.19/39.28 c logicor : 849+ 22 2374 1 0 60 4713 0 0 0
39.19/39.28 c countsols : 0 0 0 1 0 0 0 0 0 0
39.19/39.28 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
39.19/39.28 c integral : 26.19 0.00 0.00 26.19 0.00
39.19/39.28 c logicor : 0.02 0.00 0.02 0.00 0.00
39.19/39.28 c countsols : 0.00 0.00 0.00 0.00 0.00
39.19/39.28 c Propagators : Time Calls Cutoffs DomReds
39.19/39.28 c rootredcost : 0.00 1 0 0
39.19/39.28 c pseudoobj : 0.02 1971 0 0
39.19/39.28 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
39.19/39.28 c propagation : 0.00 60 53 168 9.2 9 4.0 -
39.19/39.28 c infeasible LP : 0.00 55 0 0 0.0 0 0.0 0
39.19/39.28 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
39.19/39.28 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
39.19/39.28 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
39.19/39.28 c applied globally : - - - 104 7.3 - - -
39.19/39.28 c applied locally : - - - 0 0.0 - - -
39.19/39.28 c Separators : Time Calls Cutoffs DomReds Cuts Conss
39.19/39.28 c cut pool : 0.12 21 - - 576 - (maximal pool size: 4635)
39.19/39.28 c redcost : 0.00 157 0 0 0 0
39.19/39.28 c impliedbounds : 0.01 22 0 0 126 0
39.19/39.28 c intobj : 0.00 0 0 0 0 0
39.19/39.28 c gomory : 2.66 22 0 0 9 0
39.19/39.28 c strongcg : 2.04 20 0 0 4957 0
39.19/39.28 c cmir : 0.06 10 0 0 0 0
39.19/39.28 c flowcover : 0.09 10 0 0 0 0
39.19/39.28 c clique : 0.00 22 0 0 15 0
39.19/39.28 c zerohalf : 0.00 0 0 0 0 0
39.19/39.28 c mcf : 0.01 1 0 0 0 0
39.19/39.28 c Pricers : Time Calls Vars
39.19/39.28 c problem variables: 0.00 0 0
39.19/39.28 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
39.19/39.28 c relpscost : 26.19 135 3 30 0 0 240
39.19/39.28 c pscost : 0.00 0 0 0 0 0 0
39.19/39.28 c inference : 0.00 0 0 0 0 0 0
39.19/39.28 c mostinf : 0.00 0 0 0 0 0 0
39.19/39.28 c leastinf : 0.00 0 0 0 0 0 0
39.19/39.28 c fullstrong : 0.00 0 0 0 0 0 0
39.19/39.28 c allfullstrong : 0.00 0 0 0 0 0 0
39.19/39.28 c random : 0.00 0 0 0 0 0 0
39.19/39.28 c Primal Heuristics : Time Calls Found
39.19/39.28 c LP solutions : 0.00 - 1
39.19/39.28 c pseudo solutions : 0.00 - 0
39.19/39.28 c pscostdiving : 0.00 0 0
39.19/39.28 c fracdiving : 0.00 0 0
39.19/39.28 c veclendiving : 0.00 0 0
39.19/39.28 c objpscostdiving : 0.00 0 0
39.19/39.28 c rootsoldiving : 0.00 0 0
39.19/39.28 c linesearchdiving : 0.00 0 0
39.19/39.28 c guideddiving : 0.00 0 0
39.19/39.28 c crossover : 0.00 0 0
39.19/39.28 c intshifting : 0.00 0 0
39.19/39.28 c oneopt : 0.00 1 0
39.19/39.28 c coefdiving : 0.02 1 0
39.19/39.28 c simplerounding : 0.00 0 0
39.19/39.28 c rounding : 0.03 130 0
39.19/39.28 c shifting : 0.06 31 0
39.19/39.28 c fixandinfer : 0.00 0 0
39.19/39.28 c feaspump : 0.33 1 0
39.19/39.28 c intdiving : 0.00 0 0
39.19/39.28 c actconsdiving : 0.00 0 0
39.19/39.28 c octane : 0.00 0 0
39.19/39.28 c rens : 0.01 0 0
39.19/39.28 c rins : 0.00 0 0
39.19/39.28 c localbranching : 0.00 0 0
39.19/39.28 c mutation : 0.00 0 0
39.19/39.28 c dins : 0.00 0 0
39.19/39.28 c LP : Time Calls Iterations Iter/call Iter/sec
39.19/39.28 c primal LP : 0.04 0 0 0.00 0.00
39.19/39.28 c dual LP : 7.19 208 37441 180.00 5207.37
39.19/39.28 c barrier LP : 0.00 0 0 0.00 -
39.19/39.28 c diving/probing LP: 0.35 41 1606 39.17 4588.57
39.19/39.28 c strong branching : 26.19 699 108761 155.60 4152.77
39.19/39.28 c (at root node) : - 26 4732 182.00 -
39.19/39.28 c conflict analysis: 0.00 0 0 0.00 -
39.19/39.28 c B&B Tree :
39.19/39.28 c number of runs : 1
39.19/39.28 c nodes : 216
39.19/39.28 c nodes (total) : 216
39.19/39.28 c nodes left : 0
39.19/39.28 c max depth : 13
39.19/39.28 c max depth (total): 13
39.19/39.28 c backtracks : 49 (22.7%)
39.19/39.28 c delayed cutoffs : 25
39.19/39.28 c repropagations : 81 (1342 domain reductions, 21 cutoffs)
39.19/39.28 c avg switch length: 3.22
39.19/39.28 c switching time : 0.04
39.19/39.28 c Solution :
39.19/39.28 c Solutions found : 1 (1 improvements)
39.19/39.28 c Primal Bound : +9.70000000000000e+01 (in run 1, after 28 nodes, 25.90 seconds, depth 5, found by <relaxation>)
39.19/39.28 c Dual Bound : +9.70000000000000e+01
39.19/39.28 c Gap : 0.00 %
39.19/39.28 c Root Dual Bound : +7.02751358440591e+01
39.28/39.30 c Time complete: 39.28.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1869139-1245160639/watcher-1869139-1245160639 -o /tmp/evaluation-result-1869139-1245160639/solver-1869139-1245160639 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869139-1245160639.opb
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.99 0.97 0.99 3/64 9056
/proc/meminfo: memFree=1853528/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=5812 CPUtime=0
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 517 0 0 0 0 0 0 0 18 0 1 0 183661105 5951488 501 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/9056/statm: 1453 502 332 1256 0 192 0
[startup+0.090149 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 9056
/proc/meminfo: memFree=1853528/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=14960 CPUtime=0.08
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 2919 0 0 0 7 1 0 0 18 0 1 0 183661105 15319040 2549 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 3740 2549 488 1256 0 2479 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14960
[startup+0.102151 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 9056
/proc/meminfo: memFree=1853528/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=14960 CPUtime=0.09
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 2920 0 0 0 8 1 0 0 18 0 1 0 183661105 15319040 2550 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 3740 2550 489 1256 0 2479 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14960
[startup+0.302173 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 9056
/proc/meminfo: memFree=1853528/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=18424 CPUtime=0.3
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 3658 0 0 0 28 2 0 0 19 0 1 0 183661105 18866176 3288 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 4606 3288 643 1256 0 3345 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 18424
[startup+0.701217 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 9056
/proc/meminfo: memFree=1853528/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=18604 CPUtime=0.69
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 3713 0 0 0 67 2 0 0 22 0 1 0 183661105 19050496 3343 1992294400 4194304 9342243 548682068736 18446744073709551615 4339071 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 4651 3343 652 1256 0 3390 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18604
[startup+1.50131 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1838672/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=27852 CPUtime=1.49
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 6067 0 0 0 146 3 0 0 25 0 1 0 183661105 28520448 5697 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 6963 5697 674 1256 0 5702 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27852
[startup+3.10148 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1827344/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=42124 CPUtime=3.09
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 9546 0 0 0 304 5 0 0 25 0 1 0 183661105 43134976 9167 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 10531 9167 674 1256 0 9270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42124
[startup+6.30184 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1816024/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=47436 CPUtime=6.29
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 10952 0 0 0 623 6 0 0 25 0 1 0 183661105 48574464 10562 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11859 10562 684 1256 0 10598 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47436
[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815640/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=46560 CPUtime=12.69
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11026 0 0 0 1260 9 0 0 25 0 1 0 183661105 47677440 10084 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11640 10084 688 1256 0 10379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46560
[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815320/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=47000 CPUtime=25.49
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11125 0 0 0 2535 14 0 0 25 0 1 0 183661105 48128000 10183 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11750 10183 690 1256 0 10489 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47000
Solver just ended. Dumping a history of the last processes samples
[startup+31.9057 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815256/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=47000 CPUtime=31.89
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11173 0 0 0 3172 17 0 0 25 0 1 0 183661105 48128000 10231 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11750 10231 690 1256 0 10489 0
Current children cumulated CPU time (s) 31.89
Current children cumulated vsize (KiB) 47000
[startup+35.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815128/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=47000 CPUtime=35.08
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11209 0 0 0 3491 17 0 0 25 0 1 0 183661105 48128000 10267 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11750 10267 690 1256 0 10489 0
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (KiB) 47000
[startup+36.7012 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815128/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=47000 CPUtime=36.68
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11213 0 0 0 3650 18 0 0 25 0 1 0 183661105 48128000 10271 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11750 10271 691 1256 0 10489 0
Current children cumulated CPU time (s) 36.68
Current children cumulated vsize (KiB) 47000
[startup+38.3014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815128/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=47160 CPUtime=38.28
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11216 0 0 0 3809 19 0 0 25 0 1 0 183661105 48291840 10274 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11790 10274 691 1256 0 10529 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 47160
[startup+39.1015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815128/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=47160 CPUtime=39.08
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11223 0 0 0 3889 19 0 0 25 0 1 0 183661105 48291840 10281 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9056/statm: 11790 10281 691 1256 0 10529 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 47160
[startup+39.3015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9057
/proc/meminfo: memFree=1815128/2055920 swapFree=4191900/4192956
[pid=9056] ppid=9054 vsize=45104 CPUtime=39.28
/proc/9056/stat : 9056 (pbscip.linux.x8) R 9054 9056 8909 0 -1 4194304 11229 0 0 0 3908 20 0 0 25 0 1 0 183661105 46186496 9773 1992294400 4194304 9342243 548682068736 18446744073709551615 8483466 0 0 4096 0 0 0 0 17 1 0 0
/proc/9056/statm: 11276 9773 2214 1256 0 10015 0
Current children cumulated CPU time (s) 39.28
Current children cumulated vsize (KiB) 45104
Child status: 0
Real time (s): 39.3082
CPU time (s): 39.298
CPU user time (s): 39.0881
CPU system time (s): 0.209968
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 47436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0881
system time used= 0.209968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11232
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= 51
runsolver used 0.034994 second user time and 0.088986 second system time
The end