0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 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-3452688-1307087324.opb>
0.09/0.10 c original problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17874 constraints
0.09/0.10 c problem read
0.09/0.10 c presolving settings loaded
0.09/0.14 o 0
0.09/0.14 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.09/0.14 c presolving:
0.19/0.21 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 17874 upgd conss, 35748 impls, 0 clqs
0.29/0.37 c (0.4s) probing: 101/450 (22.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37 c (0.4s) probing aborted: 100/100 successive totally useless probings
0.29/0.37 c presolving (2 rounds):
0.29/0.37 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.37 c 35748 implications, 0 cliques
0.29/0.37 c presolved problem has 450 variables (450 bin, 0 int, 0 impl, 0 cont) and 17874 constraints
0.29/0.37 c 17874 constraints of type <setppc>
0.29/0.37 c transformed objective value is always integral (scale: 1)
0.29/0.37 c Presolving Time: 0.26
0.29/0.37 c - non default parameters ----------------------------------------------------------------------
0.29/0.37 c # SCIP version 2.0.1.4
0.29/0.37 c
0.29/0.37 c # frequency for displaying node information lines
0.29/0.37 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.37 c display/freq = 10000
0.29/0.37 c
0.29/0.37 c # maximal time in seconds to run
0.29/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.37 c limits/time = 1800
0.29/0.37 c
0.29/0.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.37 c limits/memory = 13950
0.29/0.37 c
0.29/0.37 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.29/0.37 c # [type: int, range: [1,2], default: 1]
0.29/0.37 c timing/clocktype = 2
0.29/0.37 c
0.29/0.37 c # belongs reading time to solving time?
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c timing/reading = TRUE
0.29/0.37 c
0.29/0.37 c # should presolving try to simplify inequalities
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/linear/simplifyinequalities = TRUE
0.29/0.37 c
0.29/0.37 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/indicator/addCouplingCons = TRUE
0.29/0.37 c
0.29/0.37 c # should presolving try to simplify knapsacks
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.37 c
0.29/0.37 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.29/0.37 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.37 c separating/rapidlearning/freq = 0
0.29/0.37 c
0.29/0.37 c -----------------------------------------------------------------------------------------------
0.29/0.37 c start solving
0.29/0.37 c
0.49/0.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.49/0.52 c t 0.5s| 1 | 0 | 452 | - | 21M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 | 0.000000e+00 | 100.00%
0.49/0.53 o -1
0.49/0.53 c R 0.5s| 1 | 0 | 452 | - | 21M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 |-1.000000e+00 | 99.56%
0.49/0.54 o -2
0.49/0.54 c s 0.5s| 1 | 0 | 452 | - | 21M| 0 | 450 | 450 | 17k| 450 | 17k| 0 | 0 | 0 |-2.250000e+02 |-2.000000e+00 | 99.11%
0.79/0.82 c 0.8s| 1 | 0 | 646 | - | 21M| 0 | 410 | 450 | 17k| 450 | 17k| 6 | 0 | 0 |-2.050000e+02 |-2.000000e+00 | 99.02%
0.79/0.82 o -20
0.79/0.82 c b 0.8s| 1 | 0 | 646 | - | 21M| 0 | 410 | 450 | 17k| 450 | 17k| 6 | 0 | 0 |-2.050000e+02 |-2.000000e+01 | 90.24%
1.10/1.14 c 1.1s| 1 | 0 | 756 | - | 21M| 0 | 381 | 450 | 17k| 450 | 17k| 16 | 0 | 0 |-1.905000e+02 |-2.000000e+01 | 89.50%
1.39/1.45 c 1.5s| 1 | 0 | 828 | - | 21M| 0 | 358 | 450 | 17k| 450 | 17k| 22 | 0 | 0 |-1.782500e+02 |-2.000000e+01 | 88.78%
1.79/1.80 c 1.8s| 1 | 0 | 963 | - | 21M| 0 | 327 | 450 | 17k| 450 | 17k| 31 | 0 | 0 |-1.627500e+02 |-2.000000e+01 | 87.71%
2.20/2.25 c 2.3s| 1 | 0 | 1350 | - | 21M| 0 | 287 | 450 | 17k| 450 | 17k| 46 | 0 | 0 |-1.421667e+02 |-2.000000e+01 | 85.93%
2.59/2.66 c 2.7s| 1 | 0 | 1719 | - | 21M| 0 | 257 | 450 | 17k| 450 | 17k| 56 | 0 | 0 |-1.271667e+02 |-2.000000e+01 | 84.27%
2.99/3.05 c 3.1s| 1 | 0 | 2023 | - | 21M| 0 | 229 | 450 | 17k| 450 | 17k| 67 | 0 | 0 |-1.121667e+02 |-2.000000e+01 | 82.17%
3.39/3.41 c 3.4s| 1 | 0 | 2257 | - | 21M| 0 | 201 | 450 | 17k| 450 | 17k| 81 | 0 | 0 |-9.925000e+01 |-2.000000e+01 | 79.85%
3.69/3.74 c 3.7s| 1 | 0 | 2422 | - | 21M| 0 | 186 | 450 | 17k| 450 | 17k| 92 | 0 | 0 |-9.125000e+01 |-2.000000e+01 | 78.08%
3.99/4.09 c 4.1s| 1 | 0 | 2632 | - | 21M| 0 | 174 | 450 | 17k| 450 | 17k| 103 | 0 | 0 |-8.425000e+01 |-2.000000e+01 | 76.26%
4.40/4.47 c 4.5s| 1 | 0 | 3453 | - | 21M| 0 | 152 | 450 | 17k| 450 | 17k| 113 | 0 | 0 |-7.375000e+01 |-2.000000e+01 | 72.88%
4.59/4.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.59/4.62 c 4.6s| 1 | 0 | 3531 | - | 21M| 0 | 138 | 450 | 17k| 450 | 17k| 121 | 0 | 0 |-6.725000e+01 |-2.000000e+01 | 70.26%
4.79/4.83 c 4.8s| 1 | 0 | 3833 | - | 21M| 0 | 118 | 450 | 17k| 450 | 18k| 133 | 0 | 0 |-5.675000e+01 |-2.000000e+01 | 64.76%
4.99/5.06 c 5.1s| 1 | 0 | 4241 | - | 21M| 0 | 106 | 450 | 17k| 450 | 18k| 144 | 0 | 0 |-4.775000e+01 |-2.000000e+01 | 58.12%
5.19/5.24 c 5.2s| 1 | 0 | 4527 | - | 21M| 0 | 132 | 450 | 17k| 450 | 18k| 152 | 0 | 0 |-3.926190e+01 |-2.000000e+01 | 49.06%
5.39/5.44 c 5.4s| 1 | 0 | 4714 | - | 21M| 0 | 110 | 450 | 17k| 450 | 18k| 158 | 0 | 0 |-3.700000e+01 |-2.000000e+01 | 45.95%
5.69/5.71 c 5.7s| 1 | 0 | 5345 | - | 21M| 0 | 108 | 450 | 17k| 450 | 18k| 168 | 0 | 0 |-3.350000e+01 |-2.000000e+01 | 40.30%
5.79/5.86 c 5.9s| 1 | 0 | 5455 | - | 21M| 0 | 92 | 450 | 17k| 450 | 18k| 176 | 0 | 0 |-3.300000e+01 |-2.000000e+01 | 39.39%
5.99/6.03 c 6.0s| 1 | 0 | 5546 | - | 21M| 0 | 102 | 450 | 17k| 450 | 18k| 186 | 0 | 0 |-3.185714e+01 |-2.000000e+01 | 37.22%
6.60/6.62 c 6.6s| 1 | 0 | 5627 | - | 22M| 0 | 103 | 450 | 17k| 450 | 18k| 198 | 0 | 0 |-3.080000e+01 |-2.000000e+01 | 35.06%
6.69/6.79 c 6.8s| 1 | 0 | 5751 | - | 22M| 0 | 104 | 450 | 17k| 450 | 18k| 211 | 0 | 0 |-3.075000e+01 |-2.000000e+01 | 34.96%
7.59/7.63 c 7.6s| 1 | 0 | 5855 | - | 22M| 0 | 106 | 450 | 17k| 450 | 18k| 222 | 0 | 0 |-3.075000e+01 |-2.000000e+01 | 34.96%
8.89/8.95 c 8.9s| 1 | 0 | 6364 | - | 22M| 0 | 105 | 450 | 17k| 450 | 18k| 235 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
8.99/9.09 c 9.1s| 1 | 0 | 6493 | - | 22M| 0 | 102 | 450 | 17k| 450 | 18k| 244 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
10.19/10.20 c 10.2s| 1 | 0 | 6567 | - | 22M| 0 | 97 | 450 | 17k| 450 | 18k| 254 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
11.29/11.35 c 11.3s| 1 | 0 | 6668 | - | 22M| 0 | 103 | 450 | 17k| 450 | 18k| 265 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
12.59/12.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
12.59/12.63 c 12.6s| 1 | 0 | 7109 | - | 22M| 0 | 106 | 450 | 17k| 450 | 18k| 275 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
12.79/12.87 c 12.9s| 1 | 0 | 7239 | - | 22M| 0 | 108 | 450 | 17k| 450 | 18k| 284 | 0 | 0 |-3.000000e+01 |-2.000000e+01 | 33.33%
13.20/13.27 o -21
13.20/13.27 c E13.3s| 1 | 0 | 7239 | - | 22M| 0 | 108 | 450 | 17k| 450 | 18k| 284 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 30.00%
13.20/13.28 c 13.3s| 1 | 0 | 7239 | - | 22M| 0 | 108 | 450 | 17k| 450 | 18k| 284 | 0 | 0 |-3.000000e+01 |-2.100000e+01 | 30.00%
13.20/13.29 o -22
13.20/13.29 c b13.3s| 1 | 0 | 7239 | - | 22M| 0 | 108 | 450 | 17k| 450 | 18k| 284 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
14.79/14.81 c 14.8s| 1 | 0 | 8105 | - | 22M| 0 | 88 | 450 | 17k| 450 | 18k| 291 | 0 | 0 |-3.000000e+01 |-2.200000e+01 | 26.67%
17.39/17.40 c 17.4s| 1 | 2 | 8105 | - | 22M| 0 | 88 | 450 | 17k| 450 | 18k| 291 | 0 | 33 |-3.000000e+01 |-2.200000e+01 | 26.67%
24.89/24.95 o -23
24.89/24.95 c *24.9s| 12 | 9 | 8587 | 43.8 | 22M| 11 | - | 450 | 17k| 450 | 17k| 291 | 0 | 290 |-3.000000e+01 |-2.300000e+01 | 23.33%
31.59/31.69 o -24
31.59/31.69 c *31.7s| 22 | 17 | 9200 | 52.1 | 23M| 11 | - | 450 | 17k| 450 | 17k| 291 | 0 | 501 |-3.000000e+01 |-2.400000e+01 | 20.00%
37.49/37.57 o -25
37.49/37.57 c *37.6s| 32 | 20 | 10022 | 61.8 | 23M| 11 | - | 450 | 17k| 450 | 17k| 291 | 0 | 673 |-3.000000e+01 |-2.500000e+01 | 16.67%
52.00/52.02 o -26
52.00/52.02 c *52.0s| 65 | 33 | 11882 | 59.0 | 23M| 13 | - | 450 | 17k| 450 | 17k| 291 | 0 |1211 |-3.000000e+01 |-2.600000e+01 | 13.33%
156.39/156.47 o -27
156.39/156.47 c * 156s| 7227 | 1932 |207491 | 27.6 | 48M| 62 | - | 450 | 17k| 450 | 17k| 291 | 0 |2187 |-3.000000e+01 |-2.700000e+01 | 10.00%
196.20/196.20 c 196s| 10000 | 2887 |293028 | 28.5 | 60M| 62 | 44 | 450 | 17k| 450 | 17k| 291 | 0 |2462 |-3.000000e+01 |-2.700000e+01 | 10.00%
271.50/271.60 o -29
271.50/271.60 c * 272s| 15767 | 573 |452809 | 28.2 | 36M| 62 | - | 450 | 17k| 450 | 17k| 291 | 0 |2980 |-3.000000e+01 |-2.900000e+01 | 3.33%
317.30/317.38 c 317s| 20000 | 650 |551184 | 27.2 | 38M| 64 | 56 | 450 | 17k| 450 | 17k| 291 | 0 |3260 |-3.000000e+01 |-2.900000e+01 | 3.33%
409.41/409.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
409.41/409.41 c 409s| 30000 | 622 |761658 | 25.1 | 37M| 64 | 83 | 450 | 17k| 450 | 17k| 291 | 0 |3400 |-3.000000e+01 |-2.900000e+01 | 3.33%
507.90/507.92 c 508s| 40000 | 578 |979065 | 24.3 | 37M| 64 | - | 450 | 17k| 450 | 17k| 291 | 0 |4046 |-3.000000e+01 |-2.900000e+01 | 3.33%
600.11/600.16 c 600s| 50000 | 546 | 1191k| 23.7 | 36M| 64 | 42 | 450 | 17k| 450 | 17k| 291 | 0 |4540 |-3.000000e+01 |-2.900000e+01 | 3.33%
697.91/697.95 c 698s| 60000 | 510 | 1413k| 23.4 | 36M| 66 | - | 450 | 17k| 450 | 17k| 291 | 0 |5180 |-3.000000e+01 |-2.900000e+01 | 3.33%
797.31/797.34 c 797s| 70000 | 504 | 1645k| 23.4 | 36M| 66 | - | 450 | 17k| 450 | 17k| 291 | 0 |5700 |-3.000000e+01 |-2.900000e+01 | 3.33%
891.71/891.70 c 892s| 80000 | 548 | 1863k| 23.2 | 38M| 75 | - | 450 | 17k| 450 | 17k| 291 | 0 |6135 |-3.000000e+01 |-2.900000e+01 | 3.33%
982.62/982.66 c 983s| 90000 | 528 | 2077k| 23.0 | 37M| 75 | 36 | 450 | 17k| 450 | 17k| 291 | 0 |6572 |-3.000000e+01 |-2.900000e+01 | 3.33%
1074.32/1074.30 c 1074s|100000 | 476 | 2293k| 22.9 | 36M| 75 | 61 | 450 | 17k| 450 | 17k| 291 | 0 |7011 |-3.000000e+01 |-2.900000e+01 | 3.33%
1171.82/1171.87 c 1172s|110000 | 498 | 2528k| 22.9 | 37M| 75 | 75 | 450 | 17k| 450 | 17k| 291 | 0 |7470 |-3.000000e+01 |-2.900000e+01 | 3.33%
1262.74/1262.71 c 1263s|120000 | 494 | 2736k| 22.7 | 37M| 87 | 63 | 450 | 17k| 450 | 17k| 291 | 0 |7912 |-3.000000e+01 |-2.900000e+01 | 3.33%
1351.73/1351.79 c 1352s|130000 | 490 | 2945k| 22.6 | 37M| 87 | 56 | 450 | 17k| 450 | 17k| 291 | 0 |8325 |-3.000000e+01 |-2.900000e+01 | 3.33%
1451.84/1451.90 c 1452s|140000 | 478 | 3197k| 22.8 | 36M| 87 | - | 450 | 17k| 450 | 17k| 291 | 0 |8659 |-3.000000e+01 |-2.900000e+01 | 3.33%
1557.84/1557.82 c 1558s|150000 | 560 | 3460k| 23.0 | 39M| 87 | 59 | 450 | 17k| 450 | 17k| 291 | 0 |8946 |-3.000000e+01 |-2.900000e+01 | 3.33%
1645.74/1645.76 c 1646s|160000 | 544 | 3665k| 22.9 | 39M| 96 | - | 450 | 17k| 450 | 17k| 291 | 0 |9221 |-3.000000e+01 |-2.900000e+01 | 3.33%
1732.85/1732.83 c 1733s|170000 | 560 | 3869k| 22.7 | 40M| 101 | - | 450 | 17k| 450 | 17k| 291 | 0 |9480 |-3.000000e+01 |-2.900000e+01 | 3.33%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 177099
1800.05/1800.00 c Primal Bound : -2.90000000000000e+01 (644 solutions)
1800.05/1800.00 c Dual Bound : -3.00000000000000e+01
1800.05/1800.00 c Gap : 3.33 %
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452688-1307087324/watcher-3452688-1307087324 -o /tmp/evaluation-result-3452688-1307087324/solver-3452688-1307087324 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452688-1307087324.opb -t 1800 -m 15500
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.06 2.01 1.96 3/273 3066
/proc/meminfo: memFree=28109224/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=10164 CPUtime=0 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 1523 0 0 0 0 0 0 0 25 0 1 0 820333143 10407936 1476 33554432000 4194304 9128323 140736509694992 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3066/statm: 2541 1495 391 1205 0 1332 0
[startup+0.0858269 s]
/proc/loadavg: 2.06 2.01 1.96 3/273 3066
/proc/meminfo: memFree=28109224/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=15264 CPUtime=0.08 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 2832 0 0 0 8 0 0 0 25 0 1 0 820333143 15630336 2783 33554432000 4194304 9128323 140736509694992 18446744073709551615 8008880 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3066/statm: 3816 2783 400 1205 0 2607 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15264
[startup+0.10082 s]
/proc/loadavg: 2.06 2.01 1.96 3/273 3066
/proc/meminfo: memFree=28109224/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=15408 CPUtime=0.09 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 2869 0 0 0 9 0 0 0 25 0 1 0 820333143 15777792 2820 33554432000 4194304 9128323 140736509694992 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/3066/statm: 3852 2820 400 1205 0 2643 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15408
[startup+0.300784 s]
/proc/loadavg: 2.06 2.01 1.96 3/273 3066
/proc/meminfo: memFree=28109224/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=44924 CPUtime=0.29 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 10841 0 0 0 28 1 0 0 25 0 1 0 820333143 46002176 9952 33554432000 4194304 9128323 140736509694992 18446744073709551615 5488723 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 11231 9952 533 1205 0 10022 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44924
[startup+0.700715 s]
/proc/loadavg: 2.06 2.01 1.96 3/273 3066
/proc/meminfo: memFree=28109224/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=71692 CPUtime=0.69 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 17992 0 0 0 68 1 0 0 18 0 1 0 820333143 73412608 16339 33554432000 4194304 9128323 140736509694992 18446744073709551615 6694293 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 17923 16339 792 1205 0 16714 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71692
[startup+1.50058 s]
/proc/loadavg: 2.05 2.01 1.96 3/274 3067
/proc/meminfo: memFree=28045852/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=73820 CPUtime=1.49 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 18981 0 0 0 148 1 0 0 19 0 1 0 820333143 75591680 17189 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 18455 17189 744 1205 0 17246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 73820
[startup+3.10023 s]
/proc/loadavg: 2.05 2.01 1.96 2/272 3068
/proc/meminfo: memFree=28334788/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=75556 CPUtime=3.09 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 19432 0 0 0 307 2 0 0 23 0 1 0 820333143 77369344 17628 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 18889 17628 767 1205 0 17680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75556
[startup+6.30068 s]
/proc/loadavg: 2.05 2.01 1.96 3/274 3096
/proc/meminfo: memFree=28269928/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=75556 CPUtime=6.29 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 19750 0 0 0 625 4 0 0 25 0 1 0 820333143 77369344 17886 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 18889 17886 719 1205 0 17680 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 75556
[startup+12.7005 s]
/proc/loadavg: 2.04 2.01 1.96 3/274 3096
/proc/meminfo: memFree=28261868/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=76828 CPUtime=12.69 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 19798 0 0 0 1263 6 0 0 25 0 1 0 820333143 78671872 17934 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 19207 17934 719 1205 0 17998 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 76828
[startup+25.5011 s]
/proc/loadavg: 2.04 2.01 1.96 3/274 3096
/proc/meminfo: memFree=28204744/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=102976 CPUtime=25.49 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 26381 0 0 0 2535 14 0 0 25 0 1 0 820333143 105447424 24450 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 25744 24450 723 1205 0 24535 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 102976
[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 1.96 3/274 3097
/proc/meminfo: memFree=28204484/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=102976 CPUtime=51.1 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 26381 0 0 0 5087 23 0 0 25 0 1 0 820333143 105447424 24450 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 25744 24450 723 1205 0 24535 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 102976
[startup+102.31 s]
/proc/loadavg: 2.06 2.02 1.97 3/274 3099
/proc/meminfo: memFree=28202116/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=102540 CPUtime=102.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 31709 0 0 0 10185 45 0 0 25 0 1 0 820333143 105000960 24729 33554432000 4194304 9128323 140736509694992 18446744073709551615 6581516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 25635 24729 731 1205 0 24426 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 102540
[startup+162.301 s]
/proc/loadavg: 2.02 2.02 1.97 3/274 3100
/proc/meminfo: memFree=28191804/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=115112 CPUtime=162.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 53826 0 0 0 16157 73 0 0 25 0 1 0 820333143 117874688 27487 33554432000 4194304 9128323 140736509694992 18446744073709551615 7177002 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 28778 27487 731 1205 0 27569 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 115112
[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/274 3102
/proc/meminfo: memFree=28157928/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=128896 CPUtime=222.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 82678 0 0 0 22132 98 0 0 25 0 1 0 820333143 131989504 30765 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 32224 30765 731 1205 0 31015 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 128896
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 3103
/proc/meminfo: memFree=28130628/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=141320 CPUtime=282.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 99006 0 0 0 28104 126 0 0 25 0 1 0 820333143 144711680 34000 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35330 34000 731 1205 0 34121 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 141320
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 1.97 3/274 3106
/proc/meminfo: memFree=28117340/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=141172 CPUtime=342.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 118794 0 0 0 34077 153 0 0 25 0 1 0 820333143 144560128 33999 33554432000 4194304 9128323 140736509694992 18446744073709551615 7192546 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35293 33999 731 1205 0 34084 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 141172
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 1.97 3/274 3107
/proc/meminfo: memFree=28104052/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=140856 CPUtime=402.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 125359 0 0 0 40054 176 0 0 25 0 1 0 820333143 144236544 34004 33554432000 4194304 9128323 140736509694992 18446744073709551615 6713420 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35214 34004 731 1205 0 34005 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 140856
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 3109
/proc/meminfo: memFree=28090264/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=141304 CPUtime=462.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 125486 0 0 0 46033 197 0 0 25 0 1 0 820333143 144695296 34131 33554432000 4194304 9128323 140736509694992 18446744073709551615 7191072 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35326 34131 731 1205 0 34117 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 141304
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 3111
/proc/meminfo: memFree=28076860/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=141212 CPUtime=522.3 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 131962 0 0 0 52010 220 0 0 25 0 1 0 820333143 144601088 34056 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35303 34056 731 1205 0 34094 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 141212
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 3112
/proc/meminfo: memFree=28068168/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=141212 CPUtime=582.31 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 132057 0 0 0 57990 241 0 0 25 0 1 0 820333143 144601088 34151 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35303 34151 731 1205 0 34094 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 141212
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/274 3129
/proc/meminfo: memFree=28028240/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=141812 CPUtime=822.32 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 138956 0 0 0 81903 329 0 0 25 0 1 0 820333143 145215488 34338 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35453 34338 731 1205 0 34244 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 141812
[startup+882.3 s]
/proc/loadavg: 2.06 2.02 1.98 3/274 3130
/proc/meminfo: memFree=28018792/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142508 CPUtime=882.31 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 139085 0 0 0 87882 349 0 0 25 0 1 0 820333143 145928192 34467 33554432000 4194304 9128323 140736509694992 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35627 34467 731 1205 0 34418 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 142508
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/274 3138
/proc/meminfo: memFree=28010688/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142508 CPUtime=942.32 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 139086 0 0 0 93861 371 0 0 25 0 1 0 820333143 145928192 34468 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35627 34468 731 1205 0 34418 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 142508
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/274 3140
/proc/meminfo: memFree=28002224/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142508 CPUtime=1002.33 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 139093 0 0 0 99838 395 0 0 25 0 1 0 820333143 145928192 34475 33554432000 4194304 9128323 140736509694992 18446744073709551615 7342934 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35627 34475 731 1205 0 34418 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 142508
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/274 3144
/proc/meminfo: memFree=27994636/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142508 CPUtime=1062.32 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 139098 0 0 0 105814 418 0 0 25 0 1 0 820333143 145928192 34480 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35627 34480 731 1205 0 34418 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 142508
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/274 3146
/proc/meminfo: memFree=27987180/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142644 CPUtime=1122.33 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 139131 0 0 0 111792 441 0 0 25 0 1 0 820333143 146067456 34513 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35661 34513 731 1205 0 34452 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 142644
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/274 3147
/proc/meminfo: memFree=27979084/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142644 CPUtime=1182.32 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 139135 0 0 0 117770 462 0 0 25 0 1 0 820333143 146067456 34517 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35661 34517 731 1205 0 34452 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 142644
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/274 3150
/proc/meminfo: memFree=27970128/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142644 CPUtime=1242.33 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 139137 0 0 0 123746 487 0 0 25 0 1 0 820333143 146067456 34519 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35661 34519 731 1205 0 34452 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 142644
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/274 3152
/proc/meminfo: memFree=27964028/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142220 CPUtime=1302.34 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 145634 0 0 0 129724 510 0 0 25 0 1 0 820333143 145633280 34358 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35555 34358 731 1205 0 34346 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 142220
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/274 3153
/proc/meminfo: memFree=27958044/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142220 CPUtime=1362.34 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 145677 0 0 0 135702 532 0 0 25 0 1 0 820333143 145633280 34401 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35555 34401 731 1205 0 34346 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 142220
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/274 3155
/proc/meminfo: memFree=27952944/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142220 CPUtime=1422.35 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 145722 0 0 0 141681 554 0 0 25 0 1 0 820333143 145633280 34446 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35555 34446 731 1205 0 34346 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 142220
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.99 3/274 3156
/proc/meminfo: memFree=27947940/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=142264 CPUtime=1482.34 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 146298 0 0 0 147657 577 0 0 25 0 1 0 820333143 145678336 34139 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35566 34139 731 1205 0 34357 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 142264
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/274 3158
/proc/meminfo: memFree=27939612/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=143528 CPUtime=1542.34 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 146787 0 0 0 153632 602 0 0 25 0 1 0 820333143 146972672 34628 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35882 34628 731 1205 0 34673 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 143528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/274 3159
/proc/meminfo: memFree=27940092/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=143528 CPUtime=1602.35 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 146905 0 0 0 159612 623 0 0 25 0 1 0 820333143 146972672 34746 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35882 34746 735 1205 0 34673 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 143528
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/274 3161
/proc/meminfo: memFree=27938712/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=143528 CPUtime=1662.34 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 146909 0 0 0 165589 645 0 0 25 0 1 0 820333143 146972672 34750 33554432000 4194304 9128323 140736509694992 18446744073709551615 7176843 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35882 34750 735 1205 0 34673 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 143528
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 1.99 3/274 3163
/proc/meminfo: memFree=27938948/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=143528 CPUtime=1722.34 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 146937 0 0 0 171567 667 0 0 25 0 1 0 820333143 146972672 34778 33554432000 4194304 9128323 140736509694992 18446744073709551615 7312758 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 35882 34778 735 1205 0 34673 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 143528
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/274 3164
/proc/meminfo: memFree=27936560/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=144528 CPUtime=1782.35 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 147179 0 0 0 177542 693 0 0 25 0 1 0 820333143 147996672 35020 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 36132 35020 735 1205 0 34923 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 144528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.01 2.01 1.99 3/274 3165
/proc/meminfo: memFree=27937040/32951124 swapFree=55664332/67111528
[pid=3066] ppid=3064 vsize=144728 CPUtime=1800.05 cores=0,2,4,6
/proc/3066/stat : 3066 (scip-2.0.1.4.li) R 3064 3066 31617 0 -1 4202496 147190 0 0 0 179306 699 0 0 25 0 1 0 820333143 148201472 35031 33554432000 4194304 9128323 140736509694992 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/3066/statm: 36182 35031 735 1205 0 34973 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 144728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1793.07
CPU system time (s): 6.99994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 165544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.07
system time used= 6.99993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147190
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= 7
involuntary context switches= 2618
runsolver used 4.67129 second user time and 10.0785 second system time
The end