Trace number 2663398

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
SCIPnone SCIP 1.2.1.2 without any LP solverOPT6 1521.3 1521.69

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx60.opb
MD5SUM26c9befa85d0a0769813e718015f6caa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark26.413
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2994
Total number of constraints3433
Number of constraints which are clauses2988
Number of constraints which are cardinality constraints (but not clauses)61
Number of constraints which are nor clauses,nor cardinality constraints384
Minimum length of a constraint2
Maximum length of a constraint384
Number of terms in the objective function 6
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 757
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
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-2663398-1276687875.opb>
0.09/0.11	c original problem has 2994 variables (2994 bin, 0 int, 0 impl, 0 cont) and 3433 constraints
0.09/0.11	c problem read
0.09/0.11	c presolving settings loaded
0.09/0.11	c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.16	c presolving:
0.09/0.19	c (round 1) 6 del vars, 1 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5976 impls, 60 clqs
0.19/0.20	c (round 2) 6 del vars, 2989 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5976 impls, 60 clqs
0.19/0.24	c (round 3) 6 del vars, 2989 del conss, 6 chg bounds, 0 chg sides, 0 chg coeffs, 444 upgd conss, 5976 impls, 60 clqs
0.59/0.68	c    (0.5s) probing: 101/2988 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.68	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.68	c presolving (4 rounds):
0.59/0.68	c  6 deleted vars, 2989 deleted constraints, 6 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.59/0.68	c  5976 implications, 420 cliques
0.59/0.68	c presolved problem has 2988 variables (2988 bin, 0 int, 0 impl, 0 cont) and 444 constraints
0.59/0.68	c     384 constraints of type <knapsack>
0.59/0.68	c      60 constraints of type <setppc>
0.59/0.68	c transformed objective value is always integral (scale: 1)
0.59/0.68	c Presolving Time: 0.52
0.59/0.68	c - non default parameters ----------------------------------------------------------------------
0.59/0.68	c # SCIP version 1.2.1.2
0.59/0.68	c 
0.59/0.68	c # frequency for displaying node information lines
0.59/0.68	c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.68	c display/freq = 10000
0.59/0.68	c 
0.59/0.68	c # maximal time in seconds to run
0.59/0.68	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.68	c limits/time = 1799.9
0.59/0.68	c 
0.59/0.68	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.68	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.68	c limits/memory = 1620
0.59/0.68	c 
0.59/0.68	c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.68	c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.68	c lp/solvefreq = -1
0.59/0.68	c 
0.59/0.68	c # should presolving try to simplify inequalities
0.59/0.68	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.68	c constraints/linear/simplifyinequalities = TRUE
0.59/0.68	c 
0.59/0.68	c # should presolving try to simplify knapsacks
0.59/0.68	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.68	c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.68	c 
0.59/0.68	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.59/0.68	c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.68	c separating/rapidlearning/freq = 0
0.59/0.68	c 
0.59/0.68	c -----------------------------------------------------------------------------------------------
0.59/0.68	c start solving
0.59/0.68	c 
0.59/0.69	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.69	c   0.6s|     1 |     2 |     0 |     - |  11M|   0 |   - |2988 | 444 |   0 |   0 |   0 |   0 |   0 | 6.000000e+00 |      --      |    Inf 
22.28/22.39	c  22.1s| 10000 |  9901 |     0 |   0.0 |  17M|2355 |   - |2988 | 863 |   0 |   0 |   0 | 419 |   0 | 6.000000e+00 |      --      |    Inf 
44.68/44.71	c  44.1s| 20000 | 19576 |     0 |   0.0 |  25M|2355 |   - |2988 |1795 |   0 |   0 |   0 |1509 |   0 | 6.000000e+00 |      --      |    Inf 
70.07/70.19	c  69.4s| 30000 | 29004 |     0 |   0.0 |  34M|2355 |   - |2988 |2273 |   0 |   0 |   0 |2930 |   0 | 6.000000e+00 |      --      |    Inf 
95.96/96.01	c  95.0s| 40000 | 38370 |     0 |   0.0 |  42M|2355 |   - |2988 |2568 |   0 |   0 |   0 |5000 |   0 | 6.000000e+00 |      --      |    Inf 
120.46/120.50	c   119s| 50000 | 48039 |     0 |   0.0 |  48M|2355 |   - |2988 |2283 |   0 |   0 |   0 |5969 |   0 | 6.000000e+00 |      --      |    Inf 
144.26/144.34	c   143s| 60000 | 57767 |     0 |   0.0 |  55M|2355 |   - |2988 |1991 |   0 |   0 |   0 |6924 |   0 | 6.000000e+00 |      --      |    Inf 
168.45/168.52	c   167s| 70000 | 67523 |     0 |   0.0 |  61M|2355 |   - |2988 |1678 |   0 |   0 |   0 |7880 |   0 | 6.000000e+00 |      --      |    Inf 
192.84/192.97	c   191s| 80000 | 77222 |     0 |   0.0 |  68M|2355 |   - |2988 |1690 |   0 |   0 |   0 |8954 |   0 | 6.000000e+00 |      --      |    Inf 
217.33/217.41	c   215s| 90000 | 86938 |     0 |   0.0 |  75M|2355 |   - |2988 |1637 |   0 |   0 |   0 |  10k|   0 | 6.000000e+00 |      --      |    Inf 
241.84/241.96	c   240s|100000 | 96658 |     0 |   0.0 |  82M|2355 |   - |2988 |1551 |   0 |   0 |   0 |  11k|   0 | 6.000000e+00 |      --      |    Inf 
266.02/266.14	c   264s|110000 |106400 |     0 |   0.0 |  89M|2355 |   - |2988 |1328 |   0 |   0 |   0 |  12k|   0 | 6.000000e+00 |      --      |    Inf 
290.12/290.29	c   288s|120000 |116110 |     0 |   0.0 |  96M|2355 |   - |2988 |1364 |   0 |   0 |   0 |  13k|   0 | 6.000000e+00 |      --      |    Inf 
314.31/314.42	c   311s|130000 |125743 |     0 |   0.0 | 103M|2355 |   - |2988 |1523 |   0 |   0 |   0 |  14k|   0 | 6.000000e+00 |      --      |    Inf 
338.51/338.61	c   335s|140000 |135462 |     0 |   0.0 | 110M|2355 |   - |2988 |1260 |   0 |   0 |   0 |  15k|   0 | 6.000000e+00 |      --      |    Inf 
362.60/362.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
362.60/362.79	c   359s|150000 |145165 |     0 |   0.0 | 117M|2355 |   - |2988 |1270 |   0 |   0 |   0 |  16k|   0 | 6.000000e+00 |      --      |    Inf 
386.89/387.09	c   384s|160000 |154823 |     0 |   0.0 | 124M|2355 |   - |2988 |1292 |   0 |   0 |   0 |  17k|   0 | 6.000000e+00 |      --      |    Inf 
411.09/411.20	c   407s|170000 |164513 |     0 |   0.0 | 132M|2355 |   - |2988 |1255 |   0 |   0 |   0 |  18k|   0 | 6.000000e+00 |      --      |    Inf 
434.78/434.94	c   431s|180000 |174163 |     0 |   0.0 | 138M|2355 |   - |2988 |1230 |   0 |   0 |   0 |  19k|   0 | 6.000000e+00 |      --      |    Inf 
458.97/459.16	c   455s|190000 |183847 |     0 |   0.0 | 145M|2355 |   - |2988 |1071 |   0 |   0 |   0 |  20k|   0 | 6.000000e+00 |      --      |    Inf 
482.87/483.06	c   479s|200000 |193545 |     0 |   0.0 | 152M|2355 |   - |2988 |1084 |   0 |   0 |   0 |  21k|   0 | 6.000000e+00 |      --      |    Inf 
506.26/506.46	c   502s|210000 |203185 |     0 |   0.0 | 160M|2355 |   - |2988 |1183 |   0 |   0 |   0 |  22k|   0 | 6.000000e+00 |      --      |    Inf 
530.06/530.23	c   525s|220000 |212903 |     0 |   0.0 | 167M|2355 |   - |2988 |1069 |   0 |   0 |   0 |  23k|   0 | 6.000000e+00 |      --      |    Inf 
553.95/554.13	c   549s|230000 |222547 |     0 |   0.0 | 174M|2355 |   - |2988 |1131 |   0 |   0 |   0 |  24k|   0 | 6.000000e+00 |      --      |    Inf 
577.84/578.03	c   573s|240000 |232144 |     0 |   0.0 | 181M|2355 |   - |2988 |1097 |   0 |   0 |   0 |  26k|   0 | 6.000000e+00 |      --      |    Inf 
601.55/601.73	c   596s|250000 |241862 |     0 |   0.0 | 189M|2355 |   - |2988 |1065 |   0 |   0 |   0 |  27k|   0 | 6.000000e+00 |      --      |    Inf 
624.64/624.81	c   619s|260000 |251574 |     0 |   0.0 | 196M|2355 |   - |2988 | 982 |   0 |   0 |   0 |  28k|   0 | 6.000000e+00 |      --      |    Inf 
647.93/648.19	c   642s|270000 |261269 |     0 |   0.0 | 204M|2355 |   - |2988 |1107 |   0 |   0 |   0 |  29k|   0 | 6.000000e+00 |      --      |    Inf 
671.32/671.58	c   665s|280000 |270957 |     0 |   0.0 | 211M|2355 |   - |2988 |1162 |   0 |   0 |   0 |  30k|   0 | 6.000000e+00 |      --      |    Inf 
694.51/694.77	c   688s|290000 |280649 |     0 |   0.0 | 218M|2355 |   - |2988 |1037 |   0 |   0 |   0 |  31k|   0 | 6.000000e+00 |      --      |    Inf 
717.81/718.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
717.81/718.05	c   712s|300000 |290329 |     0 |   0.0 | 226M|2355 |   - |2988 |1120 |   0 |   0 |   0 |  32k|   0 | 6.000000e+00 |      --      |    Inf 
740.80/741.09	c   734s|310000 |300013 |     0 |   0.0 | 233M|2355 |   - |2988 |1136 |   0 |   0 |   0 |  34k|   0 | 6.000000e+00 |      --      |    Inf 
764.30/764.54	c   758s|320000 |309720 |     0 |   0.0 | 240M|2355 |   - |2988 |1099 |   0 |   0 |   0 |  35k|   0 | 6.000000e+00 |      --      |    Inf 
787.89/788.14	c   781s|330000 |319375 |     0 |   0.0 | 248M|2355 |   - |2988 |1119 |   0 |   0 |   0 |  36k|   0 | 6.000000e+00 |      --      |    Inf 
811.38/811.67	c   804s|340000 |329037 |     0 |   0.0 | 255M|2355 |   - |2988 |1181 |   0 |   0 |   0 |  37k|   0 | 6.000000e+00 |      --      |    Inf 
834.68/834.91	c   827s|350000 |338687 |     0 |   0.0 | 263M|2355 |   - |2988 |1230 |   0 |   0 |   0 |  38k|   0 | 6.000000e+00 |      --      |    Inf 
857.88/858.14	c   850s|360000 |348276 |     0 |   0.0 | 271M|2355 |   - |2988 |1318 |   0 |   0 |   0 |  40k|   0 | 6.000000e+00 |      --      |    Inf 
880.78/881.04	c   873s|370000 |357978 |     0 |   0.0 | 278M|2355 |   - |2988 |1321 |   0 |   0 |   0 |  41k|   0 | 6.000000e+00 |      --      |    Inf 
903.57/903.82	c   896s|380000 |367614 |     0 |   0.0 | 285M|2355 |   - |2988 |1360 |   0 |   0 |   0 |  42k|   0 | 6.000000e+00 |      --      |    Inf 
926.86/927.10	c   919s|390000 |377219 |     0 |   0.0 | 292M|2355 |   - |2988 |1364 |   0 |   0 |   0 |  43k|   0 | 6.000000e+00 |      --      |    Inf 
949.85/950.13	c   942s|400000 |386866 |     0 |   0.0 | 300M|2355 |   - |2988 |1478 |   0 |   0 |   0 |  44k|   0 | 6.000000e+00 |      --      |    Inf 
972.95/973.26	c   964s|410000 |396498 |     0 |   0.0 | 307M|2355 |   - |2988 |1564 |   0 |   0 |   0 |  46k|   0 | 6.000000e+00 |      --      |    Inf 
995.94/996.20	c   987s|420000 |406101 |     0 |   0.0 | 314M|2355 |   - |2988 |1635 |   0 |   0 |   0 |  47k|   0 | 6.000000e+00 |      --      |    Inf 
1018.34/1018.66	c  1009s|430000 |415770 |     0 |   0.0 | 321M|2355 |   - |2988 |1508 |   0 |   0 |   0 |  48k|   0 | 6.000000e+00 |      --      |    Inf 
1041.23/1041.51	c  1032s|440000 |425386 |     0 |   0.0 | 329M|2355 |   - |2988 |1619 |   0 |   0 |   0 |  49k|   0 | 6.000000e+00 |      --      |    Inf 
1064.23/1064.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1064.23/1064.57	c  1055s|450000 |434980 |     0 |   0.0 | 336M|2355 |   - |2988 |1657 |   0 |   0 |   0 |  50k|   0 | 6.000000e+00 |      --      |    Inf 
1086.82/1087.18	c  1077s|460000 |444638 |     0 |   0.0 | 343M|2355 |   - |2988 |1710 |   0 |   0 |   0 |  52k|   0 | 6.000000e+00 |      --      |    Inf 
1109.21/1109.55	c  1099s|470000 |454290 |     0 |   0.0 | 351M|2355 |   - |2988 |1704 |   0 |   0 |   0 |  53k|   0 | 6.000000e+00 |      --      |    Inf 
1132.51/1132.86	c  1123s|480000 |463847 |     0 |   0.0 | 358M|2355 |   - |2988 |1722 |   0 |   0 |   0 |  55k|   0 | 6.000000e+00 |      --      |    Inf 
1155.40/1155.73	c  1145s|490000 |473362 |     0 |   0.0 | 366M|2355 |   - |2988 |1744 |   0 |   0 |   0 |  56k|   0 | 6.000000e+00 |      --      |    Inf 
1177.70/1178.07	c  1167s|500000 |483028 |     0 |   0.0 | 373M|2355 |   - |2988 |1676 |   0 |   0 |   0 |  57k|   0 | 6.000000e+00 |      --      |    Inf 
1200.29/1200.69	c  1190s|510000 |492632 |     0 |   0.0 | 380M|2355 |   - |2988 |1708 |   0 |   0 |   0 |  59k|   0 | 6.000000e+00 |      --      |    Inf 
1223.18/1223.51	c  1212s|520000 |502266 |     0 |   0.0 | 388M|2355 |   - |2988 |1688 |   0 |   0 |   0 |  60k|   0 | 6.000000e+00 |      --      |    Inf 
1245.68/1246.02	c  1235s|530000 |511771 |     0 |   0.0 | 395M|2355 |   - |2988 |1936 |   0 |   0 |   0 |  62k|   0 | 6.000000e+00 |      --      |    Inf 
1268.28/1268.67	c  1257s|540000 |521296 |     0 |   0.0 | 402M|2355 |   - |2988 |1992 |   0 |   0 |   0 |  63k|   0 | 6.000000e+00 |      --      |    Inf 
1290.77/1291.18	c  1279s|550000 |530896 |     0 |   0.0 | 410M|2355 |   - |2988 |2142 |   0 |   0 |   0 |  65k|   0 | 6.000000e+00 |      --      |    Inf 
1313.66/1314.05	c  1302s|560000 |540453 |     0 |   0.0 | 417M|2355 |   - |2988 |2045 |   0 |   0 |   0 |  66k|   0 | 6.000000e+00 |      --      |    Inf 
1336.25/1336.65	c  1325s|570000 |549973 |     0 |   0.0 | 424M|2355 |   - |2988 |2135 |   0 |   0 |   0 |  68k|   0 | 6.000000e+00 |      --      |    Inf 
1358.55/1358.97	c  1347s|580000 |559540 |     0 |   0.0 | 431M|2355 |   - |2988 |2062 |   0 |   0 |   0 |  69k|   0 | 6.000000e+00 |      --      |    Inf 
1380.84/1381.23	c  1369s|590000 |569197 |     0 |   0.0 | 438M|2355 |   - |2988 |2061 |   0 |   0 |   0 |  70k|   0 | 6.000000e+00 |      --      |    Inf 
1403.04/1403.43	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1403.04/1403.43	c  1391s|600000 |578814 |     0 |   0.0 | 445M|2355 |   - |2988 |1977 |   0 |   0 |   0 |  72k|   0 | 6.000000e+00 |      --      |    Inf 
1425.73/1426.12	c  1413s|610000 |588321 |     0 |   0.0 | 453M|2355 |   - |2988 |2179 |   0 |   0 |   0 |  74k|   0 | 6.000000e+00 |      --      |    Inf 
1448.24/1448.63	c  1435s|620000 |597838 |     0 |   0.0 | 460M|2355 |   - |2988 |2070 |   0 |   0 |   0 |  75k|   0 | 6.000000e+00 |      --      |    Inf 
1470.72/1471.10	c  1458s|630000 |607339 |     0 |   0.0 | 467M|2355 |   - |2988 |2146 |   0 |   0 |   0 |  76k|   0 | 6.000000e+00 |      --      |    Inf 
1493.02/1493.40	c  1480s|640000 |616920 |     0 |   0.0 | 474M|2355 |   - |2988 |2131 |   0 |   0 |   0 |  78k|   0 | 6.000000e+00 |      --      |    Inf 
1515.21/1515.66	c  1502s|650000 |626478 |     0 |   0.0 | 481M|2355 |   - |2988 |2220 |   0 |   0 |   0 |  80k|   0 | 6.000000e+00 |      --      |    Inf 
1521.11/1521.56	o 6
1521.11/1521.56	c *1508s|652189 |     0 |     0 |   0.0 |  14M|2355 |   - |2988 |1991 |   0 |   0 |   0 |  80k|   0 | 6.000000e+00 | 6.000000e+00 |   0.00%
1521.11/1521.57	c 
1521.11/1521.57	c SCIP Status        : problem is solved [optimal solution found]
1521.11/1521.57	c Solving Time (sec) : 1507.72
1521.11/1521.57	c Solving Nodes      : 652189
1521.11/1521.57	c Primal Bound       : +6.00000000000000e+00 (1 solutions)
1521.11/1521.57	c Dual Bound         : +6.00000000000000e+00
1521.11/1521.57	c Gap                : 0.00 %
1521.11/1521.58	s OPTIMUM FOUND
1521.11/1521.58	v -x2968 -x2987 -x2660 -x2680 -x2697 -x2707 -x2725 -x2745 x2767 -x2789 -x2817 -x2460 -x2434 -x2531 -x2499 -x2576 -x2161 -x2187 -x2112 
1521.11/1521.58	v -x2133 -x1882 -x1902 -x1919 -x1856 -x1875 -x1979 -x2001 -x1936 -x1957 -x1730 -x1706 -x1679 -x1255 -x1234 -x1118 -x1103 -x1157 
1521.11/1521.58	v -x1139 -x1383 -x1366 -x1347 -x1414 -x1388 -x1297 -x1279 -x1335 -x1311 -x814 -x505 -x481 -x461 -x440 -x422 -x401 -x384 -x369 
1521.11/1521.58	v -x372 -x696 -x669 -x651 -x621 -x596 -x575 -x552 -x201 -x230 -x2688 -x2667 -x2726 -x2709 -x2764 -x2742 -x2809 -x2808 -x2779 
1521.11/1521.58	v -x2853 -x2834 -x2894 -x2873 -x2950 -x2557 -x2579 -x2597 -x2624 -x1912 -x1888 -x1870 -x1852 -x2006 -x1986 -x1968 -x1952 -x1928 
1521.11/1521.58	v -x2087 -x2068 -x2041 -x908 -x1058 -x1082 x1096 -x1789 -x1812 -x1835 -x1669 -x2230 -x2609 -x2641 -x2564 -x681 -x656 -x637 
1521.11/1521.58	v -x421 -x1321 -x1384 -x1361 -x1431 -x2152 -x2116 -x2096 -x2076 -x601 -x533 -x560 -x168 -x147 x127 -x102 -x73 -x1575 -x1540 -x1508 
1521.11/1521.58	v -x1477 -x1453 -x2143 -x2166 -x2104 -x2323 -x2418 -x2391 -x2246 -x2214 -x2302 -x2269 -x2906 -x303 -x80 -x57 -x38 -x11 -x158 
1521.11/1521.58	v -x139 -x118 -x1018 -x1095 -x1073 -x736 -x714 -x784 -x760 -x824 -x1580 -x1504 -x1535 -x1439 -x1466 -x1811 -x1833 -x1764 -x16 
1521.11/1521.58	v -x46 -x64 -x86 x111 -x117 -x138 -x160 -x205 -x232 -x252 -x279 -x300 -x321 -x343 -x364 -x381 -x366 -x419 -x398 -x462 -x473 -x452 
1521.11/1521.58	v -x513 -x495 -x556 -x535 -x602 -x576 -x646 -x622 -x698 -x671 -x2385 -x2413 -x2312 -x2346 -x2273 -x2300 -x2211 -x2247 -x2598 
1521.11/1521.58	v -x2628 -x2549 -x2574 -x2488 -x2520 -x2436 -x2462 -x2815 -x2790 -x2770 -x2750 -x2730 -x2719 -x2701 -x2675 -x2658 -x2985 -x2965 
1521.11/1521.58	v -x2945 -x2924 -x2898 -x2874 -x699 -x672 -x2386 -x2414 -x2313 -x2347 -x2274 -x2301 -x2212 -x2248 -x2599 -x2629 -x2550 -x2575 
1521.11/1521.58	v -x2489 -x2521 -x2437 -x2463 -x2816 -x2791 -x2771 -x2751 -x2731 -x2720 -x2702 -x2676 -x2659 -x2986 -x2966 -x2946 -x2925 -x2899 
1521.11/1521.58	v -x2875 -x2854 -x2836 -x1557 -x1584 -x1601 -x1647 -x1448 -x1483 -x1509 -x1538 -x1755 -x1778 -x1803 -x1825 -x1659 -x1685 -x1710 
1521.11/1521.58	v -x1734 -x1960 -x1938 -x1999 -x1995 -x1973 -x1857 -x1845 -x1903 -x1880 -x2135 -x2110 -x2178 -x2156 -x2900 -x2876 -x2855 -x2837 
1521.11/1521.58	v -x1558 -x1585 -x1602 -x1648 -x1449 -x1484 -x1510 -x1539 -x1756 -x1779 -x1804 -x1826 -x1660 -x1686 -x1711 -x1735 -x1961 -x1939 
1521.11/1521.58	v -x2000 -x1996 -x1974 -x1858 -x1846 -x1904 -x1881 -x2136 -x2111 -x2179 -x2157 -x2046 -x2026 -x2088 -x2070 -x987 -x961 -x909 
1521.11/1521.58	v -x881 -x1083 -x1059 -x1030 -x1009 -x791 -x771 -x753 -x734 -x866 -x842 -x825 -x808 -x1312 -x1333 -x1339 -x1280 -x1299 -x1405 
1521.11/1521.58	v -x1426 -x1362 -x1385 -x1140 -x1161 -x2180 -x2158 -x2047 -x2027 -x2089 -x2071 -x988 -x962 -x910 -x882 -x1084 -x1060 -x1031 
1521.11/1521.58	v -x1010 -x792 -x772 -x754 -x735 -x867 -x843 -x826 -x809 -x1313 -x1334 -x1340 -x1281 -x1300 -x1406 -x1427 -x1363 -x1386 -x1141 
1521.11/1521.58	v -x1162 -x1107 -x1122 -x1223 -x1248 -x1180 -x1202 -x224 -x187 -x269 -x243 -x305 -x286 -x352 -x325 -x50 -x20 -x87 -x67 -x131 -x112 
1521.11/1521.58	v -x171 -x150 -x526 -x545 -x565 -x589 -x610 -x632 -x653 -x682 -x706 -x1142 -x1163 -x1108 -x1123 -x1224 -x1249 -x1181 -x1203 
1521.11/1521.58	v -x225 -x188 -x270 -x244 -x306 -x287 -x353 -x326 -x51 -x21 -x88 -x68 -x132 -x113 -x172 -x151 -x527 -x546 -x566 -x590 -x611 -x633 
1521.11/1521.58	v -x654 -x683 -x707 -x367 -x382 -x396 -x416 -x443 -x463 -x488 -x509 -x2642 -x2610 -x2587 -x2565 -x2547 -x2515 -x2479 -x2454 
1521.11/1521.58	v -x2408 -x2378 -x2352 -x2315 -x2282 -x2257 -x2222 -x2190 -x2217 -x2959 -x2977 -x2908 -x2936 -x2867 -x2889 -x684 -x708 -x368 -x383 
1521.11/1521.58	v -x397 -x417 -x444 -x464 -x489 -x510 -x2643 -x2611 -x2588 -x2566 -x2548 -x2516 -x2480 -x2455 -x2409 -x2379 -x2353 -x2316 
1521.11/1521.58	v -x2283 -x2258 -x2223 -x2191 -x2218 -x2960 -x2978 -x2909 -x2937 -x2868 -x2890 -x2827 -x2842 -x2796 -x2818 -x2746 -x2773 -x2704 
1521.11/1521.58	v -x2722 -x2664 -x2677 -x1790 -x1766 -x1836 -x1810 -x1696 -x1672 -x1740 -x1720 -x1577 -x1551 -x1629 -x1603 -x1475 -x1445 -x1532 
1521.11/1521.58	v -x1541 -x1512 -x2098 -x2126 -x2150 -x2174 -x2786 x2689 -x2655 -x2710 -x598 -x537 -x559 -x691 -x103 -x1270 -x1288 -x1310 -x813 
1521.11/1521.58	v -x875 -x851 -x2162 -x1565 -x1523 -x1498 -x1463 -x2305 -x2404 -x2375 -x2236 -x94 -x284 -x255 -x229 -x803 -x865 -x839 -x923 
1521.11/1521.58	v -x1791 -x1716 x1743 -x1668 -x2585 -x2618 -x2644 -x2456 -x447 -x239 -x266 -x196 -x1179 -x1262 -x1240 -x879 -x2271 -x2295 -x2207 
1521.11/1521.58	v -x2240 -x2394 -x2423 -x2337 x2368 -x2934 -x2907 -x700 -x674 -x645 -x619 -x592 -x574 -x72 -x92 -x26 -x45 -x1368 -x1350 -x1410 
1521.11/1521.58	v -x1390 -x853 -x873 -x727 -x751 -x777 -x796 -x2091 -x2064 -x1491 -x1528 -x1437 -x1464 -x1613 -x1625 -x1560 -x1583 -x2617 -x2645 
1521.11/1521.58	v -x2201 -x2234 -x2261 -x2289 -x2314 -x2345 x871 -x730 -x756 -x775 -x793 -x1001 -x1019 -x1045 -x1074 -x1099 -x895 -x925 -x949 
1521.11/1521.58	v -x980 -x1204 -x1183 -x174 -x114 -x135 -x69 -x90 -x22 -x40 -x36 -x341 -x362 -x299 -x316 -x256 -x282 -x204 -x223 -x528 -x2192 
1521.11/1521.58	v -x2219 -x2259 -x2280 -x2317 -x2348 -x2380 -x2389 -x2420 -x2440 -x2471 -x2503 -x2528 -x2551 -x2577 -x2917 -x2993 -x2969 -x1502 
1521.11/1521.58	v -x1530 -x1440 -x1473 -x1608 -x1628 -x1646 -x1574 -x1598 -x1701 -x1728 -x1653 -x1682 -x2020 -x2185 -x2160 -x2128 -x2107 -x2263 
1521.11/1521.58	v -x2290 -x2200 -x2235 -x2371 -x2395 -x2430 -x2331 -x2361 -x2496 -x2519 -x2877 -x2851 -x2835 -x2988 -x2964 -x2943 -x2919 -x1436 
1521.11/1521.58	v -x1465 -x1499 -x1529 -x1546 -x1566 -x1591 -x1618 -x1641 -x189 -x991 -x1821 x2526 -x153 -x555 -x1184 -x544 -x267 -x1090 -x1742 
1521.11/1521.58	v x1934 x14 -x715 -x2086 -x2903 -x435 -x1171 -x1505 -x1536 -x1444 -x1469 -x1958 -x1940 -x1920 -x1895 -x2772 -x2748 -x2822 
1521.11/1521.58	v -x2793 x663 -x638 -x418 -x395 -x1373 -x1355 -x1422 -x1396 -x1935 -x1949 -x1883 -x1908 -x49 -x17 -x746 -x726 -x850 -x874 -x148 
1521.11/1521.58	v -x169 -x557 -x536 x2941 -x2920 -x23 -x170 -x154 -x130 -x107 -x2422 -x2393 -x2357 -x2982 -x2915 -x2940 x2862 -x2884 -x2823 -x2843 
1521.11/1521.58	v -x1590 -x1901 -x2093 -x2114 -x2141 -x2165 -x2018 -x2037 -x2061 -x1266 -x1192 -x1205 -x1326 -x1342 -x1287 -x1303 -x1398 
1521.11/1521.58	v -x429 -x451 -x477 -x490 -x511 -x539 -x561 -x580 -x2954 -x2935 -x2910 -x2891 -x2871 -x2858 -x2838 -x2804 -x2879 -x2902 -x2921 
1521.11/1521.58	v -x2942 -x2938 -x2962 -x2983 -x2661 -x666 -x694 -x614 -x640 -x578 -x581 -x605 x542 -x47 -x27 -x1352 -x1372 -x1392 -x1416 -x1424 
1521.11/1521.58	v -x1282 -x750 -x729 -x789 -x773 -x1914 -x1891 -x1869 -x1865 -x1654 -x1678 -x1805 -x1828 -x1758 -x1780 -x2690 -x2668 -x2432 -x2473 
1521.11/1521.58	v -x2500 -x2532 -x2553 -x2573 -x2601 -x2627 x833 -x854 -x876 -x880 -x907 -x939 -x971 -x1004 -x48 -x149 -x167 -x104 -x128 
1521.11/1521.58	v -x240 -x263 -x179 -x2341 -x2370 -x2401 -x2199 -x2229 -x2262 -x2291 -x2571 -x2882 -x1614 -x1635 -x1561 -x1586 -x1497 -x1524 -x1438 
1521.11/1521.58	v -x2062 -x2038 -x2021 -x924 -x897 -x983 -x952 -x1046 -x1173 -x1190 -x1207 -x1231 -x1254 -x281 -x251 -x233 -x1316 -x1291 -x1276 
1521.11/1521.58	v -x1411 -x2121 -x2132 -x2108 -x2181 -x2691 x2669 -x2651 -x2994 -x938 -x968 -x878 -x902 -x329 -x347 -x194 -x219 -x2511 -x2544 
1521.11/1521.58	v -x2451 -x2483 -x1889 -x1913 -x1853 -x1868 -x1987 -x2007 -x1943 -x1929 -x1170 -x1149 -x1371 -x1351 -x1417 -x1391 -x1289 x1271 
1521.11/1521.58	v -x428 -x410 -x394 -x379 -x692 -x667 -x642 -x615 -x2711 -x2692 -x2752 -x2732 -x2802 -x2776 -x2861 -x2841 -x1909 -x1884 -x1864 
1521.11/1521.58	v -x1844 -x1993 -x1975 -x1956 -x1932 -x1763 -x1784 -x1516 -x1544 -x1454 -x1478 -x1622 -x1650 -x591 -x613 -x629 -x655 -x2349 
1521.11/1521.58	v -x2306 -x2405 -x2376 -x1698 -x1673 -x1633 -x1610 -x1026 -x1002 x1076 -x1064 -x208 -x181 -x361 -x338 -x2332 -x2369 -x2392 -x2424 
1521.11/1521.58	v -x2060 -x2961 -x584 -x861 x1719 -x2614 -x28 -x2973 -x1915 -x1253 -x427 x2963 -x517 -x497 -x2768 -x2743 -x2820 -x2798 -x2684 
1521.11/1521.58	v x2663 -x2441 -x2467 -x2504 -x2522 -x1998 -x1980 -x1962 -x1937 -x1757 -x1781 -x1702 -x1723 -x1661 -x1689 -x1124 -x1109 -x896 
1521.11/1521.58	v -x922 -x951 -x981 -x1020 -x1043 -x1067 -x1094 -x93 -x119 -x253 -x280 -x206 -x231 -x344 -x365 -x2487 -x2458 -x2540 -x2517 -x2339 
1521.11/1521.58	v -x2307 -x2406 -x2381 -x1814 -x2703 -x2621 -x2586 -x333 -x213 -x1051 -x1024 -x1818 -x1459 -x2631 x2558 -x2478 -x2507 -x2537 
1521.11/1521.58	v -x2311 -x1782 -x1721 -x1747 -x1675 -x918 -x940 -x973 -x1003 -x448 x237 -x260 -x180 -x2535 -x2439 -x2465 -x2821 -x1827 -x1658 
1521.11/1521.58	v -x1683 -x1713 -x2681 -x2794 -x2775 -x2800 x2735 -x2755 -x307 -x285 -x355 -x330 -x210 -x185 -x257 -x235 -x133 -x105 -x175 
1521.11/1521.58	v -x156 -x39 -x12 -x81 -x58 -x634 -x662 -x679 -x703 -x538 -x562 -x588 -x606 -x446 -x467 -x484 -x507 -x518 -x377 -x390 -x411 -x430 
1521.11/1521.58	v -x1085 -x1054 -x1038 -x996 -x975 -x942 -x915 -x891 -x868 -x844 -x828 -x804 -x785 -x763 -x737 -x717 -x1407 -x1432 -x1358 -x1374 
1521.11/1521.58	v -x1324 -x1343 -x1285 -x1305 -x1227 -x468 -x485 -x508 -x519 -x378 -x391 -x412 -x431 -x1086 -x1055 -x1039 -x997 -x976 -x943 
1521.11/1521.58	v -x916 -x892 -x869 -x845 -x829 -x805 -x786 -x764 -x738 -x718 -x1408 -x1433 -x1359 -x1375 -x1325 -x1344 -x1286 -x1306 -x1228 
1521.11/1521.58	v -x1250 -x1177 -x1199 -x1219 -x1145 -x1167 -x1112 -x1130 -x1450 -x1479 -x1513 -x1547 -x1569 -x1592 -x1619 -x1642 -x1662 -x1690 
1521.11/1521.58	v -x1717 -x1738 -x1768 -x1792 -x1815 -x1838 -x1860 -x1841 -x1910 -x1885 -x1950 -x1922 -x1988 -x1307 -x1229 -x1251 -x1178 -x1200 
1521.11/1521.58	v -x1220 -x1146 -x1168 -x1113 -x1131 -x1451 -x1480 -x1514 -x1548 -x1570 -x1593 -x1620 -x1643 -x1663 -x1691 -x1718 -x1739 -x1769 
1521.11/1521.58	v -x1793 -x1816 -x1839 -x1861 -x1842 -x1911 -x1886 -x1951 -x1923 -x1989 -x1970 -x2044 -x2028 -x2010 -x2077 -x2054 -x2117 -x2099 
1521.11/1521.58	v -x2167 -x2145 -x2275 -x2296 -x2204 -x2237 -x2396 -x2425 -x2334 -x2365 -x2490 -x2545 -x2452 -x2484 -x2615 -x2639 -x2567 -x2591 
1521.11/1521.58	v -x2717 -x2693 -x2672 -x2652 -x2805 -x1924 -x1990 -x1971 -x2045 -x2029 -x2011 -x2078 -x2055 -x2118 -x2100 -x2168 -x2146 -x2276 
1521.11/1521.58	v -x2297 -x2205 -x2238 -x2397 -x2426 -x2335 -x2366 -x2491 -x2546 -x2453 -x2485 -x2616 -x2640 -x2568 -x2592 -x2718 -x2694 
1521.11/1521.58	v -x2673 -x2653 -x2806 -x2780 -x2756 -x2736 -x2896 -x2887 -x2864 -x2846 -x2831 -x2979 -x2955 -x2930 -x2911 -x99 -x124 -x143 -x161 
1521.11/1521.58	v -x2 -x29 -x54 -x75 -x289 -x308 -x323 -x350 -x190 -x215 -x241 -x271 -x478 -x456 -x523 -x2654 -x2807 -x2781 -x2757 -x2737 -x2897 
1521.11/1521.58	v -x2888 -x2865 -x2847 -x2832 -x2980 -x2956 -x2931 -x2912 -x100 -x125 -x144 -x162 -x3 -x30 -x55 -x76 -x290 -x309 -x324 -x351 
1521.11/1521.58	v -x191 -x216 -x242 -x272 -x479 -x457 -x524 -x498 -x387 -x373 -x425 -x405 -x403 -x657 -x630 -x704 -x677 -x567 -x547 -x607 -x585 
1521.11/1521.58	v -x836 -x857 -x800 -x820 -x769 -x787 -x724 -x747 -x1062 -x1091 -x1006 -x1036 -x936 -x966 -x883 -x911 -x1258 -x458 -x525 -x499 
1521.11/1521.58	v -x388 -x374 -x426 -x406 -x404 -x658 -x631 -x705 -x678 -x568 -x548 -x608 -x587 -x837 -x860 -x801 -x822 -x770 -x788 -x725 -x748 
1521.11/1521.58	v -x1063 -x1093 -x1008 -x1037 -x937 -x967 -x884 -x912 -x1259 -x1235 -x1213 -x1187 -x1176 -x1154 -x1135 -x1121 -x1105 -x1425 
1521.11/1521.58	v -x1404 -x1378 -x1357 -x1341 -x1323 -x1309 -x1284 -x2090 -x2069 -x2049 -x2025 -x2177 -x2159 -x2124 -x2095 -x1917 -x1892 -x1871 
1521.11/1521.58	v -x1854 -x2005 -x1982 -x1959 -x1674 -x1697 -x1808 -x1831 -x1760 -x1786 -x1899 -x1879 -x1862 -x1843 -x1997 -x1976 x1954 -x1931 
1521.11/1521.58	v -x2083 -x2059 -x1005 -x1028 -x1047 -x1081 -x888 -x914 -x947 -x964 -x1215 -x1196 -x1267 -x1244 -x1133 -x1115 -x1169 -x1144 
1521.11/1521.58	v -x18 -x44 -x339 -x360 -x297 -x313 -x234 -x259 -x192 -x217 -x516 -x493 -x470 -x450 -x437 -x414 -x2562 -x2561 -x2630 -x2602 -x2245 
1521.11/1521.58	v -x2203 -x2299 -x2268 -x2360 -x2327 -x2416 -x2388 -x2826 -x2849 -x2866 -x2885 -x1671 -x1834 -x1824 -x1801 -x1773 -x1749 -x1545 
1521.11/1521.58	v -x1517 -x1488 -x1462 -x1652 -x1623 -x1597 -x1573 -x2053 -x2081 -x1012 -x1092 -x1061 -x1069 -x931 -x901 -x986 -x963 -x819 
1521.11/1521.58	v -x799 -x862 -x838 -x742 -x722 -x778 -x761 -x1148 -x1007 -x1035 -x1070 -x2470 -x2506 -x2534 x2763 -x1777 -x1705 -x1725 -x1657 
1521.11/1521.58	v -x926 -x950 -x982 -x1021 -x121 -x254 -x283 -x207 -x2459 -x2541 -x2513 -x2342 x1848 -x1863 -x1887 -x1907 -x1927 -x1953 -x1969 
1521.11/1521.58	v -x1991 -x2013 -x2032 -x2052 -x2080 -x2103 -x2125 -x2144 -x2170 -x1840 -x1807 -x1421 -x1395 -x1376 -x1354 -x1345 -x1327 -x1304 
1521.11/1521.58	v -x1272 -x1263 -x1243 -x1221 -x1195 -x1172 -x1150 -x759 -x782 -x723 -x745 -x664 -x639 -x713 -x690 -x563 -x540 -x599 -x579 -x469 
1521.11/1521.58	v -x449 -x515 -x492 -x140 -x159 -x10 -x32 -x53 -x74 -x2883 -x2863 -x2844 -x2824 -x2984 -x2967 -x2944 -x2918 -x2714 -x2700 -x2272 
1521.11/1521.58	v -x2304 -x2210 -x2250 -x2400 -x2428 -x2330 -x2363 -x2036 -x2019 -x2082 -x2058 -x2134 -x2113 -x2188 -x2163 -x1802 -x1829 
1521.11/1521.58	v -x1455 -x1482 -x1511 -x1542 -x1568 -x1596 -x1617 -x1640 -x19 -x43 -x66 -x79 -x98 -x122 -x2665 -x2687 -x2792 -x2819 -x356 -x337 
1521.11/1521.58	v -x315 -x296 -x1160 -x1174 -x1023 -x995 -x2004 -x1946 -x1926 -x1948 -x2728 -x2738 -x2761 -x2758 x665 -x644 -x618 -x597 -x2131 
1521.11/1521.58	v -x2123 -x2149 -x2175 -x1367 -x1319 -x1320 x1338 -x650 -x673 -x695 -x711 -x65 -x2724 -x2706 -x2683 -x2637 -x2560 -x2584 -x1876 
1521.11/1521.58	v -x1733 -x1751 -x1771 -x1800 -x2015 -x2031 -x2148 -x2176 -x1216 -x1198 -x1264 -x1241 x193 -x214 -x520 -x496 -x2563 -x2590 -x2613 
1521.11/1521.58	v -x2646 -x1667 -x1694 -x1817 -x1837 -x2072 -x2050 -x2034 -x2017 -x222 -x203 -x274 -x246 -x445 -x472 -x494 -x514 -x380 x389 
1521.11/1521.58	v -x415 -x436 -x617 -x652 -x670 -x697 -x1044 -x1017 -x990 -x960 -x928 -x899 -x1246 -x1265 -x1194 -x1218 -x1147 -x1164 -x1114 
1521.11/1521.58	v -x1134 -x1389 -x1415 -x1442 -x1472 -x1507 -x1534 -x1556 -x1581 -x1605 -x1651 -x2035 -x2016 -x2073 -x2051 -x2122 -x2097 -x2173 
1521.11/1521.58	v -x2139 -x2572 -x2595 -x2253 -x2279 -x2193 -x2225 -x2384 -x2415 -x2326 -x2359 -x2892 -x2870 -x2848 -x2830 -x2975 -x2952 -x195 
1521.11/1521.58	v -x209 -x238 -x262 -x109 -x136 -x152 -x173 -x25 -x33 -x61 -x82 -x660 -x626 -x712 -x685 -x1011 -x1034 -x941 -x970 -x889 -x921 
1521.11/1521.58	v -x849 -x872 -x810 -x827 -x758 -x781 -x721 -x741 -x1428 -x1402 -x1298 -x554 -x2856 -x2043 -x354 x1087 -x2916 x123 -x818 -x2033 
1521.11/1521.58	v -x2929 -x569 -x2739 -x2760 -x2788 -x2814 -x2472 -x2443 -x2533 -x2505 -x1849 -x1873 -x1981 -x2003 -x1947 -x1967 -x1726 -x1704 
1521.11/1521.58	v -x1191 -x1210 -x1232 -x1257 -x1102 -x1117 -x1138 -x1156 -x531 -x553 -x500 -x504 -x439 -x460 -x400 -x423 -x2429 -x2399 -x2364 
1521.11/1521.58	v -x2329 -x2542 -x2512 -x2486 -x2457 -x1550 -x1518 -x1595 x1567 -x1639 -x1616 -x1693 -x1670 x2589 -x2514 -x2527 -x2433 -x218 
1521.11/1521.58	v -x245 -x268 -x304 -x491 -x935 -x965 -x885 -x1242 -x1217 -x1193 -x2727 -x2469 -x2600 -x2626 -x2552 -x1684 -x1703 -x1724 -x1754 
1521.11/1521.58	v -x1994 -x1572 -x2216 -x97 x1301 -x1930 -x675 -x1387 -x1627 -x2407 x346 -x1068 -x2266 -x2362 -x2333 -x2431 -x1519 -x1487 x1461 
1521.11/1521.58	v -x1638 -x2115 -x821 -x802 -x859 -x1302 -x1328 -x1346 -x166 -x641 -x583 -x603 -x541 -x340 -x317 -x295 -x261 -x2989 -x2186 -x1420 
1521.11/1521.58	v -x693 x2953 -x2151 -x2109 -x2120 -x1890 -x1916 -x1275 x1296 -x1322 -x1336 -x625 -x649 -x572 -x612 -x2682 -x2662 -x2723 -x2708 
1521.11/1521.58	v -x2608 -x2632 -x1918 -x1896 -x1797 -x1820 -x1748 -x1772 -x2358 -x2270 -x2303 -x2215 -x2242 -x2607 -x2636 -x2556 -x2583 
1521.11/1521.58	v -x2495 -x2525 -x2435 -x2481 -x2799 -x2774 -x2754 -x2734 -x2716 -x2699 -x2679 -x2656 -x2992 -x2972 -x2949 -x2923 -x2901 -x2878 
1521.11/1521.58	v -x2852 -x2850 -x2829 -x13 -x35 -x60 -x84 -x96 -x116 -x142 -x165 -x199 -x228 -x250 -x276 -x302 -x320 -x328 -x349 -x393 -x376 
1521.11/1521.58	v -x434 -x409 -x476 -x454 -x522 -x502 -x551 -x530 -x595 -x571 -x648 -x624 -x628 -x710 -x689 -x768 -x34 -x59 -x83 -x95 -x115 -x141 
1521.11/1521.58	v -x164 -x198 -x227 -x249 -x275 -x301 -x319 -x327 -x348 -x392 -x375 -x433 -x408 -x475 -x453 -x521 -x501 -x550 -x529 -x594 -x570 
1521.11/1521.58	v -x647 -x623 -x627 -x709 -x688 -x767 -x780 -x720 -x740 -x841 -x864 -x798 -x817 -x959 -x985 -x906 -x934 -x1066 -x1089 -x1014 
1521.11/1521.58	v -x1033 -x1166 -x1153 -x1129 -x1111 -x1269 -x1237 -x1212 -x1189 -x1332 -x1318 -x1295 -x1278 -x1413 -x1430 -x1401 -x1382 -x687 
1521.11/1521.58	v -x766 -x779 -x719 -x739 -x840 -x863 -x797 -x816 -x958 -x984 -x905 -x933 -x1065 -x1088 -x1013 -x1032 -x1165 -x1152 -x1128 -x1110 
1521.11/1521.58	v -x1268 -x1236 -x1211 -x1188 -x1331 -x1317 -x1294 -x1277 -x1412 -x1429 -x1400 -x1381 -x1365 -x2905 -x2881 -x2860 -x2840 -x2991 
1521.11/1521.58	v -x2971 -x2948 -x2928 -x2713 -x2696 -x2671 -x2649 -x2810 -x2783 -x2765 -x2740 -x2501 -x2529 -x2444 -x2474 -x2604 -x2633 
1521.11/1521.58	v -x2554 -x2581 -x2264 -x2293 -x2208 -x2243 -x2231 -x2372 -x1399 -x1379 -x1364 -x2904 -x2880 -x2859 -x2839 -x2990 -x2970 -x2947 
1521.11/1521.58	v -x2927 -x2712 -x2695 -x2670 -x2650 -x2811 -x2784 -x2766 -x2741 -x2502 -x2530 -x2445 -x2475 -x2605 -x2634 -x2555 -x2582 -x2265 
1521.11/1521.58	v -x2294 -x2209 -x2244 -x2232 -x2373 -x2402 -x2308 -x2343 -x2039 x2022 -x2084 -x2066 -x2129 -x2105 -x2183 -x2153 -x1866 -x1850 
1521.11/1521.58	v -x1905 -x1893 -x1964 -x1944 -x2008 -x1984 -x1655 -x1680 -x1707 -x1731 -x1752 -x1775 -x1794 -x1822 -x1456 -x1485 -x1520 -x1492 
1521.11/1521.58	v -x2233 -x2374 -x2403 -x2309 -x2344 -x2040 -x2023 -x2085 -x2067 -x2130 -x2106 -x2184 -x2154 -x1867 -x1851 -x1906 -x1894 -x1965 
1521.11/1521.58	v -x1945 -x2009 -x1985 -x1656 -x1681 -x1708 -x1732 -x1753 -x1776 -x1795 -x1823 -x1457 -x1486 -x1521 -x1493 -x1525 -x1563 -x1587 
1521.11/1521.58	v -x1611 -x1636 -x1418 -x1393 -x1369 -x1348 -x1329 -x1314 -x1292 -x1273 -x1260 -x1238 -x1208 -x1185 -x1158 -x1136 -x1119 -x1100 
1521.11/1521.58	v -x1071 -x1097 -x1015 -x1041 -x956 -x992 -x903 -x929 -x834 -x855 -x1522 -x1494 -x1526 -x1564 -x1588 -x1612 -x1637 -x1419 
1521.11/1521.58	v -x1394 -x1370 -x1349 -x1330 -x1315 -x1293 -x1274 -x1261 -x1239 -x1209 -x1186 -x1159 -x1137 -x1120 -x1101 -x1072 -x1098 -x1016 
1521.11/1521.58	v -x1042 -x957 -x993 -x904 -x930 -x835 -x856 -x877 -x812 -x832 -x774 -x790 -x728 -x749 -x643 -x620 -x701 -x676 -x549 -x532 -x593 
1521.11/1521.58	v -x573 -x480 -x438 -x506 -x483 -x385 -x370 -x420 -x399 -x298 -x322 -x342 -x363 -x197 -x220 -x248 -x277 -x2508 -x2338 -x466 
1521.11/1521.58	v -x486 -x1125 -x1225 x1963 -x1977 -x1709 -x2797 -x2497 -x2461 -x2813 -x2782 -x2442 -x2468 -x2002 -x1983 -x1966 -x1942 -x1256 
1521.11/1521.58	v -x1233 -x1116 -x1104 -x503 -x482 -x459 x441 -x1290 -x1283 -x1252 -x1226 -x558 -x534 -x604 -x582 -x2127 -x1025 -x994 -x1080 -x1052 
1521.11/1521.58	v -x920 -x890 -x969 -x1126 -x1151 x1175 -x357 -x335 -x312 -x292 -x264 -x474 -x407 -x432 -x371 -x386 -x2477 -x2448 -x2536 -x2678 
1521.11/1521.58	v -x2698 -x2715 -x2733 -x2759 -x2778 -x2803 -x1744 -x2137 -x1877 -x1900 -x1847 -x1859 -x1972 -x1992 -x1925 -x1106 -x1155 
1521.11/1521.58	v -x1143 -x1377 -x1356 -x1434 -x1397 -x1308 -x2354 -x2318 -x2539 -x2509 -x2476 -x2449 -x2446 -x2625 -x1578 -x1552 -x1630 -x1604 
1521.11/1521.58	v x1700 -x1676 -x1745 -x1729 -x830 -x811 -x794 -x776 -x752 -x731 -x1079 -x1053 -x129 -x108 -x176 -x155 -x41 -x24 -x85 -x63 -x577 
1521.11/1521.58	v -x600 -x2492 -x2523 -x2438 -x2464 -x2603 -x2638 -x2812 -x2785 -x2762 -x2744 -x1664 -x1687 -x1712 -x1736 -x1468 -x1495 x1527 
1521.11/1521.58	v -x1765 -x686 -x564 -x543 -x609 -x1403 -x1380 -x1360 -x1337 -x2048 -x2030 -x2014 -x2074 -x1606 -x1632 -x1645 -x2886 -x2382 -x2411 
1521.11/1521.58	v -x2320 -x2324 -x846 x755 -x733 -x795 -x765 -x2057 -x2075 -x2012 -x1500 -x1470 -x1443 -x1631 -x1607 -x1599 -x1576 -x2828 
1521.11/1521.58	v -x2622 -x2224 -x2198 -x2278 -x2252 -x2355 -x2325 -x2419 -x2596 -x2620 -x2647 -x2195 -x2220 -x2255 -x2287 -x2328 -x1699 -x1809 
1521.11/1521.58	v -x1832 -x1759 -x1785 -x1503 -x1533 -x1446 -x1029 -x1049 -x1078 -x894 -x919 -x946 -x979 -x807 -x1799 -x1490 -x1460 -x1543 -x953 
1521.11/1521.58	v -x927 -x900 -x858 -x345 -x221 -x202 x273 -x2281 -x2197 -x2226 -x2383 -x2922 -x1441 -x1471 -x1506 -x2172 -x2182 -x2155 -x848 
1521.11/1521.58	v -x2417 -x2387 -x2221 -x2189 x1649 -x1624 -x1582 -x1559 -x1409 -x1435 -x744 -x732 -x680 -x702 -x636 -x661 -x2340 -x2310 -x2288 
1521.11/1521.58	v -x2260 -x1589 -x1562 -x1634 -x1615 -x1750 -x1819 -x1796 -x1688 -x1666 -x1737 -x1714 -x1600 -x2686 -x2635 -x2606 -x2578 -x2559 
1521.11/1521.58	v x2524 -x2494 -x2466 -x471 -x487 -x512 -x226 -x200 -x278 -x247 -x318 -x1127 -x1245 -x1247 -x1182 -x1201 -x989 -x954 -x932 
1521.11/1521.58	v -x2102 -x2171 -x2142 -x2042 -x2024 -x2092 -x2065 -x1554 -x2666 -x2976 -x2958 -x2933 -x2926 -x2895 -x2872 -x2857 -x110 -x178 
1521.11/1521.58	v -x2580 -x2498 -x1774 -x1798 -x815 -x955 -x120 -x146 -x2063 x2138 -x616 -x1353 -x1941 -x2747 x972 -x265 -x310 -x288 -x91 -x77 
1521.11/1521.58	v -x56 -x31 -x5 -x163 -x145 -x126 -x101 -x2913 -x2932 x2957 -x2981 -x2833 -x2482 -x2450 -x2543 -x2518 -x2493 -x2367 -x2336 -x2427 
1521.11/1521.58	v -x2398 -x2239 -x2206 -x2298 -x2277 -x2147 -x2169 -x2101 -x1788 -x1770 -x1741 -x1715 -x1695 -x1692 -x1665 -x1644 -x1621 -x1594 
1521.11/1521.58	v -x1571 -x1549 -x1515 -x1481 -x1452 -x1132 -x716 -x743 -x762 -x783 -x806 -x823 -x831 -x847 -x870 -x893 -x917 -x944 -x977 -x998 
1521.11/1521.58	v -x1040 -x1056 -x659 -x635 -x62 -x78 -x15 -x37 -x137 -x157 -x177 -x106 -x134 -x236 -x258 -x186 -x211 -x331 -x2845 -x2825 
1521.11/1521.58	v -x2893 -x2869 -x2322 -x2356 -x2390 -x2421 -x2410 -x2196 -x2227 -x2251 -x2284 -x2569 -x2594 -x2623 -x2648 -x2619 -x2593 -x2570 
1521.11/1521.58	v -x2285 -x2256 -x2249 -x2213 -x1746 -x1722 -x1783 -x1762 -x1830 -x1806 x1474 -x1447 -x1075 -x1050 -x1027 -x1000 -x974 -x948 -x913 
1521.11/1521.58	v -x886 -x413 -x424 -x311 -x293 -x359 -x336 -x212 -x182 -x2974 -x2951 -x2939 -x2914 -x2267 -x2292 -x2202 -x2241 -x2079 -x2056 
1521.11/1521.58	v -x2119 -x2094 -x2164 -x2140 -x1458 -x1489 -x1677 -x1626 -x1609 -x1579 -x1553 -x1537 -x1496 -x1467 -x2447 -x2538 -x2510 -x2351 
1521.11/1521.58	v -x2321 -x2412 -x2377 -x2228 -x183 -x358 -x334 -x314 -x291 -x89 -x70 -x42 -x898 -x978 -x945 -x1022 -x999 -x1077 -x1048 -x757 
1521.11/1521.58	v -x2612 -x2657 -x2685 -x2705 -x2721 -x2749 -x2769 -x2795 -x1813 -x1787 x1767 -x1898 -x1921 -x1855 -x1874 -x1978 -x294 -x2319 
1521.11/1521.58	v -x1555 -x1423 x668 -x52 -x1230 -x402 x2787 -x1727 -x852 -x71 -x1057 -x332 -x1872 x2674 -x184 -x887 -x2801 -x2777 -x2753 -x2729 
1521.11/1521.58	v -x1897 -x1878 -x1955 -x1933 -x1222 -x1206 -x1214 x1197 -x586 -x465 -x442 -x455 -x1476 -x1501 -x1531 -x1761 -x2350 -x2254 
1521.11/1521.58	v -x2286 -x2194 x9 x8 x7 x6 x4 x1 
1521.11/1521.58	c SCIP Status        : problem is solved [optimal solution found]
1521.11/1521.58	c Solving Time       :    1507.72
1521.11/1521.58	c Original Problem   :
1521.11/1521.58	c   Problem name     : HOME/instance-2663398-1276687875.opb
1521.11/1521.58	c   Variables        : 2994 (2994 binary, 0 integer, 0 implicit integer, 0 continuous)
1521.11/1521.58	c   Constraints      : 3433 initial, 3433 maximal
1521.11/1521.58	c Presolved Problem  :
1521.11/1521.58	c   Problem name     : t_HOME/instance-2663398-1276687875.opb
1521.11/1521.58	c   Variables        : 2988 (2988 binary, 0 integer, 0 implicit integer, 0 continuous)
1521.11/1521.58	c   Constraints      : 444 initial, 3416 maximal
1521.11/1521.58	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1521.11/1521.58	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1521.11/1521.58	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1521.11/1521.58	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1521.11/1521.58	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1521.11/1521.58	c   implics          :       0.00          0          0          0          0          0          0          0          0
1521.11/1521.58	c   probing          :       0.16          0          0          0          0          0          0          0          0
1521.11/1521.58	c   knapsack         :       0.26          0          0          0          0          0          0          0          0
1521.11/1521.58	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1521.11/1521.58	c   linear           :       0.06          6          0          0          6          0       2989          0          0
1521.11/1521.58	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1521.11/1521.58	c   root node        :          -          0          -          -          0          -          -          -          -
1521.11/1521.58	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1521.11/1521.58	c   integral         :          0          0          0          0          0          0          0          0          0          0
1521.11/1521.58	c   knapsack         :        384          0     909305          0     644003      10025    6931089          0          0          0
1521.11/1521.58	c   setppc           :         60          0     899279          0     644002       3079     187739          0          0          0
1521.11/1521.58	c   logicor          :          0+         0      97133          0          0         96      14971          0          0          0
1521.11/1521.58	c   countsols        :          0          0          0          0     644003          0          0          0          0          0
1521.11/1521.58	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1521.11/1521.58	c   integral         :       0.00       0.00       0.00       0.00       0.00
1521.11/1521.58	c   knapsack         :     849.19       0.00     127.75       0.00     721.44
1521.11/1521.58	c   setppc           :      99.69       0.00       8.71       0.00      90.98
1521.11/1521.58	c   logicor          :       4.42       0.00       4.42       0.00       0.00
1521.11/1521.58	c   countsols        :       0.31       0.00       0.00       0.00       0.31
1521.11/1521.58	c Propagators        :       Time      Calls    Cutoffs    DomReds
1521.11/1521.58	c   vbounds          :       0.50          2          0          0
1521.11/1521.58	c   rootredcost      :       0.75          0          0          0
1521.11/1521.58	c   pseudoobj        :       0.54          0          0          0
1521.11/1521.58	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1521.11/1521.58	c   propagation      :      19.00      13200      13200     209262      152.1        303       58.1          -
1521.11/1521.58	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1521.11/1521.58	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1521.11/1521.58	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1521.11/1521.58	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1521.11/1521.58	c   applied globally :          -          -          -      80334      102.4          -          -          -
1521.11/1521.58	c   applied locally  :          -          -          -          0        0.0          -          -          -
1521.11/1521.58	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1521.11/1521.58	c   cut pool         :       0.00          0          -          -          0          -    (maximal pool size: 0)
1521.11/1521.58	c   redcost          :       0.00          0          0          0          0          0
1521.11/1521.58	c   impliedbounds    :       0.00          0          0          0          0          0
1521.11/1521.58	c   intobj           :       0.00          0          0          0          0          0
1521.11/1521.58	c   cgmip            :       0.00          0          0          0          0          0
1521.11/1521.58	c   gomory           :       0.00          0          0          0          0          0
1521.11/1521.58	c   strongcg         :       0.00          0          0          0          0          0
1521.11/1521.58	c   cmir             :       0.00          0          0          0          0          0
1521.11/1521.58	c   flowcover        :       0.00          0          0          0          0          0
1521.11/1521.58	c   clique           :       0.00          0          0          0          0          0
1521.11/1521.58	c   zerohalf         :       0.00          0          0          0          0          0
1521.11/1521.58	c   mcf              :       0.00          0          0          0          0          0
1521.11/1521.58	c   rapidlearning    :       0.00          0          0          0          0          0
1521.11/1521.58	c Pricers            :       Time      Calls       Vars
1521.11/1521.58	c   problem variables:       0.00          0          0
1521.11/1521.58	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1521.11/1521.58	c   relpscost        :       0.00          0          0          0          0          0          0
1521.11/1521.58	c   pscost           :       0.00          0          0          0          0          0          0
1521.11/1521.58	c   inference        :     483.40     644002          0          0          0          0    1288004
1521.11/1521.58	c   mostinf          :       0.00          0          0          0          0          0          0
1521.11/1521.58	c   leastinf         :       0.00          0          0          0          0          0          0
1521.11/1521.58	c   fullstrong       :       0.00          0          0          0          0          0          0
1521.11/1521.58	c   allfullstrong    :       0.00          0          0          0          0          0          0
1521.11/1521.58	c   random           :       0.00          0          0          0          0          0          0
1521.11/1521.58	c Primal Heuristics  :       Time      Calls      Found
1521.11/1521.58	c   LP solutions     :       0.00          -          0
1521.11/1521.58	c   pseudo solutions :       1.10          -          1
1521.11/1521.58	c   oneopt           :       0.44          0          0
1521.11/1521.58	c   trivial          :       0.01          2          0
1521.11/1521.58	c   simplerounding   :       0.00          0          0
1521.11/1521.58	c   zirounding       :       0.00          0          0
1521.11/1521.58	c   rounding         :       0.00          0          0
1521.11/1521.58	c   shifting         :       0.00          0          0
1521.11/1521.58	c   intshifting      :       0.00          0          0
1521.11/1521.58	c   twoopt           :       0.00          0          0
1521.11/1521.58	c   fixandinfer      :       0.00          0          0
1521.11/1521.58	c   feaspump         :       0.00          0          0
1521.11/1521.58	c   coefdiving       :       0.00          0          0
1521.11/1521.58	c   pscostdiving     :       0.00          0          0
1521.11/1521.58	c   fracdiving       :       0.00          0          0
1521.11/1521.58	c   veclendiving     :       0.00          0          0
1521.11/1521.58	c   intdiving        :       0.00          0          0
1521.11/1521.58	c   actconsdiving    :       0.00          0          0
1521.11/1521.58	c   objpscostdiving  :       0.00          0          0
1521.11/1521.58	c   rootsoldiving    :       0.00          0          0
1521.11/1521.58	c   linesearchdiving :       0.00          0          0
1521.11/1521.58	c   guideddiving     :       0.00          0          0
1521.11/1521.58	c   octane           :       0.00          0          0
1521.11/1521.58	c   rens             :       0.00          0          0
1521.11/1521.58	c   rins             :       0.00          0          0
1521.11/1521.58	c   localbranching   :       0.00          0          0
1521.11/1521.58	c   mutation         :       0.00          0          0
1521.11/1521.58	c   crossover        :       0.00          0          0
1521.11/1521.58	c   dins             :       0.00          0          0
1521.11/1521.58	c   undercover       :       0.00          0          0
1521.11/1521.58	c   nlp              :       0.62          0          0
1521.11/1521.58	c   trysol           :       0.23          0          0
1521.11/1521.58	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1521.11/1521.58	c   primal LP        :       0.00          0          0       0.00          -
1521.11/1521.58	c   dual LP          :       0.00          0          0       0.00          -
1521.11/1521.58	c   lex dual LP      :       0.00          0          0       0.00          -
1521.11/1521.58	c   barrier LP       :       0.00          0          0       0.00          -
1521.11/1521.58	c   diving/probing LP:       0.00          0          0       0.00          -
1521.11/1521.58	c   strong branching :       0.00          0          0       0.00          -
1521.11/1521.58	c     (at root node) :          -          0          0       0.00          -
1521.11/1521.58	c   conflict analysis:       0.00          0          0       0.00          -
1521.11/1521.58	c B&B Tree           :
1521.11/1521.58	c   number of runs   :          1
1521.11/1521.58	c   nodes            :     652189
1521.11/1521.58	c   nodes (total)    :     652189
1521.11/1521.58	c   nodes left       :          0
1521.11/1521.58	c   max depth        :       2355
1521.11/1521.58	c   max depth (total):       2355
1521.11/1521.58	c   backtracks       :       5099 (0.8%)
1521.11/1521.58	c   delayed cutoffs  :       7243
1521.11/1521.58	c   repropagations   :      42874 (665713 domain reductions, 5014 cutoffs)
1521.11/1521.58	c   avg switch length:       2.78
1521.11/1521.58	c   switching time   :      35.25
1521.11/1521.58	c Solution           :
1521.11/1521.58	c   Solutions found  :          1 (1 improvements)
1521.11/1521.58	c   First Solution   : +6.00000000000000e+00   (in run 1, after 652189 nodes, 1506.61 seconds, depth 578, found by <relaxation>)
1521.11/1521.58	c   Primal Bound     : +6.00000000000000e+00   (in run 1, after 652189 nodes, 1506.61 seconds, depth 578, found by <relaxation>)
1521.11/1521.58	c   Dual Bound       : +6.00000000000000e+00
1521.11/1521.58	c   Gap              :       0.00 %
1521.11/1521.58	c   Root Dual Bound  : +6.00000000000000e+00
1521.11/1521.58	c   Root Iterations  :          0
1521.21/1521.68	c Time complete: 1521.29.

Verifier Data 

OK	6

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2663398-1276687875/watcher-2663398-1276687875 -o /tmp/evaluation-result-2663398-1276687875/solver-2663398-1276687875 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663398-1276687875.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.02 1.01 1.00 3/106 9021
/proc/meminfo: memFree=1734384/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=6584 CPUtime=0
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 1013 0 0 0 0 0 0 0 20 0 1 0 44391388 6742016 935 1992294400 4194304 7136930 140734031556144 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9021/statm: 1646 944 254 719 0 925 0

[startup+0.0266091 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 9021
/proc/meminfo: memFree=1734384/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=8928 CPUtime=0.02
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 1717 0 0 0 2 0 0 0 20 0 1 0 44391388 9142272 1639 1992294400 4194304 7136930 140734031556144 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9021/statm: 2232 1639 271 719 0 1511 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8928

[startup+0.101616 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 9021
/proc/meminfo: memFree=1734384/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=12656 CPUtime=0.09
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 2666 0 0 0 9 0 0 0 20 0 1 0 44391388 12959744 2588 1992294400 4194304 7136930 140734031556144 18446744073709551615 6269544 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9021/statm: 3164 2588 271 719 0 2443 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12656

[startup+0.301635 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 9021
/proc/meminfo: memFree=1734384/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=28376 CPUtime=0.29
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 7343 0 0 0 27 2 0 0 20 0 1 0 44391388 29057024 6331 1992294400 4194304 7136930 140734031556144 18446744073709551615 4856588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 7094 6331 360 719 0 6373 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28376

[startup+0.701673 s]
/proc/loadavg: 1.02 1.01 1.00 3/106 9021
/proc/meminfo: memFree=1734384/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=31496 CPUtime=0.69
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 8951 0 0 0 66 3 0 0 20 0 1 0 44391388 32251904 7168 1992294400 4194304 7136930 140734031556144 18446744073709551615 4858852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 7874 7168 391 719 0 7153 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31496

[startup+1.50175 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9022
/proc/meminfo: memFree=1707096/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=31632 CPUtime=1.49
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 8959 0 0 0 145 4 0 0 23 0 1 0 44391388 32391168 7176 1992294400 4194304 7136930 140734031556144 18446744073709551615 4740347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 7908 7176 397 719 0 7187 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31632

[startup+3.1019 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9022
/proc/meminfo: memFree=1706972/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=32408 CPUtime=3.09
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 9163 0 0 0 303 6 0 0 25 0 1 0 44391388 33185792 7380 1992294400 4194304 7136930 140734031556144 18446744073709551615 4858872 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 8102 7380 397 719 0 7381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32408

[startup+6.30121 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9022
/proc/meminfo: memFree=1705112/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=33180 CPUtime=6.29
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 9378 0 0 0 620 9 0 0 25 0 1 0 44391388 33976320 7595 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 8295 7595 397 719 0 7574 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33180

[startup+12.7008 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9022
/proc/meminfo: memFree=1702756/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=35588 CPUtime=12.68
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 9986 0 0 0 1254 14 0 0 25 0 1 0 44391388 36442112 8203 1992294400 4194304 7136930 140734031556144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 8897 8203 397 719 0 8176 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35588

[startup+25.501 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 9022
/proc/meminfo: memFree=1699036/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=39400 CPUtime=25.49
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 10895 0 0 0 2523 26 0 0 25 0 1 0 44391388 40345600 9112 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 9850 9112 397 719 0 9129 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39400

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9022
/proc/meminfo: memFree=1688372/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=50928 CPUtime=51.08
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 13580 0 0 0 5057 51 0 0 25 0 1 0 44391388 52150272 11797 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 12732 11797 397 719 0 12011 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 50928

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9024
/proc/meminfo: memFree=1666424/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=73672 CPUtime=102.27
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 18967 0 0 0 10130 97 0 0 25 0 1 0 44391388 75440128 17184 1992294400 4194304 7136930 140734031556144 18446744073709551615 4740387 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 18418 17184 397 719 0 17697 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73672

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9026
/proc/meminfo: memFree=1647328/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=94804 CPUtime=162.25
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 23816 0 0 0 16077 148 0 0 25 0 1 0 44391388 97079296 22033 1992294400 4194304 7136930 140734031556144 18446744073709551615 4414768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 23701 22033 397 719 0 22980 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 94804

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9028
/proc/meminfo: memFree=1627116/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=117980 CPUtime=222.23
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 28761 0 0 0 22025 198 0 0 25 0 1 0 44391388 120811520 26978 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 29495 26978 397 719 0 28774 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 117980

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9028
/proc/meminfo: memFree=1603804/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=142988 CPUtime=282.22
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 34635 0 0 0 27972 250 0 0 25 0 1 0 44391388 146419712 32852 1992294400 4194304 7136930 140734031556144 18446744073709551615 4858852 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 35747 32852 397 719 0 35026 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 142988

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9030
/proc/meminfo: memFree=1585824/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=160840 CPUtime=342.21
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 39026 0 0 0 33918 303 0 0 25 0 1 0 44391388 164700160 37243 1992294400 4194304 7136930 140734031556144 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 40210 37243 397 719 0 39489 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 160840

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9032
/proc/meminfo: memFree=1566356/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=181952 CPUtime=402.19
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 43909 0 0 0 39869 350 0 0 25 0 1 0 44391388 186318848 42126 1992294400 4194304 7136930 140734031556144 18446744073709551615 4225310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 45488 42126 397 719 0 44767 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 181952

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9034
/proc/meminfo: memFree=1544284/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=205260 CPUtime=462.17
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 49414 0 0 0 45817 400 0 0 25 0 1 0 44391388 210186240 47631 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 51315 47631 397 719 0 50594 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 205260

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9036
/proc/meminfo: memFree=1522212/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=233604 CPUtime=522.16
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 54899 0 0 0 51765 451 0 0 25 0 1 0 44391388 239210496 53116 1992294400 4194304 7136930 140734031556144 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 58401 53116 397 719 0 57680 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 233604

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9036
/proc/meminfo: memFree=1502372/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=254052 CPUtime=582.15
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 59812 0 0 0 57714 501 0 0 25 0 1 0 44391388 260149248 58029 1992294400 4194304 7136930 140734031556144 18446744073709551615 4858907 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 63513 58029 397 719 0 62792 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 254052

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9038
/proc/meminfo: memFree=1480920/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=277268 CPUtime=642.14
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 65131 0 0 0 63658 556 0 0 25 0 1 0 44391388 283922432 63348 1992294400 4194304 7136930 140734031556144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 69317 63348 397 719 0 68596 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 277268

[startup+702.301 s]

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

/proc/meminfo: memFree=1374280/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=388304 CPUtime=942.05
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 91673 0 0 0 93386 819 0 0 25 0 1 0 44391388 397623296 89890 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 97076 89890 397 719 0 96355 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 388304

[startup+1002.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9048
/proc/meminfo: memFree=1353448/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=408348 CPUtime=1002.04
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 96852 0 0 0 99326 878 0 0 25 0 1 0 44391388 418148352 95069 1992294400 4194304 7136930 140734031556144 18446744073709551615 4414507 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 102087 95069 397 719 0 101366 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 408348

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9050
/proc/meminfo: memFree=1331004/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=431288 CPUtime=1062.02
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 102424 0 0 0 105272 930 0 0 25 0 1 0 44391388 441638912 100641 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697669 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 107822 100641 397 719 0 107101 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 431288

[startup+1122.3 s]
/proc/loadavg: 1.05 1.01 1.00 3/107 9052
/proc/meminfo: memFree=1311164/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=459904 CPUtime=1122.01
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 107392 0 0 0 111217 984 0 0 25 0 1 0 44391388 470941696 105609 1992294400 4194304 7136930 140734031556144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 114976 105609 397 719 0 114255 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 459904

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9052
/proc/meminfo: memFree=1285248/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=488580 CPUtime=1181.99
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 113925 0 0 0 117162 1037 0 0 25 0 1 0 44391388 500305920 112142 1992294400 4194304 7136930 140734031556144 18446744073709551615 4642126 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 122145 112142 397 719 0 121424 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 488580

[startup+1242.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 9054
/proc/meminfo: memFree=1265160/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=510460 CPUtime=1241.98
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 118884 0 0 0 123111 1087 0 0 25 0 1 0 44391388 522711040 117101 1992294400 4194304 7136930 140734031556144 18446744073709551615 4854293 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 127615 117101 397 719 0 126894 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 510460

[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 9056
/proc/meminfo: memFree=1244080/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=532940 CPUtime=1301.97
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 124002 0 0 0 129059 1138 0 0 25 0 1 0 44391388 545730560 122219 1992294400 4194304 7136930 140734031556144 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 133235 122219 397 719 0 132514 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 532940

[startup+1362.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 9058
/proc/meminfo: memFree=1224736/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=552756 CPUtime=1361.95
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 128847 0 0 0 135002 1193 0 0 25 0 1 0 44391388 566022144 127064 1992294400 4194304 7136930 140734031556144 18446744073709551615 4858856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 138189 127064 397 719 0 137468 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 552756

[startup+1422.31 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 9060
/proc/meminfo: memFree=1203904/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=574928 CPUtime=1421.94
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 134033 0 0 0 140942 1252 0 0 25 0 1 0 44391388 588726272 132250 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 143732 132250 397 719 0 143011 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 574928

[startup+1482.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 9060
/proc/meminfo: memFree=1182452/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=597432 CPUtime=1481.92
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 139400 0 0 0 146889 1303 0 0 25 0 1 0 44391388 611770368 137617 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 149358 137617 397 719 0 148637 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 597432

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

[startup+1484.7 s]
/proc/loadavg: 1.08 1.04 1.00 2/107 9060
/proc/meminfo: memFree=1180716/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=599572 CPUtime=1484.32
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 139797 0 0 0 147127 1305 0 0 25 0 1 0 44391388 613961728 138014 1992294400 4194304 7136930 140734031556144 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 149893 138014 397 719 0 149172 0
Current children cumulated CPU time (s) 1484.32
Current children cumulated vsize (KiB) 599572

[startup+1497.5 s]
/proc/loadavg: 1.06 1.04 1.00 2/107 9062
/proc/meminfo: memFree=1177616/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=604176 CPUtime=1497.11
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 141047 0 0 0 148394 1317 0 0 25 0 1 0 44391388 618676224 139264 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697599 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 151044 139264 397 719 0 150323 0
Current children cumulated CPU time (s) 1497.11
Current children cumulated vsize (KiB) 604176

[startup+1510.31 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 9062
/proc/meminfo: memFree=1169556/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=610996 CPUtime=1509.92
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 142588 0 0 0 149664 1328 0 0 25 0 1 0 44391388 625659904 140805 1992294400 4194304 7136930 140734031556144 18446744073709551615 4349991 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 152749 140805 397 719 0 152028 0
Current children cumulated CPU time (s) 1509.92
Current children cumulated vsize (KiB) 610996

[startup+1516.7 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 9062
/proc/meminfo: memFree=1167448/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=613228 CPUtime=1516.31
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 143131 0 0 0 150299 1332 0 0 25 0 1 0 44391388 627945472 141348 1992294400 4194304 7136930 140734031556144 18446744073709551615 4858870 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 153307 141348 397 719 0 152586 0
Current children cumulated CPU time (s) 1516.31
Current children cumulated vsize (KiB) 613228

[startup+1519.9 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 9062
/proc/meminfo: memFree=1166704/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=614768 CPUtime=1519.51
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 143466 0 0 0 150616 1335 0 0 25 0 1 0 44391388 629522432 141683 1992294400 4194304 7136930 140734031556144 18446744073709551615 4697655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 153692 141683 397 719 0 152971 0
Current children cumulated CPU time (s) 1519.51
Current children cumulated vsize (KiB) 614768

[startup+1520.7 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 9062
/proc/meminfo: memFree=1165836/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=614900 CPUtime=1520.3
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 143523 0 0 0 150695 1335 0 0 25 0 1 0 44391388 629657600 141740 1992294400 4194304 7136930 140734031556144 18446744073709551615 6165646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 153725 141740 397 719 0 153004 0
Current children cumulated CPU time (s) 1520.3
Current children cumulated vsize (KiB) 614900

[startup+1521.1 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 9062
/proc/meminfo: memFree=1165836/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=614900 CPUtime=1520.7
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 143523 0 0 0 150735 1335 0 0 25 0 1 0 44391388 629657600 141740 1992294400 4194304 7136930 140734031556144 18446744073709551615 4670079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 153725 141740 397 719 0 153004 0
Current children cumulated CPU time (s) 1520.7
Current children cumulated vsize (KiB) 614900

[startup+1521.5 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 9062
/proc/meminfo: memFree=1165836/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=594820 CPUtime=1521.11
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 143523 0 0 0 150775 1336 0 0 25 0 1 0 44391388 609095680 136999 1992294400 4194304 7136930 140734031556144 18446744073709551615 4616445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9021/statm: 148705 136999 397 719 0 147984 0
Current children cumulated CPU time (s) 1521.11
Current children cumulated vsize (KiB) 594820

[startup+1521.6 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 9062
/proc/meminfo: memFree=1165836/2059040 swapFree=4140408/4192956
[pid=9021] ppid=9019 vsize=492600 CPUtime=1521.21
/proc/9021/stat : 9021 (pbscip.linux.x8) R 9019 9021 8861 0 -1 4202496 143538 0 0 0 150784 1337 0 0 25 0 1 0 44391388 504422400 111461 1992294400 4194304 7136930 140734031556144 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9021/statm: 123150 111461 402 719 0 122429 0
Current children cumulated CPU time (s) 1521.21
Current children cumulated vsize (KiB) 492600

Child status: 0
Real time (s): 1521.69
CPU time (s): 1521.3
CPU user time (s): 1507.87
CPU system time (s): 13.434
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 614900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1507.87
system time used= 13.434
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 4468

runsolver used 2.51862 second user time and 7.18391 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-16 13:31:15
IDJOB=2663398
IDBENCH=71842
IDSOLVER=1167
FILE ID=node004/2663398-1276687875
PBS_JOBID= 11172610
Free space on /tmp= 62564 MiB

SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2663398-1276687875/watcher-2663398-1276687875 -o /tmp/evaluation-result-2663398-1276687875/solver-2663398-1276687875 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2663398-1276687875.opb -t 1800 -m 1800

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

MD5SUM BENCH= 26c9befa85d0a0769813e718015f6caa
RANDOM SEED=1755919256

node004.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.210
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.42
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.210
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1734912 kB
Buffers:        111952 kB
Cached:         118272 kB
SwapCached:       6480 kB
Active:          98000 kB
Inactive:       146024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1734912 kB
SwapTotal:     4192956 kB
SwapFree:      4140408 kB
Dirty:            3536 kB
Writeback:          20 kB
AnonPages:       12052 kB
Mapped:          13124 kB
Slab:            58360 kB
PageTables:       4056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180988 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= 62560 MiB
End job on node004 at 2010-06-16 13:56:37