Trace number 2692970

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.77 1800.89

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl--soft-66-100-0.wbo
MD5SUMfc4fc608292ff0814d25e97efc86eb19
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.25896
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 constraints1046
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 52307
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 52306
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-2692970-1277913021.wbo>
0.00/0.04	c original problem has 5005 variables (3959 bin, 0 int, 0 impl, 1046 cont) and 4152 constraints
0.00/0.04	c problem read
0.00/0.04	c presolving settings loaded
0.00/0.07	c presolving:
0.00/0.08	c (round 1) 27 del vars, 1 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 6780 impls, 0 clqs
0.00/0.08	c (round 2) 27 del vars, 55 del conss, 0 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 6780 impls, 0 clqs
0.00/0.09	c (round 3) 27 del vars, 55 del conss, 1046 chg bounds, 514 chg sides, 1028 chg coeffs, 0 upgd conss, 6780 impls, 0 clqs
0.09/0.12	c (round 4) 27 del vars, 55 del conss, 1046 chg bounds, 514 chg sides, 1028 chg coeffs, 2005 upgd conss, 6780 impls, 0 clqs
0.09/0.14	c (round 5) 27 del vars, 55 del conss, 1046 chg bounds, 514 chg sides, 1039 chg coeffs, 2006 upgd conss, 7197 impls, 0 clqs
0.09/0.16	c (round 6) 27 del vars, 55 del conss, 1046 chg bounds, 536 chg sides, 1104 chg coeffs, 2006 upgd conss, 7201 impls, 19 clqs
0.19/0.21	c    (0.1s) probing: 102/3932 (2.6%) - 0 fixings, 0 aggregations, 1 implications, 0 bound changes
0.19/0.21	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.19/0.21	c presolving (7 rounds):
0.19/0.21	c  27 deleted vars, 55 deleted constraints, 1046 tightened bounds, 0 added holes, 536 changed sides, 1104 changed coefficients
0.19/0.21	c  7203 implications, 19 cliques
0.19/0.21	c presolved problem has 4978 variables (3932 bin, 0 int, 0 impl, 1046 cont) and 4119 constraints
0.19/0.21	c    1046 constraints of type <indicator>
0.19/0.21	c       1 constraints of type <varbound>
0.19/0.21	c     574 constraints of type <knapsack>
0.19/0.21	c      22 constraints of type <setppc>
0.19/0.21	c    1045 constraints of type <linear>
0.19/0.21	c    1431 constraints of type <logicor>
0.19/0.21	c transformed objective value is always integral (scale: 1)
0.19/0.21	c Presolving Time: 0.14
0.19/0.21	c - non default parameters ----------------------------------------------------------------------
0.19/0.21	c # SCIP version 1.2.1.2
0.19/0.21	c 
0.19/0.21	c # frequency for displaying node information lines
0.19/0.21	c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.21	c display/freq = 10000
0.19/0.21	c 
0.19/0.21	c # maximal time in seconds to run
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/time = 1799.96
0.19/0.21	c 
0.19/0.21	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.21	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.21	c limits/memory = 3420
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify inequalities
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/linear/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # should presolving try to simplify knapsacks
0.19/0.21	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.21	c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.21	c 
0.19/0.21	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.21	c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.21	c separating/rapidlearning/freq = 0
0.19/0.21	c 
0.19/0.21	c -----------------------------------------------------------------------------------------------
0.19/0.21	c start solving
0.19/0.21	c 
0.19/0.23	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.23	c   0.2s|     1 |     0 |   320 |     - |  19M|   0 | 254 |4978 |4119 |4978 |2027 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.39/0.42	c   0.3s|     1 |     0 |   611 |     - |  20M|   0 | 464 |4978 |4119 |4978 |2261 | 234 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.59/0.69	c   0.6s|     1 |     0 |   919 |     - |  20M|   0 | 544 |4978 |4119 |4978 |2411 | 384 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.79/0.88	c   0.8s|     1 |     0 |  1127 |     - |  20M|   0 | 616 |4978 |4119 |4978 |2600 | 573 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.30/1.31	c   1.2s|     1 |     0 |  1633 |     - |  21M|   0 | 787 |4978 |4119 |4978 |2819 | 792 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
1.69/1.75	c   1.7s|     1 |     0 |  2456 |     - |  21M|   0 | 861 |4978 |4119 |4978 |2996 | 969 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.20/2.23	c   2.1s|     1 |     0 |  3293 |     - |  21M|   0 | 936 |4978 |4119 |4978 |3155 |1128 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
2.89/2.95	c   2.8s|     1 |     2 |  3293 |     - |  21M|   0 | 936 |4978 |4119 |4978 |3155 |1128 |   0 |  18 | 0.000000e+00 |      --      |    Inf 
15.59/15.64	o 52306
15.59/15.64	c y15.1s|    17 |    16 | 11701 | 525.5 |  22M|  15 |   - |4978 |4197 |   0 |   0 |1128 |  78 | 480 | 0.000000e+00 | 5.230600e+04 |    Inf 
107.69/107.72	c   104s| 10000 |  9966 |159761 |  15.6 |  52M| 529 |  20 |4978 |4427 |4978 |2872 |1148 | 311 |3740 | 0.000000e+00 | 5.230600e+04 |    Inf 
146.67/146.73	c   142s| 20000 | 19952 |216587 |  10.7 |  76M| 543 | 298 |4978 |4447 |4978 |2872 |1711 | 345 |5191 | 0.000000e+00 | 5.230600e+04 |    Inf 
178.77/178.88	c   173s| 30000 | 29948 |246138 |   8.1 | 100M| 685 |   0 |4978 |4451 |4978 |2893 |2022 | 356 |5577 | 0.000000e+00 | 5.230600e+04 |    Inf 
204.58/204.61	c   198s| 40000 | 39938 |255242 |   6.3 | 124M| 807 |   0 |4978 |4457 |4978 |2893 |2556 | 365 |5730 | 0.000000e+00 | 5.230600e+04 |    Inf 
230.06/230.10	c   223s| 50000 | 49938 |264271 |   5.2 | 148M| 807 |   0 |4978 |4453 |4978 |2893 |3136 | 365 |5768 | 0.000000e+00 | 5.230600e+04 |    Inf 
256.65/256.77	c   248s| 60000 | 59936 |273792 |   4.5 | 172M| 807 |  39 |4978 |4450 |4978 |2872 |3694 | 366 |5817 | 0.000000e+00 | 5.230600e+04 |    Inf 
282.56/282.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
282.56/282.66	c   274s| 70000 | 69936 |284537 |   4.0 | 196M| 807 |   0 |4978 |4445 |4978 |2892 |4260 | 366 |5864 | 0.000000e+00 | 5.230600e+04 |    Inf 
309.75/309.86	c   300s| 80000 | 79936 |297146 |   3.7 | 220M| 807 |   0 |4978 |4441 |4978 |2891 |4810 | 366 |6105 | 0.000000e+00 | 5.230600e+04 |    Inf 
336.84/336.91	c   326s| 90000 | 89936 |311710 |   3.4 | 244M| 807 |  86 |4978 |4440 |4978 |2872 |5279 | 366 |6249 | 0.000000e+00 | 5.230600e+04 |    Inf 
364.55/364.65	c   353s|100000 | 99930 |329768 |   3.3 | 268M| 807 |   0 |4978 |4444 |4978 |2890 |5742 | 371 |6501 | 0.000000e+00 | 5.230600e+04 |    Inf 
392.55/392.65	c   380s|110000 |109930 |348745 |   3.1 | 292M| 807 |  15 |4978 |4443 |4978 |2872 |6173 | 371 |6853 | 0.000000e+00 | 5.230600e+04 |    Inf 
421.05/421.16	c   408s|120000 |119930 |373371 |   3.1 | 316M| 807 | 109 |4978 |4443 |4978 |2872 |6655 | 371 |7145 | 0.000000e+00 | 5.230600e+04 |    Inf 
450.85/450.91	c   436s|130000 |129930 |400651 |   3.1 | 340M| 807 |   0 |4978 |4434 |4978 |2891 |7145 | 371 |7565 | 0.000000e+00 | 5.230600e+04 |    Inf 
489.74/489.88	c   474s|140000 |139900 |439262 |   3.1 | 364M| 807 |  74 |4978 |4447 |4978 |2872 |7483 | 401 |9945 | 0.000000e+00 | 5.230600e+04 |    Inf 
521.35/521.45	c   504s|150000 |149864 |480211 |   3.2 | 387M| 807 | 211 |4978 |4440 |4978 |2872 |7726 | 438 |  10k| 0.000000e+00 | 5.230600e+04 |    Inf 
558.05/558.12	c   539s|160000 |159826 |532624 |   3.3 | 411M| 807 |  10 |4978 |4446 |4978 |2872 |7874 | 476 |  11k| 0.000000e+00 | 5.230600e+04 |    Inf 
592.25/592.39	c   572s|170000 |169788 |585554 |   3.4 | 435M| 807 | 116 |4978 |4429 |4978 |2872 |8036 | 503 |  12k| 0.000000e+00 | 5.230600e+04 |    Inf 
629.35/629.43	c   608s|180000 |179758 |640941 |   3.5 | 459M| 807 | 276 |4978 |4415 |4978 |2872 |8208 | 533 |  13k| 0.000000e+00 | 5.230600e+04 |    Inf 
664.15/664.21	c   641s|190000 |189698 |708277 |   3.7 | 483M| 807 |  58 |4978 |4434 |4978 |2872 |8242 | 588 |  14k| 0.000000e+00 | 5.230600e+04 |    Inf 
700.35/700.45	c   675s|200000 |199646 |772136 |   3.8 | 507M| 807 | 187 |4978 |4463 |4978 |2872 |8352 | 653 |  14k| 0.000000e+00 | 5.230600e+04 |    Inf 
743.85/743.99	c   717s|210000 |209578 |886055 |   4.2 | 530M| 807 | 725 |4978 |4440 |4978 |2872 |8381 | 712 |  15k| 0.000000e+00 | 5.230600e+04 |    Inf 
788.56/788.70	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
788.56/788.70	c   760s|220000 |219524 |998979 |   4.5 | 554M| 807 | 150 |4978 |4416 |4978 |2872 |8495 | 758 |  17k| 0.000000e+00 | 5.230600e+04 |    Inf 
838.45/838.56	c   808s|230000 |229472 |  1128k|   4.9 | 578M| 807 | 282 |4978 |4424 |4978 |2872 |8572 | 805 |  19k| 0.000000e+00 | 5.230600e+04 |    Inf 
877.35/877.48	c   845s|240000 |239416 |  1215k|   5.1 | 602M| 807 |  88 |4978 |4443 |4978 |2872 |8681 | 867 |  19k| 0.000000e+00 | 5.230600e+04 |    Inf 
922.55/922.63	c   888s|250000 |249380 |  1320k|   5.3 | 626M| 807 | 232 |4978 |4437 |4978 |2872 |8693 | 908 |  21k| 0.000000e+00 | 5.230600e+04 |    Inf 
960.95/961.05	c   924s|260000 |259312 |  1405k|   5.4 | 650M| 807 |  27 |4978 |4442 |4978 |2872 |8745 | 972 |  22k| 0.000000e+00 | 5.230600e+04 |    Inf 
1004.16/1004.29	c   965s|270000 |269258 |  1510k|   5.6 | 674M| 807 | 112 |4978 |4432 |4978 |2872 |8816 |1019 |  23k| 0.000000e+00 | 5.230600e+04 |    Inf 
1046.96/1047.08	c  1006s|280000 |279216 |  1610k|   5.7 | 698M| 807 |   8 |4978 |4416 |4978 |2872 |8892 |1050 |  24k| 0.000000e+00 | 5.230600e+04 |    Inf 
1084.85/1084.94	c  1042s|290000 |289186 |  1696k|   5.8 | 722M| 807 | 138 |4978 |4416 |4978 |2872 |8962 |1091 |  25k| 0.000000e+00 | 5.230600e+04 |    Inf 
1126.95/1127.04	c  1081s|300000 |299135 |  1787k|   5.9 | 745M| 807 | 206 |4978 |4426 |4978 |2872 |8981 |1140 |  26k| 0.000000e+00 | 5.230600e+04 |    Inf 
1169.65/1169.76	c  1122s|310000 |309091 |  1895k|   6.1 | 769M| 807 |  24 |4978 |4451 |4978 |2872 |8981 |1192 |  27k| 0.000000e+00 | 5.230600e+04 |    Inf 
1220.86/1220.96	c  1170s|320000 |319048 |  2047k|   6.4 | 793M| 807 | 253 |4978 |4430 |4978 |2872 |8981 |1238 |  29k| 0.000000e+00 | 5.230600e+04 |    Inf 
1272.25/1272.39	c  1219s|330000 |329009 |  2211k|   6.7 | 817M| 807 | 337 |4978 |4420 |4978 |2872 |8992 |1296 |  30k| 0.000000e+00 | 5.230600e+04 |    Inf 
1317.45/1317.50	c  1262s|340000 |338947 |  2348k|   6.9 | 841M| 807 | 573 |4978 |4426 |4978 |2872 |9007 |1348 |  31k| 0.000000e+00 | 5.230600e+04 |    Inf 
1364.65/1364.71	c  1307s|350000 |348919 |  2480k|   7.1 | 865M| 807 | 141 |4978 |4394 |4978 |2872 |9066 |1369 |  33k| 0.000000e+00 | 5.230600e+04 |    Inf 
1396.35/1396.44	c  1337s|360000 |358913 |  2530k|   7.0 | 889M| 807 | 130 |4978 |4387 |4978 |2872 |9421 |1374 |  33k| 0.000000e+00 | 5.230600e+04 |    Inf 
1428.05/1428.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1428.05/1428.10	c  1367s|370000 |368903 |  2578k|   7.0 | 913M| 807 |   0 |4978 |4380 |4978 |2888 |9820 |1380 |  33k| 0.000000e+00 | 5.230600e+04 |    Inf 
1458.95/1459.01	c  1396s|380000 |378897 |  2620k|   6.9 | 936M| 807 |  51 |4978 |4376 |4978 |2872 |  10k|1384 |  34k| 0.000000e+00 | 5.230600e+04 |    Inf 
1490.96/1491.06	c  1427s|390000 |388891 |  2666k|   6.8 | 960M| 807 | 136 |4978 |4377 |4978 |2872 |  10k|1394 |  34k| 0.000000e+00 | 5.230600e+04 |    Inf 
1523.76/1523.89	c  1458s|400000 |398881 |  2722k|   6.8 | 984M| 807 |   0 |4978 |4376 |4978 |2892 |  11k|1399 |  34k| 0.000000e+00 | 5.230600e+04 |    Inf 
1558.03/1558.18	c  1491s|410000 |408857 |  2782k|   6.8 |1008M| 807 |  68 |4978 |4381 |4978 |2872 |  11k|1419 |  35k| 0.000000e+00 | 5.230600e+04 |    Inf 
1588.23/1588.31	c  1519s|420000 |418857 |  2816k|   6.7 |1032M| 807 | 123 |4978 |4379 |4978 |2872 |  12k|1419 |  35k| 0.000000e+00 | 5.230600e+04 |    Inf 
1620.72/1620.88	c  1551s|430000 |428853 |  2862k|   6.6 |1055M| 807 |  18 |4978 |4379 |4978 |2890 |  12k|1422 |  36k| 0.000000e+00 | 5.230600e+04 |    Inf 
1651.41/1651.54	c  1580s|440000 |438849 |  2909k|   6.6 |1079M| 807 |  45 |4978 |4373 |4978 |2872 |  13k|1424 |  36k| 0.000000e+00 | 5.230600e+04 |    Inf 
1682.41/1682.53	c  1609s|450000 |448843 |  2958k|   6.6 |1103M| 807 | 207 |4978 |4371 |4978 |2872 |  13k|1429 |  36k| 0.000000e+00 | 5.230600e+04 |    Inf 
1719.00/1719.13	c  1644s|460000 |458837 |  3024k|   6.6 |1127M| 807 |  37 |4978 |4366 |4978 |2872 |  14k|1435 |  37k| 0.000000e+00 | 5.230600e+04 |    Inf 
1760.28/1760.49	c  1683s|470000 |468793 |  3122k|   6.6 |1151M| 807 | 220 |4978 |4395 |4978 |2872 |  14k|1484 |  38k| 0.000000e+00 | 5.230600e+04 |    Inf 
1800.08/1800.20	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.20	c 
1800.08/1800.20	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.20	c Solving Time (sec) : 1720.78
1800.08/1800.20	c Solving Nodes      : 479405
1800.08/1800.20	c Primal Bound       : +5.23060000000000e+04 (100 solutions)
1800.08/1800.20	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.20	c Gap                : infinite
1800.08/1800.24	s SATISFIABLE
1800.08/1800.24	v -x2913 x2912 -x2911 -x2910 x2909 x2908 x2907 x2906 x2905 x2904 x2903 x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 
1800.08/1800.24	v -x2893 -x2892 -x2891 -x2890 x2889 x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880 -x2879 x2878 x2877 -x2876 
1800.08/1800.24	v -x2875 -x2874 -x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 x2859 -x2858 
1800.08/1800.24	v -x2857 -x2856 x2855 -x2854 x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 
1800.08/1800.24	v -x2839 -x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 
1800.08/1800.24	v -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 
1800.08/1800.24	v -x2803 -x2802 -x2801 -x2800 x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 
1800.08/1800.24	v -x2785 -x2784 -x2783 -x2782 x2781 -x2780 -x2779 -x2778 x2777 -x2776 -x2775 -x2774 -x2773 -x2772 -x2771 -x2770 -x2769 -x2768 
1800.08/1800.24	v -x2767 x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 x2755 -x2754 -x2753 -x2752 -x2751 -x2750 
1800.08/1800.24	v -x2749 -x2748 -x2747 -x2746 x2745 -x2744 x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 x2734 -x2733 -x2732 -x2731 
1800.08/1800.24	v -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 
1800.08/1800.24	v -x2712 -x2711 -x2710 x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 
1800.08/1800.24	v -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2682 -x2681 -x2680 -x2679 -x2678 
1800.08/1800.24	v -x2677 -x2676 -x2675 -x2674 x2673 x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 
1800.08/1800.24	v -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 x2643 -x2642 -x2641 
1800.08/1800.24	v -x2640 -x2639 x2638 x2637 -x2636 -x2635 -x2634 -x2633 -x2632 x2631 -x2630 -x2629 -x2628 -x2627 x2626 -x2625 -x2624 -x2623 
1800.08/1800.24	v -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 x2610 x2609 x2608 x2607 x2606 x2605 x2604 
1800.08/1800.24	v -x2603 x2602 -x2601 -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 x2589 x2588 -x2587 -x2586 
1800.08/1800.24	v -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 
1800.08/1800.24	v -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 x2552 x2551 -x2550 
1800.08/1800.24	v -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 
1800.08/1800.24	v -x2531 x2530 -x2529 -x2528 -x2527 -x2526 x2525 x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 
1800.08/1800.24	v -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 x2502 x2501 x2500 x2499 -x2498 -x2497 -x2496 -x2495 
1800.08/1800.24	v x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 x2480 -x2479 -x2478 -x2477 
1800.08/1800.24	v -x2476 -x2475 -x2474 -x2473 x2472 x2471 x2470 -x2469 x2468 x2467 x2466 -x2465 -x2464 -x2463 -x2462 -x2461 -x2460 -x2459 x2458 
1800.08/1800.24	v x2457 x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 x2444 x2443 -x2442 x2441 -x2440 
1800.08/1800.24	v -x2439 -x2438 -x2437 -x2436 x2435 -x2434 x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 x2422 -x2421 
1800.08/1800.24	v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 x2411 x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 
1800.08/1800.24	v -x2402 -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 
1800.08/1800.24	v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 x2368 -x2367 
1800.08/1800.24	v -x2366 -x2365 -x2364 -x2363 -x2362 x2361 x2360 x2359 -x2358 -x2357 x2356 x2355 -x2354 -x2353 -x2352 -x2351 x2350 -x2349 
1800.08/1800.24	v -x2348 -x2347 -x2346 x2345 x2344 x2343 x2342 x2341 x2340 x2339 x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 
1800.08/1800.24	v -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 
1800.08/1800.24	v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 
1800.08/1800.24	v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 
1800.08/1800.24	v -x2275 -x2274 -x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 x2264 x2263 -x2262 x2261 x2260 x2259 -x2258 -x2257 
1800.08/1800.24	v -x2256 -x2255 x2254 -x2253 x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 x2241 -x2240 -x2239 
1800.08/1800.24	v -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 
1800.08/1800.24	v -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 
1800.08/1800.24	v -x2202 -x2201 x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 
1800.08/1800.24	v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 
1800.08/1800.24	v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 x2152 -x2151 -x2150 -x2149 
1800.08/1800.24	v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 
1800.08/1800.24	v -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 -x2123 x2122 -x2121 x2120 x2119 x2118 -x2117 -x2116 -x2115 -x2114 -x2113 
1800.08/1800.24	v -x2112 -x2111 -x2110 -x2109 x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 
1800.08/1800.24	v x2094 -x2093 -x2092 x2091 x2090 x2089 -x2088 -x2087 -x2086 -x2085 x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 x2076 
1800.08/1800.24	v -x2075 -x2074 -x2073 x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 x2062 -x2061 x2060 x2059 -x2058 
1800.08/1800.24	v -x2057 x2056 x2055 x2054 x2053 -x2052 -x2051 -x2050 -x2049 x2048 -x2047 -x2046 x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 
1800.08/1800.24	v -x2038 -x2037 -x2036 -x2035 x2034 -x2033 x2032 x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 
1800.08/1800.24	v -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 
1800.08/1800.24	v -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985 
1800.08/1800.24	v -x1984 x1983 -x1982 -x1981 -x1980 -x1979 -x1978 x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967 
1800.08/1800.24	v -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 x1954 x1953 -x1952 -x1951 -x1950 -x1949 
1800.08/1800.24	v -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 
1800.08/1800.24	v -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 x1915 -x1914 -x1913 
1800.08/1800.24	v -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 x1905 -x1904 -x1903 -x1902 x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 
1800.08/1800.24	v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877 
1800.08/1800.24	v -x1876 -x1875 x1874 -x1873 -x1872 x1871 x1870 -x1869 -x1868 x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 x1860 -x1859 x1858 
1800.08/1800.24	v -x1857 -x1856 x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 x1848 -x1847 -x1846 -x1845 -x1844 -x1843 x1842 -x1841 -x1840 
1800.08/1800.24	v -x1839 -x1838 -x1837 x1836 x1835 -x1834 -x1833 x1832 x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 x1824 x1823 x1822 x1821 
1800.08/1800.24	v -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 x1804 -x1803 
1800.08/1800.24	v -x1802 -x1801 x1800 -x1799 x1798 -x1797 -x1796 x1795 x1794 x1793 -x1792 -x1791 -x1790 -x1789 x1788 x1787 -x1786 x1785 x1784 
1800.08/1800.24	v x1783 x1782 x1781 -x1780 -x1779 -x1778 -x1777 x1776 -x1775 -x1774 x1773 -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 
1800.08/1800.24	v x1764 -x1763 -x1762 x1761 x1760 x1759 x1758 x1757 -x1756 -x1755 -x1754 -x1753 x1752 x1751 x1750 x1749 -x1748 -x1747 -x1746 
1800.08/1800.24	v x1745 -x1744 -x1743 -x1742 -x1741 x1740 -x1739 x1738 x1737 -x1736 -x1735 -x1734 x1733 -x1732 -x1731 -x1730 -x1729 x1728 x1727 
1800.08/1800.24	v -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 
1800.08/1800.24	v -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 
1800.08/1800.24	v -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 x1678 x1677 -x1676 x1675 -x1674 -x1673 
1800.08/1800.24	v x1672 -x1671 -x1670 -x1669 x1668 -x1667 -x1666 x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 x1656 x1655 -x1654 
1800.08/1800.24	v -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 -x1644 x1643 -x1642 -x1641 -x1640 x1639 -x1638 -x1637 -x1636 
1800.08/1800.24	v -x1635 -x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 x1620 x1619 x1618 
1800.08/1800.24	v -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 
1800.08/1800.24	v -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592 x1591 x1590 x1589 -x1588 -x1587 -x1586 x1585 x1584 -x1583 -x1582 -x1581 
1800.08/1800.24	v -x1580 -x1579 -x1578 -x1577 x1576 -x1575 -x1574 x1573 x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 
1800.08/1800.24	v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 x1547 -x1546 x1545 -x1544 
1800.08/1800.24	v -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 
1800.08/1800.24	v -x1526 -x1525 -x1524 -x1523 -x1522 x1521 -x1520 x1519 x1518 x1517 -x1516 -x1515 -x1514 -x1513 x1512 -x1511 -x1510 -x1509 -x1508 
1800.08/1800.24	v -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 x1499 x1498 -x1497 -x1496 -x1495 -x1494 x1493 -x1492 -x1491 -x1490 
1800.08/1800.24	v -x1489 x1488 x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 x1475 -x1474 -x1473 -x1472 -x1471 
1800.08/1800.24	v -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 
1800.08/1800.24	v -x1452 -x1451 -x1450 -x1449 x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 x1440 -x1439 -x1438 -x1437 -x1436 -x1435 
1800.08/1800.24	v -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 
1800.08/1800.24	v -x1416 -x1415 -x1414 x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 x1404 -x1403 -x1402 -x1401 -x1400 -x1399 
1800.08/1800.24	v -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 x1383 x1382 x1381 
1800.08/1800.24	v x1380 x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 x1371 -x1370 -x1369 x1368 x1367 -x1366 -x1365 -x1364 x1363 x1362 
1800.08/1800.24	v x1361 x1360 x1359 x1358 x1357 x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 
1800.08/1800.24	v -x1342 -x1341 -x1340 -x1339 x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 x1326 -x1325 
1800.08/1800.24	v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 
1800.08/1800.24	v -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293 -x1292 -x1291 x1290 -x1289 
1800.08/1800.24	v -x1288 -x1287 -x1286 -x1285 -x1284 x1283 x1282 x1281 -x1280 x1279 x1278 x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 
1800.08/1800.24	v -x1269 -x1268 -x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 x1260 x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 x1252 
1800.08/1800.24	v -x1251 -x1250 -x1249 x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 x1236 -x1235 -x1234 -x1233 
1800.08/1800.24	v -x1232 x1231 x1230 x1229 -x1228 x1227 x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 
1800.08/1800.24	v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 x1206 x1205 x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 
1800.08/1800.24	v -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 
1800.08/1800.24	v -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 
1800.08/1800.24	v -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 
1800.08/1800.24	v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 
1800.08/1800.24	v -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 
1800.08/1800.24	v -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 
1800.08/1800.24	v -x1088 -x1087 -x1086 x1085 -x1084 x1083 -x1082 -x1081 x1080 -x1079 -x1078 -x1077 -x1076 x1075 -x1074 -x1073 -x1072 x1071 x1070 
1800.08/1800.24	v x1069 x1068 x1067 x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 
1800.08/1800.24	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 
1800.08/1800.24	v -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 
1800.08/1800.24	v -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 x1000 -x999 -x998 -x997 
1800.08/1800.24	v -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 x979 -x978 x977 x976 
1800.08/1800.24	v x975 x974 -x973 x972 x971 -x970 -x969 -x968 x967 -x966 -x965 -x964 x963 -x962 x961 -x960 -x959 x958 x957 x956 x955 -x954 x953 
1800.08/1800.24	v -x952 -x951 x950 x949 -x948 x947 -x946 -x945 x944 x943 x942 x941 -x940 x939 x938 x937 x936 -x935 -x934 -x933 -x932 -x931 -x930 
1800.08/1800.24	v -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 
1800.08/1800.24	v -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 x894 x893 x892 -x891 x890 -x889 -x888 x887 
1800.08/1800.24	v x886 x885 x884 -x883 -x882 x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 
1800.08/1800.24	v -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 x848 -x847 -x846 -x845 -x844 
1800.08/1800.24	v -x843 -x842 -x841 -x840 x839 x838 x837 -x836 x835 x834 x833 x832 -x831 -x830 -x829 x828 x827 -x826 -x825 x824 x823 x822 -x821 
1800.08/1800.24	v -x820 -x819 x818 -x817 x816 -x815 x814 -x813 -x812 -x811 -x810 x809 x808 x807 x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 
1800.08/1800.24	v -x798 -x797 x796 -x795 -x794 x793 x792 -x791 -x790 x789 -x788 -x787 x786 -x785 x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 
1800.08/1800.24	v -x776 x775 -x774 -x773 x772 x771 -x770 -x769 -x768 x767 -x766 -x765 x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 
1800.08/1800.24	v -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 x747 -x746 -x745 -x744 -x743 x742 x741 -x740 -x739 x738 -x737 -x736 -x735 -x734 
1800.08/1800.24	v -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 x725 x724 -x723 -x722 x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 
1800.08/1800.24	v -x711 -x710 -x709 -x708 -x707 x706 -x705 -x704 x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 
1800.08/1800.24	v x690 x689 x688 x687 -x686 x685 x684 -x683 x682 -x681 -x680 x679 -x678 -x677 x676 -x675 -x674 x673 x672 x671 x670 -x669 -x668 
1800.08/1800.24	v x667 -x666 -x665 x664 -x663 -x662 -x661 -x660 -x659 x658 -x657 -x656 x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 -x647 x646 
1800.08/1800.24	v -x645 x644 x643 x642 -x641 -x640 -x639 -x638 -x637 -x636 x635 x634 x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 x625 -x624 
1800.08/1800.24	v x623 -x622 -x621 x620 x619 -x618 -x617 -x616 x615 -x614 -x613 x612 x611 x610 -x609 -x608 x607 -x606 -x605 x604 -x603 -x602 
1800.08/1800.24	v -x601 -x600 x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 
1800.08/1800.24	v -x579 -x578 x577 -x576 -x575 -x574 x573 -x572 x571 x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 x562 -x561 -x560 -x559 x558 
1800.08/1800.24	v x557 x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 x545 -x544 x543 -x542 x541 -x540 -x539 -x538 -x537 -x536 
1800.08/1800.24	v -x535 x534 -x533 -x532 x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 
1800.08/1800.24	v x514 x513 x512 -x511 x510 -x509 x508 x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 
1800.08/1800.24	v x492 x491 x490 -x489 -x488 -x487 -x486 -x485 -x484 x483 -x482 -x481 x480 x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 
1800.08/1800.24	v -x470 -x469 x468 -x467 -x466 x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 
1800.08/1800.24	v -x449 -x448 x447 x446 -x445 x444 -x443 -x442 x441 -x440 x439 -x438 -x437 -x436 -x435 x434 x433 -x432 x431 x430 -x429 x428 -x427 
1800.08/1800.24	v x426 x425 -x424 -x423 -x422 x421 -x420 -x419 x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 
1800.08/1800.24	v -x404 x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 x387 -x386 x385 -x384 
1800.08/1800.24	v x383 -x382 x381 -x380 x379 -x378 -x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 x362 
1800.08/1800.24	v -x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 x341 -x340 
1800.08/1800.24	v -x339 x338 -x337 x336 -x335 x334 -x333 -x332 -x331 x330 x329 x328 -x327 -x326 -x325 x324 -x323 -x322 x321 x320 -x319 -x318 
1800.08/1800.24	v x317 -x316 x315 -x314 x313 -x312 -x311 -x310 x309 -x308 -x307 -x306 -x305 x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 
1800.08/1800.24	v -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 
1800.08/1800.24	v -x274 -x273 -x272 -x271 x270 -x269 x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 x259 -x258 -x257 -x256 -x255 x254 
1800.08/1800.24	v -x253 -x252 -x251 -x250 -x249 -x248 x247 x246 x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 
1800.08/1800.24	v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 
1800.08/1800.24	v x210 x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 
1800.08/1800.24	v x189 x188 -x187 -x186 -x185 x184 x183 x182 x181 -x180 x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 x171 -x170 x169 -x168 -x167 
1800.08/1800.24	v x166 x165 x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 x154 x153 x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 
1800.08/1800.24	v x144 -x143 x142 -x141 x140 x139 x138 x137 -x136 x135 -x134 -x133 x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 x123 
1800.08/1800.24	v -x122 -x121 x120 -x119 -x118 x117 x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 x101 
1800.08/1800.24	v -x100 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 
1800.08/1800.24	v x74 x73 -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 
1800.08/1800.24	v -x47 -x46 x45 -x44 -x43 x42 -x41 -x40 x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 -x28 -x27 x26 -x25 x24 -x23 x22 
1800.08/1800.24	v -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 x11 -x10 -x9 -x8 x7 -x6 -x5 -x4 -x3 x2 -x1 
1800.08/1800.24	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.24	c Solving Time       :    1720.78
1800.08/1800.24	c Original Problem   :
1800.08/1800.24	c   Problem name     : HOME/instance-2692970-1277913021.wbo
1800.08/1800.24	c   Variables        : 5005 (3959 binary, 0 integer, 0 implicit integer, 1046 continuous)
1800.08/1800.24	c   Constraints      : 4152 initial, 4152 maximal
1800.08/1800.24	c Presolved Problem  :
1800.08/1800.24	c   Problem name     : t_HOME/instance-2692970-1277913021.wbo
1800.08/1800.24	c   Variables        : 4978 (3932 binary, 0 integer, 0 implicit integer, 1046 continuous)
1800.08/1800.24	c   Constraints      : 4119 initial, 4479 maximal
1800.08/1800.24	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.24	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.24	c   dualfix          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.24	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.24	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.24	c   implics          :       0.00          0         27          0          0          0          0          0          0
1800.08/1800.24	c   probing          :       0.04          0          0          0          0          0          0          0          0
1800.08/1800.24	c   indicator        :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.24	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.24	c   knapsack         :       0.01          0          0          0          0          0          0         22         76
1800.08/1800.24	c   setppc           :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.24	c   linear           :       0.08          0          0          0       1046          0         55        514       1028
1800.08/1800.24	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.24	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.24	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.24	c   integral         :          0          0          0     481433          0          0       1021          0          0     823110
1800.08/1800.24	c   indicator        :       1046          0     979862      69039          0          0      54333          0          0          0
1800.08/1800.24	c   varbound         :          1          6     266980       6545          0          0          0          1          0          0
1800.08/1800.24	c   knapsack         :        574          6     979862      69039          0        620     329024       1204          0          0
1800.08/1800.24	c   setppc           :         22          6     973801      67798          0          0       3318          0          0          0
1800.08/1800.24	c   linear           :       1045          6     979242      69039          0          1      80543      13325          0          0
1800.08/1800.24	c   logicor          :       1431+         6     343755      67242          0         21     290454          0          0          0
1800.08/1800.24	c   countsols        :          0          0          0      67242          0          0          0          0          0          0
1800.08/1800.24	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.24	c   integral         :     175.62       0.00       0.00     175.62       0.00
1800.08/1800.24	c   indicator        :      25.13       0.00      17.62       7.51       0.00
1800.08/1800.24	c   varbound         :       0.05       0.00       0.05       0.00       0.00
1800.08/1800.24	c   knapsack         :      16.37       0.03      15.57       0.77       0.00
1800.08/1800.24	c   setppc           :       0.23       0.00       0.20       0.03       0.00
1800.08/1800.24	c   linear           :      21.97       0.00      14.74       7.23       0.00
1800.08/1800.24	c   logicor          :       2.69       0.00       1.08       1.61       0.00
1800.08/1800.24	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.24	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.24	c   vbounds          :       0.16       2631          0       1209
1800.08/1800.24	c   rootredcost      :       0.08          1          0          0
1800.08/1800.24	c   pseudoobj        :      24.27     979659          0          0
1800.08/1800.24	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.24	c   propagation      :       0.00        642        642       2338       20.0         15       15.6          -
1800.08/1800.24	c   infeasible LP    :       0.09        329        295        323        5.3          1        3.0          0
1800.08/1800.24	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.24	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.24	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.24	c   applied globally :          -          -          -       1511       14.5          -          -          -
1800.08/1800.24	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.08/1800.24	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.24	c   cut pool         :       0.00          5          -          -        295          -    (maximal pool size: 1377)
1800.08/1800.24	c   redcost          :      45.30     481438          0          0          0          0
1800.08/1800.24	c   impliedbounds    :       0.01          6          0          0         72          0
1800.08/1800.24	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.24	c   cgmip            :       0.00          0          0          0          0          0
1800.08/1800.24	c   gomory           :       0.13          6          0          0        123          0
1800.08/1800.24	c   strongcg         :       0.13          6          0          0         88          0
1800.08/1800.24	c   cmir             :       0.35          6          0          0        344          0
1800.08/1800.24	c   flowcover        :       0.86          6          0          0        968          0
1800.08/1800.24	c   clique           :       0.00          6          0          0          0          0
1800.08/1800.24	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.24	c   mcf              :       0.01          1          0          0          0          0
1800.08/1800.24	c   rapidlearning    :       0.00          0          0          0          0          0
1800.08/1800.24	c Pricers            :       Time      Calls       Vars
1800.08/1800.24	c   problem variables:       0.00          0          0
1800.08/1800.24	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.24	c   relpscost        :     175.46     412394          0       1021          0          0     823110
1800.08/1800.24	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.24	c   inference        :      21.15      67242          0          0          0          0     134484
1800.08/1800.24	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.24	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.24	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.24	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.24	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.24	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.24	c   LP solutions     :       0.00          -          0
1800.08/1800.24	c   pseudo solutions :       0.00          -          0
1800.08/1800.24	c   oneopt           :       0.18          1          0
1800.08/1800.24	c   feaspump         :       0.02          1          0
1800.08/1800.24	c   crossover        :       0.63         11          0
1800.08/1800.24	c   intshifting      :       0.26         38          0
1800.08/1800.24	c   objpscostdiving  :       6.56         94          0
1800.08/1800.24	c   rootsoldiving    :       9.84        229          0
1800.08/1800.24	c   guideddiving     :      12.37        722          0
1800.08/1800.24	c   coefdiving       :      21.02        722          0
1800.08/1800.24	c   pscostdiving     :      19.36        723          0
1800.08/1800.24	c   fracdiving       :      15.72        723          0
1800.08/1800.24	c   veclendiving     :      13.60        723          0
1800.08/1800.24	c   linesearchdiving :      18.95        723          0
1800.08/1800.24	c   trivial          :       0.00          2          0
1800.08/1800.24	c   simplerounding   :       0.67     403178          0
1800.08/1800.24	c   zirounding       :       0.25       1000          0
1800.08/1800.24	c   rounding         :       0.95       8944          0
1800.08/1800.24	c   shifting         :       6.00       2763          0
1800.08/1800.24	c   twoopt           :       0.00          0          0
1800.08/1800.24	c   fixandinfer      :       0.00          0          0
1800.08/1800.24	c   intdiving        :       0.00          0          0
1800.08/1800.24	c   actconsdiving    :       0.00          0          0
1800.08/1800.24	c   octane           :       0.00          0          0
1800.08/1800.24	c   rens             :       0.09          1          0
1800.08/1800.24	c   rins             :       0.00          0          0
1800.08/1800.24	c   localbranching   :       0.00          0          0
1800.08/1800.24	c   mutation         :       0.00          0          0
1800.08/1800.24	c   dins             :       0.00          0          0
1800.08/1800.24	c   undercover       :       0.00          0          0
1800.08/1800.24	c   nlp              :       0.06          0          0
1800.08/1800.24	c   trysol           :       1.11       3979        100
1800.08/1800.24	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.24	c   primal LP        :       0.01          0          0       0.00       0.00
1800.08/1800.24	c   dual LP          :    1015.01     406920    3066988       7.54    3021.63
1800.08/1800.24	c   lex dual LP      :       0.00          0          0       0.00          -
1800.08/1800.24	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.24	c   diving/probing LP:      88.08      39514     157240       3.98    1785.20
1800.08/1800.24	c   strong branching :     159.29      39423     423658      10.75    2659.66
1800.08/1800.24	c     (at root node) :          -         18       2540     141.11          -
1800.08/1800.24	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.24	c B&B Tree           :
1800.08/1800.24	c   number of runs   :          1
1800.08/1800.24	c   nodes            :     479405
1800.08/1800.24	c   nodes (total)    :     479405
1800.08/1800.24	c   nodes left       :     478180
1800.08/1800.24	c   max depth        :        807
1800.08/1800.24	c   max depth (total):        807
1800.08/1800.24	c   backtracks       :       1243 (0.3%)
1800.08/1800.24	c   delayed cutoffs  :         10
1800.08/1800.24	c   repropagations   :      40442 (1294 domain reductions, 10 cutoffs)
1800.08/1800.24	c   avg switch length:       2.28
1800.08/1800.24	c   switching time   :      33.67
1800.08/1800.24	c Solution           :
1800.08/1800.24	c   Solutions found  :        100 (1 improvements)
1800.08/1800.24	c   First Solution   : +5.23060000000000e+04   (in run 1, after 16 nodes, 15.01 seconds, depth 870, found by <trysol>)
1800.08/1800.24	c   Primal Bound     : +5.23060000000000e+04   (in run 1, after 16 nodes, 15.01 seconds, depth 870, found by <trysol>)
1800.08/1800.24	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.24	c   Gap              :   infinite
1800.08/1800.24	c   Root Dual Bound  : +0.00000000000000e+00
1800.08/1800.24	c   Root Iterations  :       3293
1800.68/1800.88	c Time complete: 1800.76.

Verifier Data 

OK	6555

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2692970-1277913021/watcher-2692970-1277913021 -o /tmp/evaluation-result-2692970-1277913021/solver-2692970-1277913021 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692970-1277913021.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: 2.01 2.31 2.38 4/176 14023
/proc/meminfo: memFree=31271236/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=11008 CPUtime=0
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 132598626 11272192 1595 4089446400 4194304 9819077 140735182990016 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14023/statm: 2752 1595 392 1374 0 1373 0

[startup+0.0972539 s]
/proc/loadavg: 2.01 2.31 2.38 4/176 14023
/proc/meminfo: memFree=31271236/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=32604 CPUtime=0.09
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 7745 0 0 0 8 1 0 0 25 0 1 0 132598626 33386496 6797 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 8151 6797 500 1374 0 6772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32604

[startup+0.101245 s]
/proc/loadavg: 2.01 2.31 2.38 4/176 14023
/proc/meminfo: memFree=31271236/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=32604 CPUtime=0.09
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 8002 0 0 0 8 1 0 0 25 0 1 0 132598626 33386496 6797 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 8151 6797 500 1374 0 6772 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32604

[startup+0.300207 s]
/proc/loadavg: 2.01 2.31 2.38 4/176 14023
/proc/meminfo: memFree=31271236/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=47832 CPUtime=0.29
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 15136 0 0 0 27 2 0 0 18 0 1 0 132598626 48979968 10273 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 11958 10273 677 1374 0 10579 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47832

[startup+0.701138 s]
/proc/loadavg: 2.01 2.31 2.38 4/176 14023
/proc/meminfo: memFree=31271236/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=50024 CPUtime=0.69
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 15956 0 0 0 67 2 0 0 18 0 1 0 132598626 51224576 10632 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 12506 10632 698 1374 0 11127 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50024

[startup+1.50102 s]
/proc/loadavg: 2.01 2.31 2.38 3/177 14024
/proc/meminfo: memFree=31228448/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=54564 CPUtime=1.49
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 17880 0 0 0 146 3 0 0 19 0 1 0 132598626 55873536 11530 4089446400 4194304 9819077 140735182990016 18446744073709551615 5734260 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 13641 11530 698 1374 0 12262 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54564

[startup+3.10073 s]
/proc/loadavg: 2.01 2.31 2.38 3/177 14026
/proc/meminfo: memFree=31224356/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=60348 CPUtime=3.09
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 59508 0 0 0 300 9 0 0 23 0 1 0 132598626 61796352 11821 4089446400 4194304 9819077 140735182990016 18446744073709551615 6391565 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 15087 11822 726 1374 0 13708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60348

[startup+6.30019 s]
/proc/loadavg: 2.01 2.31 2.38 3/177 14026
/proc/meminfo: memFree=31223432/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=60384 CPUtime=6.29
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 149480 0 0 0 608 21 0 0 25 0 1 0 132598626 61833216 11762 4089446400 4194304 9819077 140735182990016 18446744073709551615 7291608 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 15096 11762 726 1374 0 13717 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60384

[startup+12.7011 s]
/proc/loadavg: 2.01 2.30 2.37 3/177 14026
/proc/meminfo: memFree=31222252/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=53964 CPUtime=12.69
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 358526 0 0 0 1224 45 0 0 25 0 1 0 132598626 55259136 11732 4089446400 4194304 9819077 140735182990016 18446744073709551615 7261274 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 13491 11734 729 1374 0 12112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53964

[startup+25.5009 s]
/proc/loadavg: 2.01 2.28 2.37 3/177 14026
/proc/meminfo: memFree=31218456/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=61280 CPUtime=25.49
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 649636 0 0 0 2464 85 0 0 25 0 1 0 132598626 62750720 12403 4089446400 4194304 9819077 140735182990016 18446744073709551615 7228640 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 15320 12405 738 1374 0 13941 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61280

[startup+51.1006 s]
/proc/loadavg: 2.00 2.26 2.36 3/177 14026
/proc/meminfo: memFree=31200936/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=58000 CPUtime=51.09
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 1244955 0 0 0 4937 172 0 0 25 0 1 0 132598626 59392000 12773 4089446400 4194304 9819077 140735182990016 18446744073709551615 4819272 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 14500 12773 739 1374 0 13121 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58000

[startup+102.307 s]
/proc/loadavg: 2.00 2.22 2.34 3/177 14028
/proc/meminfo: memFree=31152196/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=81200 CPUtime=102.29
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 2027944 0 0 0 9908 321 0 0 25 0 1 0 132598626 83148800 18491 4089446400 4194304 9819077 140735182990016 18446744073709551615 5813729 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 20300 18491 739 1374 0 18921 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 81200

[startup+162.301 s]
/proc/loadavg: 2.05 2.19 2.32 3/177 14030
/proc/meminfo: memFree=31093260/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=119344 CPUtime=162.28
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 3193387 0 0 0 15707 521 0 0 25 0 1 0 132598626 122208256 28099 4089446400 4194304 9819077 140735182990016 18446744073709551615 6671049 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 29836 28099 740 1374 0 28457 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 119344

[startup+222.301 s]
/proc/loadavg: 2.02 2.15 2.30 3/177 14030
/proc/meminfo: memFree=31015860/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=171480 CPUtime=222.27
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 4484587 0 0 0 21509 718 0 0 25 0 1 0 132598626 175595520 41410 4089446400 4194304 9819077 140735182990016 18446744073709551615 4740365 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/14023/statm: 42870 41410 740 1374 0 41491 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 171480

[startup+282.301 s]
/proc/loadavg: 2.00 2.12 2.27 3/177 14032
/proc/meminfo: memFree=30932368/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=229700 CPUtime=282.24
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 5540497 0 0 0 27335 889 0 0 25 0 1 0 132598626 235212800 55501 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14023/statm: 57425 55501 740 1374 0 56046 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 229700

[startup+342.3 s]
/proc/loadavg: 2.00 2.10 2.25 3/177 14034
/proc/meminfo: memFree=30859436/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=279280 CPUtime=342.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 6568909 0 0 0 33167 1058 0 0 25 0 1 0 132598626 285982720 67956 4089446400 4194304 9819077 140735182990016 18446744073709551615 6671086 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14023/statm: 69820 67956 740 1374 0 68441 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 279280

[startup+402.3 s]
/proc/loadavg: 2.00 2.08 2.24 3/177 14036
/proc/meminfo: memFree=30782388/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=332160 CPUtime=402.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 7750394 0 0 0 38982 1243 0 0 25 0 1 0 132598626 340131840 81200 4089446400 4194304 9819077 140735182990016 18446744073709551615 4651300 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14023/statm: 83040 81200 740 1374 0 81661 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 332160

[startup+462.301 s]
/proc/loadavg: 2.00 2.06 2.22 3/177 14038
/proc/meminfo: memFree=30714168/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=378744 CPUtime=462.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 9282649 0 0 0 44742 1483 0 0 25 0 1 0 132598626 387833856 92828 4089446400 4194304 9819077 140735182990016 18446744073709551615 6361888 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14023/statm: 94686 92828 740 1374 0 93307 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 378744

[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.20 3/177 14038
/proc/meminfo: memFree=30658224/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=417492 CPUtime=522.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 11105230 0 0 0 50473 1752 0 0 25 0 1 0 132598626 427511808 102839 4089446400 4194304 9819077 140735182990016 18446744073709551615 7286958 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14023/statm: 104373 102840 740 1374 0 102994 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 417492

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.18 3/177 14040
/proc/meminfo: memFree=30595452/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=457592 CPUtime=582.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 12652178 0 0 0 56230 1995 0 0 25 0 1 0 132598626 468574208 112802 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14023/statm: 114398 112802 740 1374 0 113019 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 457592

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.17 3/177 14051
/proc/meminfo: memFree=30532296/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=499448 CPUtime=642.26
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 14201358 0 0 0 61992 2234 0 0 25 0 1 0 132598626 511434752 123272 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/14023/statm: 124862 123272 740 1374 0 123483 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 499448

[startup+702.301 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.12 3/177 14059
/proc/meminfo: memFree=30300944/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=669840 CPUtime=942.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 20892789 0 0 0 90618 3607 0 0 25 0 1 0 132598626 685916160 165048 4089446400 4194304 9819077 140735182990016 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 167460 165050 745 1374 0 166081 0
Current children cumulated CPU time (s) 942.25
Current children cumulated vsize (KiB) 669840

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/177 14061
/proc/meminfo: memFree=30252436/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=701976 CPUtime=1002.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 22199313 0 0 0 96339 3886 0 0 25 0 1 0 132598626 718823424 173162 4089446400 4194304 9819077 140735182990016 18446744073709551615 6513043 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 175494 173162 745 1374 0 174115 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 701976

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/177 14063
/proc/meminfo: memFree=30211736/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=734984 CPUtime=1062.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 23870479 0 0 0 102021 4204 0 0 25 0 1 0 132598626 752623616 181425 4089446400 4194304 9819077 140735182990016 18446744073709551615 6372759 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 183746 181425 745 1374 0 182367 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 734984

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 14063
/proc/meminfo: memFree=30164344/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=770980 CPUtime=1122.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 25554999 0 0 0 107699 4526 0 0 25 0 1 0 132598626 789483520 190536 4089446400 4194304 9819077 140735182990016 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 192745 190536 745 1374 0 191366 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 770980

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.09 3/177 14065
/proc/meminfo: memFree=30113356/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=803832 CPUtime=1182.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 27219450 0 0 0 113381 4844 0 0 25 0 1 0 132598626 823123968 198999 4089446400 4194304 9819077 140735182990016 18446744073709551615 6371768 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 200958 198999 746 1374 0 199579 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 803832

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.08 3/177 14067
/proc/meminfo: memFree=30066452/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=830216 CPUtime=1242.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 28859973 0 0 0 119078 5147 0 0 25 0 1 0 132598626 850141184 205629 4089446400 4194304 9819077 140735182990016 18446744073709551615 6371751 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 207554 205629 746 1374 0 206175 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 830216

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 14069
/proc/meminfo: memFree=30011244/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=859256 CPUtime=1302.26
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 30511919 0 0 0 124764 5462 0 0 25 0 1 0 132598626 879878144 212730 4089446400 4194304 9819077 140735182990016 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 214814 212730 746 1374 0 213435 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 859256

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.08 3/177 14071
/proc/meminfo: memFree=29960992/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=890824 CPUtime=1362.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 32137872 0 0 0 130455 5770 0 0 25 0 1 0 132598626 912203776 220762 4089446400 4194304 9819077 140735182990016 18446744073709551615 6590270 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 222706 220762 746 1374 0 221327 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 890824

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.07 3/177 14071
/proc/meminfo: memFree=29900344/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=933080 CPUtime=1422.26
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 33763425 0 0 0 136134 6092 0 0 25 0 1 0 132598626 955473920 231270 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 233270 231270 746 1374 0 231891 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 933080

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 14073
/proc/meminfo: memFree=29835964/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=979912 CPUtime=1482.25
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 35042053 0 0 0 141850 6375 0 0 25 0 1 0 132598626 1003429888 243150 4089446400 4194304 9819077 140735182990016 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 244978 243150 746 1374 0 243599 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 979912

[startup+1542.3 s]
/proc/loadavg: 1.91 1.98 2.05 2/196 14156
/proc/meminfo: memFree=30278400/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=1022072 CPUtime=1542.23
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 36264684 0 0 0 147580 6643 0 0 25 0 1 0 132598626 1046601728 253692 4089446400 4194304 9819077 140735182990016 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14023/statm: 255518 253692 746 1374 0 254139 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 1022072

[startup+1602.3 s]
/proc/loadavg: 1.97 1.98 2.05 3/177 14192
/proc/meminfo: memFree=30267448/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=1065064 CPUtime=1602.22
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 37696086 0 0 0 153282 6940 0 0 25 0 1 0 132598626 1090625536 264754 4089446400 4194304 9819077 140735182990016 18446744073709551615 7225008 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14023/statm: 266266 264754 746 1374 0 264887 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 1065064

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 2.04 3/177 14194
/proc/meminfo: memFree=30077804/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=1110364 CPUtime=1662.21
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 38882402 0 0 0 159009 7212 0 0 25 0 1 0 132598626 1137012736 275939 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/14023/statm: 277591 275939 746 1374 0 276212 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 1110364

[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 2.04 3/177 14194
/proc/meminfo: memFree=29898552/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=1159756 CPUtime=1722.2
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 40302269 0 0 0 164705 7515 0 0 25 0 1 0 132598626 1187590144 286166 4089446400 4194304 9819077 140735182990016 18446744073709551615 6519532 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 289939 286166 746 1374 0 288560 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 1159756

[startup+1782.3 s]
/proc/loadavg: 2.06 2.00 2.03 3/177 14196
/proc/meminfo: memFree=29722552/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=1193676 CPUtime=1782.18
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 41986567 0 0 0 170383 7835 0 0 25 0 1 0 132598626 1222324224 294850 4089446400 4194304 9819077 140735182990016 18446744073709551615 6089682 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 298419 294850 746 1374 0 297040 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 1193676



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 2.04 2.00 2.03 3/177 14196
/proc/meminfo: memFree=29670704/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=1203320 CPUtime=1800.08
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 42474168 0 0 0 172082 7926 0 0 25 0 1 0 132598626 1232199680 297272 4089446400 4194304 9819077 140735182990016 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/14023/statm: 300830 297272 746 1374 0 299451 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1203320

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

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

[startup+1800.6 s]
/proc/loadavg: 2.04 2.00 2.03 3/178 14197
/proc/meminfo: memFree=29809080/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=1052380 CPUtime=1800.49
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 42474169 0 0 0 172121 7928 0 0 18 0 1 0 132598626 1077637120 259538 4089446400 4194304 9819077 140735182990016 18446744073709551615 6179937 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14023/statm: 263095 259538 747 1374 0 261716 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 1052380

[startup+1800.8 s]
/proc/loadavg: 2.04 2.00 2.03 3/178 14197
/proc/meminfo: memFree=29809080/32951132 swapFree=67111528/67111528
[pid=14023] ppid=14021 vsize=409912 CPUtime=1800.68
/proc/14023/stat : 14023 (pbscip.linux.x8) R 14021 14023 13735 0 -1 4202496 42474169 0 0 0 172138 7930 0 0 18 0 1 0 132598626 419749888 98921 4089446400 4194304 9819077 140735182990016 18446744073709551615 6179949 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14023/statm: 102429 98872 747 1374 0 101050 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 409912

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.77
CPU user time (s): 1721.45
CPU system time (s): 79.3199
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 1204848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1721.45
system time used= 79.3199
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42474173
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= 6
involuntary context switches= 1808

runsolver used 2.79557 second user time and 6.08007 second system time

The end

Launcher Data 

Begin job on node129 at 2010-06-30 17:50:21
IDJOB=2692970
IDBENCH=79007
IDSOLVER=1205
FILE ID=node129/2692970-1277913021
PBS_JOBID= 11197303
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-66-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-2692970-1277913021/watcher-2692970-1277913021 -o /tmp/evaluation-result-2692970-1277913021/solver-2692970-1277913021 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2692970-1277913021.wbo -t 1800 -m 3800

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

MD5SUM BENCH= fc4fc608292ff0814d25e97efc86eb19
RANDOM SEED=229567

node129.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.831
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.66
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.831
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.83
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.831
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.76
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.831
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.84
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.831
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	: 5410.05
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.831
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.831
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.831
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31271764 kB
Buffers:        200308 kB
Cached:        1079820 kB
SwapCached:          0 kB
Active:         831108 kB
Inactive:       704684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31271764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6576 kB
Writeback:           0 kB
AnonPages:      255472 kB
Mapped:          17136 kB
Slab:            79580 kB
PageTables:       5040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   410668 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74200 MiB
End job on node129 at 2010-06-30 18:20:24