Trace number 4392342

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 order+ManyGlucose (2019-06-15)SAT 69.494 28.7772

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-80-07.xml
MD5SUM551365d3bcc7e6d8199baaf77d133a5e
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 benchmark53.4289
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1428
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree76
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":52,"count":8}, {"degree":53,"count":8}, {"degree":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"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":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":3}, {"degree":76,"count":55}]
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":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},"...",{"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":1227},{"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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-4977-serial-file.bin HOME/instance-4392342-1568431170.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 05:18:51 CEST 2019
0.65/0.56	c PID: 4980
0.65/0.56	c IP: 172.20.3.123
0.65/0.56	c HOST: node123.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.97/1.40	c (0,0) Parsing End
3.30/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1428 ctr, max domain size 24
3.30/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.30/1.41	c (0,0) Constraint Name Generate Begin
3.30/1.44	c (0,0) Ctr:HOME/instance-4392342-1568431170.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.30/1.44	c (0,0) Constraint Name Generate End
3.30/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.30/1.44	c (0,0) CSP to CSPinCNF Begin
11.65/4.66	c (4,4) translated 143 (10%) constraints
12.31/5.22	c (4,4) translated 286 (20%) constraints
12.31/5.24	c (4,4) translated 429 (30%) constraints
12.31/5.26	c (4,4) translated 572 (40%) constraints
12.31/5.29	c (4,4) translated 714 (50%) constraints
12.70/5.31	c (4,4) translated 857 (60%) constraints
12.70/5.32	c (4,4) translated 1000 (70%) constraints
12.70/5.34	c (4,4) translated 1143 (80%) constraints
15.20/7.38	c (6,6) translated 1286 (90%) constraints
16.71/8.88	c (8,8) translated 1428 (100%) constraints
16.71/8.90	c (8,8) ===========================================
16.80/8.90	c (8,8) Order
16.80/8.90	c (8,8) ===========================================
18.72/9.59	c (9,9) translated 5586 (10%) constraints
19.69/9.85	c (9,9) translated 11171 (20%) constraints
20.07/9.98	c (9,9) translated 16756 (30%) constraints
20.35/10.10	c (9,9) translated 22341 (40%) constraints
20.60/10.22	c (9,9) translated 27926 (50%) constraints
20.70/10.34	c (9,9) translated 33511 (60%) constraints
20.81/10.46	c (9,9) translated 39096 (70%) constraints
20.90/10.58	c (10,10) translated 44681 (80%) constraints
21.01/10.70	c (10,10) translated 50266 (90%) constraints
26.17/12.47	c (11,11) translated 55851 (100%) constraints
26.17/12.48	c (11,11) CSP to CSPinCNF End
26.17/12.49	c (11,11) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75485 ctr, max domain size 68
26.17/12.49	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.17/12.49	c (11,11) CSPinCNF Propagation Begin
27.63/12.97	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.63/12.97	c (12,12) CSPinCNF Propagation End
27.63/12.98	c (12,12) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75085 ctr, max domain size 68
27.63/12.98	c (12,12) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.63/12.98	c (12,12) Simplify CSPinCNF Begin
28.26/13.20	c (12,12) Simplify CSPinCNF End
28.46/13.20	c (12,12) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75085 ctr, max domain size 68
28.46/13.20	c (12,12) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.46/13.20	c (12,12) Calculate Precise Domain Begin
28.46/13.28	c (12,12) 0 values are removed by re-calculation
28.46/13.28	c (12,12) Calculate Precise Domain End
28.46/13.29	c (12,12) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75085 ctr, max domain size 68
28.46/13.29	c (12,12) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.46/13.29	c (12,12) CSPinCNF to SatSolver Begin
32.72/14.86	c (14,14) 7509 (10 %) CSP clauses are encoded (0 SAT variables, 596512 SAT clauses)
33.09/14.93	c (14,14) 15017 (20 %) CSP clauses are encoded (0 SAT variables, 604020 SAT clauses)
33.09/15.00	c (14,14) 22526 (30 %) CSP clauses are encoded (0 SAT variables, 611529 SAT clauses)
33.26/15.08	c (14,14) 30034 (40 %) CSP clauses are encoded (0 SAT variables, 619037 SAT clauses)
33.39/15.15	c (14,14) 37543 (50 %) CSP clauses are encoded (0 SAT variables, 626546 SAT clauses)
33.50/15.22	c (14,14) 45051 (60 %) CSP clauses are encoded (0 SAT variables, 634054 SAT clauses)
33.50/15.29	c (14,14) 52560 (70 %) CSP clauses are encoded (0 SAT variables, 641563 SAT clauses)
33.59/15.36	c (14,14) 60068 (80 %) CSP clauses are encoded (0 SAT variables, 649071 SAT clauses)
34.26/15.78	c (15,15) 67577 (90 %) CSP clauses are encoded (0 SAT variables, 814783 SAT clauses)
37.30/18.73	c (18,18) 75085 (100 %) CSP clauses are encoded (0 SAT variables, 2451055 SAT clauses)
37.30/18.73	c (18,18) CSPinCNF to SatSolver End
37.30/18.73	c (18,18) Heap : 3787 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
37.30/18.74	c (18,18) 146425 bool, 2451730 clause
37.30/18.74	c (18,18) Export Begin
37.44/18.89	c (18,18) Export to HOME/scop-4977-serial-file.bin
37.44/18.89	c (18,18) Export End
37.44/18.90	c (18,18) Export File Size: 0.25 MB
37.44/18.90	c (18,18) 0,0,11,12,12,12,18,STOP-AFTER(DIMACS)
37.44/18.90	c END-Prog: Sat Sep 14 05:19:10 CEST 2019
0.00/19.22	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-4977-serial-file.bin
37.78/19.68	c (0,0) Read Serial File Begin
37.78/19.68	c (0,0) HOME/scop-4977-serial-file.bin
37.78/19.97	c (0,0) Read Serial File End
37.78/19.98	
37.78/19.98	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
37.78/19.98	(Solving Process)
37.78/19.98	
37.78/20.00	c BEGIN-Prog: Sat Sep 14 05:19:11 CEST 2019
37.78/20.00	c PID: 5000
37.78/20.00	c IP: 172.20.3.123
37.78/20.00	c HOST: node123.alineos.net
39.08/20.01	c (0,0) SatSolver.solve Begin
39.08/20.01	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392342-1568431170.xml-scop-4980.cnf
39.08/20.03	c (0,0) c
39.08/20.03	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)
39.08/20.03	c (0,0) c
39.08/20.03	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
39.08/20.03	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
39.08/20.03	c (0,0) c ========================================[ Problem Statistics ]===========================================
39.08/20.03	c (0,0) c |                                                                                                       |
39.29/20.91	c (1,0) c |  Number of variables:        146425                                                                   |
39.29/20.91	c (1,0) c |  Number of clauses:         2451478                                                                   |
39.29/20.91	c (1,0) c |  Parse time:                   0.79 s                                                                 |
39.29/20.91	c (1,0) c |                                                                                                       |
43.65/24.41	c (4,0) c |  Simplification time:          3.44 s                                                                 |
43.65/24.41	c (4,0) c |                                                                                                       |
43.65/24.41	c (4,0) c |  Generating clones                                                                                    |
44.26/25.06	c (5,0) c |  all clones generated. Memory =  1376.11Mb.                                                           |
44.26/25.06	c (5,0) c ========================================================================================================|
44.26/25.06	c (5,0) c
44.26/25.06	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
44.26/25.06	c (5,0) c
44.26/25.06	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.26/25.06	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.26/25.06	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.26/25.06	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
44.26/25.06	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
44.26/25.06	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
44.26/25.06	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
44.26/25.06	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
44.26/25.06	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
44.26/25.06	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
44.26/25.06	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
44.26/25.06	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
44.26/25.06	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
44.26/25.06	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
44.26/25.06	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
44.26/25.06	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
44.26/25.06	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
44.26/25.06	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
44.26/25.06	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c
68.20/28.39	c (8,0) c real time : 8.35926 s
68.20/28.39	c (8,0) c cpu time  : 28.2668 s
68.20/28.39	c (8,0) c
68.20/28.39	c (8,0) c
68.20/28.39	c (8,0) c
68.20/28.39	c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
68.20/28.39	c (8,0) c
68.20/28.39	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
68.20/28.39	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c | Conflicts     |           14483 |       1782 |       2434 |       1343 |       1442 |       1231 |       2662 |       1482 |       2107 |
68.20/28.39	c (8,0) c | Decisions     |          241633 |      31713 |      24914 |      33977 |      25448 |      42703 |      26554 |      33863 |      22461 |
68.20/28.39	c (8,0) c | Propagations  |        31258544 |    4208450 |    3804338 |    3891436 |    4040989 |    4109745 |    3473365 |    3883111 |    3847110 |
68.20/28.39	c (8,0) c | ReduceDBs     |               3 |          0 |          1 |          0 |          0 |          0 |          1 |          0 |          1 |
68.20/28.39	c (8,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
68.20/28.39	c (8,0) c | Restarts      |             127 |         15 |         19 |         14 |         16 |         10 |         20 |         12 |         21 |
68.20/28.39	c (8,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c | PropBinClauses|        57187806 |    7801417 |    7568731 |    6762028 |    7894710 |    6963139 |    6266425 |    6996516 |    6934840 |
68.20/28.39	c (8,0) c | PropPreBlocker|       397943768 |   48267532 |   52288476 |   51741273 |   46541443 |   50121184 |   49737520 |   50309052 |   48937288 |
68.20/28.39	c (8,0) c | PropNotBlocker|       111360001 |   13895843 |   14281370 |   13633861 |   15122901 |   13347487 |   13442203 |   13149022 |   14487314 |
68.20/28.39	c (8,0) c | LitFullScans  |       680022154 |   84133501 |   89157108 |   86059044 |   84106798 |   84281001 |   84086301 |   84073831 |   84124570 |
68.20/28.39	c (8,0) c | LitScanFracts |          319011 |      45987 |      19836 |      42903 |      41564 |      34270 |      45268 |      24073 |      65110 |
68.20/28.39	c (8,0) c | DecisionLevel0|             140 |         17 |         19 |         16 |         17 |         13 |         21 |         14 |         23 |
68.20/28.39	c (8,0) c | Periods       |             112 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |         14 |
68.20/28.39	c (8,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
68.20/28.39	c (8,0) c | Avg_Trail     |                 |      44703 |      39377 |      50592 |      49417 |      42024 |      23339 |      49313 |      30419 |
68.20/28.39	c (8,0) c | Avg_DL        |                 |        348 |        304 |        450 |        402 |        385 |        223 |        420 |        301 |
68.20/28.39	c (8,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c | Exported      |             287 |         52 |         21 |         36 |         28 |         51 |         37 |         31 |         31 |
68.20/28.39	c (8,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.20/28.39	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c | Unaries       |                 |          2 |          0 |          2 |          1 |          3 |          1 |          2 |          2 |
68.20/28.39	c (8,0) c | Binaries      |                 |         50 |         18 |         35 |         27 |         50 |         28 |         28 |         21 |
68.20/28.39	c (8,0) c | Glues         |                 |         52 |         21 |         36 |         28 |         51 |         37 |         31 |         31 |
68.20/28.39	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c | Orig_Seen     |             0 % |       8728 |       7852 |       8554 |       8352 |       7938 |       8690 |       8435 |       8504 |
68.20/28.39	c (8,0) c | Diff Orig seen|                 |        790 | -       86 |        616 |        414 |      X     |        752 |        497 |        566 |
68.20/28.39	c (8,0) c | Hamming       |            13 % |      20269 |      19556 |      18824 |      19084 |      X     |      21240 |      18206 |      19163 |
68.20/28.39	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c | RunningTime   |                 |    3.3 100%|    2.8 100%|    2.8 100%|    3.2 100%|    2.8 100%|    3.1 100%|    3.2 100%|    3.3 100%|
68.20/28.39	c (8,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%|
68.20/28.39	c (8,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%|
68.20/28.39	c (8,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%|
68.20/28.39	c (8,0) c | SolvingTime   |                 |    3.3     |    2.8     |    2.8     |    3.2     |    2.8     |    3.1     |    3.2     |    3.3     |
68.20/28.39	c (8,0) c | PropagationTim|                 |    3.1  93%|    2.6  92%|    2.6  94%|    3.0  94%|    2.6  94%|    3.0  94%|    3.0  94%|    3.1  94%|
68.20/28.39	c (8,0) c | AnalysisTime  |                 |    0.0   1%|    0.1   3%|    0.0   1%|    0.1   2%|    0.0   1%|    0.1   2%|    0.0   1%|    0.0   1%|
68.20/28.39	c (8,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%|
68.20/28.39	c (8,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
68.20/28.39	c (8,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%|
68.20/28.39	c (8,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%|
68.20/28.39	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.20/28.39	c (8,0) c
68.20/28.39	c (8,0) c
68.20/28.39	c (8,0) c Threads : 8
68.20/28.39	c (8,0) c Winner : 4
68.20/28.39	c (8,0) c Conflicts_0 : 1782
68.20/28.39	c (8,0) c Conflicts_1 : 2434
68.20/28.39	c (8,0) c Conflicts_2 : 1343
68.20/28.39	c (8,0) c Conflicts_3 : 1442
68.20/28.39	c (8,0) c Conflicts_4 : 1231
68.20/28.39	c (8,0) c Conflicts_5 : 2662
68.20/28.39	c (8,0) c Conflicts_6 : 1482
68.20/28.39	c (8,0) c Conflicts_7 : 2107
68.20/28.39	c (8,0) c Conflicts_total : 14483
68.20/28.39	c (8,0) c Conflicts_winner : 1231
68.20/28.39	c (8,0) c Decisions_0 : 31713
68.20/28.39	c (8,0) c Decisions_1 : 24914
68.20/28.39	c (8,0) c Decisions_2 : 33977
68.20/28.39	c (8,0) c Decisions_3 : 25448
68.20/28.39	c (8,0) c Decisions_4 : 42703
68.20/28.39	c (8,0) c Decisions_5 : 26554
68.20/28.39	c (8,0) c Decisions_6 : 33863
68.20/28.39	c (8,0) c Decisions_7 : 22461
68.20/28.39	c (8,0) c Decisions_total : 241633
68.20/28.39	c (8,0) c Decisions_winner : 42703
68.20/28.39	c (8,0) c Propagations_0 : 4208450
68.20/28.39	c (8,0) c Propagations_1 : 3804338
68.20/28.39	c (8,0) c Propagations_2 : 3891436
68.20/28.39	c (8,0) c Propagations_3 : 4040989
68.20/28.39	c (8,0) c Propagations_4 : 4109745
68.20/28.39	c (8,0) c Propagations_5 : 3473365
68.20/28.39	c (8,0) c Propagations_6 : 3883111
68.20/28.39	c (8,0) c Propagations_7 : 3847110
68.20/28.39	c (8,0) c Propagations_total : 31258544
68.20/28.39	c (8,0) c Propagations_winner : 4109745
68.20/28.39	c (8,0) c ReduceDBs_0 : 0
68.20/28.39	c (8,0) c ReduceDBs_1 : 1
68.20/28.39	c (8,0) c ReduceDBs_2 : 0
68.20/28.39	c (8,0) c ReduceDBs_3 : 0
68.20/28.39	c (8,0) c ReduceDBs_4 : 0
68.20/28.39	c (8,0) c ReduceDBs_5 : 1
68.20/28.39	c (8,0) c ReduceDBs_6 : 0
68.20/28.39	c (8,0) c ReduceDBs_7 : 1
68.20/28.39	c (8,0) c ReduceDBs_total : 3
68.20/28.39	c (8,0) c ReduceDBs_winner : 0
68.20/28.39	c (8,0) c SimpDBs_0 : 1
68.20/28.39	c (8,0) c SimpDBs_1 : 1
68.20/28.39	c (8,0) c SimpDBs_2 : 1
68.20/28.39	c (8,0) c SimpDBs_3 : 1
68.20/28.39	c (8,0) c SimpDBs_4 : 1
68.20/28.39	c (8,0) c SimpDBs_5 : 1
68.20/28.39	c (8,0) c SimpDBs_6 : 1
68.20/28.39	c (8,0) c SimpDBs_7 : 1
68.20/28.39	c (8,0) c SimpDBs_total : 8
68.20/28.39	c (8,0) c SimpDBs_winner : 1
68.20/28.39	c (8,0) c Restarts_0 : 15
68.20/28.39	c (8,0) c Restarts_1 : 19
68.20/28.39	c (8,0) c Restarts_2 : 14
68.20/28.39	c (8,0) c Restarts_3 : 16
68.20/28.39	c (8,0) c Restarts_4 : 10
68.20/28.39	c (8,0) c Restarts_5 : 20
68.20/28.39	c (8,0) c Restarts_6 : 12
68.20/28.39	c (8,0) c Restarts_7 : 21
68.20/28.39	c (8,0) c Restarts_total : 127
68.20/28.39	c (8,0) c Restarts_winner : 10
68.20/28.39	c (8,0) c ForcedImports_0 : 0
68.20/28.39	c (8,0) c ForcedImports_1 : 0
68.20/28.39	c (8,0) c ForcedImports_2 : 0
68.20/28.39	c (8,0) c ForcedImports_3 : 0
68.20/28.39	c (8,0) c ForcedImports_4 : 0
68.20/28.39	c (8,0) c ForcedImports_5 : 0
68.20/28.39	c (8,0) c ForcedImports_6 : 0
68.20/28.39	c (8,0) c ForcedImports_7 : 0
68.20/28.39	c (8,0) c ForcedImports_total : 0
68.20/28.39	c (8,0) c ForcedImports_winner : 0
68.20/28.39	c (8,0) c PropsBinClauses_0 : 7801417
68.20/28.39	c (8,0) c PropsBinClauses_1 : 7568731
68.20/28.40	c (8,0) c PropsBinClauses_2 : 6762028
68.20/28.40	c (8,0) c PropsBinClauses_3 : 7894710
68.20/28.40	c (8,0) c PropsBinClauses_4 : 6963139
68.20/28.40	c (8,0) c PropsBinClauses_5 : 6266425
68.20/28.40	c (8,0) c PropsBinClauses_6 : 6996516
68.20/28.40	c (8,0) c PropsBinClauses_7 : 6934840
68.20/28.40	c (8,0) c PropsBinClauses_total : 57187806
68.20/28.40	c (8,0) c PropsBinClauses_winner : 6963139
68.20/28.40	c (8,0) c PropsPreBlocker_0 : 48267532
68.20/28.40	c (8,0) c PropsPreBlocker_1 : 52288476
68.20/28.40	c (8,0) c PropsPreBlocker_2 : 51741273
68.20/28.40	c (8,0) c PropsPreBlocker_3 : 46541443
68.20/28.40	c (8,0) c PropsPreBlocker_4 : 50121184
68.20/28.40	c (8,0) c PropsPreBlocker_5 : 49737520
68.20/28.40	c (8,0) c PropsPreBlocker_6 : 50309052
68.20/28.40	c (8,0) c PropsPreBlocker_7 : 48937288
68.20/28.40	c (8,0) c PropsPreBlocker_total : 397943768
68.20/28.40	c (8,0) c PropsPreBlocker_winner : 50121184
68.20/28.40	c (8,0) c PropsNotBlocker_0 : 13895843
68.20/28.40	c (8,0) c PropsNotBlocker_1 : 14281370
68.20/28.40	c (8,0) c PropsNotBlocker_2 : 13633861
68.20/28.40	c (8,0) c PropsNotBlocker_3 : 15122901
68.20/28.40	c (8,0) c PropsNotBlocker_4 : 13347487
68.20/28.40	c (8,0) c PropsNotBlocker_5 : 13442203
68.20/28.40	c (8,0) c PropsNotBlocker_6 : 13149022
68.20/28.40	c (8,0) c PropsNotBlocker_7 : 14487314
68.20/28.40	c (8,0) c PropsNotBlocker_total : 111360001
68.20/28.40	c (8,0) c PropsNotBlocker_winner : 13347487
68.20/28.40	c (8,0) c PropsLitFullScans_0 : 84133501
68.20/28.40	c (8,0) c PropsLitFullScans_1 : 89157108
68.20/28.40	c (8,0) c PropsLitFullScans_2 : 86059044
68.20/28.40	c (8,0) c PropsLitFullScans_3 : 84106798
68.20/28.40	c (8,0) c PropsLitFullScans_4 : 84281001
68.20/28.40	c (8,0) c PropsLitFullScans_5 : 84086301
68.20/28.40	c (8,0) c PropsLitFullScans_6 : 84073831
68.20/28.40	c (8,0) c PropsLitFullScans_7 : 84124570
68.20/28.40	c (8,0) c PropsLitFullScans_total : 680022154
68.20/28.40	c (8,0) c PropsLitFullScans_winner : 84281001
68.20/28.40	c (8,0) c LitScanFractions_0 : 45987
68.20/28.40	c (8,0) c LitScanFractions_1 : 19836
68.20/28.40	c (8,0) c LitScanFractions_2 : 42903
68.20/28.40	c (8,0) c LitScanFractions_3 : 41564
68.20/28.40	c (8,0) c LitScanFractions_4 : 34270
68.20/28.40	c (8,0) c LitScanFractions_5 : 45268
68.20/28.40	c (8,0) c LitScanFractions_6 : 24073
68.20/28.40	c (8,0) c LitScanFractions_7 : 65110
68.20/28.40	c (8,0) c LitScanFractions_total : 319011
68.20/28.40	c (8,0) c LitScanFractions_winner : 34270
68.20/28.40	c (8,0) c DecisionLevel0_0 : 17
68.20/28.40	c (8,0) c DecisionLevel0_1 : 19
68.20/28.40	c (8,0) c DecisionLevel0_2 : 16
68.20/28.40	c (8,0) c DecisionLevel0_3 : 17
68.20/28.40	c (8,0) c DecisionLevel0_4 : 13
68.20/28.40	c (8,0) c DecisionLevel0_5 : 21
68.20/28.40	c (8,0) c DecisionLevel0_6 : 14
68.20/28.40	c (8,0) c DecisionLevel0_7 : 23
68.20/28.40	c (8,0) c DecisionLevel0_total : 140
68.20/28.40	c (8,0) c DecisionLevel0_winner : 13
68.20/28.40	c (8,0) c Periods_0 : 14
68.20/28.40	c (8,0) c Periods_1 : 14
68.20/28.40	c (8,0) c Periods_2 : 14
68.20/28.40	c (8,0) c Periods_3 : 14
68.20/28.40	c (8,0) c Periods_4 : 14
68.20/28.40	c (8,0) c Periods_5 : 14
68.20/28.40	c (8,0) c Periods_6 : 14
68.20/28.40	c (8,0) c Periods_7 : 14
68.20/28.40	c (8,0) c Periods_total : 112
68.20/28.40	c (8,0) c Periods_winner : 14
68.20/28.40	c (8,0) c Margin_0 : 20
68.20/28.40	c (8,0) c Margin_1 : 20
68.34/28.40	c (8,0) c Margin_2 : 20
68.34/28.40	c (8,0) c Margin_3 : 20
68.34/28.40	c (8,0) c Margin_4 : 20
68.34/28.40	c (8,0) c Margin_5 : 20
68.34/28.40	c (8,0) c Margin_6 : 20
68.34/28.40	c (8,0) c Margin_7 : 20
68.34/28.40	c (8,0) c Margin_total : 160
68.34/28.40	c (8,0) c Margin_winner : 20
68.34/28.40	c (8,0) c Exported_0 : 52
68.34/28.40	c (8,0) c Exported_1 : 21
68.34/28.40	c (8,0) c Exported_2 : 36
68.34/28.40	c (8,0) c Exported_3 : 28
68.34/28.40	c (8,0) c Exported_4 : 51
68.34/28.40	c (8,0) c Exported_5 : 37
68.34/28.40	c (8,0) c Exported_6 : 31
68.34/28.40	c (8,0) c Exported_7 : 31
68.34/28.40	c (8,0) c Exported_total : 287
68.34/28.40	c (8,0) c Exported_winner : 51
68.34/28.40	c (8,0) c Imported_0 : 0
68.34/28.40	c (8,0) c Imported_1 : 0
68.34/28.40	c (8,0) c Imported_2 : 0
68.34/28.40	c (8,0) c Imported_3 : 0
68.34/28.40	c (8,0) c Imported_4 : 0
68.34/28.40	c (8,0) c Imported_5 : 0
68.34/28.40	c (8,0) c Imported_6 : 0
68.34/28.40	c (8,0) c Imported_7 : 0
68.34/28.40	c (8,0) c Imported_total : 0
68.34/28.40	c (8,0) c Imported_winner : 0
68.34/28.40	c (8,0) c Good_0 : 0
68.34/28.40	c (8,0) c Good_1 : 0
68.34/28.40	c (8,0) c Good_2 : 0
68.34/28.40	c (8,0) c Good_3 : 0
68.34/28.40	c (8,0) c Good_4 : 0
68.34/28.40	c (8,0) c Good_5 : 0
68.34/28.40	c (8,0) c Good_6 : 0
68.34/28.40	c (8,0) c Good_7 : 0
68.34/28.40	c (8,0) c Good_total : 0
68.34/28.40	c (8,0) c Good_winner : 0
68.34/28.40	c (8,0) c Purge_0 : 0
68.34/28.40	c (8,0) c Purge_1 : 0
68.34/28.40	c (8,0) c Purge_2 : 0
68.34/28.40	c (8,0) c Purge_3 : 0
68.34/28.40	c (8,0) c Purge_4 : 0
68.34/28.40	c (8,0) c Purge_5 : 0
68.34/28.40	c (8,0) c Purge_6 : 0
68.34/28.40	c (8,0) c Purge_7 : 0
68.34/28.40	c (8,0) c Purge_total : 0
68.34/28.40	c (8,0) c Purge_winner : 0
68.34/28.40	c (8,0) c Promoted_0 : 0
68.34/28.40	c (8,0) c Promoted_1 : 0
68.34/28.40	c (8,0) c Promoted_2 : 0
68.34/28.40	c (8,0) c Promoted_3 : 0
68.34/28.40	c (8,0) c Promoted_4 : 0
68.34/28.40	c (8,0) c Promoted_5 : 0
68.34/28.40	c (8,0) c Promoted_6 : 0
68.34/28.40	c (8,0) c Promoted_7 : 0
68.34/28.40	c (8,0) c Promoted_total : 0
68.34/28.40	c (8,0) c Promoted_winner : 0
68.34/28.40	c (8,0) c Remove_Imp_0 : 0
68.34/28.40	c (8,0) c Remove_Imp_1 : 0
68.34/28.40	c (8,0) c Remove_Imp_2 : 0
68.34/28.40	c (8,0) c Remove_Imp_3 : 0
68.34/28.40	c (8,0) c Remove_Imp_4 : 0
68.34/28.40	c (8,0) c Remove_Imp_5 : 0
68.34/28.40	c (8,0) c Remove_Imp_6 : 0
68.34/28.40	c (8,0) c Remove_Imp_7 : 0
68.34/28.40	c (8,0) c Remove_Imp_total : 0
68.34/28.40	c (8,0) c Remove_Imp_winner : 0
68.34/28.40	c (8,0) c Blocked_Reuse_0 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_1 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_2 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_3 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_4 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_5 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_6 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_7 : 0
68.34/28.40	c (8,0) c Blocked_Reuse_total : 0
68.34/28.40	c (8,0) c Blocked_Reuse_winner : 0
68.34/28.40	c (8,0) c Unaries_0 : 2
68.34/28.40	c (8,0) c Unaries_1 : 0
68.34/28.40	c (8,0) c Unaries_2 : 2
68.34/28.40	c (8,0) c Unaries_3 : 1
68.34/28.40	c (8,0) c Unaries_4 : 3
68.34/28.40	c (8,0) c Unaries_5 : 1
68.34/28.40	c (8,0) c Unaries_6 : 2
68.34/28.40	c (8,0) c Unaries_7 : 2
68.34/28.40	c (8,0) c Unaries_total : 13
68.34/28.40	c (8,0) c Unaries_winner : 3
68.34/28.40	c (8,0) c Binaries_0 : 50
68.34/28.40	c (8,0) c Binaries_1 : 18
68.34/28.40	c (8,0) c Binaries_2 : 35
68.34/28.40	c (8,0) c Binaries_3 : 27
68.34/28.40	c (8,0) c Binaries_4 : 50
68.34/28.40	c (8,0) c Binaries_5 : 28
68.34/28.40	c (8,0) c Binaries_6 : 28
68.34/28.40	c (8,0) c Binaries_7 : 21
68.34/28.40	c (8,0) c Binaries_total : 257
68.34/28.40	c (8,0) c Binaries_winner : 50
68.34/28.40	c (8,0) c Glues_0 : 52
68.34/28.40	c (8,0) c Glues_1 : 21
68.34/28.40	c (8,0) c Glues_2 : 36
68.34/28.40	c (8,0) c Glues_3 : 28
68.34/28.40	c (8,0) c Glues_4 : 51
68.34/28.40	c (8,0) c Glues_5 : 37
68.34/28.40	c (8,0) c Glues_6 : 31
68.34/28.40	c (8,0) c Glues_7 : 31
68.34/28.40	c (8,0) c Glues_total : 287
68.34/28.40	c (8,0) c Glues_winner : 51
68.34/28.40	c (8,0) c RunningTime_0 : 3.271720
68.34/28.40	c (8,0) c RunningTime_1 : 2.817827
68.34/28.40	c (8,0) c RunningTime_2 : 2.820726
68.34/28.40	c (8,0) c RunningTime_3 : 3.216046
68.34/28.40	c (8,0) c RunningTime_4 : 2.815876
68.34/28.40	c (8,0) c RunningTime_5 : 3.147161
68.34/28.40	c (8,0) c RunningTime_6 : 3.204571
68.34/28.40	c (8,0) c RunningTime_7 : 3.320667
68.34/28.40	c (8,0) c RunningTime_total : 24.614595
68.34/28.40	c (8,0) c RunningTime_winner : 2.815876
68.34/28.40	c (8,0) c WaitingTime_0 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_1 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_2 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_3 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_4 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_5 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_6 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_7 : 0.000000
68.34/28.40	c (8,0) c WaitingTime_total : 0.000000
68.34/28.40	c (8,0) c WaitingTime_winner : 0.000000
68.34/28.40	c (8,0) c ExchangingTime_0 : 0.000320
68.34/28.40	c (8,0) c ExchangingTime_1 : 0.000240
68.34/28.40	c (8,0) c ExchangingTime_2 : 0.000251
68.34/28.40	c (8,0) c ExchangingTime_3 : 0.000242
68.34/28.40	c (8,0) c ExchangingTime_4 : 0.000252
68.34/28.40	c (8,0) c ExchangingTime_5 : 0.000342
68.34/28.40	c (8,0) c ExchangingTime_6 : 0.000221
68.34/28.40	c (8,0) c ExchangingTime_7 : 0.000292
68.34/28.40	c (8,0) c ExchangingTime_total : 0.002161
68.34/28.40	c (8,0) c ExchangingTime_winner : 0.000252
68.34/28.40	c (8,0) c PeriodProcTime_0 : 0.000164
68.34/28.40	c (8,0) c PeriodProcTime_1 : 0.000151
68.34/28.40	c (8,0) c PeriodProcTime_2 : 0.000199
68.34/28.40	c (8,0) c PeriodProcTime_3 : 0.000154
68.34/28.40	c (8,0) c PeriodProcTime_4 : 0.000171
68.34/28.40	c (8,0) c PeriodProcTime_5 : 0.000174
68.34/28.40	c (8,0) c PeriodProcTime_6 : 0.000166
68.34/28.40	c (8,0) c PeriodProcTime_7 : 0.000160
68.34/28.40	c (8,0) c PeriodProcTime_total : 0.001338
68.34/28.40	c (8,0) c PeriodProcTime_winner : 0.000171
68.34/28.40	c (8,0) c SolvingTime_0 : 3.272204
68.34/28.40	c (8,0) c SolvingTime_1 : 2.818218
68.34/28.40	c (8,0) c SolvingTime_2 : 2.821176
68.34/28.40	c (8,0) c SolvingTime_3 : 3.216442
68.34/28.40	c (8,0) c SolvingTime_4 : 2.816299
68.34/28.40	c (8,0) c SolvingTime_5 : 3.147677
68.34/28.40	c (8,0) c SolvingTime_6 : 3.204959
68.34/28.40	c (8,0) c SolvingTime_7 : 3.321119
68.34/28.40	c (8,0) c SolvingTime_total : 24.618094
68.34/28.40	c (8,0) c SolvingTime_winner : 2.816299
68.34/28.40	c (8,0) c PropagationTime_0 : 3.059473
68.34/28.40	c (8,0) c PropagationTime_1 : 2.604927
68.34/28.40	c (8,0) c PropagationTime_2 : 2.642798
68.34/28.40	c (8,0) c PropagationTime_3 : 3.009132
68.34/28.40	c (8,0) c PropagationTime_4 : 2.645536
68.34/28.40	c (8,0) c PropagationTime_5 : 2.954302
68.34/28.40	c (8,0) c PropagationTime_6 : 3.010115
68.34/28.40	c (8,0) c PropagationTime_7 : 3.119736
68.34/28.40	c (8,0) c PropagationTime_total : 23.046020
68.34/28.40	c (8,0) c PropagationTime_winner : 2.645536
68.34/28.40	c (8,0) c AnalysisTime_0 : 0.046552
68.34/28.40	c (8,0) c AnalysisTime_1 : 0.073678
68.34/28.40	c (8,0) c AnalysisTime_2 : 0.036726
68.34/28.40	c (8,0) c AnalysisTime_3 : 0.053257
68.34/28.40	c (8,0) c AnalysisTime_4 : 0.022925
68.34/28.40	c (8,0) c AnalysisTime_5 : 0.053102
68.34/28.40	c (8,0) c AnalysisTime_6 : 0.037716
68.34/28.40	c (8,0) c AnalysisTime_7 : 0.047576
68.34/28.40	c (8,0) c AnalysisTime_total : 0.371532
68.34/28.40	c (8,0) c AnalysisTime_winner : 0.022925
68.34/28.40	c (8,0) c ReductionTime_0 : 0.000000
68.34/28.40	c (8,0) c ReductionTime_1 : 0.000395
68.34/28.40	c (8,0) c ReductionTime_2 : 0.000000
68.34/28.40	c (8,0) c ReductionTime_3 : 0.000000
68.34/28.40	c (8,0) c ReductionTime_4 : 0.000000
68.34/28.40	c (8,0) c ReductionTime_5 : 0.000405
68.34/28.40	c (8,0) c ReductionTime_6 : 0.000000
68.34/28.40	c (8,0) c ReductionTime_7 : 0.000368
68.34/28.40	c (8,0) c ReductionTime_total : 0.001168
68.34/28.40	c (8,0) c ReductionTime_winner : 0.000000
68.34/28.40	c (8,0) c SimplifyTime_0 : 0.000003
68.34/28.40	c (8,0) c SimplifyTime_1 : 0.000001
68.34/28.40	c (8,0) c SimplifyTime_2 : 0.000001
68.34/28.40	c (8,0) c SimplifyTime_3 : 0.000001
68.34/28.40	c (8,0) c SimplifyTime_4 : 0.000001
68.34/28.40	c (8,0) c SimplifyTime_5 : 0.000002
68.34/28.40	c (8,0) c SimplifyTime_6 : 0.000001
68.34/28.40	c (8,0) c SimplifyTime_7 : 0.000004
68.34/28.40	c (8,0) c SimplifyTime_total : 0.000014
68.34/28.40	c (8,0) c SimplifyTime_winner : 0.000001
68.34/28.40	c (8,0) c UsedRateTime_0 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_1 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_2 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_3 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_4 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_5 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_6 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_7 : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_total : 0.000000
68.34/28.40	c (8,0) c UsedRateTime_winner : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_0 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_1 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_2 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_3 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_4 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_5 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_6 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_7 : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_total : 0.000000
68.34/28.40	c (8,0) c OverlapRateTime_winner : 0.000000
68.34/28.40	c (8,0) c
68.34/28.40	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
68.34/28.40	c (8,0) c
68.34/28.40	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.34/28.40	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
68.34/28.40	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.34/28.40	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
68.34/28.40	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
68.34/28.40	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
68.34/28.40	c (8,0) c | Initial random_seed   | 1870206842 |  657019659 | 1589222377 |  252994634 |  940493806 | 1689873471 |   12767408 |  494992536 |
68.34/28.40	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
68.34/28.40	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
68.34/28.40	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
68.34/28.40	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
68.34/28.40	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
68.34/28.40	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
68.34/28.40	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
68.34/28.40	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
68.34/28.40	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
68.34/28.40	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
68.34/28.40	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
68.34/28.40	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.34/28.40	c (8,0) 
68.34/28.41	c (8,0) s SATISFIABLE
68.68/28.52	c (8,0) SatSolver.solve End
68.68/28.52	c (8,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
68.68/28.52	c (8,0) Show results Begin
69.20/28.72	c (9,0) cls[0] = 17
69.20/28.72	c (9,0) cls[1] = 4
69.20/28.72	c (9,0) cls[2] = 15
69.20/28.72	c (9,0) cls[3] = 8
69.20/28.72	c (9,0) cls[4] = 0
69.20/28.72	c (9,0) cls[5] = 11
69.20/28.72	c (9,0) cls[6] = 8
69.20/28.72	c (9,0) cls[7] = 4
69.20/28.72	c (9,0) cls[8] = 0
69.20/28.72	c (9,0) cls[9] = 15
69.20/28.72	c (9,0) cls[10] = 16
69.20/28.72	c (9,0) cls[11] = 8
69.20/28.72	c (9,0) cls[12] = 7
69.20/28.72	c (9,0) cls[13] = 0
69.20/28.72	c (9,0) cls[14] = 2
69.20/28.72	c (9,0) cls[15] = 16
69.20/28.72	c (9,0) cls[16] = 22
69.20/28.72	c (9,0) cls[17] = 15
69.20/28.72	c (9,0) cls[18] = 22
69.20/28.72	c (9,0) cls[19] = 16
69.20/28.72	c (9,0) cls[20] = 15
69.20/28.72	c (9,0) cls[21] = 8
69.20/28.72	c (9,0) cls[22] = 13
69.20/28.72	c (9,0) cls[23] = 5
69.20/28.72	c (9,0) cls[24] = 15
69.20/28.72	c (9,0) cls[25] = 0
69.20/28.72	c (9,0) cls[26] = 11
69.20/28.72	c (9,0) cls[27] = 8
69.20/28.72	c (9,0) cls[28] = 8
69.20/28.72	c (9,0) cls[29] = 13
69.20/28.72	c (9,0) cls[30] = 0
69.20/28.72	c (9,0) cls[31] = 12
69.20/28.72	c (9,0) cls[32] = 0
69.20/28.72	c (9,0) cls[33] = 8
69.20/28.72	c (9,0) cls[34] = 18
69.20/28.72	c (9,0) cls[35] = 16
69.20/28.72	c (9,0) cls[36] = 15
69.20/28.72	c (9,0) cls[37] = 0
69.20/28.72	c (9,0) cls[38] = 4
69.20/28.72	c (9,0) cls[39] = 12
69.20/28.72	c (9,0) cls[40] = 14
69.20/28.72	c (9,0) cls[41] = 0
69.20/28.72	c (9,0) cls[42] = 12
69.20/28.72	c (9,0) cls[43] = 2
69.20/28.72	c (9,0) cls[44] = 0
69.20/28.72	c (9,0) cls[45] = 17
69.20/28.72	c (9,0) cls[46] = 8
69.20/28.72	c (9,0) cls[47] = 0
69.20/28.72	c (9,0) cls[48] = 6
69.20/28.72	c (9,0) cls[49] = 8
69.20/28.72	c (9,0) cls[50] = 14
69.20/28.72	c (9,0) cls[51] = 0
69.20/28.72	c (9,0) cls[52] = 11
69.20/28.72	c (9,0) cls[53] = 2
69.20/28.72	c (9,0) cls[54] = 0
69.20/28.72	c (9,0) cls[55] = 15
69.20/28.72	c (9,0) cls[56] = 0
69.20/28.72	c (9,0) cls[57] = 7
69.20/28.72	c (9,0) cls[58] = 12
69.20/28.72	c (9,0) cls[59] = 23
69.20/28.72	c (9,0) cls[60] = 0
69.20/28.72	c (9,0) cls[61] = 8
69.20/28.72	c (9,0) cls[62] = 5
69.20/28.72	c (9,0) cls[63] = 0
69.20/28.72	c (9,0) cls[64] = 15
69.20/28.72	c (9,0) cls[65] = 0
69.20/28.72	c (9,0) cls[66] = 17
69.20/28.72	c (9,0) cls[67] = 8
69.20/28.72	c (9,0) cls[68] = 2
69.20/28.72	c (9,0) cls[69] = 8
69.20/28.72	c (9,0) cls[70] = 12
69.20/28.72	c (9,0) cls[71] = 14
69.20/28.72	c (9,0) cls[72] = 0
69.20/28.72	c (9,0) cls[73] = 10
69.20/28.72	c (9,0) cls[74] = 22
69.20/28.72	c (9,0) cls[75] = 15
69.20/28.72	c (9,0) cls[76] = 16
69.20/28.72	c (9,0) cls[77] = 0
69.20/28.72	c (9,0) cls[78] = 2
69.20/28.72	c (9,0) cls[79] = 12
69.20/28.72	c (9,0) cls[80] = 7
69.20/28.72	c (9,0) cls[81] = 0
69.20/28.72	c (9,0) cls[82] = 11
69.20/28.72	c (9,0) cls[83] = 4
69.20/28.72	c (9,0) cls[84] = 18
69.20/28.72	c (9,0) cls[85] = 12
69.20/28.73	c (9,0) cls[86] = 7
69.20/28.73	c (9,0) cls[87] = 0
69.20/28.73	c (9,0) cls[88] = 2
69.20/28.73	c (9,0) cls[89] = 17
69.20/28.73	c (9,0) cls[90] = 22
69.20/28.73	c (9,0) cls[91] = 8
69.20/28.73	c (9,0) cls[92] = 15
69.20/28.73	c (9,0) cls[93] = 8
69.20/28.73	c (9,0) cls[94] = 6
69.20/28.73	c (9,0) cls[95] = 0
69.20/28.73	c (9,0) cls[96] = 0
69.20/28.73	c (9,0) cls[97] = 11
69.20/28.73	c (9,0) cls[98] = 0
69.20/28.73	c (9,0) cls[99] = 2
69.20/28.73	c (9,0) cls[100] = 14
69.20/28.73	c (9,0) cls[101] = 8
69.20/28.73	c (9,0) cls[102] = 3
69.20/28.73	c (9,0) cls[103] = 22
69.20/28.73	c (9,0) cls[104] = 23
69.20/28.73	c (9,0) cls[105] = 22
69.20/28.73	c (9,0) cls[106] = 14
69.20/28.73	c (9,0) cls[107] = 19
69.20/28.73	c (9,0) cls[108] = 7
69.20/28.73	c (9,0) cls[109] = 2
69.20/28.73	c (9,0) cls[110] = 17
69.20/28.73	c (9,0) cls[111] = 0
69.20/28.73	c (9,0) cls[112] = 18
69.20/28.73	c (9,0) cls[113] = 22
69.20/28.73	c (9,0) cls[114] = 14
69.20/28.73	c (9,0) cls[115] = 10
69.20/28.73	c (9,0) cls[116] = 14
69.20/28.73	c (9,0) cls[117] = 8
69.20/28.73	c (9,0) cls[118] = 0
69.20/28.73	c (9,0) cls[119] = 16
69.20/28.73	c (9,0) cls[120] = 15
69.20/28.73	c (9,0) cls[121] = 0
69.20/28.73	c (9,0) cls[122] = 11
69.20/28.73	c (9,0) cls[123] = 0
69.20/28.73	c (9,0) cls[124] = 2
69.20/28.73	c (9,0) cls[125] = 0
69.20/28.73	c (9,0) cls[126] = 20
69.20/28.73	c (9,0) cls[127] = 22
69.20/28.73	c (9,0) cls[128] = 15
69.20/28.73	c (9,0) cls[129] = 19
69.20/28.73	c (9,0) cls[130] = 22
69.20/28.73	c (9,0) cls[131] = 1
69.20/28.73	c (9,0) cls[132] = 17
69.20/28.73	c (9,0) cls[133] = 0
69.20/28.73	c (9,0) cls[134] = 18
69.20/28.73	c (9,0) cls[135] = 16
69.20/28.73	c (9,0) cls[136] = 13
69.20/28.73	c (9,0) cls[137] = 8
69.20/28.73	c (9,0) cls[138] = 14
69.20/28.73	c (9,0) cls[139] = 5
69.20/28.73	c (9,0) cls[140] = 15
69.20/28.73	c (9,0) cls[141] = 22
69.20/28.73	c (9,0) cls[142] = 15
69.20/28.73	c (9,0) cls[143] = 1
69.20/28.73	c (9,0) cls[144] = 12
69.20/28.73	c (9,0) cls[145] = 22
69.20/28.73	c (9,0) cls[146] = 14
69.20/28.73	c (9,0) cls[147] = 12
69.20/28.73	c (9,0) cls[148] = 7
69.20/28.73	c (9,0) cls[149] = 21
69.20/28.73	c (9,0) cls[150] = 15
69.20/28.73	c (9,0) cls[151] = 0
69.20/28.73	c (9,0) cls[152] = 15
69.20/28.73	c (9,0) cls[153] = 0
69.20/28.73	c (9,0) cls[154] = 4
69.20/28.73	c (9,0) cls[155] = 12
69.20/28.73	c (9,0) cls[156] = 0
69.20/28.73	c (9,0) cls[157] = 15
69.20/28.73	c (9,0) cls[158] = 19
69.20/28.73	c (9,0) cls[159] = 9
69.20/28.73	c (9,0) cls[160] = 0
69.20/28.73	c (9,0) cls[161] = 15
69.20/28.73	c (9,0) cls[162] = 0
69.20/28.73	c (9,0) cls[163] = 5
69.20/28.73	c (9,0) cls[164] = 2
69.20/28.73	c (9,0) cls[165] = 15
69.20/28.73	c (9,0) cls[166] = 0
69.20/28.73	c (9,0) cls[167] = 20
69.20/28.73	c (9,0) cls[168] = 22
69.20/28.73	c (9,0) cls[169] = 2
69.20/28.73	c (9,0) cls[170] = 3
69.20/28.73	c (9,0) cls[171] = 0
69.20/28.73	c (9,0) cls[172] = 15
69.20/28.73	c (9,0) cls[173] = 12
69.20/28.73	c (9,0) cls[174] = 13
69.20/28.73	c (9,0) cls[175] = 0
69.20/28.73	c (9,0) cls[176] = 12
69.20/28.73	c (9,0) cls[177] = 22
69.20/28.73	c (9,0) cls[178] = 14
69.20/28.73	c (9,0) cls[179] = 1
69.20/28.73	c (9,0) cls[180] = 20
69.20/28.73	c (9,0) cls[181] = 0
69.20/28.73	c (9,0) cls[182] = 0
69.20/28.73	c (9,0) cls[183] = 11
69.20/28.73	c (9,0) cls[184] = 4
69.20/28.73	c (9,0) cls[185] = 8
69.20/28.73	c (9,0) cls[186] = 14
69.20/28.73	c (9,0) cls[187] = 16
69.20/28.73	c (9,0) cls[188] = 18
69.20/28.73	c (9,0) cls[189] = 4
69.20/28.73	c (9,0) cls[190] = 12
69.20/28.73	c (9,0) cls[191] = 0
69.20/28.73	c (9,0) cls[192] = 7
69.20/28.73	c (9,0) cls[193] = 12
69.20/28.73	c (9,0) cls[194] = 9
69.20/28.73	c (9,0) cls[195] = 22
69.20/28.73	c (9,0) cls[196] = 15
69.20/28.73	c (9,0) cls[197] = 8
69.20/28.73	c (9,0) cls[198] = 16
69.20/28.73	c (9,0) cls[199] = 23
69.20/28.73	c (9,0) opt[0][0] = 1
69.20/28.73	c (9,0) opt[0][1] = 1
69.20/28.73	c (9,0) opt[0][2] = 1
69.20/28.73	c (9,0) opt[0][3] = 0
69.20/28.73	c (9,0) opt[0][4] = 0
69.20/28.73	c (9,0) opt[1][0] = 0
69.20/28.73	c (9,0) opt[1][1] = 1
69.20/28.73	c (9,0) opt[1][2] = 0
69.20/28.73	c (9,0) opt[1][3] = 0
69.20/28.73	c (9,0) opt[1][4] = 1
69.20/28.73	c (9,0) opt[2][0] = 1
69.20/28.73	c (9,0) opt[2][1] = 0
69.20/28.73	c (9,0) opt[2][2] = 0
69.20/28.73	c (9,0) opt[2][3] = 0
69.20/28.73	c (9,0) opt[2][4] = 0
69.20/28.73	c (9,0) opt[3][0] = 0
69.20/28.73	c (9,0) opt[3][1] = 0
69.20/28.73	c (9,0) opt[3][2] = 0
69.20/28.73	c (9,0) opt[3][3] = 1
69.20/28.73	c (9,0) opt[3][4] = 0
69.20/28.73	c (9,0) opt[4][0] = 0
69.20/28.73	c (9,0) opt[4][1] = 1
69.20/28.73	c (9,0) opt[4][2] = 0
69.20/28.73	c (9,0) opt[4][3] = 0
69.20/28.73	c (9,0) opt[4][4] = 0
69.20/28.73	c (9,0) opt[5][0] = 1
69.20/28.73	c (9,0) opt[5][1] = 0
69.20/28.73	c (9,0) opt[5][2] = 1
69.20/28.73	c (9,0) opt[5][3] = 0
69.20/28.73	c (9,0) opt[5][4] = 0
69.20/28.73	c (9,0) opt[6][0] = 0
69.20/28.73	c (9,0) opt[6][1] = 0
69.20/28.73	c (9,0) opt[6][2] = 0
69.20/28.73	c (9,0) opt[6][3] = 1
69.20/28.73	c (9,0) opt[6][4] = 0
69.20/28.73	c (9,0) opt[7][0] = 0
69.20/28.73	c (9,0) opt[7][1] = 1
69.20/28.73	c (9,0) opt[7][2] = 0
69.20/28.73	c (9,0) opt[7][3] = 0
69.20/28.73	c (9,0) opt[7][4] = 1
69.20/28.73	c (9,0) opt[8][0] = 0
69.20/28.73	c (9,0) opt[8][1] = 1
69.20/28.73	c (9,0) opt[8][2] = 0
69.20/28.73	c (9,0) opt[8][3] = 0
69.20/28.73	c (9,0) opt[8][4] = 0
69.20/28.73	c (9,0) opt[9][0] = 1
69.20/28.73	c (9,0) opt[9][1] = 0
69.20/28.73	c (9,0) opt[9][2] = 0
69.20/28.73	c (9,0) opt[9][3] = 0
69.20/28.73	c (9,0) opt[9][4] = 0
69.20/28.73	c (9,0) opt[10][0] = 0
69.20/28.73	c (9,0) opt[10][1] = 1
69.20/28.73	c (9,0) opt[10][2] = 1
69.20/28.73	c (9,0) opt[10][3] = 0
69.20/28.73	c (9,0) opt[10][4] = 0
69.20/28.73	c (9,0) opt[11][0] = 0
69.20/28.73	c (9,0) opt[11][1] = 0
69.20/28.73	c (9,0) opt[11][2] = 0
69.20/28.73	c (9,0) opt[11][3] = 1
69.20/28.73	c (9,0) opt[11][4] = 0
69.20/28.73	c (9,0) opt[12][0] = 1
69.20/28.73	c (9,0) opt[12][1] = 1
69.20/28.73	c (9,0) opt[12][2] = 0
69.20/28.73	c (9,0) opt[12][3] = 1
69.20/28.73	c (9,0) opt[12][4] = 0
69.20/28.73	c (9,0) opt[13][0] = 0
69.20/28.73	c (9,0) opt[13][1] = 1
69.20/28.73	c (9,0) opt[13][2] = 0
69.20/28.73	c (9,0) opt[13][3] = 0
69.20/28.73	c (9,0) opt[13][4] = 0
69.20/28.73	c (9,0) opt[14][0] = 0
69.20/28.73	c (9,0) opt[14][1] = 0
69.20/28.73	c (9,0) opt[14][2] = 0
69.20/28.73	c (9,0) opt[14][3] = 0
69.20/28.73	c (9,0) opt[14][4] = 1
69.20/28.73	c (9,0) opt[15][0] = 0
69.20/28.73	c (9,0) opt[15][1] = 1
69.20/28.73	c (9,0) opt[15][2] = 1
69.20/28.73	c (9,0) opt[15][3] = 0
69.20/28.73	c (9,0) opt[15][4] = 0
69.20/28.73	c (9,0) opt[16][0] = 0
69.20/28.73	c (9,0) opt[16][1] = 1
69.20/28.73	c (9,0) opt[16][2] = 0
69.20/28.73	c (9,0) opt[16][3] = 0
69.20/28.73	c (9,0) opt[16][4] = 0
69.20/28.73	c (9,0) opt[17][0] = 1
69.20/28.73	c (9,0) opt[17][1] = 0
69.20/28.73	c (9,0) opt[17][2] = 0
69.20/28.73	c (9,0) opt[17][3] = 0
69.20/28.73	c (9,0) opt[17][4] = 0
69.20/28.73	c (9,0) opt[18][0] = 0
69.20/28.73	c (9,0) opt[18][1] = 1
69.20/28.73	c (9,0) opt[18][2] = 0
69.20/28.73	c (9,0) opt[18][3] = 0
69.20/28.73	c (9,0) opt[18][4] = 0
69.20/28.73	c (9,0) opt[19][0] = 0
69.20/28.73	c (9,0) opt[19][1] = 1
69.20/28.73	c (9,0) opt[19][2] = 1
69.20/28.73	c (9,0) opt[19][3] = 0
69.20/28.73	c (9,0) opt[19][4] = 0
69.20/28.73	c (9,0) opt[20][0] = 1
69.20/28.73	c (9,0) opt[20][1] = 0
69.20/28.73	c (9,0) opt[20][2] = 0
69.20/28.73	c (9,0) opt[20][3] = 0
69.20/28.73	c (9,0) opt[20][4] = 0
69.20/28.73	c (9,0) opt[21][0] = 0
69.20/28.73	c (9,0) opt[21][1] = 0
69.20/28.73	c (9,0) opt[21][2] = 0
69.20/28.73	c (9,0) opt[21][3] = 1
69.20/28.73	c (9,0) opt[21][4] = 0
69.20/28.73	c (9,0) opt[22][0] = 1
69.20/28.73	c (9,0) opt[22][1] = 1
69.20/28.73	c (9,0) opt[22][2] = 0
69.20/28.73	c (9,0) opt[22][3] = 0
69.20/28.73	c (9,0) opt[22][4] = 1
69.20/28.73	c (9,0) opt[23][0] = 0
69.20/28.73	c (9,0) opt[23][1] = 1
69.20/28.73	c (9,0) opt[23][2] = 1
69.20/28.73	c (9,0) opt[23][3] = 1
69.20/28.73	c (9,0) opt[23][4] = 0
69.20/28.73	c (9,0) opt[24][0] = 1
69.20/28.73	c (9,0) opt[24][1] = 0
69.20/28.73	c (9,0) opt[24][2] = 0
69.20/28.73	c (9,0) opt[24][3] = 0
69.20/28.73	c (9,0) opt[24][4] = 0
69.20/28.73	c (9,0) opt[25][0] = 0
69.20/28.73	c (9,0) opt[25][1] = 1
69.20/28.73	c (9,0) opt[25][2] = 0
69.20/28.73	c (9,0) opt[25][3] = 0
69.20/28.73	c (9,0) opt[25][4] = 0
69.20/28.73	c (9,0) opt[26][0] = 1
69.20/28.73	c (9,0) opt[26][1] = 0
69.20/28.73	c (9,0) opt[26][2] = 1
69.20/28.73	c (9,0) opt[26][3] = 0
69.20/28.73	c (9,0) opt[26][4] = 0
69.20/28.73	c (9,0) opt[27][0] = 0
69.20/28.73	c (9,0) opt[27][1] = 0
69.20/28.73	c (9,0) opt[27][2] = 0
69.20/28.73	c (9,0) opt[27][3] = 1
69.20/28.73	c (9,0) opt[27][4] = 0
69.20/28.73	c (9,0) opt[28][0] = 0
69.20/28.73	c (9,0) opt[28][1] = 0
69.20/28.73	c (9,0) opt[28][2] = 0
69.20/28.73	c (9,0) opt[28][3] = 1
69.20/28.73	c (9,0) opt[28][4] = 0
69.20/28.73	c (9,0) opt[29][0] = 1
69.20/28.73	c (9,0) opt[29][1] = 1
69.20/28.73	c (9,0) opt[29][2] = 0
69.20/28.73	c (9,0) opt[29][3] = 0
69.20/28.73	c (9,0) opt[29][4] = 1
69.20/28.73	c (9,0) opt[30][0] = 0
69.20/28.73	c (9,0) opt[30][1] = 1
69.20/28.73	c (9,0) opt[30][2] = 0
69.20/28.73	c (9,0) opt[30][3] = 0
69.20/28.73	c (9,0) opt[30][4] = 0
69.20/28.73	c (9,0) opt[31][0] = 0
69.20/28.73	c (9,0) opt[31][1] = 0
69.20/28.73	c (9,0) opt[31][2] = 1
69.20/28.73	c (9,0) opt[31][3] = 0
69.20/28.73	c (9,0) opt[31][4] = 0
69.20/28.73	c (9,0) opt[32][0] = 0
69.20/28.73	c (9,0) opt[32][1] = 1
69.20/28.73	c (9,0) opt[32][2] = 0
69.20/28.73	c (9,0) opt[32][3] = 0
69.20/28.73	c (9,0) opt[32][4] = 0
69.20/28.73	c (9,0) opt[33][0] = 0
69.20/28.73	c (9,0) opt[33][1] = 0
69.20/28.73	c (9,0) opt[33][2] = 0
69.20/28.73	c (9,0) opt[33][3] = 1
69.20/28.73	c (9,0) opt[33][4] = 0
69.20/28.73	c (9,0) opt[34][0] = 1
69.20/28.73	c (9,0) opt[34][1] = 0
69.20/28.73	c (9,0) opt[34][2] = 0
69.20/28.73	c (9,0) opt[34][3] = 1
69.20/28.73	c (9,0) opt[34][4] = 0
69.20/28.73	c (9,0) opt[35][0] = 0
69.20/28.73	c (9,0) opt[35][1] = 1
69.20/28.73	c (9,0) opt[35][2] = 1
69.20/28.73	c (9,0) opt[35][3] = 0
69.20/28.73	c (9,0) opt[35][4] = 0
69.20/28.73	c (9,0) opt[36][0] = 1
69.20/28.73	c (9,0) opt[36][1] = 0
69.20/28.73	c (9,0) opt[36][2] = 0
69.20/28.73	c (9,0) opt[36][3] = 0
69.20/28.73	c (9,0) opt[36][4] = 0
69.20/28.73	c (9,0) opt[37][0] = 0
69.20/28.73	c (9,0) opt[37][1] = 1
69.20/28.73	c (9,0) opt[37][2] = 0
69.20/28.73	c (9,0) opt[37][3] = 0
69.20/28.73	c (9,0) opt[37][4] = 0
69.20/28.73	c (9,0) opt[38][0] = 0
69.20/28.73	c (9,0) opt[38][1] = 1
69.20/28.73	c (9,0) opt[38][2] = 0
69.20/28.73	c (9,0) opt[38][3] = 0
69.20/28.73	c (9,0) opt[38][4] = 1
69.20/28.73	c (9,0) opt[39][0] = 0
69.20/28.73	c (9,0) opt[39][1] = 0
69.20/28.73	c (9,0) opt[39][2] = 1
69.20/28.73	c (9,0) opt[39][3] = 0
69.20/28.73	c (9,0) opt[39][4] = 0
69.20/28.73	c (9,0) opt[40][0] = 1
69.20/28.73	c (9,0) opt[40][1] = 1
69.20/28.73	c (9,0) opt[40][2] = 0
69.20/28.73	c (9,0) opt[40][3] = 0
69.20/28.73	c (9,0) opt[40][4] = 0
69.20/28.73	c (9,0) opt[41][0] = 0
69.20/28.73	c (9,0) opt[41][1] = 1
69.20/28.73	c (9,0) opt[41][2] = 0
69.20/28.73	c (9,0) opt[41][3] = 0
69.20/28.73	c (9,0) opt[41][4] = 0
69.20/28.73	c (9,0) opt[42][0] = 0
69.20/28.73	c (9,0) opt[42][1] = 0
69.20/28.73	c (9,0) opt[42][2] = 1
69.20/28.73	c (9,0) opt[42][3] = 0
69.20/28.73	c (9,0) opt[42][4] = 0
69.20/28.73	c (9,0) opt[43][0] = 0
69.20/28.73	c (9,0) opt[43][1] = 0
69.20/28.73	c (9,0) opt[43][2] = 0
69.20/28.73	c (9,0) opt[43][3] = 0
69.20/28.73	c (9,0) opt[43][4] = 1
69.20/28.73	c (9,0) opt[44][0] = 0
69.20/28.73	c (9,0) opt[44][1] = 1
69.20/28.73	c (9,0) opt[44][2] = 0
69.20/28.73	c (9,0) opt[44][3] = 0
69.20/28.73	c (9,0) opt[44][4] = 0
69.20/28.73	c (9,0) opt[45][0] = 1
69.20/28.73	c (9,0) opt[45][1] = 1
69.20/28.73	c (9,0) opt[45][2] = 1
69.20/28.73	c (9,0) opt[45][3] = 0
69.20/28.73	c (9,0) opt[45][4] = 0
69.20/28.73	c (9,0) opt[46][0] = 0
69.20/28.73	c (9,0) opt[46][1] = 0
69.20/28.73	c (9,0) opt[46][2] = 0
69.20/28.73	c (9,0) opt[46][3] = 1
69.20/28.73	c (9,0) opt[46][4] = 0
69.20/28.73	c (9,0) opt[47][0] = 0
69.20/28.73	c (9,0) opt[47][1] = 1
69.20/28.73	c (9,0) opt[47][2] = 0
69.20/28.73	c (9,0) opt[47][3] = 0
69.20/28.73	c (9,0) opt[47][4] = 0
69.20/28.73	c (9,0) opt[48][0] = 1
69.20/28.73	c (9,0) opt[48][1] = 0
69.20/28.73	c (9,0) opt[48][2] = 1
69.20/28.73	c (9,0) opt[48][3] = 0
69.20/28.73	c (9,0) opt[48][4] = 1
69.20/28.73	c (9,0) opt[49][0] = 0
69.20/28.73	c (9,0) opt[49][1] = 0
69.20/28.73	c (9,0) opt[49][2] = 0
69.20/28.73	c (9,0) opt[49][3] = 1
69.20/28.73	c (9,0) opt[49][4] = 0
69.20/28.73	c (9,0) opt[50][0] = 1
69.20/28.73	c (9,0) opt[50][1] = 1
69.20/28.73	c (9,0) opt[50][2] = 0
69.20/28.73	c (9,0) opt[50][3] = 0
69.20/28.73	c (9,0) opt[50][4] = 0
69.20/28.73	c (9,0) opt[51][0] = 0
69.20/28.73	c (9,0) opt[51][1] = 1
69.20/28.73	c (9,0) opt[51][2] = 0
69.20/28.73	c (9,0) opt[51][3] = 0
69.20/28.73	c (9,0) opt[51][4] = 0
69.20/28.73	c (9,0) opt[52][0] = 1
69.20/28.73	c (9,0) opt[52][1] = 0
69.20/28.73	c (9,0) opt[52][2] = 1
69.20/28.73	c (9,0) opt[52][3] = 0
69.20/28.73	c (9,0) opt[52][4] = 0
69.20/28.73	c (9,0) opt[53][0] = 0
69.20/28.73	c (9,0) opt[53][1] = 0
69.20/28.73	c (9,0) opt[53][2] = 0
69.20/28.73	c (9,0) opt[53][3] = 0
69.20/28.73	c (9,0) opt[53][4] = 1
69.20/28.73	c (9,0) opt[54][0] = 0
69.20/28.73	c (9,0) opt[54][1] = 1
69.20/28.73	c (9,0) opt[54][2] = 0
69.20/28.73	c (9,0) opt[54][3] = 0
69.20/28.73	c (9,0) opt[54][4] = 0
69.20/28.73	c (9,0) opt[55][0] = 1
69.20/28.73	c (9,0) opt[55][1] = 0
69.20/28.73	c (9,0) opt[55][2] = 0
69.20/28.73	c (9,0) opt[55][3] = 0
69.20/28.73	c (9,0) opt[55][4] = 0
69.20/28.73	c (9,0) opt[56][0] = 0
69.20/28.73	c (9,0) opt[56][1] = 1
69.20/28.73	c (9,0) opt[56][2] = 0
69.20/28.73	c (9,0) opt[56][3] = 0
69.20/28.73	c (9,0) opt[56][4] = 0
69.20/28.73	c (9,0) opt[57][0] = 1
69.20/28.73	c (9,0) opt[57][1] = 1
69.20/28.73	c (9,0) opt[57][2] = 0
69.20/28.73	c (9,0) opt[57][3] = 1
69.20/28.73	c (9,0) opt[57][4] = 0
69.20/28.73	c (9,0) opt[58][0] = 0
69.20/28.73	c (9,0) opt[58][1] = 0
69.20/28.73	c (9,0) opt[58][2] = 1
69.20/28.73	c (9,0) opt[58][3] = 0
69.20/28.73	c (9,0) opt[58][4] = 0
69.20/28.73	c (9,0) opt[59][0] = 1
69.20/28.73	c (9,0) opt[59][1] = 0
69.20/28.73	c (9,0) opt[59][2] = 0
69.20/28.73	c (9,0) opt[59][3] = 0
69.20/28.73	c (9,0) opt[59][4] = 1
69.20/28.73	c (9,0) opt[60][0] = 0
69.20/28.73	c (9,0) opt[60][1] = 1
69.20/28.73	c (9,0) opt[60][2] = 0
69.20/28.73	c (9,0) opt[60][3] = 0
69.20/28.73	c (9,0) opt[60][4] = 0
69.20/28.73	c (9,0) opt[61][0] = 0
69.20/28.73	c (9,0) opt[61][1] = 0
69.20/28.73	c (9,0) opt[61][2] = 0
69.20/28.73	c (9,0) opt[61][3] = 1
69.20/28.73	c (9,0) opt[61][4] = 0
69.20/28.73	c (9,0) opt[62][0] = 0
69.20/28.73	c (9,0) opt[62][1] = 1
69.20/28.73	c (9,0) opt[62][2] = 1
69.20/28.73	c (9,0) opt[62][3] = 1
69.20/28.73	c (9,0) opt[62][4] = 0
69.20/28.73	c (9,0) opt[63][0] = 0
69.20/28.73	c (9,0) opt[63][1] = 1
69.20/28.73	c (9,0) opt[63][2] = 0
69.20/28.73	c (9,0) opt[63][3] = 0
69.20/28.73	c (9,0) opt[63][4] = 0
69.20/28.73	c (9,0) opt[64][0] = 1
69.20/28.73	c (9,0) opt[64][1] = 0
69.20/28.73	c (9,0) opt[64][2] = 0
69.20/28.73	c (9,0) opt[64][3] = 0
69.20/28.73	c (9,0) opt[64][4] = 0
69.20/28.73	c (9,0) opt[65][0] = 0
69.20/28.73	c (9,0) opt[65][1] = 1
69.20/28.73	c (9,0) opt[65][2] = 0
69.20/28.73	c (9,0) opt[65][3] = 0
69.20/28.73	c (9,0) opt[65][4] = 0
69.20/28.73	c (9,0) opt[66][0] = 1
69.20/28.73	c (9,0) opt[66][1] = 1
69.20/28.73	c (9,0) opt[66][2] = 1
69.20/28.73	c (9,0) opt[66][3] = 0
69.20/28.73	c (9,0) opt[66][4] = 0
69.20/28.73	c (9,0) opt[67][0] = 0
69.20/28.73	c (9,0) opt[67][1] = 0
69.20/28.73	c (9,0) opt[67][2] = 0
69.20/28.73	c (9,0) opt[67][3] = 1
69.20/28.73	c (9,0) opt[67][4] = 0
69.20/28.73	c (9,0) opt[68][0] = 0
69.20/28.73	c (9,0) opt[68][1] = 0
69.20/28.73	c (9,0) opt[68][2] = 0
69.20/28.73	c (9,0) opt[68][3] = 0
69.20/28.73	c (9,0) opt[68][4] = 1
69.20/28.73	c (9,0) opt[69][0] = 0
69.20/28.73	c (9,0) opt[69][1] = 0
69.20/28.73	c (9,0) opt[69][2] = 0
69.20/28.73	c (9,0) opt[69][3] = 1
69.20/28.73	c (9,0) opt[69][4] = 0
69.20/28.73	c (9,0) opt[70][0] = 0
69.20/28.73	c (9,0) opt[70][1] = 0
69.20/28.73	c (9,0) opt[70][2] = 1
69.20/28.73	c (9,0) opt[70][3] = 0
69.20/28.73	c (9,0) opt[70][4] = 0
69.20/28.73	c (9,0) opt[71][0] = 1
69.20/28.73	c (9,0) opt[71][1] = 1
69.20/28.73	c (9,0) opt[71][2] = 0
69.20/28.73	c (9,0) opt[71][3] = 0
69.20/28.73	c (9,0) opt[71][4] = 0
69.20/28.73	c (9,0) opt[72][0] = 0
69.20/28.73	c (9,0) opt[72][1] = 1
69.20/28.73	c (9,0) opt[72][2] = 0
69.20/28.73	c (9,0) opt[72][3] = 0
69.20/28.73	c (9,0) opt[72][4] = 0
69.20/28.73	c (9,0) opt[73][0] = 0
69.20/28.73	c (9,0) opt[73][1] = 0
69.20/28.73	c (9,0) opt[73][2] = 1
69.20/28.73	c (9,0) opt[73][3] = 1
69.20/28.73	c (9,0) opt[73][4] = 1
69.20/28.73	c (9,0) opt[74][0] = 0
69.20/28.73	c (9,0) opt[74][1] = 1
69.20/28.73	c (9,0) opt[74][2] = 0
69.20/28.73	c (9,0) opt[74][3] = 0
69.20/28.73	c (9,0) opt[74][4] = 0
69.20/28.73	c (9,0) opt[75][0] = 1
69.20/28.73	c (9,0) opt[75][1] = 0
69.20/28.73	c (9,0) opt[75][2] = 0
69.20/28.73	c (9,0) opt[75][3] = 0
69.20/28.73	c (9,0) opt[75][4] = 0
69.20/28.73	c (9,0) opt[76][0] = 0
69.20/28.73	c (9,0) opt[76][1] = 1
69.20/28.73	c (9,0) opt[76][2] = 1
69.20/28.73	c (9,0) opt[76][3] = 0
69.20/28.73	c (9,0) opt[76][4] = 0
69.20/28.73	c (9,0) opt[77][0] = 0
69.20/28.73	c (9,0) opt[77][1] = 1
69.20/28.73	c (9,0) opt[77][2] = 0
69.20/28.73	c (9,0) opt[77][3] = 0
69.20/28.73	c (9,0) opt[77][4] = 0
69.20/28.73	c (9,0) opt[78][0] = 0
69.20/28.73	c (9,0) opt[78][1] = 0
69.20/28.73	c (9,0) opt[78][2] = 0
69.20/28.73	c (9,0) opt[78][3] = 0
69.20/28.73	c (9,0) opt[78][4] = 1
69.20/28.73	c (9,0) opt[79][0] = 0
69.20/28.73	c (9,0) opt[79][1] = 0
69.20/28.73	c (9,0) opt[79][2] = 1
69.20/28.73	c (9,0) opt[79][3] = 0
69.20/28.73	c (9,0) opt[79][4] = 0
69.20/28.73	c (9,0) opt[80][0] = 1
69.20/28.73	c (9,0) opt[80][1] = 1
69.20/28.73	c (9,0) opt[80][2] = 0
69.20/28.73	c (9,0) opt[80][3] = 1
69.20/28.73	c (9,0) opt[80][4] = 0
69.20/28.73	c (9,0) opt[81][0] = 0
69.20/28.73	c (9,0) opt[81][1] = 1
69.20/28.73	c (9,0) opt[81][2] = 0
69.20/28.73	c (9,0) opt[81][3] = 0
69.20/28.73	c (9,0) opt[81][4] = 0
69.20/28.73	c (9,0) opt[82][0] = 1
69.20/28.73	c (9,0) opt[82][1] = 0
69.20/28.73	c (9,0) opt[82][2] = 1
69.20/28.73	c (9,0) opt[82][3] = 0
69.20/28.73	c (9,0) opt[82][4] = 0
69.20/28.73	c (9,0) opt[83][0] = 0
69.20/28.73	c (9,0) opt[83][1] = 1
69.20/28.73	c (9,0) opt[83][2] = 0
69.20/28.73	c (9,0) opt[83][3] = 0
69.20/28.73	c (9,0) opt[83][4] = 1
69.20/28.73	c (9,0) opt[84][0] = 1
69.20/28.73	c (9,0) opt[84][1] = 0
69.20/28.73	c (9,0) opt[84][2] = 0
69.20/28.73	c (9,0) opt[84][3] = 1
69.20/28.73	c (9,0) opt[84][4] = 0
69.20/28.73	c (9,0) opt[85][0] = 0
69.20/28.73	c (9,0) opt[85][1] = 0
69.20/28.73	c (9,0) opt[85][2] = 1
69.20/28.73	c (9,0) opt[85][3] = 0
69.20/28.73	c (9,0) opt[85][4] = 0
69.20/28.73	c (9,0) opt[86][0] = 1
69.20/28.73	c (9,0) opt[86][1] = 1
69.20/28.73	c (9,0) opt[86][2] = 0
69.20/28.73	c (9,0) opt[86][3] = 1
69.20/28.73	c (9,0) opt[86][4] = 0
69.20/28.73	c (9,0) opt[87][0] = 0
69.20/28.73	c (9,0) opt[87][1] = 1
69.20/28.73	c (9,0) opt[87][2] = 0
69.20/28.73	c (9,0) opt[87][3] = 0
69.20/28.73	c (9,0) opt[87][4] = 0
69.20/28.73	c (9,0) opt[88][0] = 0
69.20/28.73	c (9,0) opt[88][1] = 0
69.20/28.73	c (9,0) opt[88][2] = 0
69.20/28.73	c (9,0) opt[88][3] = 0
69.20/28.73	c (9,0) opt[88][4] = 1
69.20/28.73	c (9,0) opt[89][0] = 1
69.20/28.73	c (9,0) opt[89][1] = 1
69.20/28.73	c (9,0) opt[89][2] = 1
69.20/28.73	c (9,0) opt[89][3] = 0
69.20/28.73	c (9,0) opt[89][4] = 0
69.20/28.73	c (9,0) opt[90][0] = 0
69.20/28.73	c (9,0) opt[90][1] = 1
69.20/28.73	c (9,0) opt[90][2] = 0
69.20/28.73	c (9,0) opt[90][3] = 0
69.20/28.73	c (9,0) opt[90][4] = 0
69.20/28.73	c (9,0) opt[91][0] = 0
69.20/28.73	c (9,0) opt[91][1] = 0
69.20/28.73	c (9,0) opt[91][2] = 0
69.20/28.73	c (9,0) opt[91][3] = 1
69.20/28.73	c (9,0) opt[91][4] = 0
69.20/28.73	c (9,0) opt[92][0] = 1
69.20/28.73	c (9,0) opt[92][1] = 0
69.20/28.73	c (9,0) opt[92][2] = 0
69.20/28.73	c (9,0) opt[92][3] = 0
69.20/28.73	c (9,0) opt[92][4] = 0
69.20/28.73	c (9,0) opt[93][0] = 0
69.20/28.73	c (9,0) opt[93][1] = 0
69.20/28.73	c (9,0) opt[93][2] = 0
69.20/28.73	c (9,0) opt[93][3] = 1
69.20/28.73	c (9,0) opt[93][4] = 0
69.20/28.73	c (9,0) opt[94][0] = 1
69.20/28.73	c (9,0) opt[94][1] = 0
69.20/28.73	c (9,0) opt[94][2] = 1
69.20/28.73	c (9,0) opt[94][3] = 0
69.20/28.73	c (9,0) opt[94][4] = 1
69.20/28.73	c (9,0) opt[95][0] = 0
69.20/28.73	c (9,0) opt[95][1] = 1
69.20/28.73	c (9,0) opt[95][2] = 0
69.20/28.73	c (9,0) opt[95][3] = 0
69.20/28.73	c (9,0) opt[95][4] = 0
69.20/28.73	c (9,0) opt[96][0] = 0
69.20/28.73	c (9,0) opt[96][1] = 1
69.20/28.73	c (9,0) opt[96][2] = 0
69.20/28.73	c (9,0) opt[96][3] = 0
69.20/28.73	c (9,0) opt[96][4] = 0
69.20/28.73	c (9,0) opt[97][0] = 1
69.20/28.73	c (9,0) opt[97][1] = 0
69.20/28.73	c (9,0) opt[97][2] = 1
69.20/28.73	c (9,0) opt[97][3] = 0
69.20/28.73	c (9,0) opt[97][4] = 0
69.20/28.73	c (9,0) opt[98][0] = 0
69.20/28.73	c (9,0) opt[98][1] = 1
69.20/28.73	c (9,0) opt[98][2] = 0
69.20/28.73	c (9,0) opt[98][3] = 0
69.20/28.73	c (9,0) opt[98][4] = 0
69.20/28.73	c (9,0) opt[99][0] = 0
69.20/28.73	c (9,0) opt[99][1] = 0
69.20/28.73	c (9,0) opt[99][2] = 0
69.20/28.73	c (9,0) opt[99][3] = 0
69.20/28.73	c (9,0) opt[99][4] = 1
69.20/28.73	c (9,0) opt[100][0] = 1
69.20/28.73	c (9,0) opt[100][1] = 1
69.20/28.73	c (9,0) opt[100][2] = 0
69.20/28.73	c (9,0) opt[100][3] = 0
69.20/28.73	c (9,0) opt[100][4] = 0
69.20/28.73	c (9,0) opt[101][0] = 0
69.20/28.73	c (9,0) opt[101][1] = 0
69.20/28.73	c (9,0) opt[101][2] = 0
69.20/28.73	c (9,0) opt[101][3] = 1
69.20/28.73	c (9,0) opt[101][4] = 0
69.20/28.73	c (9,0) opt[102][0] = 1
69.20/28.73	c (9,0) opt[102][1] = 1
69.20/28.73	c (9,0) opt[102][2] = 1
69.20/28.73	c (9,0) opt[102][3] = 1
69.20/28.73	c (9,0) opt[102][4] = 0
69.20/28.73	c (9,0) opt[103][0] = 0
69.20/28.73	c (9,0) opt[103][1] = 1
69.20/28.73	c (9,0) opt[103][2] = 0
69.20/28.73	c (9,0) opt[103][3] = 0
69.20/28.73	c (9,0) opt[103][4] = 0
69.20/28.73	c (9,0) opt[104][0] = 1
69.20/28.73	c (9,0) opt[104][1] = 0
69.20/28.73	c (9,0) opt[104][2] = 0
69.20/28.73	c (9,0) opt[104][3] = 0
69.20/28.73	c (9,0) opt[104][4] = 1
69.20/28.73	c (9,0) opt[105][0] = 0
69.20/28.73	c (9,0) opt[105][1] = 1
69.20/28.73	c (9,0) opt[105][2] = 0
69.20/28.73	c (9,0) opt[105][3] = 0
69.20/28.73	c (9,0) opt[105][4] = 0
69.20/28.73	c (9,0) opt[106][0] = 1
69.20/28.73	c (9,0) opt[106][1] = 1
69.20/28.73	c (9,0) opt[106][2] = 0
69.20/28.73	c (9,0) opt[106][3] = 0
69.20/28.73	c (9,0) opt[106][4] = 0
69.20/28.73	c (9,0) opt[107][0] = 0
69.20/28.73	c (9,0) opt[107][1] = 0
69.20/28.73	c (9,0) opt[107][2] = 1
69.20/28.73	c (9,0) opt[107][3] = 1
69.20/28.73	c (9,0) opt[107][4] = 0
69.20/28.73	c (9,0) opt[108][0] = 1
69.20/28.73	c (9,0) opt[108][1] = 1
69.20/28.73	c (9,0) opt[108][2] = 0
69.20/28.73	c (9,0) opt[108][3] = 1
69.20/28.73	c (9,0) opt[108][4] = 0
69.20/28.73	c (9,0) opt[109][0] = 0
69.20/28.73	c (9,0) opt[109][1] = 0
69.20/28.73	c (9,0) opt[109][2] = 0
69.20/28.73	c (9,0) opt[109][3] = 0
69.20/28.73	c (9,0) opt[109][4] = 1
69.20/28.73	c (9,0) opt[110][0] = 1
69.20/28.73	c (9,0) opt[110][1] = 1
69.20/28.73	c (9,0) opt[110][2] = 1
69.20/28.73	c (9,0) opt[110][3] = 0
69.20/28.73	c (9,0) opt[110][4] = 0
69.20/28.73	c (9,0) opt[111][0] = 0
69.20/28.73	c (9,0) opt[111][1] = 1
69.20/28.73	c (9,0) opt[111][2] = 0
69.20/28.73	c (9,0) opt[111][3] = 0
69.20/28.73	c (9,0) opt[111][4] = 0
69.20/28.73	c (9,0) opt[112][0] = 1
69.20/28.73	c (9,0) opt[112][1] = 0
69.20/28.73	c (9,0) opt[112][2] = 0
69.20/28.73	c (9,0) opt[112][3] = 1
69.20/28.73	c (9,0) opt[112][4] = 0
69.20/28.73	c (9,0) opt[113][0] = 0
69.20/28.73	c (9,0) opt[113][1] = 1
69.20/28.73	c (9,0) opt[113][2] = 0
69.20/28.73	c (9,0) opt[113][3] = 0
69.20/28.73	c (9,0) opt[113][4] = 0
69.20/28.73	c (9,0) opt[114][0] = 1
69.20/28.73	c (9,0) opt[114][1] = 1
69.20/28.73	c (9,0) opt[114][2] = 0
69.20/28.73	c (9,0) opt[114][3] = 0
69.20/28.73	c (9,0) opt[114][4] = 0
69.20/28.73	c (9,0) opt[115][0] = 0
69.20/28.73	c (9,0) opt[115][1] = 0
69.20/28.73	c (9,0) opt[115][2] = 1
69.20/28.73	c (9,0) opt[115][3] = 1
69.20/28.73	c (9,0) opt[115][4] = 1
69.20/28.73	c (9,0) opt[116][0] = 1
69.20/28.73	c (9,0) opt[116][1] = 1
69.20/28.73	c (9,0) opt[116][2] = 0
69.20/28.73	c (9,0) opt[116][3] = 0
69.20/28.73	c (9,0) opt[116][4] = 0
69.20/28.73	c (9,0) opt[117][0] = 0
69.20/28.73	c (9,0) opt[117][1] = 0
69.20/28.73	c (9,0) opt[117][2] = 0
69.20/28.73	c (9,0) opt[117][3] = 1
69.20/28.73	c (9,0) opt[117][4] = 0
69.20/28.73	c (9,0) opt[118][0] = 0
69.20/28.73	c (9,0) opt[118][1] = 1
69.20/28.73	c (9,0) opt[118][2] = 0
69.20/28.73	c (9,0) opt[118][3] = 0
69.20/28.73	c (9,0) opt[118][4] = 0
69.20/28.73	c (9,0) opt[119][0] = 0
69.20/28.73	c (9,0) opt[119][1] = 1
69.20/28.73	c (9,0) opt[119][2] = 1
69.20/28.73	c (9,0) opt[119][3] = 0
69.20/28.73	c (9,0) opt[119][4] = 0
69.20/28.73	c (9,0) opt[120][0] = 1
69.20/28.73	c (9,0) opt[120][1] = 0
69.20/28.73	c (9,0) opt[120][2] = 0
69.20/28.73	c (9,0) opt[120][3] = 0
69.20/28.73	c (9,0) opt[120][4] = 0
69.20/28.73	c (9,0) opt[121][0] = 0
69.20/28.73	c (9,0) opt[121][1] = 1
69.20/28.73	c (9,0) opt[121][2] = 0
69.20/28.73	c (9,0) opt[121][3] = 0
69.20/28.73	c (9,0) opt[121][4] = 0
69.20/28.73	c (9,0) opt[122][0] = 1
69.20/28.73	c (9,0) opt[122][1] = 0
69.20/28.73	c (9,0) opt[122][2] = 1
69.20/28.73	c (9,0) opt[122][3] = 0
69.20/28.73	c (9,0) opt[122][4] = 0
69.20/28.73	c (9,0) opt[123][0] = 0
69.20/28.73	c (9,0) opt[123][1] = 1
69.20/28.73	c (9,0) opt[123][2] = 0
69.20/28.73	c (9,0) opt[123][3] = 0
69.20/28.73	c (9,0) opt[123][4] = 0
69.20/28.73	c (9,0) opt[124][0] = 0
69.20/28.73	c (9,0) opt[124][1] = 0
69.20/28.73	c (9,0) opt[124][2] = 0
69.20/28.73	c (9,0) opt[124][3] = 0
69.20/28.73	c (9,0) opt[124][4] = 1
69.20/28.73	c (9,0) opt[125][0] = 0
69.20/28.73	c (9,0) opt[125][1] = 1
69.20/28.73	c (9,0) opt[125][2] = 0
69.20/28.73	c (9,0) opt[125][3] = 0
69.20/28.73	c (9,0) opt[125][4] = 0
69.20/28.73	c (9,0) opt[126][0] = 1
69.20/28.73	c (9,0) opt[126][1] = 0
69.20/28.73	c (9,0) opt[126][2] = 1
69.20/28.73	c (9,0) opt[126][3] = 1
69.20/28.73	c (9,0) opt[126][4] = 0
69.20/28.73	c (9,0) opt[127][0] = 0
69.20/28.73	c (9,0) opt[127][1] = 1
69.20/28.73	c (9,0) opt[127][2] = 0
69.20/28.73	c (9,0) opt[127][3] = 0
69.20/28.73	c (9,0) opt[127][4] = 0
69.20/28.73	c (9,0) opt[128][0] = 1
69.20/28.73	c (9,0) opt[128][1] = 0
69.20/28.73	c (9,0) opt[128][2] = 0
69.20/28.73	c (9,0) opt[128][3] = 0
69.20/28.73	c (9,0) opt[128][4] = 0
69.20/28.73	c (9,0) opt[129][0] = 0
69.20/28.73	c (9,0) opt[129][1] = 0
69.20/28.73	c (9,0) opt[129][2] = 1
69.20/28.73	c (9,0) opt[129][3] = 1
69.20/28.73	c (9,0) opt[129][4] = 0
69.20/28.73	c (9,0) opt[130][0] = 0
69.20/28.73	c (9,0) opt[130][1] = 1
69.20/28.73	c (9,0) opt[130][2] = 0
69.20/28.73	c (9,0) opt[130][3] = 0
69.20/28.73	c (9,0) opt[130][4] = 0
69.20/28.73	c (9,0) opt[131][0] = 0
69.20/28.73	c (9,0) opt[131][1] = 0
69.20/28.73	c (9,0) opt[131][2] = 0
69.20/28.73	c (9,0) opt[131][3] = 1
69.20/28.73	c (9,0) opt[131][4] = 1
69.20/28.73	c (9,0) opt[132][0] = 1
69.20/28.73	c (9,0) opt[132][1] = 1
69.20/28.73	c (9,0) opt[132][2] = 1
69.20/28.73	c (9,0) opt[132][3] = 0
69.20/28.73	c (9,0) opt[132][4] = 0
69.20/28.73	c (9,0) opt[133][0] = 0
69.20/28.73	c (9,0) opt[133][1] = 1
69.20/28.73	c (9,0) opt[133][2] = 0
69.20/28.73	c (9,0) opt[133][3] = 0
69.20/28.73	c (9,0) opt[133][4] = 0
69.20/28.73	c (9,0) opt[134][0] = 1
69.20/28.73	c (9,0) opt[134][1] = 0
69.20/28.73	c (9,0) opt[134][2] = 0
69.20/28.73	c (9,0) opt[134][3] = 1
69.20/28.73	c (9,0) opt[134][4] = 0
69.20/28.73	c (9,0) opt[135][0] = 0
69.20/28.73	c (9,0) opt[135][1] = 1
69.20/28.73	c (9,0) opt[135][2] = 1
69.20/28.73	c (9,0) opt[135][3] = 0
69.20/28.73	c (9,0) opt[135][4] = 0
69.20/28.73	c (9,0) opt[136][0] = 1
69.20/28.73	c (9,0) opt[136][1] = 1
69.20/28.73	c (9,0) opt[136][2] = 0
69.20/28.73	c (9,0) opt[136][3] = 0
69.20/28.73	c (9,0) opt[136][4] = 1
69.20/28.73	c (9,0) opt[137][0] = 0
69.20/28.73	c (9,0) opt[137][1] = 0
69.20/28.73	c (9,0) opt[137][2] = 0
69.20/28.73	c (9,0) opt[137][3] = 1
69.20/28.73	c (9,0) opt[137][4] = 0
69.20/28.73	c (9,0) opt[138][0] = 1
69.20/28.73	c (9,0) opt[138][1] = 1
69.20/28.73	c (9,0) opt[138][2] = 0
69.20/28.73	c (9,0) opt[138][3] = 0
69.20/28.73	c (9,0) opt[138][4] = 0
69.20/28.73	c (9,0) opt[139][0] = 0
69.20/28.73	c (9,0) opt[139][1] = 1
69.20/28.73	c (9,0) opt[139][2] = 1
69.20/28.73	c (9,0) opt[139][3] = 1
69.20/28.73	c (9,0) opt[139][4] = 0
69.20/28.73	c (9,0) opt[140][0] = 1
69.20/28.73	c (9,0) opt[140][1] = 0
69.20/28.73	c (9,0) opt[140][2] = 0
69.20/28.73	c (9,0) opt[140][3] = 0
69.20/28.73	c (9,0) opt[140][4] = 0
69.20/28.73	c (9,0) opt[141][0] = 0
69.20/28.73	c (9,0) opt[141][1] = 1
69.20/28.73	c (9,0) opt[141][2] = 0
69.20/28.73	c (9,0) opt[141][3] = 0
69.20/28.73	c (9,0) opt[141][4] = 0
69.20/28.73	c (9,0) opt[142][0] = 1
69.20/28.74	c (9,0) opt[142][1] = 0
69.20/28.74	c (9,0) opt[142][2] = 0
69.20/28.74	c (9,0) opt[142][3] = 0
69.20/28.74	c (9,0) opt[142][4] = 0
69.20/28.74	c (9,0) opt[143][0] = 0
69.20/28.74	c (9,0) opt[143][1] = 0
69.20/28.74	c (9,0) opt[143][2] = 0
69.20/28.74	c (9,0) opt[143][3] = 1
69.20/28.74	c (9,0) opt[143][4] = 1
69.20/28.74	c (9,0) opt[144][0] = 0
69.20/28.74	c (9,0) opt[144][1] = 0
69.20/28.74	c (9,0) opt[144][2] = 1
69.20/28.74	c (9,0) opt[144][3] = 0
69.20/28.74	c (9,0) opt[144][4] = 0
69.20/28.74	c (9,0) opt[145][0] = 0
69.20/28.74	c (9,0) opt[145][1] = 1
69.20/28.74	c (9,0) opt[145][2] = 0
69.20/28.74	c (9,0) opt[145][3] = 0
69.20/28.74	c (9,0) opt[145][4] = 0
69.20/28.74	c (9,0) opt[146][0] = 1
69.20/28.74	c (9,0) opt[146][1] = 1
69.20/28.74	c (9,0) opt[146][2] = 0
69.20/28.74	c (9,0) opt[146][3] = 0
69.20/28.74	c (9,0) opt[146][4] = 0
69.20/28.74	c (9,0) opt[147][0] = 0
69.20/28.74	c (9,0) opt[147][1] = 0
69.20/28.74	c (9,0) opt[147][2] = 1
69.20/28.74	c (9,0) opt[147][3] = 0
69.20/28.74	c (9,0) opt[147][4] = 0
69.20/28.74	c (9,0) opt[148][0] = 1
69.20/28.74	c (9,0) opt[148][1] = 1
69.20/28.74	c (9,0) opt[148][2] = 0
69.20/28.74	c (9,0) opt[148][3] = 1
69.20/28.74	c (9,0) opt[148][4] = 0
69.20/28.74	c (9,0) opt[149][0] = 0
69.20/28.74	c (9,0) opt[149][1] = 1
69.20/28.74	c (9,0) opt[149][2] = 0
69.20/28.74	c (9,0) opt[149][3] = 1
69.20/28.74	c (9,0) opt[149][4] = 1
69.20/28.74	c (9,0) opt[150][0] = 1
69.20/28.74	c (9,0) opt[150][1] = 0
69.20/28.74	c (9,0) opt[150][2] = 0
69.20/28.74	c (9,0) opt[150][3] = 0
69.20/28.74	c (9,0) opt[150][4] = 0
69.20/28.74	c (9,0) opt[151][0] = 0
69.20/28.74	c (9,0) opt[151][1] = 1
69.20/28.74	c (9,0) opt[151][2] = 0
69.20/28.74	c (9,0) opt[151][3] = 0
69.20/28.74	c (9,0) opt[151][4] = 0
69.20/28.74	c (9,0) opt[152][0] = 1
69.20/28.74	c (9,0) opt[152][1] = 0
69.20/28.74	c (9,0) opt[152][2] = 0
69.20/28.74	c (9,0) opt[152][3] = 0
69.20/28.74	c (9,0) opt[152][4] = 0
69.20/28.74	c (9,0) opt[153][0] = 0
69.20/28.74	c (9,0) opt[153][1] = 1
69.20/28.74	c (9,0) opt[153][2] = 0
69.20/28.74	c (9,0) opt[153][3] = 0
69.20/28.74	c (9,0) opt[153][4] = 0
69.20/28.74	c (9,0) opt[154][0] = 0
69.20/28.74	c (9,0) opt[154][1] = 1
69.20/28.74	c (9,0) opt[154][2] = 0
69.20/28.74	c (9,0) opt[154][3] = 0
69.20/28.74	c (9,0) opt[154][4] = 1
69.20/28.74	c (9,0) opt[155][0] = 0
69.20/28.74	c (9,0) opt[155][1] = 0
69.20/28.74	c (9,0) opt[155][2] = 1
69.20/28.74	c (9,0) opt[155][3] = 0
69.20/28.74	c (9,0) opt[155][4] = 0
69.20/28.74	c (9,0) opt[156][0] = 0
69.20/28.74	c (9,0) opt[156][1] = 1
69.20/28.74	c (9,0) opt[156][2] = 0
69.20/28.74	c (9,0) opt[156][3] = 0
69.20/28.74	c (9,0) opt[156][4] = 0
69.20/28.74	c (9,0) opt[157][0] = 1
69.20/28.74	c (9,0) opt[157][1] = 0
69.20/28.74	c (9,0) opt[157][2] = 0
69.20/28.74	c (9,0) opt[157][3] = 0
69.20/28.74	c (9,0) opt[157][4] = 0
69.20/28.74	c (9,0) opt[158][0] = 0
69.20/28.74	c (9,0) opt[158][1] = 0
69.20/28.74	c (9,0) opt[158][2] = 1
69.20/28.74	c (9,0) opt[158][3] = 1
69.20/28.74	c (9,0) opt[158][4] = 0
69.20/28.74	c (9,0) opt[159][0] = 1
69.20/28.74	c (9,0) opt[159][1] = 1
69.20/28.74	c (9,0) opt[159][2] = 0
69.20/28.74	c (9,0) opt[159][3] = 1
69.20/28.74	c (9,0) opt[159][4] = 1
69.20/28.74	c (9,0) opt[160][0] = 0
69.20/28.74	c (9,0) opt[160][1] = 1
69.20/28.74	c (9,0) opt[160][2] = 0
69.20/28.74	c (9,0) opt[160][3] = 0
69.20/28.74	c (9,0) opt[160][4] = 0
69.20/28.74	c (9,0) opt[161][0] = 1
69.20/28.74	c (9,0) opt[161][1] = 0
69.20/28.74	c (9,0) opt[161][2] = 0
69.20/28.74	c (9,0) opt[161][3] = 0
69.20/28.74	c (9,0) opt[161][4] = 0
69.20/28.74	c (9,0) opt[162][0] = 0
69.20/28.74	c (9,0) opt[162][1] = 1
69.20/28.74	c (9,0) opt[162][2] = 0
69.20/28.74	c (9,0) opt[162][3] = 0
69.20/28.74	c (9,0) opt[162][4] = 0
69.20/28.74	c (9,0) opt[163][0] = 0
69.20/28.74	c (9,0) opt[163][1] = 1
69.20/28.74	c (9,0) opt[163][2] = 1
69.20/28.74	c (9,0) opt[163][3] = 1
69.20/28.74	c (9,0) opt[163][4] = 0
69.20/28.74	c (9,0) opt[164][0] = 0
69.20/28.74	c (9,0) opt[164][1] = 0
69.20/28.74	c (9,0) opt[164][2] = 0
69.20/28.74	c (9,0) opt[164][3] = 0
69.20/28.74	c (9,0) opt[164][4] = 1
69.20/28.74	c (9,0) opt[165][0] = 1
69.20/28.74	c (9,0) opt[165][1] = 0
69.20/28.74	c (9,0) opt[165][2] = 0
69.20/28.74	c (9,0) opt[165][3] = 0
69.20/28.74	c (9,0) opt[165][4] = 0
69.20/28.74	c (9,0) opt[166][0] = 0
69.20/28.74	c (9,0) opt[166][1] = 1
69.20/28.74	c (9,0) opt[166][2] = 0
69.20/28.74	c (9,0) opt[166][3] = 0
69.20/28.74	c (9,0) opt[166][4] = 0
69.20/28.74	c (9,0) opt[167][0] = 1
69.20/28.74	c (9,0) opt[167][1] = 0
69.20/28.74	c (9,0) opt[167][2] = 1
69.20/28.74	c (9,0) opt[167][3] = 1
69.20/28.74	c (9,0) opt[167][4] = 0
69.20/28.74	c (9,0) opt[168][0] = 0
69.20/28.74	c (9,0) opt[168][1] = 1
69.20/28.74	c (9,0) opt[168][2] = 0
69.20/28.74	c (9,0) opt[168][3] = 0
69.20/28.74	c (9,0) opt[168][4] = 0
69.20/28.74	c (9,0) opt[169][0] = 0
69.20/28.74	c (9,0) opt[169][1] = 0
69.20/28.74	c (9,0) opt[169][2] = 0
69.20/28.74	c (9,0) opt[169][3] = 0
69.20/28.74	c (9,0) opt[169][4] = 1
69.20/28.74	c (9,0) opt[170][0] = 1
69.20/28.74	c (9,0) opt[170][1] = 1
69.20/28.74	c (9,0) opt[170][2] = 1
69.20/28.74	c (9,0) opt[170][3] = 1
69.20/28.74	c (9,0) opt[170][4] = 0
69.20/28.74	c (9,0) opt[171][0] = 0
69.20/28.74	c (9,0) opt[171][1] = 1
69.20/28.74	c (9,0) opt[171][2] = 0
69.20/28.74	c (9,0) opt[171][3] = 0
69.20/28.74	c (9,0) opt[171][4] = 0
69.20/28.74	c (9,0) opt[172][0] = 1
69.20/28.74	c (9,0) opt[172][1] = 0
69.20/28.74	c (9,0) opt[172][2] = 0
69.20/28.74	c (9,0) opt[172][3] = 0
69.20/28.74	c (9,0) opt[172][4] = 0
69.20/28.74	c (9,0) opt[173][0] = 0
69.20/28.74	c (9,0) opt[173][1] = 0
69.20/28.74	c (9,0) opt[173][2] = 1
69.20/28.74	c (9,0) opt[173][3] = 0
69.20/28.74	c (9,0) opt[173][4] = 0
69.20/28.74	c (9,0) opt[174][0] = 1
69.20/28.74	c (9,0) opt[174][1] = 1
69.20/28.74	c (9,0) opt[174][2] = 0
69.20/28.74	c (9,0) opt[174][3] = 0
69.20/28.74	c (9,0) opt[174][4] = 1
69.20/28.74	c (9,0) opt[175][0] = 0
69.20/28.74	c (9,0) opt[175][1] = 1
69.20/28.74	c (9,0) opt[175][2] = 0
69.20/28.74	c (9,0) opt[175][3] = 0
69.20/28.74	c (9,0) opt[175][4] = 0
69.20/28.74	c (9,0) opt[176][0] = 0
69.20/28.74	c (9,0) opt[176][1] = 0
69.20/28.74	c (9,0) opt[176][2] = 1
69.20/28.74	c (9,0) opt[176][3] = 0
69.20/28.74	c (9,0) opt[176][4] = 0
69.20/28.74	c (9,0) opt[177][0] = 0
69.20/28.74	c (9,0) opt[177][1] = 1
69.20/28.74	c (9,0) opt[177][2] = 0
69.20/28.74	c (9,0) opt[177][3] = 0
69.20/28.74	c (9,0) opt[177][4] = 0
69.20/28.74	c (9,0) opt[178][0] = 1
69.20/28.74	c (9,0) opt[178][1] = 1
69.20/28.74	c (9,0) opt[178][2] = 0
69.20/28.74	c (9,0) opt[178][3] = 0
69.20/28.74	c (9,0) opt[178][4] = 0
69.20/28.74	c (9,0) opt[179][0] = 0
69.20/28.74	c (9,0) opt[179][1] = 0
69.20/28.74	c (9,0) opt[179][2] = 0
69.20/28.74	c (9,0) opt[179][3] = 1
69.20/28.74	c (9,0) opt[179][4] = 1
69.20/28.74	c (9,0) opt[180][0] = 1
69.20/28.74	c (9,0) opt[180][1] = 0
69.20/28.74	c (9,0) opt[180][2] = 1
69.20/28.74	c (9,0) opt[180][3] = 1
69.20/28.74	c (9,0) opt[180][4] = 0
69.20/28.74	c (9,0) opt[181][0] = 0
69.20/28.74	c (9,0) opt[181][1] = 1
69.20/28.74	c (9,0) opt[181][2] = 0
69.20/28.74	c (9,0) opt[181][3] = 0
69.20/28.74	c (9,0) opt[181][4] = 0
69.20/28.74	c (9,0) opt[182][0] = 0
69.20/28.74	c (9,0) opt[182][1] = 1
69.20/28.74	c (9,0) opt[182][2] = 0
69.20/28.74	c (9,0) opt[182][3] = 0
69.20/28.74	c (9,0) opt[182][4] = 0
69.20/28.74	c (9,0) opt[183][0] = 1
69.20/28.74	c (9,0) opt[183][1] = 0
69.20/28.74	c (9,0) opt[183][2] = 1
69.20/28.74	c (9,0) opt[183][3] = 0
69.20/28.74	c (9,0) opt[183][4] = 0
69.20/28.74	c (9,0) opt[184][0] = 0
69.20/28.74	c (9,0) opt[184][1] = 1
69.20/28.74	c (9,0) opt[184][2] = 0
69.20/28.74	c (9,0) opt[184][3] = 0
69.20/28.74	c (9,0) opt[184][4] = 1
69.20/28.74	c (9,0) opt[185][0] = 0
69.20/28.74	c (9,0) opt[185][1] = 0
69.20/28.74	c (9,0) opt[185][2] = 0
69.20/28.74	c (9,0) opt[185][3] = 1
69.20/28.74	c (9,0) opt[185][4] = 0
69.20/28.74	c (9,0) opt[186][0] = 1
69.20/28.74	c (9,0) opt[186][1] = 1
69.20/28.74	c (9,0) opt[186][2] = 0
69.20/28.74	c (9,0) opt[186][3] = 0
69.20/28.74	c (9,0) opt[186][4] = 0
69.20/28.74	c (9,0) opt[187][0] = 0
69.20/28.74	c (9,0) opt[187][1] = 1
69.20/28.74	c (9,0) opt[187][2] = 1
69.20/28.74	c (9,0) opt[187][3] = 0
69.20/28.74	c (9,0) opt[187][4] = 0
69.20/28.74	c (9,0) opt[188][0] = 1
69.20/28.74	c (9,0) opt[188][1] = 0
69.20/28.74	c (9,0) opt[188][2] = 0
69.20/28.74	c (9,0) opt[188][3] = 1
69.20/28.74	c (9,0) opt[188][4] = 0
69.20/28.74	c (9,0) opt[189][0] = 0
69.20/28.74	c (9,0) opt[189][1] = 1
69.20/28.74	c (9,0) opt[189][2] = 0
69.20/28.74	c (9,0) opt[189][3] = 0
69.20/28.74	c (9,0) opt[189][4] = 1
69.20/28.74	c (9,0) opt[190][0] = 0
69.20/28.74	c (9,0) opt[190][1] = 0
69.20/28.74	c (9,0) opt[190][2] = 1
69.20/28.74	c (9,0) opt[190][3] = 0
69.20/28.74	c (9,0) opt[190][4] = 0
69.20/28.74	c (9,0) opt[191][0] = 0
69.20/28.74	c (9,0) opt[191][1] = 1
69.20/28.74	c (9,0) opt[191][2] = 0
69.20/28.74	c (9,0) opt[191][3] = 0
69.20/28.74	c (9,0) opt[191][4] = 0
69.20/28.74	c (9,0) opt[192][0] = 1
69.20/28.74	c (9,0) opt[192][1] = 1
69.20/28.74	c (9,0) opt[192][2] = 0
69.20/28.74	c (9,0) opt[192][3] = 1
69.20/28.74	c (9,0) opt[192][4] = 0
69.20/28.74	c (9,0) opt[193][0] = 0
69.20/28.74	c (9,0) opt[193][1] = 0
69.20/28.74	c (9,0) opt[193][2] = 1
69.20/28.74	c (9,0) opt[193][3] = 0
69.20/28.74	c (9,0) opt[193][4] = 0
69.20/28.74	c (9,0) opt[194][0] = 1
69.20/28.74	c (9,0) opt[194][1] = 1
69.20/28.74	c (9,0) opt[194][2] = 0
69.20/28.74	c (9,0) opt[194][3] = 1
69.20/28.74	c (9,0) opt[194][4] = 1
69.20/28.74	c (9,0) opt[195][0] = 0
69.20/28.74	c (9,0) opt[195][1] = 1
69.20/28.74	c (9,0) opt[195][2] = 0
69.20/28.74	c (9,0) opt[195][3] = 0
69.20/28.74	c (9,0) opt[195][4] = 0
69.20/28.74	c (9,0) opt[196][0] = 1
69.20/28.74	c (9,0) opt[196][1] = 0
69.20/28.74	c (9,0) opt[196][2] = 0
69.20/28.74	c (9,0) opt[196][3] = 0
69.20/28.74	c (9,0) opt[196][4] = 0
69.20/28.74	c (9,0) opt[197][0] = 0
69.20/28.74	c (9,0) opt[197][1] = 0
69.20/28.74	c (9,0) opt[197][2] = 0
69.20/28.74	c (9,0) opt[197][3] = 1
69.20/28.74	c (9,0) opt[197][4] = 0
69.20/28.74	c (9,0) opt[198][0] = 0
69.20/28.74	c (9,0) opt[198][1] = 1
69.20/28.74	c (9,0) opt[198][2] = 1
69.20/28.74	c (9,0) opt[198][3] = 0
69.20/28.74	c (9,0) opt[198][4] = 0
69.20/28.74	c (9,0) opt[199][0] = 1
69.20/28.74	c (9,0) opt[199][1] = 0
69.20/28.74	c (9,0) opt[199][2] = 0
69.20/28.74	c (9,0) opt[199][3] = 0
69.20/28.74	c (9,0) opt[199][4] = 1
69.20/28.74	s SATISFIABLE
69.20/28.74	v <instantiation>
69.20/28.74	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>
69.20/28.74	v     <values>17 4 15 8 0 11 8 4 0 15 16 8 7 0 2 16 22 15 22 16 15 8 13 5 15 0 11 8 8 13 0 12 0 8 18 16 15 0 4 12 14 0 12 2 0 17 8 0 6 8 14 0 11 2 0 15 0 7 12 23 0 8 5 0 15 0 17 8 2 8 12 14 0 10 22 15 16 0 2 12 7 0 11 4 18 12 7 0 2 17 22 8 15 8 6 0 0 11 0 2 14 8 3 22 23 22 14 19 7 2 17 0 18 22 14 10 14 8 0 16 15 0 11 0 2 0 20 22 15 19 22 1 17 0 18 16 13 8 14 5 15 22 15 1 12 22 14 12 7 21 15 0 15 0 4 12 0 15 19 9 0 15 0 5 2 15 0 20 22 2 3 0 15 12 13 0 12 22 14 1 20 0 0 11 4 8 14 16 18 4 12 0 7 12 9 22 15 8 16 23 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 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 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1</values>
69.20/28.74	v </instantiation>
69.20/28.74	c (9,0) Show results End
69.20/28.74	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
69.20/28.74	c (9,0) 8,9,STOP-AFTER(ALL)
69.20/28.74	c END-Prog: Sat Sep 14 05:19:19 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 (11890 MiB free)
  memory of node 1: 16384 MiB (15546 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392342-1568431170/watcher-4392342-1568431170 -o /tmp/evaluation-result-4392342-1568431170/solver-4392342-1568431170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392342-1568431170.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=4977, runsolver pid=4974
Current StackSize limit: 8192 KiB


[startup+0.100136 s]*
/proc/loadavg: 3.98 3.98 3.95 2/211 4999
/proc/meminfo: memFree=28001428/32770624 swapFree=66999932/67108860
[pid=4977] ppid=4974 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4977/stat : 4977 (scop.sh) S 4974 4977 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419381829 115843072 349 33554432000 4194304 5098028 140728187864272 140728187861528 140401799197308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9564160 140728187872037 140728187872364 140728187872364 140728187875277 0
/proc/4977/statm: 28282 349 296 221 0 87 0
[pid=4980] ppid=4977 vsize=27314120 memory=105596 CPUtime=0.1 cores=0-7
/proc/4980/stat : 4980 (java) S 4977 4977 4292 0 -1 1077944320 6502 0 0 0 8 2 0 0 20 0 20 0 419381829 27969658880 26399 33554432000 4194304 4196468 140733991678672 140733991661216 140645408382711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
/proc/4980/statm: 6828530 26399 2799 1 0 6790935 0
[pid=4980/tid=4981] ppid=4977 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/4980/task/4981/stat : 4981 (java) R 4977 4977 4292 0 -1 4202560 4595 0 0 0 7 2 0 0 20 0 20 0 419381829 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645380196224 140645393814685 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4982] ppid=4977 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4980/task/4982/stat : 4982 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645412625040 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4983] ppid=4977 vsize=27314120 memory=139670878606976 CPUtime=0 cores=0-7
/proc/4980/task/4983/stat : 4983 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645226781200 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4984] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4984/stat : 4984 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645225728400 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4985] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4985/stat : 4985 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645224675600 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4986] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4986/stat : 4986 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645223623824 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4987] ppid=4977 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4980/task/4987/stat : 4987 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645222571024 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4988] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4988/stat : 4988 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645221518224 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4989] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4989/stat : 4989 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 26911 33554432000 4194304 4196468 140733991678672 140645220465424 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4990] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4990/stat : 4990 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381833 27969658880 26911 33554432000 4194304 4196468 140733991678672 140643975989616 140645408393858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4991] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4991/stat : 4991 (java) S 4977 4977 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419381834 27969658880 26911 33554432000 4194304 4196468 140733991678672 140643066176544 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4992] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4992/stat : 4992 (java) S 4977 4977 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419381834 27969658880 26911 33554432000 4194304 4196468 140733991678672 140642931954544 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4993] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4993/stat : 4993 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 26911 33554432000 4194304 4196468 140733991678672 140642557450064 140645408401307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4994] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4994/stat : 4994 (java) S 4977 4977 4292 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 26975 33554432000 4194304 4196468 140733991678672 140643974937456 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4995] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4995/stat : 4995 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 26975 33554432000 4194304 4196468 140733991678672 140643973884656 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4996] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4996/stat : 4996 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 26975 33554432000 4194304 4196468 140733991678672 140643972831856 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4997] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4997/stat : 4997 (java) R 4977 4977 4292 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 26975 33554432000 4194304 4196468 140733991678672 140643971776648 140645387226731 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4998] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4998/stat : 4998 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381837 27969658880 26975 33554432000 4194304 4196468 140733991678672 140642059545184 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4999] ppid=4977 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4980/task/4999/stat : 4999 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381837 27969658880 26975 33554432000 4194304 4196468 140733991678672 140643970726448 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106992 KiB

[startup+0.210481 s]*
/proc/loadavg: 3.98 3.98 3.95 3/211 4999
/proc/meminfo: memFree=27979856/32770624 swapFree=66999932/67108860
[pid=4977] ppid=4974 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4977/stat : 4977 (scop.sh) S 4974 4977 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419381829 115843072 349 33554432000 4194304 5098028 140728187864272 140728187861528 140401799197308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9564160 140728187872037 140728187872364 140728187872364 140728187875277 0
/proc/4977/statm: 28282 349 296 221 0 87 0
[pid=4980] ppid=4977 vsize=27314120 memory=124732 CPUtime=0.25 cores=0-7
/proc/4980/stat : 4980 (java) S 4977 4977 4292 0 -1 1077944320 12105 0 0 0 21 4 0 0 20 0 20 0 419381829 27969658880 31183 33554432000 4194304 4196468 140733991678672 140733991661216 140645408382711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
/proc/4980/statm: 6828530 31183 2939 1 0 6790935 0
[pid=4980/tid=4981] ppid=4977 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4980/task/4981/stat : 4981 (java) R 4977 4977 4292 0 -1 4202560 9816 0 0 0 16 3 0 0 20 0 20 0 419381829 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645380199120 140645389946271 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4982] ppid=4977 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/4980/task/4982/stat : 4982 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645412625040 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4983] ppid=4977 vsize=27314120 memory=139670878618311 CPUtime=0 cores=0-7
/proc/4980/task/4983/stat : 4983 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645226781200 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4984] ppid=4977 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4980/task/4984/stat : 4984 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645225728400 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4985] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4985/stat : 4985 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645224675600 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4986] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4986/stat : 4986 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645223623824 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4987] ppid=4977 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4980/task/4987/stat : 4987 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645222571024 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4988] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4988/stat : 4988 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645221518224 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4989] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4989/stat : 4989 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 31183 33554432000 4194304 4196468 140733991678672 140645220465424 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4990] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4990/stat : 4990 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381833 27969658880 31183 33554432000 4194304 4196468 140733991678672 140643975989616 140645408393858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4991] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4991/stat : 4991 (java) S 4977 4977 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419381834 27969658880 31183 33554432000 4194304 4196468 140733991678672 140643066176544 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4992] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4992/stat : 4992 (java) S 4977 4977 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419381834 27969658880 31183 33554432000 4194304 4196468 140733991678672 140642931954544 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4993] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4993/stat : 4993 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 31183 33554432000 4194304 4196468 140733991678672 140642557450064 140645408401307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4994] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4994/stat : 4994 (java) S 4977 4977 4292 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 31183 33554432000 4194304 4196468 140733991678672 140643974937456 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4995] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4995/stat : 4995 (java) S 4977 4977 4292 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 31183 33554432000 4194304 4196468 140733991678672 140643973884656 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4996] ppid=4977 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4980/task/4996/stat : 4996 (java) S 4977 4977 4292 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 31183 33554432000 4194304 4196468 140733991678672 140643972831856 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4997] ppid=4977 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/4980/task/4997/stat : 4997 (java) S 4977 4977 4292 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 20 0 419381836 27969658880 31183 33554432000 4194304 4196468 140733991678672 140643971779056 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4998] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4998/stat : 4998 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381837 27969658880 31183 33554432000 4194304 4196468 140733991678672 140642059545184 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4999] ppid=4977 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4980/task/4999/stat : 4999 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381837 27969658880 31183 33554432000 4194304 4196468 140733991678672 140643970726448 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126128 KiB

[startup+0.310299 s]*
/proc/loadavg: 3.98 3.98 3.95 2/211 4999
/proc/meminfo: memFree=27976972/32770624 swapFree=66999932/67108860
[pid=4977] ppid=4974 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4977/stat : 4977 (scop.sh) S 4974 4977 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419381829 115843072 349 33554432000 4194304 5098028 140728187864272 140728187861528 140401799197308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9564160 140728187872037 140728187872364 140728187872364 140728187875277 0
/proc/4977/statm: 28282 349 296 221 0 87 0
[pid=4980] ppid=4977 vsize=27314120 memory=128340 CPUtime=0.43 cores=0-7
/proc/4980/stat : 4980 (java) S 4977 4977 4292 0 -1 1077944320 12488 0 0 0 39 4 0 0 20 0 20 0 419381829 27969658880 32085 33554432000 4194304 4196468 140733991678672 140733991661216 140645408382711 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
/proc/4980/statm: 6828530 32085 3023 1 0 6790935 0
[pid=4980/tid=4981] ppid=4977 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/4980/task/4981/stat : 4981 (java) R 4977 4977 4292 0 -1 4202560 10003 0 0 0 26 3 0 0 20 0 20 0 419381829 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645380209248 140645408396615 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4982] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4982/stat : 4982 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645412625040 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4983] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4983/stat : 4983 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645226781200 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4984] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4984/stat : 4984 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645225728400 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4985] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4985/stat : 4985 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645224675600 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4986] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4986/stat : 4986 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645223623824 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4987] ppid=4977 vsize=27314120 memory=139670725946031 CPUtime=0 cores=0-7
/proc/4980/task/4987/stat : 4987 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645222571024 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4988] ppid=4977 vsize=27314120 memory=139670725948336 CPUtime=0 cores=0-7
/proc/4980/task/4988/stat : 4988 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645221518224 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4989] ppid=4977 vsize=27314120 memory=139670725950640 CPUtime=0 cores=0-7
/proc/4980/task/4989/stat : 4989 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27969658880 32085 33554432000 4194304 4196468 140733991678672 140645220465424 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4990] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4990/stat : 4990 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381833 27969658880 32085 33554432000 4194304 4196468 140733991678672 140643975989616 140645408393858 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4991] ppid=4977 vsize=27314120 memory=279341451915152 CPUtime=0 cores=0-7
/proc/4980/task/4991/stat : 4991 (java) S 4977 4977 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419381834 27969658880 32085 33554432000 4194304 4196468 140733991678672 140643066176544 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4992] ppid=4977 vsize=27314120 memory=279341451912848 CPUtime=0 cores=0-7
/proc/4980/task/4992/stat : 4992 (java) S 4977 4977 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419381834 27969658880 32085 33554432000 4194304 4196468 140733991678672 140642931954544 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4993] ppid=4977 vsize=27314120 memory=279341451919760 CPUtime=0 cores=0-7
/proc/4980/task/4993/stat : 4993 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381836 27969658880 32085 33554432000 4194304 4196468 140733991678672 140642557450064 140645408401307 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4994] ppid=4977 vsize=27314120 memory=279341451861040 CPUtime=0.01 cores=0-7
/proc/4980/task/4994/stat : 4994 (java) S 4977 4977 4292 0 -1 1077944384 386 0 0 0 1 0 0 0 20 0 20 0 419381836 27969658880 32085 33554432000 4194304 4196468 140733991678672 140643974937456 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4995] ppid=4977 vsize=27314120 memory=279341451933584 CPUtime=0.01 cores=0-7
/proc/4980/task/4995/stat : 4995 (java) S 4977 4977 4292 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 419381836 27969658880 32085 33554432000 4194304 4196468 140733991678672 140643973884656 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4996] ppid=4977 vsize=27314120 memory=279341451940496 CPUtime=0.02 cores=0-7
/proc/4980/task/4996/stat : 4996 (java) S 4977 4977 4292 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 20 0 419381836 27969658880 32085 33554432000 4194304 4196468 140733991678672 140643972831856 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4997] ppid=4977 vsize=27314120 memory=279341451938192 CPUtime=0.07 cores=0-7
/proc/4980/task/4997/stat : 4997 (java) S 4977 4977 4292 0 -1 1077944384 463 0 0 0 7 0 0 0 20 0 20 0 419381836 27969658880 32085 33554432000 4194304 4196468 140733991678672 140643971779056 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4998] ppid=4977 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4998/stat : 4998 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381837 27969658880 32085 33554432000 4194304 4196468 140733991678672 140642059545184 140645408392917 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4999] ppid=4977 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/4980/task/4999/stat : 4999 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381837 27969658880 32085 33554432000 4194304 4196468 140733991678672 140643970726448 140645408393858 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129736 KiB

[startup+0.701695 s]
/proc/loadavg: 3.74 3.93 3.93 2/211 4999
/proc/meminfo: memFree=27957316/32770624 swapFree=66999932/67108860
[pid=4977] ppid=4974 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/4977/stat : 4977 (scop.sh) S 4974 4977 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419381829 115843072 349 33554432000 4194304 5098028 140728187864272 140728187861528 140401799197308 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 9564160 140728187872037 140728187872364 140728187872364 140728187875277 0
/proc/4977/statm: 28282 349 296 221 0 87 0
[pid=4980] ppid=4977 vsize=27320392 memory=163492 CPUtime=1.02 cores=0-7
/proc/4980/stat : 4980 (java) S 4977 4977 4292 0 -1 1077944320 19965 0 0 0 95 7 0 0 20 0 20 0 419381829 27976081408 40873 33554432000 4194304 4196468 140733991678672 140733991661216 140645408382711 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
/proc/4980/statm: 6830098 40873 3193 1 0 6791447 0
[pid=4980/tid=4981] ppid=4977 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/4980/task/4981/stat : 4981 (java) R 4977 4977 4292 0 -1 4202560 16920 0 0 0 62 5 0 0 20 0 20 0 419381829 27976081408 40873 33554432000 4194304 4196468 140733991678672 140645380219840 140645408394646 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4982] ppid=4977 vsize=27320392 memory=139670726157168 CPUtime=0 cores=0-7
/proc/4980/task/4982/stat : 4982 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419381832 27976081408 40873 33554432000 4194304 4196468 140733991678672 140645412625040 140645408392917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4983] ppid=4977 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/4980/task/4983/stat : 4983 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419381832 27976081408 40873 33554432000 4194304 4196468 140733991678672 140645226781200 140645408392917 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0
[pid=4980/tid=4984] ppid=4977 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/4980/task/4984/stat : 4984 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419381832 27976081408 40873 33554432000 4194304 4196468 140733991678672 140645225728400 140645408392917 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31285248 140733991686892 140733991687318 140733991687318 140733991690191 0

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

[pid=5000/tid=5001] ppid=4977 vsize=8414124 memory=924 CPUtime=0.83 cores=0-7
/proc/5000/task/5001/stat : 5001 (java) S 4977 4977 4292 0 -1 1077944384 17455 0 0 0 76 7 0 0 20 0 24 0 419383751 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298956607392 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5002] ppid=4977 vsize=8414124 memory=4308 CPUtime=0 cores=0-7
/proc/5000/task/5002/stat : 5002 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298989010064 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5003] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5003/stat : 5003 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298803166224 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5004] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5004/stat : 5004 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298802113424 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5005] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5005/stat : 5005 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298801060624 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5006] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5006/stat : 5006 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298800007824 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5007] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5007/stat : 5007 (java) S 4977 4977 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298798955024 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5008] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5008/stat : 5008 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298464950672 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5009] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5009/stat : 5009 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419383753 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298463897872 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5010] ppid=4977 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5000/task/5010/stat : 5010 (java) S 4977 4977 4292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419383754 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298078210928 140298984778370 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5011] ppid=4977 vsize=8414124 memory=139670878607281 CPUtime=0 cores=0-7
/proc/5000/task/5011/stat : 5011 (java) S 4977 4977 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419383755 8616062976 31362 33554432000 4194304 4196468 140731071863536 140297656854048 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5012] ppid=4977 vsize=8414124 memory=734122169373046838 CPUtime=0 cores=0-7
/proc/5000/task/5012/stat : 5012 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419383755 8616062976 31362 33554432000 4194304 4196468 140731071863536 140297388418416 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5013] ppid=4977 vsize=8414124 memory=7373352817559363648 CPUtime=0 cores=0-7
/proc/5000/task/5013/stat : 5013 (java) S 4977 4977 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419383757 8616062976 31362 33554432000 4194304 4196468 140731071863536 140297013909840 140298984785819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5014] ppid=4977 vsize=8414124 memory=7523938743168231527 CPUtime=0.09 cores=0-7
/proc/5000/task/5014/stat : 5014 (java) R 4977 4977 4292 0 -1 1077944384 701 0 0 0 9 0 0 0 20 0 24 0 419383757 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298077157840 140298984777429 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5015] ppid=4977 vsize=8414124 memory=43035572315938 CPUtime=0.14 cores=0-7
/proc/5000/task/5015/stat : 5015 (java) R 4977 4977 4292 0 -1 1077944384 375 0 0 0 14 0 0 0 20 0 24 0 419383757 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298076104944 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5016] ppid=4977 vsize=8414124 memory=0 CPUtime=0.16 cores=0-7
/proc/5000/task/5016/stat : 5016 (java) R 4977 4977 4292 0 -1 4202560 556 0 0 0 16 0 0 0 20 0 24 0 419383757 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298075052144 140298968283699 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5017] ppid=4977 vsize=8414124 memory=279341453380336 CPUtime=0.24 cores=0-7
/proc/5000/task/5017/stat : 5017 (java) R 4977 4977 4292 0 -1 4202560 822 0 0 0 24 0 0 0 20 0 24 0 419383757 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298073999344 140298984779158 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5018] ppid=4977 vsize=8414124 memory=139670726903776 CPUtime=0 cores=0-7
/proc/5000/task/5018/stat : 5018 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419383758 8616062976 31362 33554432000 4194304 4196468 140731071863536 140296516004960 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5019] ppid=4977 vsize=8414124 memory=139670726903808 CPUtime=0 cores=0-7
/proc/5000/task/5019/stat : 5019 (java) S 4977 4977 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419383758 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298072947760 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5021] ppid=4977 vsize=8414124 memory=139670726903840 CPUtime=0 cores=0-7
/proc/5000/task/5021/stat : 5021 (java) S 4977 4977 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419383832 8616062976 31362 33554432000 4194304 4196468 140731071863536 140298064913984 140298984791833 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5023] ppid=4977 vsize=8414124 memory=139670726903872 CPUtime=0.01 cores=0-7
/proc/5000/task/5023/stat : 5023 (java) R 4977 4977 4292 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 419383832 8616062976 31362 33554432000 4194304 4196468 140731071863536 140295844910272 140731071879106 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5024] ppid=4977 vsize=8414124 memory=139670726903904 CPUtime=0 cores=0-7
/proc/5000/task/5024/stat : 5024 (java) S 4977 4977 4292 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419383832 8616062976 31362 33554432000 4194304 4196468 140731071863536 140296113339952 140298984789149 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5025] ppid=4977 vsize=8414124 memory=139670726903936 CPUtime=0 cores=0-7
/proc/5000/task/5025/stat : 5025 (java) S 4977 4977 4292 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419383834 8616062976 31362 33554432000 4194304 4196468 140731071863536 140295576476720 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
Current children cumulated CPU time: 68.34 s
Current children cumulated vsize: 10618336 KiB
Current children cumulated memory: 1715988 KiB

[startup+28.601 s]
/proc/loadavg: 3.20 3.78 3.88 6/222 5036
/proc/meminfo: memFree=26336476/32770624 swapFree=66999932/67108860
[pid=4977] ppid=4974 vsize=113128 memory=1476 CPUtime=37.78 cores=0-7
/proc/4977/stat : 4977 (scop.sh) S 4974 4977 4292 0 -1 4202496 583 52518 0 0 0 0 3622 156 20 0 1 0 419381829 115843072 369 33554432000 4194304 5098028 140728187864272 140728187861016 140401799197308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140728187872037 140728187872364 140728187872364 140728187875277 0
/proc/4977/statm: 28282 369 311 221 0 87 0
[pid=5000] ppid=4977 vsize=8283048 memory=159824 CPUtime=31.14 cores=0-7
/proc/5000/stat : 5000 (java) S 4977 4977 4292 0 -1 1077944320 22207 340551 0 0 190 11 2830 83 20 0 22 0 419383751 8481841152 39956 33554432000 4194304 4196468 140731071863536 140731071846080 140298984767223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
/proc/5000/statm: 2070762 39956 3233 1 0 2032106 0
[pid=5000/tid=5001] ppid=4977 vsize=8283048 memory=8112282956445269571 CPUtime=30.04 cores=0-7
/proc/5000/task/5001/stat : 5001 (java) R 4977 4977 4292 0 -1 4202560 17612 340551 0 0 84 7 2830 83 20 0 22 0 419383751 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298956597456 140298968847710 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5002] ppid=4977 vsize=8283048 memory=139670726904000 CPUtime=29.13 cores=0-7
/proc/5000/task/5002/stat : 5002 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298989010064 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5003] ppid=4977 vsize=8283048 memory=139670726904032 CPUtime=29.13 cores=0-7
/proc/5000/task/5003/stat : 5003 (java) S 4977 4977 4292 0 -1 1077944384 3 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298803166224 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5004] ppid=4977 vsize=8283048 memory=139670726904064 CPUtime=29.13 cores=0-7
/proc/5000/task/5004/stat : 5004 (java) S 4977 4977 4292 0 -1 1077944384 2 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298802113424 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5005] ppid=4977 vsize=8283048 memory=139670726904096 CPUtime=29.13 cores=0-7
/proc/5000/task/5005/stat : 5005 (java) S 4977 4977 4292 0 -1 1077944384 2 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298801060624 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5006] ppid=4977 vsize=8283048 memory=0 CPUtime=29.13 cores=0-7
/proc/5000/task/5006/stat : 5006 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298800007824 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5007] ppid=4977 vsize=8283048 memory=0 CPUtime=29.13 cores=0-7
/proc/5000/task/5007/stat : 5007 (java) S 4977 4977 4292 0 -1 1077944384 2 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298798955024 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5008] ppid=4977 vsize=8283048 memory=0 CPUtime=29.13 cores=0-7
/proc/5000/task/5008/stat : 5008 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298464950672 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5009] ppid=4977 vsize=8283048 memory=0 CPUtime=29.13 cores=0-7
/proc/5000/task/5009/stat : 5009 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298463897872 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5010] ppid=4977 vsize=8283048 memory=0 CPUtime=29.13 cores=0-7
/proc/5000/task/5010/stat : 5010 (java) S 4977 4977 4292 0 -1 1077944384 5 340551 0 0 0 0 2830 83 20 0 22 0 419383754 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298078210928 140298984778370 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5011] ppid=4977 vsize=8283048 memory=0 CPUtime=29.13 cores=0-7
/proc/5000/task/5011/stat : 5011 (java) S 4977 4977 4292 0 -1 1077944384 13 340551 0 0 0 0 2830 83 20 0 22 0 419383755 8481841152 39956 33554432000 4194304 4196468 140731071863536 140297656854048 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5012] ppid=4977 vsize=8283048 memory=1476 CPUtime=29.13 cores=0-7
/proc/5000/task/5012/stat : 5012 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383755 8481841152 39956 33554432000 4194304 4196468 140731071863536 140297388418416 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5013] ppid=4977 vsize=8283048 memory=-4075877051373423744 CPUtime=29.13 cores=0-7
/proc/5000/task/5013/stat : 5013 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383757 8481841152 39956 33554432000 4194304 4196468 140731071863536 140297013909840 140298984785819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5014] ppid=4977 vsize=8283048 memory=2020 CPUtime=29.29 cores=0-7
/proc/5000/task/5014/stat : 5014 (java) S 4977 4977 4292 0 -1 1077944384 727 340551 0 0 16 0 2830 83 20 0 22 0 419383757 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298077157744 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5015] ppid=4977 vsize=8283048 memory=1432 CPUtime=29.34 cores=0-7
/proc/5000/task/5015/stat : 5015 (java) S 4977 4977 4292 0 -1 1077944384 583 340551 0 0 21 0 2830 83 20 0 22 0 419383757 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298076104944 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5016] ppid=4977 vsize=8283048 memory=9536 CPUtime=29.35 cores=0-7
/proc/5000/task/5016/stat : 5016 (java) S 4977 4977 4292 0 -1 1077944384 588 340551 0 0 22 0 2830 83 20 0 22 0 419383757 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298075052144 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5017] ppid=4977 vsize=8283048 memory=7014751519617208933 CPUtime=29.45 cores=0-7
/proc/5000/task/5017/stat : 5017 (java) S 4977 4977 4292 0 -1 1077944384 1228 340551 0 0 32 0 2830 83 20 0 22 0 419383757 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298073999344 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5018] ppid=4977 vsize=8283048 memory=7594588944892254058 CPUtime=29.13 cores=0-7
/proc/5000/task/5018/stat : 5018 (java) S 4977 4977 4292 0 -1 1077944384 3 340551 0 0 0 0 2830 83 20 0 22 0 419383758 8481841152 39956 33554432000 4194304 4196468 140731071863536 140296516004960 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5019] ppid=4977 vsize=8283048 memory=7738688778846495329 CPUtime=29.13 cores=0-7
/proc/5000/task/5019/stat : 5019 (java) S 4977 4977 4292 0 -1 1077944384 3 340551 0 0 0 0 2830 83 20 0 22 0 419383758 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298072947760 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5021] ppid=4977 vsize=8283048 memory=5937503940875796577 CPUtime=29.13 cores=0-7
/proc/5000/task/5021/stat : 5021 (java) S 4977 4977 4292 0 -1 1077944384 25 340551 0 0 0 0 2830 83 20 0 22 0 419383832 8481841152 39956 33554432000 4194304 4196468 140731071863536 140298064913168 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5025] ppid=4977 vsize=8283048 memory=279341453404384 CPUtime=29.13 cores=0-7
/proc/5000/task/5025/stat : 5025 (java) S 4977 4977 4292 0 -1 1077944384 15 340551 0 0 0 0 2830 83 20 0 22 0 419383834 8481841152 39956 33554432000 4194304 4196468 140731071863536 140295576478512 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
Current children cumulated CPU time: 68.92 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 161300 KiB

[startup+28.701 s]
/proc/loadavg: 3.20 3.78 3.88 6/222 5036
/proc/meminfo: memFree=26336476/32770624 swapFree=66999932/67108860
[pid=4977] ppid=4974 vsize=113128 memory=1476 CPUtime=37.78 cores=0-7
/proc/4977/stat : 4977 (scop.sh) S 4974 4977 4292 0 -1 4202496 583 52518 0 0 0 0 3622 156 20 0 1 0 419381829 115843072 369 33554432000 4194304 5098028 140728187864272 140728187861016 140401799197308 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9564160 140728187872037 140728187872364 140728187872364 140728187875277 0
/proc/4977/statm: 28282 369 311 221 0 87 0
[pid=5000] ppid=4977 vsize=8283048 memory=171596 CPUtime=31.42 cores=0-7
/proc/5000/stat : 5000 (java) S 4977 4977 4292 0 -1 1077944320 23793 340551 0 0 217 12 2830 83 20 0 22 0 419383751 8481841152 42899 33554432000 4194304 4196468 140731071863536 140731071846080 140298984767223 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
/proc/5000/statm: 2070762 42899 3236 1 0 2032106 0
[pid=5000/tid=5001] ppid=4977 vsize=8283048 memory=1476 CPUtime=30.14 cores=0-7
/proc/5000/task/5001/stat : 5001 (java) R 4977 4977 4292 0 -1 4202560 17728 340551 0 0 93 8 2830 83 20 0 22 0 419383751 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298956600528 140298984779158 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5002] ppid=4977 vsize=8283048 memory=154116 CPUtime=29.13 cores=0-7
/proc/5000/task/5002/stat : 5002 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298989010064 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5003] ppid=4977 vsize=8283048 memory=908 CPUtime=29.13 cores=0-7
/proc/5000/task/5003/stat : 5003 (java) S 4977 4977 4292 0 -1 1077944384 3 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298803166224 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5004] ppid=4977 vsize=8283048 memory=1476 CPUtime=29.13 cores=0-7
/proc/5000/task/5004/stat : 5004 (java) S 4977 4977 4292 0 -1 1077944384 2 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298802113424 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5005] ppid=4977 vsize=8283048 memory=124604 CPUtime=29.13 cores=0-7
/proc/5000/task/5005/stat : 5005 (java) S 4977 4977 4292 0 -1 1077944384 2 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298801060624 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5006] ppid=4977 vsize=8283048 memory=55 CPUtime=29.13 cores=0-7
/proc/5000/task/5006/stat : 5006 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298800007824 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5007] ppid=4977 vsize=8283048 memory=7235424688722830161 CPUtime=29.13 cores=0-7
/proc/5000/task/5007/stat : 5007 (java) S 4977 4977 4292 0 -1 1077944384 2 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298798955024 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5008] ppid=4977 vsize=8283048 memory=3580 CPUtime=29.13 cores=0-7
/proc/5000/task/5008/stat : 5008 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298464950672 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5009] ppid=4977 vsize=8283048 memory=12024 CPUtime=29.13 cores=0-7
/proc/5000/task/5009/stat : 5009 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383753 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298463897872 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5010] ppid=4977 vsize=8283048 memory=2120 CPUtime=29.13 cores=0-7
/proc/5000/task/5010/stat : 5010 (java) S 4977 4977 4292 0 -1 1077944384 5 340551 0 0 0 0 2830 83 20 0 22 0 419383754 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298078210928 140298984778370 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5011] ppid=4977 vsize=8283048 memory=496 CPUtime=29.13 cores=0-7
/proc/5000/task/5011/stat : 5011 (java) S 4977 4977 4292 0 -1 1077944384 13 340551 0 0 0 0 2830 83 20 0 22 0 419383755 8481841152 42899 33554432000 4194304 4196468 140731071863536 140297656854048 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5012] ppid=4977 vsize=8283048 memory=55 CPUtime=29.13 cores=0-7
/proc/5000/task/5012/stat : 5012 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383755 8481841152 42899 33554432000 4194304 4196468 140731071863536 140297388418416 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5013] ppid=4977 vsize=8283048 memory=288230600312357161 CPUtime=29.13 cores=0-7
/proc/5000/task/5013/stat : 5013 (java) S 4977 4977 4292 0 -1 1077944384 1 340551 0 0 0 0 2830 83 20 0 22 0 419383757 8481841152 42899 33554432000 4194304 4196468 140731071863536 140297013909840 140298984785819 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5014] ppid=4977 vsize=8283048 memory=16101468142831199 CPUtime=29.34 cores=0-7
/proc/5000/task/5014/stat : 5014 (java) R 4977 4977 4292 0 -1 4202560 1288 340551 0 0 20 1 2830 83 20 0 22 0 419383757 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298077141824 140298968267794 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5015] ppid=4977 vsize=8283048 memory=161184217219370 CPUtime=29.37 cores=0-7
/proc/5000/task/5015/stat : 5015 (java) R 4977 4977 4292 0 -1 4202560 1051 340551 0 0 24 0 2830 83 20 0 22 0 419383757 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298076090696 140298969893051 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5016] ppid=4977 vsize=8283048 memory=19876 CPUtime=29.4 cores=0-7
/proc/5000/task/5016/stat : 5016 (java) R 4977 4977 4292 0 -1 4202560 810 340551 0 0 27 0 2830 83 20 0 22 0 419383757 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298075037944 140298964023848 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5017] ppid=4977 vsize=8283048 memory=0 CPUtime=29.51 cores=0-7
/proc/5000/task/5017/stat : 5017 (java) S 4977 4977 4292 0 -1 1077944384 1447 340551 0 0 38 0 2830 83 20 0 22 0 419383757 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298073999344 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5018] ppid=4977 vsize=8283048 memory=279341452133376 CPUtime=29.13 cores=0-7
/proc/5000/task/5018/stat : 5018 (java) S 4977 4977 4292 0 -1 1077944384 3 340551 0 0 0 0 2830 83 20 0 22 0 419383758 8481841152 42899 33554432000 4194304 4196468 140731071863536 140296516004960 140298984777429 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5019] ppid=4977 vsize=8283048 memory=3765403276105244992 CPUtime=29.13 cores=0-7
/proc/5000/task/5019/stat : 5019 (java) S 4977 4977 4292 0 -1 1077944384 3 340551 0 0 0 0 2830 83 20 0 22 0 419383758 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298072947760 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5021] ppid=4977 vsize=8283048 memory=3470692292451393600 CPUtime=29.13 cores=0-7
/proc/5000/task/5021/stat : 5021 (java) S 4977 4977 4292 0 -1 1077944384 25 340551 0 0 0 0 2830 83 20 0 22 0 419383832 8481841152 42899 33554432000 4194304 4196468 140731071863536 140298064913168 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
[pid=5000/tid=5025] ppid=4977 vsize=8283048 memory=1476 CPUtime=29.13 cores=0-7
/proc/5000/task/5025/stat : 5025 (java) S 4977 4977 4292 0 -1 1077944384 15 340551 0 0 0 0 2830 83 20 0 22 0 419383834 8481841152 42899 33554432000 4194304 4196468 140731071863536 140295576478512 140298984778370 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31666176 140731071865848 140731071866006 140731071866006 140731071868879 0
Current children cumulated CPU time: 69.2 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 173072 KiB

Child status: 0
Real time (s): 28.7772
CPU time (s): 69.494
CPU user time (s): 66.9419
CPU system time (s): 2.55213
CPU usage (%): 241.49
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6058772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.9419
system time used= 2.55213
maximum resident set size= 6057804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419306
page faults= 0
swaps= 0
block input operations= 0
block output operations= 127480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57429
involuntary context switches= 228


# summary of solver processes directly reported to runsolver:
#   pid: 4977
#   total CPU time (s): 69.494
#   total CPU user time (s): 66.9419
#   total CPU system time (s): 2.55213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.237004 second user time and 0.357207 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-14 05:18:51
IDJOB=4392342
IDBENCH=128127
IDSOLVER=2838
FILE ID=node123/4392342-1568431170
RUNJOBID= node123-1568427739-4319
PBS_JOBID= 21702298
Free space on /tmp= 59184 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-07.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392342-1568431170/watcher-4392342-1568431170 -o /tmp/evaluation-result-4392342-1568431170/solver-4392342-1568431170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392342-1568431170.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=1528524924

node123.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.49
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.49
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.49
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.49
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:        28095100 kB
MemAvailable:   31872448 kB
Buffers:          148892 kB
Cached:          3893520 kB
SwapCached:         7380 kB
Active:          1241948 kB
Inactive:        2814172 kB
Active(anon):       5200 kB
Inactive(anon):    49584 kB
Active(file):    1236748 kB
Inactive(file):  2764588 kB
Unevictable:      107240 kB
Mlocked:          107240 kB
SwapTotal:      67108860 kB
SwapFree:       66999932 kB
Dirty:             20632 kB
Writeback:             0 kB
AnonPages:         55520 kB
Mapped:            45032 kB
Shmem:             32684 kB
Slab:             213736 kB
SReclaimable:     183692 kB
SUnreclaim:        30044 kB
KernelStack:        3712 kB
PageTables:         5908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59164 MiB
End job on node123 at 2019-09-14 05:19:19