Trace number 4405530

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 133.053 37.2135

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-75-03.xml
MD5SUM09f7292054b32b27f786cbe3f3fae605
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 benchmark6.32732
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1419
Number of domains2
Minimum domain size2
Maximum domain size27
Distribution of domain sizes[{"size":2,"count":1000},{"size":27,"count":200}]
Minimum variable degree2
Maximum variable degree73
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":10}, {"degree":54,"count":57}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},{"arity":77,"count":2},{"arity":78,"count":1},{"arity":80,"count":5},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1218},{"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-16998-serial-file.bin HOME/instance-4405530-1569338502.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 17:21:02 CEST 2019
0.66/0.57	c PID: 17001
0.66/0.57	c IP: 172.20.3.133
0.66/0.57	c HOST: node133.alineos.net
0.66/0.58	c (0,0) Parsing Begin
3.31/1.41	c (0,0) Parsing End
3.31/1.42	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1419 ctr, max domain size 27
3.31/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.42	c (0,0) Constraint Name Generate Begin
3.31/1.45	c (0,0) Ctr:HOME/instance-4405530-1569338502.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.31/1.45	c (0,0) Constraint Name Generate End
3.31/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.45	c (0,0) CSP to CSPinCNF Begin
12.19/4.93	c (4,4) translated 142 (10%) constraints
12.82/5.54	c (4,4) translated 284 (20%) constraints
12.82/5.56	c (5,5) translated 426 (30%) constraints
12.82/5.58	c (5,5) translated 568 (40%) constraints
13.18/5.60	c (5,5) translated 710 (50%) constraints
13.18/5.62	c (5,5) translated 852 (60%) constraints
13.18/5.64	c (5,5) translated 994 (70%) constraints
13.18/5.66	c (5,5) translated 1136 (80%) constraints
15.58/7.42	c (6,6) translated 1278 (90%) constraints
16.98/8.87	c (8,8) translated 1419 (100%) constraints
16.98/8.89	c (8,8) ===========================================
17.09/8.94	c (8,8) Hybrid: #OE=11000, #LE=6400
17.09/8.94	c (8,8) Hybrid
17.09/8.94	c (8,8) ===========================================
18.32/9.55	c (9,8) translated 6005 (10%) constraints
18.77/9.83	c (9,9) translated 12009 (20%) constraints
19.11/9.98	c (9,9) translated 18014 (30%) constraints
19.32/10.12	c (9,9) translated 24018 (40%) constraints
19.42/10.26	c (9,9) translated 30023 (50%) constraints
19.62/10.40	c (9,9) translated 36027 (60%) constraints
19.72/10.54	c (9,9) translated 42032 (70%) constraints
19.82/10.67	c (10,10) translated 48036 (80%) constraints
20.02/10.81	c (10,10) translated 54041 (90%) constraints
21.35/12.02	c (11,11) translated 60045 (100%) constraints
21.35/12.03	c (11,11) CSP to CSPinCNF End
21.35/12.03	c (11,11) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70872 ctr, max domain size 27
21.35/12.03	c (11,11) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
21.35/12.03	c (11,11) CSPinCNF Propagation Begin
22.73/12.76	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.73/12.76	c (12,12) CSPinCNF Propagation End
22.73/12.76	c (12,12) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70472 ctr, max domain size 27
22.73/12.76	c (12,12) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.97/12.82	c (12,12) Hybrid: #OE=16400, #LE=6400
22.97/12.82	c (12,12) Simplify CSPinCNF Begin
23.47/13.03	c (12,12) Simplify CSPinCNF End
23.47/13.03	c (12,12) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70472 ctr, max domain size 27
23.47/13.03	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.47/13.03	c (12,12) Calculate Precise Domain Begin
23.47/13.03	c (12,12) 0 values are removed by re-calculation
23.47/13.03	c (12,12) Calculate Precise Domain End
23.47/13.04	c (12,12) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70472 ctr, max domain size 27
23.47/13.04	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.47/13.04	c (12,12) CSPinCNF to SatSolver Begin
25.76/14.00	c (13,13) 7048 (10 %) CSP clauses are encoded (0 SAT variables, 232199 SAT clauses)
26.57/14.13	c (13,13) 14095 (20 %) CSP clauses are encoded (0 SAT variables, 239246 SAT clauses)
26.84/14.22	c (13,13) 21142 (30 %) CSP clauses are encoded (0 SAT variables, 246293 SAT clauses)
27.15/14.33	c (13,13) 28189 (40 %) CSP clauses are encoded (0 SAT variables, 253340 SAT clauses)
27.29/14.42	c (13,13) 35236 (50 %) CSP clauses are encoded (0 SAT variables, 260387 SAT clauses)
27.40/14.50	c (13,13) 42284 (60 %) CSP clauses are encoded (0 SAT variables, 267435 SAT clauses)
28.05/14.69	c (14,14) 49331 (70 %) CSP clauses are encoded (0 SAT variables, 274482 SAT clauses)
28.31/14.76	c (14,14) 56378 (80 %) CSP clauses are encoded (0 SAT variables, 281529 SAT clauses)
28.41/14.84	c (14,14) 63425 (90 %) CSP clauses are encoded (0 SAT variables, 288576 SAT clauses)
33.23/19.01	c (18,18) 70472 (100 %) CSP clauses are encoded (0 SAT variables, 2662246 SAT clauses)
33.23/19.04	c (18,18) CSPinCNF to SatSolver End
33.23/19.04	c (18,18) Heap : 4421 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.23/19.04	c (18,18) 914505 bool, 2680865 clause
33.23/19.04	c (18,18) Export Begin
33.71/19.25	c (18,18) Export to HOME/scop-16998-serial-file.bin
33.71/19.25	c (18,18) Export End
33.71/19.26	c (18,18) Export File Size: 0.47 MB
33.71/19.26	c (18,18) 0,0,11,12,12,12,18,STOP-AFTER(DIMACS)
33.71/19.26	c END-Prog: Tue Sep 24 17:21:21 CEST 2019
0.00/19.30	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16998-serial-file.bin
33.90/19.76	c (0,0) Read Serial File Begin
33.90/19.76	c (0,0) HOME/scop-16998-serial-file.bin
35.25/20.12	c (0,0) Read Serial File End
35.25/20.13	
35.25/20.13	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
35.25/20.13	(Solving Process)
35.25/20.13	
35.25/20.16	c BEGIN-Prog: Tue Sep 24 17:21:22 CEST 2019
35.25/20.16	c PID: 17021
35.25/20.16	c IP: 172.20.3.133
35.25/20.16	c HOST: node133.alineos.net
35.25/20.16	c (0,0) SatSolver.solve Begin
35.25/20.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405530-1569338502.xml-scop-17001.cnf
35.25/20.19	c (0,0) c
35.25/20.19	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)
35.25/20.19	c (0,0) c
35.25/20.19	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.25/20.19	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.25/20.19	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.25/20.19	c (0,0) c |                                                                                                       |
36.80/21.34	c (1,0) c |  Number of variables:        914505                                                                   |
36.80/21.34	c (1,0) c |  Number of clauses:         2679999                                                                   |
36.80/21.34	c (1,0) c |  Parse time:                   1.03 s                                                                 |
36.80/21.34	c (1,0) c |                                                                                                       |
38.61/23.18	c (3,0) c |  Simplification time:          1.78 s                                                                 |
38.61/23.18	c (3,0) c |                                                                                                       |
38.61/23.18	c (3,0) c |  Generating clones                                                                                    |
39.81/24.39	c (4,0) c |  all clones generated. Memory =  2291.17Mb.                                                           |
39.81/24.39	c (4,0) c ========================================================================================================|
39.81/24.39	c (4,0) c
39.81/24.39	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.81/24.39	c (4,0) c
39.81/24.39	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.81/24.39	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.81/24.39	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.81/24.39	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.81/24.39	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.81/24.39	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.81/24.39	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
39.81/24.39	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.81/24.39	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.81/24.39	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.81/24.39	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.81/24.39	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.81/24.39	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.81/24.39	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.81/24.39	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
39.81/24.39	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.81/24.39	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.81/24.39	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.81/24.39	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.46	c (16,0) c
131.32/36.46	c (16,0) c real time : 16.2793 s
131.32/36.46	c (16,0) c cpu time  : 92.5323 s
131.32/36.46	c (16,0) c
131.32/36.46	c (16,0) c
131.32/36.46	c (16,0) c
131.32/36.46	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
131.32/36.46	c (16,0) c
131.32/36.46	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.46	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
131.32/36.46	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.46	c (16,0) c | Conflicts     |          135898 |      14517 |      16924 |      24874 |      19801 |      19733 |      19176 |      12199 |       8674 |
131.32/36.46	c (16,0) c | Decisions     |         8321541 |     800982 |    1079436 |     730118 |     893458 |     868932 |    1405016 |    1515710 |    1027889 |
131.32/36.46	c (16,0) c | Propagations  |       300779763 |   35100397 |   36610668 |   39258364 |   34746265 |   40002747 |   40303444 |   35964030 |   38793848 |
131.32/36.46	c (16,0) c | ReduceDBs     |              23 |          3 |          3 |          4 |          3 |          3 |          3 |          2 |          2 |
131.32/36.46	c (16,0) c | SimpDBs       |              29 |          2 |          3 |          3 |          3 |          5 |          5 |          3 |          5 |
131.32/36.46	c (16,0) c | Restarts      |             427 |         28 |         46 |         60 |         72 |         54 |         68 |         49 |         50 |
131.32/36.46	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.32/36.46	c (16,0) c | PropBinClauses|        63459800 |    7142142 |    8228177 |    8286103 |    7780541 |    7894210 |    8768613 |    6702445 |    8657569 |
131.32/36.46	c (16,0) c | PropPreBlocker|       701299364 |   88152214 |   86205556 |   87553448 |   82908187 |   93055949 |   94012666 |   83730776 |   85680568 |
131.32/36.46	c (16,0) c | PropNotBlocker|       339601264 |   39425101 |   41051081 |   45157759 |   41206631 |   45650217 |   44866465 |   40398696 |   41845314 |
131.32/36.46	c (16,0) c | LitFullScans  |      1626676628 |  186043809 |  190981144 |  205226201 |  191608649 |  228134355 |  228140084 |  186474021 |  210068365 |
131.32/36.46	c (16,0) c | LitScanFracts |          540244 |      14718 |      54003 |      60065 |      50856 |      97102 |     119201 |      96565 |      47734 |
131.32/36.46	c (16,0) c | DecisionLevel0|             436 |         28 |         46 |         60 |         72 |         57 |         71 |         50 |         52 |
131.32/36.46	c (16,0) c | Periods       |             269 |         31 |         31 |         34 |         31 |         38 |         38 |         31 |         35 |
131.32/36.46	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
131.32/36.46	c (16,0) c | Avg_Trail     |                 |      42489 |      28616 |      40334 |      29453 |      35728 |      34365 |      48757 |      35076 |
131.32/36.46	c (16,0) c | Avg_DL        |                 |        885 |        631 |        661 |        832 |        639 |        478 |       1036 |        739 |
131.32/36.46	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.32/36.46	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.32/36.46	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.46	c (16,0) c | Exported      |           30136 |       3968 |       3749 |       5573 |       4664 |       4668 |       3577 |       2316 |       1621 |
131.32/36.46	c (16,0) c | Imported      |           42680 |        475 |       3620 |       4583 |       3029 |       9299 |      10687 |       2898 |       8089 |
131.32/36.46	c (16,0) c | Good          |            7220 |        253 |        753 |       1081 |        667 |       1339 |       1438 |        629 |       1060 |
131.32/36.46	c (16,0) c | Purge         |           35460 |        222 |       2867 |       3502 |       2362 |       7960 |       9249 |       2269 |       7029 |
131.32/36.47	c (16,0) c | Promoted      |              83 |          0 |          0 |          4 |          0 |         75 |          2 |          0 |          2 |
131.32/36.47	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.32/36.47	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
131.32/36.47	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.47	c (16,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          3 |          3 |          1 |          2 |
131.32/36.47	c (16,0) c | Binaries      |                 |        278 |        425 |        380 |        414 |        412 |        508 |        312 |        532 |
131.32/36.47	c (16,0) c | Glues         |                 |        573 |       1040 |       1173 |       1190 |        975 |       1049 |        561 |        752 |
131.32/36.47	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.47	c (16,0) c | Orig_Seen     |             2 % |      46304 |      52069 |      59608 |      59425 |      74489 |      67971 |      67027 |      59965 |
131.32/36.47	c (16,0) c | Diff Orig seen|                 | -    20723 | -    14958 | -     7419 | -     7602 |       7462 |        944 |      X     | -     7062 |
131.32/36.47	c (16,0) c | Hamming       |            22 % |     220989 |     203168 |     198352 |     194689 |     197941 |     204018 |      X     |     202221 |
131.32/36.47	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.47	c (16,0) c | RunningTime   |                 |   12.0 100%|   11.6 100%|   11.5 100%|   11.6 100%|   11.5 100%|   11.5 100%|   11.5 100%|   11.5 100%|
131.32/36.47	c (16,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
131.32/36.47	c (16,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
131.32/36.47	c (16,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
131.32/36.47	c (16,0) c | SolvingTime   |                 |   12.0     |   11.6     |   11.5     |   11.6     |   11.5     |   11.5     |   11.5     |   11.5     |
131.32/36.47	c (16,0) c | PropagationTim|                 |   10.7  89%|   10.2  88%|    9.9  86%|   10.0  86%|    9.9  85%|    9.8  85%|   10.0  87%|   10.0  87%|
131.32/36.47	c (16,0) c | AnalysisTime  |                 |    0.3   3%|    0.3   3%|    0.4   4%|    0.4   3%|    0.4   3%|    0.4   3%|    0.3   3%|    0.2   2%|
131.32/36.47	c (16,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
131.32/36.47	c (16,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   1%|    0.1   1%|    0.1   1%|    0.2   2%|    0.2   2%|    0.1   1%|    0.2   2%|
131.32/36.47	c (16,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
131.32/36.47	c (16,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
131.32/36.47	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.47	c (16,0) c
131.32/36.47	c (16,0) c
131.32/36.47	c (16,0) c Threads : 8
131.32/36.47	c (16,0) c Winner : 6
131.32/36.47	c (16,0) c Conflicts_0 : 14517
131.32/36.47	c (16,0) c Conflicts_1 : 16924
131.32/36.47	c (16,0) c Conflicts_2 : 24874
131.32/36.47	c (16,0) c Conflicts_3 : 19801
131.32/36.47	c (16,0) c Conflicts_4 : 19733
131.32/36.47	c (16,0) c Conflicts_5 : 19176
131.32/36.47	c (16,0) c Conflicts_6 : 12199
131.32/36.47	c (16,0) c Conflicts_7 : 8674
131.32/36.47	c (16,0) c Conflicts_total : 135898
131.32/36.47	c (16,0) c Conflicts_winner : 12199
131.32/36.47	c (16,0) c Decisions_0 : 800982
131.32/36.47	c (16,0) c Decisions_1 : 1079436
131.32/36.47	c (16,0) c Decisions_2 : 730118
131.32/36.47	c (16,0) c Decisions_3 : 893458
131.32/36.47	c (16,0) c Decisions_4 : 868932
131.32/36.47	c (16,0) c Decisions_5 : 1405016
131.32/36.47	c (16,0) c Decisions_6 : 1515710
131.32/36.47	c (16,0) c Decisions_7 : 1027889
131.32/36.47	c (16,0) c Decisions_total : 8321541
131.32/36.47	c (16,0) c Decisions_winner : 1515710
131.32/36.47	c (16,0) c Propagations_0 : 35100397
131.32/36.47	c (16,0) c Propagations_1 : 36610668
131.32/36.47	c (16,0) c Propagations_2 : 39258364
131.32/36.47	c (16,0) c Propagations_3 : 34746265
131.32/36.47	c (16,0) c Propagations_4 : 40002747
131.32/36.47	c (16,0) c Propagations_5 : 40303444
131.32/36.47	c (16,0) c Propagations_6 : 35964030
131.32/36.47	c (16,0) c Propagations_7 : 38793848
131.32/36.47	c (16,0) c Propagations_total : 300779763
131.32/36.47	c (16,0) c Propagations_winner : 35964030
131.32/36.47	c (16,0) c ReduceDBs_0 : 3
131.32/36.47	c (16,0) c ReduceDBs_1 : 3
131.32/36.47	c (16,0) c ReduceDBs_2 : 4
131.32/36.47	c (16,0) c ReduceDBs_3 : 3
131.32/36.47	c (16,0) c ReduceDBs_4 : 3
131.32/36.47	c (16,0) c ReduceDBs_5 : 3
131.32/36.47	c (16,0) c ReduceDBs_6 : 2
131.32/36.47	c (16,0) c ReduceDBs_7 : 2
131.32/36.47	c (16,0) c ReduceDBs_total : 23
131.32/36.47	c (16,0) c ReduceDBs_winner : 2
131.32/36.47	c (16,0) c SimpDBs_0 : 2
131.32/36.47	c (16,0) c SimpDBs_1 : 3
131.32/36.47	c (16,0) c SimpDBs_2 : 3
131.32/36.47	c (16,0) c SimpDBs_3 : 3
131.32/36.47	c (16,0) c SimpDBs_4 : 5
131.32/36.47	c (16,0) c SimpDBs_5 : 5
131.32/36.47	c (16,0) c SimpDBs_6 : 3
131.32/36.47	c (16,0) c SimpDBs_7 : 5
131.32/36.47	c (16,0) c SimpDBs_total : 29
131.32/36.47	c (16,0) c SimpDBs_winner : 3
131.32/36.47	c (16,0) c Restarts_0 : 28
131.32/36.47	c (16,0) c Restarts_1 : 46
131.32/36.47	c (16,0) c Restarts_2 : 60
131.32/36.47	c (16,0) c Restarts_3 : 72
131.32/36.47	c (16,0) c Restarts_4 : 54
131.32/36.47	c (16,0) c Restarts_5 : 68
131.32/36.47	c (16,0) c Restarts_6 : 49
131.32/36.47	c (16,0) c Restarts_7 : 50
131.32/36.47	c (16,0) c Restarts_total : 427
131.32/36.47	c (16,0) c Restarts_winner : 49
131.32/36.47	c (16,0) c ForcedImports_0 : 0
131.32/36.47	c (16,0) c ForcedImports_1 : 0
131.32/36.47	c (16,0) c ForcedImports_2 : 0
131.32/36.47	c (16,0) c ForcedImports_3 : 0
131.32/36.47	c (16,0) c ForcedImports_4 : 0
131.32/36.47	c (16,0) c ForcedImports_5 : 0
131.32/36.47	c (16,0) c ForcedImports_6 : 0
131.32/36.47	c (16,0) c ForcedImports_7 : 0
131.32/36.47	c (16,0) c ForcedImports_total : 0
131.32/36.47	c (16,0) c ForcedImports_winner : 0
131.32/36.47	c (16,0) c PropsBinClauses_0 : 7142142
131.32/36.47	c (16,0) c PropsBinClauses_1 : 8228177
131.32/36.47	c (16,0) c PropsBinClauses_2 : 8286103
131.32/36.47	c (16,0) c PropsBinClauses_3 : 7780541
131.32/36.47	c (16,0) c PropsBinClauses_4 : 7894210
131.32/36.47	c (16,0) c PropsBinClauses_5 : 8768613
131.32/36.47	c (16,0) c PropsBinClauses_6 : 6702445
131.32/36.47	c (16,0) c PropsBinClauses_7 : 8657569
131.32/36.47	c (16,0) c PropsBinClauses_total : 63459800
131.32/36.47	c (16,0) c PropsBinClauses_winner : 6702445
131.32/36.47	c (16,0) c PropsPreBlocker_0 : 88152214
131.32/36.47	c (16,0) c PropsPreBlocker_1 : 86205556
131.32/36.47	c (16,0) c PropsPreBlocker_2 : 87553448
131.32/36.47	c (16,0) c PropsPreBlocker_3 : 82908187
131.32/36.47	c (16,0) c PropsPreBlocker_4 : 93055949
131.32/36.47	c (16,0) c PropsPreBlocker_5 : 94012666
131.32/36.47	c (16,0) c PropsPreBlocker_6 : 83730776
131.32/36.47	c (16,0) c PropsPreBlocker_7 : 85680568
131.32/36.47	c (16,0) c PropsPreBlocker_total : 701299364
131.32/36.47	c (16,0) c PropsPreBlocker_winner : 83730776
131.32/36.47	c (16,0) c PropsNotBlocker_0 : 39425101
131.32/36.47	c (16,0) c PropsNotBlocker_1 : 41051081
131.32/36.47	c (16,0) c PropsNotBlocker_2 : 45157759
131.32/36.47	c (16,0) c PropsNotBlocker_3 : 41206631
131.32/36.47	c (16,0) c PropsNotBlocker_4 : 45650217
131.32/36.47	c (16,0) c PropsNotBlocker_5 : 44866465
131.32/36.47	c (16,0) c PropsNotBlocker_6 : 40398696
131.32/36.47	c (16,0) c PropsNotBlocker_7 : 41845314
131.32/36.47	c (16,0) c PropsNotBlocker_total : 339601264
131.32/36.47	c (16,0) c PropsNotBlocker_winner : 40398696
131.32/36.47	c (16,0) c PropsLitFullScans_0 : 186043809
131.32/36.47	c (16,0) c PropsLitFullScans_1 : 190981144
131.32/36.47	c (16,0) c PropsLitFullScans_2 : 205226201
131.32/36.47	c (16,0) c PropsLitFullScans_3 : 191608649
131.32/36.47	c (16,0) c PropsLitFullScans_4 : 228134355
131.32/36.47	c (16,0) c PropsLitFullScans_5 : 228140084
131.32/36.47	c (16,0) c PropsLitFullScans_6 : 186474021
131.32/36.47	c (16,0) c PropsLitFullScans_7 : 210068365
131.32/36.47	c (16,0) c PropsLitFullScans_total : 1626676628
131.32/36.47	c (16,0) c PropsLitFullScans_winner : 186474021
131.32/36.47	c (16,0) c LitScanFractions_0 : 14718
131.32/36.47	c (16,0) c LitScanFractions_1 : 54003
131.32/36.47	c (16,0) c LitScanFractions_2 : 60065
131.32/36.47	c (16,0) c LitScanFractions_3 : 50856
131.32/36.47	c (16,0) c LitScanFractions_4 : 97102
131.32/36.47	c (16,0) c LitScanFractions_5 : 119201
131.32/36.47	c (16,0) c LitScanFractions_6 : 96565
131.32/36.47	c (16,0) c LitScanFractions_7 : 47734
131.32/36.47	c (16,0) c LitScanFractions_total : 540244
131.32/36.47	c (16,0) c LitScanFractions_winner : 96565
131.32/36.47	c (16,0) c DecisionLevel0_0 : 28
131.32/36.47	c (16,0) c DecisionLevel0_1 : 46
131.32/36.47	c (16,0) c DecisionLevel0_2 : 60
131.32/36.47	c (16,0) c DecisionLevel0_3 : 72
131.32/36.47	c (16,0) c DecisionLevel0_4 : 57
131.32/36.47	c (16,0) c DecisionLevel0_5 : 71
131.32/36.47	c (16,0) c DecisionLevel0_6 : 50
131.32/36.47	c (16,0) c DecisionLevel0_7 : 52
131.32/36.47	c (16,0) c DecisionLevel0_total : 436
131.32/36.47	c (16,0) c DecisionLevel0_winner : 50
131.32/36.47	c (16,0) c Periods_0 : 31
131.32/36.47	c (16,0) c Periods_1 : 31
131.32/36.47	c (16,0) c Periods_2 : 34
131.32/36.47	c (16,0) c Periods_3 : 31
131.32/36.47	c (16,0) c Periods_4 : 38
131.32/36.47	c (16,0) c Periods_5 : 38
131.32/36.47	c (16,0) c Periods_6 : 31
131.32/36.47	c (16,0) c Periods_7 : 35
131.32/36.47	c (16,0) c Periods_total : 269
131.32/36.47	c (16,0) c Periods_winner : 31
131.32/36.47	c (16,0) c Margin_0 : 20
131.32/36.47	c (16,0) c Margin_1 : 20
131.32/36.47	c (16,0) c Margin_2 : 20
131.32/36.47	c (16,0) c Margin_3 : 20
131.32/36.47	c (16,0) c Margin_4 : 20
131.32/36.47	c (16,0) c Margin_5 : 20
131.32/36.47	c (16,0) c Margin_6 : 20
131.32/36.47	c (16,0) c Margin_7 : 20
131.32/36.47	c (16,0) c Margin_total : 160
131.32/36.47	c (16,0) c Margin_winner : 20
131.32/36.47	c (16,0) c Exported_0 : 3968
131.32/36.47	c (16,0) c Exported_1 : 3749
131.32/36.47	c (16,0) c Exported_2 : 5573
131.32/36.47	c (16,0) c Exported_3 : 4664
131.32/36.47	c (16,0) c Exported_4 : 4668
131.32/36.47	c (16,0) c Exported_5 : 3577
131.32/36.47	c (16,0) c Exported_6 : 2316
131.32/36.47	c (16,0) c Exported_7 : 1621
131.32/36.47	c (16,0) c Exported_total : 30136
131.32/36.47	c (16,0) c Exported_winner : 2316
131.32/36.47	c (16,0) c Imported_0 : 475
131.32/36.47	c (16,0) c Imported_1 : 3620
131.32/36.47	c (16,0) c Imported_2 : 4583
131.32/36.47	c (16,0) c Imported_3 : 3029
131.32/36.47	c (16,0) c Imported_4 : 9299
131.32/36.47	c (16,0) c Imported_5 : 10687
131.32/36.47	c (16,0) c Imported_6 : 2898
131.32/36.47	c (16,0) c Imported_7 : 8089
131.32/36.47	c (16,0) c Imported_total : 42680
131.32/36.47	c (16,0) c Imported_winner : 2898
131.32/36.47	c (16,0) c Good_0 : 253
131.32/36.47	c (16,0) c Good_1 : 753
131.32/36.47	c (16,0) c Good_2 : 1081
131.32/36.47	c (16,0) c Good_3 : 667
131.32/36.47	c (16,0) c Good_4 : 1339
131.32/36.47	c (16,0) c Good_5 : 1438
131.32/36.47	c (16,0) c Good_6 : 629
131.32/36.47	c (16,0) c Good_7 : 1060
131.32/36.47	c (16,0) c Good_total : 7220
131.32/36.47	c (16,0) c Good_winner : 629
131.32/36.47	c (16,0) c Purge_0 : 222
131.32/36.47	c (16,0) c Purge_1 : 2867
131.32/36.47	c (16,0) c Purge_2 : 3502
131.32/36.47	c (16,0) c Purge_3 : 2362
131.32/36.47	c (16,0) c Purge_4 : 7960
131.32/36.47	c (16,0) c Purge_5 : 9249
131.32/36.47	c (16,0) c Purge_6 : 2269
131.32/36.47	c (16,0) c Purge_7 : 7029
131.32/36.47	c (16,0) c Purge_total : 35460
131.32/36.47	c (16,0) c Purge_winner : 2269
131.32/36.47	c (16,0) c Promoted_0 : 0
131.32/36.47	c (16,0) c Promoted_1 : 0
131.32/36.47	c (16,0) c Promoted_2 : 4
131.32/36.47	c (16,0) c Promoted_3 : 0
131.32/36.47	c (16,0) c Promoted_4 : 75
131.32/36.47	c (16,0) c Promoted_5 : 2
131.32/36.47	c (16,0) c Promoted_6 : 0
131.32/36.47	c (16,0) c Promoted_7 : 2
131.32/36.47	c (16,0) c Promoted_total : 83
131.32/36.47	c (16,0) c Promoted_winner : 0
131.32/36.47	c (16,0) c Remove_Imp_0 : 0
131.32/36.47	c (16,0) c Remove_Imp_1 : 0
131.32/36.47	c (16,0) c Remove_Imp_2 : 0
131.32/36.47	c (16,0) c Remove_Imp_3 : 0
131.32/36.47	c (16,0) c Remove_Imp_4 : 0
131.32/36.47	c (16,0) c Remove_Imp_5 : 0
131.32/36.47	c (16,0) c Remove_Imp_6 : 0
131.32/36.47	c (16,0) c Remove_Imp_7 : 0
131.32/36.47	c (16,0) c Remove_Imp_total : 0
131.32/36.47	c (16,0) c Remove_Imp_winner : 0
131.32/36.47	c (16,0) c Blocked_Reuse_0 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_1 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_2 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_3 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_4 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_5 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_6 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_7 : 0
131.32/36.47	c (16,0) c Blocked_Reuse_total : 0
131.32/36.47	c (16,0) c Blocked_Reuse_winner : 0
131.32/36.47	c (16,0) c Unaries_0 : 0
131.32/36.48	c (16,0) c Unaries_1 : 0
131.32/36.48	c (16,0) c Unaries_2 : 0
131.32/36.48	c (16,0) c Unaries_3 : 0
131.32/36.48	c (16,0) c Unaries_4 : 3
131.32/36.48	c (16,0) c Unaries_5 : 3
131.32/36.48	c (16,0) c Unaries_6 : 1
131.32/36.48	c (16,0) c Unaries_7 : 2
131.32/36.48	c (16,0) c Unaries_total : 9
131.32/36.48	c (16,0) c Unaries_winner : 1
131.32/36.48	c (16,0) c Binaries_0 : 278
131.32/36.48	c (16,0) c Binaries_1 : 425
131.32/36.48	c (16,0) c Binaries_2 : 380
131.32/36.48	c (16,0) c Binaries_3 : 414
131.32/36.48	c (16,0) c Binaries_4 : 412
131.32/36.48	c (16,0) c Binaries_5 : 508
131.32/36.48	c (16,0) c Binaries_6 : 312
131.32/36.48	c (16,0) c Binaries_7 : 532
131.32/36.48	c (16,0) c Binaries_total : 3261
131.32/36.48	c (16,0) c Binaries_winner : 312
131.32/36.48	c (16,0) c Glues_0 : 573
131.32/36.48	c (16,0) c Glues_1 : 1040
131.32/36.48	c (16,0) c Glues_2 : 1173
131.32/36.48	c (16,0) c Glues_3 : 1190
131.32/36.48	c (16,0) c Glues_4 : 975
131.32/36.48	c (16,0) c Glues_5 : 1049
131.32/36.48	c (16,0) c Glues_6 : 561
131.32/36.48	c (16,0) c Glues_7 : 752
131.32/36.48	c (16,0) c Glues_total : 7313
131.32/36.48	c (16,0) c Glues_winner : 561
131.32/36.48	c (16,0) c RunningTime_0 : 12.030214
131.32/36.48	c (16,0) c RunningTime_1 : 11.624482
131.32/36.48	c (16,0) c RunningTime_2 : 11.494941
131.32/36.48	c (16,0) c RunningTime_3 : 11.580271
131.32/36.48	c (16,0) c RunningTime_4 : 11.536965
131.32/36.48	c (16,0) c RunningTime_5 : 11.495919
131.32/36.48	c (16,0) c RunningTime_6 : 11.465936
131.32/36.48	c (16,0) c RunningTime_7 : 11.517355
131.32/36.48	c (16,0) c RunningTime_total : 92.746083
131.32/36.48	c (16,0) c RunningTime_winner : 11.465936
131.32/36.48	c (16,0) c WaitingTime_0 : 0.000021
131.32/36.48	c (16,0) c WaitingTime_1 : 0.000014
131.32/36.48	c (16,0) c WaitingTime_2 : 0.000029
131.32/36.48	c (16,0) c WaitingTime_3 : 0.000019
131.32/36.48	c (16,0) c WaitingTime_4 : 0.000059
131.32/36.48	c (16,0) c WaitingTime_5 : 0.000052
131.32/36.48	c (16,0) c WaitingTime_6 : 0.000018
131.32/36.48	c (16,0) c WaitingTime_7 : 0.000032
131.32/36.48	c (16,0) c WaitingTime_total : 0.000245
131.32/36.48	c (16,0) c WaitingTime_winner : 0.000018
131.32/36.48	c (16,0) c ExchangingTime_0 : 0.004756
131.32/36.48	c (16,0) c ExchangingTime_1 : 0.004806
131.32/36.48	c (16,0) c ExchangingTime_2 : 0.008027
131.32/36.48	c (16,0) c ExchangingTime_3 : 0.005834
131.32/36.48	c (16,0) c ExchangingTime_4 : 0.009097
131.32/36.48	c (16,0) c ExchangingTime_5 : 0.011335
131.32/36.48	c (16,0) c ExchangingTime_6 : 0.008986
131.32/36.48	c (16,0) c ExchangingTime_7 : 0.008157
131.32/36.48	c (16,0) c ExchangingTime_total : 0.060999
131.32/36.48	c (16,0) c ExchangingTime_winner : 0.008986
131.32/36.48	c (16,0) c PeriodProcTime_0 : 0.000378
131.32/36.48	c (16,0) c PeriodProcTime_1 : 0.000339
131.32/36.48	c (16,0) c PeriodProcTime_2 : 0.000378
131.32/36.48	c (16,0) c PeriodProcTime_3 : 0.000991
131.32/36.48	c (16,0) c PeriodProcTime_4 : 0.000381
131.32/36.48	c (16,0) c PeriodProcTime_5 : 0.000406
131.32/36.48	c (16,0) c PeriodProcTime_6 : 0.000337
131.32/36.48	c (16,0) c PeriodProcTime_7 : 0.000444
131.32/36.48	c (16,0) c PeriodProcTime_total : 0.003653
131.32/36.48	c (16,0) c PeriodProcTime_winner : 0.000337
131.32/36.48	c (16,0) c SolvingTime_0 : 12.035369
131.32/36.48	c (16,0) c SolvingTime_1 : 11.629641
131.32/36.48	c (16,0) c SolvingTime_2 : 11.503376
131.32/36.48	c (16,0) c SolvingTime_3 : 11.587114
131.32/36.48	c (16,0) c SolvingTime_4 : 11.546502
131.32/36.48	c (16,0) c SolvingTime_5 : 11.507713
131.32/36.48	c (16,0) c SolvingTime_6 : 11.475277
131.32/36.48	c (16,0) c SolvingTime_7 : 11.525988
131.32/36.48	c (16,0) c SolvingTime_total : 92.810981
131.32/36.48	c (16,0) c SolvingTime_winner : 11.475277
131.32/36.48	c (16,0) c PropagationTime_0 : 10.726089
131.32/36.48	c (16,0) c PropagationTime_1 : 10.244157
131.32/36.48	c (16,0) c PropagationTime_2 : 9.890365
131.32/36.48	c (16,0) c PropagationTime_3 : 9.995529
131.32/36.48	c (16,0) c PropagationTime_4 : 9.854309
131.32/36.48	c (16,0) c PropagationTime_5 : 9.805798
131.32/36.48	c (16,0) c PropagationTime_6 : 10.000437
131.32/36.48	c (16,0) c PropagationTime_7 : 9.985953
131.32/36.48	c (16,0) c PropagationTime_total : 80.502637
131.32/36.48	c (16,0) c PropagationTime_winner : 10.000437
131.32/36.48	c (16,0) c AnalysisTime_0 : 0.346229
131.32/36.48	c (16,0) c AnalysisTime_1 : 0.301741
131.32/36.48	c (16,0) c AnalysisTime_2 : 0.434143
131.32/36.48	c (16,0) c AnalysisTime_3 : 0.394968
131.32/36.48	c (16,0) c AnalysisTime_4 : 0.390771
131.32/36.48	c (16,0) c AnalysisTime_5 : 0.398649
131.32/36.48	c (16,0) c AnalysisTime_6 : 0.287816
131.32/36.48	c (16,0) c AnalysisTime_7 : 0.233545
131.32/36.48	c (16,0) c AnalysisTime_total : 2.787861
131.32/36.48	c (16,0) c AnalysisTime_winner : 0.287816
131.32/36.48	c (16,0) c ReductionTime_0 : 0.003874
131.32/36.48	c (16,0) c ReductionTime_1 : 0.003323
131.32/36.48	c (16,0) c ReductionTime_2 : 0.006781
131.32/36.48	c (16,0) c ReductionTime_3 : 0.003486
131.32/36.48	c (16,0) c ReductionTime_4 : 0.003854
131.32/36.48	c (16,0) c ReductionTime_5 : 0.004131
131.32/36.48	c (16,0) c ReductionTime_6 : 0.002259
131.32/36.48	c (16,0) c ReductionTime_7 : 0.002066
131.32/36.48	c (16,0) c ReductionTime_total : 0.029774
131.32/36.48	c (16,0) c ReductionTime_winner : 0.002259
131.32/36.48	c (16,0) c SimplifyTime_0 : 0.058287
131.32/36.48	c (16,0) c SimplifyTime_1 : 0.104002
131.32/36.48	c (16,0) c SimplifyTime_2 : 0.111140
131.32/36.48	c (16,0) c SimplifyTime_3 : 0.108479
131.32/36.48	c (16,0) c SimplifyTime_4 : 0.220919
131.32/36.48	c (16,0) c SimplifyTime_5 : 0.222692
131.32/36.48	c (16,0) c SimplifyTime_6 : 0.117659
131.32/36.48	c (16,0) c SimplifyTime_7 : 0.231736
131.32/36.48	c (16,0) c SimplifyTime_total : 1.174913
131.32/36.48	c (16,0) c SimplifyTime_winner : 0.117659
131.32/36.48	c (16,0) c UsedRateTime_0 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_1 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_2 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_3 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_4 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_5 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_6 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_7 : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_total : 0.000000
131.32/36.48	c (16,0) c UsedRateTime_winner : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_0 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_1 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_2 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_3 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_4 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_5 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_6 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_7 : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_total : 0.000000
131.32/36.48	c (16,0) c OverlapRateTime_winner : 0.000000
131.32/36.48	c (16,0) c
131.32/36.48	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
131.32/36.48	c (16,0) c
131.32/36.48	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.48	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
131.32/36.48	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.48	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
131.32/36.48	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
131.32/36.48	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
131.32/36.48	c (16,0) c | Initial random_seed   |  422990840 |   93350722 | 1102716433 |  734214514 |  681415574 |   89208865 |  983261694 | 1369176065 |
131.32/36.48	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
131.32/36.48	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
131.32/36.48	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
131.32/36.48	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
131.32/36.48	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
131.32/36.48	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
131.32/36.48	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
131.32/36.48	c (16,0) c | var_decay             |     0.8200 |     0.8300 |     0.8400 |     0.8300 |     0.8300 |     0.8300 |     0.8200 |     0.8100 |
131.32/36.48	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
131.32/36.48	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
131.32/36.48	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
131.32/36.48	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
131.32/36.48	c (16,0) 
131.32/36.48	c (16,0) s SATISFIABLE
132.32/36.95	c (17,0) SatSolver.solve End
132.32/36.95	c (17,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
132.32/36.95	c (17,0) Show results Begin
132.69/37.14	c (17,0) cls[0] = 13
132.69/37.14	c (17,0) cls[1] = 15
132.69/37.14	c (17,0) cls[2] = 13
132.69/37.14	c (17,0) cls[3] = 5
132.69/37.14	c (17,0) cls[4] = 19
132.69/37.14	c (17,0) cls[5] = 8
132.69/37.14	c (17,0) cls[6] = 26
132.69/37.14	c (17,0) cls[7] = 11
132.69/37.14	c (17,0) cls[8] = 21
132.69/37.14	c (17,0) cls[9] = 19
132.69/37.14	c (17,0) cls[10] = 13
132.69/37.14	c (17,0) cls[11] = 10
132.69/37.15	c (17,0) cls[12] = 22
132.69/37.15	c (17,0) cls[13] = 1
132.69/37.15	c (17,0) cls[14] = 13
132.69/37.15	c (17,0) cls[15] = 16
132.69/37.15	c (17,0) cls[16] = 19
132.69/37.15	c (17,0) cls[17] = 3
132.69/37.15	c (17,0) cls[18] = 17
132.69/37.15	c (17,0) cls[19] = 14
132.69/37.15	c (17,0) cls[20] = 19
132.69/37.15	c (17,0) cls[21] = 13
132.69/37.15	c (17,0) cls[22] = 8
132.69/37.15	c (17,0) cls[23] = 19
132.69/37.15	c (17,0) cls[24] = 11
132.69/37.15	c (17,0) cls[25] = 19
132.69/37.15	c (17,0) cls[26] = 3
132.69/37.15	c (17,0) cls[27] = 16
132.69/37.15	c (17,0) cls[28] = 10
132.69/37.15	c (17,0) cls[29] = 13
132.69/37.15	c (17,0) cls[30] = 15
132.69/37.15	c (17,0) cls[31] = 18
132.69/37.15	c (17,0) cls[32] = 26
132.69/37.15	c (17,0) cls[33] = 22
132.69/37.15	c (17,0) cls[34] = 19
132.69/37.15	c (17,0) cls[35] = 13
132.69/37.15	c (17,0) cls[36] = 0
132.69/37.15	c (17,0) cls[37] = 18
132.69/37.15	c (17,0) cls[38] = 26
132.69/37.15	c (17,0) cls[39] = 16
132.69/37.15	c (17,0) cls[40] = 3
132.69/37.15	c (17,0) cls[41] = 3
132.69/37.15	c (17,0) cls[42] = 13
132.69/37.15	c (17,0) cls[43] = 26
132.69/37.15	c (17,0) cls[44] = 18
132.69/37.15	c (17,0) cls[45] = 12
132.69/37.15	c (17,0) cls[46] = 13
132.69/37.15	c (17,0) cls[47] = 3
132.69/37.15	c (17,0) cls[48] = 22
132.69/37.15	c (17,0) cls[49] = 19
132.69/37.15	c (17,0) cls[50] = 13
132.69/37.15	c (17,0) cls[51] = 19
132.69/37.15	c (17,0) cls[52] = 13
132.69/37.15	c (17,0) cls[53] = 16
132.69/37.15	c (17,0) cls[54] = 23
132.69/37.15	c (17,0) cls[55] = 3
132.69/37.15	c (17,0) cls[56] = 13
132.69/37.15	c (17,0) cls[57] = 26
132.69/37.15	c (17,0) cls[58] = 11
132.69/37.15	c (17,0) cls[59] = 13
132.69/37.15	c (17,0) cls[60] = 3
132.69/37.15	c (17,0) cls[61] = 15
132.69/37.15	c (17,0) cls[62] = 13
132.69/37.15	c (17,0) cls[63] = 3
132.69/37.15	c (17,0) cls[64] = 4
132.69/37.15	c (17,0) cls[65] = 3
132.69/37.15	c (17,0) cls[66] = 13
132.69/37.15	c (17,0) cls[67] = 13
132.69/37.15	c (17,0) cls[68] = 11
132.69/37.15	c (17,0) cls[69] = 8
132.69/37.15	c (17,0) cls[70] = 26
132.69/37.15	c (17,0) cls[71] = 3
132.69/37.15	c (17,0) cls[72] = 24
132.69/37.15	c (17,0) cls[73] = 17
132.69/37.15	c (17,0) cls[74] = 3
132.69/37.15	c (17,0) cls[75] = 13
132.69/37.15	c (17,0) cls[76] = 15
132.69/37.15	c (17,0) cls[77] = 8
132.69/37.15	c (17,0) cls[78] = 18
132.69/37.15	c (17,0) cls[79] = 26
132.69/37.15	c (17,0) cls[80] = 24
132.69/37.15	c (17,0) cls[81] = 10
132.69/37.15	c (17,0) cls[82] = 3
132.69/37.15	c (17,0) cls[83] = 16
132.69/37.15	c (17,0) cls[84] = 26
132.69/37.15	c (17,0) cls[85] = 18
132.69/37.16	c (17,0) cls[86] = 19
132.69/37.16	c (17,0) cls[87] = 3
132.69/37.16	c (17,0) cls[88] = 10
132.69/37.16	c (17,0) cls[89] = 13
132.69/37.16	c (17,0) cls[90] = 18
132.69/37.16	c (17,0) cls[91] = 11
132.69/37.16	c (17,0) cls[92] = 26
132.69/37.16	c (17,0) cls[93] = 8
132.69/37.16	c (17,0) cls[94] = 14
132.69/37.16	c (17,0) cls[95] = 19
132.69/37.16	c (17,0) cls[96] = 18
132.69/37.16	c (17,0) cls[97] = 19
132.69/37.16	c (17,0) cls[98] = 8
132.69/37.16	c (17,0) cls[99] = 11
132.69/37.16	c (17,0) cls[100] = 26
132.69/37.16	c (17,0) cls[101] = 5
132.69/37.16	c (17,0) cls[102] = 15
132.69/37.16	c (17,0) cls[103] = 3
132.69/37.16	c (17,0) cls[104] = 26
132.69/37.16	c (17,0) cls[105] = 13
132.69/37.16	c (17,0) cls[106] = 2
132.69/37.16	c (17,0) cls[107] = 3
132.69/37.16	c (17,0) cls[108] = 13
132.69/37.16	c (17,0) cls[109] = 16
132.69/37.16	c (17,0) cls[110] = 3
132.69/37.16	c (17,0) cls[111] = 17
132.69/37.16	c (17,0) cls[112] = 11
132.69/37.16	c (17,0) cls[113] = 19
132.69/37.16	c (17,0) cls[114] = 8
132.69/37.16	c (17,0) cls[115] = 3
132.69/37.16	c (17,0) cls[116] = 13
132.69/37.16	c (17,0) cls[117] = 16
132.69/37.16	c (17,0) cls[118] = 19
132.69/37.16	c (17,0) cls[119] = 23
132.69/37.16	c (17,0) cls[120] = 13
132.69/37.16	c (17,0) cls[121] = 26
132.69/37.16	c (17,0) cls[122] = 11
132.69/37.16	c (17,0) cls[123] = 10
132.69/37.16	c (17,0) cls[124] = 13
132.69/37.16	c (17,0) cls[125] = 20
132.69/37.16	c (17,0) cls[126] = 11
132.69/37.16	c (17,0) cls[127] = 13
132.69/37.16	c (17,0) cls[128] = 13
132.69/37.16	c (17,0) cls[129] = 10
132.69/37.16	c (17,0) cls[130] = 13
132.69/37.16	c (17,0) cls[131] = 22
132.69/37.16	c (17,0) cls[132] = 18
132.69/37.16	c (17,0) cls[133] = 13
132.69/37.16	c (17,0) cls[134] = 13
132.69/37.16	c (17,0) cls[135] = 10
132.69/37.16	c (17,0) cls[136] = 11
132.69/37.16	c (17,0) cls[137] = 17
132.69/37.16	c (17,0) cls[138] = 13
132.69/37.16	c (17,0) cls[139] = 3
132.69/37.16	c (17,0) cls[140] = 13
132.69/37.16	c (17,0) cls[141] = 3
132.69/37.16	c (17,0) cls[142] = 2
132.69/37.16	c (17,0) cls[143] = 13
132.69/37.16	c (17,0) cls[144] = 8
132.69/37.16	c (17,0) cls[145] = 19
132.69/37.16	c (17,0) cls[146] = 11
132.69/37.16	c (17,0) cls[147] = 7
132.69/37.16	c (17,0) cls[148] = 13
132.69/37.16	c (17,0) cls[149] = 10
132.69/37.16	c (17,0) cls[150] = 13
132.69/37.16	c (17,0) cls[151] = 12
132.69/37.16	c (17,0) cls[152] = 3
132.69/37.16	c (17,0) cls[153] = 26
132.69/37.16	c (17,0) cls[154] = 11
132.69/37.16	c (17,0) cls[155] = 26
132.69/37.16	c (17,0) cls[156] = 13
132.69/37.16	c (17,0) cls[157] = 6
132.69/37.16	c (17,0) cls[158] = 13
132.69/37.16	c (17,0) cls[159] = 19
132.69/37.16	c (17,0) cls[160] = 8
132.69/37.16	c (17,0) cls[161] = 11
132.69/37.16	c (17,0) cls[162] = 3
132.69/37.16	c (17,0) cls[163] = 13
132.69/37.16	c (17,0) cls[164] = 11
132.69/37.16	c (17,0) cls[165] = 20
132.69/37.16	c (17,0) cls[166] = 13
132.69/37.16	c (17,0) cls[167] = 11
132.69/37.16	c (17,0) cls[168] = 8
132.69/37.16	c (17,0) cls[169] = 26
132.69/37.16	c (17,0) cls[170] = 3
132.69/37.16	c (17,0) cls[171] = 15
132.69/37.16	c (17,0) cls[172] = 13
132.69/37.16	c (17,0) cls[173] = 10
132.69/37.16	c (17,0) cls[174] = 13
132.69/37.16	c (17,0) cls[175] = 13
132.69/37.16	c (17,0) cls[176] = 20
132.69/37.16	c (17,0) cls[177] = 11
132.69/37.16	c (17,0) cls[178] = 8
132.69/37.16	c (17,0) cls[179] = 26
132.69/37.16	c (17,0) cls[180] = 11
132.69/37.16	c (17,0) cls[181] = 26
132.69/37.16	c (17,0) cls[182] = 8
132.69/37.16	c (17,0) cls[183] = 20
132.69/37.16	c (17,0) cls[184] = 11
132.69/37.16	c (17,0) cls[185] = 13
132.69/37.16	c (17,0) cls[186] = 26
132.69/37.16	c (17,0) cls[187] = 11
132.69/37.16	c (17,0) cls[188] = 13
132.69/37.16	c (17,0) cls[189] = 7
132.69/37.16	c (17,0) cls[190] = 14
132.69/37.16	c (17,0) cls[191] = 1
132.69/37.16	c (17,0) cls[192] = 13
132.69/37.16	c (17,0) cls[193] = 25
132.69/37.16	c (17,0) cls[194] = 13
132.69/37.16	c (17,0) cls[195] = 3
132.69/37.16	c (17,0) cls[196] = 9
132.69/37.16	c (17,0) cls[197] = 3
132.69/37.16	c (17,0) cls[198] = 19
132.69/37.16	c (17,0) cls[199] = 11
132.69/37.16	c (17,0) opt[0][0] = 0
132.69/37.16	c (17,0) opt[0][1] = 1
132.69/37.16	c (17,0) opt[0][2] = 0
132.69/37.16	c (17,0) opt[0][3] = 0
132.69/37.16	c (17,0) opt[0][4] = 0
132.69/37.16	c (17,0) opt[1][0] = 1
132.69/37.16	c (17,0) opt[1][1] = 0
132.69/37.16	c (17,0) opt[1][2] = 1
132.69/37.16	c (17,0) opt[1][3] = 0
132.69/37.16	c (17,0) opt[1][4] = 0
132.69/37.16	c (17,0) opt[2][0] = 0
132.69/37.16	c (17,0) opt[2][1] = 1
132.69/37.16	c (17,0) opt[2][2] = 0
132.69/37.16	c (17,0) opt[2][3] = 0
132.69/37.16	c (17,0) opt[2][4] = 0
132.69/37.16	c (17,0) opt[3][0] = 0
132.69/37.16	c (17,0) opt[3][1] = 1
132.69/37.16	c (17,0) opt[3][2] = 0
132.69/37.16	c (17,0) opt[3][3] = 1
132.69/37.16	c (17,0) opt[3][4] = 1
132.69/37.16	c (17,0) opt[4][0] = 1
132.69/37.16	c (17,0) opt[4][1] = 0
132.69/37.16	c (17,0) opt[4][2] = 0
132.69/37.16	c (17,0) opt[4][3] = 0
132.69/37.16	c (17,0) opt[4][4] = 0
132.69/37.16	c (17,0) opt[5][0] = 0
132.69/37.16	c (17,0) opt[5][1] = 1
132.69/37.16	c (17,0) opt[5][2] = 0
132.69/37.16	c (17,0) opt[5][3] = 1
132.69/37.16	c (17,0) opt[5][4] = 0
132.69/37.16	c (17,0) opt[6][0] = 1
132.69/37.16	c (17,0) opt[6][1] = 1
132.69/37.16	c (17,0) opt[6][2] = 0
132.69/37.16	c (17,0) opt[6][3] = 0
132.69/37.16	c (17,0) opt[6][4] = 0
132.69/37.16	c (17,0) opt[7][0] = 0
132.69/37.16	c (17,0) opt[7][1] = 0
132.69/37.16	c (17,0) opt[7][2] = 1
132.69/37.16	c (17,0) opt[7][3] = 0
132.69/37.16	c (17,0) opt[7][4] = 0
132.69/37.16	c (17,0) opt[8][0] = 0
132.69/37.16	c (17,0) opt[8][1] = 1
132.69/37.16	c (17,0) opt[8][2] = 0
132.69/37.16	c (17,0) opt[8][3] = 0
132.69/37.16	c (17,0) opt[8][4] = 1
132.69/37.16	c (17,0) opt[9][0] = 1
132.69/37.16	c (17,0) opt[9][1] = 0
132.69/37.16	c (17,0) opt[9][2] = 0
132.69/37.16	c (17,0) opt[9][3] = 0
132.69/37.16	c (17,0) opt[9][4] = 0
132.69/37.16	c (17,0) opt[10][0] = 0
132.69/37.16	c (17,0) opt[10][1] = 1
132.69/37.16	c (17,0) opt[10][2] = 0
132.69/37.16	c (17,0) opt[10][3] = 0
132.69/37.16	c (17,0) opt[10][4] = 0
132.69/37.16	c (17,0) opt[11][0] = 1
132.69/37.16	c (17,0) opt[11][1] = 0
132.69/37.16	c (17,0) opt[11][2] = 0
132.69/37.16	c (17,0) opt[11][3] = 1
132.69/37.16	c (17,0) opt[11][4] = 0
132.69/37.16	c (17,0) opt[12][0] = 0
132.69/37.16	c (17,0) opt[12][1] = 1
132.69/37.16	c (17,0) opt[12][2] = 1
132.69/37.16	c (17,0) opt[12][3] = 1
132.69/37.16	c (17,0) opt[12][4] = 0
132.69/37.16	c (17,0) opt[13][0] = 1
132.69/37.16	c (17,0) opt[13][1] = 0
132.69/37.16	c (17,0) opt[13][2] = 0
132.69/37.16	c (17,0) opt[13][3] = 0
132.69/37.16	c (17,0) opt[13][4] = 1
132.69/37.16	c (17,0) opt[14][0] = 0
132.69/37.16	c (17,0) opt[14][1] = 1
132.69/37.16	c (17,0) opt[14][2] = 0
132.69/37.16	c (17,0) opt[14][3] = 0
132.69/37.16	c (17,0) opt[14][4] = 0
132.69/37.16	c (17,0) opt[15][0] = 0
132.69/37.16	c (17,0) opt[15][1] = 1
132.69/37.16	c (17,0) opt[15][2] = 1
132.69/37.16	c (17,0) opt[15][3] = 0
132.69/37.16	c (17,0) opt[15][4] = 0
132.69/37.16	c (17,0) opt[16][0] = 1
132.69/37.16	c (17,0) opt[16][1] = 0
132.69/37.16	c (17,0) opt[16][2] = 0
132.69/37.16	c (17,0) opt[16][3] = 0
132.69/37.16	c (17,0) opt[16][4] = 0
132.69/37.16	c (17,0) opt[17][0] = 0
132.69/37.16	c (17,0) opt[17][1] = 0
132.69/37.16	c (17,0) opt[17][2] = 0
132.69/37.16	c (17,0) opt[17][3] = 1
132.69/37.16	c (17,0) opt[17][4] = 0
132.69/37.16	c (17,0) opt[18][0] = 1
132.69/37.16	c (17,0) opt[18][1] = 1
132.69/37.16	c (17,0) opt[18][2] = 0
132.69/37.16	c (17,0) opt[18][3] = 0
132.69/37.16	c (17,0) opt[18][4] = 1
132.69/37.16	c (17,0) opt[19][0] = 0
132.69/37.16	c (17,0) opt[19][1] = 0
132.69/37.16	c (17,0) opt[19][2] = 1
132.69/37.16	c (17,0) opt[19][3] = 1
132.69/37.16	c (17,0) opt[19][4] = 0
132.69/37.16	c (17,0) opt[20][0] = 1
132.69/37.16	c (17,0) opt[20][1] = 0
132.69/37.16	c (17,0) opt[20][2] = 0
132.69/37.16	c (17,0) opt[20][3] = 0
132.69/37.16	c (17,0) opt[20][4] = 0
132.69/37.16	c (17,0) opt[21][0] = 0
132.69/37.16	c (17,0) opt[21][1] = 1
132.69/37.16	c (17,0) opt[21][2] = 0
132.69/37.16	c (17,0) opt[21][3] = 0
132.69/37.16	c (17,0) opt[21][4] = 0
132.69/37.16	c (17,0) opt[22][0] = 0
132.69/37.16	c (17,0) opt[22][1] = 1
132.69/37.16	c (17,0) opt[22][2] = 0
132.69/37.16	c (17,0) opt[22][3] = 1
132.69/37.16	c (17,0) opt[22][4] = 0
132.69/37.16	c (17,0) opt[23][0] = 1
132.69/37.16	c (17,0) opt[23][1] = 0
132.69/37.16	c (17,0) opt[23][2] = 0
132.69/37.16	c (17,0) opt[23][3] = 0
132.69/37.16	c (17,0) opt[23][4] = 0
132.69/37.16	c (17,0) opt[24][0] = 0
132.69/37.16	c (17,0) opt[24][1] = 0
132.69/37.16	c (17,0) opt[24][2] = 1
132.69/37.16	c (17,0) opt[24][3] = 0
132.69/37.16	c (17,0) opt[24][4] = 0
132.69/37.16	c (17,0) opt[25][0] = 1
132.69/37.16	c (17,0) opt[25][1] = 0
132.69/37.16	c (17,0) opt[25][2] = 0
132.69/37.16	c (17,0) opt[25][3] = 0
132.69/37.16	c (17,0) opt[25][4] = 0
132.69/37.16	c (17,0) opt[26][0] = 0
132.69/37.16	c (17,0) opt[26][1] = 0
132.69/37.16	c (17,0) opt[26][2] = 0
132.69/37.16	c (17,0) opt[26][3] = 1
132.69/37.16	c (17,0) opt[26][4] = 0
132.69/37.16	c (17,0) opt[27][0] = 0
132.69/37.16	c (17,0) opt[27][1] = 1
132.69/37.16	c (17,0) opt[27][2] = 1
132.69/37.16	c (17,0) opt[27][3] = 0
132.69/37.16	c (17,0) opt[27][4] = 0
132.69/37.16	c (17,0) opt[28][0] = 1
132.69/37.16	c (17,0) opt[28][1] = 0
132.69/37.16	c (17,0) opt[28][2] = 0
132.69/37.16	c (17,0) opt[28][3] = 1
132.69/37.16	c (17,0) opt[28][4] = 0
132.69/37.16	c (17,0) opt[29][0] = 0
132.69/37.16	c (17,0) opt[29][1] = 1
132.69/37.16	c (17,0) opt[29][2] = 0
132.69/37.16	c (17,0) opt[29][3] = 0
132.69/37.16	c (17,0) opt[29][4] = 0
132.69/37.16	c (17,0) opt[30][0] = 1
132.69/37.16	c (17,0) opt[30][1] = 0
132.69/37.16	c (17,0) opt[30][2] = 1
132.69/37.16	c (17,0) opt[30][3] = 0
132.69/37.16	c (17,0) opt[30][4] = 0
132.69/37.16	c (17,0) opt[31][0] = 0
132.69/37.16	c (17,0) opt[31][1] = 0
132.69/37.16	c (17,0) opt[31][2] = 0
132.69/37.16	c (17,0) opt[31][3] = 0
132.69/37.16	c (17,0) opt[31][4] = 1
132.69/37.16	c (17,0) opt[32][0] = 1
132.69/37.16	c (17,0) opt[32][1] = 1
132.69/37.16	c (17,0) opt[32][2] = 0
132.69/37.16	c (17,0) opt[32][3] = 0
132.69/37.16	c (17,0) opt[32][4] = 0
132.69/37.16	c (17,0) opt[33][0] = 0
132.69/37.16	c (17,0) opt[33][1] = 1
132.69/37.16	c (17,0) opt[33][2] = 1
132.69/37.16	c (17,0) opt[33][3] = 1
132.69/37.16	c (17,0) opt[33][4] = 0
132.69/37.16	c (17,0) opt[34][0] = 1
132.69/37.16	c (17,0) opt[34][1] = 0
132.69/37.16	c (17,0) opt[34][2] = 0
132.69/37.16	c (17,0) opt[34][3] = 0
132.69/37.16	c (17,0) opt[34][4] = 0
132.69/37.16	c (17,0) opt[35][0] = 0
132.69/37.16	c (17,0) opt[35][1] = 1
132.69/37.16	c (17,0) opt[35][2] = 0
132.69/37.16	c (17,0) opt[35][3] = 0
132.69/37.16	c (17,0) opt[35][4] = 0
132.69/37.16	c (17,0) opt[36][0] = 1
132.69/37.16	c (17,0) opt[36][1] = 1
132.69/37.16	c (17,0) opt[36][2] = 1
132.69/37.16	c (17,0) opt[36][3] = 1
132.69/37.16	c (17,0) opt[36][4] = 0
132.69/37.16	c (17,0) opt[37][0] = 0
132.69/37.16	c (17,0) opt[37][1] = 0
132.69/37.16	c (17,0) opt[37][2] = 0
132.69/37.16	c (17,0) opt[37][3] = 0
132.69/37.16	c (17,0) opt[37][4] = 1
132.69/37.16	c (17,0) opt[38][0] = 1
132.69/37.16	c (17,0) opt[38][1] = 1
132.69/37.16	c (17,0) opt[38][2] = 0
132.69/37.16	c (17,0) opt[38][3] = 0
132.69/37.16	c (17,0) opt[38][4] = 0
132.69/37.16	c (17,0) opt[39][0] = 0
132.69/37.16	c (17,0) opt[39][1] = 1
132.69/37.16	c (17,0) opt[39][2] = 1
132.69/37.16	c (17,0) opt[39][3] = 0
132.69/37.16	c (17,0) opt[39][4] = 0
132.69/37.16	c (17,0) opt[40][0] = 0
132.69/37.16	c (17,0) opt[40][1] = 0
132.69/37.16	c (17,0) opt[40][2] = 0
132.69/37.16	c (17,0) opt[40][3] = 1
132.69/37.16	c (17,0) opt[40][4] = 0
132.69/37.16	c (17,0) opt[41][0] = 0
132.69/37.16	c (17,0) opt[41][1] = 0
132.69/37.16	c (17,0) opt[41][2] = 0
132.69/37.16	c (17,0) opt[41][3] = 1
132.69/37.16	c (17,0) opt[41][4] = 0
132.69/37.16	c (17,0) opt[42][0] = 0
132.69/37.16	c (17,0) opt[42][1] = 1
132.69/37.16	c (17,0) opt[42][2] = 0
132.69/37.16	c (17,0) opt[42][3] = 0
132.69/37.16	c (17,0) opt[42][4] = 0
132.69/37.16	c (17,0) opt[43][0] = 1
132.69/37.16	c (17,0) opt[43][1] = 1
132.69/37.16	c (17,0) opt[43][2] = 0
132.69/37.16	c (17,0) opt[43][3] = 0
132.69/37.16	c (17,0) opt[43][4] = 0
132.69/37.16	c (17,0) opt[44][0] = 0
132.69/37.16	c (17,0) opt[44][1] = 0
132.69/37.16	c (17,0) opt[44][2] = 0
132.69/37.16	c (17,0) opt[44][3] = 0
132.69/37.16	c (17,0) opt[44][4] = 1
132.69/37.16	c (17,0) opt[45][0] = 1
132.69/37.16	c (17,0) opt[45][1] = 1
132.69/37.16	c (17,0) opt[45][2] = 1
132.69/37.16	c (17,0) opt[45][3] = 0
132.69/37.16	c (17,0) opt[45][4] = 0
132.69/37.16	c (17,0) opt[46][0] = 0
132.69/37.16	c (17,0) opt[46][1] = 1
132.69/37.16	c (17,0) opt[46][2] = 0
132.69/37.16	c (17,0) opt[46][3] = 0
132.69/37.16	c (17,0) opt[46][4] = 0
132.69/37.16	c (17,0) opt[47][0] = 0
132.69/37.16	c (17,0) opt[47][1] = 0
132.69/37.16	c (17,0) opt[47][2] = 0
132.69/37.16	c (17,0) opt[47][3] = 1
132.69/37.16	c (17,0) opt[47][4] = 0
132.69/37.16	c (17,0) opt[48][0] = 0
132.69/37.16	c (17,0) opt[48][1] = 1
132.69/37.16	c (17,0) opt[48][2] = 1
132.69/37.16	c (17,0) opt[48][3] = 1
132.69/37.16	c (17,0) opt[48][4] = 0
132.69/37.16	c (17,0) opt[49][0] = 1
132.69/37.16	c (17,0) opt[49][1] = 0
132.69/37.16	c (17,0) opt[49][2] = 0
132.69/37.16	c (17,0) opt[49][3] = 0
132.69/37.16	c (17,0) opt[49][4] = 0
132.69/37.16	c (17,0) opt[50][0] = 0
132.69/37.16	c (17,0) opt[50][1] = 1
132.69/37.16	c (17,0) opt[50][2] = 0
132.69/37.16	c (17,0) opt[50][3] = 0
132.69/37.16	c (17,0) opt[50][4] = 0
132.69/37.16	c (17,0) opt[51][0] = 1
132.69/37.16	c (17,0) opt[51][1] = 0
132.69/37.16	c (17,0) opt[51][2] = 0
132.69/37.16	c (17,0) opt[51][3] = 0
132.69/37.16	c (17,0) opt[51][4] = 0
132.69/37.16	c (17,0) opt[52][0] = 0
132.69/37.16	c (17,0) opt[52][1] = 1
132.69/37.16	c (17,0) opt[52][2] = 0
132.69/37.16	c (17,0) opt[52][3] = 0
132.69/37.16	c (17,0) opt[52][4] = 0
132.69/37.16	c (17,0) opt[53][0] = 0
132.69/37.16	c (17,0) opt[53][1] = 1
132.69/37.16	c (17,0) opt[53][2] = 1
132.69/37.16	c (17,0) opt[53][3] = 0
132.69/37.16	c (17,0) opt[53][4] = 0
132.69/37.16	c (17,0) opt[54][0] = 0
132.69/37.16	c (17,0) opt[54][1] = 0
132.69/37.16	c (17,0) opt[54][2] = 0
132.69/37.16	c (17,0) opt[54][3] = 1
132.69/37.16	c (17,0) opt[54][4] = 1
132.69/37.16	c (17,0) opt[55][0] = 0
132.69/37.16	c (17,0) opt[55][1] = 0
132.69/37.16	c (17,0) opt[55][2] = 0
132.69/37.16	c (17,0) opt[55][3] = 1
132.69/37.16	c (17,0) opt[55][4] = 0
132.69/37.16	c (17,0) opt[56][0] = 0
132.69/37.16	c (17,0) opt[56][1] = 1
132.69/37.16	c (17,0) opt[56][2] = 0
132.69/37.16	c (17,0) opt[56][3] = 0
132.69/37.16	c (17,0) opt[56][4] = 0
132.69/37.16	c (17,0) opt[57][0] = 1
132.69/37.16	c (17,0) opt[57][1] = 1
132.69/37.16	c (17,0) opt[57][2] = 0
132.69/37.16	c (17,0) opt[57][3] = 0
132.69/37.16	c (17,0) opt[57][4] = 0
132.69/37.16	c (17,0) opt[58][0] = 0
132.69/37.16	c (17,0) opt[58][1] = 0
132.69/37.16	c (17,0) opt[58][2] = 1
132.69/37.16	c (17,0) opt[58][3] = 0
132.69/37.16	c (17,0) opt[58][4] = 0
132.69/37.16	c (17,0) opt[59][0] = 0
132.69/37.16	c (17,0) opt[59][1] = 1
132.69/37.16	c (17,0) opt[59][2] = 0
132.69/37.16	c (17,0) opt[59][3] = 0
132.69/37.16	c (17,0) opt[59][4] = 0
132.69/37.16	c (17,0) opt[60][0] = 0
132.69/37.16	c (17,0) opt[60][1] = 0
132.69/37.16	c (17,0) opt[60][2] = 0
132.69/37.16	c (17,0) opt[60][3] = 1
132.69/37.16	c (17,0) opt[60][4] = 0
132.69/37.16	c (17,0) opt[61][0] = 1
132.69/37.16	c (17,0) opt[61][1] = 0
132.69/37.16	c (17,0) opt[61][2] = 1
132.69/37.16	c (17,0) opt[61][3] = 0
132.69/37.16	c (17,0) opt[61][4] = 0
132.69/37.16	c (17,0) opt[62][0] = 0
132.69/37.16	c (17,0) opt[62][1] = 1
132.69/37.16	c (17,0) opt[62][2] = 0
132.69/37.16	c (17,0) opt[62][3] = 0
132.69/37.16	c (17,0) opt[62][4] = 0
132.69/37.16	c (17,0) opt[63][0] = 0
132.69/37.16	c (17,0) opt[63][1] = 0
132.69/37.16	c (17,0) opt[63][2] = 0
132.69/37.16	c (17,0) opt[63][3] = 1
132.69/37.16	c (17,0) opt[63][4] = 0
132.69/37.16	c (17,0) opt[64][0] = 1
132.69/37.16	c (17,0) opt[64][1] = 1
132.69/37.16	c (17,0) opt[64][2] = 1
132.69/37.16	c (17,0) opt[64][3] = 0
132.69/37.16	c (17,0) opt[64][4] = 1
132.69/37.16	c (17,0) opt[65][0] = 0
132.69/37.16	c (17,0) opt[65][1] = 0
132.69/37.16	c (17,0) opt[65][2] = 0
132.69/37.16	c (17,0) opt[65][3] = 1
132.69/37.16	c (17,0) opt[65][4] = 0
132.69/37.16	c (17,0) opt[66][0] = 0
132.69/37.16	c (17,0) opt[66][1] = 1
132.69/37.16	c (17,0) opt[66][2] = 0
132.69/37.16	c (17,0) opt[66][3] = 0
132.69/37.16	c (17,0) opt[66][4] = 0
132.69/37.16	c (17,0) opt[67][0] = 0
132.69/37.16	c (17,0) opt[67][1] = 1
132.69/37.16	c (17,0) opt[67][2] = 0
132.69/37.16	c (17,0) opt[67][3] = 0
132.69/37.16	c (17,0) opt[67][4] = 0
132.69/37.16	c (17,0) opt[68][0] = 0
132.69/37.16	c (17,0) opt[68][1] = 0
132.69/37.16	c (17,0) opt[68][2] = 1
132.69/37.16	c (17,0) opt[68][3] = 0
132.69/37.16	c (17,0) opt[68][4] = 0
132.69/37.16	c (17,0) opt[69][0] = 0
132.69/37.16	c (17,0) opt[69][1] = 1
132.69/37.16	c (17,0) opt[69][2] = 0
132.69/37.16	c (17,0) opt[69][3] = 1
132.69/37.16	c (17,0) opt[69][4] = 0
132.69/37.16	c (17,0) opt[70][0] = 1
132.69/37.16	c (17,0) opt[70][1] = 1
132.69/37.16	c (17,0) opt[70][2] = 0
132.69/37.16	c (17,0) opt[70][3] = 0
132.69/37.16	c (17,0) opt[70][4] = 0
132.69/37.16	c (17,0) opt[71][0] = 0
132.69/37.16	c (17,0) opt[71][1] = 0
132.69/37.16	c (17,0) opt[71][2] = 0
132.69/37.16	c (17,0) opt[71][3] = 1
132.69/37.16	c (17,0) opt[71][4] = 0
132.69/37.16	c (17,0) opt[72][0] = 0
132.69/37.16	c (17,0) opt[72][1] = 1
132.69/37.16	c (17,0) opt[72][2] = 1
132.69/37.16	c (17,0) opt[72][3] = 0
132.69/37.16	c (17,0) opt[72][4] = 0
132.69/37.16	c (17,0) opt[73][0] = 1
132.69/37.16	c (17,0) opt[73][1] = 1
132.69/37.16	c (17,0) opt[73][2] = 0
132.69/37.16	c (17,0) opt[73][3] = 0
132.69/37.16	c (17,0) opt[73][4] = 1
132.69/37.16	c (17,0) opt[74][0] = 0
132.69/37.16	c (17,0) opt[74][1] = 0
132.69/37.16	c (17,0) opt[74][2] = 0
132.69/37.16	c (17,0) opt[74][3] = 1
132.69/37.16	c (17,0) opt[74][4] = 0
132.69/37.16	c (17,0) opt[75][0] = 0
132.69/37.16	c (17,0) opt[75][1] = 1
132.69/37.16	c (17,0) opt[75][2] = 0
132.69/37.16	c (17,0) opt[75][3] = 0
132.69/37.16	c (17,0) opt[75][4] = 0
132.69/37.16	c (17,0) opt[76][0] = 1
132.69/37.16	c (17,0) opt[76][1] = 0
132.69/37.16	c (17,0) opt[76][2] = 1
132.69/37.16	c (17,0) opt[76][3] = 0
132.69/37.16	c (17,0) opt[76][4] = 0
132.69/37.16	c (17,0) opt[77][0] = 0
132.69/37.16	c (17,0) opt[77][1] = 1
132.69/37.16	c (17,0) opt[77][2] = 0
132.69/37.16	c (17,0) opt[77][3] = 1
132.69/37.16	c (17,0) opt[77][4] = 0
132.69/37.16	c (17,0) opt[78][0] = 0
132.69/37.16	c (17,0) opt[78][1] = 0
132.69/37.16	c (17,0) opt[78][2] = 0
132.69/37.16	c (17,0) opt[78][3] = 0
132.69/37.16	c (17,0) opt[78][4] = 1
132.69/37.16	c (17,0) opt[79][0] = 1
132.69/37.16	c (17,0) opt[79][1] = 1
132.69/37.16	c (17,0) opt[79][2] = 0
132.69/37.16	c (17,0) opt[79][3] = 0
132.69/37.16	c (17,0) opt[79][4] = 0
132.69/37.16	c (17,0) opt[80][0] = 0
132.69/37.16	c (17,0) opt[80][1] = 1
132.69/37.16	c (17,0) opt[80][2] = 1
132.69/37.16	c (17,0) opt[80][3] = 0
132.69/37.16	c (17,0) opt[80][4] = 0
132.69/37.16	c (17,0) opt[81][0] = 1
132.69/37.16	c (17,0) opt[81][1] = 0
132.69/37.16	c (17,0) opt[81][2] = 0
132.69/37.16	c (17,0) opt[81][3] = 1
132.69/37.16	c (17,0) opt[81][4] = 0
132.69/37.16	c (17,0) opt[82][0] = 0
132.69/37.16	c (17,0) opt[82][1] = 0
132.69/37.16	c (17,0) opt[82][2] = 0
132.69/37.16	c (17,0) opt[82][3] = 1
132.69/37.16	c (17,0) opt[82][4] = 0
132.69/37.16	c (17,0) opt[83][0] = 0
132.69/37.16	c (17,0) opt[83][1] = 1
132.69/37.16	c (17,0) opt[83][2] = 1
132.69/37.16	c (17,0) opt[83][3] = 0
132.69/37.16	c (17,0) opt[83][4] = 0
132.69/37.16	c (17,0) opt[84][0] = 1
132.69/37.16	c (17,0) opt[84][1] = 1
132.69/37.16	c (17,0) opt[84][2] = 0
132.69/37.16	c (17,0) opt[84][3] = 0
132.69/37.16	c (17,0) opt[84][4] = 0
132.69/37.16	c (17,0) opt[85][0] = 0
132.69/37.16	c (17,0) opt[85][1] = 0
132.69/37.16	c (17,0) opt[85][2] = 0
132.69/37.16	c (17,0) opt[85][3] = 0
132.69/37.16	c (17,0) opt[85][4] = 1
132.69/37.16	c (17,0) opt[86][0] = 1
132.69/37.16	c (17,0) opt[86][1] = 0
132.69/37.16	c (17,0) opt[86][2] = 0
132.69/37.16	c (17,0) opt[86][3] = 0
132.69/37.16	c (17,0) opt[86][4] = 0
132.69/37.16	c (17,0) opt[87][0] = 0
132.69/37.16	c (17,0) opt[87][1] = 0
132.69/37.16	c (17,0) opt[87][2] = 0
132.69/37.16	c (17,0) opt[87][3] = 1
132.69/37.16	c (17,0) opt[87][4] = 0
132.69/37.16	c (17,0) opt[88][0] = 1
132.69/37.16	c (17,0) opt[88][1] = 0
132.69/37.16	c (17,0) opt[88][2] = 0
132.69/37.16	c (17,0) opt[88][3] = 1
132.69/37.16	c (17,0) opt[88][4] = 0
132.69/37.16	c (17,0) opt[89][0] = 0
132.69/37.16	c (17,0) opt[89][1] = 1
132.69/37.16	c (17,0) opt[89][2] = 0
132.69/37.16	c (17,0) opt[89][3] = 0
132.69/37.16	c (17,0) opt[89][4] = 0
132.69/37.16	c (17,0) opt[90][0] = 0
132.69/37.16	c (17,0) opt[90][1] = 0
132.69/37.16	c (17,0) opt[90][2] = 0
132.69/37.16	c (17,0) opt[90][3] = 0
132.69/37.16	c (17,0) opt[90][4] = 1
132.69/37.16	c (17,0) opt[91][0] = 0
132.69/37.16	c (17,0) opt[91][1] = 0
132.69/37.16	c (17,0) opt[91][2] = 1
132.69/37.16	c (17,0) opt[91][3] = 0
132.69/37.16	c (17,0) opt[91][4] = 0
132.69/37.16	c (17,0) opt[92][0] = 1
132.69/37.16	c (17,0) opt[92][1] = 1
132.69/37.16	c (17,0) opt[92][2] = 0
132.69/37.16	c (17,0) opt[92][3] = 0
132.69/37.16	c (17,0) opt[92][4] = 0
132.69/37.16	c (17,0) opt[93][0] = 0
132.69/37.16	c (17,0) opt[93][1] = 1
132.69/37.16	c (17,0) opt[93][2] = 0
132.69/37.16	c (17,0) opt[93][3] = 1
132.69/37.16	c (17,0) opt[93][4] = 0
132.69/37.16	c (17,0) opt[94][0] = 0
132.69/37.16	c (17,0) opt[94][1] = 0
132.69/37.16	c (17,0) opt[94][2] = 1
132.69/37.16	c (17,0) opt[94][3] = 1
132.69/37.16	c (17,0) opt[94][4] = 0
132.69/37.16	c (17,0) opt[95][0] = 1
132.69/37.16	c (17,0) opt[95][1] = 0
132.69/37.16	c (17,0) opt[95][2] = 0
132.69/37.16	c (17,0) opt[95][3] = 0
132.69/37.16	c (17,0) opt[95][4] = 0
132.69/37.16	c (17,0) opt[96][0] = 0
132.69/37.16	c (17,0) opt[96][1] = 0
132.69/37.16	c (17,0) opt[96][2] = 0
132.69/37.16	c (17,0) opt[96][3] = 0
132.69/37.16	c (17,0) opt[96][4] = 1
132.69/37.16	c (17,0) opt[97][0] = 1
132.69/37.16	c (17,0) opt[97][1] = 0
132.69/37.16	c (17,0) opt[97][2] = 0
132.69/37.16	c (17,0) opt[97][3] = 0
132.69/37.16	c (17,0) opt[97][4] = 0
132.69/37.16	c (17,0) opt[98][0] = 0
132.69/37.16	c (17,0) opt[98][1] = 1
132.69/37.16	c (17,0) opt[98][2] = 0
132.69/37.16	c (17,0) opt[98][3] = 1
132.69/37.16	c (17,0) opt[98][4] = 0
132.69/37.16	c (17,0) opt[99][0] = 0
132.69/37.16	c (17,0) opt[99][1] = 0
132.69/37.16	c (17,0) opt[99][2] = 1
132.69/37.16	c (17,0) opt[99][3] = 0
132.69/37.16	c (17,0) opt[99][4] = 0
132.69/37.16	c (17,0) opt[100][0] = 1
132.69/37.16	c (17,0) opt[100][1] = 1
132.69/37.16	c (17,0) opt[100][2] = 0
132.69/37.16	c (17,0) opt[100][3] = 0
132.69/37.16	c (17,0) opt[100][4] = 0
132.69/37.16	c (17,0) opt[101][0] = 0
132.69/37.16	c (17,0) opt[101][1] = 1
132.69/37.16	c (17,0) opt[101][2] = 0
132.69/37.16	c (17,0) opt[101][3] = 1
132.69/37.16	c (17,0) opt[101][4] = 1
132.69/37.16	c (17,0) opt[102][0] = 1
132.69/37.16	c (17,0) opt[102][1] = 0
132.69/37.16	c (17,0) opt[102][2] = 1
132.69/37.16	c (17,0) opt[102][3] = 0
132.69/37.16	c (17,0) opt[102][4] = 0
132.69/37.16	c (17,0) opt[103][0] = 0
132.69/37.16	c (17,0) opt[103][1] = 0
132.69/37.16	c (17,0) opt[103][2] = 0
132.69/37.16	c (17,0) opt[103][3] = 1
132.69/37.16	c (17,0) opt[103][4] = 0
132.69/37.16	c (17,0) opt[104][0] = 1
132.69/37.16	c (17,0) opt[104][1] = 1
132.69/37.16	c (17,0) opt[104][2] = 0
132.69/37.16	c (17,0) opt[104][3] = 0
132.69/37.16	c (17,0) opt[104][4] = 0
132.69/37.16	c (17,0) opt[105][0] = 0
132.69/37.16	c (17,0) opt[105][1] = 1
132.69/37.16	c (17,0) opt[105][2] = 0
132.69/37.16	c (17,0) opt[105][3] = 0
132.69/37.16	c (17,0) opt[105][4] = 0
132.69/37.16	c (17,0) opt[106][0] = 1
132.69/37.16	c (17,0) opt[106][1] = 0
132.69/37.16	c (17,0) opt[106][2] = 1
132.69/37.16	c (17,0) opt[106][3] = 0
132.69/37.16	c (17,0) opt[106][4] = 1
132.69/37.16	c (17,0) opt[107][0] = 0
132.69/37.16	c (17,0) opt[107][1] = 0
132.69/37.16	c (17,0) opt[107][2] = 0
132.69/37.16	c (17,0) opt[107][3] = 1
132.69/37.16	c (17,0) opt[107][4] = 0
132.69/37.16	c (17,0) opt[108][0] = 0
132.69/37.16	c (17,0) opt[108][1] = 1
132.69/37.16	c (17,0) opt[108][2] = 0
132.69/37.16	c (17,0) opt[108][3] = 0
132.69/37.16	c (17,0) opt[108][4] = 0
132.69/37.16	c (17,0) opt[109][0] = 0
132.69/37.16	c (17,0) opt[109][1] = 1
132.69/37.16	c (17,0) opt[109][2] = 1
132.69/37.16	c (17,0) opt[109][3] = 0
132.69/37.16	c (17,0) opt[109][4] = 0
132.69/37.16	c (17,0) opt[110][0] = 0
132.69/37.16	c (17,0) opt[110][1] = 0
132.69/37.16	c (17,0) opt[110][2] = 0
132.69/37.16	c (17,0) opt[110][3] = 1
132.69/37.16	c (17,0) opt[110][4] = 0
132.69/37.16	c (17,0) opt[111][0] = 1
132.69/37.16	c (17,0) opt[111][1] = 1
132.69/37.16	c (17,0) opt[111][2] = 0
132.69/37.16	c (17,0) opt[111][3] = 0
132.69/37.16	c (17,0) opt[111][4] = 1
132.69/37.16	c (17,0) opt[112][0] = 0
132.69/37.16	c (17,0) opt[112][1] = 0
132.69/37.16	c (17,0) opt[112][2] = 1
132.69/37.16	c (17,0) opt[112][3] = 0
132.69/37.16	c (17,0) opt[112][4] = 0
132.69/37.16	c (17,0) opt[113][0] = 1
132.69/37.16	c (17,0) opt[113][1] = 0
132.69/37.16	c (17,0) opt[113][2] = 0
132.69/37.16	c (17,0) opt[113][3] = 0
132.69/37.16	c (17,0) opt[113][4] = 0
132.69/37.16	c (17,0) opt[114][0] = 0
132.69/37.16	c (17,0) opt[114][1] = 1
132.69/37.16	c (17,0) opt[114][2] = 0
132.69/37.16	c (17,0) opt[114][3] = 1
132.69/37.16	c (17,0) opt[114][4] = 0
132.69/37.16	c (17,0) opt[115][0] = 0
132.69/37.16	c (17,0) opt[115][1] = 0
132.69/37.16	c (17,0) opt[115][2] = 0
132.69/37.16	c (17,0) opt[115][3] = 1
132.69/37.16	c (17,0) opt[115][4] = 0
132.69/37.16	c (17,0) opt[116][0] = 0
132.69/37.16	c (17,0) opt[116][1] = 1
132.69/37.16	c (17,0) opt[116][2] = 0
132.69/37.16	c (17,0) opt[116][3] = 0
132.69/37.16	c (17,0) opt[116][4] = 0
132.69/37.16	c (17,0) opt[117][0] = 0
132.69/37.16	c (17,0) opt[117][1] = 1
132.69/37.16	c (17,0) opt[117][2] = 1
132.69/37.16	c (17,0) opt[117][3] = 0
132.69/37.16	c (17,0) opt[117][4] = 0
132.69/37.16	c (17,0) opt[118][0] = 1
132.69/37.16	c (17,0) opt[118][1] = 0
132.69/37.16	c (17,0) opt[118][2] = 0
132.69/37.16	c (17,0) opt[118][3] = 0
132.69/37.16	c (17,0) opt[118][4] = 0
132.69/37.16	c (17,0) opt[119][0] = 0
132.69/37.16	c (17,0) opt[119][1] = 0
132.69/37.16	c (17,0) opt[119][2] = 0
132.69/37.16	c (17,0) opt[119][3] = 1
132.69/37.16	c (17,0) opt[119][4] = 1
132.69/37.16	c (17,0) opt[120][0] = 0
132.69/37.16	c (17,0) opt[120][1] = 1
132.69/37.16	c (17,0) opt[120][2] = 0
132.69/37.16	c (17,0) opt[120][3] = 0
132.69/37.16	c (17,0) opt[120][4] = 0
132.69/37.16	c (17,0) opt[121][0] = 1
132.69/37.16	c (17,0) opt[121][1] = 1
132.69/37.16	c (17,0) opt[121][2] = 0
132.69/37.16	c (17,0) opt[121][3] = 0
132.69/37.16	c (17,0) opt[121][4] = 0
132.69/37.16	c (17,0) opt[122][0] = 0
132.69/37.16	c (17,0) opt[122][1] = 0
132.69/37.16	c (17,0) opt[122][2] = 1
132.69/37.16	c (17,0) opt[122][3] = 0
132.69/37.16	c (17,0) opt[122][4] = 0
132.69/37.16	c (17,0) opt[123][0] = 1
132.69/37.16	c (17,0) opt[123][1] = 0
132.69/37.16	c (17,0) opt[123][2] = 0
132.69/37.16	c (17,0) opt[123][3] = 1
132.69/37.16	c (17,0) opt[123][4] = 0
132.69/37.16	c (17,0) opt[124][0] = 0
132.69/37.16	c (17,0) opt[124][1] = 1
132.69/37.16	c (17,0) opt[124][2] = 0
132.69/37.16	c (17,0) opt[124][3] = 0
132.69/37.16	c (17,0) opt[124][4] = 0
132.69/37.16	c (17,0) opt[125][0] = 1
132.69/37.16	c (17,0) opt[125][1] = 0
132.69/37.16	c (17,0) opt[125][2] = 0
132.69/37.16	c (17,0) opt[125][3] = 1
132.69/37.16	c (17,0) opt[125][4] = 1
132.69/37.16	c (17,0) opt[126][0] = 0
132.69/37.16	c (17,0) opt[126][1] = 0
132.69/37.16	c (17,0) opt[126][2] = 1
132.69/37.16	c (17,0) opt[126][3] = 0
132.69/37.16	c (17,0) opt[126][4] = 0
132.69/37.16	c (17,0) opt[127][0] = 0
132.69/37.16	c (17,0) opt[127][1] = 1
132.69/37.16	c (17,0) opt[127][2] = 0
132.69/37.16	c (17,0) opt[127][3] = 0
132.69/37.16	c (17,0) opt[127][4] = 0
132.69/37.16	c (17,0) opt[128][0] = 0
132.69/37.16	c (17,0) opt[128][1] = 1
132.69/37.16	c (17,0) opt[128][2] = 0
132.69/37.16	c (17,0) opt[128][3] = 0
132.69/37.16	c (17,0) opt[128][4] = 0
132.69/37.16	c (17,0) opt[129][0] = 1
132.69/37.16	c (17,0) opt[129][1] = 0
132.69/37.16	c (17,0) opt[129][2] = 0
132.69/37.16	c (17,0) opt[129][3] = 1
132.69/37.16	c (17,0) opt[129][4] = 0
132.69/37.16	c (17,0) opt[130][0] = 0
132.69/37.16	c (17,0) opt[130][1] = 1
132.69/37.16	c (17,0) opt[130][2] = 0
132.69/37.16	c (17,0) opt[130][3] = 0
132.69/37.16	c (17,0) opt[130][4] = 0
132.69/37.16	c (17,0) opt[131][0] = 0
132.69/37.16	c (17,0) opt[131][1] = 1
132.69/37.16	c (17,0) opt[131][2] = 1
132.69/37.16	c (17,0) opt[131][3] = 1
132.69/37.16	c (17,0) opt[131][4] = 0
132.69/37.16	c (17,0) opt[132][0] = 0
132.69/37.16	c (17,0) opt[132][1] = 0
132.69/37.16	c (17,0) opt[132][2] = 0
132.69/37.16	c (17,0) opt[132][3] = 0
132.69/37.16	c (17,0) opt[132][4] = 1
132.69/37.16	c (17,0) opt[133][0] = 0
132.69/37.16	c (17,0) opt[133][1] = 1
132.69/37.16	c (17,0) opt[133][2] = 0
132.69/37.16	c (17,0) opt[133][3] = 0
132.69/37.16	c (17,0) opt[133][4] = 0
132.69/37.16	c (17,0) opt[134][0] = 0
132.69/37.16	c (17,0) opt[134][1] = 1
132.69/37.16	c (17,0) opt[134][2] = 0
132.69/37.16	c (17,0) opt[134][3] = 0
132.69/37.16	c (17,0) opt[134][4] = 0
132.69/37.16	c (17,0) opt[135][0] = 1
132.69/37.16	c (17,0) opt[135][1] = 0
132.69/37.16	c (17,0) opt[135][2] = 0
132.69/37.16	c (17,0) opt[135][3] = 1
132.69/37.16	c (17,0) opt[135][4] = 0
132.69/37.16	c (17,0) opt[136][0] = 0
132.69/37.16	c (17,0) opt[136][1] = 0
132.69/37.16	c (17,0) opt[136][2] = 1
132.69/37.16	c (17,0) opt[136][3] = 0
132.69/37.16	c (17,0) opt[136][4] = 0
132.69/37.16	c (17,0) opt[137][0] = 1
132.69/37.16	c (17,0) opt[137][1] = 1
132.69/37.16	c (17,0) opt[137][2] = 0
132.69/37.16	c (17,0) opt[137][3] = 0
132.69/37.16	c (17,0) opt[137][4] = 1
132.69/37.16	c (17,0) opt[138][0] = 0
132.69/37.16	c (17,0) opt[138][1] = 1
132.69/37.16	c (17,0) opt[138][2] = 0
132.69/37.16	c (17,0) opt[138][3] = 0
132.69/37.16	c (17,0) opt[138][4] = 0
132.69/37.16	c (17,0) opt[139][0] = 0
132.69/37.16	c (17,0) opt[139][1] = 0
132.69/37.16	c (17,0) opt[139][2] = 0
132.69/37.16	c (17,0) opt[139][3] = 1
132.69/37.16	c (17,0) opt[139][4] = 0
132.69/37.16	c (17,0) opt[140][0] = 0
132.69/37.16	c (17,0) opt[140][1] = 1
132.69/37.16	c (17,0) opt[140][2] = 0
132.69/37.16	c (17,0) opt[140][3] = 0
132.69/37.16	c (17,0) opt[140][4] = 0
132.69/37.16	c (17,0) opt[141][0] = 0
132.69/37.16	c (17,0) opt[141][1] = 0
132.69/37.16	c (17,0) opt[141][2] = 0
132.69/37.16	c (17,0) opt[141][3] = 1
132.69/37.16	c (17,0) opt[141][4] = 0
132.69/37.16	c (17,0) opt[142][0] = 1
132.69/37.16	c (17,0) opt[142][1] = 0
132.69/37.16	c (17,0) opt[142][2] = 1
132.69/37.16	c (17,0) opt[142][3] = 0
132.69/37.16	c (17,0) opt[142][4] = 1
132.69/37.16	c (17,0) opt[143][0] = 0
132.69/37.16	c (17,0) opt[143][1] = 1
132.69/37.16	c (17,0) opt[143][2] = 0
132.69/37.16	c (17,0) opt[143][3] = 0
132.69/37.16	c (17,0) opt[143][4] = 0
132.69/37.16	c (17,0) opt[144][0] = 0
132.69/37.16	c (17,0) opt[144][1] = 1
132.69/37.16	c (17,0) opt[144][2] = 0
132.69/37.16	c (17,0) opt[144][3] = 1
132.69/37.16	c (17,0) opt[144][4] = 0
132.69/37.16	c (17,0) opt[145][0] = 1
132.69/37.16	c (17,0) opt[145][1] = 0
132.69/37.16	c (17,0) opt[145][2] = 0
132.69/37.16	c (17,0) opt[145][3] = 0
132.69/37.16	c (17,0) opt[145][4] = 0
132.69/37.16	c (17,0) opt[146][0] = 0
132.69/37.16	c (17,0) opt[146][1] = 0
132.69/37.16	c (17,0) opt[146][2] = 1
132.69/37.16	c (17,0) opt[146][3] = 0
132.69/37.16	c (17,0) opt[146][4] = 0
132.69/37.16	c (17,0) opt[147][0] = 1
132.69/37.16	c (17,0) opt[147][1] = 1
132.69/37.16	c (17,0) opt[147][2] = 0
132.69/37.16	c (17,0) opt[147][3] = 1
132.69/37.16	c (17,0) opt[147][4] = 0
132.69/37.16	c (17,0) opt[148][0] = 0
132.69/37.16	c (17,0) opt[148][1] = 1
132.69/37.16	c (17,0) opt[148][2] = 0
132.69/37.16	c (17,0) opt[148][3] = 0
132.69/37.16	c (17,0) opt[148][4] = 0
132.69/37.16	c (17,0) opt[149][0] = 1
132.69/37.16	c (17,0) opt[149][1] = 0
132.69/37.16	c (17,0) opt[149][2] = 0
132.69/37.16	c (17,0) opt[149][3] = 1
132.69/37.16	c (17,0) opt[149][4] = 0
132.69/37.16	c (17,0) opt[150][0] = 0
132.69/37.16	c (17,0) opt[150][1] = 1
132.69/37.16	c (17,0) opt[150][2] = 0
132.69/37.16	c (17,0) opt[150][3] = 0
132.69/37.16	c (17,0) opt[150][4] = 0
132.69/37.16	c (17,0) opt[151][0] = 1
132.69/37.16	c (17,0) opt[151][1] = 1
132.69/37.16	c (17,0) opt[151][2] = 1
132.69/37.16	c (17,0) opt[151][3] = 0
132.69/37.16	c (17,0) opt[151][4] = 0
132.69/37.16	c (17,0) opt[152][0] = 0
132.69/37.16	c (17,0) opt[152][1] = 0
132.69/37.16	c (17,0) opt[152][2] = 0
132.69/37.16	c (17,0) opt[152][3] = 1
132.69/37.16	c (17,0) opt[152][4] = 0
132.69/37.16	c (17,0) opt[153][0] = 1
132.69/37.16	c (17,0) opt[153][1] = 1
132.69/37.16	c (17,0) opt[153][2] = 0
132.69/37.16	c (17,0) opt[153][3] = 0
132.69/37.16	c (17,0) opt[153][4] = 0
132.69/37.16	c (17,0) opt[154][0] = 0
132.69/37.16	c (17,0) opt[154][1] = 0
132.69/37.16	c (17,0) opt[154][2] = 1
132.69/37.16	c (17,0) opt[154][3] = 0
132.69/37.16	c (17,0) opt[154][4] = 0
132.69/37.16	c (17,0) opt[155][0] = 1
132.69/37.16	c (17,0) opt[155][1] = 1
132.69/37.16	c (17,0) opt[155][2] = 0
132.69/37.16	c (17,0) opt[155][3] = 0
132.69/37.16	c (17,0) opt[155][4] = 0
132.69/37.16	c (17,0) opt[156][0] = 0
132.69/37.16	c (17,0) opt[156][1] = 1
132.69/37.16	c (17,0) opt[156][2] = 0
132.69/37.16	c (17,0) opt[156][3] = 0
132.69/37.16	c (17,0) opt[156][4] = 0
132.69/37.16	c (17,0) opt[157][0] = 1
132.69/37.16	c (17,0) opt[157][1] = 0
132.69/37.16	c (17,0) opt[157][2] = 1
132.69/37.16	c (17,0) opt[157][3] = 1
132.69/37.16	c (17,0) opt[157][4] = 1
132.69/37.16	c (17,0) opt[158][0] = 0
132.69/37.16	c (17,0) opt[158][1] = 1
132.69/37.16	c (17,0) opt[158][2] = 0
132.69/37.16	c (17,0) opt[158][3] = 0
132.69/37.16	c (17,0) opt[158][4] = 0
132.69/37.16	c (17,0) opt[159][0] = 1
132.69/37.16	c (17,0) opt[159][1] = 0
132.69/37.16	c (17,0) opt[159][2] = 0
132.69/37.16	c (17,0) opt[159][3] = 0
132.69/37.16	c (17,0) opt[159][4] = 0
132.69/37.16	c (17,0) opt[160][0] = 0
132.69/37.16	c (17,0) opt[160][1] = 1
132.69/37.16	c (17,0) opt[160][2] = 0
132.69/37.16	c (17,0) opt[160][3] = 1
132.69/37.16	c (17,0) opt[160][4] = 0
132.69/37.16	c (17,0) opt[161][0] = 0
132.69/37.16	c (17,0) opt[161][1] = 0
132.69/37.16	c (17,0) opt[161][2] = 1
132.69/37.16	c (17,0) opt[161][3] = 0
132.69/37.16	c (17,0) opt[161][4] = 0
132.69/37.16	c (17,0) opt[162][0] = 0
132.69/37.16	c (17,0) opt[162][1] = 0
132.69/37.16	c (17,0) opt[162][2] = 0
132.69/37.16	c (17,0) opt[162][3] = 1
132.69/37.16	c (17,0) opt[162][4] = 0
132.69/37.16	c (17,0) opt[163][0] = 0
132.69/37.16	c (17,0) opt[163][1] = 1
132.69/37.16	c (17,0) opt[163][2] = 0
132.69/37.16	c (17,0) opt[163][3] = 0
132.69/37.16	c (17,0) opt[163][4] = 0
132.69/37.16	c (17,0) opt[164][0] = 0
132.69/37.16	c (17,0) opt[164][1] = 0
132.69/37.16	c (17,0) opt[164][2] = 1
132.69/37.16	c (17,0) opt[164][3] = 0
132.69/37.16	c (17,0) opt[164][4] = 0
132.69/37.16	c (17,0) opt[165][0] = 1
132.69/37.16	c (17,0) opt[165][1] = 0
132.69/37.16	c (17,0) opt[165][2] = 0
132.69/37.16	c (17,0) opt[165][3] = 1
132.69/37.16	c (17,0) opt[165][4] = 1
132.69/37.16	c (17,0) opt[166][0] = 0
132.69/37.16	c (17,0) opt[166][1] = 1
132.69/37.16	c (17,0) opt[166][2] = 0
132.69/37.16	c (17,0) opt[166][3] = 0
132.69/37.16	c (17,0) opt[166][4] = 0
132.69/37.16	c (17,0) opt[167][0] = 0
132.69/37.16	c (17,0) opt[167][1] = 0
132.69/37.16	c (17,0) opt[167][2] = 1
132.69/37.16	c (17,0) opt[167][3] = 0
132.69/37.16	c (17,0) opt[167][4] = 0
132.69/37.16	c (17,0) opt[168][0] = 0
132.69/37.16	c (17,0) opt[168][1] = 1
132.69/37.16	c (17,0) opt[168][2] = 0
132.69/37.16	c (17,0) opt[168][3] = 1
132.69/37.16	c (17,0) opt[168][4] = 0
132.69/37.16	c (17,0) opt[169][0] = 1
132.69/37.16	c (17,0) opt[169][1] = 1
132.69/37.16	c (17,0) opt[169][2] = 0
132.69/37.16	c (17,0) opt[169][3] = 0
132.69/37.16	c (17,0) opt[169][4] = 0
132.69/37.16	c (17,0) opt[170][0] = 0
132.69/37.16	c (17,0) opt[170][1] = 0
132.69/37.16	c (17,0) opt[170][2] = 0
132.69/37.16	c (17,0) opt[170][3] = 1
132.69/37.16	c (17,0) opt[170][4] = 0
132.69/37.16	c (17,0) opt[171][0] = 1
132.69/37.16	c (17,0) opt[171][1] = 0
132.69/37.16	c (17,0) opt[171][2] = 1
132.69/37.16	c (17,0) opt[171][3] = 0
132.69/37.16	c (17,0) opt[171][4] = 0
132.69/37.16	c (17,0) opt[172][0] = 0
132.69/37.16	c (17,0) opt[172][1] = 1
132.69/37.16	c (17,0) opt[172][2] = 0
132.69/37.16	c (17,0) opt[172][3] = 0
132.69/37.16	c (17,0) opt[172][4] = 0
132.69/37.16	c (17,0) opt[173][0] = 1
132.69/37.16	c (17,0) opt[173][1] = 0
132.69/37.16	c (17,0) opt[173][2] = 0
132.69/37.16	c (17,0) opt[173][3] = 1
132.69/37.16	c (17,0) opt[173][4] = 0
132.69/37.16	c (17,0) opt[174][0] = 0
132.69/37.16	c (17,0) opt[174][1] = 1
132.69/37.16	c (17,0) opt[174][2] = 0
132.69/37.16	c (17,0) opt[174][3] = 0
132.69/37.16	c (17,0) opt[174][4] = 0
132.69/37.16	c (17,0) opt[175][0] = 0
132.69/37.16	c (17,0) opt[175][1] = 1
132.69/37.16	c (17,0) opt[175][2] = 0
132.69/37.16	c (17,0) opt[175][3] = 0
132.69/37.16	c (17,0) opt[175][4] = 0
132.69/37.16	c (17,0) opt[176][0] = 1
132.69/37.16	c (17,0) opt[176][1] = 0
132.69/37.16	c (17,0) opt[176][2] = 0
132.69/37.16	c (17,0) opt[176][3] = 1
132.69/37.16	c (17,0) opt[176][4] = 1
132.69/37.16	c (17,0) opt[177][0] = 0
132.69/37.16	c (17,0) opt[177][1] = 0
132.69/37.16	c (17,0) opt[177][2] = 1
132.69/37.16	c (17,0) opt[177][3] = 0
132.69/37.16	c (17,0) opt[177][4] = 0
132.69/37.16	c (17,0) opt[178][0] = 0
132.69/37.16	c (17,0) opt[178][1] = 1
132.69/37.16	c (17,0) opt[178][2] = 0
132.69/37.16	c (17,0) opt[178][3] = 1
132.69/37.16	c (17,0) opt[178][4] = 0
132.69/37.16	c (17,0) opt[179][0] = 1
132.69/37.16	c (17,0) opt[179][1] = 1
132.69/37.16	c (17,0) opt[179][2] = 0
132.69/37.16	c (17,0) opt[179][3] = 0
132.69/37.16	c (17,0) opt[179][4] = 0
132.69/37.16	c (17,0) opt[180][0] = 0
132.69/37.16	c (17,0) opt[180][1] = 0
132.69/37.16	c (17,0) opt[180][2] = 1
132.69/37.16	c (17,0) opt[180][3] = 0
132.69/37.16	c (17,0) opt[180][4] = 0
132.69/37.16	c (17,0) opt[181][0] = 1
132.69/37.16	c (17,0) opt[181][1] = 1
132.69/37.16	c (17,0) opt[181][2] = 0
132.69/37.16	c (17,0) opt[181][3] = 0
132.69/37.16	c (17,0) opt[181][4] = 0
132.69/37.16	c (17,0) opt[182][0] = 0
132.69/37.16	c (17,0) opt[182][1] = 1
132.69/37.16	c (17,0) opt[182][2] = 0
132.69/37.16	c (17,0) opt[182][3] = 1
132.69/37.16	c (17,0) opt[182][4] = 0
132.69/37.16	c (17,0) opt[183][0] = 1
132.69/37.16	c (17,0) opt[183][1] = 0
132.69/37.16	c (17,0) opt[183][2] = 0
132.69/37.16	c (17,0) opt[183][3] = 1
132.69/37.16	c (17,0) opt[183][4] = 1
132.69/37.16	c (17,0) opt[184][0] = 0
132.69/37.16	c (17,0) opt[184][1] = 0
132.69/37.16	c (17,0) opt[184][2] = 1
132.69/37.16	c (17,0) opt[184][3] = 0
132.69/37.16	c (17,0) opt[184][4] = 0
132.69/37.16	c (17,0) opt[185][0] = 0
132.69/37.16	c (17,0) opt[185][1] = 1
132.69/37.16	c (17,0) opt[185][2] = 0
132.69/37.16	c (17,0) opt[185][3] = 0
132.69/37.16	c (17,0) opt[185][4] = 0
132.69/37.16	c (17,0) opt[186][0] = 1
132.69/37.16	c (17,0) opt[186][1] = 1
132.69/37.16	c (17,0) opt[186][2] = 0
132.69/37.16	c (17,0) opt[186][3] = 0
132.69/37.16	c (17,0) opt[186][4] = 0
132.69/37.16	c (17,0) opt[187][0] = 0
132.69/37.16	c (17,0) opt[187][1] = 0
132.69/37.16	c (17,0) opt[187][2] = 1
132.69/37.16	c (17,0) opt[187][3] = 0
132.69/37.16	c (17,0) opt[187][4] = 0
132.69/37.16	c (17,0) opt[188][0] = 0
132.69/37.16	c (17,0) opt[188][1] = 1
132.69/37.16	c (17,0) opt[188][2] = 0
132.69/37.16	c (17,0) opt[188][3] = 0
132.69/37.16	c (17,0) opt[188][4] = 0
132.69/37.16	c (17,0) opt[189][0] = 1
132.69/37.16	c (17,0) opt[189][1] = 1
132.69/37.16	c (17,0) opt[189][2] = 0
132.69/37.16	c (17,0) opt[189][3] = 1
132.69/37.16	c (17,0) opt[189][4] = 0
132.69/37.16	c (17,0) opt[190][0] = 0
132.69/37.16	c (17,0) opt[190][1] = 0
132.69/37.16	c (17,0) opt[190][2] = 1
132.69/37.16	c (17,0) opt[190][3] = 1
132.69/37.16	c (17,0) opt[190][4] = 0
132.69/37.16	c (17,0) opt[191][0] = 1
132.69/37.16	c (17,0) opt[191][1] = 0
132.69/37.16	c (17,0) opt[191][2] = 0
132.69/37.16	c (17,0) opt[191][3] = 0
132.69/37.16	c (17,0) opt[191][4] = 1
132.69/37.16	c (17,0) opt[192][0] = 0
132.69/37.16	c (17,0) opt[192][1] = 1
132.69/37.16	c (17,0) opt[192][2] = 0
132.69/37.16	c (17,0) opt[192][3] = 0
132.69/37.16	c (17,0) opt[192][4] = 0
132.69/37.16	c (17,0) opt[193][0] = 1
132.69/37.16	c (17,0) opt[193][1] = 0
132.69/37.16	c (17,0) opt[193][2] = 1
132.69/37.16	c (17,0) opt[193][3] = 0
132.69/37.16	c (17,0) opt[193][4] = 0
132.69/37.16	c (17,0) opt[194][0] = 0
132.69/37.16	c (17,0) opt[194][1] = 1
132.69/37.16	c (17,0) opt[194][2] = 0
132.69/37.16	c (17,0) opt[194][3] = 0
132.69/37.16	c (17,0) opt[194][4] = 0
132.69/37.16	c (17,0) opt[195][0] = 0
132.69/37.16	c (17,0) opt[195][1] = 0
132.69/37.16	c (17,0) opt[195][2] = 0
132.69/37.16	c (17,0) opt[195][3] = 1
132.69/37.16	c (17,0) opt[195][4] = 0
132.69/37.16	c (17,0) opt[196][0] = 0
132.69/37.16	c (17,0) opt[196][1] = 0
132.69/37.16	c (17,0) opt[196][2] = 1
132.69/37.16	c (17,0) opt[196][3] = 0
132.69/37.16	c (17,0) opt[196][4] = 1
132.69/37.16	c (17,0) opt[197][0] = 0
132.69/37.16	c (17,0) opt[197][1] = 0
132.69/37.16	c (17,0) opt[197][2] = 0
132.69/37.16	c (17,0) opt[197][3] = 1
132.69/37.16	c (17,0) opt[197][4] = 0
132.69/37.16	c (17,0) opt[198][0] = 1
132.69/37.16	c (17,0) opt[198][1] = 0
132.69/37.16	c (17,0) opt[198][2] = 0
132.69/37.16	c (17,0) opt[198][3] = 0
132.69/37.16	c (17,0) opt[198][4] = 0
132.69/37.16	c (17,0) opt[199][0] = 0
132.69/37.16	c (17,0) opt[199][1] = 0
132.69/37.16	c (17,0) opt[199][2] = 1
132.69/37.16	c (17,0) opt[199][3] = 0
132.69/37.16	c (17,0) opt[199][4] = 0
132.69/37.16	s SATISFIABLE
132.69/37.17	v <instantiation>
132.69/37.17	v     <list>cls[0] cls[1] cls[2] cls[3] cls[4] cls[5] cls[6] cls[7] cls[8] cls[9] cls[10] cls[11] cls[12] cls[13] cls[14] cls[15] cls[16] cls[17] cls[18] cls[19] cls[20] cls[21] cls[22] cls[23] cls[24] cls[25] cls[26] cls[27] cls[28] cls[29] cls[30] cls[31] cls[32] cls[33] cls[34] cls[35] cls[36] cls[37] cls[38] cls[39] cls[40] cls[41] cls[42] cls[43] cls[44] cls[45] cls[46] cls[47] cls[48] cls[49] cls[50] cls[51] cls[52] cls[53] cls[54] cls[55] cls[56] cls[57] cls[58] cls[59] cls[60] cls[61] cls[62] cls[63] cls[64] cls[65] cls[66] cls[67] cls[68] cls[69] cls[70] cls[71] cls[72] cls[73] cls[74] cls[75] cls[76] cls[77] cls[78] cls[79] cls[80] cls[81] cls[82] cls[83] cls[84] cls[85] cls[86] cls[87] cls[88] cls[89] cls[90] cls[91] cls[92] cls[93] cls[94] cls[95] cls[96] cls[97] cls[98] cls[99] cls[100] cls[101] cls[102] cls[103] cls[104] cls[105] cls[106] cls[107] cls[108] cls[109] cls[110] cls[111] cls[112] cls[113] cls[114] cls[115] cls[116] cls[117] cls[118] cls[119] cls[120] cls[121] cls[122] cls[123] cls[124] cls[125] cls[126] cls[127] cls[128] cls[129] cls[130] cls[131] cls[132] cls[133] cls[134] cls[135] cls[136] cls[137] cls[138] cls[139] cls[140] cls[141] cls[142] cls[143] cls[144] cls[145] cls[146] cls[147] cls[148] cls[149] cls[150] cls[151] cls[152] cls[153] cls[154] cls[155] cls[156] cls[157] cls[158] cls[159] cls[160] cls[161] cls[162] cls[163] cls[164] cls[165] cls[166] cls[167] cls[168] cls[169] cls[170] cls[171] cls[172] cls[173] cls[174] cls[175] cls[176] cls[177] cls[178] cls[179] cls[180] cls[181] cls[182] cls[183] cls[184] cls[185] cls[186] cls[187] cls[188] cls[189] cls[190] cls[191] cls[192] cls[193] cls[194] cls[195] cls[196] cls[197] cls[198] cls[199] opt[0][0] opt[0][1] opt[0][2] opt[0][3] opt[0][4] opt[1][0] opt[1][1] opt[1][2] opt[1][3] opt[1][4] opt[2][0] opt[2][1] opt[2][2] opt[2][3] opt[2][4] opt[3][0] opt[3][1] opt[3][2] opt[3][3] opt[3][4] opt[4][0] opt[4][1] opt[4][2] opt[4][3] opt[4][4] opt[5][0] opt[5][1] opt[5][2] opt[5][3] opt[5][4] opt[6][0] opt[6][1] opt[6][2] opt[6][3] opt[6][4] opt[7][0] opt[7][1] opt[7][2] opt[7][3] opt[7][4] opt[8][0] opt[8][1] opt[8][2] opt[8][3] opt[8][4] opt[9][0] opt[9][1] opt[9][2] opt[9][3] opt[9][4] opt[10][0] opt[10][1] opt[10][2] opt[10][3] opt[10][4] opt[11][0] opt[11][1] opt[11][2] opt[11][3] opt[11][4] opt[12][0] opt[12][1] opt[12][2] opt[12][3] opt[12][4] opt[13][0] opt[13][1] opt[13][2] opt[13][3] opt[13][4] opt[14][0] opt[14][1] opt[14][2] opt[14][3] opt[14][4] opt[15][0] opt[15][1] opt[15][2] opt[15][3] opt[15][4] opt[16][0] opt[16][1] opt[16][2] opt[16][3] opt[16][4] opt[17][0] opt[17][1] opt[17][2] opt[17][3] opt[17][4] opt[18][0] opt[18][1] opt[18][2] opt[18][3] opt[18][4] opt[19][0] opt[19][1] opt[19][2] opt[19][3] opt[19][4] opt[20][0] opt[20][1] opt[20][2] opt[20][3] opt[20][4] opt[21][0] opt[21][1] opt[21][2] opt[21][3] opt[21][4] opt[22][0] opt[22][1] opt[22][2] opt[22][3] opt[22][4] opt[23][0] opt[23][1] opt[23][2] opt[23][3] opt[23][4] opt[24][0] opt[24][1] opt[24][2] opt[24][3] opt[24][4] opt[25][0] opt[25][1] opt[25][2] opt[25][3] opt[25][4] opt[26][0] opt[26][1] opt[26][2] opt[26][3] opt[26][4] opt[27][0] opt[27][1] opt[27][2] opt[27][3] opt[27][4] opt[28][0] opt[28][1] opt[28][2] opt[28][3] opt[28][4] opt[29][0] opt[29][1] opt[29][2] opt[29][3] opt[29][4] opt[30][0] opt[30][1] opt[30][2] opt[30][3] opt[30][4] opt[31][0] opt[31][1] opt[31][2] opt[31][3] opt[31][4] opt[32][0] opt[32][1] opt[32][2] opt[32][3] opt[32][4] opt[33][0] opt[33][1] opt[33][2] opt[33][3] opt[33][4] opt[34][0] opt[34][1] opt[34][2] opt[34][3] opt[34][4] opt[35][0] opt[35][1] opt[35][2] opt[35][3] opt[35][4] opt[36][0] opt[36][1] opt[36][2] opt[36][3] opt[36][4] opt[37][0] opt[37][1] opt[37][2] opt[37][3] opt[37][4] opt[38][0] opt[38][1] opt[38][2] opt[38][3] opt[38][4] opt[39][0] opt[39][1] opt[39][2] opt[39][3] opt[39][4] opt[40][0] opt[40][1] opt[40][2] opt[40][3] opt[40][4] opt[41][0] opt[41][1] opt[41][2] opt[41][3] opt[41][4] opt[42][0] opt[42][1] opt[42][2] opt[42][3] opt[42][4] opt[43][0] opt[43][1] opt[43][2] opt[43][3] opt[43][4] opt[44][0] opt[44][1] opt[44][2] opt[44][3] opt[44][4] opt[45][0] opt[45][1] opt[45][2] opt[45][3] opt[45][4] opt[46][0] opt[46][1] opt[46][2] opt[46][3] opt[46][4] opt[47][0] opt[47][1] opt[47][2] opt[47][3] opt[47][4] opt[48][0] opt[48][1] opt[48][2] opt[48][3] opt[48][4] opt[49][0] opt[49][1] opt[49][2] opt[49][3] opt[49][4] opt[50][0] opt[50][1] opt[50][2] opt[50][3] opt[50][4] opt[51][0] opt[51][1] opt[51][2] opt[51][3] opt[51][4] opt[52][0] opt[52][1] opt[52][2] opt[52][3] opt[52][4] opt[53][0] opt[53][1] opt[53][2] opt[53][3] opt[53][4] opt[54][0] opt[54][1] opt[54][2] opt[54][3] opt[54][4] opt[55][0] opt[55][1] opt[55][2] opt[55][3] opt[55][4] opt[56][0] opt[56][1] opt[56][2] opt[56][3] opt[56][4] opt[57][0] opt[57][1] opt[57][2] opt[57][3] opt[57][4] opt[58][0] opt[58][1] opt[58][2] opt[58][3] opt[58][4] opt[59][0] opt[59][1] opt[59][2] opt[59][3] opt[59][4] opt[60][0] opt[60][1] opt[60][2] opt[60][3] opt[60][4] opt[61][0] opt[61][1] opt[61][2] opt[61][3] opt[61][4] opt[62][0] opt[62][1] opt[62][2] opt[62][3] opt[62][4] opt[63][0] opt[63][1] opt[63][2] opt[63][3] opt[63][4] opt[64][0] opt[64][1] opt[64][2] opt[64][3] opt[64][4] opt[65][0] opt[65][1] opt[65][2] opt[65][3] opt[65][4] opt[66][0] opt[66][1] opt[66][2] opt[66][3] opt[66][4] opt[67][0] opt[67][1] opt[67][2] opt[67][3] opt[67][4] opt[68][0] opt[68][1] opt[68][2] opt[68][3] opt[68][4] opt[69][0] opt[69][1] opt[69][2] opt[69][3] opt[69][4] opt[70][0] opt[70][1] opt[70][2] opt[70][3] opt[70][4] opt[71][0] opt[71][1] opt[71][2] opt[71][3] opt[71][4] opt[72][0] opt[72][1] opt[72][2] opt[72][3] opt[72][4] opt[73][0] opt[73][1] opt[73][2] opt[73][3] opt[73][4] opt[74][0] opt[74][1] opt[74][2] opt[74][3] opt[74][4] opt[75][0] opt[75][1] opt[75][2] opt[75][3] opt[75][4] opt[76][0] opt[76][1] opt[76][2] opt[76][3] opt[76][4] opt[77][0] opt[77][1] opt[77][2] opt[77][3] opt[77][4] opt[78][0] opt[78][1] opt[78][2] opt[78][3] opt[78][4] opt[79][0] opt[79][1] opt[79][2] opt[79][3] opt[79][4] opt[80][0] opt[80][1] opt[80][2] opt[80][3] opt[80][4] opt[81][0] opt[81][1] opt[81][2] opt[81][3] opt[81][4] opt[82][0] opt[82][1] opt[82][2] opt[82][3] opt[82][4] opt[83][0] opt[83][1] opt[83][2] opt[83][3] opt[83][4] opt[84][0] opt[84][1] opt[84][2] opt[84][3] opt[84][4] opt[85][0] opt[85][1] opt[85][2] opt[85][3] opt[85][4] opt[86][0] opt[86][1] opt[86][2] opt[86][3] opt[86][4] opt[87][0] opt[87][1] opt[87][2] opt[87][3] opt[87][4] opt[88][0] opt[88][1] opt[88][2] opt[88][3] opt[88][4] opt[89][0] opt[89][1] opt[89][2] opt[89][3] opt[89][4] opt[90][0] opt[90][1] opt[90][2] opt[90][3] opt[90][4] opt[91][0] opt[91][1] opt[91][2] opt[91][3] opt[91][4] opt[92][0] opt[92][1] opt[92][2] opt[92][3] opt[92][4] opt[93][0] opt[93][1] opt[93][2] opt[93][3] opt[93][4] opt[94][0] opt[94][1] opt[94][2] opt[94][3] opt[94][4] opt[95][0] opt[95][1] opt[95][2] opt[95][3] opt[95][4] opt[96][0] opt[96][1] opt[96][2] opt[96][3] opt[96][4] opt[97][0] opt[97][1] opt[97][2] opt[97][3] opt[97][4] opt[98][0] opt[98][1] opt[98][2] opt[98][3] opt[98][4] opt[99][0] opt[99][1] opt[99][2] opt[99][3] opt[99][4] opt[100][0] opt[100][1] opt[100][2] opt[100][3] opt[100][4] opt[101][0] opt[101][1] opt[101][2] opt[101][3] opt[101][4] opt[102][0] opt[102][1] opt[102][2] opt[102][3] opt[102][4] opt[103][0] opt[103][1] opt[103][2] opt[103][3] opt[103][4] opt[104][0] opt[104][1] opt[104][2] opt[104][3] opt[104][4] opt[105][0] opt[105][1] opt[105][2] opt[105][3] opt[105][4] opt[106][0] opt[106][1] opt[106][2] opt[106][3] opt[106][4] opt[107][0] opt[107][1] opt[107][2] opt[107][3] opt[107][4] opt[108][0] opt[108][1] opt[108][2] opt[108][3] opt[108][4] opt[109][0] opt[109][1] opt[109][2] opt[109][3] opt[109][4] opt[110][0] opt[110][1] opt[110][2] opt[110][3] opt[110][4] opt[111][0] opt[111][1] opt[111][2] opt[111][3] opt[111][4] opt[112][0] opt[112][1] opt[112][2] opt[112][3] opt[112][4] opt[113][0] opt[113][1] opt[113][2] opt[113][3] opt[113][4] opt[114][0] opt[114][1] opt[114][2] opt[114][3] opt[114][4] opt[115][0] opt[115][1] opt[115][2] opt[115][3] opt[115][4] opt[116][0] opt[116][1] opt[116][2] opt[116][3] opt[116][4] opt[117][0] opt[117][1] opt[117][2] opt[117][3] opt[117][4] opt[118][0] opt[118][1] opt[118][2] opt[118][3] opt[118][4] opt[119][0] opt[119][1] opt[119][2] opt[119][3] opt[119][4] opt[120][0] opt[120][1] opt[120][2] opt[120][3] opt[120][4] opt[121][0] opt[121][1] opt[121][2] opt[121][3] opt[121][4] opt[122][0] opt[122][1] opt[122][2] opt[122][3] opt[122][4] opt[123][0] opt[123][1] opt[123][2] opt[123][3] opt[123][4] opt[124][0] opt[124][1] opt[124][2] opt[124][3] opt[124][4] opt[125][0] opt[125][1] opt[125][2] opt[125][3] opt[125][4] opt[126][0] opt[126][1] opt[126][2] opt[126][3] opt[126][4] opt[127][0] opt[127][1] opt[127][2] opt[127][3] opt[127][4] opt[128][0] opt[128][1] opt[128][2] opt[128][3] opt[128][4] opt[129][0] opt[129][1] opt[129][2] opt[129][3] opt[129][4] opt[130][0] opt[130][1] opt[130][2] opt[130][3] opt[130][4] opt[131][0] opt[131][1] opt[131][2] opt[131][3] opt[131][4] opt[132][0] opt[132][1] opt[132][2] opt[132][3] opt[132][4] opt[133][0] opt[133][1] opt[133][2] opt[133][3] opt[133][4] opt[134][0] opt[134][1] opt[134][2] opt[134][3] opt[134][4] opt[135][0] opt[135][1] opt[135][2] opt[135][3] opt[135][4] opt[136][0] opt[136][1] opt[136][2] opt[136][3] opt[136][4] opt[137][0] opt[137][1] opt[137][2] opt[137][3] opt[137][4] opt[138][0] opt[138][1] opt[138][2] opt[138][3] opt[138][4] opt[139][0] opt[139][1] opt[139][2] opt[139][3] opt[139][4] opt[140][0] opt[140][1] opt[140][2] opt[140][3] opt[140][4] opt[141][0] opt[141][1] opt[141][2] opt[141][3] opt[141][4] opt[142][0] opt[142][1] opt[142][2] opt[142][3] opt[142][4] opt[143][0] opt[143][1] opt[143][2] opt[143][3] opt[143][4] opt[144][0] opt[144][1] opt[144][2] opt[144][3] opt[144][4] opt[145][0] opt[145][1] opt[145][2] opt[145][3] opt[145][4] opt[146][0] opt[146][1] opt[146][2] opt[146][3] opt[146][4] opt[147][0] opt[147][1] opt[147][2] opt[147][3] opt[147][4] opt[148][0] opt[148][1] opt[148][2] opt[148][3] opt[148][4] opt[149][0] opt[149][1] opt[149][2] opt[149][3] opt[149][4] opt[150][0] opt[150][1] opt[150][2] opt[150][3] opt[150][4] opt[151][0] opt[151][1] opt[151][2] opt[151][3] opt[151][4] opt[152][0] opt[152][1] opt[152][2] opt[152][3] opt[152][4] opt[153][0] opt[153][1] opt[153][2] opt[153][3] opt[153][4] opt[154][0] opt[154][1] opt[154][2] opt[154][3] opt[154][4] opt[155][0] opt[155][1] opt[155][2] opt[155][3] opt[155][4] opt[156][0] opt[156][1] opt[156][2] opt[156][3] opt[156][4] opt[157][0] opt[157][1] opt[157][2] opt[157][3] opt[157][4] opt[158][0] opt[158][1] opt[158][2] opt[158][3] opt[158][4] opt[159][0] opt[159][1] opt[159][2] opt[159][3] opt[159][4] opt[160][0] opt[160][1] opt[160][2] opt[160][3] opt[160][4] opt[161][0] opt[161][1] opt[161][2] opt[161][3] opt[161][4] opt[162][0] opt[162][1] opt[162][2] opt[162][3] opt[162][4] opt[163][0] opt[163][1] opt[163][2] opt[163][3] opt[163][4] opt[164][0] opt[164][1] opt[164][2] opt[164][3] opt[164][4] opt[165][0] opt[165][1] opt[165][2] opt[165][3] opt[165][4] opt[166][0] opt[166][1] opt[166][2] opt[166][3] opt[166][4] opt[167][0] opt[167][1] opt[167][2] opt[167][3] opt[167][4] opt[168][0] opt[168][1] opt[168][2] opt[168][3] opt[168][4] opt[169][0] opt[169][1] opt[169][2] opt[169][3] opt[169][4] opt[170][0] opt[170][1] opt[170][2] opt[170][3] opt[170][4] opt[171][0] opt[171][1] opt[171][2] opt[171][3] opt[171][4] opt[172][0] opt[172][1] opt[172][2] opt[172][3] opt[172][4] opt[173][0] opt[173][1] opt[173][2] opt[173][3] opt[173][4] opt[174][0] opt[174][1] opt[174][2] opt[174][3] opt[174][4] opt[175][0] opt[175][1] opt[175][2] opt[175][3] opt[175][4] opt[176][0] opt[176][1] opt[176][2] opt[176][3] opt[176][4] opt[177][0] opt[177][1] opt[177][2] opt[177][3] opt[177][4] opt[178][0] opt[178][1] opt[178][2] opt[178][3] opt[178][4] opt[179][0] opt[179][1] opt[179][2] opt[179][3] opt[179][4] opt[180][0] opt[180][1] opt[180][2] opt[180][3] opt[180][4] opt[181][0] opt[181][1] opt[181][2] opt[181][3] opt[181][4] opt[182][0] opt[182][1] opt[182][2] opt[182][3] opt[182][4] opt[183][0] opt[183][1] opt[183][2] opt[183][3] opt[183][4] opt[184][0] opt[184][1] opt[184][2] opt[184][3] opt[184][4] opt[185][0] opt[185][1] opt[185][2] opt[185][3] opt[185][4] opt[186][0] opt[186][1] opt[186][2] opt[186][3] opt[186][4] opt[187][0] opt[187][1] opt[187][2] opt[187][3] opt[187][4] opt[188][0] opt[188][1] opt[188][2] opt[188][3] opt[188][4] opt[189][0] opt[189][1] opt[189][2] opt[189][3] opt[189][4] opt[190][0] opt[190][1] opt[190][2] opt[190][3] opt[190][4] opt[191][0] opt[191][1] opt[191][2] opt[191][3] opt[191][4] opt[192][0] opt[192][1] opt[192][2] opt[192][3] opt[192][4] opt[193][0] opt[193][1] opt[193][2] opt[193][3] opt[193][4] opt[194][0] opt[194][1] opt[194][2] opt[194][3] opt[194][4] opt[195][0] opt[195][1] opt[195][2] opt[195][3] opt[195][4] opt[196][0] opt[196][1] opt[196][2] opt[196][3] opt[196][4] opt[197][0] opt[197][1] opt[197][2] opt[197][3] opt[197][4] opt[198][0] opt[198][1] opt[198][2] opt[198][3] opt[198][4] opt[199][0] opt[199][1] opt[199][2] opt[199][3] opt[199][4]</list>
132.69/37.17	v     <values>13 15 13 5 19 8 26 11 21 19 13 10 22 1 13 16 19 3 17 14 19 13 8 19 11 19 3 16 10 13 15 18 26 22 19 13 0 18 26 16 3 3 13 26 18 12 13 3 22 19 13 19 13 16 23 3 13 26 11 13 3 15 13 3 4 3 13 13 11 8 26 3 24 17 3 13 15 8 18 26 24 10 3 16 26 18 19 3 10 13 18 11 26 8 14 19 18 19 8 11 26 5 15 3 26 13 2 3 13 16 3 17 11 19 8 3 13 16 19 23 13 26 11 10 13 20 11 13 13 10 13 22 18 13 13 10 11 17 13 3 13 3 2 13 8 19 11 7 13 10 13 12 3 26 11 26 13 6 13 19 8 11 3 13 11 20 13 11 8 26 3 15 13 10 13 13 20 11 8 26 11 26 8 20 11 13 26 11 13 7 14 1 13 25 13 3 9 3 19 11 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0</values>
132.69/37.17	v </instantiation>
132.69/37.17	c (17,0) Show results End
132.69/37.17	c (17,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
132.69/37.17	c (17,0) 17,17,STOP-AFTER(ALL)
132.69/37.17	c END-Prog: Tue Sep 24 17:21:39 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 (10983 MiB free)
  memory of node 1: 16384 MiB (12824 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405530-1569338502/watcher-4405530-1569338502 -o /var/tmp/evaluation-result-4405530-1569338502/solver-4405530-1569338502 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --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-4405530-1569338502.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
solver pid=16998, runsolver pid=16995
Current StackSize limit: 8192 KiB


[startup+0.10456 s]*
/proc/loadavg: 7.11 6.92 5.86 3/215 17020
/proc/meminfo: memFree=24284856/32770624 swapFree=67002936/67108860
[pid=16998] ppid=16995 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16998/stat : 16998 (scop.sh) S 16995 16998 16637 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510089712 115843072 348 33554432000 4194304 5098028 140729569013280 140729569010536 140687561884284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7307264 140729569014524 140729569014872 140729569014872 140729569017801 0
/proc/16998/statm: 28282 348 296 221 0 87 0
[pid=17001] ppid=16998 vsize=27314120 memory=107920 CPUtime=0.11 cores=0-7
/proc/17001/stat : 17001 (java) S 16998 16998 16637 0 -1 1077944320 6538 0 0 0 9 2 0 0 20 0 20 0 510089712 27969658880 26915 33554432000 4194304 4196468 140730876985968 140730876968512 139643119083255 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
/proc/17001/statm: 6828530 26915 2799 1 0 6790935 0
[pid=17001/tid=17002] ppid=16998 vsize=27314120 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/17001/task/17002/stat : 17002 (java) R 16998 16998 16637 0 -1 4202560 4621 0 0 0 7 1 0 0 20 0 20 0 510089713 27969658880 26980 33554432000 4194304 4196468 140730876985968 139643090901968 139643103163742 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17003] ppid=16998 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17001/task/17003/stat : 17003 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139643123325968 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17004] ppid=16998 vsize=27314120 memory=139888850970240 CPUtime=0 cores=0-7
/proc/17001/task/17004/stat : 17004 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139642540969104 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17005] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17005/stat : 17005 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139642539916048 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17006] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17006/stat : 17006 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139642538863504 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17007] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17007/stat : 17007 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139642537810448 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17008] ppid=16998 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17001/task/17008/stat : 17008 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139642536757904 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17009] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17009/stat : 17009 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139642535704848 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17010] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17010/stat : 17010 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 26980 33554432000 4194304 4196468 140730876985968 139642534652304 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17011] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17011/stat : 17011 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089716 27969658880 26980 33554432000 4194304 4196468 140730876985968 139641640581872 139643119094402 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17012] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17012/stat : 17012 (java) S 16998 16998 16637 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089717 27969658880 26980 33554432000 4194304 4196468 140730876985968 139640728184480 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17013] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17013/stat : 17013 (java) S 16998 16998 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510089717 27969658880 26980 33554432000 4194304 4196468 140730876985968 139640593962224 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17014] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17014/stat : 17014 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 26980 33554432000 4194304 4196468 140730876985968 139640219458000 139643119101851 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17015] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17015/stat : 17015 (java) S 16998 16998 16637 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 27045 33554432000 4194304 4196468 140730876985968 139641639528688 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17016] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17016/stat : 17016 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 27045 33554432000 4194304 4196468 140730876985968 139641638476144 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17017] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17017/stat : 17017 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 27045 33554432000 4194304 4196468 140730876985968 139641637423088 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17018] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17018/stat : 17018 (java) R 16998 16998 16637 0 -1 4202560 323 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 27045 33554432000 4194304 4196468 140730876985968 139641636365624 139643103330553 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17019] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17019/stat : 17019 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 27045 33554432000 4194304 4196468 140730876985968 139639721552864 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17020] ppid=16998 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17001/task/17020/stat : 17020 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 27045 33554432000 4194304 4196468 140730876985968 139641635318960 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109312 KiB

[startup+0.210591 s]*
/proc/loadavg: 7.11 6.92 5.86 3/215 17020
/proc/meminfo: memFree=24266888/32770624 swapFree=67002936/67108860
[pid=16998] ppid=16995 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16998/stat : 16998 (scop.sh) S 16995 16998 16637 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510089712 115843072 348 33554432000 4194304 5098028 140729569013280 140729569010536 140687561884284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7307264 140729569014524 140729569014872 140729569014872 140729569017801 0
/proc/16998/statm: 28282 348 296 221 0 87 0
[pid=17001] ppid=16998 vsize=27314120 memory=122464 CPUtime=0.24 cores=0-7
/proc/17001/stat : 17001 (java) S 16998 16998 16637 0 -1 1077944320 11500 0 0 0 21 3 0 0 20 0 20 0 510089712 27969658880 30616 33554432000 4194304 4196468 140730876985968 140730876968512 139643119083255 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
/proc/17001/statm: 6828530 30616 2926 1 0 6790935 0
[pid=17001/tid=17002] ppid=16998 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/17001/task/17002/stat : 17002 (java) R 16998 16998 16637 0 -1 4202560 9191 0 0 0 16 3 0 0 20 0 20 0 510089713 27969658880 30616 33554432000 4194304 4196468 140730876985968 139643090904160 139643119097159 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17003] ppid=16998 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/17001/task/17003/stat : 17003 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139643123325968 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17004] ppid=16998 vsize=27314120 memory=139888854779456 CPUtime=0 cores=0-7
/proc/17001/task/17004/stat : 17004 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139642540969104 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17005] ppid=16998 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17001/task/17005/stat : 17005 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139642539916048 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17006] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17006/stat : 17006 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139642538863504 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17007] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17007/stat : 17007 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139642537810448 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17008] ppid=16998 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17001/task/17008/stat : 17008 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139642536757904 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17009] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17009/stat : 17009 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139642535704848 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17010] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17010/stat : 17010 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 30616 33554432000 4194304 4196468 140730876985968 139642534652304 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17011] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17011/stat : 17011 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089716 27969658880 30616 33554432000 4194304 4196468 140730876985968 139641640581872 139643119094402 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17012] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17012/stat : 17012 (java) S 16998 16998 16637 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089717 27969658880 30616 33554432000 4194304 4196468 140730876985968 139640728184480 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17013] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17013/stat : 17013 (java) S 16998 16998 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510089717 27969658880 30616 33554432000 4194304 4196468 140730876985968 139640593962224 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17014] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17014/stat : 17014 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 30616 33554432000 4194304 4196468 140730876985968 139640219458000 139643119101851 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17015] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17015/stat : 17015 (java) S 16998 16998 16637 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 30616 33554432000 4194304 4196468 140730876985968 139641639528688 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17016] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17016/stat : 17016 (java) S 16998 16998 16637 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 30616 33554432000 4194304 4196468 140730876985968 139641638476144 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17017] ppid=16998 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17001/task/17017/stat : 17017 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 30616 33554432000 4194304 4196468 140730876985968 139641637423088 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17018] ppid=16998 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/17001/task/17018/stat : 17018 (java) S 16998 16998 16637 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 510089720 27969658880 30616 33554432000 4194304 4196468 140730876985968 139641636370544 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17019] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17019/stat : 17019 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 30616 33554432000 4194304 4196468 140730876985968 139639721552864 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17020] ppid=16998 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17001/task/17020/stat : 17020 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 30616 33554432000 4194304 4196468 140730876985968 139641635318960 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123856 KiB

[startup+0.310394 s]*
/proc/loadavg: 7.11 6.92 5.86 2/215 17020
/proc/meminfo: memFree=24264708/32770624 swapFree=67002936/67108860
[pid=16998] ppid=16995 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16998/stat : 16998 (scop.sh) S 16995 16998 16637 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510089712 115843072 348 33554432000 4194304 5098028 140729569013280 140729569010536 140687561884284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7307264 140729569014524 140729569014872 140729569014872 140729569017801 0
/proc/16998/statm: 28282 348 296 221 0 87 0
[pid=17001] ppid=16998 vsize=27314120 memory=126144 CPUtime=0.42 cores=0-7
/proc/17001/stat : 17001 (java) S 16998 16998 16637 0 -1 1077944320 11958 0 0 0 38 4 0 0 20 0 20 0 510089712 27969658880 31536 33554432000 4194304 4196468 140730876985968 140730876968512 139643119083255 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
/proc/17001/statm: 6828530 31536 3032 1 0 6790935 0
[pid=17001/tid=17002] ppid=16998 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/17001/task/17002/stat : 17002 (java) R 16998 16998 16637 0 -1 4202560 9462 0 0 0 26 3 0 0 20 0 20 0 510089713 27969658880 31536 33554432000 4194304 4196468 140730876985968 139643090889880 139643099358627 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17003] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17003/stat : 17003 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139643123325968 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17004] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17004/stat : 17004 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139642540969104 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17005] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17005/stat : 17005 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139642539916048 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17006] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17006/stat : 17006 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139642538863504 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17007] ppid=16998 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/17001/task/17007/stat : 17007 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139642537810448 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17008] ppid=16998 vsize=27314120 memory=139888695538607 CPUtime=0 cores=0-7
/proc/17001/task/17008/stat : 17008 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139642536757904 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17009] ppid=16998 vsize=27314120 memory=139888695540912 CPUtime=0 cores=0-7
/proc/17001/task/17009/stat : 17009 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139642535704848 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17010] ppid=16998 vsize=27314120 memory=139888695543216 CPUtime=0 cores=0-7
/proc/17001/task/17010/stat : 17010 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089715 27969658880 31536 33554432000 4194304 4196468 140730876985968 139642534652304 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17011] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17011/stat : 17011 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089716 27969658880 31536 33554432000 4194304 4196468 140730876985968 139641640581872 139643119094402 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17012] ppid=16998 vsize=27314120 memory=279777391093392 CPUtime=0 cores=0-7
/proc/17001/task/17012/stat : 17012 (java) S 16998 16998 16637 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089717 27969658880 31536 33554432000 4194304 4196468 140730876985968 139640728184480 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17013] ppid=16998 vsize=27314120 memory=279777391100304 CPUtime=0 cores=0-7
/proc/17001/task/17013/stat : 17013 (java) S 16998 16998 16637 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510089717 27969658880 31536 33554432000 4194304 4196468 140730876985968 139640593962224 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17014] ppid=16998 vsize=27314120 memory=279777391041584 CPUtime=0 cores=0-7
/proc/17001/task/17014/stat : 17014 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 31536 33554432000 4194304 4196468 140730876985968 139640219458000 139643119101851 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17015] ppid=16998 vsize=27314120 memory=279777391114128 CPUtime=0.01 cores=0-7
/proc/17001/task/17015/stat : 17015 (java) S 16998 16998 16637 0 -1 1077944384 535 0 0 0 1 0 0 0 20 0 20 0 510089720 27969658880 31536 33554432000 4194304 4196468 140730876985968 139641639528688 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17016] ppid=16998 vsize=27314120 memory=279777391121040 CPUtime=0.01 cores=0-7
/proc/17001/task/17016/stat : 17016 (java) R 16998 16998 16637 0 -1 4202560 52 0 0 0 1 0 0 0 20 0 20 0 510089720 27969658880 31536 33554432000 4194304 4196468 140730876985968 139641638476144 139643111372704 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17017] ppid=16998 vsize=27314120 memory=279777391118736 CPUtime=0.01 cores=0-7
/proc/17001/task/17017/stat : 17017 (java) S 16998 16998 16637 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 20 0 510089720 27969658880 31536 33554432000 4194304 4196468 140730876985968 139641637423088 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17018] ppid=16998 vsize=27314120 memory=279777391134896 CPUtime=0.07 cores=0-7
/proc/17001/task/17018/stat : 17018 (java) S 16998 16998 16637 0 -1 1077944384 502 0 0 0 7 0 0 0 20 0 20 0 510089720 27969658880 31536 33554432000 4194304 4196468 140730876985968 139641636370544 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17019] ppid=16998 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17019/stat : 17019 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 31536 33554432000 4194304 4196468 140730876985968 139639721552864 139643119093461 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17020] ppid=16998 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/17001/task/17020/stat : 17020 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089720 27969658880 31536 33554432000 4194304 4196468 140730876985968 139641635318960 139643119094402 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127536 KiB

[startup+0.701015 s]
/proc/loadavg: 7.11 6.92 5.86 2/215 17020
/proc/meminfo: memFree=24241132/32770624 swapFree=67002936/67108860
[pid=16998] ppid=16995 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16998/stat : 16998 (scop.sh) S 16995 16998 16637 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 510089712 115843072 348 33554432000 4194304 5098028 140729569013280 140729569010536 140687561884284 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7307264 140729569014524 140729569014872 140729569014872 140729569017801 0
/proc/16998/statm: 28282 348 296 221 0 87 0
[pid=17001] ppid=16998 vsize=27320392 memory=165200 CPUtime=1 cores=0-7
/proc/17001/stat : 17001 (java) S 16998 16998 16637 0 -1 1077944320 19919 0 0 0 92 8 0 0 20 0 20 0 510089712 27976081408 41300 33554432000 4194304 4196468 140730876985968 140730876968512 139643119083255 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
/proc/17001/statm: 6830098 41300 3181 1 0 6791447 0
[pid=17001/tid=17002] ppid=16998 vsize=27320392 memory=279777391492784 CPUtime=0.68 cores=0-7
/proc/17001/task/17002/stat : 17002 (java) R 16998 16998 16637 0 -1 4202560 16898 0 0 0 61 7 0 0 20 0 20 0 510089713 27976081408 41300 33554432000 4194304 4196468 140730876985968 139643090921824 139642621941408 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17003] ppid=16998 vsize=27320392 memory=139888695747440 CPUtime=0 cores=0-7
/proc/17001/task/17003/stat : 17003 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27976081408 41300 33554432000 4194304 4196468 140730876985968 139643123325968 139643119093461 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17004] ppid=16998 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/17001/task/17004/stat : 17004 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089715 27976081408 41300 33554432000 4194304 4196468 140730876985968 139642540969104 139643119093461 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0
[pid=17001/tid=17005] ppid=16998 vsize=27320392 memory=2832 CPUtime=0 cores=0-7
/proc/17001/task/17005/stat : 17005 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089715 27976081408 41300 33554432000 4194304 4196468 140730876985968 139642539916048 139643119093461 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39337984 140730876990150 140730876990598 140730876990598 140730876993487 0

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

[pid=17021/tid=17033] ppid=16998 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17021/task/17033/stat : 17033 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091646 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591392350960 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17034] ppid=16998 vsize=8414124 memory=130664 CPUtime=0 cores=0-7
/proc/17021/task/17034/stat : 17034 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091648 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591017842640 140593021601691 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17035] ppid=16998 vsize=8414124 memory=2597120 CPUtime=0.25 cores=0-7
/proc/17021/task/17035/stat : 17035 (java) S 16998 16998 16637 0 -1 1077944384 1442 0 0 0 25 0 0 0 20 0 24 0 510091648 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591979731696 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17036] ppid=16998 vsize=8414124 memory=7686721470250390938 CPUtime=0.2 cores=0-7
/proc/17021/task/17036/stat : 17036 (java) S 16998 16998 16637 0 -1 1077944384 678 0 0 0 20 0 0 0 20 0 24 0 510091648 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591978679152 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17037] ppid=16998 vsize=8414124 memory=4872558044660077418 CPUtime=0.15 cores=0-7
/proc/17021/task/17037/stat : 17037 (java) S 16998 16998 16637 0 -1 1077944384 334 0 0 0 15 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591977626096 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17038] ppid=16998 vsize=8414124 memory=1472 CPUtime=0.24 cores=0-7
/proc/17021/task/17038/stat : 17038 (java) S 16998 16998 16637 0 -1 1077944384 602 0 0 0 24 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591976573552 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17039] ppid=16998 vsize=8414124 memory=130664 CPUtime=0 cores=0-7
/proc/17021/task/17039/stat : 17039 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140590519937504 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17040] ppid=16998 vsize=8414124 memory=1632844 CPUtime=0 cores=0-7
/proc/17021/task/17040/stat : 17040 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591975520944 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17045] ppid=16998 vsize=8414124 memory=-7824251494390979435 CPUtime=0 cores=0-7
/proc/17021/task/17045/stat : 17045 (java) S 16998 16998 16637 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591965389760 140593021607705 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17047] ppid=16998 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17021/task/17047/stat : 17047 (java) S 16998 16998 16637 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 32666 33554432000 4194304 4196468 140728967872624 140589848838192 140593021605021 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17049] ppid=16998 vsize=8414124 memory=13568180484311317 CPUtime=0 cores=0-7
/proc/17021/task/17049/stat : 17049 (java) S 16998 16998 16637 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 32666 33554432000 4194304 4196468 140728967872624 140590117273776 140593021605021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17050] ppid=16998 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17021/task/17050/stat : 17050 (java) S 16998 16998 16637 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510091733 8616062976 32666 33554432000 4194304 4196468 140728967872624 140589580410288 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
Current children cumulated CPU time: 125.01 s
Current children cumulated vsize: 11470992 KiB
Current children cumulated memory: 2770804 KiB

[startup+36.0012 s]*
/proc/loadavg: 5.78 6.58 5.78 3/223 17058
/proc/meminfo: memFree=21552504/32770624 swapFree=67002936/67108860
[pid=16998] ppid=16995 vsize=113128 memory=1472 CPUtime=33.9 cores=0-7
/proc/16998/stat : 16998 (scop.sh) S 16995 16998 16637 0 -1 4202496 582 42956 0 0 0 0 3236 154 20 0 1 0 510089712 115843072 368 33554432000 4194304 5098028 140729569013280 140729569010024 140687561884284 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7307264 140729569014524 140729569014872 140729569014872 140729569017801 0
/proc/16998/statm: 28282 368 311 221 0 87 0
[pid=17021] ppid=16998 vsize=8414124 memory=130664 CPUtime=1.81 cores=0-7
/proc/17021/stat : 17021 (java) S 16998 16998 16637 0 -1 1077944320 21927 0 0 0 168 13 0 0 20 0 24 0 510091642 8616062976 32666 33554432000 4194304 4196468 140728967872624 140728967855168 140593021583095 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
/proc/17021/statm: 2103531 32666 3209 1 0 2064875 0
[pid=17044] ppid=17021 vsize=2944004 memory=2643884 CPUtime=95.21 cores=0-7
/proc/17044/stat : 17044 (manyglucose-4.1) S 17021 16998 16637 0 -1 1077944320 1493645 0 0 0 9207 314 0 0 20 0 3 0 510091730 3014660096 660971 33554432000 4194304 4454172 140722649648704 140722649647088 139871782600439 0 4 0 8388610 18446744073709551615 0 0 17 5 0 0 0 0 0 6552832 6554400 39505920 140722649649997 140722649650204 140722649650204 140722649653174 0
/proc/17044/statm: 736001 660971 419 64 0 731669 0
[pid=17044/tid=17051] ppid=17021 vsize=2944004 memory=2251 CPUtime=11.48 cores=0-7
/proc/17044/task/17051/stat : 17051 (manyglucose-4.1) R 17021 16998 16637 0 -1 4202560 193711 0 0 0 1102 46 0 0 20 0 3 0 510092151 3014660096 660971 33554432000 4194304 4454172 140722649648704 139871711370344 4351289 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 39505920 140722649649997 140722649650204 140722649650204 140722649653174 0
[pid=17044/tid=17052] ppid=17021 vsize=2944004 memory=8099559425689538900 CPUtime=11.43 cores=0-7
/proc/17044/task/17052/stat : 17052 (manyglucose-4.1) R 17021 16998 16637 0 -1 4202560 146650 0 0 0 1125 18 0 0 20 0 3 0 510092151 3014660096 660971 33554432000 4194304 4454172 140722649648704 139871702977640 4321280 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 39505920 140722649649997 140722649650204 140722649650204 140722649653174 0
[pid=17021/tid=17022] ppid=16998 vsize=8414124 memory=7686721470250390938 CPUtime=0.9 cores=0-7
/proc/17021/task/17022/stat : 17022 (java) S 16998 16998 16637 0 -1 1077944384 17477 0 0 0 80 10 0 0 20 0 24 0 510091643 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592993423264 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17023] ppid=16998 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/17021/task/17023/stat : 17023 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140593025825296 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17024] ppid=16998 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/17021/task/17024/stat : 17024 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592825993872 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17025] ppid=16998 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/17021/task/17025/stat : 17025 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592824940816 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17026] ppid=16998 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/17021/task/17026/stat : 17026 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592823888272 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17027] ppid=16998 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/17021/task/17027/stat : 17027 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592822836240 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17028] ppid=16998 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/17021/task/17028/stat : 17028 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592821783696 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17029] ppid=16998 vsize=8414124 memory=3112 CPUtime=0 cores=0-7
/proc/17021/task/17029/stat : 17029 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592820730640 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17030] ppid=16998 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17021/task/17030/stat : 17030 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 32666 33554432000 4194304 4196468 140728967872624 140592819678096 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17031] ppid=16998 vsize=8414124 memory=39844 CPUtime=0 cores=0-7
/proc/17021/task/17031/stat : 17031 (java) S 16998 16998 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510091645 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591980783856 140593021594242 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17032] ppid=16998 vsize=8414124 memory=42052 CPUtime=0 cores=0-7
/proc/17021/task/17032/stat : 17032 (java) S 16998 16998 16637 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510091646 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591660786848 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17033] ppid=16998 vsize=8414124 memory=44260 CPUtime=0 cores=0-7
/proc/17021/task/17033/stat : 17033 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091646 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591392350960 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17034] ppid=16998 vsize=8414124 memory=-6374957858630779283 CPUtime=0 cores=0-7
/proc/17021/task/17034/stat : 17034 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091648 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591017842640 140593021601691 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17035] ppid=16998 vsize=8414124 memory=6944656592455360604 CPUtime=0.25 cores=0-7
/proc/17021/task/17035/stat : 17035 (java) S 16998 16998 16637 0 -1 1077944384 1442 0 0 0 25 0 0 0 20 0 24 0 510091648 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591979731696 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17036] ppid=16998 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/17021/task/17036/stat : 17036 (java) S 16998 16998 16637 0 -1 1077944384 678 0 0 0 20 0 0 0 20 0 24 0 510091648 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591978679152 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17037] ppid=16998 vsize=8414124 memory=0 CPUtime=0.15 cores=0-7
/proc/17021/task/17037/stat : 17037 (java) S 16998 16998 16637 0 -1 1077944384 334 0 0 0 15 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591977626096 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17038] ppid=16998 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/17021/task/17038/stat : 17038 (java) S 16998 16998 16637 0 -1 1077944384 602 0 0 0 24 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591976573552 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17039] ppid=16998 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17021/task/17039/stat : 17039 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140590519937504 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17040] ppid=16998 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17021/task/17040/stat : 17040 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091649 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591975520944 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17045] ppid=16998 vsize=8414124 memory=7956286489408067179 CPUtime=0 cores=0-7
/proc/17021/task/17045/stat : 17045 (java) S 16998 16998 16637 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 32666 33554432000 4194304 4196468 140728967872624 140591965389760 140593021607705 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17047] ppid=16998 vsize=8414124 memory=7811895319585247598 CPUtime=0 cores=0-7
/proc/17021/task/17047/stat : 17047 (java) S 16998 16998 16637 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 32666 33554432000 4194304 4196468 140728967872624 140589848838192 140593021605021 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17049] ppid=16998 vsize=8414124 memory=-7313218805096079717 CPUtime=0 cores=0-7
/proc/17021/task/17049/stat : 17049 (java) S 16998 16998 16637 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 32666 33554432000 4194304 4196468 140728967872624 140590117273776 140593021605021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17050] ppid=16998 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17021/task/17050/stat : 17050 (java) S 16998 16998 16637 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510091733 8616062976 32666 33554432000 4194304 4196468 140728967872624 140589580410288 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
Current children cumulated CPU time: 130.92 s
Current children cumulated vsize: 11471256 KiB
Current children cumulated memory: 2776020 KiB

[startup+36.8011 s]
/proc/loadavg: 5.78 6.58 5.78 3/223 17058
/proc/meminfo: memFree=21552504/32770624 swapFree=67002936/67108860
[pid=16998] ppid=16995 vsize=113128 memory=1472 CPUtime=33.9 cores=0-7
/proc/16998/stat : 16998 (scop.sh) S 16995 16998 16637 0 -1 4202496 582 42956 0 0 0 0 3236 154 20 0 1 0 510089712 115843072 368 33554432000 4194304 5098028 140729569013280 140729569010024 140687561884284 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7307264 140729569014524 140729569014872 140729569014872 140729569017801 0
/proc/16998/statm: 28282 368 311 221 0 87 0
[pid=17021] ppid=16998 vsize=8414124 memory=268220 CPUtime=2.21 cores=0-7
/proc/17021/stat : 17021 (java) S 16998 16998 16637 0 -1 1077944320 22607 0 0 0 205 16 0 0 20 0 24 0 510091642 8616062976 67055 33554432000 4194304 4196468 140728967872624 140728967855168 140593021583095 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
/proc/17021/statm: 2103531 67055 3226 1 0 2064875 0
[pid=17021/tid=17022] ppid=16998 vsize=8414124 memory=8323114548807760782 CPUtime=0.9 cores=0-7
/proc/17021/task/17022/stat : 17022 (java) S 16998 16998 16637 0 -1 1077944384 17477 0 0 0 80 10 0 0 20 0 24 0 510091643 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592993423264 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17023] ppid=16998 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17021/task/17023/stat : 17023 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140593025825296 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17024] ppid=16998 vsize=8414124 memory=130664 CPUtime=0 cores=0-7
/proc/17021/task/17024/stat : 17024 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592825993872 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17025] ppid=16998 vsize=8414124 memory=2637276 CPUtime=0 cores=0-7
/proc/17021/task/17025/stat : 17025 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592824940816 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17026] ppid=16998 vsize=8414124 memory=2615268 CPUtime=0 cores=0-7
/proc/17021/task/17026/stat : 17026 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592823888272 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17027] ppid=16998 vsize=8414124 memory=164 CPUtime=0 cores=0-7
/proc/17021/task/17027/stat : 17027 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592822836240 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17028] ppid=16998 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/17021/task/17028/stat : 17028 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592821783696 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17029] ppid=16998 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/17021/task/17029/stat : 17029 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592820730640 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17030] ppid=16998 vsize=8414124 memory=3834591023966148202 CPUtime=0 cores=0-7
/proc/17021/task/17030/stat : 17030 (java) S 16998 16998 16637 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510091644 8616062976 67055 33554432000 4194304 4196468 140728967872624 140592819678096 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17031] ppid=16998 vsize=8414124 memory=6935652554312077392 CPUtime=0 cores=0-7
/proc/17021/task/17031/stat : 17031 (java) S 16998 16998 16637 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510091645 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591980783856 140593021594242 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17032] ppid=16998 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17021/task/17032/stat : 17032 (java) S 16998 16998 16637 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510091646 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591660786848 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17033] ppid=16998 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/17021/task/17033/stat : 17033 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091646 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591392350960 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17034] ppid=16998 vsize=8414124 memory=130664 CPUtime=0 cores=0-7
/proc/17021/task/17034/stat : 17034 (java) S 16998 16998 16637 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091648 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591017842640 140593021601691 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17035] ppid=16998 vsize=8414124 memory=2639140 CPUtime=0.27 cores=0-7
/proc/17021/task/17035/stat : 17035 (java) S 16998 16998 16637 0 -1 1077944384 1461 0 0 0 27 0 0 0 20 0 24 0 510091648 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591979731696 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17036] ppid=16998 vsize=8414124 memory=2564884 CPUtime=0.28 cores=0-7
/proc/17021/task/17036/stat : 17036 (java) S 16998 16998 16637 0 -1 1077944384 700 0 0 0 28 0 0 0 20 0 24 0 510091648 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591978679152 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17037] ppid=16998 vsize=8414124 memory=3956 CPUtime=0.19 cores=0-7
/proc/17021/task/17037/stat : 17037 (java) S 16998 16998 16637 0 -1 1077944384 398 0 0 0 19 0 0 0 20 0 24 0 510091649 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591977626096 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17038] ppid=16998 vsize=8414124 memory=8099559425689538900 CPUtime=0.29 cores=0-7
/proc/17021/task/17038/stat : 17038 (java) S 16998 16998 16637 0 -1 1077944384 1074 0 0 0 29 0 0 0 20 0 24 0 510091649 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591976573552 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17039] ppid=16998 vsize=8414124 memory=7518318061303654508 CPUtime=0 cores=0-7
/proc/17021/task/17039/stat : 17039 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091649 8616062976 67055 33554432000 4194304 4196468 140728967872624 140590519937504 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17040] ppid=16998 vsize=8414124 memory=7451876721052177512 CPUtime=0 cores=0-7
/proc/17021/task/17040/stat : 17040 (java) S 16998 16998 16637 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091649 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591975520944 140593021594242 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17045] ppid=16998 vsize=8414124 memory=8099559425689538900 CPUtime=0 cores=0-7
/proc/17021/task/17045/stat : 17045 (java) S 16998 16998 16637 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 67055 33554432000 4194304 4196468 140728967872624 140591965389760 140593021607705 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17047] ppid=16998 vsize=8414124 memory=8099559425689538900 CPUtime=0.22 cores=0-7
/proc/17021/task/17047/stat : 17047 (java) R 16998 16998 16637 0 -1 4202560 109 0 0 0 19 3 0 0 20 0 24 0 510091731 8616062976 67055 33554432000 4194304 4196468 140728967872624 140589848844536 140592486703725 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17049] ppid=16998 vsize=8414124 memory=7306053918472758630 CPUtime=0 cores=0-7
/proc/17021/task/17049/stat : 17049 (java) S 16998 16998 16637 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 510091731 8616062976 67055 33554432000 4194304 4196468 140728967872624 140590117273776 140593021605021 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
[pid=17021/tid=17050] ppid=16998 vsize=8414124 memory=7090183488835971941 CPUtime=0 cores=0-7
/proc/17021/task/17050/stat : 17050 (java) S 16998 16998 16637 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510091733 8616062976 67055 33554432000 4194304 4196468 140728967872624 140589580410288 140593021593301 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140728967881695 140728967881862 140728967881862 140728967884751 0
Current children cumulated CPU time: 36.11 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 269692 KiB

[startup+37.204 s]*
/proc/loadavg: 5.78 6.58 5.78 2/196 17058
/proc/meminfo: memFree=24377036/32770624 swapFree=67002936/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 37.2135
CPU time (s): 133.053
CPU user time (s): 128.021
CPU system time (s): 5.03179
CPU usage (%): 357.539
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6029596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.021
system time used= 5.03179
maximum resident set size= 6029028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1568999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64180
involuntary context switches= 990


# summary of solver processes directly reported to runsolver:
#   pid: 16998
#   total CPU time (s): 133.053
#   total CPU user time (s): 128.021
#   total CPU system time (s): 5.03179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.322127 second user time and 0.490909 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-24 17:21:01
IDJOB=4405530
IDBENCH=128113
IDSOLVER=2868
FILE ID=node133/4405530-1569338502
RUNJOBID= node133-1569335938-16664
PBS_JOBID= 21705057
Free space on /var/tmp= 13488 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-03.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-4405530-1569338502/watcher-4405530-1569338502 -o /var/tmp/evaluation-result-4405530-1569338502/solver-4405530-1569338502 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569335938-16664 --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-4405530-1569338502.xml

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

MD5SUM BENCH= 09f7292054b32b27f786cbe3f3fae605
RANDOM SEED=969539028

node133.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.18
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.55
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.18
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.55
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.18
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.55
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.18
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24380196 kB
MemAvailable:   31841900 kB
Buffers:          133344 kB
Cached:          7383596 kB
SwapCached:         5144 kB
Active:          3698832 kB
Inactive:        3824536 kB
Active(anon):       3892 kB
Inactive(anon):    57944 kB
Active(file):    3694940 kB
Inactive(file):  3766592 kB
Unevictable:      110884 kB
Mlocked:          110884 kB
SwapTotal:      67108860 kB
SwapFree:       67002936 kB
Dirty:             20648 kB
Writeback:             0 kB
AnonPages:        113268 kB
Mapped:            57484 kB
Shmem:             46788 kB
Slab:             457144 kB
SReclaimable:     428632 kB
SUnreclaim:        28512 kB
KernelStack:        3744 kB
PageTables:         5820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13468 MiB
End job on node133 at 2019-09-24 17:21:39