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-3452759-1307094289.opb>
0.89/0.92 c original problem has 5203 variables (5203 bin, 0 int, 0 impl, 0 cont) and 19637 constraints
0.89/0.92 c problem read
0.89/0.92 c presolving settings loaded
1.19/1.27 o 5203
1.19/1.27 o 5115
1.19/1.27 c feasible solution found by trivial heuristic, objective value 5.115000e+03
1.19/1.27 c presolving:
1.89/1.90 c (round 1) 0 del vars, 34 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19539 upgd conss, 0 impls, 0 clqs
1.89/1.94 c (round 2) 0 del vars, 34 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19571 upgd conss, 0 impls, 0 clqs
1.89/1.97 c (round 3) 0 del vars, 34 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 19603 upgd conss, 0 impls, 0 clqs
1.99/2.04 c (2.0s) probing: 101/5203 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.99/2.04 c (2.0s) probing aborted: 100/100 successive totally useless probings
1.99/2.04 c presolving (4 rounds):
1.99/2.04 c 0 deleted vars, 34 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
1.99/2.04 c 0 implications, 0 cliques
1.99/2.04 c presolved problem has 5203 variables (5203 bin, 0 int, 0 impl, 0 cont) and 19603 constraints
1.99/2.04 c 19603 constraints of type <logicor>
1.99/2.04 c transformed objective value is always integral (scale: 1)
1.99/2.04 c Presolving Time: 1.06
1.99/2.04 c - non default parameters ----------------------------------------------------------------------
1.99/2.04 c # SCIP version 2.0.1.4
1.99/2.04 c
1.99/2.04 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: -1]
1.99/2.04 c conflict/interconss = 0
1.99/2.04 c
1.99/2.04 c # should binary conflicts be preferred?
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c conflict/preferbinary = TRUE
1.99/2.04 c
1.99/2.04 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 0]
1.99/2.04 c constraints/agelimit = 1
1.99/2.04 c
1.99/2.04 c # should enforcement of pseudo solution be disabled?
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c constraints/disableenfops = TRUE
1.99/2.04 c
1.99/2.04 c # frequency for displaying node information lines
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 100]
1.99/2.04 c display/freq = 10000
1.99/2.04 c
1.99/2.04 c # maximal time in seconds to run
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.04 c limits/time = 1800
1.99/2.04 c
1.99/2.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.99/2.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.99/2.04 c limits/memory = 13950
1.99/2.04 c
1.99/2.04 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
1.99/2.04 c # [type: int, range: [-1,2147483647], default: 1]
1.99/2.04 c lp/solvefreq = 0
1.99/2.04 c
1.99/2.04 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
1.99/2.04 c # [type: char, range: {lafpsqd}, default: l]
1.99/2.04 c lp/pricing = a
1.99/2.04 c
1.99/2.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.99/2.04 c # [type: int, range: [1,2], default: 1]
1.99/2.04 c timing/clocktype = 2
1.99/2.04 c
1.99/2.04 c # belongs reading time to solving time?
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c timing/reading = TRUE
1.99/2.04 c
1.99/2.04 c # should presolving try to simplify inequalities
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c constraints/linear/simplifyinequalities = TRUE
1.99/2.04 c
1.99/2.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c constraints/indicator/addCouplingCons = TRUE
1.99/2.04 c
1.99/2.04 c # should presolving try to simplify knapsacks
1.99/2.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.99/2.04 c constraints/knapsack/simplifyinequalities = TRUE
1.99/2.04 c
1.99/2.04 c # priority of node selection rule <dfs> in standard mode
1.99/2.04 c # [type: int, range: [-536870912,536870911], default: 0]
1.99/2.04 c nodeselection/dfs/stdpriority = 1000000
1.99/2.04 c
1.99/2.04 c -----------------------------------------------------------------------------------------------
1.99/2.04 c start solving
1.99/2.04 c
1.99/2.05 o 5002
1.99/2.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.99/2.05 c t 2.1s| 1 | 0 | 0 | - | 77M| 0 | - |5203 | 19k| 0 | 0 | 0 | 0 | 0 | -- | 5.002000e+03 | Inf
2.40/2.45 o 97
2.40/2.45 c b 2.5s| 1 | 0 | 0 | - | 141M| 0 | - |5203 | 19k|5203 | 19k| 0 | 0 | 0 | -- | 9.700000e+01 | Inf
14.80/14.89 c 14.9s| 1 | 0 | 13514 | - | 141M| 0 | 248 |5203 | 19k|5203 | 19k| 0 | 0 | 0 | 3.914841e+01 | 9.700000e+01 | 147.78%
14.89/14.93 o 86
14.89/14.93 c b14.9s| 1 | 0 | 13514 | - | 141M| 0 | 248 |5203 | 19k|5203 | 19k| 0 | 0 | 0 | 3.914841e+01 | 8.600000e+01 | 119.68%
16.40/16.42 c 16.4s| 1 | 0 | 14286 | - | 141M| 0 | 220 |5203 | 19k|5203 | 19k| 2 | 0 | 0 | 3.925769e+01 | 8.600000e+01 | 119.07%
17.99/18.01 c 18.0s| 1 | 0 | 15006 | - | 141M| 0 | 270 |5203 | 19k|5203 | 19k| 3 | 0 | 0 | 3.931853e+01 | 8.600000e+01 | 118.73%
22.79/22.88 c 22.9s| 1 | 0 | 16008 | - | 141M| 0 | 242 |5203 | 19k|5203 | 19k| 4 | 0 | 0 | 3.940026e+01 | 8.600000e+01 | 118.27%
25.59/25.62 c 25.6s| 1 | 0 | 17681 | - | 142M| 0 | 204 |5203 | 19k|5203 | 19k| 6 | 0 | 0 | 3.956602e+01 | 8.600000e+01 | 117.36%
27.29/27.36 c 27.4s| 1 | 0 | 18503 | - | 142M| 0 | 228 |5203 | 19k|5203 | 19k| 7 | 0 | 0 | 3.960129e+01 | 8.600000e+01 | 117.16%
31.91/31.98 c 32.0s| 1 | 0 | 21743 | - | 142M| 0 | 272 |5203 | 19k|5203 | 19k| 10 | 0 | 0 | 3.966930e+01 | 8.600000e+01 | 116.79%
38.00/38.01 c 38.0s| 1 | 0 | 23313 | - | 142M| 0 | 247 |5203 | 19k|5203 | 19k| 13 | 0 | 0 | 3.970872e+01 | 8.600000e+01 | 116.58%
42.59/42.63 c 42.6s| 1 | 0 | 24129 | - | 143M| 0 | 224 |5203 | 19k|5203 | 19k| 14 | 0 | 0 | 3.974882e+01 | 8.600000e+01 | 116.36%
48.19/48.26 o 56
48.19/48.26 c E48.3s| 1 | 0 | 24129 | - | 143M| 0 | 224 |5203 | 19k|5203 | 19k| 14 | 0 | 0 | 3.974882e+01 | 5.600000e+01 | 40.88%
48.19/48.28 c 48.3s| 1 | 0 | 24129 | - | 143M| 0 | 224 |5203 | 19k|5203 | 19k| 14 | 0 | 0 | 3.974882e+01 | 5.600000e+01 | 40.88%
61.99/62.06 c 62.1s| 1 | 2 | 24129 | - | 143M| 0 | 224 |5203 | 19k|5203 | 19k| 14 | 0 | 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
133.80/133.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
133.80/133.83 c 134s| 10000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 24k| 0 | 0 | 14 |4997 | 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
190.10/190.14 c 190s| 20000 | 56 | 24129 | 0.0 | 147M| 401 | - |5203 | 22k| 0 | 0 | 14 | 10k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
248.80/248.81 c 249s| 30000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 23k| 0 | 0 | 14 | 15k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
303.20/303.27 c 303s| 40000 | 55 | 24129 | 0.0 | 146M| 401 | - |5203 | 20k| 0 | 0 | 14 | 20k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
360.50/360.54 c 361s| 50000 | 56 | 24129 | 0.0 | 147M| 401 | - |5203 | 21k| 0 | 0 | 14 | 25k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
411.42/411.47 c 411s| 60000 | 56 | 24129 | 0.0 | 146M| 401 | - |5203 | 20k| 0 | 0 | 14 | 30k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
466.10/466.14 c 466s| 70000 | 56 | 24129 | 0.0 | 147M| 401 | - |5203 | 21k| 0 | 0 | 14 | 35k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
525.50/525.55 c 526s| 80000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 22k| 0 | 0 | 14 | 40k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
585.61/585.67 c 586s| 90000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 22k| 0 | 0 | 14 | 45k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
653.01/653.04 c 653s|100000 | 56 | 24129 | 0.0 | 149M| 401 | - |5203 | 24k| 0 | 0 | 14 | 50k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
712.41/712.45 c 712s|110000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 22k| 0 | 0 | 14 | 55k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
778.21/778.29 c 778s|120000 | 55 | 24129 | 0.0 | 150M| 401 | - |5203 | 25k| 0 | 0 | 14 | 60k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
839.11/839.12 c 839s|130000 | 56 | 24129 | 0.0 | 153M| 401 | - |5203 | 30k| 0 | 0 | 14 | 65k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
896.71/896.79 c 897s|140000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 22k| 0 | 0 | 14 | 70k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
951.81/951.81 c 952s|150000 | 56 | 24129 | 0.0 | 149M| 401 | - |5203 | 23k| 0 | 0 | 14 | 75k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1007.42/1007.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1007.42/1007.40 c 1007s|160000 | 56 | 24129 | 0.0 | 148M| 401 | - |5203 | 21k| 0 | 0 | 14 | 80k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1062.32/1062.31 c 1062s|170000 | 56 | 24129 | 0.0 | 148M| 401 | - |5203 | 21k| 0 | 0 | 14 | 85k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1120.42/1120.45 c 1120s|180000 | 55 | 24129 | 0.0 | 149M| 401 | - |5203 | 24k| 0 | 0 | 14 | 90k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1187.72/1187.72 c 1188s|190000 | 56 | 24129 | 0.0 | 150M| 401 | - |5203 | 26k| 0 | 0 | 14 | 95k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1250.42/1250.48 c 1250s|200000 | 56 | 24129 | 0.0 | 154M| 401 | - |5203 | 31k| 0 | 0 | 14 | 100k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1306.02/1306.04 c 1306s|210000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 22k| 0 | 0 | 14 | 106k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1363.72/1363.71 c 1364s|220000 | 55 | 24129 | 0.0 | 147M| 401 | - |5203 | 20k| 0 | 0 | 14 | 111k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1424.43/1424.49 c 1424s|230000 | 55 | 24129 | 0.0 | 150M| 401 | - |5203 | 25k| 0 | 0 | 14 | 116k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1492.33/1492.30 c 1492s|240000 | 56 | 24129 | 0.0 | 149M| 401 | - |5203 | 23k| 0 | 0 | 14 | 121k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1548.63/1548.69 c 1549s|250000 | 55 | 24129 | 0.0 | 148M| 401 | - |5203 | 21k| 0 | 0 | 14 | 126k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1602.53/1602.58 c 1603s|260000 | 56 | 24129 | 0.0 | 147M| 401 | - |5203 | 20k| 0 | 0 | 14 | 131k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1666.93/1666.93 c 1667s|270000 | 56 | 24129 | 0.0 | 148M| 401 | - |5203 | 21k| 0 | 0 | 14 | 136k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1729.25/1729.24 c 1729s|280000 | 55 | 24129 | 0.0 | 149M| 401 | - |5203 | 23k| 0 | 0 | 14 | 141k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1783.53/1783.55 c 1784s|290000 | 55 | 24129 | 0.0 | 150M| 401 | - |5203 | 24k| 0 | 0 | 14 | 146k| 23 | 3.974882e+01 | 5.600000e+01 | 40.88%
1800.04/1800.01 c
1800.04/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.04/1800.01 c Solving Time (sec) : 1800.00
1800.04/1800.01 c Solving Nodes : 293048
1800.04/1800.01 c Primal Bound : +5.60000000000000e+01 (6 solutions)
1800.04/1800.01 c Dual Bound : +3.97488232217574e+01
1800.04/1800.01 c Gap : 40.88 %
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-3452759-1307094289/watcher-3452759-1307094289 -o /tmp/evaluation-result-3452759-1307094289/solver-3452759-1307094289 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452759-1307094289.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.02 2.03 2.11 2/514 4766
/proc/meminfo: memFree=19231500/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=9984 CPUtime=0 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 1470 0 0 0 0 0 0 0 25 0 1 0 899659734 10223616 1424 33554432000 4194304 9128323 140733465430032 18446744073709551615 7980885 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4766/statm: 2496 1433 391 1205 0 1287 0
[startup+0.054046 s]
/proc/loadavg: 2.02 2.03 2.11 2/514 4766
/proc/meminfo: memFree=19231500/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=16240 CPUtime=0.05 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 3095 0 0 0 5 0 0 0 25 0 1 0 899659734 16629760 3048 33554432000 4194304 9128323 140733465430032 18446744073709551615 7998156 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4766/statm: 4060 3048 400 1205 0 2851 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16240
[startup+0.101072 s]
/proc/loadavg: 2.02 2.03 2.11 2/514 4766
/proc/meminfo: memFree=19231500/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=17948 CPUtime=0.09 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 3506 0 0 0 9 0 0 0 25 0 1 0 899659734 18378752 3459 33554432000 4194304 9128323 140733465430032 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4766/statm: 4487 3459 400 1205 0 3278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17948
[startup+0.301024 s]
/proc/loadavg: 2.02 2.03 2.11 2/514 4766
/proc/meminfo: memFree=19231500/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=24912 CPUtime=0.29 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 5256 0 0 0 29 0 0 0 25 0 1 0 899659734 25509888 5208 33554432000 4194304 9128323 140733465430032 18446744073709551615 7961696 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4766/statm: 6228 5208 400 1205 0 5019 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24912
[startup+0.700951 s]
/proc/loadavg: 2.02 2.03 2.11 2/514 4766
/proc/meminfo: memFree=19231500/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=35944 CPUtime=0.69 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 8008 0 0 0 68 1 0 0 25 0 1 0 899659734 36806656 7959 33554432000 4194304 9128323 140733465430032 18446744073709551615 7998096 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4766/statm: 8986 7959 400 1205 0 7777 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35944
[startup+1.50081 s]
/proc/loadavg: 2.02 2.03 2.11 3/515 4767
/proc/meminfo: memFree=19147916/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=205452 CPUtime=1.5 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 49791 0 0 0 144 6 0 0 18 0 1 0 899659734 210382848 49738 33554432000 4194304 9128323 140733465430032 18446744073709551615 5236124 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 51363 49738 500 1205 0 50154 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 205452
[startup+3.10054 s]
/proc/loadavg: 2.02 2.03 2.11 3/515 4767
/proc/meminfo: memFree=19019812/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=400876 CPUtime=3.09 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 108452 0 0 0 297 12 0 0 21 0 1 0 899659734 410497024 91744 33554432000 4194304 9128323 140733465430032 18446744073709551615 7313232 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 100219 91744 784 1205 0 99010 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 400876
[startup+6.30097 s]
/proc/loadavg: 2.02 2.03 2.11 3/515 4768
/proc/meminfo: memFree=18861340/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=403232 CPUtime=6.29 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 109683 0 0 0 616 13 0 0 25 0 1 0 899659734 412909568 92784 33554432000 4194304 9128323 140733465430032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 100808 92784 746 1205 0 99599 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 403232
[startup+12.7009 s]
/proc/loadavg: 2.01 2.03 2.11 3/515 4768
/proc/meminfo: memFree=18851072/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=416648 CPUtime=12.69 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 112055 0 0 0 1253 16 0 0 25 0 1 0 899659734 426647552 95028 33554432000 4194304 9128323 140733465430032 18446744073709551615 7346427 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 104162 95028 692 1205 0 102953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 416648
[startup+25.5006 s]
/proc/loadavg: 2.01 2.03 2.10 3/515 4768
/proc/meminfo: memFree=18826512/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=436820 CPUtime=25.49 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 136924 0 0 0 2526 23 0 0 25 0 1 0 899659734 447303680 102167 33554432000 4194304 9128323 140733465430032 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 109205 102167 1594 1205 0 107996 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 436820
[startup+51.1011 s]
/proc/loadavg: 2.01 2.02 2.10 3/515 4769
/proc/meminfo: memFree=18806280/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=457984 CPUtime=51.09 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 179415 0 0 0 5066 43 0 0 25 0 1 0 899659734 468975616 106309 33554432000 4194304 9128323 140733465430032 18446744073709551615 8012585 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 114496 106309 768 1205 0 113287 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 457984
[startup+102.319 s]
/proc/loadavg: 2.10 2.05 2.10 3/515 4770
/proc/meminfo: memFree=18805260/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=458020 CPUtime=102.31 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 179425 0 0 0 10186 45 0 0 25 0 1 0 899659734 469012480 106319 33554432000 4194304 9128323 140733465430032 18446744073709551615 5333259 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 114505 106319 773 1205 0 113296 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 458020
[startup+162.301 s]
/proc/loadavg: 2.08 2.05 2.09 3/515 4772
/proc/meminfo: memFree=18793192/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=470644 CPUtime=162.3 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 182522 0 0 0 16184 46 0 0 25 0 1 0 899659734 481939456 109416 33554432000 4194304 9128323 140733465430032 18446744073709551615 5983317 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 117661 109416 773 1205 0 116452 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 470644
[startup+222.301 s]
/proc/loadavg: 2.03 2.04 2.09 3/515 4773
/proc/meminfo: memFree=18792040/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=471980 CPUtime=222.3 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 182874 0 0 0 22184 46 0 0 25 0 1 0 899659734 483307520 109768 33554432000 4194304 9128323 140733465430032 18446744073709551615 4911488 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 117995 109768 773 1205 0 116786 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 471980
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.08 3/515 4775
/proc/meminfo: memFree=18790152/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=474072 CPUtime=282.3 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 183403 0 0 0 28184 46 0 0 25 0 1 0 899659734 485449728 110297 33554432000 4194304 9128323 140733465430032 18446744073709551615 5983237 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 118518 110297 773 1205 0 117309 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 474072
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/515 4777
/proc/meminfo: memFree=18788144/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=476132 CPUtime=342.3 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 183908 0 0 0 34184 46 0 0 25 0 1 0 899659734 487559168 110802 33554432000 4194304 9128323 140733465430032 18446744073709551615 5983260 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 119033 110802 773 1205 0 117824 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 476132
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.07 3/515 4778
/proc/meminfo: memFree=18783664/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=480296 CPUtime=402.3 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 184951 0 0 0 40184 46 0 0 25 0 1 0 899659734 491823104 111845 33554432000 4194304 9128323 140733465430032 18446744073709551615 4907310 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 120074 111845 773 1205 0 118865 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 480296
[startup+462.301 s]
/proc/loadavg: 2.04 2.03 2.07 3/515 4780
/proc/meminfo: memFree=18777308/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=486696 CPUtime=462.3 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 186546 0 0 0 46184 46 0 0 25 0 1 0 899659734 498376704 113440 33554432000 4194304 9128323 140733465430032 18446744073709551615 5983232 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 121674 113440 773 1205 0 120465 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 486696
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.06 3/515 4781
/proc/meminfo: memFree=18775284/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=489092 CPUtime=522.3 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 187142 0 0 0 52184 46 0 0 25 0 1 0 899659734 500830208 114036 33554432000 4194304 9128323 140733465430032 18446744073709551615 18446744073699065904 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 122273 114036 773 1205 0 121064 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 489092
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.06 3/515 4783
/proc/meminfo: memFree=18769028/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=494356 CPUtime=582.31 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 188450 0 0 0 58184 47 0 0 25 0 1 0 899659734 506220544 115344 33554432000 4194304 9128323 140733465430032 18446744073709551615 6889403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 123589 115344 773 1205 0 122380 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 494356
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.03 2.05 3/515 4789
/proc/meminfo: memFree=18761688/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=503080 CPUtime=822.31 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 190612 0 0 0 82184 47 0 0 25 0 1 0 899659734 515153920 117506 33554432000 4194304 9128323 140733465430032 18446744073709551615 5333004 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 125770 117506 773 1205 0 124561 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 503080
[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.04 3/515 4791
/proc/meminfo: memFree=18757916/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=506984 CPUtime=882.31 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 191584 0 0 0 88184 47 0 0 25 0 1 0 899659734 519151616 118478 33554432000 4194304 9128323 140733465430032 18446744073709551615 4912278 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 126746 118478 773 1205 0 125537 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 506984
[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.04 3/515 4792
/proc/meminfo: memFree=18756268/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=508780 CPUtime=942.31 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 192046 0 0 0 94184 47 0 0 25 0 1 0 899659734 520990720 118940 33554432000 4194304 9128323 140733465430032 18446744073709551615 5983295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 127195 118940 773 1205 0 125986 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 508780
[startup+1002.3 s]
/proc/loadavg: 2.24 2.07 2.05 3/515 4803
/proc/meminfo: memFree=18755268/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=509512 CPUtime=1002.32 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 192223 0 0 0 100184 48 0 0 25 0 1 0 899659734 521740288 119117 33554432000 4194304 9128323 140733465430032 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 127378 119117 773 1205 0 126169 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 509512
[startup+1062.3 s]
/proc/loadavg: 2.13 2.07 2.05 3/515 4805
/proc/meminfo: memFree=18753224/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=511368 CPUtime=1062.32 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 192668 0 0 0 106184 48 0 0 25 0 1 0 899659734 523640832 119562 33554432000 4194304 9128323 140733465430032 18446744073709551615 4207424 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 127842 119562 773 1205 0 126633 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 511368
[startup+1122.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/515 4806
/proc/meminfo: memFree=18751340/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=513064 CPUtime=1122.32 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 193114 0 0 0 112184 48 0 0 25 0 1 0 899659734 525377536 120008 33554432000 4194304 9128323 140733465430032 18446744073709551615 6580952 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 128266 120008 773 1205 0 127057 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 513064
[startup+1182.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/515 4835
/proc/meminfo: memFree=18731552/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=513664 CPUtime=1182.32 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 193260 0 0 0 118184 48 0 0 25 0 1 0 899659734 525991936 120154 33554432000 4194304 9128323 140733465430032 18446744073709551615 5985952 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 128416 120154 773 1205 0 127207 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 513664
[startup+1242.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/515 4837
/proc/meminfo: memFree=18728808/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=514280 CPUtime=1242.32 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 193396 0 0 0 124184 48 0 0 25 0 1 0 899659734 526622720 120290 33554432000 4194304 9128323 140733465430032 18446744073709551615 5333613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 128570 120290 773 1205 0 127361 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 514280
[startup+1302.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/515 4838
/proc/meminfo: memFree=18725308/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=515544 CPUtime=1302.32 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 193719 0 0 0 130184 48 0 0 25 0 1 0 899659734 527917056 120613 33554432000 4194304 9128323 140733465430032 18446744073709551615 6514446 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 128886 120613 773 1205 0 127677 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 515544
[startup+1362.3 s]
/proc/loadavg: 2.12 2.08 2.05 3/515 4867
/proc/meminfo: memFree=18721612/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=516980 CPUtime=1362.32 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 194087 0 0 0 136183 49 0 0 25 0 1 0 899659734 529387520 120981 33554432000 4194304 9128323 140733465430032 18446744073709551615 5985936 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 129245 120981 773 1205 0 128036 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 516980
[startup+1422.32 s]
/proc/loadavg: 2.04 2.06 2.04 3/515 4868
/proc/meminfo: memFree=18622928/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=517516 CPUtime=1422.34 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 194215 0 0 0 142185 49 0 0 25 0 1 0 899659734 529936384 121109 33554432000 4194304 9128323 140733465430032 18446744073709551615 6585861 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 129379 121109 773 1205 0 128170 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 517516
[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/515 4870
/proc/meminfo: memFree=18534972/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=518212 CPUtime=1482.33 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 194371 0 0 0 148184 49 0 0 25 0 1 0 899659734 530649088 121265 33554432000 4194304 9128323 140733465430032 18446744073709551615 5332999 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 129553 121265 773 1205 0 128344 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 518212
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/515 4872
/proc/meminfo: memFree=18451480/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=518708 CPUtime=1542.33 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 194499 0 0 0 154184 49 0 0 25 0 1 0 899659734 531156992 121393 33554432000 4194304 9128323 140733465430032 18446744073709551615 5984663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 129677 121393 773 1205 0 128468 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 518708
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/515 4873
/proc/meminfo: memFree=18369472/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=519816 CPUtime=1602.33 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 194778 0 0 0 160184 49 0 0 25 0 1 0 899659734 532291584 121672 33554432000 4194304 9128323 140733465430032 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 129954 121672 773 1205 0 128745 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 519816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/515 4875
/proc/meminfo: memFree=18288068/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=520744 CPUtime=1662.33 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 194987 0 0 0 166184 49 0 0 25 0 1 0 899659734 533241856 121881 33554432000 4194304 9128323 140733465430032 18446744073709551615 5318960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 130186 121881 773 1205 0 128977 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 520744
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/515 4876
/proc/meminfo: memFree=18214484/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=521100 CPUtime=1722.33 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 195076 0 0 0 172184 49 0 0 25 0 1 0 899659734 533606400 121970 33554432000 4194304 9128323 140733465430032 18446744073709551615 5983232 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 130275 121970 773 1205 0 129066 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 521100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/515 4878
/proc/meminfo: memFree=18138068/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=522312 CPUtime=1782.33 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 195400 0 0 0 178184 49 0 0 25 0 1 0 899659734 534847488 122294 33554432000 4194304 9128323 140733465430032 18446744073709551615 5984675 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/4766/statm: 130578 122294 773 1205 0 129369 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 522312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.01 3/515 4878
/proc/meminfo: memFree=18116224/32950940 swapFree=67111364/67111528
[pid=4766] ppid=4764 vsize=522808 CPUtime=1800.04 cores=0,2,4,6
/proc/4766/stat : 4766 (scip-2.0.1.4.li) R 4764 4766 4622 0 -1 4202496 195531 0 0 0 179955 49 0 0 25 0 1 0 899659734 535355392 122425 33554432000 4194304 9128323 140733465430032 18446744073709551615 4683728 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/4766/statm: 130702 122425 773 1205 0 129493 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 522808
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.04
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.52092
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 610416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.52092
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195531
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= 2569
runsolver used 9.35458 second user time and 20.1979 second system time
The end