Trace number 4405457

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 1823.35 1545.35

General information on the benchmark

NameMagicSequence/MagicSequence-card-s1/
MagicSequence-1000-ca.xml
MD5SUMd2780e3631970b53a6f91cd037f7d107
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables1000
Number of constraints3
Number of domains1
Minimum domain size1000
Maximum domain size1000
Distribution of domain sizes[{"size":1000,"count":1000}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":1000}]
Minimum constraint arity1000
Maximum constraint arity1000
Distribution of constraint arities[{"arity":1000,"count":3}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1809-serial-file.bin HOME/instance-4405457-1569240781.xml
0.65/0.55	
0.65/0.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.55	
0.65/0.57	c BEGIN-Prog: Mon Sep 23 14:12:16 CEST 2019
0.65/0.57	c PID: 1812
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.58	c (0,0) Parsing Begin
1.75/1.08	c (0,0) Parsing End
1.75/1.09	c (0,0) CSP: 1000 int (0 aux), 0 bool (0 aux), 3 ctr, max domain size 1000
1.75/1.09	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.75/1.09	c (0,0) Constraint Name Generate Begin
1.75/1.10	c (0,0) Ctr:HOME/instance-4405457-1569240781.xml,Cardinality:Num:Var:WeightedSum
1.75/1.10	c (0,0) Constraint Name Generate End
1.75/1.10	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
1.75/1.10	c (0,0) CSP to CSPinCNF Begin
2.14/1.14	c (0,0) translated 1 (10%) constraints
685.65/615.09	c (614,604) translated 2 (20%) constraints
686.50/615.82	c (615,605) translated 3 (30%) constraints
687.21/616.55	c (615,606) ===========================================
688.07/617.37	c (616,607) Hybrid: #OE=0, #LE=1001000
688.07/617.37	c (616,607) Hybrid
688.07/617.37	c (616,607) ===========================================
885.27/801.53	c (800,789) translated 200101 (10%) constraints
897.82/811.27	c (810,798) translated 400201 (20%) constraints
907.22/820.60	c (820,808) translated 600301 (30%) constraints
924.13/830.92	c (830,817) translated 800401 (40%) constraints
933.54/840.31	c (839,826) translated 1000501 (50%) constraints
948.94/851.18	c (850,837) translated 1200602 (60%) constraints
958.44/860.67	c (860,846) translated 1400702 (70%) constraints
967.84/870.03	c (869,855) translated 1600802 (80%) constraints
984.92/880.38	c (879,865) translated 1800902 (90%) constraints
1001.95/891.14	c (890,875) translated 2001002 (100%) constraints
1002.44/891.66	c (891,875) CSP to CSPinCNF End
1002.96/892.14	c (891,876) CSP: 501 int (0 aux), 2000499 bool (2000000 aux), 4002004 ctr, max domain size 1000
1002.96/892.14	c (891,876) Heap : 7061 MiB used (max 21186 MiB), NonHeap : 26 MiB used (max 0 MiB)
1002.96/892.14	c (891,876) CSPinCNF Propagation Begin
1618.96/1448.64	c (1448,1424) 1982636 values, 3965448 unsatisfiable literals, and 3965448 valid clauses are removed
1618.96/1448.64	c (1448,1424) CSPinCNF Propagation End
1619.76/1449.42	c (1448,1424) CSP: 501 int (0 aux), 2000499 bool (2000000 aux), 36556 ctr, max domain size 1000
1619.76/1449.42	c (1448,1424) Heap : 11617 MiB used (max 22455 MiB), NonHeap : 25 MiB used (max 0 MiB)
1620.31/1449.93	c (1449,1425) Hybrid: #OE=1000000, #LE=1001000
1620.31/1449.93	c (1449,1425) Simplify CSPinCNF Begin
1621.75/1450.83	c (1450,1426) Simplify CSPinCNF End
1622.55/1451.61	c (1451,1427) CSP: 501 int (0 aux), 2014775 bool (2014276 aux), 50832 ctr, max domain size 1000
1622.55/1451.61	c (1451,1427) Heap : 12354 MiB used (max 22455 MiB), NonHeap : 26 MiB used (max 0 MiB)
1622.55/1451.61	c (1451,1427) Calculate Precise Domain Begin
1622.55/1451.61	c (1451,1427) 0 values are removed by re-calculation
1622.55/1451.61	c (1451,1427) Calculate Precise Domain End
1623.26/1452.39	c (1451,1427) CSP: 501 int (0 aux), 2014775 bool (2014276 aux), 50832 ctr, max domain size 1000
1623.26/1452.39	c (1451,1427) Heap : 12501 MiB used (max 22455 MiB), NonHeap : 26 MiB used (max 0 MiB)
1623.26/1452.39	c (1451,1427) CSPinCNF to SatSolver Begin
1673.08/1477.54	c (1476,1449) 5084 (10 %) CSP clauses are encoded (0 SAT variables, 8020223 SAT clauses)
1673.86/1477.70	c (1477,1450) 10167 (20 %) CSP clauses are encoded (0 SAT variables, 8034868 SAT clauses)
1674.25/1477.84	c (1477,1450) 15250 (30 %) CSP clauses are encoded (0 SAT variables, 8054151 SAT clauses)
1674.48/1477.99	c (1477,1450) 20333 (40 %) CSP clauses are encoded (0 SAT variables, 8083013 SAT clauses)
1674.85/1478.15	c (1477,1450) 25416 (50 %) CSP clauses are encoded (0 SAT variables, 8119371 SAT clauses)
1675.04/1478.32	c (1477,1450) 30500 (60 %) CSP clauses are encoded (0 SAT variables, 8163149 SAT clauses)
1675.24/1478.50	c (1477,1450) 35583 (70 %) CSP clauses are encoded (0 SAT variables, 8213447 SAT clauses)
1675.45/1478.70	c (1478,1451) 40666 (80 %) CSP clauses are encoded (0 SAT variables, 8270022 SAT clauses)
1675.65/1478.91	c (1478,1451) 45749 (90 %) CSP clauses are encoded (0 SAT variables, 8330597 SAT clauses)
1729.00/1500.53	c (1499,1468) 50832 (100 %) CSP clauses are encoded (0 SAT variables, 15346112 SAT clauses)
1750.35/1508.81	c (1508,1474) CSPinCNF to SatSolver End
1750.35/1508.81	c (1508,1474) Heap : 12392 MiB used (max 21538 MiB), NonHeap : 30 MiB used (max 0 MiB)
1750.35/1508.81	c (1508,1474) 6532206 bool, 18295794 clause
1750.35/1508.81	c (1508,1474) Export Begin
1750.90/1509.07	c (1508,1474) Export to HOME/scop-1809-serial-file.bin
1750.90/1509.07	c (1508,1474) Export End
1750.90/1509.07	c (1508,1474) Export File Size: 0.44 MB
1750.90/1509.07	c (1508,1474) 0,0,891,1448,1451,1451,1508,STOP-AFTER(DIMACS)
1750.90/1509.07	c END-Prog: Mon Sep 23 14:37:25 CEST 2019
0.00/1509.16	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1809-serial-file.bin
1751.08/1509.63	c (0,0) Read Serial File Begin
1751.08/1509.63	c (0,0) HOME/scop-1809-serial-file.bin
1751.08/1509.99	c (0,0) Read Serial File End
1751.08/1510.00	
1751.08/1510.00	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
1751.08/1510.00	(Solving Process)
1751.08/1510.00	
1752.53/1510.02	c BEGIN-Prog: Mon Sep 23 14:37:26 CEST 2019
1752.53/1510.02	c PID: 1945
1752.53/1510.02	c IP: 172.20.3.136
1752.53/1510.02	c HOST: node136.alineos.net
1752.53/1510.03	c (0,0) SatSolver.solve Begin
1752.53/1510.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405457-1569240781.xml-scop-1812.cnf
1752.53/1510.05	c (0,0) c
1752.53/1510.05	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
1752.53/1510.05	c (0,0) c
1752.53/1510.05	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
1752.53/1510.05	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
1752.53/1510.05	c (0,0) c ========================================[ Problem Statistics ]===========================================
1752.53/1510.05	c (0,0) c |                                                                                                       |
1761.52/1518.88	c (9,0) c |  Number of variables:       6532206                                                                   |
1761.52/1518.88	c (9,0) c |  Number of clauses:        18294092                                                                   |
1761.52/1518.88	c (9,0) c |  Parse time:                   8.06 s                                                                 |
1761.52/1518.88	c (9,0) c |                                                                                                       |
1763.62/1520.98	c (11,0) c | Too many clauses... No preprocessing                                                                  |
1763.62/1520.98	c (11,0) c |  Simplification time:          1.87 s                                                                 |
1763.62/1520.98	c (11,0) c |                                                                                                       |
1763.62/1520.98	c (11,0) c |  One Solver is taking   2539.53Mb... Let's take   3 solvers for this run (max 40% of the maxmemory).  |
1763.62/1520.98	c (11,0) c |  Generating clones                                                                                    |
1766.33/1523.62	c (14,0) c |  all clones generated. Memory =  6160.85Mb.                                                           |
1766.33/1523.62	c (14,0) c ========================================================================================================|
1766.33/1523.62	c (14,0) c
1766.33/1523.62	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1766.33/1523.62	c (14,0) c
1766.33/1523.62	c (14,0) c |-----------------------|------------|------------|------------|
1766.33/1523.62	c (14,0) c | Threads               |          0 |          1 |          2 |
1766.33/1523.62	c (14,0) c |-----------------------|------------|------------|------------|
1766.33/1523.62	c (14,0) c | randomizeFirstDescent |      False |       True |       True |
1766.33/1523.62	c (14,0) c | adaptStrategeis       |       True |      False |       True |
1766.33/1523.62	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |
1766.33/1523.62	c (14,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |
1766.33/1523.62	c (14,0) c | chanseokStrategy      |      False |      False |      False |
1766.33/1523.62	c (14,0) c | coLBDBound            |          5 |          5 |          5 |
1766.33/1523.62	c (14,0) c | glureduce             |       True |       True |       True |
1766.33/1523.62	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |
1766.33/1523.62	c (14,0) c | incReduceDB           |        300 |        300 |        300 |
1766.33/1523.62	c (14,0) c | luby_restart          |      False |      False |      False |
1766.33/1523.62	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |
1766.33/1523.62	c (14,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |
1766.33/1523.62	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |
1766.33/1523.62	c (14,0) c | randomize_on_restarts |      False |      False |      False |
1766.33/1523.62	c (14,0) c | remove_satisfied      |       True |       True |       True |
1766.33/1523.62	c (14,0) c |-----------------------|------------|------------|------------|
1816.37/1541.84	c (32,0) c
1816.37/1541.84	c (32,0) c real time : 31.7862 s
1816.37/1541.84	c (32,0) c cpu time  : 58.3048 s
1816.37/1541.84	c (32,0) c
1816.37/1541.84	c (32,0) c
1816.37/1541.84	c (32,0) c
1816.37/1541.84	c (32,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1816.37/1541.84	c (32,0) c
1816.37/1541.84	c (32,0) c |---------------|-----------------|------------|------------|------------|
1816.37/1541.84	c (32,0) c | Threads       |      Total      |          0 |          1 |          2 |
1816.37/1541.84	c (32,0) c |---------------|-----------------|------------|------------|------------|
1816.37/1541.84	c (32,0) c | Conflicts     |             404 |         55 |        200 |        149 |
1816.37/1541.84	c (32,0) c | Decisions     |         3034900 |    3012479 |      20678 |       1743 |
1816.37/1541.84	c (32,0) c | Propagations  |       117065607 |   47386367 |   46306535 |   23372705 |
1816.37/1541.84	c (32,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |
1816.37/1541.84	c (32,0) c | SimpDBs       |               3 |          1 |          1 |          1 |
1816.37/1541.84	c (32,0) c | Restarts      |               6 |          1 |          3 |          2 |
1816.37/1541.84	c (32,0) c | ForcedImports |               0 |          0 |          0 |          0 |
1816.37/1541.84	c (32,0) c | PropBinClauses|        30779200 |    7028013 |   17974455 |    5776732 |
1816.37/1541.84	c (32,0) c | PropPreBlocker|       333724421 |  131466084 |  113689017 |   88569320 |
1816.37/1541.84	c (32,0) c | PropNotBlocker|       162638784 |   65880253 |   54406638 |   42351893 |
1816.37/1541.84	c (32,0) c | LitFullScans  |      1370317660 |  253174503 |  492837737 |  624305420 |
1816.37/1541.84	c (32,0) c | LitScanFracts |       403201807 |      59516 |  150837551 |  252304740 |
1816.37/1541.84	c (32,0) c | DecisionLevel0|               7 |          1 |          4 |          2 |
1816.37/1541.84	c (32,0) c | Periods       |             161 |         42 |         57 |         62 |
1816.37/1541.84	c (32,0) c | Margin        |              60 |         20 |         20 |         20 |
1816.37/1541.84	c (32,0) c | Avg_Trail     |                 |    2048558 |    1327555 |    1668995 |
1816.37/1541.84	c (32,0) c | Avg_DL        |                 |      15676 |       1039 |        405 |
1816.37/1541.84	c (32,0) c | Avg_Res       |                 |          0 |          0 |          0 |
1816.37/1541.84	c (32,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |
1816.37/1541.84	c (32,0) c |---------------|-----------------|------------|------------|------------|
1816.37/1541.84	c (32,0) c | Exported      |              19 |          1 |         16 |          2 |
1816.37/1541.84	c (32,0) c | Imported      |              19 |          0 |          3 |         16 |
1816.37/1541.84	c (32,0) c | Good          |              13 |          0 |          3 |         10 |
1816.37/1541.84	c (32,0) c | Purge         |               6 |          0 |          0 |          6 |
1816.37/1541.84	c (32,0) c | Promoted      |               0 |          0 |          0 |          0 |
1816.37/1541.85	c (32,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |
1816.37/1541.85	c (32,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |
1816.37/1541.85	c (32,0) c |---------------|-----------------|------------|------------|------------|
1816.37/1541.85	c (32,0) c | Unaries       |                 |          0 |          1 |          0 |
1816.37/1541.85	c (32,0) c | Binaries      |                 |          1 |         10 |          2 |
1816.37/1541.85	c (32,0) c | Glues         |                 |          1 |         16 |          2 |
1816.37/1541.85	c (32,0) c |---------------|-----------------|------------|------------|------------|
1816.37/1541.85	c (32,0) c | Orig_Seen     |             4 % |     435124 |     766018 |    1382014 |
1816.37/1541.85	c (32,0) c | Diff Orig seen|                 |      X     |     330894 |     946890 |
1816.37/1541.85	c (32,0) c | Hamming       |             1 % |      X     |      75764 |      78596 |
1816.37/1541.85	c (32,0) c |---------------|-----------------|------------|------------|------------|
1816.37/1541.85	c (32,0) c | RunningTime   |                 |   17.8 100%|   18.0 100%|   14.6  81%|
1816.37/1541.85	c (32,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    3.3  19%|
1816.37/1541.85	c (32,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|
1816.37/1541.85	c (32,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|
1816.37/1541.85	c (32,0) c | SolvingTime   |                 |   17.8     |   18.0     |   18.0     |
1816.37/1541.85	c (32,0) c | PropagationTim|                 |   16.3  92%|   13.6  75%|    9.6  53%|
1816.37/1541.85	c (32,0) c | AnalysisTime  |                 |    0.5   3%|    3.8  21%|    8.0  44%|
1816.37/1541.85	c (32,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|
1816.37/1541.85	c (32,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|
1816.37/1541.85	c (32,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|
1816.37/1541.85	c (32,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|
1816.37/1541.85	c (32,0) c |---------------|-----------------|------------|------------|------------|
1816.37/1541.85	c (32,0) c
1816.37/1541.85	c (32,0) c
1816.37/1541.85	c (32,0) c Threads : 3
1816.37/1541.85	c (32,0) c Winner : 0
1816.37/1541.85	c (32,0) c Conflicts_0 : 55
1816.37/1541.85	c (32,0) c Conflicts_1 : 200
1816.37/1541.85	c (32,0) c Conflicts_2 : 149
1816.37/1541.85	c (32,0) c Conflicts_total : 404
1816.37/1541.85	c (32,0) c Conflicts_winner : 55
1816.37/1541.85	c (32,0) c Decisions_0 : 3012479
1816.37/1541.85	c (32,0) c Decisions_1 : 20678
1816.37/1541.85	c (32,0) c Decisions_2 : 1743
1816.37/1541.85	c (32,0) c Decisions_total : 3034900
1816.37/1541.85	c (32,0) c Decisions_winner : 3012479
1816.37/1541.85	c (32,0) c Propagations_0 : 47386367
1816.37/1541.85	c (32,0) c Propagations_1 : 46306535
1816.37/1541.85	c (32,0) c Propagations_2 : 23372705
1816.37/1541.85	c (32,0) c Propagations_total : 117065607
1816.37/1541.85	c (32,0) c Propagations_winner : 47386367
1816.37/1541.85	c (32,0) c ReduceDBs_0 : 0
1816.37/1541.85	c (32,0) c ReduceDBs_1 : 0
1816.37/1541.85	c (32,0) c ReduceDBs_2 : 0
1816.37/1541.85	c (32,0) c ReduceDBs_total : 0
1816.37/1541.85	c (32,0) c ReduceDBs_winner : 0
1816.37/1541.85	c (32,0) c SimpDBs_0 : 1
1816.37/1541.85	c (32,0) c SimpDBs_1 : 1
1816.37/1541.85	c (32,0) c SimpDBs_2 : 1
1816.37/1541.85	c (32,0) c SimpDBs_total : 3
1816.37/1541.85	c (32,0) c SimpDBs_winner : 1
1816.37/1541.85	c (32,0) c Restarts_0 : 1
1816.37/1541.85	c (32,0) c Restarts_1 : 3
1816.37/1541.85	c (32,0) c Restarts_2 : 2
1816.37/1541.85	c (32,0) c Restarts_total : 6
1816.37/1541.85	c (32,0) c Restarts_winner : 1
1816.37/1541.85	c (32,0) c ForcedImports_0 : 0
1816.37/1541.85	c (32,0) c ForcedImports_1 : 0
1816.37/1541.85	c (32,0) c ForcedImports_2 : 0
1816.37/1541.85	c (32,0) c ForcedImports_total : 0
1816.37/1541.85	c (32,0) c ForcedImports_winner : 0
1816.37/1541.85	c (32,0) c PropsBinClauses_0 : 7028013
1816.37/1541.85	c (32,0) c PropsBinClauses_1 : 17974455
1816.37/1541.85	c (32,0) c PropsBinClauses_2 : 5776732
1816.37/1541.85	c (32,0) c PropsBinClauses_total : 30779200
1816.37/1541.85	c (32,0) c PropsBinClauses_winner : 7028013
1816.37/1541.85	c (32,0) c PropsPreBlocker_0 : 131466084
1816.37/1541.85	c (32,0) c PropsPreBlocker_1 : 113689017
1816.37/1541.85	c (32,0) c PropsPreBlocker_2 : 88569320
1816.37/1541.85	c (32,0) c PropsPreBlocker_total : 333724421
1816.37/1541.85	c (32,0) c PropsPreBlocker_winner : 131466084
1816.37/1541.85	c (32,0) c PropsNotBlocker_0 : 65880253
1816.37/1541.85	c (32,0) c PropsNotBlocker_1 : 54406638
1816.37/1541.85	c (32,0) c PropsNotBlocker_2 : 42351893
1816.37/1541.85	c (32,0) c PropsNotBlocker_total : 162638784
1816.37/1541.85	c (32,0) c PropsNotBlocker_winner : 65880253
1816.37/1541.85	c (32,0) c PropsLitFullScans_0 : 253174503
1816.37/1541.85	c (32,0) c PropsLitFullScans_1 : 492837737
1816.37/1541.85	c (32,0) c PropsLitFullScans_2 : 624305420
1816.37/1541.85	c (32,0) c PropsLitFullScans_total : 1370317660
1816.37/1541.85	c (32,0) c PropsLitFullScans_winner : 253174503
1816.37/1541.85	c (32,0) c LitScanFractions_0 : 59516
1816.37/1541.85	c (32,0) c LitScanFractions_1 : 150837551
1816.37/1541.85	c (32,0) c LitScanFractions_2 : 252304740
1816.37/1541.85	c (32,0) c LitScanFractions_total : 403201807
1816.37/1541.85	c (32,0) c LitScanFractions_winner : 59516
1816.37/1541.85	c (32,0) c DecisionLevel0_0 : 1
1816.37/1541.85	c (32,0) c DecisionLevel0_1 : 4
1816.37/1541.85	c (32,0) c DecisionLevel0_2 : 2
1816.37/1541.85	c (32,0) c DecisionLevel0_total : 7
1816.37/1541.85	c (32,0) c DecisionLevel0_winner : 1
1816.37/1541.85	c (32,0) c Periods_0 : 42
1816.37/1541.85	c (32,0) c Periods_1 : 57
1816.37/1541.85	c (32,0) c Periods_2 : 62
1816.37/1541.85	c (32,0) c Periods_total : 161
1816.37/1541.85	c (32,0) c Periods_winner : 42
1816.37/1541.85	c (32,0) c Margin_0 : 20
1816.37/1541.85	c (32,0) c Margin_1 : 20
1816.37/1541.85	c (32,0) c Margin_2 : 20
1816.37/1541.85	c (32,0) c Margin_total : 60
1816.37/1541.85	c (32,0) c Margin_winner : 20
1816.37/1541.85	c (32,0) c Exported_0 : 1
1816.37/1541.85	c (32,0) c Exported_1 : 16
1816.37/1541.85	c (32,0) c Exported_2 : 2
1816.37/1541.85	c (32,0) c Exported_total : 19
1816.37/1541.85	c (32,0) c Exported_winner : 1
1816.37/1541.85	c (32,0) c Imported_0 : 0
1816.37/1541.85	c (32,0) c Imported_1 : 3
1816.37/1541.85	c (32,0) c Imported_2 : 16
1816.37/1541.85	c (32,0) c Imported_total : 19
1816.37/1541.85	c (32,0) c Imported_winner : 0
1816.37/1541.85	c (32,0) c Good_0 : 0
1816.37/1541.85	c (32,0) c Good_1 : 3
1816.37/1541.85	c (32,0) c Good_2 : 10
1816.37/1541.85	c (32,0) c Good_total : 13
1816.37/1541.85	c (32,0) c Good_winner : 0
1816.37/1541.85	c (32,0) c Purge_0 : 0
1816.37/1541.85	c (32,0) c Purge_1 : 0
1816.37/1541.85	c (32,0) c Purge_2 : 6
1816.37/1541.85	c (32,0) c Purge_total : 6
1816.37/1541.85	c (32,0) c Purge_winner : 0
1816.37/1541.85	c (32,0) c Promoted_0 : 0
1816.37/1541.85	c (32,0) c Promoted_1 : 0
1816.37/1541.85	c (32,0) c Promoted_2 : 0
1816.37/1541.85	c (32,0) c Promoted_total : 0
1816.37/1541.85	c (32,0) c Promoted_winner : 0
1816.37/1541.85	c (32,0) c Remove_Imp_0 : 0
1816.37/1541.85	c (32,0) c Remove_Imp_1 : 0
1816.37/1541.85	c (32,0) c Remove_Imp_2 : 0
1816.37/1541.85	c (32,0) c Remove_Imp_total : 0
1816.37/1541.85	c (32,0) c Remove_Imp_winner : 0
1816.37/1541.85	c (32,0) c Blocked_Reuse_0 : 0
1816.37/1541.85	c (32,0) c Blocked_Reuse_1 : 0
1816.37/1541.85	c (32,0) c Blocked_Reuse_2 : 0
1816.37/1541.85	c (32,0) c Blocked_Reuse_total : 0
1816.37/1541.85	c (32,0) c Blocked_Reuse_winner : 0
1816.37/1541.85	c (32,0) c Unaries_0 : 0
1816.37/1541.85	c (32,0) c Unaries_1 : 1
1816.37/1541.85	c (32,0) c Unaries_2 : 0
1816.37/1541.85	c (32,0) c Unaries_total : 1
1816.37/1541.85	c (32,0) c Unaries_winner : 0
1816.37/1541.85	c (32,0) c Binaries_0 : 1
1816.37/1541.85	c (32,0) c Binaries_1 : 10
1816.37/1541.85	c (32,0) c Binaries_2 : 2
1816.37/1541.85	c (32,0) c Binaries_total : 13
1816.37/1541.85	c (32,0) c Binaries_winner : 1
1816.37/1541.85	c (32,0) c Glues_0 : 1
1816.37/1541.85	c (32,0) c Glues_1 : 16
1816.37/1541.85	c (32,0) c Glues_2 : 2
1816.37/1541.85	c (32,0) c Glues_total : 19
1816.37/1541.85	c (32,0) c Glues_winner : 1
1816.37/1541.85	c (32,0) c RunningTime_0 : 17.764382
1816.37/1541.85	c (32,0) c RunningTime_1 : 17.956936
1816.37/1541.85	c (32,0) c RunningTime_2 : 14.613276
1816.37/1541.85	c (32,0) c RunningTime_total : 50.334594
1816.37/1541.85	c (32,0) c RunningTime_winner : 17.764382
1816.37/1541.85	c (32,0) c WaitingTime_0 : 0.000011
1816.37/1541.85	c (32,0) c WaitingTime_1 : 0.000272
1816.37/1541.85	c (32,0) c WaitingTime_2 : 3.336214
1816.37/1541.85	c (32,0) c WaitingTime_total : 3.336497
1816.37/1541.85	c (32,0) c WaitingTime_winner : 0.000011
1816.37/1541.85	c (32,0) c ExchangingTime_0 : 0.000092
1816.37/1541.85	c (32,0) c ExchangingTime_1 : 0.000388
1816.37/1541.85	c (32,0) c ExchangingTime_2 : 0.000337
1816.37/1541.85	c (32,0) c ExchangingTime_total : 0.000818
1816.37/1541.85	c (32,0) c ExchangingTime_winner : 0.000092
1816.37/1541.85	c (32,0) c PeriodProcTime_0 : 0.001083
1816.37/1541.85	c (32,0) c PeriodProcTime_1 : 0.000665
1816.37/1541.85	c (32,0) c PeriodProcTime_2 : 0.001407
1816.37/1541.85	c (32,0) c PeriodProcTime_total : 0.003155
1816.37/1541.85	c (32,0) c PeriodProcTime_winner : 0.001083
1816.37/1541.85	c (32,0) c SolvingTime_0 : 17.765568
1816.37/1541.85	c (32,0) c SolvingTime_1 : 17.958260
1816.37/1541.85	c (32,0) c SolvingTime_2 : 17.951235
1816.37/1541.85	c (32,0) c SolvingTime_total : 53.675064
1816.37/1541.85	c (32,0) c SolvingTime_winner : 17.765568
1816.37/1541.85	c (32,0) c PropagationTime_0 : 16.271277
1816.37/1541.85	c (32,0) c PropagationTime_1 : 13.552862
1816.37/1541.85	c (32,0) c PropagationTime_2 : 9.602427
1816.37/1541.85	c (32,0) c PropagationTime_total : 39.426566
1816.37/1541.85	c (32,0) c PropagationTime_winner : 16.271277
1816.37/1541.85	c (32,0) c AnalysisTime_0 : 0.515072
1816.37/1541.85	c (32,0) c AnalysisTime_1 : 3.772009
1816.37/1541.85	c (32,0) c AnalysisTime_2 : 7.972623
1816.37/1541.85	c (32,0) c AnalysisTime_total : 12.259705
1816.37/1541.85	c (32,0) c AnalysisTime_winner : 0.515072
1816.37/1541.85	c (32,0) c ReductionTime_0 : 0.000000
1816.37/1541.85	c (32,0) c ReductionTime_1 : 0.000000
1816.37/1541.85	c (32,0) c ReductionTime_2 : 0.000000
1816.37/1541.85	c (32,0) c ReductionTime_total : 0.000000
1816.37/1541.85	c (32,0) c ReductionTime_winner : 0.000000
1816.37/1541.85	c (32,0) c SimplifyTime_0 : 0.000000
1816.37/1541.85	c (32,0) c SimplifyTime_1 : 0.000000
1816.37/1541.85	c (32,0) c SimplifyTime_2 : 0.000000
1816.37/1541.85	c (32,0) c SimplifyTime_total : 0.000000
1816.37/1541.85	c (32,0) c SimplifyTime_winner : 0.000000
1816.37/1541.85	c (32,0) c UsedRateTime_0 : 0.000000
1816.37/1541.85	c (32,0) c UsedRateTime_1 : 0.000000
1816.37/1541.85	c (32,0) c UsedRateTime_2 : 0.000000
1816.37/1541.85	c (32,0) c UsedRateTime_total : 0.000000
1816.37/1541.85	c (32,0) c UsedRateTime_winner : 0.000000
1816.37/1541.85	c (32,0) c OverlapRateTime_0 : 0.000000
1816.37/1541.85	c (32,0) c OverlapRateTime_1 : 0.000000
1816.37/1541.85	c (32,0) c OverlapRateTime_2 : 0.000000
1816.37/1541.85	c (32,0) c OverlapRateTime_total : 0.000000
1816.37/1541.85	c (32,0) c OverlapRateTime_winner : 0.000000
1816.37/1541.85	c (32,0) c
1816.37/1541.85	c (32,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1816.37/1541.85	c (32,0) c
1816.37/1541.85	c (32,0) c |-----------------------|------------|------------|------------|
1816.37/1541.85	c (32,0) c | Threads               |          0 |          1 |          2 |
1816.37/1541.85	c (32,0) c |-----------------------|------------|------------|------------|
1816.37/1541.85	c (32,0) c | randomizeFirstDescent |      False |       True |       True |
1816.37/1541.85	c (32,0) c | adaptStrategeis       |       True |      False |       True |
1816.37/1541.85	c (32,0) c | forceUnsatOnNewDescent|       True |       True |      False |
1816.37/1541.85	c (32,0) c | Initial random_seed   |   15769004 |  956910540 | 1105309041 |
1816.37/1541.85	c (32,0) c | chanseokStrategy      |      False |      False |      False |
1816.37/1541.85	c (32,0) c | coLBDBound            |          5 |          5 |          5 |
1816.37/1541.85	c (32,0) c | glureduce             |       True |       True |       True |
1816.37/1541.85	c (32,0) c | firstReduceDB         |       2000 |       2000 |       2000 |
1816.37/1541.85	c (32,0) c | incReduceDB           |        300 |        300 |        300 |
1816.37/1541.85	c (32,0) c | luby_restart          |      False |      False |      False |
1816.37/1541.85	c (32,0) c | luby_restart_factor   |        100 |        100 |        100 |
1816.37/1541.85	c (32,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |
1816.37/1541.85	c (32,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |
1816.37/1541.85	c (32,0) c | randomize_on_restarts |      False |      False |      False |
1816.37/1541.85	c (32,0) c | remove_satisfied      |       True |       True |       True |
1816.37/1541.85	c (32,0) c |-----------------------|------------|------------|------------|
1816.37/1541.85	c (32,0) 
1816.37/1541.85	c (32,0) s SATISFIABLE
1822.44/1545.04	c (35,0) SatSolver.solve End
1822.44/1545.04	c (35,0) Heap : 1054 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
1822.44/1545.04	c (35,0) Show results Begin
1822.62/1545.20	c (35,0) x[0] = 996
1822.62/1545.20	c (35,0) x[1] = 2
1822.62/1545.20	c (35,0) x[2] = 1
1822.62/1545.20	c (35,0) x[3] = 0
1822.62/1545.20	c (35,0) x[4] = 0
1822.62/1545.20	c (35,0) x[5] = 0
1822.62/1545.20	c (35,0) x[6] = 0
1822.62/1545.20	c (35,0) x[7] = 0
1822.62/1545.20	c (35,0) x[8] = 0
1822.62/1545.20	c (35,0) x[9] = 0
1822.62/1545.20	c (35,0) x[10] = 0
1822.62/1545.20	c (35,0) x[11] = 0
1822.62/1545.20	c (35,0) x[12] = 0
1822.62/1545.20	c (35,0) x[13] = 0
1822.62/1545.20	c (35,0) x[14] = 0
1822.62/1545.20	c (35,0) x[15] = 0
1822.62/1545.20	c (35,0) x[16] = 0
1822.62/1545.20	c (35,0) x[17] = 0
1822.62/1545.20	c (35,0) x[18] = 0
1822.62/1545.20	c (35,0) x[19] = 0
1822.62/1545.20	c (35,0) x[20] = 0
1822.62/1545.20	c (35,0) x[21] = 0
1822.62/1545.20	c (35,0) x[22] = 0
1822.62/1545.20	c (35,0) x[23] = 0
1822.62/1545.20	c (35,0) x[24] = 0
1822.62/1545.20	c (35,0) x[25] = 0
1822.62/1545.20	c (35,0) x[26] = 0
1822.62/1545.20	c (35,0) x[27] = 0
1822.62/1545.20	c (35,0) x[28] = 0
1822.62/1545.20	c (35,0) x[29] = 0
1822.62/1545.20	c (35,0) x[30] = 0
1822.62/1545.20	c (35,0) x[31] = 0
1822.62/1545.20	c (35,0) x[32] = 0
1822.62/1545.20	c (35,0) x[33] = 0
1822.62/1545.20	c (35,0) x[34] = 0
1822.62/1545.20	c (35,0) x[35] = 0
1822.62/1545.20	c (35,0) x[36] = 0
1822.62/1545.20	c (35,0) x[37] = 0
1822.62/1545.20	c (35,0) x[38] = 0
1822.62/1545.20	c (35,0) x[39] = 0
1822.62/1545.20	c (35,0) x[40] = 0
1822.62/1545.20	c (35,0) x[41] = 0
1822.62/1545.20	c (35,0) x[42] = 0
1822.62/1545.20	c (35,0) x[43] = 0
1822.62/1545.20	c (35,0) x[44] = 0
1822.62/1545.20	c (35,0) x[45] = 0
1822.62/1545.20	c (35,0) x[46] = 0
1822.62/1545.20	c (35,0) x[47] = 0
1822.62/1545.20	c (35,0) x[48] = 0
1822.62/1545.20	c (35,0) x[49] = 0
1822.62/1545.20	c (35,0) x[50] = 0
1822.62/1545.20	c (35,0) x[51] = 0
1822.62/1545.20	c (35,0) x[52] = 0
1822.62/1545.20	c (35,0) x[53] = 0
1822.62/1545.20	c (35,0) x[54] = 0
1822.62/1545.20	c (35,0) x[55] = 0
1822.62/1545.20	c (35,0) x[56] = 0
1822.62/1545.20	c (35,0) x[57] = 0
1822.62/1545.20	c (35,0) x[58] = 0
1822.62/1545.20	c (35,0) x[59] = 0
1822.62/1545.20	c (35,0) x[60] = 0
1822.62/1545.20	c (35,0) x[61] = 0
1822.62/1545.20	c (35,0) x[62] = 0
1822.62/1545.20	c (35,0) x[63] = 0
1822.62/1545.20	c (35,0) x[64] = 0
1822.62/1545.20	c (35,0) x[65] = 0
1822.62/1545.20	c (35,0) x[66] = 0
1822.62/1545.20	c (35,0) x[67] = 0
1822.62/1545.20	c (35,0) x[68] = 0
1822.62/1545.20	c (35,0) x[69] = 0
1822.62/1545.20	c (35,0) x[70] = 0
1822.62/1545.20	c (35,0) x[71] = 0
1822.62/1545.20	c (35,0) x[72] = 0
1822.62/1545.20	c (35,0) x[73] = 0
1822.62/1545.20	c (35,0) x[74] = 0
1822.62/1545.20	c (35,0) x[75] = 0
1822.62/1545.20	c (35,0) x[76] = 0
1822.62/1545.20	c (35,0) x[77] = 0
1822.62/1545.20	c (35,0) x[78] = 0
1822.62/1545.20	c (35,0) x[79] = 0
1822.62/1545.20	c (35,0) x[80] = 0
1822.62/1545.20	c (35,0) x[81] = 0
1822.62/1545.20	c (35,0) x[82] = 0
1822.62/1545.20	c (35,0) x[83] = 0
1822.62/1545.20	c (35,0) x[84] = 0
1822.62/1545.20	c (35,0) x[85] = 0
1822.62/1545.20	c (35,0) x[86] = 0
1822.62/1545.20	c (35,0) x[87] = 0
1822.62/1545.20	c (35,0) x[88] = 0
1822.62/1545.20	c (35,0) x[89] = 0
1822.62/1545.20	c (35,0) x[90] = 0
1822.62/1545.20	c (35,0) x[91] = 0
1822.62/1545.20	c (35,0) x[92] = 0
1822.62/1545.20	c (35,0) x[93] = 0
1822.62/1545.20	c (35,0) x[94] = 0
1822.62/1545.20	c (35,0) x[95] = 0
1822.62/1545.20	c (35,0) x[96] = 0
1822.62/1545.20	c (35,0) x[97] = 0
1822.62/1545.20	c (35,0) x[98] = 0
1822.62/1545.20	c (35,0) x[99] = 0
1822.62/1545.20	c (35,0) x[100] = 0
1822.62/1545.20	c (35,0) x[101] = 0
1822.62/1545.20	c (35,0) x[102] = 0
1822.62/1545.20	c (35,0) x[103] = 0
1822.62/1545.20	c (35,0) x[104] = 0
1822.62/1545.20	c (35,0) x[105] = 0
1822.62/1545.20	c (35,0) x[106] = 0
1822.62/1545.20	c (35,0) x[107] = 0
1822.91/1545.20	c (35,0) x[108] = 0
1822.91/1545.20	c (35,0) x[109] = 0
1822.91/1545.20	c (35,0) x[110] = 0
1822.91/1545.20	c (35,0) x[111] = 0
1822.91/1545.20	c (35,0) x[112] = 0
1822.91/1545.20	c (35,0) x[113] = 0
1822.91/1545.20	c (35,0) x[114] = 0
1822.91/1545.20	c (35,0) x[115] = 0
1822.91/1545.20	c (35,0) x[116] = 0
1822.91/1545.20	c (35,0) x[117] = 0
1822.91/1545.20	c (35,0) x[118] = 0
1822.91/1545.20	c (35,0) x[119] = 0
1822.91/1545.20	c (35,0) x[120] = 0
1822.91/1545.20	c (35,0) x[121] = 0
1822.91/1545.20	c (35,0) x[122] = 0
1822.91/1545.20	c (35,0) x[123] = 0
1822.91/1545.20	c (35,0) x[124] = 0
1822.91/1545.20	c (35,0) x[125] = 0
1822.91/1545.20	c (35,0) x[126] = 0
1822.91/1545.20	c (35,0) x[127] = 0
1822.91/1545.20	c (35,0) x[128] = 0
1822.91/1545.20	c (35,0) x[129] = 0
1822.91/1545.20	c (35,0) x[130] = 0
1822.91/1545.20	c (35,0) x[131] = 0
1822.91/1545.20	c (35,0) x[132] = 0
1822.91/1545.20	c (35,0) x[133] = 0
1822.91/1545.20	c (35,0) x[134] = 0
1822.91/1545.20	c (35,0) x[135] = 0
1822.91/1545.20	c (35,0) x[136] = 0
1822.91/1545.20	c (35,0) x[137] = 0
1822.91/1545.20	c (35,0) x[138] = 0
1822.91/1545.20	c (35,0) x[139] = 0
1822.91/1545.20	c (35,0) x[140] = 0
1822.91/1545.20	c (35,0) x[141] = 0
1822.91/1545.20	c (35,0) x[142] = 0
1822.91/1545.20	c (35,0) x[143] = 0
1822.91/1545.20	c (35,0) x[144] = 0
1822.91/1545.20	c (35,0) x[145] = 0
1822.91/1545.20	c (35,0) x[146] = 0
1822.91/1545.20	c (35,0) x[147] = 0
1822.91/1545.20	c (35,0) x[148] = 0
1822.91/1545.20	c (35,0) x[149] = 0
1822.91/1545.20	c (35,0) x[150] = 0
1822.91/1545.20	c (35,0) x[151] = 0
1822.91/1545.20	c (35,0) x[152] = 0
1822.91/1545.20	c (35,0) x[153] = 0
1822.91/1545.20	c (35,0) x[154] = 0
1822.91/1545.20	c (35,0) x[155] = 0
1822.91/1545.20	c (35,0) x[156] = 0
1822.91/1545.20	c (35,0) x[157] = 0
1822.91/1545.20	c (35,0) x[158] = 0
1822.91/1545.20	c (35,0) x[159] = 0
1822.91/1545.20	c (35,0) x[160] = 0
1822.91/1545.20	c (35,0) x[161] = 0
1822.91/1545.20	c (35,0) x[162] = 0
1822.91/1545.20	c (35,0) x[163] = 0
1822.91/1545.20	c (35,0) x[164] = 0
1822.91/1545.20	c (35,0) x[165] = 0
1822.91/1545.20	c (35,0) x[166] = 0
1822.91/1545.20	c (35,0) x[167] = 0
1822.91/1545.20	c (35,0) x[168] = 0
1822.91/1545.20	c (35,0) x[169] = 0
1822.91/1545.20	c (35,0) x[170] = 0
1822.91/1545.20	c (35,0) x[171] = 0
1822.91/1545.20	c (35,0) x[172] = 0
1822.91/1545.20	c (35,0) x[173] = 0
1822.91/1545.20	c (35,0) x[174] = 0
1822.91/1545.20	c (35,0) x[175] = 0
1822.91/1545.20	c (35,0) x[176] = 0
1822.91/1545.20	c (35,0) x[177] = 0
1822.91/1545.20	c (35,0) x[178] = 0
1822.91/1545.20	c (35,0) x[179] = 0
1822.91/1545.20	c (35,0) x[180] = 0
1822.91/1545.20	c (35,0) x[181] = 0
1822.91/1545.20	c (35,0) x[182] = 0
1822.91/1545.20	c (35,0) x[183] = 0
1822.91/1545.20	c (35,0) x[184] = 0
1822.91/1545.20	c (35,0) x[185] = 0
1822.91/1545.20	c (35,0) x[186] = 0
1822.91/1545.20	c (35,0) x[187] = 0
1822.91/1545.20	c (35,0) x[188] = 0
1822.91/1545.20	c (35,0) x[189] = 0
1822.91/1545.20	c (35,0) x[190] = 0
1822.91/1545.20	c (35,0) x[191] = 0
1822.91/1545.20	c (35,0) x[192] = 0
1822.91/1545.20	c (35,0) x[193] = 0
1822.91/1545.20	c (35,0) x[194] = 0
1822.91/1545.20	c (35,0) x[195] = 0
1822.91/1545.20	c (35,0) x[196] = 0
1822.91/1545.20	c (35,0) x[197] = 0
1822.91/1545.20	c (35,0) x[198] = 0
1822.91/1545.20	c (35,0) x[199] = 0
1822.91/1545.20	c (35,0) x[200] = 0
1822.91/1545.20	c (35,0) x[201] = 0
1822.91/1545.20	c (35,0) x[202] = 0
1822.91/1545.20	c (35,0) x[203] = 0
1822.91/1545.20	c (35,0) x[204] = 0
1822.91/1545.20	c (35,0) x[205] = 0
1822.91/1545.20	c (35,0) x[206] = 0
1822.91/1545.20	c (35,0) x[207] = 0
1822.91/1545.20	c (35,0) x[208] = 0
1822.91/1545.20	c (35,0) x[209] = 0
1822.91/1545.20	c (35,0) x[210] = 0
1822.91/1545.20	c (35,0) x[211] = 0
1822.91/1545.20	c (35,0) x[212] = 0
1822.91/1545.20	c (35,0) x[213] = 0
1822.91/1545.20	c (35,0) x[214] = 0
1822.91/1545.20	c (35,0) x[215] = 0
1822.91/1545.20	c (35,0) x[216] = 0
1822.91/1545.20	c (35,0) x[217] = 0
1822.91/1545.20	c (35,0) x[218] = 0
1822.91/1545.20	c (35,0) x[219] = 0
1822.91/1545.20	c (35,0) x[220] = 0
1822.91/1545.20	c (35,0) x[221] = 0
1822.91/1545.20	c (35,0) x[222] = 0
1822.91/1545.20	c (35,0) x[223] = 0
1822.91/1545.20	c (35,0) x[224] = 0
1822.91/1545.20	c (35,0) x[225] = 0
1822.91/1545.20	c (35,0) x[226] = 0
1822.91/1545.20	c (35,0) x[227] = 0
1822.91/1545.20	c (35,0) x[228] = 0
1822.91/1545.20	c (35,0) x[229] = 0
1822.91/1545.20	c (35,0) x[230] = 0
1822.91/1545.20	c (35,0) x[231] = 0
1822.91/1545.20	c (35,0) x[232] = 0
1822.91/1545.20	c (35,0) x[233] = 0
1822.91/1545.20	c (35,0) x[234] = 0
1822.91/1545.20	c (35,0) x[235] = 0
1822.91/1545.20	c (35,0) x[236] = 0
1822.91/1545.20	c (35,0) x[237] = 0
1822.91/1545.20	c (35,0) x[238] = 0
1822.91/1545.20	c (35,0) x[239] = 0
1822.91/1545.20	c (35,0) x[240] = 0
1822.91/1545.20	c (35,0) x[241] = 0
1822.91/1545.20	c (35,0) x[242] = 0
1822.91/1545.20	c (35,0) x[243] = 0
1822.91/1545.20	c (35,0) x[244] = 0
1822.91/1545.20	c (35,0) x[245] = 0
1822.91/1545.20	c (35,0) x[246] = 0
1822.91/1545.20	c (35,0) x[247] = 0
1822.91/1545.20	c (35,0) x[248] = 0
1822.91/1545.20	c (35,0) x[249] = 0
1822.91/1545.20	c (35,0) x[250] = 0
1822.91/1545.20	c (35,0) x[251] = 0
1822.91/1545.20	c (35,0) x[252] = 0
1822.91/1545.20	c (35,0) x[253] = 0
1822.91/1545.20	c (35,0) x[254] = 0
1822.91/1545.20	c (35,0) x[255] = 0
1822.91/1545.20	c (35,0) x[256] = 0
1822.91/1545.20	c (35,0) x[257] = 0
1822.91/1545.20	c (35,0) x[258] = 0
1822.91/1545.20	c (35,0) x[259] = 0
1822.91/1545.20	c (35,0) x[260] = 0
1822.91/1545.20	c (35,0) x[261] = 0
1822.91/1545.20	c (35,0) x[262] = 0
1822.91/1545.20	c (35,0) x[263] = 0
1822.91/1545.21	c (35,0) x[264] = 0
1822.91/1545.21	c (35,0) x[265] = 0
1822.91/1545.21	c (35,0) x[266] = 0
1822.91/1545.21	c (35,0) x[267] = 0
1822.91/1545.21	c (35,0) x[268] = 0
1822.91/1545.21	c (35,0) x[269] = 0
1822.91/1545.21	c (35,0) x[270] = 0
1822.91/1545.21	c (35,0) x[271] = 0
1822.91/1545.21	c (35,0) x[272] = 0
1822.91/1545.21	c (35,0) x[273] = 0
1822.91/1545.21	c (35,0) x[274] = 0
1822.91/1545.21	c (35,0) x[275] = 0
1822.91/1545.21	c (35,0) x[276] = 0
1822.91/1545.21	c (35,0) x[277] = 0
1822.91/1545.21	c (35,0) x[278] = 0
1822.91/1545.21	c (35,0) x[279] = 0
1822.91/1545.21	c (35,0) x[280] = 0
1822.91/1545.21	c (35,0) x[281] = 0
1822.91/1545.21	c (35,0) x[282] = 0
1822.91/1545.21	c (35,0) x[283] = 0
1822.91/1545.21	c (35,0) x[284] = 0
1822.91/1545.21	c (35,0) x[285] = 0
1822.91/1545.21	c (35,0) x[286] = 0
1822.91/1545.21	c (35,0) x[287] = 0
1822.91/1545.21	c (35,0) x[288] = 0
1822.91/1545.21	c (35,0) x[289] = 0
1822.91/1545.21	c (35,0) x[290] = 0
1822.91/1545.21	c (35,0) x[291] = 0
1822.91/1545.21	c (35,0) x[292] = 0
1822.91/1545.21	c (35,0) x[293] = 0
1822.91/1545.21	c (35,0) x[294] = 0
1822.91/1545.21	c (35,0) x[295] = 0
1822.91/1545.21	c (35,0) x[296] = 0
1822.91/1545.21	c (35,0) x[297] = 0
1822.91/1545.21	c (35,0) x[298] = 0
1822.91/1545.21	c (35,0) x[299] = 0
1822.91/1545.21	c (35,0) x[300] = 0
1822.91/1545.21	c (35,0) x[301] = 0
1822.91/1545.21	c (35,0) x[302] = 0
1822.91/1545.21	c (35,0) x[303] = 0
1822.91/1545.21	c (35,0) x[304] = 0
1822.91/1545.21	c (35,0) x[305] = 0
1822.91/1545.21	c (35,0) x[306] = 0
1822.91/1545.21	c (35,0) x[307] = 0
1822.91/1545.21	c (35,0) x[308] = 0
1822.91/1545.21	c (35,0) x[309] = 0
1822.91/1545.21	c (35,0) x[310] = 0
1822.91/1545.21	c (35,0) x[311] = 0
1822.91/1545.21	c (35,0) x[312] = 0
1822.91/1545.21	c (35,0) x[313] = 0
1822.91/1545.21	c (35,0) x[314] = 0
1822.91/1545.21	c (35,0) x[315] = 0
1822.91/1545.21	c (35,0) x[316] = 0
1822.91/1545.21	c (35,0) x[317] = 0
1822.91/1545.21	c (35,0) x[318] = 0
1822.91/1545.21	c (35,0) x[319] = 0
1822.91/1545.21	c (35,0) x[320] = 0
1822.91/1545.21	c (35,0) x[321] = 0
1822.91/1545.21	c (35,0) x[322] = 0
1822.91/1545.21	c (35,0) x[323] = 0
1822.91/1545.21	c (35,0) x[324] = 0
1822.91/1545.21	c (35,0) x[325] = 0
1822.91/1545.21	c (35,0) x[326] = 0
1822.91/1545.21	c (35,0) x[327] = 0
1822.91/1545.21	c (35,0) x[328] = 0
1822.91/1545.21	c (35,0) x[329] = 0
1822.91/1545.21	c (35,0) x[330] = 0
1822.91/1545.21	c (35,0) x[331] = 0
1822.91/1545.21	c (35,0) x[332] = 0
1822.91/1545.21	c (35,0) x[333] = 0
1822.91/1545.21	c (35,0) x[334] = 0
1822.91/1545.21	c (35,0) x[335] = 0
1822.91/1545.21	c (35,0) x[336] = 0
1822.91/1545.21	c (35,0) x[337] = 0
1822.91/1545.21	c (35,0) x[338] = 0
1822.91/1545.21	c (35,0) x[339] = 0
1822.91/1545.21	c (35,0) x[340] = 0
1822.91/1545.21	c (35,0) x[341] = 0
1822.91/1545.21	c (35,0) x[342] = 0
1822.91/1545.21	c (35,0) x[343] = 0
1822.91/1545.21	c (35,0) x[344] = 0
1822.91/1545.21	c (35,0) x[345] = 0
1822.91/1545.21	c (35,0) x[346] = 0
1822.91/1545.21	c (35,0) x[347] = 0
1822.91/1545.21	c (35,0) x[348] = 0
1822.91/1545.21	c (35,0) x[349] = 0
1822.91/1545.21	c (35,0) x[350] = 0
1822.91/1545.21	c (35,0) x[351] = 0
1822.91/1545.21	c (35,0) x[352] = 0
1822.91/1545.21	c (35,0) x[353] = 0
1822.91/1545.21	c (35,0) x[354] = 0
1822.91/1545.21	c (35,0) x[355] = 0
1822.91/1545.21	c (35,0) x[356] = 0
1822.91/1545.21	c (35,0) x[357] = 0
1822.91/1545.21	c (35,0) x[358] = 0
1822.91/1545.21	c (35,0) x[359] = 0
1822.91/1545.21	c (35,0) x[360] = 0
1822.91/1545.21	c (35,0) x[361] = 0
1822.91/1545.21	c (35,0) x[362] = 0
1822.91/1545.21	c (35,0) x[363] = 0
1822.91/1545.21	c (35,0) x[364] = 0
1822.91/1545.21	c (35,0) x[365] = 0
1822.91/1545.21	c (35,0) x[366] = 0
1822.91/1545.21	c (35,0) x[367] = 0
1822.91/1545.21	c (35,0) x[368] = 0
1822.91/1545.21	c (35,0) x[369] = 0
1822.91/1545.21	c (35,0) x[370] = 0
1822.91/1545.21	c (35,0) x[371] = 0
1822.91/1545.21	c (35,0) x[372] = 0
1822.91/1545.21	c (35,0) x[373] = 0
1822.91/1545.21	c (35,0) x[374] = 0
1822.91/1545.21	c (35,0) x[375] = 0
1822.91/1545.21	c (35,0) x[376] = 0
1822.91/1545.21	c (35,0) x[377] = 0
1822.91/1545.21	c (35,0) x[378] = 0
1822.91/1545.21	c (35,0) x[379] = 0
1822.91/1545.21	c (35,0) x[380] = 0
1822.91/1545.21	c (35,0) x[381] = 0
1822.91/1545.21	c (35,0) x[382] = 0
1822.91/1545.21	c (35,0) x[383] = 0
1822.91/1545.21	c (35,0) x[384] = 0
1822.91/1545.21	c (35,0) x[385] = 0
1822.91/1545.21	c (35,0) x[386] = 0
1822.91/1545.21	c (35,0) x[387] = 0
1822.91/1545.21	c (35,0) x[388] = 0
1822.91/1545.21	c (35,0) x[389] = 0
1822.91/1545.21	c (35,0) x[390] = 0
1822.91/1545.21	c (35,0) x[391] = 0
1822.91/1545.21	c (35,0) x[392] = 0
1822.91/1545.21	c (35,0) x[393] = 0
1822.91/1545.21	c (35,0) x[394] = 0
1822.91/1545.21	c (35,0) x[395] = 0
1822.91/1545.21	c (35,0) x[396] = 0
1822.91/1545.21	c (35,0) x[397] = 0
1822.91/1545.21	c (35,0) x[398] = 0
1822.91/1545.21	c (35,0) x[399] = 0
1822.91/1545.21	c (35,0) x[400] = 0
1822.91/1545.21	c (35,0) x[401] = 0
1822.91/1545.21	c (35,0) x[402] = 0
1822.91/1545.21	c (35,0) x[403] = 0
1822.91/1545.21	c (35,0) x[404] = 0
1822.91/1545.21	c (35,0) x[405] = 0
1822.91/1545.21	c (35,0) x[406] = 0
1822.91/1545.21	c (35,0) x[407] = 0
1822.91/1545.21	c (35,0) x[408] = 0
1822.91/1545.21	c (35,0) x[409] = 0
1822.91/1545.21	c (35,0) x[410] = 0
1822.91/1545.21	c (35,0) x[411] = 0
1822.91/1545.21	c (35,0) x[412] = 0
1822.91/1545.21	c (35,0) x[413] = 0
1822.91/1545.21	c (35,0) x[414] = 0
1822.91/1545.21	c (35,0) x[415] = 0
1822.91/1545.21	c (35,0) x[416] = 0
1822.91/1545.21	c (35,0) x[417] = 0
1822.91/1545.21	c (35,0) x[418] = 0
1822.91/1545.21	c (35,0) x[419] = 0
1822.91/1545.21	c (35,0) x[420] = 0
1822.91/1545.21	c (35,0) x[421] = 0
1822.91/1545.21	c (35,0) x[422] = 0
1822.91/1545.21	c (35,0) x[423] = 0
1822.91/1545.21	c (35,0) x[424] = 0
1822.91/1545.21	c (35,0) x[425] = 0
1822.91/1545.21	c (35,0) x[426] = 0
1822.91/1545.21	c (35,0) x[427] = 0
1822.91/1545.21	c (35,0) x[428] = 0
1822.91/1545.21	c (35,0) x[429] = 0
1822.91/1545.21	c (35,0) x[430] = 0
1822.91/1545.21	c (35,0) x[431] = 0
1822.91/1545.21	c (35,0) x[432] = 0
1822.91/1545.21	c (35,0) x[433] = 0
1822.91/1545.21	c (35,0) x[434] = 0
1822.91/1545.21	c (35,0) x[435] = 0
1822.91/1545.21	c (35,0) x[436] = 0
1822.91/1545.21	c (35,0) x[437] = 0
1822.91/1545.21	c (35,0) x[438] = 0
1822.91/1545.21	c (35,0) x[439] = 0
1822.91/1545.21	c (35,0) x[440] = 0
1822.91/1545.21	c (35,0) x[441] = 0
1822.91/1545.21	c (35,0) x[442] = 0
1822.91/1545.21	c (35,0) x[443] = 0
1822.91/1545.21	c (35,0) x[444] = 0
1822.91/1545.21	c (35,0) x[445] = 0
1822.91/1545.21	c (35,0) x[446] = 0
1822.91/1545.21	c (35,0) x[447] = 0
1822.91/1545.21	c (35,0) x[448] = 0
1822.91/1545.21	c (35,0) x[449] = 0
1822.91/1545.22	c (35,0) x[450] = 0
1822.91/1545.22	c (35,0) x[451] = 0
1822.91/1545.22	c (35,0) x[452] = 0
1822.91/1545.22	c (35,0) x[453] = 0
1822.91/1545.22	c (35,0) x[454] = 0
1822.91/1545.22	c (35,0) x[455] = 0
1822.91/1545.22	c (35,0) x[456] = 0
1822.91/1545.22	c (35,0) x[457] = 0
1822.91/1545.22	c (35,0) x[458] = 0
1822.91/1545.22	c (35,0) x[459] = 0
1822.91/1545.22	c (35,0) x[460] = 0
1822.91/1545.22	c (35,0) x[461] = 0
1822.91/1545.22	c (35,0) x[462] = 0
1822.91/1545.22	c (35,0) x[463] = 0
1822.91/1545.22	c (35,0) x[464] = 0
1822.91/1545.22	c (35,0) x[465] = 0
1822.91/1545.22	c (35,0) x[466] = 0
1822.91/1545.22	c (35,0) x[467] = 0
1822.91/1545.22	c (35,0) x[468] = 0
1822.91/1545.22	c (35,0) x[469] = 0
1822.91/1545.22	c (35,0) x[470] = 0
1822.91/1545.22	c (35,0) x[471] = 0
1822.91/1545.22	c (35,0) x[472] = 0
1822.91/1545.22	c (35,0) x[473] = 0
1822.91/1545.22	c (35,0) x[474] = 0
1822.91/1545.22	c (35,0) x[475] = 0
1822.91/1545.22	c (35,0) x[476] = 0
1822.91/1545.22	c (35,0) x[477] = 0
1822.91/1545.22	c (35,0) x[478] = 0
1822.91/1545.22	c (35,0) x[479] = 0
1822.91/1545.22	c (35,0) x[480] = 0
1822.91/1545.22	c (35,0) x[481] = 0
1822.91/1545.22	c (35,0) x[482] = 0
1822.91/1545.22	c (35,0) x[483] = 0
1822.91/1545.22	c (35,0) x[484] = 0
1822.91/1545.22	c (35,0) x[485] = 0
1822.91/1545.22	c (35,0) x[486] = 0
1822.91/1545.22	c (35,0) x[487] = 0
1822.91/1545.22	c (35,0) x[488] = 0
1822.91/1545.22	c (35,0) x[489] = 0
1822.91/1545.22	c (35,0) x[490] = 0
1822.91/1545.22	c (35,0) x[491] = 0
1822.91/1545.22	c (35,0) x[492] = 0
1822.91/1545.22	c (35,0) x[493] = 0
1822.91/1545.22	c (35,0) x[494] = 0
1822.91/1545.22	c (35,0) x[495] = 0
1822.91/1545.22	c (35,0) x[496] = 0
1822.91/1545.22	c (35,0) x[497] = 0
1822.91/1545.22	c (35,0) x[498] = 0
1822.91/1545.22	c (35,0) x[499] = 0
1822.91/1545.22	c (35,0) x[500] = 0
1822.91/1545.22	c (35,0) x[501] = 0
1822.91/1545.22	c (35,0) x[502] = 0
1822.91/1545.22	c (35,0) x[503] = 0
1822.91/1545.22	c (35,0) x[504] = 0
1822.91/1545.22	c (35,0) x[505] = 0
1822.91/1545.22	c (35,0) x[506] = 0
1822.91/1545.22	c (35,0) x[507] = 0
1822.91/1545.22	c (35,0) x[508] = 0
1822.91/1545.22	c (35,0) x[509] = 0
1822.91/1545.22	c (35,0) x[510] = 0
1822.91/1545.22	c (35,0) x[511] = 0
1822.91/1545.22	c (35,0) x[512] = 0
1822.91/1545.22	c (35,0) x[513] = 0
1822.91/1545.22	c (35,0) x[514] = 0
1822.91/1545.22	c (35,0) x[515] = 0
1822.91/1545.22	c (35,0) x[516] = 0
1822.91/1545.22	c (35,0) x[517] = 0
1822.91/1545.22	c (35,0) x[518] = 0
1822.91/1545.22	c (35,0) x[519] = 0
1822.91/1545.22	c (35,0) x[520] = 0
1822.91/1545.22	c (35,0) x[521] = 0
1822.91/1545.22	c (35,0) x[522] = 0
1822.91/1545.22	c (35,0) x[523] = 0
1822.91/1545.22	c (35,0) x[524] = 0
1822.91/1545.22	c (35,0) x[525] = 0
1822.91/1545.22	c (35,0) x[526] = 0
1822.91/1545.22	c (35,0) x[527] = 0
1822.91/1545.22	c (35,0) x[528] = 0
1822.91/1545.22	c (35,0) x[529] = 0
1822.91/1545.22	c (35,0) x[530] = 0
1822.91/1545.22	c (35,0) x[531] = 0
1822.91/1545.22	c (35,0) x[532] = 0
1822.91/1545.22	c (35,0) x[533] = 0
1822.91/1545.22	c (35,0) x[534] = 0
1822.91/1545.22	c (35,0) x[535] = 0
1822.91/1545.22	c (35,0) x[536] = 0
1822.91/1545.22	c (35,0) x[537] = 0
1822.91/1545.22	c (35,0) x[538] = 0
1822.91/1545.22	c (35,0) x[539] = 0
1822.91/1545.22	c (35,0) x[540] = 0
1822.91/1545.22	c (35,0) x[541] = 0
1822.91/1545.22	c (35,0) x[542] = 0
1822.91/1545.22	c (35,0) x[543] = 0
1822.91/1545.22	c (35,0) x[544] = 0
1822.91/1545.22	c (35,0) x[545] = 0
1822.91/1545.22	c (35,0) x[546] = 0
1822.91/1545.22	c (35,0) x[547] = 0
1822.91/1545.22	c (35,0) x[548] = 0
1822.91/1545.22	c (35,0) x[549] = 0
1822.91/1545.22	c (35,0) x[550] = 0
1822.91/1545.22	c (35,0) x[551] = 0
1822.91/1545.22	c (35,0) x[552] = 0
1822.91/1545.22	c (35,0) x[553] = 0
1822.91/1545.22	c (35,0) x[554] = 0
1822.91/1545.22	c (35,0) x[555] = 0
1822.91/1545.22	c (35,0) x[556] = 0
1822.91/1545.22	c (35,0) x[557] = 0
1822.91/1545.22	c (35,0) x[558] = 0
1822.91/1545.22	c (35,0) x[559] = 0
1822.91/1545.22	c (35,0) x[560] = 0
1822.91/1545.22	c (35,0) x[561] = 0
1822.91/1545.22	c (35,0) x[562] = 0
1822.91/1545.22	c (35,0) x[563] = 0
1822.91/1545.22	c (35,0) x[564] = 0
1822.91/1545.22	c (35,0) x[565] = 0
1822.91/1545.22	c (35,0) x[566] = 0
1822.91/1545.22	c (35,0) x[567] = 0
1822.91/1545.22	c (35,0) x[568] = 0
1822.91/1545.22	c (35,0) x[569] = 0
1822.91/1545.22	c (35,0) x[570] = 0
1822.91/1545.22	c (35,0) x[571] = 0
1822.91/1545.22	c (35,0) x[572] = 0
1822.91/1545.22	c (35,0) x[573] = 0
1822.91/1545.22	c (35,0) x[574] = 0
1822.91/1545.22	c (35,0) x[575] = 0
1822.91/1545.22	c (35,0) x[576] = 0
1822.91/1545.22	c (35,0) x[577] = 0
1822.91/1545.22	c (35,0) x[578] = 0
1822.91/1545.22	c (35,0) x[579] = 0
1822.91/1545.22	c (35,0) x[580] = 0
1822.91/1545.22	c (35,0) x[581] = 0
1822.91/1545.22	c (35,0) x[582] = 0
1822.91/1545.22	c (35,0) x[583] = 0
1822.91/1545.22	c (35,0) x[584] = 0
1822.91/1545.22	c (35,0) x[585] = 0
1822.91/1545.22	c (35,0) x[586] = 0
1822.91/1545.22	c (35,0) x[587] = 0
1822.91/1545.22	c (35,0) x[588] = 0
1822.91/1545.22	c (35,0) x[589] = 0
1822.91/1545.22	c (35,0) x[590] = 0
1822.91/1545.22	c (35,0) x[591] = 0
1822.91/1545.22	c (35,0) x[592] = 0
1822.91/1545.22	c (35,0) x[593] = 0
1822.91/1545.22	c (35,0) x[594] = 0
1822.91/1545.22	c (35,0) x[595] = 0
1822.91/1545.22	c (35,0) x[596] = 0
1822.91/1545.22	c (35,0) x[597] = 0
1822.91/1545.22	c (35,0) x[598] = 0
1822.91/1545.22	c (35,0) x[599] = 0
1822.91/1545.22	c (35,0) x[600] = 0
1822.91/1545.22	c (35,0) x[601] = 0
1822.91/1545.22	c (35,0) x[602] = 0
1822.91/1545.22	c (35,0) x[603] = 0
1822.91/1545.22	c (35,0) x[604] = 0
1822.91/1545.22	c (35,0) x[605] = 0
1822.91/1545.22	c (35,0) x[606] = 0
1822.91/1545.22	c (35,0) x[607] = 0
1822.91/1545.22	c (35,0) x[608] = 0
1822.91/1545.22	c (35,0) x[609] = 0
1822.91/1545.22	c (35,0) x[610] = 0
1822.91/1545.22	c (35,0) x[611] = 0
1822.91/1545.22	c (35,0) x[612] = 0
1822.91/1545.22	c (35,0) x[613] = 0
1822.91/1545.22	c (35,0) x[614] = 0
1822.91/1545.22	c (35,0) x[615] = 0
1822.91/1545.22	c (35,0) x[616] = 0
1822.91/1545.22	c (35,0) x[617] = 0
1822.91/1545.22	c (35,0) x[618] = 0
1822.91/1545.22	c (35,0) x[619] = 0
1822.91/1545.22	c (35,0) x[620] = 0
1822.91/1545.22	c (35,0) x[621] = 0
1822.91/1545.22	c (35,0) x[622] = 0
1822.91/1545.22	c (35,0) x[623] = 0
1822.91/1545.22	c (35,0) x[624] = 0
1822.91/1545.22	c (35,0) x[625] = 0
1822.91/1545.22	c (35,0) x[626] = 0
1822.91/1545.22	c (35,0) x[627] = 0
1822.91/1545.22	c (35,0) x[628] = 0
1822.91/1545.22	c (35,0) x[629] = 0
1822.91/1545.22	c (35,0) x[630] = 0
1822.91/1545.22	c (35,0) x[631] = 0
1822.91/1545.22	c (35,0) x[632] = 0
1822.91/1545.22	c (35,0) x[633] = 0
1822.91/1545.22	c (35,0) x[634] = 0
1822.91/1545.22	c (35,0) x[635] = 0
1822.91/1545.22	c (35,0) x[636] = 0
1822.91/1545.22	c (35,0) x[637] = 0
1822.91/1545.22	c (35,0) x[638] = 0
1822.91/1545.22	c (35,0) x[639] = 0
1822.91/1545.22	c (35,0) x[640] = 0
1822.91/1545.22	c (35,0) x[641] = 0
1822.91/1545.22	c (35,0) x[642] = 0
1822.91/1545.22	c (35,0) x[643] = 0
1822.91/1545.22	c (35,0) x[644] = 0
1822.91/1545.22	c (35,0) x[645] = 0
1822.91/1545.22	c (35,0) x[646] = 0
1822.91/1545.22	c (35,0) x[647] = 0
1822.91/1545.22	c (35,0) x[648] = 0
1822.91/1545.22	c (35,0) x[649] = 0
1822.91/1545.22	c (35,0) x[650] = 0
1822.91/1545.22	c (35,0) x[651] = 0
1822.91/1545.22	c (35,0) x[652] = 0
1822.91/1545.22	c (35,0) x[653] = 0
1822.91/1545.22	c (35,0) x[654] = 0
1822.91/1545.22	c (35,0) x[655] = 0
1822.91/1545.22	c (35,0) x[656] = 0
1822.91/1545.22	c (35,0) x[657] = 0
1822.91/1545.22	c (35,0) x[658] = 0
1822.91/1545.22	c (35,0) x[659] = 0
1822.91/1545.22	c (35,0) x[660] = 0
1822.91/1545.22	c (35,0) x[661] = 0
1822.91/1545.22	c (35,0) x[662] = 0
1822.91/1545.22	c (35,0) x[663] = 0
1822.91/1545.22	c (35,0) x[664] = 0
1822.91/1545.22	c (35,0) x[665] = 0
1822.91/1545.22	c (35,0) x[666] = 0
1822.91/1545.22	c (35,0) x[667] = 0
1822.91/1545.22	c (35,0) x[668] = 0
1822.91/1545.22	c (35,0) x[669] = 0
1822.91/1545.22	c (35,0) x[670] = 0
1822.91/1545.22	c (35,0) x[671] = 0
1822.91/1545.22	c (35,0) x[672] = 0
1822.91/1545.22	c (35,0) x[673] = 0
1822.91/1545.22	c (35,0) x[674] = 0
1822.91/1545.22	c (35,0) x[675] = 0
1822.91/1545.22	c (35,0) x[676] = 0
1822.91/1545.22	c (35,0) x[677] = 0
1822.91/1545.22	c (35,0) x[678] = 0
1822.91/1545.22	c (35,0) x[679] = 0
1822.91/1545.22	c (35,0) x[680] = 0
1822.91/1545.22	c (35,0) x[681] = 0
1822.91/1545.22	c (35,0) x[682] = 0
1822.91/1545.22	c (35,0) x[683] = 0
1822.91/1545.22	c (35,0) x[684] = 0
1822.91/1545.22	c (35,0) x[685] = 0
1822.91/1545.22	c (35,0) x[686] = 0
1822.91/1545.22	c (35,0) x[687] = 0
1822.91/1545.22	c (35,0) x[688] = 0
1822.91/1545.22	c (35,0) x[689] = 0
1822.91/1545.22	c (35,0) x[690] = 0
1822.91/1545.22	c (35,0) x[691] = 0
1822.91/1545.22	c (35,0) x[692] = 0
1822.91/1545.22	c (35,0) x[693] = 0
1822.91/1545.22	c (35,0) x[694] = 0
1822.91/1545.22	c (35,0) x[695] = 0
1822.91/1545.22	c (35,0) x[696] = 0
1822.91/1545.22	c (35,0) x[697] = 0
1822.91/1545.22	c (35,0) x[698] = 0
1822.91/1545.22	c (35,0) x[699] = 0
1822.91/1545.22	c (35,0) x[700] = 0
1822.91/1545.22	c (35,0) x[701] = 0
1822.91/1545.22	c (35,0) x[702] = 0
1822.91/1545.22	c (35,0) x[703] = 0
1822.91/1545.22	c (35,0) x[704] = 0
1822.91/1545.22	c (35,0) x[705] = 0
1822.91/1545.22	c (35,0) x[706] = 0
1822.91/1545.22	c (35,0) x[707] = 0
1822.91/1545.22	c (35,0) x[708] = 0
1822.91/1545.22	c (35,0) x[709] = 0
1822.91/1545.22	c (35,0) x[710] = 0
1822.91/1545.22	c (35,0) x[711] = 0
1822.91/1545.22	c (35,0) x[712] = 0
1822.91/1545.22	c (35,0) x[713] = 0
1822.91/1545.22	c (35,0) x[714] = 0
1822.91/1545.22	c (35,0) x[715] = 0
1822.91/1545.22	c (35,0) x[716] = 0
1822.91/1545.22	c (35,0) x[717] = 0
1822.91/1545.22	c (35,0) x[718] = 0
1822.91/1545.22	c (35,0) x[719] = 0
1822.91/1545.22	c (35,0) x[720] = 0
1822.91/1545.22	c (35,0) x[721] = 0
1822.91/1545.22	c (35,0) x[722] = 0
1822.91/1545.22	c (35,0) x[723] = 0
1822.91/1545.22	c (35,0) x[724] = 0
1822.91/1545.22	c (35,0) x[725] = 0
1822.91/1545.22	c (35,0) x[726] = 0
1822.91/1545.22	c (35,0) x[727] = 0
1822.91/1545.22	c (35,0) x[728] = 0
1822.91/1545.22	c (35,0) x[729] = 0
1822.91/1545.22	c (35,0) x[730] = 0
1822.91/1545.22	c (35,0) x[731] = 0
1822.91/1545.22	c (35,0) x[732] = 0
1822.91/1545.22	c (35,0) x[733] = 0
1822.91/1545.22	c (35,0) x[734] = 0
1822.91/1545.22	c (35,0) x[735] = 0
1822.91/1545.22	c (35,0) x[736] = 0
1822.91/1545.22	c (35,0) x[737] = 0
1822.91/1545.22	c (35,0) x[738] = 0
1822.91/1545.22	c (35,0) x[739] = 0
1822.91/1545.22	c (35,0) x[740] = 0
1822.91/1545.22	c (35,0) x[741] = 0
1822.91/1545.22	c (35,0) x[742] = 0
1822.91/1545.22	c (35,0) x[743] = 0
1822.91/1545.22	c (35,0) x[744] = 0
1822.91/1545.22	c (35,0) x[745] = 0
1822.91/1545.22	c (35,0) x[746] = 0
1822.91/1545.22	c (35,0) x[747] = 0
1822.91/1545.22	c (35,0) x[748] = 0
1822.91/1545.22	c (35,0) x[749] = 0
1822.91/1545.22	c (35,0) x[750] = 0
1822.91/1545.22	c (35,0) x[751] = 0
1822.91/1545.22	c (35,0) x[752] = 0
1822.91/1545.22	c (35,0) x[753] = 0
1822.91/1545.22	c (35,0) x[754] = 0
1822.91/1545.22	c (35,0) x[755] = 0
1822.91/1545.22	c (35,0) x[756] = 0
1822.91/1545.22	c (35,0) x[757] = 0
1822.91/1545.22	c (35,0) x[758] = 0
1822.91/1545.22	c (35,0) x[759] = 0
1822.91/1545.22	c (35,0) x[760] = 0
1822.91/1545.22	c (35,0) x[761] = 0
1822.91/1545.22	c (35,0) x[762] = 0
1822.91/1545.22	c (35,0) x[763] = 0
1822.91/1545.22	c (35,0) x[764] = 0
1822.91/1545.22	c (35,0) x[765] = 0
1822.91/1545.22	c (35,0) x[766] = 0
1822.91/1545.22	c (35,0) x[767] = 0
1822.91/1545.22	c (35,0) x[768] = 0
1822.91/1545.22	c (35,0) x[769] = 0
1822.91/1545.22	c (35,0) x[770] = 0
1822.91/1545.22	c (35,0) x[771] = 0
1822.91/1545.22	c (35,0) x[772] = 0
1822.91/1545.22	c (35,0) x[773] = 0
1822.91/1545.22	c (35,0) x[774] = 0
1822.91/1545.22	c (35,0) x[775] = 0
1822.91/1545.22	c (35,0) x[776] = 0
1822.91/1545.22	c (35,0) x[777] = 0
1822.91/1545.22	c (35,0) x[778] = 0
1822.91/1545.22	c (35,0) x[779] = 0
1822.91/1545.22	c (35,0) x[780] = 0
1822.91/1545.22	c (35,0) x[781] = 0
1822.91/1545.22	c (35,0) x[782] = 0
1822.91/1545.22	c (35,0) x[783] = 0
1822.91/1545.22	c (35,0) x[784] = 0
1822.91/1545.22	c (35,0) x[785] = 0
1822.91/1545.22	c (35,0) x[786] = 0
1822.91/1545.22	c (35,0) x[787] = 0
1822.91/1545.22	c (35,0) x[788] = 0
1822.91/1545.22	c (35,0) x[789] = 0
1822.91/1545.22	c (35,0) x[790] = 0
1822.91/1545.22	c (35,0) x[791] = 0
1822.91/1545.22	c (35,0) x[792] = 0
1822.91/1545.22	c (35,0) x[793] = 0
1822.91/1545.22	c (35,0) x[794] = 0
1822.91/1545.22	c (35,0) x[795] = 0
1822.91/1545.22	c (35,0) x[796] = 0
1822.91/1545.22	c (35,0) x[797] = 0
1822.91/1545.22	c (35,0) x[798] = 0
1822.91/1545.22	c (35,0) x[799] = 0
1822.91/1545.22	c (35,0) x[800] = 0
1822.91/1545.22	c (35,0) x[801] = 0
1822.91/1545.22	c (35,0) x[802] = 0
1822.91/1545.22	c (35,0) x[803] = 0
1822.91/1545.22	c (35,0) x[804] = 0
1822.91/1545.22	c (35,0) x[805] = 0
1822.91/1545.22	c (35,0) x[806] = 0
1822.91/1545.22	c (35,0) x[807] = 0
1822.91/1545.22	c (35,0) x[808] = 0
1822.91/1545.22	c (35,0) x[809] = 0
1822.91/1545.22	c (35,0) x[810] = 0
1822.91/1545.22	c (35,0) x[811] = 0
1822.91/1545.22	c (35,0) x[812] = 0
1822.91/1545.22	c (35,0) x[813] = 0
1822.91/1545.22	c (35,0) x[814] = 0
1822.91/1545.22	c (35,0) x[815] = 0
1822.91/1545.22	c (35,0) x[816] = 0
1822.91/1545.22	c (35,0) x[817] = 0
1822.91/1545.22	c (35,0) x[818] = 0
1822.91/1545.22	c (35,0) x[819] = 0
1822.91/1545.22	c (35,0) x[820] = 0
1822.91/1545.22	c (35,0) x[821] = 0
1822.91/1545.22	c (35,0) x[822] = 0
1822.91/1545.22	c (35,0) x[823] = 0
1822.91/1545.22	c (35,0) x[824] = 0
1822.91/1545.22	c (35,0) x[825] = 0
1822.91/1545.22	c (35,0) x[826] = 0
1822.91/1545.22	c (35,0) x[827] = 0
1822.91/1545.22	c (35,0) x[828] = 0
1822.91/1545.22	c (35,0) x[829] = 0
1822.91/1545.22	c (35,0) x[830] = 0
1822.91/1545.22	c (35,0) x[831] = 0
1822.91/1545.22	c (35,0) x[832] = 0
1822.91/1545.22	c (35,0) x[833] = 0
1822.91/1545.22	c (35,0) x[834] = 0
1822.91/1545.22	c (35,0) x[835] = 0
1822.91/1545.22	c (35,0) x[836] = 0
1822.91/1545.22	c (35,0) x[837] = 0
1822.91/1545.22	c (35,0) x[838] = 0
1822.91/1545.22	c (35,0) x[839] = 0
1822.91/1545.22	c (35,0) x[840] = 0
1822.91/1545.22	c (35,0) x[841] = 0
1822.91/1545.22	c (35,0) x[842] = 0
1822.91/1545.22	c (35,0) x[843] = 0
1822.91/1545.22	c (35,0) x[844] = 0
1822.91/1545.22	c (35,0) x[845] = 0
1822.91/1545.22	c (35,0) x[846] = 0
1822.91/1545.22	c (35,0) x[847] = 0
1822.91/1545.22	c (35,0) x[848] = 0
1822.91/1545.22	c (35,0) x[849] = 0
1822.91/1545.22	c (35,0) x[850] = 0
1822.91/1545.22	c (35,0) x[851] = 0
1822.91/1545.22	c (35,0) x[852] = 0
1822.91/1545.22	c (35,0) x[853] = 0
1822.91/1545.22	c (35,0) x[854] = 0
1822.91/1545.22	c (35,0) x[855] = 0
1822.91/1545.22	c (35,0) x[856] = 0
1822.91/1545.22	c (35,0) x[857] = 0
1822.91/1545.22	c (35,0) x[858] = 0
1822.91/1545.22	c (35,0) x[859] = 0
1822.91/1545.22	c (35,0) x[860] = 0
1822.91/1545.22	c (35,0) x[861] = 0
1822.91/1545.22	c (35,0) x[862] = 0
1822.91/1545.22	c (35,0) x[863] = 0
1822.91/1545.22	c (35,0) x[864] = 0
1822.91/1545.22	c (35,0) x[865] = 0
1822.91/1545.22	c (35,0) x[866] = 0
1822.91/1545.22	c (35,0) x[867] = 0
1822.91/1545.22	c (35,0) x[868] = 0
1822.91/1545.22	c (35,0) x[869] = 0
1822.91/1545.22	c (35,0) x[870] = 0
1822.91/1545.22	c (35,0) x[871] = 0
1822.91/1545.22	c (35,0) x[872] = 0
1822.91/1545.22	c (35,0) x[873] = 0
1822.91/1545.22	c (35,0) x[874] = 0
1822.91/1545.22	c (35,0) x[875] = 0
1822.91/1545.22	c (35,0) x[876] = 0
1822.91/1545.22	c (35,0) x[877] = 0
1822.91/1545.22	c (35,0) x[878] = 0
1822.91/1545.22	c (35,0) x[879] = 0
1822.91/1545.22	c (35,0) x[880] = 0
1822.91/1545.22	c (35,0) x[881] = 0
1822.91/1545.22	c (35,0) x[882] = 0
1822.91/1545.22	c (35,0) x[883] = 0
1822.91/1545.22	c (35,0) x[884] = 0
1822.91/1545.22	c (35,0) x[885] = 0
1822.91/1545.22	c (35,0) x[886] = 0
1822.91/1545.22	c (35,0) x[887] = 0
1822.91/1545.22	c (35,0) x[888] = 0
1822.91/1545.22	c (35,0) x[889] = 0
1822.91/1545.22	c (35,0) x[890] = 0
1822.91/1545.22	c (35,0) x[891] = 0
1822.91/1545.22	c (35,0) x[892] = 0
1822.91/1545.22	c (35,0) x[893] = 0
1822.91/1545.22	c (35,0) x[894] = 0
1822.91/1545.22	c (35,0) x[895] = 0
1822.91/1545.22	c (35,0) x[896] = 0
1822.91/1545.22	c (35,0) x[897] = 0
1822.91/1545.22	c (35,0) x[898] = 0
1822.91/1545.22	c (35,0) x[899] = 0
1822.91/1545.22	c (35,0) x[900] = 0
1822.91/1545.22	c (35,0) x[901] = 0
1822.91/1545.22	c (35,0) x[902] = 0
1822.91/1545.22	c (35,0) x[903] = 0
1822.91/1545.22	c (35,0) x[904] = 0
1822.91/1545.22	c (35,0) x[905] = 0
1822.91/1545.22	c (35,0) x[906] = 0
1822.91/1545.22	c (35,0) x[907] = 0
1822.91/1545.22	c (35,0) x[908] = 0
1822.91/1545.22	c (35,0) x[909] = 0
1822.91/1545.22	c (35,0) x[910] = 0
1822.91/1545.22	c (35,0) x[911] = 0
1822.91/1545.22	c (35,0) x[912] = 0
1822.91/1545.22	c (35,0) x[913] = 0
1822.91/1545.22	c (35,0) x[914] = 0
1822.91/1545.22	c (35,0) x[915] = 0
1822.91/1545.22	c (35,0) x[916] = 0
1822.91/1545.22	c (35,0) x[917] = 0
1822.91/1545.22	c (35,0) x[918] = 0
1822.91/1545.22	c (35,0) x[919] = 0
1822.91/1545.22	c (35,0) x[920] = 0
1822.91/1545.22	c (35,0) x[921] = 0
1822.91/1545.22	c (35,0) x[922] = 0
1822.91/1545.22	c (35,0) x[923] = 0
1822.91/1545.22	c (35,0) x[924] = 0
1822.91/1545.22	c (35,0) x[925] = 0
1822.91/1545.22	c (35,0) x[926] = 0
1822.91/1545.22	c (35,0) x[927] = 0
1822.91/1545.22	c (35,0) x[928] = 0
1822.91/1545.22	c (35,0) x[929] = 0
1822.91/1545.22	c (35,0) x[930] = 0
1822.91/1545.22	c (35,0) x[931] = 0
1822.91/1545.22	c (35,0) x[932] = 0
1822.91/1545.22	c (35,0) x[933] = 0
1822.91/1545.22	c (35,0) x[934] = 0
1822.91/1545.22	c (35,0) x[935] = 0
1822.91/1545.22	c (35,0) x[936] = 0
1822.91/1545.22	c (35,0) x[937] = 0
1822.91/1545.22	c (35,0) x[938] = 0
1822.91/1545.22	c (35,0) x[939] = 0
1822.91/1545.22	c (35,0) x[940] = 0
1822.91/1545.22	c (35,0) x[941] = 0
1822.91/1545.22	c (35,0) x[942] = 0
1822.91/1545.22	c (35,0) x[943] = 0
1822.91/1545.22	c (35,0) x[944] = 0
1822.91/1545.22	c (35,0) x[945] = 0
1822.91/1545.22	c (35,0) x[946] = 0
1822.91/1545.22	c (35,0) x[947] = 0
1822.91/1545.22	c (35,0) x[948] = 0
1822.91/1545.22	c (35,0) x[949] = 0
1822.91/1545.22	c (35,0) x[950] = 0
1822.91/1545.22	c (35,0) x[951] = 0
1822.91/1545.22	c (35,0) x[952] = 0
1822.91/1545.22	c (35,0) x[953] = 0
1822.91/1545.22	c (35,0) x[954] = 0
1822.91/1545.22	c (35,0) x[955] = 0
1822.91/1545.22	c (35,0) x[956] = 0
1822.91/1545.22	c (35,0) x[957] = 0
1822.91/1545.22	c (35,0) x[958] = 0
1822.91/1545.22	c (35,0) x[959] = 0
1822.91/1545.22	c (35,0) x[960] = 0
1822.91/1545.22	c (35,0) x[961] = 0
1822.91/1545.22	c (35,0) x[962] = 0
1822.91/1545.22	c (35,0) x[963] = 0
1822.91/1545.22	c (35,0) x[964] = 0
1822.91/1545.22	c (35,0) x[965] = 0
1822.91/1545.22	c (35,0) x[966] = 0
1822.91/1545.22	c (35,0) x[967] = 0
1822.91/1545.22	c (35,0) x[968] = 0
1822.91/1545.22	c (35,0) x[969] = 0
1822.91/1545.22	c (35,0) x[970] = 0
1822.91/1545.22	c (35,0) x[971] = 0
1822.91/1545.22	c (35,0) x[972] = 0
1822.91/1545.22	c (35,0) x[973] = 0
1822.91/1545.22	c (35,0) x[974] = 0
1822.91/1545.22	c (35,0) x[975] = 0
1822.91/1545.22	c (35,0) x[976] = 0
1822.91/1545.22	c (35,0) x[977] = 0
1822.91/1545.22	c (35,0) x[978] = 0
1822.91/1545.22	c (35,0) x[979] = 0
1822.91/1545.22	c (35,0) x[980] = 0
1822.91/1545.22	c (35,0) x[981] = 0
1822.91/1545.22	c (35,0) x[982] = 0
1822.91/1545.22	c (35,0) x[983] = 0
1822.91/1545.22	c (35,0) x[984] = 0
1822.91/1545.22	c (35,0) x[985] = 0
1822.91/1545.22	c (35,0) x[986] = 0
1822.91/1545.22	c (35,0) x[987] = 0
1822.91/1545.22	c (35,0) x[988] = 0
1822.91/1545.22	c (35,0) x[989] = 0
1822.91/1545.22	c (35,0) x[990] = 0
1822.91/1545.22	c (35,0) x[991] = 0
1822.91/1545.22	c (35,0) x[992] = 0
1822.91/1545.22	c (35,0) x[993] = 0
1822.91/1545.22	c (35,0) x[994] = 0
1822.91/1545.22	c (35,0) x[995] = 0
1822.91/1545.22	c (35,0) x[996] = 1
1822.91/1545.22	c (35,0) x[997] = 0
1822.91/1545.22	c (35,0) x[998] = 0
1822.91/1545.22	c (35,0) x[999] = 0
1822.91/1545.22	s SATISFIABLE
1822.91/1545.22	v <instantiation>
1822.91/1545.22	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999]</list>
1822.91/1545.22	v     <values>996 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0</values>
1822.91/1545.22	v </instantiation>
1822.91/1545.22	c (35,0) Show results End
1822.91/1545.22	c (35,0) Heap : 1054 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1822.91/1545.22	c (35,0) 35,35,STOP-AFTER(ALL)
1822.91/1545.22	c END-Prog: Mon Sep 23 14:38:01 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13167 MiB free)
  memory of node 1: 16384 MiB (12304 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405457-1569240781/watcher-4405457-1569240781 -o /var/tmp/evaluation-result-4405457-1569240781/solver-4405457-1569240781 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569238583-1238 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405457-1569240781.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1809, runsolver pid=1806

[startup+0.100158 s]*
/proc/loadavg: 7.41 7.25 5.15 2/212 1834
/proc/meminfo: memFree=25988000/32770624 swapFree=67002076/67108860
[pid=1809] ppid=1806 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1809/stat : 1809 (scop.sh) S 1806 1809 1211 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500326640 115843072 350 33554432000 4194304 5098028 140723841044320 140723841041576 140628447560316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29970432 140723841049340 140723841049688 140723841049688 140723841052617 0
/proc/1809/statm: 28282 350 297 221 0 87 0
[pid=1812] ppid=1809 vsize=27314120 memory=107112 CPUtime=0.1 cores=0-7
/proc/1812/stat : 1812 (java) S 1809 1809 1211 0 -1 1077944320 6369 0 0 0 7 3 0 0 20 0 20 0 500326640 27969658880 26778 33554432000 4194304 4196468 140732496642960 140732496625504 139786035855095 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
/proc/1812/statm: 6828530 26778 2777 1 0 6790935 0
[pid=1812/tid=1813] ppid=1809 vsize=27314120 memory=1400242874264906928 CPUtime=0.09 cores=0-7
/proc/1812/task/1813/stat : 1813 (java) R 1809 1809 1211 0 -1 4202560 4493 0 0 0 7 2 0 0 20 0 20 0 500326640 27969658880 26908 33554432000 4194304 4196468 140732496642960 139786007678736 139786035877021 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1816] ppid=1809 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1812/task/1816/stat : 1816 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139786040097424 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1817] ppid=1809 vsize=27314120 memory=139688609629824 CPUtime=0 cores=0-7
/proc/1812/task/1817/stat : 1817 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785823492624 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1818] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1818/stat : 1818 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785822439824 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1819] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1819/stat : 1819 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785821387024 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1820] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1820/stat : 1820 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785820335248 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1821] ppid=1809 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1812/task/1821/stat : 1821 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785819282448 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1822] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1822/stat : 1822 (java) S 1809 1809 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785452641168 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1823] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1823/stat : 1823 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785451588368 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1824] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1824/stat : 1824 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326644 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785026898288 139786035866242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1825] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1825/stat : 1825 (java) S 1809 1809 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500326645 27969658880 26908 33554432000 4194304 4196468 140732496642960 139783938499616 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1826] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1826/stat : 1826 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326645 27969658880 26908 33554432000 4194304 4196468 140732496642960 139783670063984 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1827] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1827/stat : 1827 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326647 27969658880 26908 33554432000 4194304 4196468 140732496642960 139783295555408 139786035873691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1829] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1829/stat : 1829 (java) S 1809 1809 1211 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785025846128 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1830] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1830/stat : 1830 (java) S 1809 1809 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785024793328 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1831] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1831/stat : 1831 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785023740528 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1832] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1832/stat : 1832 (java) R 1809 1809 1211 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785022687728 139786035876442 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1833] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1833/stat : 1833 (java) S 1809 1809 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 26908 33554432000 4194304 4196468 140732496642960 139782797650528 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1834] ppid=1809 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1812/task/1834/stat : 1834 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 26908 33554432000 4194304 4196468 140732496642960 139785021635120 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108512 KiB

[startup+0.210349 s]*
/proc/loadavg: 7.41 7.25 5.15 3/212 1834
/proc/meminfo: memFree=25960524/32770624 swapFree=67002076/67108860
[pid=1809] ppid=1806 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1809/stat : 1809 (scop.sh) S 1806 1809 1211 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500326640 115843072 350 33554432000 4194304 5098028 140723841044320 140723841041576 140628447560316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29970432 140723841049340 140723841049688 140723841049688 140723841052617 0
/proc/1809/statm: 28282 350 297 221 0 87 0
[pid=1812] ppid=1809 vsize=27314120 memory=124140 CPUtime=0.24 cores=0-7
/proc/1812/stat : 1812 (java) S 1809 1809 1211 0 -1 1077944320 11406 0 0 0 20 4 0 0 20 0 20 0 500326640 27969658880 31035 33554432000 4194304 4196468 140732496642960 140732496625504 139786035855095 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
/proc/1812/statm: 6828530 31035 2922 1 0 6790935 0
[pid=1812/tid=1813] ppid=1809 vsize=27314120 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1812/task/1813/stat : 1813 (java) R 1809 1809 1211 0 -1 4202560 9099 0 0 0 16 3 0 0 20 0 20 0 500326640 27969658880 31035 33554432000 4194304 4196468 140732496642960 139786007654480 139786017418651 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1816] ppid=1809 vsize=27314120 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/1812/task/1816/stat : 1816 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139786040097424 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1817] ppid=1809 vsize=27314120 memory=288370064761341568 CPUtime=0 cores=0-7
/proc/1812/task/1817/stat : 1817 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785823492624 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1818] ppid=1809 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1812/task/1818/stat : 1818 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785822439824 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1819] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1819/stat : 1819 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785821387024 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1820] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1820/stat : 1820 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785820335248 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1821] ppid=1809 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1812/task/1821/stat : 1821 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785819282448 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1822] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1822/stat : 1822 (java) S 1809 1809 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785452641168 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1823] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1823/stat : 1823 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785451588368 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1824] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1824/stat : 1824 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326644 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785026898288 139786035866242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1825] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1825/stat : 1825 (java) S 1809 1809 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500326645 27969658880 31035 33554432000 4194304 4196468 140732496642960 139783938499616 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1826] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1826/stat : 1826 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326645 27969658880 31035 33554432000 4194304 4196468 140732496642960 139783670063984 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1827] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1827/stat : 1827 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326647 27969658880 31035 33554432000 4194304 4196468 140732496642960 139783295555408 139786035873691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1829] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1829/stat : 1829 (java) S 1809 1809 1211 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785025846128 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1830] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1830/stat : 1830 (java) S 1809 1809 1211 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785024793328 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1831] ppid=1809 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1812/task/1831/stat : 1831 (java) S 1809 1809 1211 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785023740528 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1832] ppid=1809 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/1812/task/1832/stat : 1832 (java) S 1809 1809 1211 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 20 0 500326648 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785022687728 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1833] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1833/stat : 1833 (java) S 1809 1809 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31035 33554432000 4194304 4196468 140732496642960 139782797650528 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1834] ppid=1809 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1812/task/1834/stat : 1834 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31035 33554432000 4194304 4196468 140732496642960 139785021635120 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125540 KiB

[startup+0.309389 s]*
/proc/loadavg: 7.41 7.25 5.15 3/212 1834
/proc/meminfo: memFree=25962828/32770624 swapFree=67002076/67108860
[pid=1809] ppid=1806 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1809/stat : 1809 (scop.sh) S 1806 1809 1211 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500326640 115843072 350 33554432000 4194304 5098028 140723841044320 140723841041576 140628447560316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29970432 140723841049340 140723841049688 140723841049688 140723841052617 0
/proc/1809/statm: 28282 350 297 221 0 87 0
[pid=1812] ppid=1809 vsize=27314120 memory=127552 CPUtime=0.42 cores=0-7
/proc/1812/stat : 1812 (java) S 1809 1809 1211 0 -1 1077944320 12075 0 0 0 37 5 0 0 20 0 20 0 500326640 27969658880 31888 33554432000 4194304 4196468 140732496642960 140732496625504 139786035855095 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
/proc/1812/statm: 6828530 31888 2960 1 0 6790935 0
[pid=1812/tid=1813] ppid=1809 vsize=27314120 memory=1399051139730258233 CPUtime=0.3 cores=0-7
/proc/1812/task/1813/stat : 1813 (java) R 1809 1809 1211 0 -1 4202560 9604 0 0 0 26 4 0 0 20 0 20 0 500326640 27969658880 31888 33554432000 4194304 4196468 140732496642960 139786007658696 139786016130976 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1816] ppid=1809 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1812/task/1816/stat : 1816 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139786040097424 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1817] ppid=1809 vsize=27314120 memory=1568 CPUtime=0 cores=0-7
/proc/1812/task/1817/stat : 1817 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785823492624 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1818] ppid=1809 vsize=27314120 memory=1064 CPUtime=0 cores=0-7
/proc/1812/task/1818/stat : 1818 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785822439824 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1819] ppid=1809 vsize=27314120 memory=14008 CPUtime=0 cores=0-7
/proc/1812/task/1819/stat : 1819 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785821387024 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1820] ppid=1809 vsize=27314120 memory=12040 CPUtime=0 cores=0-7
/proc/1812/task/1820/stat : 1820 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785820335248 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1821] ppid=1809 vsize=27314120 memory=2120 CPUtime=0 cores=0-7
/proc/1812/task/1821/stat : 1821 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785819282448 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1822] ppid=1809 vsize=27314120 memory=33648 CPUtime=0 cores=0-7
/proc/1812/task/1822/stat : 1822 (java) S 1809 1809 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785452641168 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1823] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1823/stat : 1823 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785451588368 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1824] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1824/stat : 1824 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326644 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785026898288 139786035866242 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1825] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1825/stat : 1825 (java) S 1809 1809 1211 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500326645 27969658880 31888 33554432000 4194304 4196468 140732496642960 139783938499616 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1826] ppid=1809 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1826/stat : 1826 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326645 27969658880 31888 33554432000 4194304 4196468 140732496642960 139783670063984 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1827] ppid=1809 vsize=27314120 memory=139688509801935 CPUtime=0 cores=0-7
/proc/1812/task/1827/stat : 1827 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326647 27969658880 31888 33554432000 4194304 4196468 140732496642960 139783295555408 139786035873691 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1829] ppid=1809 vsize=27314120 memory=67 CPUtime=0.01 cores=0-7
/proc/1812/task/1829/stat : 1829 (java) S 1809 1809 1211 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 20 0 500326648 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785025846128 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1830] ppid=1809 vsize=27314120 memory=51172 CPUtime=0 cores=0-7
/proc/1812/task/1830/stat : 1830 (java) S 1809 1809 1211 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785024793328 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1831] ppid=1809 vsize=27314120 memory=53476 CPUtime=0.02 cores=0-7
/proc/1812/task/1831/stat : 1831 (java) S 1809 1809 1211 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 500326648 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785023740528 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1832] ppid=1809 vsize=27314120 memory=55780 CPUtime=0.07 cores=0-7
/proc/1812/task/1832/stat : 1832 (java) S 1809 1809 1211 0 -1 1077944384 516 0 0 0 7 0 0 0 20 0 20 0 500326648 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785022687728 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1833] ppid=1809 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7
/proc/1812/task/1833/stat : 1833 (java) S 1809 1809 1211 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31888 33554432000 4194304 4196468 140732496642960 139782797650528 139786035865301 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1834] ppid=1809 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7
/proc/1812/task/1834/stat : 1834 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326648 27969658880 31888 33554432000 4194304 4196468 140732496642960 139785021635120 139786035866242 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128952 KiB

[startup+0.700874 s]
/proc/loadavg: 7.41 7.25 5.15 2/212 1834
/proc/meminfo: memFree=25943032/32770624 swapFree=67002076/67108860
[pid=1809] ppid=1806 vsize=113128 memory=1400 CPUtime=0 cores=0-7
/proc/1809/stat : 1809 (scop.sh) S 1806 1809 1211 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 500326640 115843072 350 33554432000 4194304 5098028 140723841044320 140723841041576 140628447560316 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29970432 140723841049340 140723841049688 140723841049688 140723841052617 0
/proc/1809/statm: 28282 350 297 221 0 87 0
[pid=1812] ppid=1809 vsize=27320392 memory=164852 CPUtime=0.98 cores=0-7
/proc/1812/stat : 1812 (java) S 1809 1809 1211 0 -1 1077944320 19850 0 0 0 90 8 0 0 20 0 20 0 500326640 27976081408 41213 33554432000 4194304 4196468 140732496642960 140732496625504 139786035855095 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
/proc/1812/statm: 6830098 41213 3181 1 0 6791447 0
[pid=1812/tid=1813] ppid=1809 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/1812/task/1813/stat : 1813 (java) R 1809 1809 1211 0 -1 4202560 16945 0 0 0 61 6 0 0 20 0 20 0 500326640 27976081408 41213 33554432000 4194304 4196468 140732496642960 139786007688672 139786035867030 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1816] ppid=1809 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1816/stat : 1816 (java) S 1809 1809 1211 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500326643 27976081408 41213 33554432000 4194304 4196468 140732496642960 139786040097424 139786035865301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1817] ppid=1809 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1812/task/1817/stat : 1817 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27976081408 41213 33554432000 4194304 4196468 140732496642960 139785823492624 139786035865301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0
[pid=1812/tid=1818] ppid=1809 vsize=27320392 memory=2836 CPUtime=0 cores=0-7
/proc/1812/task/1818/stat : 1818 (java) S 1809 1809 1211 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500326643 27976081408 41213 33554432000 4194304 4196468 140732496642960 139785822439824 139786035865301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30760960 140732496646855 140732496647302 140732496647302 140732496650191 0

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

/proc/1809/statm: 28282 369 311 221 0 87 0
[pid=1945] ppid=1809 vsize=8414124 memory=1772044 CPUtime=71.15 cores=0-7
/proc/1945/stat : 1945 (java) S 1809 1809 1211 0 -1 1077944320 25365 2566634 0 0 491 90 5976 558 20 0 23 0 500477556 8616062976 443011 33554432000 4194304 4196468 140724971557888 140724971540432 140328722370295 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
/proc/1945/statm: 2103531 443011 3245 1 0 2064875 0
[pid=1945/tid=1946] ppid=1809 vsize=8414124 memory=1476 CPUtime=66.25 cores=0-7
/proc/1945/task/1946/stat : 1946 (java) S 1809 1809 1211 0 -1 1077944384 16966 2566634 0 0 80 11 5976 558 20 0 23 0 500477557 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328694210464 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1947] ppid=1809 vsize=8414124 memory=1656 CPUtime=65.54 cores=0-7
/proc/1945/task/1947/stat : 1947 (java) S 1809 1809 1211 0 -1 1077944384 155 2566634 0 0 15 5 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328726613008 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1948] ppid=1809 vsize=8414124 memory=1476 CPUtime=65.54 cores=0-7
/proc/1945/task/1948/stat : 1948 (java) S 1809 1809 1211 0 -1 1077944384 139 2566634 0 0 15 5 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328532376720 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1949] ppid=1809 vsize=8414124 memory=480508 CPUtime=65.58 cores=0-7
/proc/1945/task/1949/stat : 1949 (java) S 1809 1809 1211 0 -1 1077944384 180 2566634 0 0 18 6 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328531323664 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1950] ppid=1809 vsize=8414124 memory=988 CPUtime=65.55 cores=0-7
/proc/1945/task/1950/stat : 1950 (java) S 1809 1809 1211 0 -1 1077944384 136 2566634 0 0 15 6 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328530271120 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1952] ppid=1809 vsize=8414124 memory=2024 CPUtime=65.54 cores=0-7
/proc/1945/task/1952/stat : 1952 (java) S 1809 1809 1211 0 -1 1077944384 177 2566634 0 0 13 7 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328529218064 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1953] ppid=1809 vsize=8414124 memory=1416 CPUtime=65.57 cores=0-7
/proc/1945/task/1953/stat : 1953 (java) S 1809 1809 1211 0 -1 1077944384 171 2566634 0 0 16 7 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328528165520 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1954] ppid=1809 vsize=8414124 memory=1476 CPUtime=65.58 cores=0-7
/proc/1945/task/1954/stat : 1954 (java) S 1809 1809 1211 0 -1 1077944384 169 2566634 0 0 19 5 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328202570000 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1955] ppid=1809 vsize=8414124 memory=1672092 CPUtime=65.57 cores=0-7
/proc/1945/task/1955/stat : 1955 (java) S 1809 1809 1211 0 -1 1077944384 156 2566634 0 0 18 5 5976 558 20 0 23 0 500477558 8616062976 443011 33554432000 4194304 4196468 140724971557888 140328201517456 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1956] ppid=1809 vsize=8414124 memory=1764 CPUtime=65.34 cores=0-7
/proc/1945/task/1956/stat : 1956 (java) S 1809 1809 1211 0 -1 1077944384 21 2566634 0 0 0 0 5976 558 20 0 23 0 500477560 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327950043888 140328722381442 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1957] ppid=1809 vsize=8414124 memory=111632 CPUtime=65.34 cores=0-7
/proc/1945/task/1957/stat : 1957 (java) S 1809 1809 1211 0 -1 1077944384 13 2566634 0 0 0 0 5976 558 20 0 23 0 500477560 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327184754336 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1958] ppid=1809 vsize=8414124 memory=796 CPUtime=65.34 cores=0-7
/proc/1945/task/1958/stat : 1958 (java) S 1809 1809 1211 0 -1 1077944384 23 2566634 0 0 0 0 5976 558 20 0 23 0 500477560 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327050532080 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1959] ppid=1809 vsize=8414124 memory=-7824251494390716770 CPUtime=65.34 cores=0-7
/proc/1945/task/1959/stat : 1959 (java) S 1809 1809 1211 0 -1 1077944384 1 2566634 0 0 0 0 5976 558 20 0 23 0 500477563 8616062976 443011 33554432000 4194304 4196468 140724971557888 140326676027856 140328722388891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1960] ppid=1809 vsize=8414124 memory=920 CPUtime=65.56 cores=0-7
/proc/1945/task/1960/stat : 1960 (java) S 1809 1809 1211 0 -1 1077944384 558 2566634 0 0 22 0 5976 558 20 0 23 0 500477563 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327948990704 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1961] ppid=1809 vsize=8414124 memory=4444 CPUtime=65.7 cores=0-7
/proc/1945/task/1961/stat : 1961 (java) S 1809 1809 1211 0 -1 1077944384 1908 2566634 0 0 36 0 5976 558 20 0 23 0 500477563 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327947938160 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1962] ppid=1809 vsize=8414124 memory=4100 CPUtime=65.7 cores=0-7
/proc/1945/task/1962/stat : 1962 (java) S 1809 1809 1211 0 -1 1077944384 1400 2566634 0 0 36 0 5976 558 20 0 23 0 500477563 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327946885104 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1963] ppid=1809 vsize=8414124 memory=1824 CPUtime=65.65 cores=0-7
/proc/1945/task/1963/stat : 1963 (java) S 1809 1809 1211 0 -1 1077944384 1220 2566634 0 0 30 1 5976 558 20 0 23 0 500477563 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327945832560 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1964] ppid=1809 vsize=8414124 memory=1412 CPUtime=65.34 cores=0-7
/proc/1945/task/1964/stat : 1964 (java) S 1809 1809 1211 0 -1 1077944384 3 2566634 0 0 0 0 5976 558 20 0 23 0 500477563 8616062976 443011 33554432000 4194304 4196468 140724971557888 140326178122720 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1965] ppid=1809 vsize=8414124 memory=796 CPUtime=65.34 cores=0-7
/proc/1945/task/1965/stat : 1965 (java) S 1809 1809 1211 0 -1 1077944384 5 2566634 0 0 0 0 5976 558 20 0 23 0 500477564 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327944780976 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1967] ppid=1809 vsize=8414124 memory=1399051139730258233 CPUtime=65.34 cores=0-7
/proc/1945/task/1967/stat : 1967 (java) S 1809 1809 1211 0 -1 1077944384 23 2566634 0 0 0 0 5976 558 20 0 23 0 500477645 8616062976 443011 33554432000 4194304 4196468 140724971557888 140327934648976 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1969] ppid=1809 vsize=8414124 memory=4126316290023845779 CPUtime=67.08 cores=0-7
/proc/1945/task/1969/stat : 1969 (java) R 1809 1809 1211 0 -1 4202560 609 2566634 0 0 149 25 5976 558 20 0 23 0 500477645 8616062976 443011 33554432000 4194304 4196468 140724971557888 140325507029976 140328209343926 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1971] ppid=1809 vsize=8414124 memory=10530253179626 CPUtime=65.34 cores=0-7
/proc/1945/task/1971/stat : 1971 (java) S 1809 1809 1211 0 -1 1077944384 8 2566634 0 0 0 0 5976 558 20 0 23 0 500477648 8616062976 443011 33554432000 4194304 4196468 140724971557888 140325238594240 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
Current children cumulated CPU time: 1822.23 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 1773520 KiB

[startup+1545.2 s]
/proc/loadavg: 1.59 1.24 1.91 2/214 1977
/proc/meminfo: memFree=23885176/32770624 swapFree=67002076/67108860
[pid=1809] ppid=1806 vsize=113128 memory=1476 CPUtime=1751.08 cores=0-7
/proc/1809/stat : 1809 (scop.sh) S 1806 1809 1211 0 -1 4202496 582 401185 0 0 0 0 171518 3590 20 0 1 0 500326640 115843072 369 33554432000 4194304 5098028 140723841044320 140723841041064 140628447560316 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29970432 140723841049340 140723841049688 140723841049688 140723841052617 0
/proc/1809/statm: 28282 369 311 221 0 87 0
[pid=1945] ppid=1809 vsize=8283048 memory=1774780 CPUtime=71.83 cores=0-7
/proc/1945/stat : 1945 (java) S 1809 1809 1211 0 -1 1077944320 26686 2566634 0 0 559 90 5976 558 20 0 22 0 500477556 8481841152 443695 33554432000 4194304 4196468 140724971557888 140724971540432 140328722370295 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
/proc/1945/statm: 2070762 443695 3250 1 0 2032106 0
[pid=1945/tid=1946] ppid=1809 vsize=8283048 memory=16105870484309802 CPUtime=66.41 cores=0-7
/proc/1945/task/1946/stat : 1946 (java) R 1809 1809 1211 0 -1 4202560 17115 2566634 0 0 96 11 5976 558 20 0 22 0 500477557 8481841152 443695 33554432000 4194304 4196468 140724971557888 140328694209392 140724971784130 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1947] ppid=1809 vsize=8283048 memory=8112282956445269571 CPUtime=65.54 cores=0-7
/proc/1945/task/1947/stat : 1947 (java) S 1809 1809 1211 0 -1 1077944384 155 2566634 0 0 15 5 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328726613008 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1948] ppid=1809 vsize=8283048 memory=1772020 CPUtime=65.54 cores=0-7
/proc/1945/task/1948/stat : 1948 (java) S 1809 1809 1211 0 -1 1077944384 139 2566634 0 0 15 5 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328532376720 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1949] ppid=1809 vsize=8283048 memory=920 CPUtime=65.58 cores=0-7
/proc/1945/task/1949/stat : 1949 (java) S 1809 1809 1211 0 -1 1077944384 180 2566634 0 0 18 6 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328531323664 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1950] ppid=1809 vsize=8283048 memory=4444 CPUtime=65.55 cores=0-7
/proc/1945/task/1950/stat : 1950 (java) S 1809 1809 1211 0 -1 1077944384 136 2566634 0 0 15 6 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328530271120 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1952] ppid=1809 vsize=8283048 memory=4100 CPUtime=65.54 cores=0-7
/proc/1945/task/1952/stat : 1952 (java) S 1809 1809 1211 0 -1 1077944384 177 2566634 0 0 13 7 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328529218064 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1953] ppid=1809 vsize=8283048 memory=1824 CPUtime=65.57 cores=0-7
/proc/1945/task/1953/stat : 1953 (java) S 1809 1809 1211 0 -1 1077944384 171 2566634 0 0 16 7 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328528165520 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1954] ppid=1809 vsize=8283048 memory=1476 CPUtime=65.58 cores=0-7
/proc/1945/task/1954/stat : 1954 (java) S 1809 1809 1211 0 -1 1077944384 169 2566634 0 0 19 5 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328202570000 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1955] ppid=1809 vsize=8283048 memory=288230574492221466 CPUtime=65.57 cores=0-7
/proc/1945/task/1955/stat : 1955 (java) S 1809 1809 1211 0 -1 1077944384 156 2566634 0 0 18 5 5976 558 20 0 22 0 500477558 8481841152 443761 33554432000 4194304 4196468 140724971557888 140328201517456 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1956] ppid=1809 vsize=8283048 memory=288230621803970871 CPUtime=65.34 cores=0-7
/proc/1945/task/1956/stat : 1956 (java) S 1809 1809 1211 0 -1 1077944384 21 2566634 0 0 0 0 5976 558 20 0 22 0 500477560 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327950043888 140328722381442 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1957] ppid=1809 vsize=8283048 memory=16105870484309802 CPUtime=65.34 cores=0-7
/proc/1945/task/1957/stat : 1957 (java) S 1809 1809 1211 0 -1 1077944384 13 2566634 0 0 0 0 5976 558 20 0 22 0 500477560 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327184754336 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1958] ppid=1809 vsize=8283048 memory=162508 CPUtime=65.34 cores=0-7
/proc/1945/task/1958/stat : 1958 (java) S 1809 1809 1211 0 -1 1077944384 23 2566634 0 0 0 0 5976 558 20 0 22 0 500477560 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327050532080 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1959] ppid=1809 vsize=8283048 memory=6683516 CPUtime=65.34 cores=0-7
/proc/1945/task/1959/stat : 1959 (java) S 1809 1809 1211 0 -1 1077944384 1 2566634 0 0 0 0 5976 558 20 0 22 0 500477563 8481841152 443761 33554432000 4194304 4196468 140724971557888 140326676027856 140328722388891 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1960] ppid=1809 vsize=8283048 memory=804 CPUtime=65.64 cores=0-7
/proc/1945/task/1960/stat : 1960 (java) R 1809 1809 1211 0 -1 4202560 1083 2566634 0 0 30 0 5976 558 20 0 22 0 500477563 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327948971608 140328703070592 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1961] ppid=1809 vsize=8283048 memory=1448 CPUtime=65.78 cores=0-7
/proc/1945/task/1961/stat : 1961 (java) R 1809 1809 1211 0 -1 4202560 2249 2566634 0 0 43 1 5976 558 20 0 22 0 500477563 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327947919272 140328703071959 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1962] ppid=1809 vsize=8283048 memory=1980 CPUtime=65.75 cores=0-7
/proc/1945/task/1962/stat : 1962 (java) R 1809 1809 1211 0 -1 4202560 1474 2566634 0 0 41 0 5976 558 20 0 22 0 500477563 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327946866120 140328705899031 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1963] ppid=1809 vsize=8283048 memory=2676 CPUtime=65.74 cores=0-7
/proc/1945/task/1963/stat : 1963 (java) R 1809 1809 1211 0 -1 4202560 1447 2566634 0 0 39 1 5976 558 20 0 22 0 500477563 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327945828504 140328701045328 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1964] ppid=1809 vsize=8283048 memory=1764 CPUtime=65.34 cores=0-7
/proc/1945/task/1964/stat : 1964 (java) S 1809 1809 1211 0 -1 1077944384 3 2566634 0 0 0 0 5976 558 20 0 22 0 500477563 8481841152 443761 33554432000 4194304 4196468 140724971557888 140326178122720 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1965] ppid=1809 vsize=8283048 memory=111632 CPUtime=65.34 cores=0-7
/proc/1945/task/1965/stat : 1965 (java) S 1809 1809 1211 0 -1 1077944384 5 2566634 0 0 0 0 5976 558 20 0 22 0 500477564 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327944780976 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1967] ppid=1809 vsize=8283048 memory=796 CPUtime=65.34 cores=0-7
/proc/1945/task/1967/stat : 1967 (java) S 1809 1809 1211 0 -1 1077944384 23 2566634 0 0 0 0 5976 558 20 0 22 0 500477645 8481841152 443761 33554432000 4194304 4196468 140724971557888 140327934648976 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1971] ppid=1809 vsize=8283048 memory=4444 CPUtime=65.34 cores=0-7
/proc/1945/task/1971/stat : 1971 (java) S 1809 1809 1211 0 -1 1077944384 14 2566634 0 0 0 0 5976 558 20 0 22 0 500477648 8481841152 443761 33554432000 4194304 4196468 140724971557888 140325238596272 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
Current children cumulated CPU time: 1822.91 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 1776256 KiB

[startup+1545.3 s]
/proc/loadavg: 1.59 1.24 1.91 2/214 1977
/proc/meminfo: memFree=23885176/32770624 swapFree=67002076/67108860
[pid=1809] ppid=1806 vsize=113128 memory=1476 CPUtime=1751.08 cores=0-7
/proc/1809/stat : 1809 (scop.sh) S 1806 1809 1211 0 -1 4202496 582 401185 0 0 0 0 171518 3590 20 0 1 0 500326640 115843072 369 33554432000 4194304 5098028 140723841044320 140723841041064 140628447560316 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29970432 140723841049340 140723841049688 140723841049688 140723841052617 0
/proc/1809/statm: 28282 369 311 221 0 87 0
[pid=1945] ppid=1809 vsize=8151972 memory=1782224 CPUtime=72.18 cores=0-7
/proc/1945/stat : 1945 (java) S 1809 1809 1211 0 -1 1077944320 29631 2566634 0 0 586 98 5976 558 20 0 21 0 500477556 8347619328 445556 33554432000 4194304 4196468 140724971557888 140724971540432 140328722370295 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
/proc/1945/statm: 2037993 445556 3251 1 0 1999337 0
[pid=1945/tid=1946] ppid=1809 vsize=8151972 memory=1772044 CPUtime=66.49 cores=0-7
/proc/1945/task/1946/stat : 1946 (java) S 1809 1809 1211 0 -1 1077944384 18199 2566634 0 0 97 18 5976 558 20 0 21 0 500477557 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328694213776 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1947] ppid=1809 vsize=8151972 memory=1607836 CPUtime=65.54 cores=0-7
/proc/1945/task/1947/stat : 1947 (java) S 1809 1809 1211 0 -1 1077944384 155 2566634 0 0 15 5 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328726613008 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1948] ppid=1809 vsize=8151972 memory=1770812 CPUtime=65.54 cores=0-7
/proc/1945/task/1948/stat : 1948 (java) S 1809 1809 1211 0 -1 1077944384 139 2566634 0 0 15 5 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328532376720 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1949] ppid=1809 vsize=8151972 memory=1476 CPUtime=65.58 cores=0-7
/proc/1945/task/1949/stat : 1949 (java) S 1809 1809 1211 0 -1 1077944384 180 2566634 0 0 18 6 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328531323664 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1950] ppid=1809 vsize=8151972 memory=367612 CPUtime=65.55 cores=0-7
/proc/1945/task/1950/stat : 1950 (java) S 1809 1809 1211 0 -1 1077944384 136 2566634 0 0 15 6 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328530271120 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1952] ppid=1809 vsize=8151972 memory=1476 CPUtime=65.54 cores=0-7
/proc/1945/task/1952/stat : 1952 (java) S 1809 1809 1211 0 -1 1077944384 177 2566634 0 0 13 7 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328529218064 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1953] ppid=1809 vsize=8151972 memory=0 CPUtime=65.57 cores=0-7
/proc/1945/task/1953/stat : 1953 (java) S 1809 1809 1211 0 -1 1077944384 171 2566634 0 0 16 7 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328528165520 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1954] ppid=1809 vsize=8151972 memory=0 CPUtime=65.58 cores=0-7
/proc/1945/task/1954/stat : 1954 (java) S 1809 1809 1211 0 -1 1077944384 169 2566634 0 0 19 5 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328202570000 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1955] ppid=1809 vsize=8151972 memory=480508 CPUtime=65.57 cores=0-7
/proc/1945/task/1955/stat : 1955 (java) S 1809 1809 1211 0 -1 1077944384 156 2566634 0 0 18 5 5976 558 20 0 21 0 500477558 8347619328 445556 33554432000 4194304 4196468 140724971557888 140328201517456 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1956] ppid=1809 vsize=8151972 memory=1476 CPUtime=65.34 cores=0-7
/proc/1945/task/1956/stat : 1956 (java) S 1809 1809 1211 0 -1 1077944384 21 2566634 0 0 0 0 5976 558 20 0 21 0 500477560 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327950044096 140328722381442 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1957] ppid=1809 vsize=8151972 memory=1400 CPUtime=65.34 cores=0-7
/proc/1945/task/1957/stat : 1957 (java) S 1809 1809 1211 0 -1 1077944384 13 2566634 0 0 0 0 5976 558 20 0 21 0 500477560 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327184754336 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1958] ppid=1809 vsize=8151972 memory=279377020909376 CPUtime=65.34 cores=0-7
/proc/1945/task/1958/stat : 1958 (java) S 1809 1809 1211 0 -1 1077944384 23 2566634 0 0 0 0 5976 558 20 0 21 0 500477560 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327050532080 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1959] ppid=1809 vsize=8151972 memory=988 CPUtime=65.34 cores=0-7
/proc/1945/task/1959/stat : 1959 (java) S 1809 1809 1211 0 -1 1077944384 22 2566634 0 0 0 0 5976 558 20 0 21 0 500477563 8347619328 445556 33554432000 4194304 4196468 140724971557888 140326676026624 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1960] ppid=1809 vsize=8151972 memory=2024 CPUtime=65.74 cores=0-7
/proc/1945/task/1960/stat : 1960 (java) S 1809 1809 1211 0 -1 1077944384 1630 2566634 0 0 39 1 5976 558 20 0 21 0 500477563 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327948975216 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1961] ppid=1809 vsize=8151972 memory=279377020389472 CPUtime=65.88 cores=0-7
/proc/1945/task/1961/stat : 1961 (java) R 1809 1809 1211 0 -1 4202560 2999 2566634 0 0 53 1 5976 558 20 0 21 0 500477563 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327947924040 140328703917705 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1962] ppid=1809 vsize=8151972 memory=1988 CPUtime=65.8 cores=0-7
/proc/1945/task/1962/stat : 1962 (java) S 1809 1809 1211 0 -1 1077944384 1755 2566634 0 0 46 0 5976 558 20 0 21 0 500477563 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327946885104 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1963] ppid=1809 vsize=8151972 memory=4100 CPUtime=65.75 cores=0-7
/proc/1945/task/1963/stat : 1963 (java) S 1809 1809 1211 0 -1 1077944384 1612 2566634 0 0 40 1 5976 558 20 0 21 0 500477563 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327945832560 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1964] ppid=1809 vsize=8151972 memory=1824 CPUtime=65.34 cores=0-7
/proc/1945/task/1964/stat : 1964 (java) S 1809 1809 1211 0 -1 1077944384 3 2566634 0 0 0 0 5976 558 20 0 21 0 500477563 8347619328 445556 33554432000 4194304 4196468 140724971557888 140326178122720 140328722380501 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1967] ppid=1809 vsize=8151972 memory=2676 CPUtime=65.34 cores=0-7
/proc/1945/task/1967/stat : 1967 (java) S 1809 1809 1211 0 -1 1077944384 23 2566634 0 0 0 0 5976 558 20 0 21 0 500477645 8347619328 445556 33554432000 4194304 4196468 140724971557888 140327934648976 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
[pid=1945/tid=1971] ppid=1809 vsize=8151972 memory=3616 CPUtime=65.34 cores=0-7
/proc/1945/task/1971/stat : 1971 (java) S 1809 1809 1211 0 -1 1077944384 14 2566634 0 0 0 0 5976 558 20 0 21 0 500477648 8347619328 445556 33554432000 4194304 4196468 140724971557888 140325238596272 140328722381442 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10887168 140724971561952 140724971562118 140724971562118 140724971565007 0
Current children cumulated CPU time: 1823.26 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 1783700 KiB

Child status: 0
Real time (s): 1545.35
CPU time (s): 1823.35
CPU user time (s): 1780.86
CPU system time (s): 42.4875
CPU usage (%): 117.989
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18492340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.86
system time used= 42.4875
maximum resident set size= 18491156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2998260
page faults= 0
swaps= 0
block input operations= 48
block output operations= 868504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112147
involuntary context switches= 4498


# summary of solver processes directly reported to runsolver:
#   pid: 1809
#   total CPU time (s): 1823.35
#   total CPU user time (s): 1780.86
#   total CPU system time (s): 42.4875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.47342 second user time and 14.9986 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-23 14:12:16
IDJOB=4405457
IDBENCH=123183
IDSOLVER=2868
FILE ID=node136/4405457-1569240781
RUNJOBID= node136-1569238583-1238
PBS_JOBID= 21704901
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-1000-ca.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405457-1569240781/watcher-4405457-1569240781 -o /var/tmp/evaluation-result-4405457-1569240781/solver-4405457-1569240781 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1569238583-1238 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405457-1569240781.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= d2780e3631970b53a6f91cd037f7d107
RANDOM SEED=2091438772

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26083868 kB
MemAvailable:   31842384 kB
Buffers:          127252 kB
Cached:          5750436 kB
SwapCached:         3568 kB
Active:          2701232 kB
Inactive:        3184060 kB
Active(anon):       5832 kB
Inactive(anon):    58216 kB
Active(file):    2695400 kB
Inactive(file):  3125844 kB
Unevictable:      108544 kB
Mlocked:          108544 kB
SwapTotal:      67108860 kB
SwapFree:       67002076 kB
Dirty:             20592 kB
Writeback:             0 kB
AnonPages:        112780 kB
Mapped:            55076 kB
Shmem:             48212 kB
Slab:             395632 kB
SReclaimable:     365732 kB
SUnreclaim:        29900 kB
KernelStack:        3712 kB
PageTables:         5816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node136 at 2019-09-23 14:38:01