Trace number 2692968

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solverMSAT (TO) 1800.71 1800.66

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
MD5SUM0513f373de819ad63cf76545ce499638
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.029994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2913
Total number of constraints3105
Number of soft constraints2088
Number of constraints which are clauses2259
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints846
Minimum length of a constraint1
Maximum length of a constraint25
Top cost 104380
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 104379
Biggest number in a constraint 6518
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 18803
Number of bits of the biggest sum of numbers15
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: Clp 1.11.1] [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-2692968-1277912996.wbo>
0.00/0.05	c original problem has 7089 variables (5001 bin, 0 int, 0 impl, 2088 cont) and 5194 constraints
0.00/0.05	c problem read
0.00/0.05	c presolving settings loaded
0.06/0.08	c presolving:
0.06/0.09	c (round 1) 7 del vars, 1 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.06/0.09	c (round 2) 7 del vars, 15 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.11	c (round 3) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 3764 impls, 0 clqs
0.09/0.13	c (round 4) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 1003 upgd conss, 3764 impls, 0 clqs
0.09/0.14	c (round 5) 7 del vars, 15 del conss, 2088 chg bounds, 514 chg sides, 1028 chg coeffs, 1004 upgd conss, 3889 impls, 0 clqs
0.19/0.20	c    (0.1s) probing: 102/4994 (2.0%) - 0 fixings, 0 aggregations, 2 implications, 0 bound changes
0.19/0.20	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.20	c presolving (6 rounds):
0.19/0.20	c  7 deleted vars, 15 deleted constraints, 2088 tightened bounds, 0 added holes, 514 changed sides, 1028 changed coefficients
0.19/0.20	c  3904 implications, 0 cliques
0.19/0.20	c presolved problem has 7082 variables (4994 bin, 0 int, 0 impl, 2088 cont) and 5179 constraints
0.19/0.20	c    2088 constraints of type <indicator>
0.19/0.20	c       1 constraints of type <varbound>
0.19/0.20	c     280 constraints of type <knapsack>
0.19/0.20	c    2087 constraints of type <linear>
0.19/0.20	c     723 constraints of type <logicor>
0.19/0.20	c transformed objective value is always integral (scale: 1)
0.19/0.20	c Presolving Time: 0.12
0.19/0.20	c - non default parameters ----------------------------------------------------------------------
0.19/0.20	c # SCIP version 1.2.1.2
0.19/0.20	c 
0.19/0.20	c # frequency for displaying node information lines
0.19/0.20	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.20	c display/freq = 10000
0.19/0.20	c 
0.19/0.20	c # maximal time in seconds to run
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/time = 1799.95
0.19/0.20	c 
0.19/0.20	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.20	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.20	c limits/memory = 3420
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify inequalities
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/linear/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # should presolving try to simplify knapsacks
0.19/0.20	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.20	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.20	c 
0.19/0.20	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.20	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.20	c separating/rapidlearning/freq = 0
0.19/0.20	c 
0.19/0.20	c -----------------------------------------------------------------------------------------------
0.19/0.20	c start solving
0.19/0.20	c 
0.19/0.22	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.19/0.22	c   0.1s|     1 |     0 |   137 |     - |  24M|   0 | 114 |7082 |5179 |7082 |1003 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.35	c   0.3s|     1 |     0 |   410 |     - |  24M|   0 | 296 |7082 |5179 |7082 |1271 | 268 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.49/0.55	c   0.5s|     1 |     0 |   708 |     - |  25M|   0 | 458 |7082 |5179 |7082 |1485 | 482 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.84	c   0.8s|     1 |     0 |   971 |     - |  25M|   0 | 548 |7082 |5179 |7082 |1679 | 676 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.19/1.21	c   1.1s|     1 |     0 |  1229 |     - |  25M|   0 | 634 |7082 |5179 |7082 |1855 | 852 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.59/1.68	c   1.6s|     1 |     0 |  1604 |     - |  26M|   0 | 735 |7082 |5179 |7082 |2002 | 999 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.29/2.32	c   2.2s|     1 |     0 |  2186 |     - |  26M|   0 | 772 |7082 |5179 |7082 |2151 |1148 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.29/2.33	o 104284
2.29/2.33	c y 2.2s|     1 |     0 |  2186 |     - |  26M|   0 | 772 |7082 |5179 |7082 |2151 |1148 |   0 |   0 | 0.000000e+00 | 1.042840e+05 |    Inf 
3.20/3.24	c   3.1s|     1 |     2 |  2186 |     - |  27M|   0 | 772 |7082 |5179 |7082 |2151 |1148 |   0 |  28 | 0.000000e+00 | 1.042840e+05 |    Inf 
155.10/155.14	c   150s| 10000 |  9990 |253414 |  25.1 |  59M| 293 | 174 |7082 |5281 |7082 |1950 |1148 | 107 |4994 | 0.000000e+00 | 1.042840e+05 |    Inf 
204.30/204.35	c   199s| 20000 | 19990 |308810 |  15.3 |  90M| 497 |  75 |7082 |5280 |7082 |1950 |1148 | 112 |5721 | 0.000000e+00 | 1.042840e+05 |    Inf 
245.10/245.15	c   238s| 30000 | 29986 |342496 |  11.3 | 116M| 703 |   8 |7082 |5279 |7082 |1950 |1276 | 114 |7114 | 0.000000e+00 | 1.042840e+05 |    Inf 
278.70/278.79	c   271s| 40000 | 39964 |355980 |   8.8 | 144M|1227 |   0 |7082 |5289 |7082 |1990 |1902 | 127 |7340 | 0.000000e+00 | 1.042840e+05 |    Inf 
310.70/310.70	c   302s| 50000 | 49964 |363086 |   7.2 | 171M|1227 |   0 |7082 |5285 |7082 |1987 |2566 | 127 |7397 | 0.000000e+00 | 1.042840e+05 |    Inf 
342.80/342.87	c   333s| 60000 | 59964 |370267 |   6.1 | 199M|1227 |   0 |7082 |5283 |7082 |1987 |3224 | 127 |7446 | 0.000000e+00 | 1.042840e+05 |    Inf 
374.70/374.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
374.70/374.77	c   364s| 70000 | 69964 |378057 |   5.4 | 226M|1227 |   0 |7082 |5280 |7082 |1985 |3823 | 127 |7506 | 0.000000e+00 | 1.042840e+05 |    Inf 
407.10/407.10	c   395s| 80000 | 79964 |385476 |   4.8 | 253M|1227 |  17 |7082 |5280 |7082 |1950 |4478 | 127 |7620 | 0.000000e+00 | 1.042840e+05 |    Inf 
438.81/438.89	c   426s| 90000 | 89964 |393095 |   4.3 | 280M|1227 |   0 |7082 |5280 |7082 |1986 |5122 | 127 |7666 | 0.000000e+00 | 1.042840e+05 |    Inf 
470.71/470.80	c   457s|100000 | 99964 |400692 |   4.0 | 307M|1227 |   0 |7082 |5278 |7082 |1989 |5750 | 127 |7725 | 0.000000e+00 | 1.042840e+05 |    Inf 
502.71/502.75	c   488s|110000 |109964 |409759 |   3.7 | 335M|1227 |   0 |7082 |5277 |7082 |1988 |6360 | 127 |7772 | 0.000000e+00 | 1.042840e+05 |    Inf 
534.71/534.73	c   519s|120000 |119962 |419640 |   3.5 | 362M|1227 |  30 |7082 |5278 |7082 |1950 |6979 | 128 |7811 | 0.000000e+00 | 1.042840e+05 |    Inf 
569.41/569.48	c   552s|130000 |129958 |440081 |   3.4 | 389M|1227 |   0 |7082 |5279 |7082 |1987 |7513 | 130 |8649 | 0.000000e+00 | 1.042840e+05 |    Inf 
601.21/601.27	c   583s|140000 |139956 |449452 |   3.2 | 416M|1227 |   0 |7082 |5280 |7082 |1986 |8132 | 131 |8683 | 0.000000e+00 | 1.042840e+05 |    Inf 
633.91/633.92	c   615s|150000 |149948 |461251 |   3.1 | 443M|1227 |   0 |7082 |5284 |7082 |1990 |8735 | 135 |9039 | 0.000000e+00 | 1.042840e+05 |    Inf 
665.52/665.56	c   646s|160000 |159946 |471290 |   2.9 | 470M|1227 |  44 |7082 |5285 |7082 |1950 |9334 | 136 |9098 | 0.000000e+00 | 1.042840e+05 |    Inf 
697.22/697.26	c   676s|170000 |169946 |481546 |   2.8 | 497M|1227 |   2 |7082 |5285 |7082 |1982 |9975 | 136 |9181 | 0.000000e+00 | 1.042840e+05 |    Inf 
728.91/728.96	c   707s|180000 |179944 |491128 |   2.7 | 524M|1227 |   0 |7082 |5286 |7082 |1988 |  10k| 137 |9297 | 0.000000e+00 | 1.042840e+05 |    Inf 
760.32/760.37	c   738s|190000 |189944 |500726 |   2.6 | 551M|1227 |   0 |7082 |5285 |7082 |1985 |  11k| 137 |9404 | 0.000000e+00 | 1.042840e+05 |    Inf 
791.51/791.53	c   768s|200000 |199944 |510763 |   2.5 | 578M|1227 |  55 |7082 |5285 |7082 |1950 |  11k| 137 |9438 | 0.000000e+00 | 1.042840e+05 |    Inf 
823.92/823.96	c   799s|210000 |209944 |521400 |   2.5 | 605M|1227 |  19 |7082 |5285 |7082 |1950 |  12k| 137 |9833 | 0.000000e+00 | 1.042840e+05 |    Inf 
855.11/855.13	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
855.11/855.13	c   829s|220000 |219944 |533628 |   2.4 | 632M|1227 |   0 |7082 |5285 |7082 |1980 |  12k| 137 |9944 | 0.000000e+00 | 1.042840e+05 |    Inf 
888.21/888.25	c   861s|230000 |229940 |548475 |   2.4 | 659M|1227 |   0 |7082 |5289 |7082 |1981 |  13k| 142 |  10k| 0.000000e+00 | 1.042840e+05 |    Inf 
919.53/919.54	c   892s|240000 |239936 |562652 |   2.3 | 685M|1227 |  81 |7082 |5293 |7082 |1950 |  13k| 146 |  10k| 0.000000e+00 | 1.042840e+05 |    Inf 
950.62/950.62	c   922s|250000 |249934 |578426 |   2.3 | 712M|1227 |  35 |7082 |5293 |7082 |1950 |  14k| 147 |  10k| 0.000000e+00 | 1.042840e+05 |    Inf 
981.43/981.40	c   952s|260000 |259934 |595132 |   2.3 | 739M|1227 |   1 |7082 |5289 |7082 |1950 |  14k| 147 |  10k| 0.000000e+00 | 1.042840e+05 |    Inf 
1012.52/1012.54	c   982s|270000 |269934 |612533 |   2.3 | 766M|1227 |   0 |7082 |5287 |7082 |1981 |  15k| 147 |  11k| 0.000000e+00 | 1.042840e+05 |    Inf 
1043.53/1043.58	c  1012s|280000 |279934 |631739 |   2.2 | 792M|1227 | 107 |7082 |5286 |7082 |1950 |  15k| 147 |  11k| 0.000000e+00 | 1.042840e+05 |    Inf 
1074.52/1074.56	c  1042s|290000 |289934 |653272 |   2.2 | 819M|1227 |  42 |7082 |5285 |7082 |1950 |  16k| 147 |  11k| 0.000000e+00 | 1.042840e+05 |    Inf 
1105.63/1105.69	c  1072s|300000 |299934 |677423 |   2.3 | 846M|1227 |  13 |7082 |5285 |7082 |1950 |  16k| 147 |  11k| 0.000000e+00 | 1.042840e+05 |    Inf 
1138.23/1138.26	c  1103s|310000 |309932 |707777 |   2.3 | 872M|1227 |   0 |7082 |5285 |7082 |1980 |  17k| 149 |  11k| 0.000000e+00 | 1.042840e+05 |    Inf 
1173.22/1173.23	c  1137s|320000 |319930 |751657 |   2.3 | 899M|1227 | 168 |7082 |5284 |7082 |1950 |  17k| 150 |  12k| 0.000000e+00 | 1.042840e+05 |    Inf 
1204.44/1204.48	c  1167s|330000 |329930 |790323 |   2.4 | 925M|1227 |  66 |7082 |5279 |7082 |1950 |  18k| 150 |  12k| 0.000000e+00 | 1.042840e+05 |    Inf 
1238.73/1238.74	c  1200s|340000 |339926 |849870 |   2.5 | 952M|1227 |  44 |7082 |5275 |7082 |1950 |  18k| 152 |  13k| 0.000000e+00 | 1.042840e+05 |    Inf 
1277.53/1277.55	c  1237s|350000 |349920 |919095 |   2.6 | 979M|1227 | 385 |7082 |5269 |7082 |1950 |  18k| 156 |  14k| 0.000000e+00 | 1.042840e+05 |    Inf 
1311.33/1311.35	c  1270s|360000 |359916 |977728 |   2.7 |1005M|1227 | 179 |7082 |5266 |7082 |1950 |  18k| 158 |  14k| 0.000000e+00 | 1.042840e+05 |    Inf 
1349.64/1349.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1349.64/1349.66	c  1306s|370000 |369912 |  1039k|   2.8 |1032M|1227 | 101 |7082 |5257 |7082 |1950 |  18k| 160 |  16k| 0.000000e+00 | 1.042840e+05 |    Inf 
1384.94/1384.97	c  1340s|380000 |379908 |  1106k|   2.9 |1059M|1227 |  41 |7082 |5254 |7082 |1950 |  18k| 163 |  16k| 0.000000e+00 | 1.042840e+05 |    Inf 
1421.53/1421.58	c  1375s|390000 |389902 |  1161k|   3.0 |1085M|1227 | 486 |7082 |5251 |7082 |1950 |  18k| 167 |  18k| 0.000000e+00 | 1.042840e+05 |    Inf 
1457.33/1457.36	c  1410s|400000 |399900 |  1231k|   3.1 |1112M|1227 | 196 |7082 |5253 |7082 |1950 |  18k| 174 |  18k| 0.000000e+00 | 1.042840e+05 |    Inf 
1498.24/1498.25	c  1449s|410000 |409900 |  1312k|   3.2 |1138M|1227 |  83 |7082 |5251 |7082 |1950 |  18k| 176 |  20k| 0.000000e+00 | 1.042840e+05 |    Inf 
1534.24/1534.20	c  1484s|420000 |419896 |  1378k|   3.3 |1165M|1227 |  35 |7082 |5252 |7082 |1950 |  18k| 179 |  21k| 0.000000e+00 | 1.042840e+05 |    Inf 
1572.34/1572.35	c  1520s|430000 |429892 |  1450k|   3.4 |1192M|1227 | 424 |7082 |5251 |7082 |1950 |  18k| 182 |  22k| 0.000000e+00 | 1.042840e+05 |    Inf 
1610.44/1610.49	c  1557s|440000 |439890 |  1533k|   3.5 |1218M|1227 | 202 |7082 |5249 |7082 |1950 |  19k| 183 |  23k| 0.000000e+00 | 1.042840e+05 |    Inf 
1648.24/1648.27	c  1593s|450000 |449878 |  1610k|   3.6 |1245M|1227 |  72 |7082 |5251 |7082 |1950 |  19k| 192 |  24k| 0.000000e+00 | 1.042840e+05 |    Inf 
1682.95/1682.99	c  1627s|460000 |459860 |  1667k|   3.6 |1272M|1227 |  35 |7082 |5258 |7082 |1950 |  19k| 207 |  24k| 0.000000e+00 | 1.042840e+05 |    Inf 
1718.84/1718.85	c  1661s|470000 |469856 |  1724k|   3.7 |1298M|1227 | 357 |7082 |5254 |7082 |1950 |  19k| 211 |  25k| 0.000000e+00 | 1.042840e+05 |    Inf 
1753.35/1753.32	c  1695s|480000 |479852 |  1792k|   3.7 |1325M|1227 | 208 |7082 |5250 |7082 |1950 |  19k| 213 |  25k| 0.000000e+00 | 1.042840e+05 |    Inf 
1790.94/1790.92	c  1731s|490000 |489848 |  1855k|   3.8 |1352M|1227 |  96 |7082 |5247 |7082 |1950 |  19k| 215 |  27k| 0.000000e+00 | 1.042840e+05 |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.01	c 
1800.05/1800.01	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.01	c Solving Time (sec) : 1739.30
1800.05/1800.01	c Solving Nodes      : 492739
1800.05/1800.01	c Primal Bound       : +1.04284000000000e+05 (112 solutions)
1800.05/1800.01	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.01	c Gap                : infinite
1800.05/1800.09	s SATISFIABLE
1800.05/1800.09	v -x2913 -x2912 -x2911 -x2910 -x2909 x2908 x2907 x2906 -x2905 -x2904 x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 
1800.05/1800.09	v -x2894 -x2893 -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 x2880 -x2879 -x2878 -x2877 
1800.05/1800.09	v x2876 -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 x2866 x2865 x2864 -x2863 -x2862 x2861 -x2860 x2859 -x2858 
1800.05/1800.09	v -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 
1800.05/1800.09	v -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 
1800.05/1800.09	v -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 
1800.05/1800.09	v -x2804 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 
1800.05/1800.09	v -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 
1800.05/1800.09	v -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 x2760 -x2759 x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 
1800.05/1800.09	v -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 x2734 -x2733 
1800.05/1800.09	v -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 
1800.05/1800.09	v -x2714 -x2713 x2712 -x2711 x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 
1800.05/1800.09	v -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 x2688 -x2687 x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 
1800.05/1800.09	v -x2677 x2676 -x2675 x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 
1800.05/1800.09	v -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 
1800.05/1800.09	v -x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 x2629 -x2628 -x2627 -x2626 -x2625 x2624 
1800.05/1800.09	v -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 
1800.05/1800.09	v -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 x2592 -x2591 x2590 -x2589 -x2588 
1800.05/1800.09	v -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 
1800.05/1800.09	v -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 x2556 -x2555 x2554 -x2553 -x2552 
1800.05/1800.09	v -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 
1800.05/1800.09	v -x2533 -x2532 -x2531 x2530 x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 x2517 -x2516 
1800.05/1800.09	v -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 x2509 -x2508 -x2507 x2506 x2505 x2504 -x2503 -x2502 -x2501 -x2500 x2499 -x2498 -x2497 
1800.05/1800.09	v -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 x2482 -x2481 -x2480 -x2479 
1800.05/1800.09	v -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 x2470 x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 -x2461 
1800.05/1800.09	v -x2460 -x2459 x2458 -x2457 -x2456 -x2455 x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 x2446 x2445 -x2444 x2443 x2442 
1800.05/1800.09	v x2441 x2440 x2439 x2438 x2437 -x2436 x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 
1800.05/1800.09	v -x2423 -x2422 x2421 x2420 -x2419 -x2418 x2417 x2416 -x2415 -x2414 -x2413 x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 
1800.05/1800.09	v -x2404 x2403 -x2402 x2401 -x2400 -x2399 x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 
1800.05/1800.09	v -x2386 -x2385 -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 x2377 -x2376 -x2375 x2374 -x2373 -x2372 -x2371 -x2370 -x2369 
1800.05/1800.09	v -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 x2353 -x2352 -x2351 
1800.05/1800.09	v x2350 x2349 x2348 x2347 x2346 x2345 x2344 x2343 x2342 -x2341 -x2340 x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 
1800.05/1800.09	v -x2330 -x2329 -x2328 x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 x2317 -x2316 -x2315 x2314 -x2313 
1800.05/1800.09	v -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 
1800.05/1800.09	v -x2294 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 
1800.05/1800.09	v -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 x2264 x2263 x2262 x2261 x2260 x2259 
1800.05/1800.09	v -x2258 -x2257 -x2256 -x2255 x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 
1800.05/1800.09	v -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 
1800.05/1800.09	v -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 x2206 x2205 
1800.05/1800.09	v -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 
1800.05/1800.09	v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 x2169 
1800.05/1800.09	v -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 
1800.05/1800.09	v -x2150 -x2149 -x2148 -x2147 x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 
1800.05/1800.09	v -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 x2121 -x2120 x2119 -x2118 -x2117 -x2116 -x2115 
1800.05/1800.09	v -x2114 -x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 
1800.05/1800.09	v -x2096 x2095 x2094 x2093 x2092 x2091 x2090 x2089 x2088 -x2087 x2086 x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 x2078 -x2077 
1800.05/1800.09	v -x2076 -x2075 -x2074 x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 x2060 -x2059 
1800.05/1800.09	v -x2058 -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 
1800.05/1800.09	v x2040 -x2039 -x2038 x2037 -x2036 x2035 x2034 x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 
1800.05/1800.09	v -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 
1800.05/1800.09	v -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 x1996 -x1995 x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 
1800.05/1800.09	v -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 x1979 -x1978 x1977 -x1976 -x1975 x1974 x1973 x1972 -x1971 -x1970 -x1969 -x1968 
1800.05/1800.09	v -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 x1954 -x1953 -x1952 -x1951 -x1950 
1800.05/1800.09	v -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 x1942 x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 
1800.05/1800.09	v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 
1800.05/1800.09	v -x1913 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 
1800.05/1800.09	v -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 
1800.05/1800.09	v x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 x1865 x1864 -x1863 -x1862 -x1861 -x1860 
1800.05/1800.09	v -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 
1800.05/1800.09	v -x1841 -x1840 -x1839 -x1838 x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 
1800.05/1800.09	v -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 
1800.05/1800.09	v -x1805 x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 
1800.05/1800.09	v -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 
1800.05/1800.09	v -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 x1763 x1762 -x1761 -x1760 -x1759 -x1758 x1757 -x1756 -x1755 -x1754 x1753 x1752 
1800.05/1800.09	v -x1751 -x1750 -x1749 -x1748 x1747 x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 
1800.05/1800.09	v -x1733 -x1732 -x1731 -x1730 -x1729 x1728 x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 
1800.05/1800.09	v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 
1800.05/1800.09	v -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 
1800.05/1800.09	v -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 x1667 x1666 -x1665 -x1664 x1663 x1662 -x1661 
1800.05/1800.09	v -x1660 x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 x1647 -x1646 -x1645 -x1644 -x1643 
1800.05/1800.09	v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 x1632 -x1631 -x1630 -x1629 -x1628 x1627 -x1626 -x1625 
1800.05/1800.09	v -x1624 -x1623 -x1622 -x1621 x1620 -x1619 x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 x1608 -x1607 
1800.05/1800.09	v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 
1800.05/1800.09	v -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 
1800.05/1800.09	v -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 x1559 x1558 -x1557 -x1556 -x1555 -x1554 x1553 -x1552 
1800.05/1800.09	v -x1551 -x1550 x1549 x1548 x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 
1800.05/1800.09	v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 
1800.05/1800.09	v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 
1800.05/1800.09	v -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 
1800.05/1800.09	v -x1479 -x1478 -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 
1800.05/1800.09	v -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 x1451 x1450 x1449 -x1448 -x1447 x1446 -x1445 -x1444 
1800.05/1800.09	v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 
1800.05/1800.09	v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 x1415 x1414 -x1413 -x1412 -x1411 -x1410 x1409 -x1408 
1800.05/1800.09	v -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 x1394 -x1393 x1392 -x1391 -x1390 -x1389 
1800.05/1800.09	v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 
1800.05/1800.09	v -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 
1800.05/1800.09	v -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 
1800.05/1800.09	v -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 x1320 -x1319 -x1318 
1800.05/1800.09	v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 
1800.05/1800.09	v -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
1800.05/1800.09	v -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 
1800.05/1800.09	v -x1263 -x1262 x1261 -x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 
1800.05/1800.09	v -x1245 -x1244 -x1243 -x1242 x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 
1800.05/1800.09	v -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 
1800.05/1800.09	v -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201 x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 
1800.05/1800.09	v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 
1800.05/1800.09	v -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 
1800.05/1800.09	v -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 
1800.05/1800.09	v -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 
1800.05/1800.09	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 
1800.05/1800.09	v -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 x1085 -x1084 
1800.05/1800.09	v x1083 -x1082 -x1081 -x1080 -x1079 x1078 x1077 -x1076 x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 
1800.05/1800.09	v -x1065 -x1064 x1063 x1062 -x1061 -x1060 -x1059 -x1058 x1057 x1056 x1055 -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 
1800.05/1800.09	v -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 
1800.05/1800.09	v -x1028 -x1027 -x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 
1800.05/1800.09	v -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 
1800.05/1800.09	v x990 x989 x988 -x987 -x986 x985 x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 x975 -x974 -x973 -x972 x971 x970 -x969 
1800.05/1800.09	v -x968 -x967 -x966 x965 x964 x963 x962 -x961 -x960 x959 x958 -x957 -x956 x955 x954 -x953 -x952 -x951 x950 -x949 x948 x947 
1800.05/1800.09	v x946 -x945 -x944 x943 x942 x941 -x940 x939 -x938 x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 x926 -x925 x924 
1800.05/1800.09	v -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 x908 -x907 -x906 -x905 -x904 -x903 
1800.05/1800.09	v -x902 -x901 -x900 x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 x890 x889 x888 -x887 -x886 -x885 -x884 -x883 x882 x881 
1800.05/1800.09	v x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 x869 x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 
1800.05/1800.09	v x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 x842 x841 x840 x839 x838 
1800.05/1800.09	v -x837 -x836 -x835 x834 x833 -x832 -x831 x830 -x829 x828 -x827 x826 x825 -x824 -x823 x822 x821 -x820 -x819 x818 x817 -x816 -x815 
1800.05/1800.09	v -x814 x813 -x812 x811 x810 x809 x808 x807 -x806 -x805 -x804 x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793 
1800.05/1800.09	v x792 -x791 -x790 x789 -x788 -x787 x786 -x785 x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 x772 x771 
1800.05/1800.09	v -x770 -x769 -x768 -x767 -x766 -x765 x764 -x763 x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 
1800.05/1800.09	v x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 
1800.05/1800.09	v -x727 -x726 -x725 -x724 -x723 x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 
1800.05/1800.09	v -x706 -x705 -x704 x703 -x702 -x701 x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 x692 x691 -x690 -x689 -x688 -x687 -x686 x685 
1800.05/1800.09	v -x684 -x683 x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 x664 
1800.05/1800.09	v -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644 -x643 -x642 
1800.05/1800.09	v -x641 -x640 -x639 -x638 -x637 x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 x622 -x621 
1800.05/1800.09	v -x620 x619 -x618 -x617 -x616 x615 -x614 x613 x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 x602 -x601 -x600 -x599 
1800.05/1800.09	v -x598 -x597 -x596 -x595 -x594 x593 -x592 x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 x578 -x577 
1800.05/1800.09	v -x576 -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 x557 x556 
1800.05/1800.09	v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 x546 -x545 x544 x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 x534 
1800.05/1800.09	v -x533 -x532 x531 -x530 x529 -x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 x513 -x512 
1800.05/1800.09	v -x511 x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 x502 x501 x500 x499 x498 -x497 x496 x495 -x494 -x493 x492 -x491 -x490 
1800.05/1800.09	v -x489 -x488 -x487 -x486 -x485 x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 x468 
1800.05/1800.09	v -x467 -x466 x465 -x464 x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 x447 
1800.05/1800.09	v -x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 -x438 -x437 x436 -x435 x434 x433 x432 -x431 x430 x429 -x428 -x427 x426 -x425 
1800.05/1800.09	v -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 
1800.05/1800.09	v x402 -x401 -x400 x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 x384 -x383 -x382 
1800.05/1800.09	v x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 
1800.05/1800.09	v x359 -x358 x357 -x356 -x355 x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 x340 -x339 x338 
1800.05/1800.09	v -x337 x336 x335 -x334 -x333 -x332 -x331 x330 x329 -x328 x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 x317 -x316 
1800.05/1800.09	v -x315 -x314 -x313 -x312 -x311 x310 x309 -x308 -x307 x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295 
1800.05/1800.09	v -x294 -x293 x292 -x291 -x290 -x289 x288 -x287 -x286 x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 
1800.05/1800.09	v -x272 -x271 x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 x254 -x253 x252 -x251 
1800.05/1800.09	v -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 
1800.05/1800.09	v -x229 -x228 x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 
1800.05/1800.09	v -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 x199 x198 x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 x189 -x188 x187 
1800.05/1800.09	v -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 x178 -x177 x176 -x175 -x174 -x173 x172 -x171 -x170 x169 -x168 -x167 -x166 x165 
1800.05/1800.09	v -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 
1800.05/1800.09	v -x143 x142 -x141 x140 x139 x138 -x137 -x136 x135 x134 -x133 x132 -x131 -x130 x129 -x128 -x127 -x126 x125 -x124 x123 -x122 
1800.05/1800.09	v x121 x120 -x119 -x118 x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 x103 x102 -x101 -x100 
1800.05/1800.09	v -x99 x98 -x97 x96 x95 -x94 x93 x92 -x91 -x90 -x89 x88 -x87 -x86 x85 -x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 x73 
1800.05/1800.09	v -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 x59 -x58 -x57 x56 -x55 x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 
1800.05/1800.09	v x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 x29 -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 
1800.05/1800.09	v -x20 x19 -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 x2 -x1 
1800.05/1800.09	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.09	c Solving Time       :    1739.30
1800.05/1800.09	c Original Problem   :
1800.05/1800.09	c   Problem name     : HOME/instance-2692968-1277912996.wbo
1800.05/1800.09	c   Variables        : 7089 (5001 binary, 0 integer, 0 implicit integer, 2088 continuous)
1800.05/1800.09	c   Constraints      : 5194 initial, 5194 maximal
1800.05/1800.09	c Presolved Problem  :
1800.05/1800.09	c   Problem name     : t_HOME/instance-2692968-1277912996.wbo
1800.05/1800.09	c   Variables        : 7082 (4994 binary, 0 integer, 0 implicit integer, 2088 continuous)
1800.05/1800.09	c   Constraints      : 5179 initial, 5293 maximal
1800.05/1800.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.09	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   implics          :       0.00          0          7          0          0          0          0          0          0
1800.05/1800.09	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.05/1800.09	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.09	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.09	c   linear           :       0.05          0          0          0       2088          0         15        514       1028
1800.05/1800.09	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.09	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.09	c   integral         :          0          0          0     496313          0          0       1080          0          0     690304
1800.05/1800.09	c   indicator        :       2088          0     902305     150084          0          0     142214          0          0          0
1800.05/1800.09	c   varbound         :          1          6     607503      26037          0          0          0          1          0          0
1800.05/1800.09	c   knapsack         :        280          6     902305     150084          0         88     158844        824          0          0
1800.05/1800.09	c   linear           :       2087          6     902217     150084          0          0     188610      18592          0          0
1800.05/1800.09	c   logicor          :        723+         6     164375     147511          0          1     124534          0          0          0
1800.05/1800.09	c   countsols        :          0          0          0     147511          0          0          0          0          0          0
1800.05/1800.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.09	c   integral         :     113.07       0.00       0.00     113.07       0.00
1800.05/1800.09	c   indicator        :      67.72       0.05      31.51      36.16       0.00
1800.05/1800.09	c   varbound         :       0.28       0.00       0.22       0.06       0.00
1800.05/1800.09	c   knapsack         :       8.07       0.01       6.90       1.16       0.00
1800.05/1800.09	c   linear           :      65.38       0.01      26.06      39.31       0.00
1800.05/1800.09	c   logicor          :       3.17       0.00       0.63       2.54       0.00
1800.05/1800.09	c   countsols        :       0.05       0.00       0.00       0.05       0.00
1800.05/1800.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.09	c   vbounds          :       0.35       1055          0         38
1800.05/1800.09	c   rootredcost      :       0.28          1          0          0
1800.05/1800.09	c   pseudoobj        :      41.75     902102          0          0
1800.05/1800.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.10	c   propagation      :       0.00         89         89        253       19.4          1       11.0          -
1800.05/1800.10	c   infeasible LP    :       0.02         78         77         84        4.6          0        0.0          0
1800.05/1800.10	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.10	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.10	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.10	c   applied globally :          -          -          -        215       11.7          -          -          -
1800.05/1800.10	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.10	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.10	c   cut pool         :       0.01          5          -          -        466          -    (maximal pool size: 1920)
1800.05/1800.10	c   redcost          :      69.21     496318          0          0          0          0
1800.05/1800.10	c   impliedbounds    :       0.00          6          0          0         36          0
1800.05/1800.10	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.10	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.10	c   gomory           :       0.09          6          0          0         83          0
1800.05/1800.10	c   strongcg         :       0.07          6          0          0         21          0
1800.05/1800.10	c   cmir             :       0.73          6          0          0       1052          0
1800.05/1800.10	c   flowcover        :       0.85          6          0          0        887          0
1800.05/1800.10	c   clique           :       0.00          1          0          0          0          0
1800.05/1800.10	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.10	c   mcf              :       0.00          1          0          0          0          0
1800.05/1800.10	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.10	c Pricers            :       Time      Calls       Vars
1800.05/1800.10	c   problem variables:       0.00          0          0
1800.05/1800.10	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.10	c   relpscost        :     112.67     346229          0       1080          0          0     690304
1800.05/1800.10	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   inference        :      77.68     147511          0          0          0          0     295022
1800.05/1800.10	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.10	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.10	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.10	c   LP solutions     :       0.00          -          0
1800.05/1800.10	c   pseudo solutions :       0.00          -          0
1800.05/1800.10	c   oneopt           :       0.33          1          0
1800.05/1800.10	c   feaspump         :       0.02          1          0
1800.05/1800.10	c   intshifting      :       0.32         29          0
1800.05/1800.10	c   crossover        :       0.68         11          0
1800.05/1800.10	c   objpscostdiving  :       3.33         92          0
1800.05/1800.10	c   rootsoldiving    :       5.49        146          0
1800.05/1800.10	c   linesearchdiving :      23.13        388          0
1800.05/1800.10	c   veclendiving     :      15.72        389          0
1800.05/1800.10	c   guideddiving     :      15.66        390          0
1800.05/1800.10	c   pscostdiving     :      21.03        394          0
1800.05/1800.10	c   coefdiving       :      15.65        414          0
1800.05/1800.10	c   fracdiving       :      18.49        414          0
1800.05/1800.10	c   trivial          :       0.01          2          0
1800.05/1800.10	c   simplerounding   :       0.83     336356          0
1800.05/1800.10	c   zirounding       :       0.17       1000          0
1800.05/1800.10	c   rounding         :       1.12       8179          0
1800.05/1800.10	c   shifting         :       7.83       2644          0
1800.05/1800.10	c   twoopt           :       0.00          0          0
1800.05/1800.10	c   fixandinfer      :       0.00          0          0
1800.05/1800.10	c   intdiving        :       0.00          0          0
1800.05/1800.10	c   actconsdiving    :       0.00          0          0
1800.05/1800.10	c   octane           :       0.00          0          0
1800.05/1800.10	c   rens             :       0.05          1          0
1800.05/1800.10	c   rins             :       0.00          0          0
1800.05/1800.10	c   localbranching   :       0.00          0          0
1800.05/1800.10	c   mutation         :       0.00          0          0
1800.05/1800.10	c   dins             :       0.00          0          0
1800.05/1800.10	c   undercover       :       0.00          0          0
1800.05/1800.10	c   nlp              :       0.21          0          0
1800.05/1800.10	c   trysol           :       1.20       3580        112
1800.05/1800.10	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.10	c   primal LP        :       0.00          0          0       0.00          -
1800.05/1800.10	c   dual LP          :     865.92     347648    1711157       4.92    1976.11
1800.05/1800.10	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.10	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.10	c   diving/probing LP:      82.56      40207     159623       3.97    1933.42
1800.05/1800.10	c   strong branching :     100.88      27226     282788      10.39    2803.21
1800.05/1800.10	c     (at root node) :          -         28       4758     169.93          -
1800.05/1800.10	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.10	c B&B Tree           :
1800.05/1800.10	c   number of runs   :          1
1800.05/1800.10	c   nodes            :     492739
1800.05/1800.10	c   nodes (total)    :     492739
1800.05/1800.10	c   nodes left       :     492587
1800.05/1800.10	c   max depth        :       1227
1800.05/1800.10	c   max depth (total):       1227
1800.05/1800.10	c   backtracks       :        944 (0.2%)
1800.05/1800.10	c   delayed cutoffs  :          1
1800.05/1800.10	c   repropagations   :       9630 (158 domain reductions, 1 cutoffs)
1800.05/1800.10	c   avg switch length:       2.11
1800.05/1800.10	c   switching time   :      33.33
1800.05/1800.10	c Solution           :
1800.05/1800.10	c   Solutions found  :        112 (1 improvements)
1800.05/1800.10	c   First Solution   : +1.04284000000000e+05   (in run 1, after 1 nodes, 2.22 seconds, depth 0, found by <trysol>)
1800.05/1800.10	c   Primal Bound     : +1.04284000000000e+05   (in run 1, after 1 nodes, 2.22 seconds, depth 0, found by <trysol>)
1800.05/1800.10	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.10	c   Gap              :   infinite
1800.05/1800.10	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.10	c   Root Iterations  :       2186
1800.65/1800.65	c Time complete: 1800.7.

Verifier Data 

OK	8548

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692968-1277912996/watcher-2692968-1277912996 -o /tmp/evaluation-result-2692968-1277912996/solver-2692968-1277912996 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692968-1277912996.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.97 2.00 2.04 4/178 25790
/proc/meminfo: memFree=31281532/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=10980 CPUtime=0
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 1676 0 0 0 0 0 0 0 25 0 1 0 166903363 11243520 1597 4089446400 4194304 9819077 140734728426272 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25790/statm: 2745 1598 392 1374 0 1366 0

[startup+0.0675899 s]
/proc/loadavg: 1.97 2.00 2.04 4/178 25790
/proc/meminfo: memFree=31281532/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=31588 CPUtime=0.06
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 7229 0 0 0 6 0 0 0 25 0 1 0 166903363 32346112 6796 4089446400 4194304 9819077 140734728426272 18446744073709551615 4682255 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 7897 6818 435 1374 0 6518 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 31588

[startup+0.100571 s]
/proc/loadavg: 1.97 2.00 2.04 4/178 25790
/proc/meminfo: memFree=31281532/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=39144 CPUtime=0.09
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 9111 0 0 0 9 0 0 0 25 0 1 0 166903363 40083456 8421 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 9786 8421 491 1374 0 8407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39144

[startup+0.300538 s]
/proc/loadavg: 1.97 2.00 2.04 4/178 25790
/proc/meminfo: memFree=31281532/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=52788 CPUtime=0.29
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 14346 0 0 0 28 1 0 0 18 0 1 0 166903363 54054912 11548 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 13197 11548 686 1374 0 11818 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52788

[startup+0.700464 s]
/proc/loadavg: 1.97 2.00 2.04 4/178 25790
/proc/meminfo: memFree=31281532/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=54972 CPUtime=0.69
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 14984 0 0 0 67 2 0 0 18 0 1 0 166903363 56291328 11999 4089446400 4194304 9819077 140734728426272 18446744073709551615 5734174 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 13743 11999 692 1374 0 12364 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54972

[startup+1.50033 s]
/proc/loadavg: 1.97 2.00 2.04 3/179 25791
/proc/meminfo: memFree=31235272/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=57716 CPUtime=1.49
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 16023 0 0 0 146 3 0 0 19 0 1 0 166903363 59101184 12494 4089446400 4194304 9819077 140734728426272 18446744073709551615 5727835 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 14429 12494 692 1374 0 13050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57716

[startup+3.10103 s]
/proc/loadavg: 1.97 2.00 2.04 3/179 25791
/proc/meminfo: memFree=31232172/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=64668 CPUtime=3.09
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 46341 0 0 0 301 8 0 0 24 0 1 0 166903363 66220032 13183 4089446400 4194304 9819077 140734728426272 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 16167 13183 719 1374 0 14788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64668

[startup+6.30044 s]
/proc/loadavg: 1.97 2.00 2.04 3/179 25791
/proc/meminfo: memFree=31231756/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=63968 CPUtime=6.29
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 142335 0 0 0 607 22 0 0 25 0 1 0 166903363 65503232 13090 4089446400 4194304 9819077 140734728426272 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 15992 13094 721 1374 0 14613 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63968

[startup+12.7003 s]
/proc/loadavg: 1.97 2.00 2.04 3/179 25791
/proc/meminfo: memFree=31231416/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=62212 CPUtime=12.69
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 311271 0 0 0 1222 47 0 0 25 0 1 0 166903363 63705088 13692 4089446400 4194304 9819077 140734728426272 18446744073709551615 6003327 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 15553 13692 724 1374 0 14174 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62212

[startup+25.5009 s]
/proc/loadavg: 1.98 2.00 2.04 3/179 25791
/proc/meminfo: memFree=31230796/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=61776 CPUtime=25.49
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 726408 0 0 0 2447 102 0 0 25 0 1 0 166903363 63258624 13767 4089446400 4194304 9819077 140734728426272 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 15444 13767 724 1374 0 14065 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61776

[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.04 3/179 25792
/proc/meminfo: memFree=31227208/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=66144 CPUtime=51.09
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 1321389 0 0 0 4914 195 0 0 25 0 1 0 166903363 67731456 14522 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 16536 14522 740 1374 0 15157 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 66144

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.04 3/179 25793
/proc/meminfo: memFree=31220236/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=72496 CPUtime=102.3
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 1936540 0 0 0 9906 324 0 0 25 0 1 0 166903363 74235904 16179 4089446400 4194304 9819077 140734728426272 18446744073709551615 6581236 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 18124 16179 740 1374 0 16745 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 72496

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 2.03 3/179 25795
/proc/meminfo: memFree=31196764/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=96196 CPUtime=162.3
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 2538638 0 0 0 15755 475 0 0 25 0 1 0 166903363 98504704 22006 4089446400 4194304 9819077 140734728426272 18446744073709551615 4846549 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 24049 22006 740 1374 0 22670 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 96196

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 25796
/proc/meminfo: memFree=31158052/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=133552 CPUtime=222.3
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 3136463 0 0 0 21606 624 0 0 25 0 1 0 166903363 136757248 31413 4089446400 4194304 9819077 140734728426272 18446744073709551615 6581282 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 33388 31413 740 1374 0 32009 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 133552

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 25798
/proc/meminfo: memFree=31109160/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=180348 CPUtime=282.3
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 3911991 0 0 0 27456 774 0 0 25 0 1 0 166903363 184676352 43233 4089446400 4194304 9819077 140734728426272 18446744073709551615 4643199 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 45087 43233 741 1374 0 43708 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 180348

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 25799
/proc/meminfo: memFree=31056916/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=232104 CPUtime=342.3
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 5089889 0 0 0 33281 949 0 0 25 0 1 0 166903363 237674496 56211 4089446400 4194304 9819077 140734728426272 18446744073709551615 4643217 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 58026 56211 741 1374 0 56647 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 232104

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 25801
/proc/meminfo: memFree=31006544/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=282720 CPUtime=402.31
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 6354792 0 0 0 39084 1147 0 0 25 0 1 0 166903363 289505280 68440 4089446400 4194304 9819077 140734728426272 18446744073709551615 6590687 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 70680 68440 741 1374 0 69301 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 282720

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25803
/proc/meminfo: memFree=30955184/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=333036 CPUtime=462.31
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 7589355 0 0 0 44894 1337 0 0 25 0 1 0 166903363 341028864 81063 4089446400 4194304 9819077 140734728426272 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 83259 81076 741 1374 0 81880 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 333036

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25804
/proc/meminfo: memFree=30906292/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=382516 CPUtime=522.31
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 8873603 0 0 0 50696 1535 0 0 25 0 1 0 166903363 391696384 93502 4089446400 4194304 9819077 140734728426272 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 95629 93508 741 1374 0 94250 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 382516

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25806
/proc/meminfo: memFree=30855908/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=431128 CPUtime=582.31
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 10280051 0 0 0 56480 1751 0 0 25 0 1 0 166903363 441475072 105755 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 107782 105755 741 1374 0 106403 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 431128

[startup+642.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 25807
/proc/meminfo: memFree=30804404/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=481776 CPUtime=642.32
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 11395733 0 0 0 62308 1924 0 0 25 0 1 0 166903363 493338624 118564 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 120400 118520 741 1374 0 119021 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 481776

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 25891
/proc/meminfo: memFree=30549936/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=733708 CPUtime=942.32
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 16887378 0 0 0 91378 2854 0 0 25 0 1 0 166903363 751316992 180791 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 183427 180791 741 1374 0 182048 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 733708

[startup+1002.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 25893
/proc/meminfo: memFree=30480452/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=786728 CPUtime=1002.33
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 18047530 0 0 0 97183 3050 0 0 25 0 1 0 166903363 805609472 194126 4089446400 4194304 9819077 140734728426272 18446744073709551615 5893915 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 196682 194126 741 1374 0 195303 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 786728

[startup+1062.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 25895
/proc/meminfo: memFree=30419524/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=835072 CPUtime=1062.32
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 19214818 0 0 0 102980 3252 0 0 25 0 1 0 166903363 855113728 206282 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 208768 206282 741 1374 0 207389 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 835072

[startup+1122.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 25896
/proc/meminfo: memFree=30361452/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=884744 CPUtime=1122.32
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 20440745 0 0 0 108766 3466 0 0 25 0 1 0 166903363 905977856 218779 4089446400 4194304 9819077 140734728426272 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 221186 218788 741 1374 0 219807 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 884744

[startup+1182.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 25898
/proc/meminfo: memFree=30308448/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=932932 CPUtime=1182.33
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 21780672 0 0 0 114544 3689 0 0 25 0 1 0 166903363 955322368 230908 4089446400 4194304 9819077 140734728426272 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 233233 230908 741 1374 0 231854 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 932932

[startup+1242.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 25899
/proc/meminfo: memFree=30252980/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=978760 CPUtime=1242.33
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 23090268 0 0 0 120329 3904 0 0 25 0 1 0 166903363 1002250240 242392 4089446400 4194304 9819077 140734728426272 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 244690 242392 741 1374 0 243311 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 978760

[startup+1302.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/197 25901
/proc/meminfo: memFree=30202104/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1019944 CPUtime=1302.33
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 24517103 0 0 0 126099 4134 0 0 25 0 1 0 166903363 1044422656 252790 4089446400 4194304 9819077 140734728426272 18446744073709551615 7816453 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 254986 252790 741 1374 0 253607 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 1019944

[startup+1362.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/197 25903
/proc/meminfo: memFree=30153312/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1062320 CPUtime=1362.33
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 25939932 0 0 0 131862 4371 0 0 25 0 1 0 166903363 1087815680 263448 4089446400 4194304 9819077 140734728426272 18446744073709551615 6513018 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 265580 263448 741 1374 0 264201 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 1062320

[startup+1422.31 s]
/proc/loadavg: 2.57 2.12 2.04 3/197 25907
/proc/meminfo: memFree=30103920/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1108920 CPUtime=1422.34
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 27363827 0 0 0 137620 4614 0 0 25 0 1 0 166903363 1135534080 274516 4089446400 4194304 9819077 140734728426272 18446744073709551615 6671134 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 277154 274500 741 1374 0 275775 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 1108920

[startup+1482.3 s]
/proc/loadavg: 2.21 2.09 2.03 3/197 25909
/proc/meminfo: memFree=30061644/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1151472 CPUtime=1482.34
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 28805937 0 0 0 143382 4852 0 0 25 0 1 0 166903363 1179107328 285033 4089446400 4194304 9819077 140734728426272 18446744073709551615 6512973 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 287868 285033 741 1374 0 286489 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 1151472

[startup+1542.3 s]
/proc/loadavg: 2.07 2.07 2.03 3/197 25910
/proc/meminfo: memFree=30019328/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1189804 CPUtime=1542.34
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 30215664 0 0 0 149147 5087 0 0 25 0 1 0 166903363 1218359296 295474 4089446400 4194304 9819077 140734728426272 18446744073709551615 6367474 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 297451 295474 741 1374 0 296072 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1189804

[startup+1602.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/197 25912
/proc/meminfo: memFree=29978744/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1230304 CPUtime=1602.34
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 31608859 0 0 0 154921 5313 0 0 25 0 1 0 166903363 1259831296 305618 4089446400 4194304 9819077 140734728426272 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 307576 305618 741 1374 0 306197 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1230304

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 25914
/proc/meminfo: memFree=29928868/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1275072 CPUtime=1662.34
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 32970016 0 0 0 160697 5537 0 0 25 0 1 0 166903363 1305673728 316930 4089446400 4194304 9819077 140734728426272 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 318768 316930 741 1374 0 317389 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1275072

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/197 25915
/proc/meminfo: memFree=29875440/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1325436 CPUtime=1722.35
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 34378288 0 0 0 166471 5764 0 0 25 0 1 0 166903363 1357246464 327560 4089446400 4194304 9819077 140734728426272 18446744073709551615 7301587 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 331359 327560 741 1374 0 329980 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1325436

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/197 25917
/proc/meminfo: memFree=29824752/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1369924 CPUtime=1782.34
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 35756269 0 0 0 172231 6003 0 0 25 0 1 0 166903363 1402802176 338734 4089446400 4194304 9819077 140734728426272 18446744073709551615 8433536 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 342481 338734 741 1374 0 341102 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1369924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.03 2.01 3/197 25918
/proc/meminfo: memFree=29810228/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1381812 CPUtime=1800.05
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 36162735 0 0 0 173934 6071 0 0 25 0 1 0 166903363 1414975488 341663 4089446400 4194304 9819077 140734728426272 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/25790/statm: 345453 341663 741 1374 0 344074 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1381812

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.01 2.03 2.01 3/197 25918
/proc/meminfo: memFree=29810228/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=1381612 CPUtime=1800.25
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 36162823 0 0 0 173954 6071 0 0 18 0 1 0 166903363 1414770688 341601 4089446400 4194304 9819077 140734728426272 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25790/statm: 345403 341601 742 1374 0 344024 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 1381612

[startup+1800.6 s]
/proc/loadavg: 2.01 2.03 2.01 3/198 25919
/proc/meminfo: memFree=30879844/32951124 swapFree=67111528/67111528
[pid=25790] ppid=25788 vsize=286028 CPUtime=1800.65
/proc/25790/stat : 25790 (pbscip.linux.x8) R 25788 25790 25154 0 -1 4202496 36162823 0 0 0 173991 6074 0 0 18 0 1 0 166903363 292892672 67705 4089446400 4194304 9819077 140734728426272 18446744073709551615 8723783 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/25790/statm: 71507 67705 742 1374 0 70128 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (KiB) 286028

Child status: 0
Real time (s): 1800.66
CPU time (s): 1800.71
CPU user time (s): 1739.95
CPU system time (s): 60.7608
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1383228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1739.95
system time used= 60.7608
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36162827
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= 4
involuntary context switches= 19208

runsolver used 3.21751 second user time and 6.42302 second system time

The end

Launcher Data 

Begin job on node110 at 2010-06-30 17:49:56
IDJOB=2692968
IDBENCH=79006
IDSOLVER=1205
FILE ID=node110/2692968-1277912996
PBS_JOBID= 11197254
Free space on /tmp= 74208 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-33-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2692968-1277912996/watcher-2692968-1277912996 -o /tmp/evaluation-result-2692968-1277912996/solver-2692968-1277912996 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692968-1277912996.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 0513f373de819ad63cf76545ce499638
RANDOM SEED=473186183

node110.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31282060 kB
Buffers:        199896 kB
Cached:         998588 kB
SwapCached:          0 kB
Active:         889032 kB
Inactive:       635160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31282060 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6800 kB
Writeback:           0 kB
AnonPages:      325752 kB
Mapped:          16880 kB
Slab:            79500 kB
PageTables:       4972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   478356 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74204 MiB
End job on node110 at 2010-06-30 18:19:58