1.88/1.94 c SCIP version 1.1.0.7
1.88/1.94 c LP-Solver SoPlex 1.4.1
1.88/1.94 c user parameter file <scip.set> not found - using default parameters
1.88/1.94 c read problem <HOME/instance-3741512-1338772882.opb>
1.88/1.94 c original problem has 262144 variables (262144 bin, 0 int, 0 impl, 0 cont) and 11077 constraints
2.89/2.97 c start presolving problem
2.89/2.97 c presolving:
3.69/3.74 c (round 1) 57844 del vars, 5 del conss, 57844 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 512 clqs
3.99/4.02 c (round 2) 61468 del vars, 1107 del conss, 61468 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 710 clqs
4.19/4.26 c (round 3) 65510 del vars, 1200 del conss, 65510 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 726 clqs
4.29/4.39 c (round 4) 65997 del vars, 1212 del conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 750 clqs
4.59/4.69 c (round 5) 65997 del vars, 1212 del conss, 65997 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 750 clqs
4.99/5.05 c (round 6) 67112 del vars, 1252 del conss, 66856 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
5.09/5.10 c (round 7) 67304 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 750 upgd conss, 0 impls, 774 clqs
5.29/5.33 c (round 8) 67304 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 0 impls, 774 clqs
13.09/13.18 c (round 9) 67354 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 587860 impls, 774 clqs
24.98/25.03 c (round 10) 67404 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1542868 impls, 774 clqs
31.68/31.78 c (round 11) 67454 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 1736550 impls, 774 clqs
39.39/39.49 c (round 12) 67508 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2304064 impls, 774 clqs
50.98/51.04 c (round 13) 67558 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974870 impls, 774 clqs
53.58/53.67 c (round 14) 67608 del vars, 1260 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974872 impls, 773 clqs
53.68/53.80 c (round 15) 67610 del vars, 1261 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 2974994 impls, 773 clqs
57.78/57.80 c (round 16) 67662 del vars, 1261 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3192634 impls, 770 clqs
57.88/57.94 c (round 17) 67662 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3192634 impls, 770 clqs
66.57/66.60 c (round 18) 67712 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 3746918 impls, 770 clqs
89.58/89.69 c (round 19) 67762 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
93.68/93.75 c (round 20) 67812 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
97.57/97.64 c (round 21) 67862 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
101.57/101.61 c (round 22) 67912 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
105.38/105.47 c (round 23) 67962 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 5147188 impls, 770 clqs
108.58/108.66 c (106.4s) probing: 1000/194840 (0.5%) - 666 fixings, 0 aggregations, 2589768 implications, 0 bound changes
135.37/135.42 c (round 24) 68012 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 7507264 impls, 770 clqs
169.34/169.43 c (round 25) 68062 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 10095660 impls, 770 clqs
243.17/243.34 c (240.8s) probing: 2000/194840 (1.0%) - 805 fixings, 0 aggregations, 8378192 implications, 0 bound changes
252.06/252.29 c (round 26) 68112 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 17859842 impls, 770 clqs
290.55/290.75 c (round 27) 68162 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 782 upgd conss, 20974300 impls, 770 clqs
290.76/290.97 c (round 28) 68162 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 20974300 impls, 773 clqs
294.56/294.76 c (round 29) 68212 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 785 upgd conss, 21135578 impls, 773 clqs
294.75/294.94 c (round 30) 68212 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21135578 impls, 774 clqs
297.95/298.14 c (round 31) 68262 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21135578 impls, 774 clqs
301.45/301.63 c (round 32) 68312 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 21160612 impls, 774 clqs
369.22/369.42 c (366.7s) probing: 3000/194840 (1.5%) - 1016 fixings, 0 aggregations, 13186786 implications, 0 bound changes
528.39/528.65 c (525.7s) probing: 4000/194840 (2.1%) - 1017 fixings, 0 aggregations, 18672581 implications, 0 bound changes
675.17/675.48 c (round 33) 68362 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 46300348 impls, 774 clqs
679.65/679.92 c (676.7s) probing: 5000/194840 (2.6%) - 1057 fixings, 0 aggregations, 23199023 implications, 0 bound changes
771.13/771.40 c (round 34) 68412 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 53369804 impls, 774 clqs
779.93/780.22 c (round 35) 68462 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 53594900 impls, 774 clqs
794.13/794.44 c (round 36) 68512 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 54615546 impls, 774 clqs
800.13/800.46 c (round 37) 68562 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 54926076 impls, 774 clqs
811.82/812.11 c (808.7s) probing: 6000/194840 (3.1%) - 1279 fixings, 0 aggregations, 27814277 implications, 0 bound changes
819.83/820.16 c (round 38) 68612 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 56459032 impls, 774 clqs
832.43/832.79 c (round 39) 68662 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57269372 impls, 774 clqs
839.72/840.08 c (round 40) 68712 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57704638 impls, 774 clqs
845.52/845.84 c (round 41) 68762 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 57995762 impls, 774 clqs
863.61/863.91 c (round 42) 68812 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 59162962 impls, 774 clqs
890.92/891.20 c (round 43) 68862 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 786 upgd conss, 61131320 impls, 774 clqs
891.21/891.51 c (round 44) 68862 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 793 upgd conss, 61131320 impls, 781 clqs
907.30/907.62 c (round 45) 68912 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 793 upgd conss, 62386598 impls, 781 clqs
907.61/907.91 c (round 46) 68912 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62386598 impls, 786 clqs
908.41/908.72 c (905.2s) probing: 7000/194840 (3.6%) - 1621 fixings, 0 aggregations, 30939741 implications, 0 bound changes
910.41/910.80 c (round 47) 68963 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62552496 impls, 786 clqs
915.41/915.73 c (round 48) 69013 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 62870186 impls, 786 clqs
921.01/921.32 c (round 49) 69063 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 63255660 impls, 786 clqs
923.31/923.63 c (round 50) 69113 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 63295750 impls, 786 clqs
1002.39/1002.71 c (round 51) 69163 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 71911048 impls, 786 clqs
1013.90/1014.21 c (1010.5s) probing: 8000/194840 (4.1%) - 1893 fixings, 0 aggregations, 36060433 implications, 0 bound changes
1069.08/1069.44 c (round 52) 69213 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 76916586 impls, 786 clqs
1156.06/1156.40 c (round 53) 69263 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 82912460 impls, 786 clqs
1163.16/1163.53 c (1159.7s) probing: 9000/194840 (4.6%) - 1957 fixings, 0 aggregations, 41412722 implications, 0 bound changes
1332.24/1332.62 c (1328.5s) probing: 10000/194840 (5.1%) - 1957 fixings, 0 aggregations, 46584762 implications, 0 bound changes
1409.02/1409.40 c (round 54) 69313 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 97894340 impls, 786 clqs
1492.01/1492.40 c (1488.1s) probing: 11000/194840 (5.6%) - 2011 fixings, 0 aggregations, 51710964 implications, 0 bound changes
1508.10/1508.59 c (round 55) 69363 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 105067310 impls, 786 clqs
1519.00/1519.47 c (round 56) 69413 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 105931924 impls, 786 clqs
1524.50/1524.96 c (round 57) 69463 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 798 upgd conss, 106202544 impls, 786 clqs
1524.70/1525.14 c (round 58) 69463 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 106202544 impls, 790 clqs
1530.00/1530.41 c (round 59) 69513 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 106499706 impls, 790 clqs
1544.70/1545.12 c (round 60) 69563 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 107404556 impls, 790 clqs
1564.10/1564.56 c (round 61) 69613 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 108778048 impls, 790 clqs
1581.79/1582.23 c (1577.8s) probing: 12000/194840 (6.2%) - 2337 fixings, 0 aggregations, 54685579 implications, 0 bound changes
1589.79/1590.23 c (round 62) 69663 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 110504616 impls, 790 clqs
1604.89/1605.38 c (round 63) 69713 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 111475196 impls, 790 clqs
1670.68/1671.13 c (1666.6s) probing: 13000/194840 (6.7%) - 2448 fixings, 0 aggregations, 57584399 implications, 0 bound changes
1683.97/1684.48 c (round 64) 69763 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 802 upgd conss, 116609262 impls, 790 clqs
1684.17/1684.66 c (round 65) 69763 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 116609262 impls, 791 clqs
1752.36/1752.82 c (1748.1s) probing: 14000/194840 (7.2%) - 2478 fixings, 0 aggregations, 59725652 implications, 0 bound changes
1795.26/1795.77 c (1791.0s) probing: 14494/194840 (7.4%) - 2487 fixings, 0 aggregations, 60836224 implications, 0 bound changes
1795.26/1795.77 c (1791.0s) probing aborted: solving stopped
1795.26/1795.78 c (round 66) 69793 del vars, 1264 del conss, 66952 chg bounds, 0 chg sides, 0 chg coeffs, 803 upgd conss, 122341440 impls, 791 clqs
1795.26/1795.78 c presolving (66 rounds):
1795.26/1795.78 c 69793 deleted vars, 1264 deleted constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1795.26/1795.78 c 122341440 implications, 791 cliques
1795.26/1795.78 c presolving was interrupted.
1795.26/1795.78 c Presolving Time: 1790.34
1795.26/1795.78 c OPT-LIN
1795.26/1795.78 c -----------------------------------------------------------------------------------------------
1795.26/1795.78 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1795.26/1795.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.26/1795.78 c limits/memory = c 13950
1795.26/1795.78 c # maximal time in seconds to run
1795.26/1795.78 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1795.26/1795.78 c limits/time = c 1791
1795.26/1795.78 c # frequency for displaying node information lines
1795.26/1795.78 c # [type: int, range: [-1,2147483647], default: 100]
1795.26/1795.78 c display/freq = c 10000
1795.26/1795.78 c -----------------------------------------------------------------------------------------------
1795.26/1795.78 c start solving problem
1795.26/1795.78 c presolving:
1795.26/1795.78 c presolving (66 rounds):
1795.26/1795.78 c 69793 deleted vars, 1264 deleted constraints, 66952 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1795.26/1795.78 c 122341440 implications, 791 cliques
1795.26/1795.78 c presolving was interrupted.
1795.26/1795.78 c Presolving Time: 1790.34
1795.26/1795.78 c
1795.26/1795.78 c SCIP Status : solving was interrupted [time limit reached]
1795.26/1795.78 c Solving Time (sec) : 1791.03
1795.26/1795.78 c Solving Nodes : 0
1795.26/1795.78 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.26/1795.78 c NODE 0
1795.26/1795.78 c DUAL BOUND -1e+20
1795.26/1795.78 c PRIMAL BOUND 1e+20
1795.26/1795.78 c GAP 1e+20
1795.26/1795.78 s UNKNOWN
1795.26/1795.78 c SCIP Status : solving was interrupted [time limit reached]
1795.26/1795.78 c Solving Time : 1791.03
1795.26/1795.78 c Original Problem :
1795.26/1795.78 c Problem name : HOME/instance-3741512-1338772882.opb
1795.26/1795.78 c Variables : 262144 (262144 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.26/1795.78 c Constraints : 11077 initial, 11077 maximal
1795.26/1795.78 c Presolved Problem :
1795.26/1795.78 c Problem name : t_HOME/instance-3741512-1338772882.opb
1795.26/1795.78 c Variables : 192351 (192351 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.26/1795.78 c Constraints : 9813 initial, 9813 maximal
1795.26/1795.78 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.26/1795.78 c trivial : 0.61 0 0 0 0 0 0 0 0
1795.26/1795.78 c dualfix : 0.38 0 0 0 0 0 0 0 0
1795.26/1795.78 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.26/1795.78 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.26/1795.78 c implics : 0.66 0 0 0 0 0 0 0 0
1795.26/1795.78 c probing : 1776.23 2487 0 0 0 0 0 0 0
1795.26/1795.78 c setppc : 5.44 352 1 0 0 0 12 0 0
1795.26/1795.78 c linear : 6.35 66953 0 0 66952 0 1252 0 0
1795.26/1795.78 c root node : - 0 - - 0 - - - -
1795.26/1795.78 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.26/1795.78 c integral : 0 0 0 0 0 0 0 0 0 0
1795.26/1795.78 c setppc : 0+ 0 66577 0 0 1428 0 0 0 0
1795.26/1795.78 c linear : 0+ 0 65149 0 0 741 0 0 0 0
1795.26/1795.78 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.26/1795.78 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.26/1795.78 c integral : 0.00 0.00 0.00 0.00 0.00
1795.26/1795.78 c setppc : 21.38 0.00 21.38 0.00 0.00
1795.26/1795.78 c linear : 832.52 0.00 832.52 0.00 0.00
1795.26/1795.78 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.26/1795.78 c Propagators : Time Calls Cutoffs DomReds
1795.26/1795.78 c rootredcost : 0.06 0 0 0
1795.26/1795.78 c pseudoobj : 0.02 0 0 0
1795.26/1795.78 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.26/1795.78 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.26/1795.78 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.26/1795.78 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.26/1795.78 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.26/1795.78 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.26/1795.78 c applied globally : - - - 0 0.0 - - -
1795.26/1795.78 c applied locally : - - - 0 0.0 - - -
1796.25/1796.71 c Time complete: 1796.26.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741512-1338772882/watcher-3741512-1338772882 -o /tmp/evaluation-result-3741512-1338772882/solver-3741512-1338772882 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741512-1338772882.opb
running on 4 cores: 0,2,4,6
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=6124 CPUtime=0 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 920 0 0 0 0 0 0 0 20 0 1 0 343416825 6270976 873 33554432000 4194304 7823515 140734195632992 140737174147816 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1531 873 330 887 0 641 0
[startup+0.06012 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=34900 CPUtime=0.04 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 7954 0 0 0 4 0 0 0 20 0 1 0 343416825 35737600 7903 33554432000 4194304 7823515 140734195632992 140737174147816 5544052 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 8725 7903 349 887 0 7835 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 34900
[startup+0.100318 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=54096 CPUtime=0.09 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 12804 0 0 0 8 1 0 0 20 0 1 0 343416825 55394304 12755 33554432000 4194304 7823515 140734195632992 140737174147816 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 13524 12786 349 887 0 12634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54096
[startup+0.300264 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=144048 CPUtime=0.29 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 34716 0 0 0 25 4 0 0 20 0 1 0 343416825 147505152 34666 33554432000 4194304 7823515 140734195632992 140737174147816 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 36012 34698 349 887 0 35122 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 144048
[startup+0.700261 s]
/proc/loadavg: 2.08 2.02 2.00 3/176 4348
/proc/meminfo: memFree=31274580/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=193456 CPUtime=0.69 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 47510 0 0 0 63 6 0 0 20 0 1 0 343416825 198098944 47459 33554432000 4194304 7823515 140734195632992 140734195499096 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 48364 47459 354 887 0 47474 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 193456
[startup+1.50026 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 4349
/proc/meminfo: memFree=31079892/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=211320 CPUtime=1.49 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 51855 0 0 0 142 7 0 0 20 0 1 0 343416825 216391680 51804 33554432000 4194304 7823515 140734195632992 140734195498696 6911387 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 52830 51804 354 887 0 51940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211320
[startup+3.10027 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 4349
/proc/meminfo: memFree=30901944/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=542652 CPUtime=3.09 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 134352 0 0 0 291 18 0 0 20 0 1 0 343416825 555675648 133947 33554432000 4194304 7823515 140734195632992 140734195630200 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 135663 133947 413 887 0 134773 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 542652
[startup+6.30028 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 4349
/proc/meminfo: memFree=30702552/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=596188 CPUtime=6.29 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 147623 0 0 0 606 23 0 0 20 0 1 0 343416825 610496512 147145 33554432000 4194304 7823515 140734195632992 140734195628392 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 149047 147145 447 887 0 148157 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 596188
[startup+12.7003 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 4349
/proc/meminfo: memFree=30662012/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=625076 CPUtime=12.68 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 154241 0 0 0 1245 23 0 0 20 0 1 0 343416825 640077824 153763 33554432000 4194304 7823515 140734195632992 140734195629672 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 156269 153763 447 887 0 155379 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 625076
[startup+25.5003 s]
/proc/loadavg: 2.18 2.05 2.01 3/177 4349
/proc/meminfo: memFree=30619364/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=665944 CPUtime=25.48 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 164256 0 0 0 2522 26 0 0 20 0 1 0 343416825 681926656 163778 33554432000 4194304 7823515 140734195632992 140734195629672 5065346 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 166486 163778 448 887 0 165596 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 665944
[startup+51.1003 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 4349
/proc/meminfo: memFree=30534300/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=754772 CPUtime=51.08 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 185698 0 0 0 5077 31 0 0 20 0 1 0 343416825 772886528 185220 33554432000 4194304 7823515 140734195632992 140734195629688 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 188693 185220 448 887 0 187803 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 754772
[startup+102.306 s]
/proc/loadavg: 2.13 2.07 2.02 3/177 4349
/proc/meminfo: memFree=30448616/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=840788 CPUtime=102.28 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 206698 0 0 0 10189 39 0 0 20 0 1 0 343416825 860966912 206220 33554432000 4194304 7823515 140734195632992 140734195629672 5061462 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 210197 206220 451 887 0 209307 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 840788
[startup+162.3 s]
/proc/loadavg: 2.08 2.06 2.02 3/177 4349
/proc/meminfo: memFree=30287792/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1005576 CPUtime=162.24 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 247361 0 0 0 16178 46 0 0 20 0 1 0 343416825 1029709824 246938 33554432000 4194304 7823515 140734195632992 140734195629688 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 251394 246938 456 887 0 250504 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1005576
[startup+222.3 s]
/proc/loadavg: 2.07 2.06 2.02 3/177 4349
/proc/meminfo: memFree=30115832/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1177732 CPUtime=222.19 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 290037 0 0 0 22165 54 0 0 20 0 1 0 343416825 1205997568 289576 33554432000 4194304 7823515 140734195632992 140734195629048 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 294433 289576 456 887 0 293543 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1177732
[startup+282.3 s]
/proc/loadavg: 2.12 2.08 2.02 3/177 4350
/proc/meminfo: memFree=29910144/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1385208 CPUtime=282.15 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 341540 0 0 0 28154 61 0 0 20 0 1 0 343416825 1418452992 341068 33554432000 4194304 7823515 140734195632992 140734195629672 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 346302 341068 456 887 0 345412 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1385208
[startup+342.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/177 4388
/proc/meminfo: memFree=29918100/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1548200 CPUtime=342.13 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 381103 0 0 0 34143 70 0 0 20 0 1 0 343416825 1585356800 380965 33554432000 4194304 7823515 140734195632992 140734195630232 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 387050 380965 456 887 0 386160 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 1548200
[startup+402.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/177 4388
/proc/meminfo: memFree=29757052/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1705728 CPUtime=402.11 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 420319 0 0 0 40135 76 0 0 20 0 1 0 343416825 1746665472 420278 33554432000 4194304 7823515 140734195632992 140734195629672 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 426432 420278 456 887 0 425542 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1705728
[startup+462.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/177 4388
/proc/meminfo: memFree=29582116/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=1874340 CPUtime=462.1 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 462427 0 0 0 46127 83 0 0 20 0 1 0 343416825 1919324160 463113 33554432000 4194304 7823515 140734195632992 140734195629672 4800366 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 468585 463113 456 887 0 467695 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1874340
[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/178 4391
/proc/meminfo: memFree=29409372/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=2046556 CPUtime=522.1 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 505238 0 0 0 52118 92 0 0 20 0 1 0 343416825 2095673344 506249 33554432000 4194304 7823515 140734195632992 140734195629672 5803635 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 511639 506249 456 887 0 510749 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 2046556
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 4392
/proc/meminfo: memFree=29213644/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=2242300 CPUtime=582.08 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 553960 0 0 0 58109 99 0 0 20 0 1 0 343416825 2296115200 555146 33554432000 4194304 7823515 140734195632992 140734195629672 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 560575 555146 456 887 0 559685 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 2242300
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27993912/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3461404 CPUtime=1061.98 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 855012 0 0 0 106041 157 0 0 20 0 1 0 343416825 3544477696 858501 33554432000 4194304 7823515 140734195632992 140734195629672 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 865351 858501 456 887 0 864461 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 3461404
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4396
/proc/meminfo: memFree=27850448/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3603988 CPUtime=1121.97 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 890411 0 0 0 112033 164 0 0 20 0 1 0 343416825 3690483712 893997 33554432000 4194304 7823515 140734195632992 140734195629688 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 900997 893997 456 887 0 900107 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 3603988
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4396
/proc/meminfo: memFree=27729972/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3725568 CPUtime=1181.96 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 920736 0 0 0 118026 170 0 0 20 0 1 0 343416825 3814981632 924466 33554432000 4194304 7823515 140734195632992 140734195629688 5061266 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 931392 924466 456 887 0 930502 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 3725568
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27563948/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=3889236 CPUtime=1241.95 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 961630 0 0 0 124018 177 0 0 20 0 1 0 343416825 3982577664 965455 33554432000 4194304 7823515 140734195632992 140734195629688 5803650 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 972309 965455 456 887 0 971419 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 3889236
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27436380/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4015892 CPUtime=1301.94 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 993087 0 0 0 130012 182 0 0 20 0 1 0 343416825 4112273408 996983 33554432000 4194304 7823515 140734195632992 140734195629688 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1003973 996983 456 887 0 1003083 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 4015892
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27284260/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4170904 CPUtime=1361.93 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1031634 0 0 0 136003 190 0 0 20 0 1 0 343416825 4271005696 1035644 33554432000 4194304 7823515 140734195632992 140734195629208 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1042726 1035644 456 887 0 1041836 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 4170904
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4397
/proc/meminfo: memFree=27104364/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4348328 CPUtime=1421.93 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1076247 0 0 0 141996 197 0 0 20 0 1 0 343416825 4452687872 1080308 33554432000 4194304 7823515 140734195632992 140734195629688 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1087082 1080308 456 887 0 1086192 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 4348328
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4398
/proc/meminfo: memFree=26954236/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4500316 CPUtime=1481.91 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1113219 0 0 0 147988 203 0 0 20 0 1 0 343416825 4608323584 1117467 33554432000 4194304 7823515 140734195632992 140734195629688 5803639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1125079 1117467 456 887 0 1124189 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 4500316
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4399
/proc/meminfo: memFree=26837076/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4617476 CPUtime=1541.9 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1141693 0 0 0 153980 210 0 0 20 0 1 0 343416825 4728295424 1146349 33554432000 4194304 7823515 140734195632992 140734195629688 5803643 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1154369 1146349 456 887 0 1153479 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 4617476
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4399
/proc/meminfo: memFree=26644176/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4811396 CPUtime=1601.88 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1189794 0 0 0 159968 220 0 0 20 0 1 0 343416825 4926869504 1194915 33554432000 4194304 7823515 140734195632992 140734195629688 6911387 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1202849 1194915 456 887 0 1201959 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 4811396
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4399
/proc/meminfo: memFree=26502952/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=4951148 CPUtime=1661.88 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1223951 0 0 0 165960 228 0 0 20 0 1 0 343416825 5069975552 1229669 33554432000 4194304 7823515 140734195632992 140734195629688 5062453 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1237787 1229669 456 887 0 1236897 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 4951148
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4402
/proc/meminfo: memFree=26380444/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5070816 CPUtime=1721.87 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1254731 0 0 0 171950 237 0 0 20 0 1 0 343416825 5192515584 1260571 33554432000 4194304 7823515 140734195632992 140734195629688 5029065 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1267704 1260571 456 887 0 1266814 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 5070816
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26268044/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5183984 CPUtime=1781.86 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1282352 0 0 0 177943 243 0 0 20 0 1 0 343416825 5308399616 1288304 33554432000 4194304 7823515 140734195632992 140734195629048 5426237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1295996 1288304 456 887 0 1295106 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 5183984
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26263068/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5188996 CPUtime=1785.05 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1283498 0 0 0 178262 243 0 0 20 0 1 0 343416825 5313531904 1289450 33554432000 4194304 7823515 140734195632992 140734195629688 5020805 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1297249 1289450 456 887 0 1296359 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 5188996
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26246328/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5207248 CPUtime=1791.46 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1287852 0 0 0 178902 244 0 0 20 0 1 0 343416825 5332221952 1293804 33554432000 4194304 7823515 140734195632992 140734195629688 5803627 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1301812 1293804 456 887 0 1300922 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 5207248
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26231308/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5221384 CPUtime=1794.65 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1291326 0 0 0 179221 244 0 0 20 0 1 0 343416825 5346697216 1297332 33554432000 4194304 7823515 140734195632992 140734195629688 5422857 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1305346 1297332 456 887 0 1304456 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 5221384
[startup+1795.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 4402
/proc/meminfo: memFree=26231308/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5226472 CPUtime=1795.46 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1292407 0 0 0 179301 245 0 0 20 0 1 0 343416825 5351907328 1298413 33554432000 4194304 7823515 140734195632992 140734195629688 5021394 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1306618 1298413 464 887 0 1305728 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (KiB) 5226472
[startup+1796.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 4402
/proc/meminfo: memFree=26227340/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=5226472 CPUtime=1795.86 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1292409 0 0 0 179341 245 0 0 20 0 1 0 343416825 5351907328 1298415 33554432000 4194304 7823515 140734195632992 140734195629688 4515546 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 1306618 1298415 466 887 0 1305728 0
Current children cumulated CPU time (s) 1795.86
Current children cumulated vsize (KiB) 5226472
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 4402
/proc/meminfo: memFree=26227340/32873844 swapFree=7116/7116
[pid=4348] ppid=4346 vsize=447724 CPUtime=1796.25 cores=0,2,4,6
/proc/4348/stat : 4348 (pbscip.linux.x8) R 4346 4348 2584 0 -1 4202496 1292411 0 0 0 179365 260 0 0 20 0 1 0 343416825 458469376 110945 33554432000 4194304 7823515 140734195632992 140734195632424 5875900 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4348/statm: 111931 110945 468 887 0 111041 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 447724
Child status: 0
Real time (s): 1796.71
CPU time (s): 1796.27
CPU user time (s): 1793.67
CPU system time (s): 2.6086
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 5226472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 2.6086
maximum resident set size= 5193660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1292425
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= 188
involuntary context switches= 1856
runsolver used 2.87656 second user time and 6.94194 second system time
The end