Trace number 2703430

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT55 1789.48 1790.19

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUMf81823d3f3bf1b9e5d936e06c7f51a9c
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark128
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 117
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint11
Maximum length of a constraint84
Number of terms in the objective function 168
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 504
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703430-1278551427.opb>
0.00/0.04	c original problem has 2754 variables (2754 bin, 0 int, 0 impl, 0 cont) and 444 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.00/0.06	c presolving:
0.00/0.07	c (round 1) 238 del vars, 0 del conss, 196 chg bounds, 246 chg sides, 264 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.08	c (round 2) 371 del vars, 84 del conss, 329 chg bounds, 320 chg sides, 414 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.08	c (round 3) 520 del vars, 97 del conss, 478 chg bounds, 329 chg sides, 465 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.09	c (round 4) 780 del vars, 140 del conss, 738 chg bounds, 333 chg sides, 494 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.08/0.09	c (round 5) 843 del vars, 163 del conss, 781 chg bounds, 333 chg sides, 502 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.08/0.09	c (round 6) 905 del vars, 171 del conss, 823 chg bounds, 333 chg sides, 502 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.08/0.09	c (round 7) 911 del vars, 173 del conss, 823 chg bounds, 333 chg sides, 502 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.10	c (round 8) 913 del vars, 173 del conss, 823 chg bounds, 333 chg sides, 502 chg coeffs, 217 upgd conss, 0 impls, 0 clqs
0.09/0.12	c (round 9) 913 del vars, 184 del conss, 823 chg bounds, 473 chg sides, 1286 chg coeffs, 241 upgd conss, 2326 impls, 670 clqs
0.09/0.15	c (round 10) 913 del vars, 361 del conss, 823 chg bounds, 1199 chg sides, 4024 chg coeffs, 241 upgd conss, 2394 impls, 1903 clqs
0.09/0.17	c (round 11) 913 del vars, 977 del conss, 823 chg bounds, 1759 chg sides, 5704 chg coeffs, 241 upgd conss, 2394 impls, 1903 clqs
0.09/0.19	c (round 12) 963 del vars, 977 del conss, 823 chg bounds, 1759 chg sides, 5704 chg coeffs, 241 upgd conss, 3394 impls, 385 clqs
0.39/0.41	c    (0.4s) probing: 1000/1841 (54.3%) - 71 fixings, 0 aggregations, 665 implications, 0 bound changes
0.59/0.60	c    (0.6s) probing: 1739/1841 (94.5%) - 77 fixings, 0 aggregations, 2145 implications, 0 bound changes
0.59/0.60	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.60	c (round 13) 990 del vars, 977 del conss, 823 chg bounds, 1759 chg sides, 5704 chg coeffs, 241 upgd conss, 8030 impls, 0 clqs
0.59/0.61	c (round 14) 990 del vars, 987 del conss, 823 chg bounds, 1849 chg sides, 5898 chg coeffs, 241 upgd conss, 8030 impls, 0 clqs
0.59/0.62	c (round 15) 990 del vars, 1003 del conss, 823 chg bounds, 1987 chg sides, 6196 chg coeffs, 241 upgd conss, 8030 impls, 16 clqs
0.59/0.63	c (round 16) 990 del vars, 1003 del conss, 823 chg bounds, 1987 chg sides, 6198 chg coeffs, 241 upgd conss, 8030 impls, 114 clqs
0.59/0.63	c    (0.6s) probing: 1749/1841 (95.0%) - 77 fixings, 0 aggregations, 2145 implications, 0 bound changes
0.59/0.63	c    (0.6s) probing aborted: 100/100 successive totally useless probings
0.59/0.64	c presolving (17 rounds):
0.59/0.64	c  990 deleted vars, 1003 deleted constraints, 823 tightened bounds, 0 added holes, 1987 changed sides, 6198 changed coefficients
0.59/0.64	c  8030 implications, 146 cliques
0.59/0.64	c presolved problem has 1764 variables (1764 bin, 0 int, 0 impl, 0 cont) and 999 constraints
0.59/0.64	c      81 constraints of type <knapsack>
0.59/0.64	c     888 constraints of type <setppc>
0.59/0.64	c      30 constraints of type <linear>
0.59/0.64	c transformed objective value is always integral (scale: 1)
0.59/0.64	c Presolving Time: 0.59
0.59/0.64	c - non default parameters ----------------------------------------------------------------------
0.59/0.64	c # SCIP version 1.2.1.3
0.59/0.64	c 
0.59/0.64	c # frequency for displaying node information lines
0.59/0.64	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.64	c display/freq = 10000
0.59/0.64	c 
0.59/0.64	c # maximal time in seconds to run
0.59/0.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64	c limits/time = 1789.97
0.59/0.64	c 
0.59/0.64	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.64	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.64	c limits/memory = 1620
0.59/0.64	c 
0.59/0.64	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.59/0.64	c # [type: int, range: [1,2], default: 1]
0.59/0.64	c timing/clocktype = 2
0.59/0.64	c 
0.59/0.64	c # should presolving try to simplify inequalities
0.59/0.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64	c constraints/linear/simplifyinequalities = TRUE
0.59/0.64	c 
0.59/0.64	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.59/0.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64	c constraints/indicator/addCouplingCons = TRUE
0.59/0.64	c 
0.59/0.64	c # should presolving try to simplify knapsacks
0.59/0.64	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.64	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.64	c 
0.59/0.64	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.64	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.64	c separating/rapidlearning/freq = 0
0.59/0.64	c 
0.59/0.64	c -----------------------------------------------------------------------------------------------
0.59/0.64	c start solving
0.59/0.64	c 
0.69/0.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.69/0.78	c   0.7s|     1 |     0 |  1273 |     - |9023k|   0 | 312 |1764 | 999 |1764 | 999 |   0 |   0 |   0 | 3.980520e+01 |      --      |    Inf 
2.39/2.46	c   2.4s|     1 |     0 |  3907 |     - |  11M|   0 | 406 |1764 |2742 |1764 |1076 |  77 |   0 |   0 | 4.024385e+01 |      --      |    Inf 
2.59/2.60	c   2.6s|     1 |     0 |  3977 |     - |  11M|   0 | 399 |1764 |2742 |1764 |1117 | 118 |   0 |   0 | 4.053882e+01 |      --      |    Inf 
2.69/2.73	c   2.7s|     1 |     0 |  4038 |     - |  11M|   0 | 407 |1764 |2742 |1764 |1137 | 138 |   0 |   0 | 4.055570e+01 |      --      |    Inf 
2.79/2.89	c   2.9s|     1 |     0 |  4197 |     - |  11M|   0 | 471 |1764 |2742 |1764 |1177 | 178 |   0 |   0 | 4.082525e+01 |      --      |    Inf 
2.99/3.04	c   3.0s|     1 |     0 |  4242 |     - |  11M|   0 | 460 |1764 |2742 |1764 |1202 | 203 |   0 |   0 | 4.103119e+01 |      --      |    Inf 
3.09/3.18	c   3.1s|     1 |     0 |  4271 |     - |  11M|   0 | 496 |1764 |2742 |1764 |1223 | 224 |   0 |   0 | 4.113071e+01 |      --      |    Inf 
3.30/3.35	c   3.3s|     1 |     0 |  4367 |     - |  11M|   0 | 438 |1764 |2742 |1764 |1241 | 242 |   0 |   0 | 4.158852e+01 |      --      |    Inf 
3.39/3.49	c   3.5s|     1 |     0 |  4394 |     - |  11M|   0 | 485 |1764 |2742 |1764 |1255 | 256 |   0 |   0 | 4.165492e+01 |      --      |    Inf 
3.59/3.66	c   3.6s|     1 |     0 |  4425 |     - |  11M|   0 | 454 |1764 |2742 |1764 |1268 | 269 |   0 |   0 | 4.167934e+01 |      --      |    Inf 
3.89/3.91	c   3.9s|     1 |     0 |  4464 |     - |  11M|   0 | 475 |1764 |2742 |1764 |1286 | 287 |   0 |   0 | 4.174323e+01 |      --      |    Inf 
3.99/4.03	c   4.0s|     1 |     0 |  4517 |     - |  11M|   0 | 456 |1764 |2742 |1764 |1301 | 302 |   0 |   0 | 4.181110e+01 |      --      |    Inf 
4.09/4.17	c   4.1s|     1 |     0 |  4548 |     - |  11M|   0 | 488 |1764 |2742 |1764 |1309 | 310 |   0 |   0 | 4.183486e+01 |      --      |    Inf 
4.29/4.30	c   4.3s|     1 |     0 |  4571 |     - |  11M|   0 | 468 |1764 |2742 |1764 |1315 | 316 |   0 |   0 | 4.183547e+01 |      --      |    Inf 
4.40/4.44	c   4.4s|     1 |     0 |  4579 |     - |  11M|   0 | 480 |1764 |2742 |1764 |1320 | 321 |   0 |   0 | 4.183564e+01 |      --      |    Inf 
4.49/4.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
4.49/4.57	c   4.5s|     1 |     0 |  4581 |     - |  11M|   0 | 481 |1764 |2742 |1764 |1323 | 324 |   0 |   0 | 4.183615e+01 |      --      |    Inf 
4.69/4.71	c   4.7s|     1 |     0 |  4585 |     - |  11M|   0 | 482 |1764 |2742 |1764 |1263 | 327 |   0 |   0 | 4.183685e+01 |      --      |    Inf 
4.79/4.84	c   4.8s|     1 |     0 |  4586 |     - |  11M|   0 | 483 |1764 |2742 |1764 |1264 | 328 |   0 |   0 | 4.183692e+01 |      --      |    Inf 
6.69/6.77	c   6.7s|     1 |     2 |  4586 |     - |  11M|   0 | 483 |1764 |2742 |1764 |1264 | 328 |   0 |  13 | 4.183692e+01 |      --      |    Inf 
300.77/300.97	c   301s| 10000 |  8807 |754865 |  75.0 |  27M|  95 |   - |1764 |3246 |1764 |1242 | 328 |5364 |6096 | 4.597613e+01 |      --      |    Inf 
397.23/397.46	c   397s| 20000 | 17659 |  1007k|  50.2 |  41M| 196 |   - |1764 |3737 |   0 |   0 | 328 |  12k|7621 | 4.619597e+01 |      --      |    Inf 
413.23/413.47	o 73
413.23/413.47	c l 413s| 21392 | 18297 |  1049k|  48.9 |  42M| 196 |   - |1764 |3674 |1764 |1242 | 328 |  13k|7848 | 4.621194e+01 | 7.300000e+01 |  57.97%
434.02/434.21	o 68
434.02/434.21	c g 434s| 23596 | 17865 |  1107k|  46.7 |  42M| 196 |   - |1764 |3528 |1764 |1242 | 328 |  14k|8022 | 4.622432e+01 | 6.800000e+01 |  47.11%
449.51/449.71	o 66
449.51/449.71	c p 450s| 25409 | 15407 |  1152k|  45.2 |  39M| 196 |   - |1764 |3308 |1764 |1242 | 328 |  15k|8105 | 4.623484e+01 | 6.600000e+01 |  42.75%
451.61/451.82	o 62
451.61/451.82	c p 452s| 25677 |  9919 |  1158k|  44.9 |  30M| 196 |   - |1764 |3350 |1764 |1242 | 328 |  15k|8105 | 4.623484e+01 | 6.200000e+01 |  34.10%
460.61/460.83	o 61
460.61/460.83	c f 461s| 26756 |  7976 |  1184k|  44.1 |  28M| 196 |   - |1764 |3266 |1764 |1242 | 328 |  15k|8134 | 4.625869e+01 | 6.100000e+01 |  31.87%
499.00/499.24	c   499s| 30000 |  9030 |  1313k|  43.6 |  31M| 196 |  46 |1764 |2559 |1764 |1242 | 328 |  17k|8201 | 4.641222e+01 | 6.100000e+01 |  31.43%
526.59/526.86	o 58
526.59/526.86	c v 527s| 32449 |  6095 |  1394k|  42.8 |  24M| 196 |   - |1764 |2573 |1764 |1242 | 328 |  18k|8519 | 4.649820e+01 | 5.800000e+01 |  24.74%
611.45/611.74	c   612s| 40000 |  7623 |  1633k|  40.7 |  31M| 196 | 232 |1764 |2293 |1764 |1242 | 328 |  21k|9765 | 4.672951e+01 | 5.800000e+01 |  24.12%
725.30/725.64	c   726s| 50000 |  9658 |  1954k|  39.0 |  40M| 196 |   - |1764 |2162 |1764 |1242 | 328 |  24k|  11k| 4.706041e+01 | 5.800000e+01 |  23.25%
833.96/834.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
833.96/834.36	c   834s| 60000 | 11372 |  2269k|  37.8 |  48M| 196 |  36 |1764 |2113 |1764 |1242 | 328 |  27k|  12k| 4.726206e+01 | 5.800000e+01 |  22.72%
925.32/925.79	o 57
925.32/925.79	c * 926s| 67885 | 11051 |  2518k|  37.0 |  46M| 196 |   - |1764 |1889 |1764 |1242 | 328 |  30k|  13k| 4.738617e+01 | 5.700000e+01 |  20.29%
964.51/964.95	c   965s| 70000 | 11427 |  2633k|  37.6 |  50M| 196 |   - |1764 |1758 |1764 |1242 | 328 |  31k|  13k| 4.741109e+01 | 5.700000e+01 |  20.23%
1093.66/1094.13	c  1094s| 80000 | 13016 |  2986k|  37.3 |  61M| 196 | 182 |1764 |1743 |1764 |1242 | 328 |  33k|  16k| 4.752924e+01 | 5.700000e+01 |  19.93%
1210.71/1211.22	c  1211s| 90000 | 14259 |  3317k|  36.8 |  67M| 196 |   - |1764 |1731 |   0 |   0 | 328 |  35k|  18k| 4.767679e+01 | 5.700000e+01 |  19.56%
1290.97/1291.58	o 56
1290.97/1291.58	c *1292s| 98452 | 13569 |  3550k|  36.0 |  62M| 196 |   - |1764 |1917 |1764 |1242 | 328 |  37k|  19k| 4.777700e+01 | 5.600000e+01 |  17.21%
1304.17/1304.73	o 55
1304.17/1304.73	c C1305s| 99052 | 11835 |  3584k|  36.1 |  50M| 196 |   - |1764 |1727 |1764 |1242 | 328 |  37k|  19k| 4.777942e+01 | 5.500000e+01 |  15.11%
1324.26/1324.88	c  1325s|100000 | 11859 |  3635k|  36.3 |  51M| 196 |   - |1764 |1669 |1764 |1242 | 328 |  37k|  19k| 4.778922e+01 | 5.500000e+01 |  15.09%
1517.89/1518.59	c  1519s|110000 | 12401 |  4183k|  38.0 |  62M| 196 | 177 |1764 |1667 |1764 |1242 | 328 |  39k|  21k| 4.789500e+01 | 5.500000e+01 |  14.83%
1696.21/1696.96	c  1697s|120000 | 12939 |  4684k|  39.0 |  71M| 196 |   - |1764 |1714 |1764 |1242 | 328 |  40k|  22k| 4.797282e+01 | 5.500000e+01 |  14.65%
1789.28/1790.01	c 
1789.28/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.28/1790.01	c Solving Time (sec) : 1789.98
1789.28/1790.01	c Solving Nodes      : 124618
1789.28/1790.01	c Primal Bound       : +5.50000000000000e+01 (9 solutions)
1789.28/1790.01	c Dual Bound         : +4.79997130519135e+01
1789.28/1790.01	c Gap                : 14.58 %
1789.28/1790.02	s SATISFIABLE
1789.28/1790.02	v -x2006 -x2005 -x2004 x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 x1993 -x1992 -x1991 -x1990 -x1989 -x1988 
1789.28/1790.02	v -x1987 x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 
1789.28/1790.02	v x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 x1952 
1789.28/1790.02	v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 x1942 -x1941 -x1940 -x1939 -x1938 x1937 -x1936 -x1935 -x1934 
1789.28/1790.02	v x1933 -x1932 -x1931 x1930 x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 x1921 x1920 -x1919 -x1918 x1917 -x1916 -x1915 
1789.28/1790.02	v -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 
1789.28/1790.02	v -x1896 -x1895 x1894 x1893 -x1892 -x1891 x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 
1789.28/1790.02	v -x1878 x1877 x1876 -x1875 -x1874 x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 x1860 
1789.28/1790.02	v x1859 -x1858 -x1857 x1856 -x1855 -x1854 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 x1832 x1831 
1789.28/1790.02	v -x1830 -x1829 x1828 -x1827 -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 x1815 x1814 -x1813 
1789.28/1790.02	v -x1812 x1811 -x1810 -x1809 -x1808 x1807 x1806 x1805 x1804 -x1803 x1802 x1801 x1800 -x1799 x1798 -x1797 -x1796 -x1795 x1794 -x1793 
1789.28/1790.02	v -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 
1789.28/1790.02	v -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1768 x1767 x1766 -x1765 -x1764 x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 
1789.28/1790.02	v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 x1748 x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 
1789.28/1790.02	v -x1738 -x1737 -x1736 -x1735 x1734 -x1733 -x1732 x1731 -x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 
1789.28/1790.02	v -x1719 -x1718 -x1717 -x1716 x1715 -x1714 -x1713 x1712 -x1711 x1710 x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 
1789.28/1790.02	v -x1701 -x1700 -x1699 -x1698 -x1697 x1696 -x1695 -x1694 x1693 -x1692 x1691 x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 
1789.28/1790.02	v -x1683 -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 x1667 x1666 -x1665 
1789.28/1790.02	v -x1664 x1663 -x1662 -x1661 x1649 x1648 -x1647 -x1646 -x1645 x1644 x1643 x1642 -x1641 -x1640 x1639 x1638 x1637 -x1636 -x1635 
1789.28/1790.02	v -x1634 -x1633 x1632 x1631 -x1630 -x1629 x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 
1789.28/1790.02	v -x1616 x1615 x1614 -x1613 -x1612 x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 
1789.28/1790.02	v x1598 x1597 -x1596 -x1595 x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 x1581 x1580 
1789.28/1790.02	v -x1579 -x1578 x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 
1789.28/1790.02	v -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545 -x1544 
1789.28/1790.02	v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 x1526 
1789.28/1790.02	v -x1525 x1524 x1523 -x1522 -x1521 -x1520 x1519 -x1518 -x1517 -x1516 -x1515 -x1514 x1513 x1512 -x1511 -x1510 x1509 -x1508 -x1507 
1789.28/1790.02	v -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 x1496 x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 
1789.28/1790.02	v -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 x1468 x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 -x1460 
1789.28/1790.02	v -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 
1789.28/1790.02	v -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 
1789.28/1790.02	v -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 x1415 -x1414 -x1413 -x1412 x1411 -x1410 -x1409 x1408 x1407 -x1406 
1789.28/1790.02	v -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 x1397 x1396 -x1395 -x1394 x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 
1789.28/1790.02	v -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 x1378 -x1377 x1376 -x1375 x1374 x1373 x1372 x1371 -x1370 -x1369 
1789.28/1790.02	v -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 x1361 x1360 -x1359 -x1358 x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 
1789.28/1790.02	v -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 
1789.28/1790.02	v -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 x1325 -x1324 x1323 x1322 -x1321 -x1320 x1319 x1318 -x1317 x1316 -x1315 -x1314 
1789.28/1790.02	v x1313 x1312 -x1311 -x1310 -x1309 -x1308 x1307 -x1306 x1305 x1304 -x1303 -x1302 x1301 x1300 -x1299 x1298 -x1297 -x1296 x1295 
1789.28/1790.02	v x1294 -x1293 -x1292 -x1291 -x1290 x1278 -x1277 x1276 x1275 -x1274 -x1273 x1272 x1271 -x1270 x1269 -x1268 -x1267 x1266 x1265 
1789.28/1790.02	v -x1264 -x1263 -x1262 -x1261 -x1260 x1259 x1258 x1257 -x1256 x1255 x1254 x1253 x1252 -x1251 -x1250 -x1249 x1248 -x1247 -x1246 
1789.28/1790.02	v -x1245 -x1244 -x1243 -x1242 -x1241 x1240 x1239 x1238 -x1237 x1236 x1235 x1234 x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 
1789.28/1790.02	v -x1226 -x1225 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 
1789.28/1790.02	v -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 
1789.28/1790.02	v -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 
1789.28/1790.02	v -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 
1789.28/1790.02	v -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x737 -x736 -x735 
1789.28/1790.02	v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 
1789.28/1790.02	v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 
1789.28/1790.02	v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 
1789.28/1790.02	v -x671 x670 x669 x668 x667 -x666 -x665 x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 
1789.28/1790.02	v -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 
1789.28/1790.02	v -x629 -x628 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 
1789.28/1790.02	v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 x579 x578 -x577 -x576 
1789.28/1790.02	v -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 
1789.28/1790.02	v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 
1789.28/1790.02	v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 
1789.28/1790.02	v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 
1789.28/1790.02	v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 
1789.28/1790.02	v -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 
1789.28/1790.02	v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 
1789.28/1790.02	v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 
1789.28/1790.02	v -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 
1789.28/1790.02	v -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 x350 x349 -x348 x347 x346 x345 
1789.28/1790.02	v x344 x343 x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 
1789.28/1790.02	v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 
1789.28/1790.02	v -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 x294 x293 -x292 x291 x290 -x289 -x288 -x287 -x286 x285 x284 x283 x282 x281 -x280 
1789.28/1790.02	v x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x253 -x252 -x251 -x250 -x249 -x248 
1789.28/1790.02	v -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 
1789.28/1790.02	v -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 
1789.28/1790.02	v -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 
1789.28/1790.02	v -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 
1789.28/1790.02	v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 
1789.28/1790.02	v -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 
1789.28/1790.02	v -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 x97 x96 x95 -x94 -x93 x92 x91 -x90 -x89 -x88 
1789.28/1790.02	v -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 
1789.28/1790.02	v -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 
1789.28/1790.02	v -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 x28 x27 -x26 x25 -x24 -x23 -x2754 -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 
1789.28/1790.02	v -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 
1789.28/1790.02	v -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 x2720 x2719 x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 
1789.28/1790.02	v -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 
1789.28/1790.02	v -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 
1789.28/1790.02	v -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 
1789.28/1790.02	v -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 
1789.28/1790.02	v -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 
1789.28/1790.02	v -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 
1789.28/1790.02	v -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 x2577 x2576 x2575 x2574 
1789.28/1790.02	v -x2573 -x2572 x2571 x2570 -x2569 -x2568 -x2567 x2566 -x2565 x2564 x2563 x2562 x2561 x2560 x2559 x2558 x2557 -x2556 -x2555 
1789.28/1790.02	v -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 
1789.28/1790.02	v -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2512 -x2511 -x2510 -x2509 -x2508 
1789.28/1790.02	v -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 x2498 x2497 -x2496 -x2495 -x2494 x2493 x2492 x2491 -x2490 
1789.28/1790.02	v -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 
1789.28/1790.02	v -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 
1789.28/1790.02	v -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 
1789.28/1790.02	v -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 x2423 x2422 x2421 -x2420 -x2419 -x2418 
1789.28/1790.02	v -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2391 -x2390 -x2389 
1789.28/1790.02	v -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 
1789.28/1790.02	v -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 
1789.28/1790.02	v -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 x2335 
1789.28/1790.02	v x2334 x2333 -x2332 -x2331 x2330 x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 
1789.28/1790.02	v -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 
1789.28/1790.02	v -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2270 
1789.28/1790.02	v -x2269 -x2268 x2267 -x2266 -x2265 x2264 x2263 -x2262 x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 
1789.28/1790.02	v -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 
1789.28/1790.02	v -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 
1789.28/1790.02	v -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 x2202 -x2201 -x2200 x2199 x2198 
1789.28/1790.02	v -x2197 x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 
1789.28/1790.02	v -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 
1789.28/1790.02	v -x2161 -x2149 -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
1789.28/1790.02	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
1789.28/1790.02	v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 
1789.28/1790.02	v -x2096 -x2095 -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 
1789.28/1790.02	v -x2078 -x2077 -x2076 -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 
1789.28/1790.02	v -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 
1789.28/1790.02	v -x2043 -x2042 -x2041 -x2040 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 
1789.28/1790.02	v -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 
1789.28/1790.02	v -x1843 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 
1789.28/1790.02	v -x1473 -x1472 -x1471 -x1470 -x1469 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1217 -x1216 
1789.28/1790.02	v -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1196 x1195 x1194 x1193 x1192 -x1191 -x1190 -x1189 -x1188 
1789.28/1790.02	v -x1187 -x1186 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1154 -x1153 -x1152 -x1151 -x1150 
1789.28/1790.02	v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1122 x1121 -x1120 x1119 -x1118 x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1101 
1789.28/1790.02	v x1100 x1099 -x1098 x1097 x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1080 x1079 x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 
1789.28/1790.02	v -x1071 -x1070 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1038 -x1037 -x1036 -x1035 -x1034 
1789.28/1790.02	v -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x996 
1789.28/1790.02	v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 
1789.28/1790.02	v -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 
1789.28/1790.02	v -x923 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x880 x879 x878 x877 -x876 -x875 x874 x873 -x872 
1789.28/1790.02	v -x871 x870 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 
1789.28/1790.02	v -x740 -x739 -x738 -x627 x626 x625 x624 -x623 -x622 x621 x620 -x619 -x618 x617 -x506 x505 x504 x503 -x502 -x501 x500 x499 -x498 
1789.28/1790.02	v -x497 x496 -x385 x384 x383 x382 -x381 -x380 x379 x378 -x377 -x376 x375 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 
1789.28/1790.02	v -x255 -x254 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 
1789.28/1790.02	v -x13 -x12 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 
1789.28/1790.02	v -x2517 -x2516 -x2515 -x2514 -x2513 -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2281 -x2280 
1789.28/1790.02	v x2279 -x2278 -x2277 x2276 x2275 x2274 -x2273 -x2272 -x2271 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 
1789.28/1790.02	v -x2151 -x2150 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x1143 -x1142 -x1141 -x1140 -x1139 
1789.28/1790.02	v -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x11 -x10 -x9 
1789.28/1790.02	v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 
1789.28/1790.02	v -x1199 x1198 -x1197 -x1185 -x1184 -x1183 -x1182 -x1181 x1180 -x1179 -x1178 -x1177 -x1176 -x1164 -x1163 -x1162 -x1161 -x1160 
1789.28/1790.02	v -x1159 -x1158 -x1157 -x1156 -x1155 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 x1123 x1111 -x1110 -x1109 
1789.28/1790.02	v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 x1081 -x1069 
1789.28/1790.02	v x1068 -x1067 -x1066 -x1065 x1064 -x1063 -x1062 -x1061 -x1060 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 x1041 x1040 -x1039 
1789.28/1790.02	v -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 
1789.28/1790.02	v -x998 -x997 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978 x977 -x976 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 
1789.28/1790.02	v -x955 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x911 -x910 x909 x908 x907 -x906 -x905 -x904 -x903 -x902 -x890 
1789.28/1790.02	v -x889 -x888 x887 -x886 -x885 x884 x883 x882 -x881 -x869 -x868 -x867 -x866 -x865 x864 -x863 -x862 -x861 -x860 -x848 
1789.28/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1789.28/1790.02	c Solving Time       :    1789.98
1789.28/1790.02	c Original Problem   :
1789.28/1790.02	c   Problem name     : HOME/instance-2703430-1278551427.opb
1789.28/1790.02	c   Variables        : 2754 (2754 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.28/1790.02	c   Constraints      : 444 initial, 444 maximal
1789.28/1790.02	c Presolved Problem  :
1789.28/1790.02	c   Problem name     : t_HOME/instance-2703430-1278551427.opb
1789.28/1790.02	c   Variables        : 1764 (1764 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.28/1790.02	c   Constraints      : 999 initial, 4460 maximal
1789.28/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.28/1790.02	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.28/1790.02	c   dualfix          :       0.00         48          0          0          0          0          0          0          0
1789.28/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.28/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.28/1790.02	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.28/1790.02	c   probing          :       0.42         77          0          0          0          0          0          0          0
1789.28/1790.02	c   knapsack         :       0.06          0          0          0          0          0        160       1654       5696
1789.28/1790.02	c   setppc           :       0.03          0          0          0          0          0        670          0          0
1789.28/1790.02	c   linear           :       0.03        836         29          0        823          0        173        333        502
1789.28/1790.02	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.28/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1789.28/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.28/1790.02	c   integral         :          0          0          0      86127          0        188       7079          0          0     164464
1789.28/1790.02	c   knapsack         :         81         17     429244          2          1       1367    1052705        236          0          0
1789.28/1790.02	c   setppc           :        888         17     281169          0          1         72    2700575          0          0          0
1789.28/1790.02	c   linear           :         30+        18     427799          0          0       4025     479363        343          0          0
1789.28/1790.02	c   logicor          :          0+         0     153833          0          0        926     106609          0          0          0
1789.28/1790.02	c   countsols        :          0          0          0          2          1          0          0          0          0          0
1789.28/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.28/1790.02	c   integral         :     212.17       0.00       0.00     212.17       0.00
1789.28/1790.02	c   knapsack         :      16.49       0.02      16.47       0.00       0.00
1789.28/1790.02	c   setppc           :      20.50       0.00      20.50       0.00       0.00
1789.28/1790.02	c   linear           :      35.82       0.22      35.60       0.00       0.00
1789.28/1790.02	c   logicor          :       6.84       0.00       6.84       0.00       0.00
1789.28/1790.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.28/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.28/1790.02	c   vbounds          :       0.21          2          0          0
1789.28/1790.02	c   rootredcost      :       0.31          9          0          0
1789.28/1790.02	c   pseudoobj        :       5.30     427690        287      39468
1789.28/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.28/1790.02	c   propagation      :      11.50       6667       6655     153489      157.6       2545       66.9          -
1789.28/1790.02	c   infeasible LP    :       5.05       1967       1883      44255      168.1        512       46.1          0
1789.28/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.28/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.28/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.28/1790.02	c   applied globally :          -          -          -      40751       74.7          -          -          -
1789.28/1790.02	c   applied locally  :          -          -          -          6      187.8          -          -          -
1789.28/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.28/1790.02	c   cut pool         :       0.00         16          -          -         40          -    (maximal pool size: 229)
1789.28/1790.02	c   redcost          :      18.24     120593          0     730617          0          0
1789.28/1790.02	c   impliedbounds    :       0.01         17          0          0        151          0
1789.28/1790.02	c   intobj           :       0.00          0          0          0          0          0
1789.28/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1789.28/1790.02	c   gomory           :       0.73         17          0          0         43          0
1789.28/1790.02	c   strongcg         :       0.72         17          0          0        200          0
1789.28/1790.02	c   cmir             :       0.16         10          0          0          1          0
1789.28/1790.02	c   flowcover        :       0.25         10          0          0         15          0
1789.28/1790.02	c   clique           :       0.01         17          0          0         55          0
1789.28/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1789.28/1790.02	c   mcf              :       0.00          1          0          0          0          0
1789.28/1790.02	c   rapidlearning    :       1.26          1          0          0          0       1743
1789.28/1790.02	c Pricers            :       Time      Calls       Vars
1789.28/1790.02	c   problem variables:       0.00          0          0
1789.28/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.28/1790.02	c   relpscost        :     211.90      86125        188       7079          0          0     164464
1789.28/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1789.28/1790.02	c   inference        :       0.00          1          0          0          0          0          2
1789.28/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1789.28/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1789.28/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.28/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.28/1790.02	c   random           :       0.00          0          0          0          0          0          0
1789.28/1790.02	c Primal Heuristics  :       Time      Calls      Found
1789.28/1790.02	c   LP solutions     :       0.03          -          2
1789.28/1790.02	c   pseudo solutions :       0.00          -          0
1789.28/1790.02	c   oneopt           :       0.18          9          0
1789.28/1790.02	c   feaspump         :       2.90         16          0
1789.28/1790.02	c   objpscostdiving  :      14.04         29          0
1789.28/1790.02	c   rootsoldiving    :       7.86         37          0
1789.28/1790.02	c   veclendiving     :      15.33         84          1
1789.28/1790.02	c   pscostdiving     :      21.58         85          2
1789.28/1790.02	c   fracdiving       :      19.41         85          1
1789.28/1790.02	c   linesearchdiving :      19.57         85          1
1789.28/1790.02	c   guideddiving     :       5.09         85          1
1789.28/1790.02	c   coefdiving       :      26.99         85          0
1789.28/1790.02	c   trivial          :       0.01          2          0
1789.28/1790.02	c   simplerounding   :       0.17          0          0
1789.28/1790.02	c   zirounding       :       0.20       1000          0
1789.28/1790.02	c   rounding         :       1.34       4491          0
1789.28/1790.02	c   shifting         :       6.78       1383          0
1789.28/1790.02	c   intshifting      :       0.01          0          0
1789.28/1790.02	c   twoopt           :       0.00          0          0
1789.28/1790.02	c   fixandinfer      :       0.00          0          0
1789.28/1790.02	c   intdiving        :       0.00          0          0
1789.28/1790.02	c   actconsdiving    :       0.00          0          0
1789.28/1790.02	c   octane           :       0.00          0          0
1789.28/1790.02	c   rens             :       1.54          1          0
1789.28/1790.02	c   rins             :       0.00          0          0
1789.28/1790.02	c   localbranching   :       0.00          0          0
1789.28/1790.02	c   mutation         :       0.00          0          0
1789.28/1790.02	c   crossover        :       1.44         16          1
1789.28/1790.02	c   dins             :       0.00          0          0
1789.28/1790.02	c   undercover       :       0.00          0          0
1789.28/1790.02	c   nlp              :       0.09          0          0
1789.28/1790.02	c   trysol           :       0.10          0          0
1789.28/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.28/1790.02	c   primal LP        :       0.00          0          0       0.00          -
1789.28/1790.02	c   dual LP          :    1136.50     139480    4545868      32.59    3999.89
1789.28/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1789.28/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1789.28/1790.02	c   diving/probing LP:     101.09      29193     389205      13.33    3849.97
1789.28/1790.02	c   strong branching :     203.68      23541     662248      28.13    3251.45
1789.28/1790.02	c     (at root node) :          -         13       1243      95.62          -
1789.28/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1789.28/1790.02	c B&B Tree           :
1789.28/1790.02	c   number of runs   :          1
1789.28/1790.02	c   nodes            :     124618
1789.28/1790.02	c   nodes (total)    :     124618
1789.28/1790.02	c   nodes left       :      13181
1789.28/1790.02	c   max depth        :        196
1789.28/1790.02	c   max depth (total):        196
1789.28/1790.02	c   backtracks       :      21036 (16.9%)
1789.28/1790.02	c   delayed cutoffs  :       2158
1789.28/1790.02	c   repropagations   :      35212 (92252 domain reductions, 737 cutoffs)
1789.28/1790.02	c   avg switch length:       6.76
1789.28/1790.02	c   switching time   :      55.79
1789.28/1790.02	c Solution           :
1789.28/1790.02	c   Solutions found  :          9 (9 improvements)
1789.28/1790.02	c   First Solution   : +7.30000000000000e+01   (in run 1, after 21392 nodes, 413.43 seconds, depth 190, found by <linesearchdiving>)
1789.28/1790.02	c   Primal Bound     : +5.50000000000000e+01   (in run 1, after 99052 nodes, 1304.68 seconds, depth 25, found by <crossover>)
1789.28/1790.02	c   Dual Bound       : +4.79997130519135e+01
1789.28/1790.02	c   Gap              :      14.58 %
1789.28/1790.02	c   Root Dual Bound  : +4.18369238086457e+01
1789.28/1790.02	c   Root Iterations  :       4586
1789.38/1790.18	c Time complete: 1789.47.

Verifier Data 

OK	55

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703430-1278551427/watcher-2703430-1278551427 -o /tmp/evaluation-result-2703430-1278551427/solver-2703430-1278551427 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703430-1278551427.opb -t 1800 -m 1800 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28811
/proc/meminfo: memFree=1676164/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=7904 CPUtime=0
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 1081 0 0 0 0 0 0 0 23 0 1 0 23353937 8093696 993 1992294400 4194304 8395647 140735258983984 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 1976 1001 365 1026 0 946 0

[startup+0.092058 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28811
/proc/meminfo: memFree=1676164/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=21032 CPUtime=0.08
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 4645 0 0 0 7 1 0 0 23 0 1 0 23353937 21536768 4203 1992294400 4194304 8395647 140735258983984 18446744073709551615 4288140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 5258 4203 470 1026 0 4228 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21032

[startup+0.10106 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28811
/proc/meminfo: memFree=1676164/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=21032 CPUtime=0.09
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 4648 0 0 0 8 1 0 0 23 0 1 0 23353937 21536768 4206 1992294400 4194304 8395647 140735258983984 18446744073709551615 4684108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 5258 4206 473 1026 0 4228 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21032

[startup+0.301099 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28811
/proc/meminfo: memFree=1676164/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=25208 CPUtime=0.29
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 5738 0 0 0 27 2 0 0 23 0 1 0 23353937 25812992 5296 1992294400 4194304 8395647 140735258983984 18446744073709551615 6070948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 6302 5296 504 1026 0 5272 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25208

[startup+0.701179 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 28811
/proc/meminfo: memFree=1676164/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=29412 CPUtime=0.69
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 6958 0 0 0 67 2 0 0 25 0 1 0 23353937 30117888 6483 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 7353 6483 576 1026 0 6323 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29412

[startup+1.50134 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28812
/proc/meminfo: memFree=1652224/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=45896 CPUtime=1.49
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 10801 0 0 0 142 7 0 0 25 0 1 0 23353937 46997504 10326 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 11474 10326 629 1026 0 10444 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45896

[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 0.93 2/107 28812
/proc/meminfo: memFree=1636352/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=49364 CPUtime=3.09
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 11726 0 0 0 295 14 0 0 25 0 1 0 23353937 50548736 11236 1992294400 4194304 8395647 140735258983984 18446744073709551615 7382051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 12341 11236 636 1026 0 11311 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49364

[startup+6.30129 s]
/proc/loadavg: 1.00 1.00 0.93 3/107 28812
/proc/meminfo: memFree=1625316/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=56800 CPUtime=6.29
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 13687 0 0 0 606 23 0 0 25 0 1 0 23353937 58163200 13189 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 14200 13189 640 1026 0 13170 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56800

[startup+12.7016 s]
/proc/loadavg: 1.08 1.02 0.94 2/107 28812
/proc/meminfo: memFree=1625192/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=56800 CPUtime=12.69
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 13688 0 0 0 1239 30 0 0 25 0 1 0 23353937 58163200 13190 1992294400 4194304 8395647 140735258983984 18446744073709551615 6622098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 14200 13190 640 1026 0 13170 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56800

[startup+25.5011 s]
/proc/loadavg: 1.07 1.02 0.94 2/107 28812
/proc/meminfo: memFree=1625192/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=56800 CPUtime=25.48
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 13691 0 0 0 2504 44 0 0 25 0 1 0 23353937 58163200 13193 1992294400 4194304 8395647 140735258983984 18446744073709551615 6741236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 14200 13193 641 1026 0 13170 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 56800

[startup+51.1012 s]
/proc/loadavg: 1.04 1.01 0.94 2/107 28814
/proc/meminfo: memFree=1625068/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=56800 CPUtime=51.07
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 13694 0 0 0 5033 74 0 0 25 0 1 0 23353937 58163200 13196 1992294400 4194304 8395647 140735258983984 18446744073709551615 6583876 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 14200 13196 641 1026 0 13170 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 56800

[startup+102.308 s]
/proc/loadavg: 1.10 1.04 0.95 2/107 28814
/proc/meminfo: memFree=1625068/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=56800 CPUtime=102.25
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 13702 0 0 0 10089 136 0 0 25 0 1 0 23353937 58163200 13204 1992294400 4194304 8395647 140735258983984 18446744073709551615 4220215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 14200 13204 641 1026 0 13170 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 56800

[startup+162.301 s]
/proc/loadavg: 1.08 1.04 0.95 2/107 28816
/proc/meminfo: memFree=1624944/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=56800 CPUtime=162.22
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 13710 0 0 0 16013 209 0 0 25 0 1 0 23353937 58163200 13212 1992294400 4194304 8395647 140735258983984 18446744073709551615 6587074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 14200 13212 641 1026 0 13170 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 56800

[startup+222.301 s]
/proc/loadavg: 1.06 1.05 0.96 2/107 28818
/proc/meminfo: memFree=1624944/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=56800 CPUtime=222.21
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 13718 0 0 0 21936 285 0 0 25 0 1 0 23353937 58163200 13220 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 14200 13220 641 1026 0 13170 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 56800

[startup+282.302 s]
/proc/loadavg: 1.06 1.05 0.96 2/107 28820
/proc/meminfo: memFree=1621596/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=60324 CPUtime=282.18
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 14543 0 0 0 27861 357 0 0 25 0 1 0 23353937 61771776 14045 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 15081 14045 641 1026 0 14051 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 60324

[startup+342.302 s]
/proc/loadavg: 1.13 1.07 0.97 2/107 28820
/proc/meminfo: memFree=1615272/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=66832 CPUtime=342.16
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 16205 0 0 0 33785 431 0 0 25 0 1 0 23353937 68435968 15695 1992294400 4194304 8395647 140735258983984 18446744073709551615 6667522 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 16708 15695 641 1026 0 15678 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 66832

[startup+402.301 s]
/proc/loadavg: 1.12 1.07 0.98 2/107 28822
/proc/meminfo: memFree=1603616/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=77828 CPUtime=402.14
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 19137 0 0 0 39709 505 0 0 25 0 1 0 23353937 79695872 18506 1992294400 4194304 8395647 140735258983984 18446744073709551615 6586889 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 19457 18506 641 1026 0 18427 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 77828

[startup+462.301 s]
/proc/loadavg: 1.11 1.07 0.98 2/107 28824
/proc/meminfo: memFree=1595060/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=85588 CPUtime=462.11
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 29774 0 0 0 45631 580 0 0 25 0 1 0 23353937 87642112 20486 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 21397 20486 642 1026 0 20367 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 85588

[startup+522.3 s]
/proc/loadavg: 1.17 1.09 1.00 2/107 28829
/proc/meminfo: memFree=1592332/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=88772 CPUtime=522.08
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 41353 0 0 0 51549 659 0 0 25 0 1 0 23353937 90902528 21229 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 22193 21229 642 1026 0 21163 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 88772

[startup+582.301 s]
/proc/loadavg: 1.12 1.08 1.00 2/107 28831
/proc/meminfo: memFree=1589976/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=91056 CPUtime=582.06
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 50133 0 0 0 57471 735 0 0 25 0 1 0 23353937 93241344 21827 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 22764 21827 642 1026 0 21734 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 91056

[startup+642.301 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 28831
/proc/meminfo: memFree=1586628/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=94524 CPUtime=642.04
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 52007 0 0 0 63400 804 0 0 25 0 1 0 23353937 96792576 22657 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 23631 22657 642 1026 0 22601 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 94524

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=1558728/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=122108 CPUtime=1001.9
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 67858 0 0 0 98957 1233 0 0 25 0 1 0 23353937 125038592 29585 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 30527 29585 643 1026 0 29497 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 122108

[startup+1062.3 s]
/proc/loadavg: 1.12 1.09 1.00 2/107 28843
/proc/meminfo: memFree=1553644/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=127152 CPUtime=1061.88
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 71690 0 0 0 104883 1305 0 0 25 0 1 0 23353937 130203648 30847 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 31788 30847 643 1026 0 30758 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 127152

[startup+1122.3 s]
/proc/loadavg: 1.11 1.09 1.00 2/107 28845
/proc/meminfo: memFree=1550048/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=130664 CPUtime=1121.85
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 73596 0 0 0 110800 1385 0 0 25 0 1 0 23353937 133799936 31741 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 32666 31741 643 1026 0 31636 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 130664

[startup+1182.3 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 28847
/proc/meminfo: memFree=1545336/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=135364 CPUtime=1181.82
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 74753 0 0 0 116723 1459 0 0 25 0 1 0 23353937 138612736 32898 1992294400 4194304 8395647 140735258983984 18446744073709551615 6583641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 33841 32898 643 1026 0 32811 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 135364

[startup+1242.3 s]
/proc/loadavg: 1.09 1.08 1.00 2/107 28847
/proc/meminfo: memFree=1541864/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=138980 CPUtime=1241.79
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 75660 0 0 0 122646 1533 0 0 25 0 1 0 23353937 142315520 33805 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 34745 33805 643 1026 0 33715 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 138980

[startup+1302.3 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 28849
/proc/meminfo: memFree=1536656/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=143604 CPUtime=1301.78
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 80242 0 0 0 128567 1611 0 0 25 0 1 0 23353937 147050496 34955 1992294400 4194304 8395647 140735258983984 18446744073709551615 6119850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 35901 34955 643 1026 0 34871 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 143604

[startup+1362.3 s]
/proc/loadavg: 1.08 1.08 1.00 2/107 28851
/proc/meminfo: memFree=1536904/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=144152 CPUtime=1361.75
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 85956 0 0 0 134490 1685 0 0 25 0 1 0 23353937 147611648 35060 1992294400 4194304 8395647 140735258983984 18446744073709551615 6693794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 36038 35060 643 1026 0 35008 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 144152

[startup+1422.31 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 28853
/proc/meminfo: memFree=1535912/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=145136 CPUtime=1421.73
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 88908 0 0 0 140414 1759 0 0 25 0 1 0 23353937 148619264 35278 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 36284 35278 643 1026 0 35254 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 145136

[startup+1482.3 s]
/proc/loadavg: 1.07 1.08 1.00 2/107 28855
/proc/meminfo: memFree=1534548/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=146160 CPUtime=1481.7
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 89928 0 0 0 146337 1833 0 0 25 0 1 0 23353937 149667840 35523 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 36540 35523 643 1026 0 35510 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 146160

[startup+1542.3 s]
/proc/loadavg: 1.12 1.09 1.01 2/107 28855
/proc/meminfo: memFree=1533308/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=147576 CPUtime=1541.67
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 90333 0 0 0 152266 1901 0 0 25 0 1 0 23353937 151117824 35928 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 36894 35928 643 1026 0 35864 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 147576

[startup+1602.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 28857
/proc/meminfo: memFree=1529960/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=150888 CPUtime=1601.65
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 93870 0 0 0 158195 1970 0 0 25 0 1 0 23353937 154509312 36751 1992294400 4194304 8395647 140735258983984 18446744073709551615 4705400 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 37722 36751 643 1026 0 36692 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 150888

[startup+1662.3 s]
/proc/loadavg: 1.14 1.10 1.01 2/107 28859
/proc/meminfo: memFree=1526488/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=154400 CPUtime=1661.63
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 94710 0 0 0 164122 2041 0 0 25 0 1 0 23353937 158105600 37591 1992294400 4194304 8395647 140735258983984 18446744073709551615 6471950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 38600 37591 643 1026 0 37570 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 154400

[startup+1722.3 s]
/proc/loadavg: 1.12 1.09 1.01 2/107 28861
/proc/meminfo: memFree=1524008/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=156812 CPUtime=1721.6
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 95327 0 0 0 170048 2112 0 0 25 0 1 0 23353937 160575488 38208 1992294400 4194304 8395647 140735258983984 18446744073709551615 6586897 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 39203 38208 643 1026 0 38173 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 156812

[startup+1782.3 s]
/proc/loadavg: 1.11 1.09 1.01 2/107 28863
/proc/meminfo: memFree=1521900/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=158876 CPUtime=1781.58
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 95867 0 0 0 175976 2182 0 0 25 0 1 0 23353937 162689024 38748 1992294400 4194304 8395647 140735258983984 18446744073709551615 6652339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 39719 38748 643 1026 0 38689 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 158876

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 1.11 1.09 1.01 2/107 28863
/proc/meminfo: memFree=1521900/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=158876 CPUtime=1784.78
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 95867 0 0 0 176292 2186 0 0 25 0 1 0 23353937 162689024 38748 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 39719 38748 643 1026 0 38689 0
Current children cumulated CPU time (s) 1784.78
Current children cumulated vsize (KiB) 158876

[startup+1788.7 s]
/proc/loadavg: 1.10 1.09 1.01 2/107 28863
/proc/meminfo: memFree=1521776/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=158876 CPUtime=1787.98
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 95868 0 0 0 176609 2189 0 0 25 0 1 0 23353937 162689024 38749 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 39719 38749 643 1026 0 38689 0
Current children cumulated CPU time (s) 1787.98
Current children cumulated vsize (KiB) 158876

[startup+1789.5 s]
/proc/loadavg: 1.10 1.09 1.01 2/107 28863
/proc/meminfo: memFree=1521776/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=158876 CPUtime=1788.78
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 95869 0 0 0 176688 2190 0 0 25 0 1 0 23353937 162689024 38750 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 39719 38750 643 1026 0 38689 0
Current children cumulated CPU time (s) 1788.78
Current children cumulated vsize (KiB) 158876

[startup+1789.9 s]
/proc/loadavg: 1.10 1.09 1.01 2/107 28863
/proc/meminfo: memFree=1521776/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=158876 CPUtime=1789.18
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 95869 0 0 0 176727 2191 0 0 25 0 1 0 23353937 162689024 38750 1992294400 4194304 8395647 140735258983984 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28811/statm: 39719 38750 643 1026 0 38689 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 158876

[startup+1790.1 s]
/proc/loadavg: 1.10 1.09 1.01 2/107 28863
/proc/meminfo: memFree=1521776/2059040 swapFree=4162460/4192956
[pid=28811] ppid=28809 vsize=158876 CPUtime=1789.38
/proc/28811/stat : 28811 (pbscip.linux.x8) R 28809 28811 27946 0 -1 4202496 95871 0 0 0 176747 2191 0 0 25 0 1 0 23353937 162689024 38752 1992294400 4194304 8395647 140735258983984 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28811/statm: 39719 38752 645 1026 0 38689 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (KiB) 158876

Child status: 0
Real time (s): 1790.19
CPU time (s): 1789.48
CPU user time (s): 1767.54
CPU system time (s): 21.9327
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 159100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.54
system time used= 21.9327
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95874
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= 3
involuntary context switches= 3027

runsolver used 3.10053 second user time and 8.31474 second system time

The end

Launcher Data 

Begin job on node033 at 2010-07-08 03:10:27
IDJOB=2703430
IDBENCH=1524
IDSOLVER=1213
FILE ID=node033/2703430-1278551427
PBS_JOBID= 11239506
Free space on /tmp= 62488 MiB

SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703430-1278551427/watcher-2703430-1278551427 -o /tmp/evaluation-result-2703430-1278551427/solver-2703430-1278551427 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703430-1278551427.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f81823d3f3bf1b9e5d936e06c7f51a9c
RANDOM SEED=23435886

node033.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1676692 kB
Buffers:         65184 kB
Cached:         210368 kB
SwapCached:       1624 kB
Active:         161132 kB
Inactive:       145788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1676692 kB
SwapTotal:     4192956 kB
SwapFree:      4162460 kB
Dirty:           10460 kB
Writeback:           0 kB
AnonPages:       29696 kB
Mapped:          13164 kB
Slab:            53424 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181804 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node033 at 2010-07-08 03:40:17