Trace number 2703711

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solverSAT0 1789.78 1790.24

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mkc.opb
MD5SUMeae2e8a732d92a062f083ccb58900b63
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59125
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -144250
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 20000
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 31442101
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 67108864000
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 138201238403
Number of bits of the biggest sum of numbers38
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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2703711-1278560383.opb>
0.05/0.09	c original problem has 5383 variables (5383 bin, 0 int, 0 impl, 0 cont) and 3279 constraints
0.05/0.09	c problem read
0.05/0.09	c presolving settings loaded
0.09/0.16	o 0
0.09/0.16	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.09/0.16	c presolving:
0.19/0.20	c (round 1) 2024 del vars, 1991 del conss, 87 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5842 impls, 252 clqs
0.19/0.21	c (round 2) 2073 del vars, 1992 del conss, 87 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5842 impls, 252 clqs
0.19/0.25	c (round 3) 2073 del vars, 1992 del conss, 87 chg bounds, 0 chg sides, 0 chg coeffs, 1285 upgd conss, 5842 impls, 252 clqs
0.29/0.33	c (round 4) 2073 del vars, 1992 del conss, 87 chg bounds, 0 chg sides, 51 chg coeffs, 1285 upgd conss, 5932 impls, 343 clqs
2.79/2.80	c    (2.7s) probing: 1000/3310 (30.2%) - 0 fixings, 0 aggregations, 36348 implications, 0 bound changes
4.89/4.91	c    (4.8s) probing: 2000/3310 (60.4%) - 0 fixings, 0 aggregations, 54554 implications, 0 bound changes
4.89/4.91	c    (4.8s) probing: 2001/3310 (60.5%) - 0 fixings, 0 aggregations, 54555 implications, 0 bound changes
4.89/4.91	c    (4.8s) probing aborted: 2000/2000 successive useless probings
4.89/4.91	c presolving (5 rounds):
4.89/4.91	c  2073 deleted vars, 1992 deleted constraints, 87 tightened bounds, 0 added holes, 0 changed sides, 52 changed coefficients
4.89/4.91	c  115042 implications, 343 cliques
4.89/4.91	c presolved problem has 3310 variables (3310 bin, 0 int, 0 impl, 0 cont) and 1287 constraints
4.89/4.91	c      48 constraints of type <knapsack>
4.89/4.91	c    1237 constraints of type <setppc>
4.89/4.91	c       2 constraints of type <linear>
4.89/4.91	c transformed objective value is always integral (scale: 1)
4.89/4.91	c Presolving Time: 4.79
4.89/4.91	c - non default parameters ----------------------------------------------------------------------
4.89/4.91	c # SCIP version 1.2.1.3
4.89/4.91	c 
4.89/4.91	c # frequency for displaying node information lines
4.89/4.91	c # [type: int, range: [-1,2147483647], default: 100]
4.89/4.91	c display/freq = 10000
4.89/4.91	c 
4.89/4.91	c # maximal time in seconds to run
4.89/4.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.91	c limits/time = 1789.91
4.89/4.91	c 
4.89/4.91	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.89/4.91	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.89/4.91	c limits/memory = 1620
4.89/4.91	c 
4.89/4.91	c # default clock type (1: CPU user seconds, 2: wall clock time)
4.89/4.91	c # [type: int, range: [1,2], default: 1]
4.89/4.91	c timing/clocktype = 2
4.89/4.91	c 
4.89/4.91	c # should presolving try to simplify inequalities
4.89/4.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.91	c constraints/linear/simplifyinequalities = TRUE
4.89/4.91	c 
4.89/4.91	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
4.89/4.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.91	c constraints/indicator/addCouplingCons = TRUE
4.89/4.91	c 
4.89/4.91	c # should presolving try to simplify knapsacks
4.89/4.91	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
4.89/4.91	c constraints/knapsack/simplifyinequalities = TRUE
4.89/4.91	c 
4.89/4.91	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
4.89/4.91	c # [type: int, range: [-1,2147483647], default: -1]
4.89/4.91	c separating/rapidlearning/freq = 0
4.89/4.91	c 
4.89/4.91	c -----------------------------------------------------------------------------------------------
4.89/4.91	c start solving
4.89/4.92	c 
5.29/5.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
5.29/5.34	c t 5.2s|     1 |     0 |  3701 |     - |  20M|   0 | 102 |3310 |1287 |3310 |1287 |   0 |   0 |   0 |-2.978900e+05 | 0.000000e+00 | 100.00%
9.79/9.80	c   9.7s|     1 |     0 |  3806 |     - |  20M|   0 | 158 |3310 |1287 |3310 |1319 |  32 |   0 |   0 |-2.976690e+05 | 0.000000e+00 | 100.00%
10.08/10.18	c  10.1s|     1 |     0 |  3903 |     - |  20M|   0 | 199 |3310 |1287 |3310 |1354 |  67 |   0 |   0 |-2.976690e+05 | 0.000000e+00 | 100.00%
10.69/10.74	c  10.6s|     1 |     0 |  4030 |     - |  20M|   0 | 210 |3310 |1287 |3310 |1387 | 100 |   0 |   0 |-2.971865e+05 | 0.000000e+00 | 100.00%
11.19/11.24	c  11.1s|     1 |     0 |  4152 |     - |  21M|   0 | 234 |3310 |1287 |3310 |1415 | 128 |   0 |   0 |-2.951662e+05 | 0.000000e+00 | 100.00%
11.79/11.84	c  11.7s|     1 |     0 |  4311 |     - |  21M|   0 | 264 |3310 |1287 |3310 |1440 | 153 |   0 |   0 |-2.948867e+05 | 0.000000e+00 | 100.00%
12.39/12.46	c  12.4s|     1 |     0 |  4446 |     - |  21M|   0 | 253 |3310 |1287 |3310 |1471 | 184 |   0 |   0 |-2.942366e+05 | 0.000000e+00 | 100.00%
13.09/13.10	c  13.0s|     1 |     0 |  4673 |     - |  21M|   0 | 228 |3310 |1287 |3310 |1488 | 201 |   0 |   0 |-2.939883e+05 | 0.000000e+00 | 100.00%
13.58/13.69	c  13.6s|     1 |     0 |  4780 |     - |  21M|   0 | 253 |3310 |1287 |3310 |1507 | 220 |   0 |   0 |-2.927695e+05 | 0.000000e+00 | 100.00%
14.20/14.24	c  14.1s|     1 |     0 |  4942 |     - |  21M|   0 | 268 |3310 |1287 |3310 |1521 | 234 |   0 |   0 |-2.927641e+05 | 0.000000e+00 | 100.00%
14.69/14.78	c  14.7s|     1 |     0 |  5100 |     - |  21M|   0 | 273 |3310 |1287 |3310 |1536 | 249 |   0 |   0 |-2.927641e+05 | 0.000000e+00 | 100.00%
14.99/15.09	c  15.0s|     1 |     0 |  5371 |     - |  21M|   0 | 274 |3310 |1287 |3310 |1541 | 263 |   0 |   0 |-2.922042e+05 | 0.000000e+00 | 100.00%
15.19/15.28	c  15.2s|     1 |     0 |  5437 |     - |  21M|   0 | 264 |3310 |1287 |3310 |1551 | 273 |   0 |   0 |-2.912682e+05 | 0.000000e+00 | 100.00%
15.39/15.45	c  15.4s|     1 |     0 |  5525 |     - |  21M|   0 | 278 |3310 |1287 |3310 |1559 | 281 |   0 |   0 |-2.912651e+05 | 0.000000e+00 | 100.00%
15.58/15.68	c  15.6s|     1 |     0 |  5660 |     - |  21M|   0 | 253 |3310 |1287 |3310 |1566 | 288 |   0 |   0 |-2.912597e+05 | 0.000000e+00 | 100.00%
15.79/15.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.79/15.85	c  15.8s|     1 |     0 |  5729 |     - |  21M|   0 | 261 |3310 |1287 |3310 |1574 | 296 |   0 |   0 |-2.912597e+05 | 0.000000e+00 | 100.00%
15.99/16.04	c  15.9s|     1 |     0 |  5802 |     - |  21M|   0 | 250 |3310 |1287 |3310 |1582 | 304 |   0 |   0 |-2.912597e+05 | 0.000000e+00 | 100.00%
16.09/16.20	c  16.1s|     1 |     0 |  5855 |     - |  21M|   0 | 248 |3310 |1287 |3310 |1526 | 311 |   0 |   0 |-2.912597e+05 | 0.000000e+00 | 100.00%
19.08/19.13	c  19.0s|     1 |     2 | 10955 |     - |  21M|   0 | 248 |3310 |1287 |3310 |1526 | 311 |   0 |  13 |-2.912597e+05 | 0.000000e+00 | 100.00%
610.34/610.55	c   610s| 10000 |  6456 |499367 |  49.4 |  42M|  44 |   - |3310 |2957 |   0 |   0 | 311 |4303 |6403 |-2.834519e+05 | 0.000000e+00 | 100.00%
819.68/819.95	c   820s| 20000 | 10487 |706077 |  35.0 |  57M| 141 | 188 |3310 |3284 |3310 |1459 | 311 |  10k|8058 |-2.821360e+05 | 0.000000e+00 | 100.00%
829.28/829.54	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1045.03/1045.33	c  1045s| 30000 | 14657 |905821 |  30.0 |  71M| 141 | 219 |3310 |2501 |3310 |1459 | 311 |  16k|9463 |-2.812250e+05 | 0.000000e+00 | 100.00%
1273.38/1273.76	c  1274s| 40000 | 17476 |  1118k|  27.8 |  83M| 141 |  58 |3310 |3075 |3310 |1459 | 311 |  24k|  10k|-2.809063e+05 | 0.000000e+00 | 100.00%
1340.65/1341.04	c [src/scip/lpi_spx.cpp:318] Warning: SoPlex threw an exception: XSOLVE21 Basis is singular (numerical troubles, delta = 1e-09)
1507.51/1508.00	c  1508s| 50000 | 20984 |  1417k|  28.2 | 104M| 141 |  60 |3310 |3593 |3310 |1459 | 311 |  32k|  12k|-2.808150e+05 | 0.000000e+00 | 100.00%
1726.96/1727.41	c  1727s| 60000 | 24514 |  1717k|  28.5 | 124M| 141 | 223 |3310 |3647 |3310 |1459 | 311 |  37k|  14k|-2.807000e+05 | 0.000000e+00 | 100.00%
1789.54/1790.00	c 
1789.54/1790.00	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.00	c Solving Time (sec) : 1789.91
1789.54/1790.00	c Solving Nodes      : 62931
1789.54/1790.00	c Primal Bound       : +0.00000000000000e+00 (2 solutions)
1789.54/1790.00	c Dual Bound         : -2.80700000000000e+05
1789.54/1790.00	c Gap                : 100.00 %
1789.54/1790.01	s SATISFIABLE
1789.54/1790.01	v -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 
1789.54/1790.01	v -x2716 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 
1789.54/1790.01	v -x2697 -x2642 -x2639 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632 -x2631 -x2630 -x2629 -x2628 -x2626 -x2625 -x2624 -x2623 -x2622 
1789.54/1790.01	v -x2621 -x2620 -x2619 -x2618 -x2617 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2603 -x2602 -x2601 
1789.54/1790.01	v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2581 -x2580 
1789.54/1790.01	v -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561 
1789.54/1790.01	v -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 
1789.54/1790.01	v -x2540 -x2539 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 
1789.54/1790.01	v -x2520 -x2519 -x2518 -x2517 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507 -x2506 -x2503 -x2502 -x2501 
1789.54/1790.01	v -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2481 
1789.54/1790.01	v -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 -x2464 -x2463 -x2462 
1789.54/1790.01	v -x2461 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 
1789.54/1790.01	v -x2441 -x2440 -x2439 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2426 -x2425 -x2424 -x2423 -x2422 
1789.54/1790.01	v -x2421 -x2420 -x2419 -x2418 -x2417 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2404 -x2403 -x2402 
1789.54/1790.01	v -x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2381 
1789.54/1790.01	v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 
1789.54/1790.01	v -x2362 -x2361 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 
1789.54/1790.01	v -x2342 -x2341 -x2340 -x2339 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2326 -x2325 -x2324 -x2323 
1789.54/1790.01	v -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2315 -x2314 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2304 -x2303 
1789.54/1790.01	v -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 
1789.54/1790.01	v -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 
1789.54/1790.01	v -x2261 -x2260 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 
1789.54/1790.01	v -x2241 -x2240 -x2239 -x2238 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2225 -x4866 -x4865 
1789.54/1790.01	v -x4864 -x4863 -x4862 -x4861 -x4859 -x4858 -x4857 -x4856 -x4855 -x4854 -x4853 -x4852 -x4851 -x4850 -x4848 -x4847 -x4846 -x4845 
1789.54/1790.01	v -x4844 -x4843 -x4842 -x4841 -x4840 -x4839 -x4836 -x4835 -x4834 -x4833 -x4832 -x4831 -x4830 -x4829 -x4828 -x4827 -x4825 -x4824 
1789.54/1790.01	v -x4823 -x4822 -x4821 -x4820 -x4819 -x4818 -x4817 -x4816 -x4814 -x4813 -x4812 -x4811 -x4810 -x4809 -x4808 -x4807 -x4806 -x4805 
1789.54/1790.01	v -x4803 -x4802 -x4801 -x4800 -x4799 -x4798 -x4797 -x4796 -x4795 -x4794 -x4792 -x4791 -x4790 -x4789 -x4788 -x4787 -x4786 -x4785 
1789.54/1790.01	v -x4784 -x4783 -x4781 -x4780 -x4779 -x4778 -x4777 -x4776 -x4775 -x4774 -x4773 -x4772 -x4770 -x4769 -x4768 -x4767 -x4766 -x4765 
1789.54/1790.01	v -x4764 -x4763 -x4762 -x4761 -x4759 -x4758 -x4757 -x4756 -x4755 -x4754 -x4753 -x4752 -x4751 -x4750 -x4748 -x4747 -x4746 -x4745 
1789.54/1790.01	v -x4744 -x4743 -x4742 -x4741 -x4740 -x4739 -x4737 -x4736 -x4735 -x4734 -x4733 -x4732 -x4731 -x4730 -x4729 -x4728 -x4725 
1789.54/1790.01	v -x4724 -x4723 -x4722 -x4721 -x4720 -x4719 -x4718 -x4717 -x4716 -x4714 -x4713 -x4712 -x4711 -x4710 -x4709 -x4708 -x4707 -x4706 
1789.54/1790.01	v -x4705 -x4703 -x4702 -x4701 -x4700 -x4699 -x4698 -x4697 -x4696 -x4695 -x4694 -x4692 -x4691 -x4690 -x4689 -x4688 -x4687 -x4686 
1789.54/1790.01	v -x4685 -x4684 -x4683 -x4681 -x4680 -x4679 -x4678 -x4677 -x4676 -x4675 -x4674 -x4673 -x4672 -x4670 -x4669 -x4668 -x4667 -x4666 
1789.54/1790.01	v -x4665 -x4664 -x4663 -x4662 -x4661 -x4659 -x4658 -x4657 -x4656 -x4655 -x4654 -x4653 -x4652 -x4651 -x4650 -x4648 -x4647 -x4646 
1789.54/1790.01	v -x4645 -x4644 -x4643 -x4642 -x4641 -x4640 -x4639 -x4637 -x4636 -x4635 -x4634 -x4633 -x4632 -x4631 -x4630 -x4629 -x4628 -x4626 
1789.54/1790.01	v -x4625 -x4624 -x4623 -x4622 -x4621 -x4620 -x4619 -x4618 -x4617 -x4614 -x4613 -x4612 -x4611 -x4610 -x4609 -x4608 -x4607 -x4606 
1789.54/1790.01	v -x4605 -x4603 -x4602 -x4601 -x4600 -x4599 -x4598 -x4597 -x4596 -x4595 -x4594 -x4592 -x4591 -x4590 -x4589 -x4588 -x4587 
1789.54/1790.01	v -x4586 -x4585 -x4584 -x4583 -x4581 -x4580 -x4579 -x4578 -x4577 -x4576 -x4575 -x4574 -x4573 -x4572 -x4570 -x4569 -x4568 -x4567 
1789.54/1790.01	v -x4566 -x4565 -x4564 -x4563 -x4562 -x4561 -x4559 -x4558 -x4557 -x4556 -x4555 -x4554 -x4553 -x4552 -x4551 -x4550 -x4548 -x4547 
1789.54/1790.01	v -x4546 -x4545 -x4544 -x4543 -x4542 -x4541 -x4540 -x4539 -x4537 -x4536 -x4535 -x4534 -x4533 -x4532 -x4531 -x4530 -x4529 -x4528 
1789.54/1790.01	v -x4526 -x4525 -x4524 -x4523 -x4522 -x4521 -x4520 -x4519 -x4518 -x4517 -x4515 -x4514 -x4513 -x4512 -x4511 -x4510 -x4509 -x4508 
1789.54/1790.01	v -x4507 -x4506 -x4502 -x4501 -x4500 -x4499 -x4498 -x4497 -x4496 -x4495 -x4494 -x4493 -x4491 -x4490 -x4489 -x4488 -x4487 -x4486 
1789.54/1790.01	v -x4485 -x4484 -x4483 -x4482 -x4480 -x4479 -x4478 -x4477 -x4476 -x4475 -x4474 -x4473 -x4472 -x4471 -x4469 -x4468 -x4467 -x4466 
1789.54/1790.01	v -x4465 -x4464 -x4463 -x4462 -x4461 -x4460 -x4458 -x4457 -x4456 -x4455 -x4454 -x4453 -x4452 -x4451 -x4450 -x4449 -x4447 
1789.54/1790.01	v -x4446 -x4445 -x4444 -x4443 -x4442 -x4441 -x4440 -x4439 -x4438 -x4436 -x4435 -x4434 -x4433 -x4432 -x4431 -x4430 -x4429 -x4428 
1789.54/1790.01	v -x4427 -x4425 -x4424 -x4423 -x4422 -x4421 -x4420 -x4419 -x4418 -x4417 -x4416 -x4414 -x4413 -x4412 -x4411 -x4410 -x4409 -x4408 
1789.54/1790.01	v -x4407 -x4406 -x4405 -x4403 -x4402 -x4401 -x4400 -x4399 -x4398 -x4397 -x4396 -x4395 -x4394 -x4391 -x4390 -x4389 -x4388 -x4387 
1789.54/1790.01	v -x4386 -x4385 -x4384 -x4383 -x4382 -x4380 -x4379 -x4378 -x4377 -x4376 -x4375 -x4374 -x4373 -x4372 -x4371 -x4369 -x4368 -x4367 
1789.54/1790.01	v -x4366 -x4365 -x4364 -x4363 -x4362 -x4361 -x4360 -x4358 -x4357 -x4356 -x4355 -x4354 -x4353 -x4352 -x4351 -x4350 -x4349 -x4347 
1789.54/1790.01	v -x4346 -x4345 -x4344 -x4343 -x4342 -x4341 -x4340 -x4339 -x4338 -x4336 -x4335 -x4334 -x4333 -x4332 -x4331 -x4330 -x4329 -x4328 
1789.54/1790.01	v -x4327 -x4325 -x4324 -x4323 -x4322 -x4321 -x4320 -x4319 -x4318 -x4317 -x4316 -x4314 -x4313 -x4312 -x4311 -x4310 -x4309 
1789.54/1790.01	v -x4308 -x4307 -x4306 -x4305 -x4303 -x4302 -x4301 -x4300 -x4299 -x4298 -x4297 -x4296 -x4295 -x4294 -x4292 -x4291 -x4290 -x4289 
1789.54/1790.01	v -x4288 -x4287 -x4286 -x4285 -x4284 -x4283 -x4280 -x4279 -x4278 -x4277 -x4276 -x4275 -x4274 -x4273 -x4272 -x4271 -x4269 -x4268 
1789.54/1790.01	v -x4267 -x4266 -x4265 -x4264 -x4263 -x4262 -x4261 -x4260 -x4258 -x4257 -x4256 -x4255 -x4254 -x4253 -x4252 -x4251 -x4250 -x4249 
1789.54/1790.01	v -x4247 -x4246 -x4245 -x4244 -x4243 -x4242 -x4241 -x4240 -x4239 -x4238 -x4236 -x4235 -x4234 -x4233 -x4232 -x4231 -x4230 -x4229 
1789.54/1790.01	v -x4228 -x4227 -x4225 -x4224 -x4223 -x4222 -x4221 -x4220 -x4219 -x4218 -x4217 -x4216 -x4214 -x4213 -x4212 -x4211 -x4210 -x4209 
1789.54/1790.01	v -x4208 -x4207 -x4206 -x4205 -x4203 -x4202 -x4201 -x4200 -x4199 -x4198 -x4197 -x4196 -x4195 -x4194 -x4192 -x4191 -x4190 -x4189 
1789.54/1790.01	v -x4188 -x4187 -x4186 -x4185 -x4184 -x4183 -x4181 -x4180 -x4179 -x4178 -x4177 -x4176 -x4175 -x4174 -x4173 -x4172 -x4169 
1789.54/1790.01	v -x4168 -x4167 -x4166 -x4165 -x4164 -x4163 -x4162 -x4161 -x4160 -x4158 -x4157 -x4156 -x4155 -x4154 -x4153 -x4152 -x4151 -x4150 
1789.54/1790.01	v -x4149 -x4147 -x4146 -x4145 -x4144 -x4143 -x4142 -x4141 -x4140 -x4139 -x4138 -x4136 -x4135 -x4134 -x4133 -x4132 -x4131 -x4130 
1789.54/1790.01	v -x4129 -x4128 -x4127 -x4125 -x4124 -x4123 -x4122 -x4121 -x4120 -x4119 -x4118 -x4117 -x4116 -x4114 -x4113 -x4112 -x4111 -x4110 
1789.54/1790.01	v -x4109 -x4108 -x4107 -x4106 -x4105 -x4103 -x4102 -x4101 -x4100 -x4099 -x4098 -x4097 -x4096 -x4095 -x4094 -x4092 -x4091 -x4090 
1789.54/1790.01	v -x4089 -x4088 -x4087 -x4086 -x4085 -x4084 -x4083 -x4081 -x4080 -x4079 -x4078 -x4077 -x4076 -x4075 -x4074 -x4073 -x4072 -x4070 
1789.54/1790.01	v -x4069 -x4068 -x4067 -x4066 -x4065 -x4064 -x4063 -x4062 -x4061 -x4058 -x4057 -x4056 -x4055 -x4054 -x4053 -x4052 -x4051 -x4050 
1789.54/1790.01	v -x4049 -x4047 -x4046 -x4045 -x4044 -x4043 -x4042 -x4041 -x4040 -x4039 -x4038 -x4036 -x4035 -x4034 -x4033 -x4032 -x4031 
1789.54/1790.01	v -x4030 -x4029 -x4028 -x4027 -x4025 -x4024 -x4023 -x4022 -x4021 -x4020 -x4019 -x4018 -x4017 -x4016 -x4014 -x4013 -x4012 -x4011 
1789.54/1790.01	v -x4010 -x4009 -x4008 -x4007 -x4006 -x4005 -x4003 -x4002 -x4001 -x4000 -x3999 -x3998 -x3997 -x3996 -x3995 -x3994 -x3992 -x3991 
1789.54/1790.01	v -x3990 -x3989 -x3988 -x3987 -x3986 -x3985 -x3984 -x3983 -x3981 -x3980 -x3979 -x3978 -x3977 -x3976 -x3975 -x3974 -x3973 -x3972 
1789.54/1790.01	v -x3970 -x3969 -x3968 -x3967 -x3966 -x3965 -x3964 -x3963 -x3962 -x3961 -x3959 -x3958 -x3957 -x3956 -x3955 -x3954 -x3953 -x3952 
1789.54/1790.01	v -x3951 -x3950 -x3947 -x3946 -x3945 -x3944 -x3943 -x3942 -x3941 -x3940 -x3939 -x3938 -x3936 -x3935 -x3934 -x3933 -x3932 -x3931 
1789.54/1790.01	v -x3930 -x3929 -x3928 -x3927 -x3925 -x3924 -x3923 -x3922 -x3921 -x3920 -x3919 -x3918 -x3917 -x3916 -x3914 -x3913 -x3912 -x3911 
1789.54/1790.01	v -x3910 -x3909 -x3908 -x3907 -x3906 -x3905 -x3903 -x3902 -x3901 -x3900 -x3899 -x3898 -x3897 -x3896 -x3895 -x3894 -x3892 
1789.54/1790.01	v -x3891 -x3890 -x3889 -x3888 -x3887 -x3886 -x3885 -x3884 -x3883 -x3881 -x3880 -x3879 -x3878 -x3877 -x3876 -x3875 -x3874 -x3873 
1789.54/1790.01	v -x3872 -x3870 -x3869 -x3868 -x3867 -x3866 -x3865 -x3864 -x3863 -x3862 -x3861 -x3859 -x3858 -x3857 -x3856 -x3855 -x3854 -x3853 
1789.54/1790.01	v -x3852 -x3851 -x3850 -x3848 -x3847 -x3846 -x3845 -x3844 -x3843 -x3842 -x3841 -x3840 -x3839 -x3836 -x3835 -x3834 -x3833 -x3832 
1789.54/1790.01	v -x3831 -x3830 -x3829 -x3828 -x3827 -x3825 -x3824 -x3823 -x3822 -x3821 -x3820 -x3819 -x3818 -x3817 -x3816 -x3814 -x3813 -x3812 
1789.54/1790.01	v -x3811 -x3810 -x3809 -x3808 -x3807 -x3806 -x3805 -x3803 -x3802 -x3801 -x3800 -x3799 -x3798 -x3797 -x3796 -x3795 -x3794 -x3792 
1789.54/1790.01	v -x3791 -x3790 -x3789 -x3788 -x3787 -x3786 -x3785 -x3784 -x3783 -x3781 -x3780 -x3779 -x3778 -x3777 -x3776 -x3775 -x3774 -x3773 
1789.54/1790.01	v -x3772 -x3770 -x3769 -x3768 -x3767 -x3766 -x3765 -x3764 -x3763 -x3762 -x3761 -x3759 -x3758 -x3757 -x3756 -x3755 -x3754 
1789.54/1790.01	v -x3753 -x3752 -x3751 -x3750 -x3748 -x3747 -x3746 -x3745 -x3744 -x3743 -x3742 -x3741 -x3740 -x3739 -x3737 -x3736 -x3735 -x3734 
1789.54/1790.01	v -x3733 -x3732 -x3731 -x3730 -x3729 -x3728 -x3725 -x3724 -x3723 -x3722 -x3721 -x3720 -x3719 -x3718 -x3717 -x3716 -x3714 -x3713 
1789.54/1790.01	v -x3712 -x3711 -x3710 -x3709 -x3708 -x3707 -x3706 -x3705 -x3703 -x3702 -x3701 -x3700 -x3699 -x3698 -x3697 -x3696 -x3695 -x3694 
1789.54/1790.01	v -x3692 -x3691 -x3690 -x3689 -x3688 -x3687 -x3686 -x3685 -x3684 -x3683 -x3681 -x3680 -x3679 -x3678 -x3677 -x3676 -x3675 -x3674 
1789.54/1790.01	v -x3673 -x3672 -x3670 -x3669 -x3668 -x3667 -x3666 -x3665 -x3664 -x3663 -x3662 -x3661 -x3659 -x3658 -x3657 -x3656 -x3655 -x3654 
1789.54/1790.01	v -x3653 -x3652 -x3651 -x3650 -x3648 -x3647 -x3646 -x3645 -x3644 -x3643 -x3642 -x3641 -x3640 -x3639 -x3637 -x2224 -x2223 -x2222 
1789.54/1790.01	v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 
1789.54/1790.01	v -x2204 -x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x3636 -x3635 -x3634 -x3633 -x3632 -x3631 -x3630 -x3629 
1789.54/1790.01	v -x3628 -x3626 -x3625 -x3624 -x3623 -x3622 -x3621 -x3620 -x3619 -x3618 -x3617 -x3614 -x3613 -x3612 -x3611 -x3610 -x3609 -x3608 
1789.54/1790.01	v -x3607 -x3606 -x3605 -x3603 -x3602 -x3601 -x3600 -x3599 -x3598 -x3597 -x3596 -x3595 -x3594 -x3592 -x3591 -x3590 -x3589 -x3588 
1789.54/1790.01	v -x3587 -x3586 -x3585 -x3584 -x3583 -x3581 -x3580 -x3579 -x3578 -x3577 -x3576 -x3575 -x3574 -x3573 -x3572 -x3570 -x3569 -x3568 
1789.54/1790.01	v -x3567 -x3566 -x3565 -x3564 -x3563 -x3562 -x3561 -x3559 -x3558 -x3557 -x3556 -x3555 -x3554 -x3553 -x3552 -x3551 -x3550 -x3548 
1789.54/1790.01	v -x3547 -x3546 -x3545 -x3544 -x3543 -x3542 -x3541 -x3540 -x3539 -x3537 -x3536 -x3535 -x3534 -x3533 -x3532 -x3531 -x3530 -x3529 
1789.54/1790.01	v -x3528 -x3526 -x3525 -x3524 -x3523 -x3522 -x3521 -x3520 -x3519 -x3518 -x3517 -x3515 -x3514 -x3513 -x3512 -x3511 -x3510 
1789.54/1790.01	v -x3509 -x3508 -x3507 -x3506 -x3503 -x3502 -x3501 -x3500 -x3499 -x3498 -x3497 -x3496 -x3495 -x3494 -x3492 -x3491 -x3490 -x3489 
1789.54/1790.01	v -x3488 -x3487 -x3486 -x3485 -x3484 -x3483 -x3481 -x3480 -x3479 -x3478 -x3477 -x3476 -x3475 -x3474 -x3473 -x3472 -x3470 -x3469 
1789.54/1790.01	v -x3468 -x3467 -x3466 -x3465 -x3464 -x3463 -x3462 -x3461 -x3459 -x3458 -x3457 -x3456 -x3455 -x3454 -x3453 -x3452 -x3451 -x3450 
1789.54/1790.01	v -x3448 -x3447 -x3446 -x3445 -x3444 -x3443 -x3442 -x3441 -x3440 -x3439 -x3437 -x3436 -x3435 -x3434 -x3433 -x3432 -x3431 -x3430 
1789.54/1790.01	v -x3429 -x3428 -x3426 -x3425 -x3424 -x3423 -x3422 -x3421 -x3420 -x3419 -x3418 -x3417 -x3415 -x3414 -x3413 -x3412 -x3411 -x3410 
1789.54/1790.01	v -x3409 -x3408 -x3407 -x3406 -x3404 -x3403 -x3402 -x3401 -x3400 -x3399 -x3398 -x3397 -x3396 -x3395 -x3391 -x3390 -x3389 -x3388 
1789.54/1790.01	v -x3387 -x3386 -x3385 -x3384 -x3383 -x3382 -x3380 -x3379 -x3378 -x3377 -x3376 -x3375 -x3374 -x3373 -x3372 -x3371 -x3369 
1789.54/1790.01	v -x3368 -x3367 -x3366 -x3365 -x3364 -x3363 -x3362 -x3361 -x3360 -x3358 -x3357 -x3356 -x3355 -x3354 -x3353 -x3352 -x3351 -x3350 
1789.54/1790.01	v -x3349 -x3347 -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3336 -x3335 -x3334 -x3333 -x3332 -x3331 -x3330 
1789.54/1790.01	v -x3329 -x3328 -x3327 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3314 -x3313 -x3312 -x3311 -x3310 
1789.54/1790.01	v -x3309 -x3308 -x3307 -x3306 -x3305 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 -x3292 -x3291 -x3290 
1789.54/1790.01	v -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3280 -x3279 -x3278 -x3277 -x3276 -x3275 -x3274 -x3273 -x3272 -x3271 -x3269 
1789.54/1790.01	v -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3258 -x3257 -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 
1789.54/1790.01	v -x3249 -x3247 -x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239 -x3238 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 
1789.54/1790.01	v -x3230 -x3229 -x3228 -x3227 -x3225 -x3224 -x3223 -x3222 -x3221 -x3220 -x3219 -x3218 -x3217 -x3216 -x3214 -x3213 -x3212 -x3211 
1789.54/1790.01	v -x3210 -x3209 -x3208 -x3207 -x3206 -x3205 -x3203 -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3192 -x3191 
1789.54/1790.01	v -x3190 -x3189 -x3188 -x3187 -x3186 -x3185 -x3184 -x3183 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 -x3174 -x3173 -x3172 
1789.54/1790.01	v -x3169 -x3168 -x3167 -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 -x3152 -x3151 
1789.54/1790.01	v -x3150 -x3149 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131 
1789.54/1790.01	v -x3130 -x3129 -x3128 -x3127 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3114 -x3113 -x3112 -x3111 
1789.54/1790.01	v -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095 -x3094 -x3092 
1789.54/1790.01	v -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 -x3084 -x3083 -x3081 -x3080 -x3079 -x3078 -x3077 -x3076 -x3075 -x3074 -x3073 
1789.54/1790.01	v -x3072 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 
1789.54/1790.01	v -x3051 -x3050 -x3049 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041 -x3040 -x3039 -x3038 -x3036 -x3035 -x3034 -x3033 -x3032 
1789.54/1790.01	v -x3031 -x3030 -x3029 -x3028 -x3027 -x3025 -x3024 -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3014 -x3013 -x3012 
1789.54/1790.01	v -x3011 -x3010 -x3009 -x3008 -x3007 -x3006 -x3005 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 -x2995 -x2994 -x2992 
1789.54/1790.01	v -x2991 -x2990 -x2989 -x2988 -x2987 -x2986 -x2985 -x2984 -x2983 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 
1789.54/1790.01	v -x2972 -x2970 -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 
1789.54/1790.01	v -x2953 -x2952 -x2951 -x2950 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2936 -x2935 -x2934 -x2933 
1789.54/1790.01	v -x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2925 -x2924 -x2923 -x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916 -x2914 -x2913 
1789.54/1790.01	v -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 
1789.54/1790.01	v -x2892 -x2891 -x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 
1789.54/1790.01	v -x2873 -x2872 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 
1789.54/1790.01	v -x2853 -x2852 -x2851 -x2850 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843 -x2842 -x2841 -x2840 -x2839 -x2836 -x2835 -x2834 -x2833 
1789.54/1790.01	v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2814 
1789.54/1790.01	v -x2813 -x2812 -x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 
1789.54/1790.01	v -x2794 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 -x2775 
1789.54/1790.01	v -x2774 -x2773 -x2772 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2696 -x2695 -x2694 -x2692 -x2761 -x2691 
1789.54/1790.01	v -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 -x2683 -x2681 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754 -x2753 -x2752 -x2751 
1789.54/1790.01	v -x2680 -x2679 -x2750 -x2748 -x2678 -x2677 -x2676 -x2675 -x2674 -x2747 -x2746 -x2745 -x2744 -x2743 -x2742 -x2741 -x2740 -x2673 
1789.54/1790.01	v -x2672 -x2670 -x2592 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2659 -x2658 -x2657 -x2739 -x2656 -x2655 
1789.54/1790.01	v -x2654 -x2653 -x2652 -x2651 -x2650 -x2648 -x2647 -x2646 -x2640 -x2645 -x2644 -x2643 -x2641 -x2194 -x2193 -x2192 -x2191 
1789.54/1790.01	v -x2190 -x2189 -x2188 -x2187 -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 
1789.54/1790.01	v -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2156 -x2155 -x2154 
1789.54/1790.01	v -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2134 
1789.54/1790.01	v -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 
1789.54/1790.01	v -x2114 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 -x2094 
1789.54/1790.01	v -x2093 -x2092 -x2091 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2078 -x2077 -x2076 -x2075 -x2074 
1789.54/1790.01	v -x2073 -x2072 -x2071 -x2070 -x2069 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2056 -x2055 
1789.54/1790.01	v -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 -x2037 -x2036 
1789.54/1790.01	v -x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 
1789.54/1790.01	v -x2015 -x2014 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004 -x2003 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 
1789.54/1790.01	v -x1994 -x1993 -x1992 -x1991 -x1989 -x1988 -x1987 -x1986 -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1978 -x1977 -x1976 -x1975 
1789.54/1790.01	v -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1956 -x1955 
1789.54/1790.01	v -x1954 -x1953 -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 
1789.54/1790.01	v -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 
1789.54/1790.01	v -x1916 -x1915 -x1914 -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1901 -x1900 -x1899 -x1898 -x1897 
1789.54/1790.01	v -x1896 -x1895 -x1894 -x1893 -x1892 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1878 -x1877 -x1876 
1789.54/1790.01	v -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859 -x1858 -x1856 
1789.54/1790.01	v -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1845 -x1844 -x1843 -x1842 -x1841 -x1840 -x1839 -x1838 -x1837 
1789.54/1790.01	v -x1836 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 
1789.54/1790.01	v -x1816 -x1815 -x1814 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1801 -x1800 -x1799 -x1798 -x1797 
1789.54/1790.01	v -x1796 -x1795 -x1794 -x1793 -x1792 -x1790 -x1789 -x1788 -x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1778 -x1777 
1789.54/1790.01	v -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 
1789.54/1790.01	v -x1756 -x1755 -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 
1789.54/1790.01	v -x1737 -x1736 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 
1789.54/1790.01	v -x1717 -x1716 -x1715 -x1714 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1701 -x1700 -x1699 -x1698 
1789.54/1790.01	v -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1679 -x1678 
1789.54/1790.01	v -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 
1789.54/1790.01	v -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 
1789.54/1790.01	v -x1638 -x1637 -x1636 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1623 -x1622 -x1621 -x1620 -x1619 
1789.54/1790.01	v -x1618 -x1617 -x1616 -x1615 -x1614 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1601 -x1600 -x1599 
1789.54/1790.01	v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1579 
1789.54/1790.01	v -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 
1789.54/1790.01	v -x1559 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 
1789.54/1790.01	v -x1538 -x1537 -x1536 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1523 -x1522 -x1521 -x1520 -x1519 
1789.54/1790.01	v -x1518 -x1517 -x1516 -x1515 -x1514 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1501 -x1500 
1789.54/1790.01	v -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 
1789.54/1790.01	v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 
1789.54/1790.01	v -x1460 -x1459 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 
1789.54/1790.01	v -x1439 -x1438 -x1437 -x1436 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1423 -x1422 -x1421 -x1420 
1789.54/1790.01	v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1401 -x1400 
1789.54/1790.01	v -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 
1789.54/1790.01	v -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 
1789.54/1790.01	v -x1361 -x1360 -x1359 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1346 -x1345 -x1344 -x1343 -x1342 
1789.54/1790.01	v -x1341 -x1340 -x1339 -x1338 -x1337 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1323 -x1322 -x1321 
1789.54/1790.01	v -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1301 
1789.54/1790.01	v -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 
1789.54/1790.01	v -x1281 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 
1789.54/1790.01	v -x1261 -x1260 -x1259 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1246 -x1245 -x1244 -x1243 -x1242 
1789.54/1790.01	v -x1241 -x1240 -x1239 -x1238 -x1237 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1223 -x1222 
1789.54/1790.01	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 
1789.54/1790.01	v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 
1789.54/1790.01	v -x1182 -x1181 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 
1789.54/1790.01	v -x1162 -x1161 -x1160 -x1159 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1146 -x1145 -x1144 -x1143 
1789.54/1790.01	v -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1124 -x1123 
1789.54/1790.01	v -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 
1789.54/1790.01	v -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 
1789.54/1790.01	v -x1082 -x1081 -x1080 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1067 -x1066 -x1065 -x1064 -x1063 
1789.54/1790.01	v -x1062 -x1061 -x1060 -x1059 -x1058 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1045 -x1044 -x1043 
1789.54/1790.01	v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1023 
1789.54/1790.01	v -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 
1789.54/1790.01	v -x1003 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 
1789.54/1790.01	v -x980 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 
1789.54/1790.01	v -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x934 
1789.54/1790.01	v -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x912 -x911 
1789.54/1790.01	v -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x889 -x888 -x887 
1789.54/1790.01	v -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x867 -x866 -x865 
1789.54/1790.01	v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x845 -x844 -x843 -x842 
1789.54/1790.01	v -x841 -x840 -x839 -x838 -x837 -x836 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x823 -x822 -x821 -x820 -x819 
1789.54/1790.01	v -x818 -x817 -x816 -x815 -x814 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x801 -x800 -x799 -x798 -x797 -x796 
1789.54/1790.01	v -x795 -x794 -x793 -x792 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x778 -x777 -x776 -x775 -x774 -x773 -x772 
1789.54/1790.01	v -x771 -x770 -x769 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 
1789.54/1790.01	v -x748 -x747 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 
1789.54/1790.01	v -x726 -x725 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 
1789.54/1790.01	v -x703 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 
1789.54/1790.01	v -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x656 
1789.54/1790.01	v -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x634 -x633 
1789.54/1790.01	v -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x612 -x611 -x610 
1789.54/1790.01	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x590 -x589 -x588 
1789.54/1790.01	v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x568 -x567 -x566 -x565 
1789.54/1790.01	v -x564 -x563 -x562 -x561 -x560 -x559 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x545 -x544 -x543 -x542 -x541 
1789.54/1790.01	v -x540 -x539 -x538 -x537 -x536 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x523 -x522 -x521 -x520 -x519 -x518 
1789.54/1790.01	v -x517 -x516 -x515 -x514 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x501 -x500 -x499 -x498 -x497 -x496 -x495 
1789.54/1790.01	v -x494 -x493 -x492 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 
1789.54/1790.01	v -x471 -x470 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 
1789.54/1790.01	v -x449 -x448 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 
1789.54/1790.01	v -x425 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 
1789.54/1790.01	v -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x379 
1789.54/1790.01	v -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x357 -x356 
1789.54/1790.01	v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x334 -x333 -x332 
1789.54/1790.01	v -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x312 -x311 -x310 
1789.54/1790.01	v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x290 -x289 -x288 -x287 
1789.54/1790.01	v -x286 -x285 -x284 -x283 -x282 -x281 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x268 -x267 -x266 -x265 -x264 
1789.54/1790.01	v -x263 -x262 -x261 -x260 -x259 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x246 -x245 -x244 -x243 -x242 -x241 
1789.54/1790.01	v -x240 -x239 -x238 -x237 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x223 -x222 -x221 -x220 -x219 -x218 -x217 
1789.54/1790.01	v -x216 -x215 -x214 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 
1789.54/1790.01	v -x193 -x192 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 
1789.54/1790.01	v -x171 -x170 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 
1789.54/1790.01	v -x148 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 
1789.54/1790.01	v -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x101 
1789.54/1790.01	v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x79 -x78 -x77 -x76 -x75 -x74 
1789.54/1790.01	v -x73 -x72 -x71 -x70 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x46 
1789.54/1790.01	v -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x24 -x23 -x22 -x21 -x20 -x19 
1789.54/1790.01	v -x18 -x17 -x16 -x15 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x5383 -x5382 -x5381 -x5380 -x5379 -x5378 -x5377 -x5376 -x5375 
1789.54/1790.01	v -x5374 -x5372 -x5371 -x5370 -x5369 -x5368 -x5367 -x5366 -x5365 -x5364 -x5363 -x5361 -x5360 -x5359 -x5358 -x5357 -x5356 
1789.54/1790.01	v -x5355 -x5354 -x5353 -x5352 -x5350 -x5349 -x5348 -x5347 -x5346 -x5345 -x5344 -x5343 -x5342 -x5341 -x5339 -x5338 -x5337 -x5336 
1789.54/1790.01	v -x5335 -x5334 -x5333 -x5332 -x5331 -x5330 -x5328 -x5327 -x5326 -x5325 -x5324 -x5323 -x5322 -x5321 -x5320 -x5319 -x5317 -x5316 
1789.54/1790.01	v -x5315 -x5314 -x5313 -x5312 -x5311 -x5310 -x5309 -x5308 -x5306 -x5305 -x5304 -x5303 -x5302 -x5301 -x5300 -x5299 -x5298 -x5297 
1789.54/1790.01	v -x5295 -x5294 -x5293 -x5292 -x5291 -x5290 -x5289 -x5288 -x5287 -x5286 -x5284 -x5283 -x5282 -x5281 -x5280 -x5279 -x5278 -x5277 
1789.54/1790.01	v -x5276 -x5275 -x5272 -x5271 -x5270 -x5269 -x5268 -x5267 -x5266 -x5265 -x5264 -x5263 -x5261 -x5260 -x5259 -x5258 -x5257 -x5256 
1789.54/1790.01	v -x5255 -x5254 -x5253 -x5252 -x5250 -x5249 -x5248 -x5247 -x5246 -x5245 -x5244 -x5243 -x5242 -x5241 -x5239 -x5238 -x5237 -x5236 
1789.54/1790.01	v -x5235 -x5234 -x5233 -x5232 -x5231 -x5230 -x5228 -x5227 -x5226 -x5225 -x5224 -x5223 -x5222 -x5221 -x5220 -x5219 -x5217 
1789.54/1790.01	v -x5216 -x5215 -x5214 -x5213 -x5212 -x5211 -x5210 -x5209 -x5208 -x5206 -x5205 -x5204 -x5203 -x5202 -x5201 -x5200 -x5199 -x5198 
1789.54/1790.01	v -x5197 -x5195 -x5194 -x5193 -x5192 -x5191 -x5190 -x5189 -x5188 -x5187 -x5186 -x5184 -x5183 -x5182 -x5181 -x5180 -x5179 -x5178 
1789.54/1790.01	v -x5177 -x5176 -x5175 -x5173 -x5172 -x5171 -x5170 -x5169 -x5168 -x5167 -x5166 -x5165 -x5164 -x5161 -x5160 -x5159 -x5158 -x5157 
1789.54/1790.01	v -x5156 -x5155 -x5154 -x5153 -x5152 -x5150 -x5149 -x5148 -x5147 -x5146 -x5145 -x5144 -x5143 -x5142 -x5141 -x5139 -x5138 -x5137 
1789.54/1790.01	v -x5136 -x5135 -x5134 -x5133 -x5132 -x5131 -x5130 -x5128 -x5127 -x5126 -x5125 -x5124 -x5123 -x5122 -x5121 -x5120 -x5119 -x5117 
1789.54/1790.01	v -x5116 -x5115 -x5114 -x5113 -x5112 -x5111 -x5110 -x5109 -x5108 -x5106 -x5105 -x5104 -x5103 -x5102 -x5101 -x5100 -x5099 -x5098 
1789.54/1790.01	v -x5097 -x5095 -x5094 -x5093 -x5092 -x5091 -x5090 -x5089 -x5088 -x5087 -x5086 -x5084 -x5083 -x5082 -x5081 -x5080 -x5079 
1789.54/1790.01	v -x5078 -x5077 -x5076 -x5075 -x5073 -x5072 -x5071 -x5070 -x5069 -x5068 -x5067 -x5066 -x5065 -x5064 -x5062 -x5061 -x5060 -x5059 
1789.54/1790.01	v -x5058 -x5057 -x5056 -x5055 -x5054 -x5053 -x5050 -x5049 -x5048 -x5047 -x5046 -x5045 -x5044 -x5043 -x5042 -x5041 -x5039 -x5038 
1789.54/1790.01	v -x5037 -x5036 -x5035 -x5034 -x5033 -x5032 -x5031 -x5030 -x5028 -x5027 -x5026 -x5025 -x5024 -x5023 -x5022 -x5021 -x5020 -x5019 
1789.54/1790.01	v -x5017 -x5016 -x5015 -x5014 -x5013 -x5012 -x5011 -x5010 -x5009 -x5008 -x5006 -x5005 -x5004 -x5003 -x5002 -x5001 -x5000 -x4999 
1789.54/1790.01	v -x4998 -x4997 -x4995 -x4994 -x4993 -x4992 -x4991 -x4990 -x4989 -x4988 -x4987 -x4986 -x4984 -x4983 -x4982 -x4981 -x4980 -x4979 
1789.54/1790.01	v -x4978 -x4977 -x4976 -x4975 -x4973 -x4972 -x4971 -x4970 -x4969 -x4968 -x4967 -x4966 -x4965 -x4964 -x4962 -x4961 -x4960 -x4959 
1789.54/1790.01	v -x4958 -x4957 -x4956 -x4955 -x4954 -x4953 -x4951 -x4950 -x4949 -x4948 -x4947 -x4946 -x4945 -x4944 -x4943 -x4942 -x4939 
1789.54/1790.01	v -x4938 -x4937 -x4936 -x4935 -x4934 -x4933 -x4932 -x4931 -x4930 -x4928 -x4927 -x4926 -x4925 -x4924 -x4923 -x4922 -x4921 -x4920 
1789.54/1790.01	v -x4919 -x4917 -x4916 -x4915 -x4914 -x4913 -x4912 -x4911 -x4910 -x4909 -x4908 -x4906 -x4905 -x4904 -x4903 -x4902 -x4901 -x4900 
1789.54/1790.01	v -x4899 -x4898 -x4897 -x4895 -x4894 -x4893 -x4892 -x4891 -x4890 -x4889 -x4888 -x4887 -x4886 -x4884 -x4883 -x4882 -x4881 -x4880 
1789.54/1790.01	v -x4879 -x4878 -x4877 -x4876 -x4875 -x4873 -x4872 -x4871 -x4870 -x4869 -x4868 -x4867 -x4860 -x4849 -x4838 -x4826 -x4815 -x4804 
1789.54/1790.01	v -x4793 -x4782 -x4771 -x4760 -x4749 -x4738 -x4727 -x4715 -x4704 -x4693 -x4682 -x4671 -x4660 -x4649 -x4638 -x4627 -x4616 -x4604 
1789.54/1790.01	v -x4593 -x4582 -x4571 -x4560 -x4549 -x4538 -x4527 -x4516 -x4505 -x4492 -x4481 -x4470 -x4459 -x4448 -x4437 -x4426 -x4415 -x4404 
1789.54/1790.01	v -x4393 -x4381 -x4370 -x4359 -x4348 -x4337 -x4326 -x4315 -x4304 -x4293 -x4282 -x4270 -x4259 -x4248 -x4237 -x4226 -x4215 
1789.54/1790.01	v -x4204 -x4193 -x4182 -x4171 -x4159 -x4148 -x4137 -x4126 -x4115 -x4104 -x4093 -x4082 -x4071 -x4060 -x4048 -x4037 -x4026 -x4015 
1789.54/1790.01	v -x4004 -x3993 -x3982 -x3971 -x3960 -x3949 -x3937 -x3926 -x3915 -x3904 -x3893 -x3882 -x3871 -x3860 -x3849 -x3838 -x3826 -x3815 
1789.54/1790.01	v -x3804 -x3793 -x3782 -x3771 -x3760 -x3749 -x3738 -x3727 -x3715 -x3704 -x3693 -x3682 -x3671 -x3660 -x3649 -x3638 -x3627 -x3616 
1789.54/1790.01	v -x3604 -x3593 -x3582 -x3571 -x3560 -x3549 -x3538 -x3527 -x3516 -x3505 -x3493 -x3482 -x3471 -x3460 -x3449 -x3438 -x3427 -x3416 
1789.54/1790.01	v -x3405 -x3394 -x3381 -x3370 -x3359 -x3348 -x3337 -x3326 -x3315 -x3304 -x3293 -x3282 -x3270 -x3259 -x3248 -x3237 -x3226 -x3215 
1789.54/1790.01	v -x3204 -x3193 -x3182 -x3171 -x3159 -x3148 -x3137 -x3126 -x3115 -x3104 -x3093 -x3082 -x3071 -x3060 -x3048 -x3037 -x3026 -x3015 
1789.54/1790.01	v -x3004 -x2993 -x2982 -x2971 -x2960 -x2949 -x2937 -x2926 -x2915 -x2904 -x2893 -x2882 -x2871 -x2860 -x2849 -x2838 -x2826 
1789.54/1790.01	v -x2815 -x2804 -x2793 -x2782 -x2771 -x2760 -x2749 -x2738 -x2727 -x2715 -x2704 -x2693 -x2682 -x2671 -x2660 -x2649 -x2638 -x2627 
1789.54/1790.01	v -x2616 -x2604 -x2593 -x2582 -x2571 -x2560 -x2549 -x2538 -x2527 -x2516 -x2505 -x2493 -x2482 -x2471 -x2460 -x2449 -x2438 -x2427 
1789.54/1790.01	v -x2416 -x2405 -x2394 -x2382 -x2371 -x2360 -x2349 -x2338 -x2327 -x2316 -x2305 -x2294 -x2283 -x2270 -x2259 -x2248 -x2237 -x2226 
1789.54/1790.01	v -x2157 -x2146 -x2135 -x2124 -x2113 -x2101 -x2090 -x2079 -x2068 -x2057 -x2046 -x2035 -x2024 -x2013 -x2002 -x1990 -x1979 -x1968 
1789.54/1790.01	v -x1957 -x1946 -x1935 -x1924 -x1913 -x1902 -x1891 -x1879 -x1868 -x1857 -x1846 -x1835 -x1824 -x1813 -x1802 -x1791 -x1780 -x1768 
1789.54/1790.01	v -x1757 -x1746 -x1735 -x1724 -x1713 -x1702 -x1691 -x1680 -x1669 -x1657 -x1646 -x1635 -x1624 -x1613 -x1602 -x1591 -x1580 -x1569 
1789.54/1790.01	v -x1558 -x1546 -x1535 -x1524 -x1513 -x1502 -x1491 -x1480 -x1469 -x1458 -x1447 -x1435 -x1424 -x1413 -x1402 -x1391 -x1380 
1789.54/1790.01	v -x1369 -x1358 -x1347 -x1336 -x1324 -x1313 -x1302 -x1291 -x1280 -x1269 -x1258 -x1247 -x1236 -x1225 -x1213 -x1202 -x1191 -x1180 
1789.54/1790.01	v -x1169 -x1158 -x1147 -x1136 -x1125 -x1114 -x1101 -x1090 -x1079 -x1068 -x1057 -x1046 -x1035 -x1024 -x1013 -x1002 -x990 -x979 
1789.54/1790.01	v -x968 -x957 -x946 -x935 -x924 -x913 -x902 -x891 -x879 -x868 -x857 -x846 -x835 -x824 -x813 -x802 -x791 -x780 -x768 -x757 -x746 
1789.54/1790.01	v -x735 -x724 -x713 -x702 -x691 -x680 -x669 -x657 -x646 -x635 -x624 -x613 -x602 -x591 -x580 -x569 -x558 -x546 -x535 -x524 -x513 
1789.54/1790.01	v -x502 -x491 -x480 -x469 -x458 -x447 -x435 -x424 -x413 -x402 -x391 -x380 -x369 -x358 -x347 -x336 -x324 -x313 -x302 -x291 -x280 
1789.54/1790.01	v -x269 -x258 -x247 -x236 -x225 -x213 -x202 -x191 -x180 -x169 -x158 -x147 -x136 -x125 -x114 -x102 -x91 -x80 -x69 -x58 -x47 -x36 
1789.54/1790.01	v -x25 -x14 -x3 -x5373 -x5362 -x5351 -x5340 -x5329 -x5318 -x5307 -x5296 -x5285 -x5274 -x5262 -x5251 -x5240 -x5229 -x5218 -x5207 
1789.54/1790.01	v -x5196 -x5185 -x5174 -x5163 -x5151 -x5140 -x5129 -x5118 -x5107 -x5096 -x5085 -x5074 -x5063 -x5052 -x5040 -x5029 -x5018 -x5007 
1789.54/1790.01	v -x4996 -x4985 -x4974 -x4963 -x4952 -x4941 -x4929 -x4918 -x4907 -x4896 -x4885 -x4874 -x4837 -x4726 -x4615 -x4504 -x4392 
1789.54/1790.01	v -x4281 -x4170 -x4059 -x3948 -x3837 -x3726 -x3615 -x3504 -x3393 -x3281 -x3170 -x3059 -x2948 -x2837 -x2726 -x2615 -x2504 -x2393 
1789.54/1790.01	v -x2282 -x2112 -x2001 -x1890 -x1779 -x1668 -x1557 -x1446 -x1335 -x1224 -x1113 -x1001 -x890 -x779 -x668 -x557 -x446 -x335 -x224 
1789.54/1790.01	v -x113 -x2 -x5273 -x5162 -x5051 -x4940 -x4503 -x3392 -x2281 -x1112 -x1 
1789.54/1790.01	c SCIP Status        : solving was interrupted [time limit reached]
1789.54/1790.01	c Solving Time       :    1789.91
1789.54/1790.01	c Original Problem   :
1789.54/1790.01	c   Problem name     : HOME/instance-2703711-1278560383.opb
1789.54/1790.01	c   Variables        : 5383 (5383 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01	c   Constraints      : 3279 initial, 3279 maximal
1789.54/1790.01	c Presolved Problem  :
1789.54/1790.01	c   Problem name     : t_HOME/instance-2703711-1278560383.opb
1789.54/1790.01	c   Variables        : 3310 (3310 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01	c   Constraints      : 1287 initial, 4206 maximal
1789.54/1790.01	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.54/1790.01	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.01	c   dualfix          :       0.00         48          0          0          0          0          0          0          0
1789.54/1790.01	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.01	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.01	c   implics          :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.01	c   probing          :       4.54          0          0          0          0          0          0          0          0
1789.54/1790.01	c   knapsack         :       0.11          0          0          0          0          0          0          0         52
1789.54/1790.01	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1789.54/1790.01	c   linear           :       0.08         89       1936          0         87          0       1992          0          0
1789.54/1790.01	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1789.54/1790.01	c   root node        :          -          0          -          -          0          -          -          -          -
1789.54/1790.01	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.54/1790.01	c   integral         :          0          0          0      48102          0         12        712          0          0      95018
1789.54/1790.01	c   knapsack         :         48         17     255988          0          1         34    1844347        232          0          0
1789.54/1790.01	c   setppc           :       1237         17     255841          0          1          7     360797          0          0          0
1789.54/1790.01	c   linear           :          2         17     255947          0          0       9777     148683          0          0          0
1789.54/1790.01	c   logicor          :          0+         0      68890          0          0       1407      29587          0          0          0
1789.54/1790.01	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1789.54/1790.01	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.54/1790.01	c   integral         :     262.28       0.00       0.00     262.28       0.00
1789.54/1790.01	c   knapsack         :      13.59       0.04      13.55       0.00       0.00
1789.54/1790.01	c   setppc           :      17.36       0.00      17.36       0.00       0.00
1789.54/1790.01	c   linear           :      69.89       0.00      69.89       0.00       0.00
1789.54/1790.01	c   logicor          :       5.29       0.00       5.29       0.00       0.00
1789.54/1790.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.54/1790.01	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.54/1790.01	c   vbounds          :       0.16          2          0          0
1789.54/1790.01	c   rootredcost      :       0.19          0          0          0
1789.54/1790.01	c   pseudoobj        :      60.00     250843          0          2
1789.54/1790.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.54/1790.01	c   propagation      :       4.96      11024      10918     115744       50.8        204       22.0          -
1789.54/1790.01	c   infeasible LP    :      43.08       9816       7533     125814      188.9        151       81.4          0
1789.54/1790.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.54/1790.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.54/1790.01	c   applied globally :          -          -          -      39866       88.4          -          -          -
1789.54/1790.01	c   applied locally  :          -          -          -          2      705.5          -          -          -
1789.54/1790.01	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1789.54/1790.01	c   cut pool         :       0.01         16          -          -        301          -    (maximal pool size: 637)
1789.54/1790.01	c   redcost          :      15.45      48054          0        449          0          0
1789.54/1790.01	c   impliedbounds    :       0.01         17          0          0         69          0
1789.54/1790.01	c   intobj           :       0.00          0          0          0          0          0
1789.54/1790.01	c   cgmip            :       0.00          0          0          0          0          0
1789.54/1790.01	c   gomory           :       0.51         17          0          0        103          0
1789.54/1790.01	c   strongcg         :       0.54         17          0          0         91          0
1789.54/1790.01	c   cmir             :       0.68         10          0          0        209          0
1789.54/1790.01	c   flowcover        :       1.87         10          0          0        313          0
1789.54/1790.01	c   clique           :       0.11         17          0          0         95          0
1789.54/1790.01	c   zerohalf         :       0.00          0          0          0          0          0
1789.54/1790.01	c   mcf              :       0.01          1          0          0          0          0
1789.54/1790.01	c   rapidlearning    :       4.13          1          0          0          0          0
1789.54/1790.01	c Pricers            :       Time      Calls       Vars
1789.54/1790.01	c   problem variables:       0.00          0          0
1789.54/1790.01	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1789.54/1790.01	c   relpscost        :     262.12      48102         12        712          0          0      95018
1789.54/1790.01	c   pscost           :       0.00          0          0          0          0          0          0
1789.54/1790.01	c   inference        :       0.00          1          0          0          0          0          2
1789.54/1790.01	c   mostinf          :       0.00          0          0          0          0          0          0
1789.54/1790.01	c   leastinf         :       0.00          0          0          0          0          0          0
1789.54/1790.01	c   fullstrong       :       0.00          0          0          0          0          0          0
1789.54/1790.01	c   allfullstrong    :       0.00          0          0          0          0          0          0
1789.54/1790.01	c   random           :       0.00          0          0          0          0          0          0
1789.54/1790.01	c Primal Heuristics  :       Time      Calls      Found
1789.54/1790.01	c   LP solutions     :       0.00          -          0
1789.54/1790.01	c   pseudo solutions :       0.00          -          0
1789.54/1790.01	c   oneopt           :       0.09          0          0
1789.54/1790.01	c   crossover        :       0.04          0          0
1789.54/1790.01	c   guideddiving     :       0.00          0          0
1789.54/1790.01	c   intshifting      :       0.00          0          0
1789.54/1790.01	c   objpscostdiving  :      13.01         12          0
1789.54/1790.01	c   rootsoldiving    :      10.08         18          0
1789.54/1790.01	c   feaspump         :       5.72         19          0
1789.54/1790.01	c   pscostdiving     :      57.69         45          0
1789.54/1790.02	c   fracdiving       :      78.82         46          0
1789.54/1790.02	c   linesearchdiving :      22.04         46          0
1789.54/1790.02	c   coefdiving       :      86.75         46          0
1789.54/1790.02	c   veclendiving     :      18.41         46          0
1789.54/1790.02	c   trivial          :       0.01          2          2
1789.54/1790.02	c   simplerounding   :       0.07          0          0
1789.54/1790.02	c   zirounding       :       0.24       1000          0
1789.54/1790.02	c   rounding         :       7.87       3061          0
1789.54/1790.02	c   shifting         :      55.68        933          0
1789.54/1790.02	c   twoopt           :       0.00          0          0
1789.54/1790.02	c   fixandinfer      :       0.00          0          0
1789.54/1790.02	c   intdiving        :       0.00          0          0
1789.54/1790.02	c   actconsdiving    :       0.00          0          0
1789.54/1790.02	c   octane           :       0.00          0          0
1789.54/1790.02	c   rens             :       0.57          1          0
1789.54/1790.02	c   rins             :       0.00          0          0
1789.54/1790.02	c   localbranching   :       0.00          0          0
1789.54/1790.02	c   mutation         :       0.00          0          0
1789.54/1790.02	c   dins             :       0.00          0          0
1789.54/1790.02	c   undercover       :       0.00          0          0
1789.54/1790.02	c   nlp              :       0.04          0          0
1789.54/1790.02	c   trysol           :       0.06          0          0
1789.54/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1789.54/1790.02	c   primal LP        :       0.01          0          0       0.00          -
1789.54/1790.02	c   dual LP          :     866.05      57289    1551931      27.09    1791.97
1789.54/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1789.54/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1789.54/1790.02	c   diving/probing LP:     170.79      48412     238730       4.93    1397.80
1789.54/1790.02	c   strong branching :     256.63      14819     442481      29.86    1724.20
1789.54/1790.02	c     (at root node) :          -         13       1962     150.92          -
1789.54/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1789.54/1790.02	c B&B Tree           :
1789.54/1790.02	c   number of runs   :          1
1789.54/1790.02	c   nodes            :      62931
1789.54/1790.02	c   nodes (total)    :      62931
1789.54/1790.02	c   nodes left       :      25192
1789.54/1790.02	c   max depth        :        186
1789.54/1790.02	c   max depth (total):        186
1789.54/1790.02	c   backtracks       :       7898 (12.6%)
1789.54/1790.02	c   delayed cutoffs  :       6898
1789.54/1790.02	c   repropagations   :      74846 (65510 domain reductions, 4852 cutoffs)
1789.54/1790.02	c   avg switch length:       6.00
1789.54/1790.02	c   switching time   :      26.04
1789.54/1790.02	c Solution           :
1789.54/1790.02	c   Solutions found  :          2 (1 improvements)
1789.54/1790.02	c   First Solution   : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1789.54/1790.02	c   Primal Bound     : +0.00000000000000e+00   (in run 1, after 0 nodes, 0.05 seconds, depth 0, found by <trivial>)
1789.54/1790.02	c   Dual Bound       : -2.80700000000000e+05
1789.54/1790.02	c   Gap              :     100.00 %
1789.54/1790.02	c   Root Dual Bound  : -2.91259707631055e+05
1789.54/1790.02	c   Root Iterations  :       5855
1789.74/1790.23	c Time complete: 1789.77.

Verifier Data 

OK	0

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27155
/proc/meminfo: memFree=1754616/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=7904 CPUtime=0
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 1240 0 0 0 0 0 0 0 18 0 1 0 24245007 8093696 1151 1992294400 4194304 8395647 140737053827696 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27155/statm: 1976 1160 365 1026 0 946 0

[startup+0.0544961 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27155
/proc/meminfo: memFree=1754616/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=14632 CPUtime=0.05
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 2943 0 0 0 4 1 0 0 20 0 1 0 24245007 14983168 2853 1992294400 4194304 8395647 140737053827696 18446744073709551615 7370505 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27155/statm: 3658 2853 393 1026 0 2628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 14632

[startup+0.100501 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27155
/proc/meminfo: memFree=1754616/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=18928 CPUtime=0.09
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 4267 0 0 0 8 1 0 0 20 0 1 0 24245007 19382272 3823 1992294400 4194304 8395647 140737053827696 18446744073709551615 6347101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 4732 3839 409 1026 0 3702 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18928

[startup+0.300518 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27155
/proc/meminfo: memFree=1754616/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=32336 CPUtime=0.29
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 7544 0 0 0 27 2 0 0 20 0 1 0 24245007 33112064 7100 1992294400 4194304 8395647 140737053827696 18446744073709551615 4247694 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 8084 7100 499 1026 0 7054 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32336

[startup+0.700554 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27155
/proc/meminfo: memFree=1754616/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=33872 CPUtime=0.69
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 7932 0 0 0 67 2 0 0 20 0 1 0 24245007 34684928 7488 1992294400 4194304 8395647 140737053827696 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 8468 7488 510 1026 0 7438 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33872

[startup+1.50062 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27156
/proc/meminfo: memFree=1726460/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=34820 CPUtime=1.49
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 8185 0 0 0 146 3 0 0 23 0 1 0 24245007 35655680 7741 1992294400 4194304 8395647 140737053827696 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 8705 7741 510 1026 0 7675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34820

[startup+3.10077 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27156
/proc/meminfo: memFree=1724600/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=37612 CPUtime=3.09
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 8896 0 0 0 306 3 0 0 25 0 1 0 24245007 38514688 8452 1992294400 4194304 8395647 140737053827696 18446744073709551615 4911930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 9403 8452 510 1026 0 8373 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37612

[startup+6.30106 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27156
/proc/meminfo: memFree=1714928/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=73680 CPUtime=6.29
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 17670 0 0 0 621 8 0 0 25 0 1 0 24245007 75448320 17186 1992294400 4194304 8395647 140737053827696 18446744073709551615 5026483 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 18420 17186 630 1026 0 17390 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 73680

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27158
/proc/meminfo: memFree=1701784/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=59528 CPUtime=12.69
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 19600 0 0 0 1256 13 0 0 25 0 1 0 24245007 60956672 13694 1992294400 4194304 8395647 140737053827696 18446744073709551615 6197322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 14882 13694 637 1026 0 13852 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59528

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27158
/proc/meminfo: memFree=1698436/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=62160 CPUtime=25.49
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 25092 0 0 0 2524 25 0 0 25 0 1 0 24245007 63651840 14500 1992294400 4194304 8395647 140737053827696 18446744073709551615 6698222 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 15540 14500 642 1026 0 14510 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 62160

[startup+51.1011 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 27158
/proc/meminfo: memFree=1697940/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=62160 CPUtime=51.06
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 25163 0 0 0 5068 38 0 0 25 0 1 0 24245007 63651840 14571 1992294400 4194304 8395647 140737053827696 18446744073709551615 6693785 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 15540 14571 643 1026 0 14510 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 62160

[startup+102.309 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 27160
/proc/meminfo: memFree=1696700/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=63464 CPUtime=102.26
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 25473 0 0 0 10159 67 0 0 25 0 1 0 24245007 64987136 14881 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 15866 14881 643 1026 0 14836 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 63464

[startup+162.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 27162
/proc/meminfo: memFree=1694344/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=65800 CPUtime=162.24
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 26175 0 0 0 16128 96 0 0 25 0 1 0 24245007 67379200 15583 1992294400 4194304 8395647 140737053827696 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 16450 15583 742 1026 0 15420 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 65800

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27162
/proc/meminfo: memFree=1691244/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=69040 CPUtime=222.22
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 26952 0 0 0 22092 130 0 0 25 0 1 0 24245007 70696960 16360 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 17260 16360 742 1026 0 16230 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 69040

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27164
/proc/meminfo: memFree=1687524/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=72448 CPUtime=282.21
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 27868 0 0 0 28059 162 0 0 25 0 1 0 24245007 74186752 17276 1992294400 4194304 8395647 140737053827696 18446744073709551615 6670385 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 18112 17276 742 1026 0 17082 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 72448

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27166
/proc/meminfo: memFree=1682564/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=77400 CPUtime=342.2
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 29106 0 0 0 34027 193 0 0 25 0 1 0 24245007 79257600 18514 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 19350 18514 742 1026 0 18320 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 77400

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27168
/proc/meminfo: memFree=1679092/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=80956 CPUtime=402.18
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 30000 0 0 0 39996 222 0 0 25 0 1 0 24245007 82898944 19408 1992294400 4194304 8395647 140737053827696 18446744073709551615 6503140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 20239 19408 742 1026 0 19209 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 80956

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27170
/proc/meminfo: memFree=1677108/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=83044 CPUtime=462.17
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 30499 0 0 0 45967 250 0 0 25 0 1 0 24245007 85037056 19907 1992294400 4194304 8395647 140737053827696 18446744073709551615 6586944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 20761 19907 742 1026 0 19731 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 83044

[startup+522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27170
/proc/meminfo: memFree=1673884/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=86832 CPUtime=522.15
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 31433 0 0 0 51937 278 0 0 25 0 1 0 24245007 88915968 20841 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 21708 20841 742 1026 0 20678 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 86832

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27172
/proc/meminfo: memFree=1669668/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=90356 CPUtime=582.14
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 32347 0 0 0 57906 308 0 0 25 0 1 0 24245007 92524544 21755 1992294400 4194304 8395647 140737053827696 18446744073709551615 5534108 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 22589 21755 742 1026 0 21559 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 90356

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27174
/proc/meminfo: memFree=1667436/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=92536 CPUtime=642.13
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 32909 0 0 0 63876 337 0 0 25 0 1 0 24245007 94756864 22317 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 23134 22317 742 1026 0 22104 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 92536

[startup+702.301 s]

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

/proc/meminfo: memFree=1628748/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=131388 CPUtime=1062.02
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 42531 0 0 0 105647 555 0 0 25 0 1 0 24245007 134541312 31907 1992294400 4194304 8395647 140737053827696 18446744073709551615 6652660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 32847 31907 743 1026 0 31817 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 131388

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27186
/proc/meminfo: memFree=1625772/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=134444 CPUtime=1122.01
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 43268 0 0 0 111615 586 0 0 25 0 1 0 24245007 137670656 32644 1992294400 4194304 8395647 140737053827696 18446744073709551615 6622098 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 33611 32644 743 1026 0 32581 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 134444

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27188
/proc/meminfo: memFree=1622548/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=137412 CPUtime=1182
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 44083 0 0 0 117583 617 0 0 25 0 1 0 24245007 140709888 33454 1992294400 4194304 8395647 140737053827696 18446744073709551615 6723814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 34353 33454 743 1026 0 33323 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 137412

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27190
/proc/meminfo: memFree=1619448/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=140404 CPUtime=1241.98
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 44803 0 0 0 123548 650 0 0 25 0 1 0 24245007 143773696 34174 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 35101 34174 743 1026 0 34071 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 140404

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27201
/proc/meminfo: memFree=1612752/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=146468 CPUtime=1301.97
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 46370 0 0 0 129509 688 0 0 25 0 1 0 24245007 149983232 35733 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 36617 35733 743 1026 0 35587 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 146468

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27203
/proc/meminfo: memFree=1604692/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=155576 CPUtime=1361.94
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 48419 0 0 0 135467 727 0 0 25 0 1 0 24245007 159309824 37758 1992294400 4194304 8395647 140737053827696 18446744073709551615 6021655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 38894 37758 743 1026 0 37864 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 155576

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27203
/proc/meminfo: memFree=1598616/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=162076 CPUtime=1421.93
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 49956 0 0 0 141426 767 0 0 25 0 1 0 24245007 165965824 39283 1992294400 4194304 8395647 140737053827696 18446744073709551615 6670365 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 40519 39283 743 1026 0 39489 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 162076

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27205
/proc/meminfo: memFree=1591300/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=169488 CPUtime=1481.92
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 51830 0 0 0 147385 807 0 0 25 0 1 0 24245007 173555712 41135 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 42372 41135 743 1026 0 41342 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 169488

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27207
/proc/meminfo: memFree=1584356/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=176604 CPUtime=1541.9
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 53577 0 0 0 153345 845 0 0 25 0 1 0 24245007 180842496 42859 1992294400 4194304 8395647 140737053827696 18446744073709551615 4697166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 44151 42859 743 1026 0 43121 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 176604

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27209
/proc/meminfo: memFree=1578528/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=182732 CPUtime=1601.89
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 55050 0 0 0 159305 884 0 0 25 0 1 0 24245007 187117568 44309 1992294400 4194304 8395647 140737053827696 18446744073709551615 5215822 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 45683 44309 743 1026 0 44653 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 182732

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27211
/proc/meminfo: memFree=1572204/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=189928 CPUtime=1661.87
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 56643 0 0 0 165266 921 0 0 25 0 1 0 24245007 194486272 45902 1992294400 4194304 8395647 140737053827696 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 47482 45902 743 1026 0 46452 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 189928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27211
/proc/meminfo: memFree=1565880/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=195728 CPUtime=1721.86
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 58231 0 0 0 171224 962 0 0 25 0 1 0 24245007 200425472 47490 1992294400 4194304 8395647 140737053827696 18446744073709551615 6693705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 48932 47490 743 1026 0 47902 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 195728

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27213
/proc/meminfo: memFree=1561044/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=200836 CPUtime=1781.85
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 59399 0 0 0 177186 999 0 0 25 0 1 0 24245007 205656064 48657 1992294400 4194304 8395647 140737053827696 18446744073709551615 6449955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 50209 48657 743 1026 0 49179 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 200836

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

[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27213
/proc/meminfo: memFree=1560672/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=200996 CPUtime=1785.05
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 59500 0 0 0 177504 1001 0 0 25 0 1 0 24245007 205819904 48758 1992294400 4194304 8395647 140737053827696 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 50249 48758 743 1026 0 49219 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 200996

[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27213
/proc/meminfo: memFree=1560176/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=201720 CPUtime=1788.24
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 59636 0 0 0 177822 1002 0 0 25 0 1 0 24245007 206561280 48894 1992294400 4194304 8395647 140737053827696 18446744073709551615 4786133 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 50430 48894 743 1026 0 49400 0
Current children cumulated CPU time (s) 1788.24
Current children cumulated vsize (KiB) 201720

[startup+1789.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27213
/proc/meminfo: memFree=1560176/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=201720 CPUtime=1789.04
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 59669 0 0 0 177902 1002 0 0 25 0 1 0 24245007 206561280 48927 1992294400 4194304 8395647 140737053827696 18446744073709551615 6663843 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 50430 48927 743 1026 0 49400 0
Current children cumulated CPU time (s) 1789.04
Current children cumulated vsize (KiB) 201720

[startup+1789.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27213
/proc/meminfo: memFree=1560052/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=201720 CPUtime=1789.44
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 59670 0 0 0 177942 1002 0 0 25 0 1 0 24245007 206561280 48928 1992294400 4194304 8395647 140737053827696 18446744073709551615 6575379 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27155/statm: 50430 48928 743 1026 0 49400 0
Current children cumulated CPU time (s) 1789.44
Current children cumulated vsize (KiB) 201720

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27213
/proc/meminfo: memFree=1560052/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=201720 CPUtime=1789.64
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 59672 0 0 0 177962 1002 0 0 25 0 1 0 24245007 206561280 48930 1992294400 4194304 8395647 140737053827696 18446744073709551615 4220157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27155/statm: 50430 48930 745 1026 0 49400 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (KiB) 201720

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27213
/proc/meminfo: memFree=1560052/2059040 swapFree=4147816/4192956
[pid=27155] ppid=27153 vsize=201720 CPUtime=1789.74
/proc/27155/stat : 27155 (pbscip.linux.x8) R 27153 27155 25740 0 -1 4202496 59672 0 0 0 177972 1002 0 0 25 0 1 0 24245007 206561280 48930 1992294400 4194304 8395647 140737053827696 18446744073709551615 4749992 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/27155/statm: 50430 48930 745 1026 0 49400 0
Current children cumulated CPU time (s) 1789.74
Current children cumulated vsize (KiB) 201720

Child status: 0
Real time (s): 1790.24
CPU time (s): 1789.78
CPU user time (s): 1779.73
CPU system time (s): 10.0515
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 201720

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

runsolver used 3.00254 second user time and 8.41272 second system time

The end

Launcher Data 

Begin job on node051 at 2010-07-08 05:39:43
IDJOB=2703711
IDBENCH=2519
IDSOLVER=1213
FILE ID=node051/2703711-1278560383
PBS_JOBID= 11239490
Free space on /tmp= 62520 MiB

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

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

MD5SUM BENCH= eae2e8a732d92a062f083ccb58900b63
RANDOM SEED=461049680

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1755020 kB
Buffers:         59776 kB
Cached:         150432 kB
SwapCached:       4888 kB
Active:         112716 kB
Inactive:       117428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1755020 kB
SwapTotal:     4192956 kB
SwapFree:      4147816 kB
Dirty:           10580 kB
Writeback:           0 kB
AnonPages:       16092 kB
Mapped:          11992 kB
Slab:            51828 kB
PageTables:       4228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181628 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62512 MiB
End job on node051 at 2010-07-08 06:09:33