Trace number 4405202

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-09-22)SAT 69.635 28.2842

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-14555-serial-file.bin HOME/instance-4405202-1569338503.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: Tue Sep 24 17:21:03 CEST 2019
0.65/0.56	c PID: 14558
0.65/0.56	c IP: 172.20.3.127
0.65/0.56	c HOST: node127.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.37/1.40	c (0,0) Parsing End
3.37/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1428 ctr, max domain size 24
3.37/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.37/1.41	c (0,0) Constraint Name Generate Begin
3.37/1.44	c (0,0) Ctr:HOME/instance-4405202-1569338503.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.37/1.44	c (0,0) Constraint Name Generate End
3.37/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.37/1.44	c (0,0) CSP to CSPinCNF Begin
11.60/4.68	c (4,4) translated 143 (10%) constraints
12.25/5.26	c (4,4) translated 286 (20%) constraints
12.25/5.28	c (4,4) translated 429 (30%) constraints
12.55/5.30	c (4,4) translated 572 (40%) constraints
12.55/5.32	c (4,4) translated 714 (50%) constraints
12.55/5.34	c (4,4) translated 857 (60%) constraints
12.55/5.36	c (4,4) translated 1000 (70%) constraints
12.55/5.38	c (4,4) translated 1143 (80%) constraints
15.08/7.03	c (6,6) translated 1286 (90%) constraints
16.26/8.23	c (7,7) translated 1428 (100%) constraints
16.26/8.25	c (7,7) ===========================================
16.26/8.25	c (7,7) Order
16.26/8.25	c (7,7) ===========================================
18.38/8.94	c (8,8) translated 5586 (10%) constraints
18.96/9.19	c (8,8) translated 11171 (20%) constraints
19.61/9.33	c (8,8) translated 16756 (30%) constraints
19.81/9.45	c (8,8) translated 22341 (40%) constraints
19.97/9.58	c (9,9) translated 27926 (50%) constraints
20.18/9.70	c (9,9) translated 33511 (60%) constraints
20.27/9.82	c (9,9) translated 39096 (70%) constraints
20.37/9.94	c (9,9) translated 44681 (80%) constraints
20.48/10.07	c (9,9) translated 50266 (90%) constraints
25.21/11.68	c (11,11) translated 55851 (100%) constraints
25.21/11.69	c (11,11) CSP to CSPinCNF End
25.53/11.70	c (11,11) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75485 ctr, max domain size 68
25.53/11.70	c (11,11) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.53/11.70	c (11,11) CSPinCNF Propagation Begin
26.79/12.18	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
26.79/12.18	c (11,11) CSPinCNF Propagation End
26.79/12.19	c (11,11) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75085 ctr, max domain size 68
26.79/12.19	c (11,11) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.79/12.19	c (11,11) Simplify CSPinCNF Begin
27.62/12.40	c (11,11) Simplify CSPinCNF End
27.62/12.40	c (11,11) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75085 ctr, max domain size 68
27.62/12.40	c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.62/12.40	c (11,11) Calculate Precise Domain Begin
27.62/12.49	c (11,11) 0 values are removed by re-calculation
27.62/12.49	c (11,11) Calculate Precise Domain End
27.99/12.50	c (11,11) CSP: 9084 int (8884 aux), 20809 bool (19809 aux), 75085 ctr, max domain size 68
27.99/12.50	c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.99/12.50	c (11,11) CSPinCNF to SatSolver Begin
32.25/14.11	c (13,13) 7509 (10 %) CSP clauses are encoded (0 SAT variables, 596512 SAT clauses)
32.25/14.19	c (13,13) 15017 (20 %) CSP clauses are encoded (0 SAT variables, 604020 SAT clauses)
32.50/14.26	c (13,13) 22526 (30 %) CSP clauses are encoded (0 SAT variables, 611529 SAT clauses)
32.66/14.34	c (13,13) 30034 (40 %) CSP clauses are encoded (0 SAT variables, 619037 SAT clauses)
32.77/14.41	c (13,13) 37543 (50 %) CSP clauses are encoded (0 SAT variables, 626546 SAT clauses)
32.77/14.48	c (13,13) 45051 (60 %) CSP clauses are encoded (0 SAT variables, 634054 SAT clauses)
32.87/14.55	c (14,13) 52560 (70 %) CSP clauses are encoded (0 SAT variables, 641563 SAT clauses)
32.97/14.62	c (14,13) 60068 (80 %) CSP clauses are encoded (0 SAT variables, 649071 SAT clauses)
33.66/15.02	c (14,14) 67577 (90 %) CSP clauses are encoded (0 SAT variables, 814783 SAT clauses)
36.81/18.20	c (17,17) 75085 (100 %) CSP clauses are encoded (0 SAT variables, 2451055 SAT clauses)
36.81/18.20	c (17,17) CSPinCNF to SatSolver End
36.81/18.20	c (17,17) Heap : 3604 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
36.81/18.20	c (17,17) 146425 bool, 2451730 clause
36.81/18.20	c (17,17) Export Begin
36.99/18.36	c (17,17) Export to HOME/scop-14555-serial-file.bin
36.99/18.36	c (17,17) Export End
36.99/18.37	c (17,17) Export File Size: 0.25 MB
36.99/18.37	c (17,17) 0,0,11,11,11,11,17,STOP-AFTER(DIMACS)
36.99/18.37	c END-Prog: Tue Sep 24 17:21:20 CEST 2019
0.00/18.41	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14555-serial-file.bin
37.27/18.86	c (0,0) Read Serial File Begin
37.27/18.86	c (0,0) HOME/scop-14555-serial-file.bin
38.33/19.15	c (0,0) Read Serial File End
38.33/19.17	
38.33/19.17	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
38.33/19.17	(Solving Process)
38.33/19.17	
38.33/19.19	c BEGIN-Prog: Tue Sep 24 17:21:21 CEST 2019
38.33/19.19	c PID: 14580
38.33/19.19	c IP: 172.20.3.127
38.33/19.19	c HOST: node127.alineos.net
38.33/19.19	c (0,0) SatSolver.solve Begin
38.33/19.19	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405202-1569338503.xml-scop-14558.cnf
38.62/19.22	c (0,0) c
38.62/19.22	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)
38.62/19.22	c (0,0) c
38.62/19.22	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.62/19.22	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.62/19.22	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.62/19.22	c (0,0) c |                                                                                                       |
39.56/20.10	c (1,0) c |  Number of variables:        146425                                                                   |
39.56/20.10	c (1,0) c |  Number of clauses:         2451478                                                                   |
39.56/20.10	c (1,0) c |  Parse time:                   0.80 s                                                                 |
39.56/20.10	c (1,0) c |                                                                                                       |
43.05/23.59	c (4,0) c |  Simplification time:          3.43 s                                                                 |
43.05/23.59	c (4,0) c |                                                                                                       |
43.05/23.59	c (4,0) c |  Generating clones                                                                                    |
43.76/24.25	c (5,0) c |  all clones generated. Memory =  1376.11Mb.                                                           |
43.76/24.25	c (5,0) c ========================================================================================================|
43.76/24.25	c (5,0) c
43.76/24.25	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.76/24.25	c (5,0) c
43.76/24.25	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.76/24.25	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.76/24.25	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.76/24.25	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
43.76/24.25	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
43.76/24.25	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
43.76/24.25	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
43.76/24.25	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
43.76/24.25	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.76/24.25	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
43.76/24.25	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.76/24.25	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.76/24.25	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
43.76/24.25	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.76/24.25	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
43.76/24.25	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.76/24.25	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
43.76/24.25	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
43.76/24.25	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.88	c (9,0) c
68.30/27.88	c (9,0) c real time : 8.66598 s
68.30/27.88	c (9,0) c cpu time  : 28.8077 s
68.30/27.88	c (9,0) c
68.30/27.88	c (9,0) c
68.30/27.88	c (9,0) c
68.30/27.88	c (9,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
68.30/27.88	c (9,0) c
68.30/27.88	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.88	c (9,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
68.30/27.88	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.88	c (9,0) c | Conflicts     |           14906 |       1782 |       2463 |       1206 |       1442 |       1231 |       3193 |       1482 |       2107 |
68.30/27.88	c (9,0) c | Decisions     |          243236 |      31713 |      25315 |      33720 |      25448 |      42703 |      28013 |      33863 |      22461 |
68.30/27.88	c (9,0) c | Propagations  |        32012586 |    4208450 |    3853982 |    3833091 |    4040989 |    4109745 |    4236108 |    3883111 |    3847110 |
68.30/27.88	c (9,0) c | ReduceDBs     |               3 |          0 |          1 |          0 |          0 |          0 |          1 |          0 |          1 |
68.30/27.88	c (9,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
68.30/27.88	c (9,0) c | Restarts      |             130 |         15 |         20 |         13 |         16 |         10 |         23 |         12 |         21 |
68.30/27.88	c (9,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.88	c (9,0) c | PropBinClauses|        58743731 |    7801417 |    7640084 |    6653211 |    7894710 |    6963139 |    7859814 |    6996516 |    6934840 |
68.30/27.88	c (9,0) c | PropPreBlocker|       403886659 |   48267532 |   52797786 |   50367348 |   46541443 |   50121184 |   56545026 |   50309052 |   48937288 |
68.30/27.88	c (9,0) c | PropNotBlocker|       113058722 |   13895843 |   14454600 |   13473367 |   15122901 |   13347487 |   15128188 |   13149022 |   14487314 |
68.30/27.88	c (9,0) c | LitFullScans  |       690954006 |   84133501 |   90063340 |   84082488 |   84106798 |   84281001 |   96088477 |   84073831 |   84124570 |
68.30/27.88	c (9,0) c | LitScanFracts |          321601 |      45987 |      22140 |      42903 |      41564 |      34270 |      45554 |      24073 |      65110 |
68.30/27.88	c (9,0) c | DecisionLevel0|             143 |         17 |         20 |         15 |         17 |         13 |         24 |         14 |         23 |
68.30/27.88	c (9,0) c | Periods       |             115 |         14 |         15 |         14 |         14 |         14 |         16 |         14 |         14 |
68.30/27.88	c (9,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
68.30/27.88	c (9,0) c | Avg_Trail     |                 |      44703 |      39311 |      54616 |      49417 |      42024 |      24359 |      49313 |      30419 |
68.30/27.88	c (9,0) c | Avg_DL        |                 |        348 |        305 |        491 |        402 |        385 |        214 |        420 |        301 |
68.30/27.88	c (9,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.88	c (9,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.88	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.88	c (9,0) c | Exported      |             288 |         52 |         21 |         36 |         28 |         51 |         38 |         31 |         31 |
68.30/27.89	c (9,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.89	c (9,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.89	c (9,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.89	c (9,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.89	c (9,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.89	c (9,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
68.30/27.89	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.89	c (9,0) c | Unaries       |                 |          2 |          0 |          2 |          1 |          3 |          1 |          2 |          2 |
68.30/27.89	c (9,0) c | Binaries      |                 |         50 |         18 |         35 |         27 |         50 |         29 |         28 |         21 |
68.30/27.89	c (9,0) c | Glues         |                 |         52 |         21 |         36 |         28 |         51 |         38 |         31 |         31 |
68.30/27.89	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.89	c (9,0) c | Orig_Seen     |             0 % |       8728 |       8055 |       8450 |       8352 |       7938 |       9742 |       8435 |       8504 |
68.30/27.89	c (9,0) c | Diff Orig seen|                 |        790 |        117 |        512 |        414 |      X     |       1804 |        497 |        566 |
68.30/27.89	c (9,0) c | Hamming       |            13 % |      20269 |      19479 |      18851 |      19084 |      X     |      21062 |      18206 |      19163 |
68.30/27.89	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.89	c (9,0) c | RunningTime   |                 |    3.6 100%|    2.8 100%|    3.1 100%|    3.6 100%|    2.8 100%|    2.9 100%|    3.4 100%|    3.0 100%|
68.30/27.89	c (9,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.30/27.89	c (9,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.30/27.89	c (9,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.30/27.89	c (9,0) c | SolvingTime   |                 |    3.6     |    2.8     |    3.1     |    3.6     |    2.8     |    2.9     |    3.4     |    3.0     |
68.30/27.89	c (9,0) c | PropagationTim|                 |    3.4  94%|    2.6  93%|    2.9  94%|    3.4  94%|    2.6  94%|    2.7  93%|    3.2  94%|    2.8  94%|
68.30/27.89	c (9,0) c | AnalysisTime  |                 |    0.1   1%|    0.1   3%|    0.0   1%|    0.1   2%|    0.0   1%|    0.1   2%|    0.0   1%|    0.0   1%|
68.30/27.89	c (9,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.30/27.89	c (9,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.30/27.89	c (9,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.30/27.89	c (9,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.30/27.89	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.30/27.89	c (9,0) c
68.30/27.89	c (9,0) c
68.30/27.89	c (9,0) c Threads : 8
68.30/27.89	c (9,0) c Winner : 4
68.30/27.89	c (9,0) c Conflicts_0 : 1782
68.30/27.89	c (9,0) c Conflicts_1 : 2463
68.30/27.89	c (9,0) c Conflicts_2 : 1206
68.30/27.89	c (9,0) c Conflicts_3 : 1442
68.30/27.89	c (9,0) c Conflicts_4 : 1231
68.30/27.89	c (9,0) c Conflicts_5 : 3193
68.30/27.89	c (9,0) c Conflicts_6 : 1482
68.30/27.89	c (9,0) c Conflicts_7 : 2107
68.30/27.89	c (9,0) c Conflicts_total : 14906
68.30/27.89	c (9,0) c Conflicts_winner : 1231
68.30/27.89	c (9,0) c Decisions_0 : 31713
68.30/27.89	c (9,0) c Decisions_1 : 25315
68.30/27.89	c (9,0) c Decisions_2 : 33720
68.30/27.89	c (9,0) c Decisions_3 : 25448
68.30/27.89	c (9,0) c Decisions_4 : 42703
68.30/27.89	c (9,0) c Decisions_5 : 28013
68.30/27.89	c (9,0) c Decisions_6 : 33863
68.30/27.89	c (9,0) c Decisions_7 : 22461
68.30/27.89	c (9,0) c Decisions_total : 243236
68.30/27.89	c (9,0) c Decisions_winner : 42703
68.30/27.89	c (9,0) c Propagations_0 : 4208450
68.30/27.89	c (9,0) c Propagations_1 : 3853982
68.30/27.89	c (9,0) c Propagations_2 : 3833091
68.30/27.89	c (9,0) c Propagations_3 : 4040989
68.30/27.89	c (9,0) c Propagations_4 : 4109745
68.30/27.89	c (9,0) c Propagations_5 : 4236108
68.30/27.89	c (9,0) c Propagations_6 : 3883111
68.30/27.89	c (9,0) c Propagations_7 : 3847110
68.30/27.89	c (9,0) c Propagations_total : 32012586
68.30/27.89	c (9,0) c Propagations_winner : 4109745
68.30/27.89	c (9,0) c ReduceDBs_0 : 0
68.30/27.89	c (9,0) c ReduceDBs_1 : 1
68.30/27.89	c (9,0) c ReduceDBs_2 : 0
68.30/27.89	c (9,0) c ReduceDBs_3 : 0
68.30/27.89	c (9,0) c ReduceDBs_4 : 0
68.30/27.89	c (9,0) c ReduceDBs_5 : 1
68.30/27.89	c (9,0) c ReduceDBs_6 : 0
68.30/27.89	c (9,0) c ReduceDBs_7 : 1
68.30/27.89	c (9,0) c ReduceDBs_total : 3
68.30/27.89	c (9,0) c ReduceDBs_winner : 0
68.30/27.89	c (9,0) c SimpDBs_0 : 1
68.30/27.89	c (9,0) c SimpDBs_1 : 1
68.30/27.89	c (9,0) c SimpDBs_2 : 1
68.30/27.89	c (9,0) c SimpDBs_3 : 1
68.30/27.89	c (9,0) c SimpDBs_4 : 1
68.30/27.89	c (9,0) c SimpDBs_5 : 1
68.30/27.89	c (9,0) c SimpDBs_6 : 1
68.30/27.89	c (9,0) c SimpDBs_7 : 1
68.30/27.89	c (9,0) c SimpDBs_total : 8
68.30/27.89	c (9,0) c SimpDBs_winner : 1
68.30/27.89	c (9,0) c Restarts_0 : 15
68.30/27.89	c (9,0) c Restarts_1 : 20
68.30/27.89	c (9,0) c Restarts_2 : 13
68.30/27.89	c (9,0) c Restarts_3 : 16
68.30/27.89	c (9,0) c Restarts_4 : 10
68.30/27.89	c (9,0) c Restarts_5 : 23
68.30/27.89	c (9,0) c Restarts_6 : 12
68.30/27.89	c (9,0) c Restarts_7 : 21
68.30/27.89	c (9,0) c Restarts_total : 130
68.30/27.89	c (9,0) c Restarts_winner : 10
68.30/27.89	c (9,0) c ForcedImports_0 : 0
68.30/27.89	c (9,0) c ForcedImports_1 : 0
68.30/27.89	c (9,0) c ForcedImports_2 : 0
68.30/27.89	c (9,0) c ForcedImports_3 : 0
68.30/27.89	c (9,0) c ForcedImports_4 : 0
68.30/27.89	c (9,0) c ForcedImports_5 : 0
68.30/27.89	c (9,0) c ForcedImports_6 : 0
68.30/27.89	c (9,0) c ForcedImports_7 : 0
68.30/27.89	c (9,0) c ForcedImports_total : 0
68.30/27.89	c (9,0) c ForcedImports_winner : 0
68.30/27.89	c (9,0) c PropsBinClauses_0 : 7801417
68.30/27.89	c (9,0) c PropsBinClauses_1 : 7640084
68.30/27.89	c (9,0) c PropsBinClauses_2 : 6653211
68.30/27.89	c (9,0) c PropsBinClauses_3 : 7894710
68.30/27.89	c (9,0) c PropsBinClauses_4 : 6963139
68.30/27.89	c (9,0) c PropsBinClauses_5 : 7859814
68.30/27.89	c (9,0) c PropsBinClauses_6 : 6996516
68.30/27.89	c (9,0) c PropsBinClauses_7 : 6934840
68.30/27.89	c (9,0) c PropsBinClauses_total : 58743731
68.30/27.89	c (9,0) c PropsBinClauses_winner : 6963139
68.30/27.89	c (9,0) c PropsPreBlocker_0 : 48267532
68.30/27.89	c (9,0) c PropsPreBlocker_1 : 52797786
68.30/27.89	c (9,0) c PropsPreBlocker_2 : 50367348
68.30/27.89	c (9,0) c PropsPreBlocker_3 : 46541443
68.30/27.89	c (9,0) c PropsPreBlocker_4 : 50121184
68.30/27.89	c (9,0) c PropsPreBlocker_5 : 56545026
68.30/27.89	c (9,0) c PropsPreBlocker_6 : 50309052
68.30/27.89	c (9,0) c PropsPreBlocker_7 : 48937288
68.30/27.89	c (9,0) c PropsPreBlocker_total : 403886659
68.30/27.89	c (9,0) c PropsPreBlocker_winner : 50121184
68.30/27.89	c (9,0) c PropsNotBlocker_0 : 13895843
68.30/27.89	c (9,0) c PropsNotBlocker_1 : 14454600
68.30/27.89	c (9,0) c PropsNotBlocker_2 : 13473367
68.30/27.89	c (9,0) c PropsNotBlocker_3 : 15122901
68.30/27.89	c (9,0) c PropsNotBlocker_4 : 13347487
68.30/27.89	c (9,0) c PropsNotBlocker_5 : 15128188
68.30/27.89	c (9,0) c PropsNotBlocker_6 : 13149022
68.30/27.89	c (9,0) c PropsNotBlocker_7 : 14487314
68.30/27.89	c (9,0) c PropsNotBlocker_total : 113058722
68.30/27.89	c (9,0) c PropsNotBlocker_winner : 13347487
68.30/27.89	c (9,0) c PropsLitFullScans_0 : 84133501
68.30/27.89	c (9,0) c PropsLitFullScans_1 : 90063340
68.30/27.89	c (9,0) c PropsLitFullScans_2 : 84082488
68.30/27.89	c (9,0) c PropsLitFullScans_3 : 84106798
68.30/27.89	c (9,0) c PropsLitFullScans_4 : 84281001
68.30/27.89	c (9,0) c PropsLitFullScans_5 : 96088477
68.30/27.89	c (9,0) c PropsLitFullScans_6 : 84073831
68.30/27.89	c (9,0) c PropsLitFullScans_7 : 84124570
68.30/27.89	c (9,0) c PropsLitFullScans_total : 690954006
68.30/27.89	c (9,0) c PropsLitFullScans_winner : 84281001
68.30/27.89	c (9,0) c LitScanFractions_0 : 45987
68.30/27.89	c (9,0) c LitScanFractions_1 : 22140
68.30/27.89	c (9,0) c LitScanFractions_2 : 42903
68.30/27.89	c (9,0) c LitScanFractions_3 : 41564
68.30/27.89	c (9,0) c LitScanFractions_4 : 34270
68.30/27.89	c (9,0) c LitScanFractions_5 : 45554
68.30/27.89	c (9,0) c LitScanFractions_6 : 24073
68.30/27.89	c (9,0) c LitScanFractions_7 : 65110
68.30/27.89	c (9,0) c LitScanFractions_total : 321601
68.30/27.89	c (9,0) c LitScanFractions_winner : 34270
68.30/27.89	c (9,0) c DecisionLevel0_0 : 17
68.30/27.89	c (9,0) c DecisionLevel0_1 : 20
68.30/27.89	c (9,0) c DecisionLevel0_2 : 15
68.30/27.89	c (9,0) c DecisionLevel0_3 : 17
68.30/27.89	c (9,0) c DecisionLevel0_4 : 13
68.30/27.89	c (9,0) c DecisionLevel0_5 : 24
68.30/27.89	c (9,0) c DecisionLevel0_6 : 14
68.30/27.89	c (9,0) c DecisionLevel0_7 : 23
68.30/27.89	c (9,0) c DecisionLevel0_total : 143
68.30/27.89	c (9,0) c DecisionLevel0_winner : 13
68.30/27.89	c (9,0) c Periods_0 : 14
68.30/27.89	c (9,0) c Periods_1 : 15
68.30/27.89	c (9,0) c Periods_2 : 14
68.30/27.89	c (9,0) c Periods_3 : 14
68.30/27.89	c (9,0) c Periods_4 : 14
68.30/27.89	c (9,0) c Periods_5 : 16
68.30/27.89	c (9,0) c Periods_6 : 14
68.30/27.89	c (9,0) c Periods_7 : 14
68.30/27.89	c (9,0) c Periods_total : 115
68.30/27.89	c (9,0) c Periods_winner : 14
68.30/27.89	c (9,0) c Margin_0 : 20
68.30/27.89	c (9,0) c Margin_1 : 20
68.30/27.89	c (9,0) c Margin_2 : 20
68.30/27.89	c (9,0) c Margin_3 : 20
68.30/27.89	c (9,0) c Margin_4 : 20
68.30/27.89	c (9,0) c Margin_5 : 20
68.30/27.89	c (9,0) c Margin_6 : 20
68.30/27.89	c (9,0) c Margin_7 : 20
68.30/27.89	c (9,0) c Margin_total : 160
68.30/27.89	c (9,0) c Margin_winner : 20
68.30/27.89	c (9,0) c Exported_0 : 52
68.30/27.89	c (9,0) c Exported_1 : 21
68.30/27.89	c (9,0) c Exported_2 : 36
68.30/27.89	c (9,0) c Exported_3 : 28
68.30/27.89	c (9,0) c Exported_4 : 51
68.30/27.89	c (9,0) c Exported_5 : 38
68.30/27.89	c (9,0) c Exported_6 : 31
68.30/27.89	c (9,0) c Exported_7 : 31
68.30/27.89	c (9,0) c Exported_total : 288
68.30/27.89	c (9,0) c Exported_winner : 51
68.30/27.89	c (9,0) c Imported_0 : 0
68.30/27.89	c (9,0) c Imported_1 : 0
68.30/27.89	c (9,0) c Imported_2 : 0
68.30/27.89	c (9,0) c Imported_3 : 0
68.30/27.89	c (9,0) c Imported_4 : 0
68.30/27.89	c (9,0) c Imported_5 : 0
68.30/27.89	c (9,0) c Imported_6 : 0
68.30/27.89	c (9,0) c Imported_7 : 0
68.30/27.89	c (9,0) c Imported_total : 0
68.30/27.89	c (9,0) c Imported_winner : 0
68.30/27.89	c (9,0) c Good_0 : 0
68.30/27.89	c (9,0) c Good_1 : 0
68.30/27.89	c (9,0) c Good_2 : 0
68.30/27.89	c (9,0) c Good_3 : 0
68.30/27.89	c (9,0) c Good_4 : 0
68.30/27.89	c (9,0) c Good_5 : 0
68.30/27.89	c (9,0) c Good_6 : 0
68.30/27.89	c (9,0) c Good_7 : 0
68.30/27.89	c (9,0) c Good_total : 0
68.30/27.89	c (9,0) c Good_winner : 0
68.30/27.89	c (9,0) c Purge_0 : 0
68.30/27.89	c (9,0) c Purge_1 : 0
68.30/27.89	c (9,0) c Purge_2 : 0
68.30/27.89	c (9,0) c Purge_3 : 0
68.30/27.89	c (9,0) c Purge_4 : 0
68.30/27.89	c (9,0) c Purge_5 : 0
68.30/27.89	c (9,0) c Purge_6 : 0
68.30/27.89	c (9,0) c Purge_7 : 0
68.30/27.89	c (9,0) c Purge_total : 0
68.30/27.89	c (9,0) c Purge_winner : 0
68.30/27.89	c (9,0) c Promoted_0 : 0
68.30/27.89	c (9,0) c Promoted_1 : 0
68.30/27.89	c (9,0) c Promoted_2 : 0
68.30/27.89	c (9,0) c Promoted_3 : 0
68.30/27.89	c (9,0) c Promoted_4 : 0
68.30/27.89	c (9,0) c Promoted_5 : 0
68.30/27.89	c (9,0) c Promoted_6 : 0
68.30/27.89	c (9,0) c Promoted_7 : 0
68.30/27.89	c (9,0) c Promoted_total : 0
68.30/27.89	c (9,0) c Promoted_winner : 0
68.30/27.89	c (9,0) c Remove_Imp_0 : 0
68.30/27.89	c (9,0) c Remove_Imp_1 : 0
68.30/27.89	c (9,0) c Remove_Imp_2 : 0
68.30/27.89	c (9,0) c Remove_Imp_3 : 0
68.30/27.89	c (9,0) c Remove_Imp_4 : 0
68.30/27.89	c (9,0) c Remove_Imp_5 : 0
68.30/27.89	c (9,0) c Remove_Imp_6 : 0
68.30/27.89	c (9,0) c Remove_Imp_7 : 0
68.30/27.89	c (9,0) c Remove_Imp_total : 0
68.30/27.89	c (9,0) c Remove_Imp_winner : 0
68.30/27.89	c (9,0) c Blocked_Reuse_0 : 0
68.30/27.89	c (9,0) c Blocked_Reuse_1 : 0
68.30/27.89	c (9,0) c Blocked_Reuse_2 : 0
68.30/27.89	c (9,0) c Blocked_Reuse_3 : 0
68.30/27.89	c (9,0) c Blocked_Reuse_4 : 0
68.30/27.89	c (9,0) c Blocked_Reuse_5 : 0
68.30/27.89	c (9,0) c Blocked_Reuse_6 : 0
68.30/27.89	c (9,0) c Blocked_Reuse_7 : 0
68.30/27.90	c (9,0) c Blocked_Reuse_total : 0
68.30/27.90	c (9,0) c Blocked_Reuse_winner : 0
68.30/27.90	c (9,0) c Unaries_0 : 2
68.30/27.90	c (9,0) c Unaries_1 : 0
68.30/27.90	c (9,0) c Unaries_2 : 2
68.30/27.90	c (9,0) c Unaries_3 : 1
68.30/27.90	c (9,0) c Unaries_4 : 3
68.30/27.90	c (9,0) c Unaries_5 : 1
68.30/27.90	c (9,0) c Unaries_6 : 2
68.30/27.90	c (9,0) c Unaries_7 : 2
68.30/27.90	c (9,0) c Unaries_total : 13
68.30/27.90	c (9,0) c Unaries_winner : 3
68.30/27.90	c (9,0) c Binaries_0 : 50
68.30/27.90	c (9,0) c Binaries_1 : 18
68.30/27.90	c (9,0) c Binaries_2 : 35
68.30/27.90	c (9,0) c Binaries_3 : 27
68.30/27.90	c (9,0) c Binaries_4 : 50
68.30/27.90	c (9,0) c Binaries_5 : 29
68.30/27.90	c (9,0) c Binaries_6 : 28
68.30/27.90	c (9,0) c Binaries_7 : 21
68.30/27.90	c (9,0) c Binaries_total : 258
68.30/27.90	c (9,0) c Binaries_winner : 50
68.30/27.90	c (9,0) c Glues_0 : 52
68.30/27.90	c (9,0) c Glues_1 : 21
68.30/27.90	c (9,0) c Glues_2 : 36
68.30/27.90	c (9,0) c Glues_3 : 28
68.30/27.90	c (9,0) c Glues_4 : 51
68.30/27.90	c (9,0) c Glues_5 : 38
68.30/27.90	c (9,0) c Glues_6 : 31
68.30/27.90	c (9,0) c Glues_7 : 31
68.30/27.90	c (9,0) c Glues_total : 288
68.30/27.90	c (9,0) c Glues_winner : 51
68.30/27.90	c (9,0) c RunningTime_0 : 3.589975
68.30/27.90	c (9,0) c RunningTime_1 : 2.802413
68.30/27.90	c (9,0) c RunningTime_2 : 3.143899
68.30/27.90	c (9,0) c RunningTime_3 : 3.622403
68.30/27.90	c (9,0) c RunningTime_4 : 2.784542
68.30/27.90	c (9,0) c RunningTime_5 : 2.853692
68.30/27.90	c (9,0) c RunningTime_6 : 3.421730
68.30/27.90	c (9,0) c RunningTime_7 : 2.960281
68.30/27.90	c (9,0) c RunningTime_total : 25.178934
68.30/27.90	c (9,0) c RunningTime_winner : 2.784542
68.30/27.90	c (9,0) c WaitingTime_0 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_1 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_2 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_3 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_4 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_5 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_6 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_7 : 0.000000
68.30/27.90	c (9,0) c WaitingTime_total : 0.000000
68.30/27.90	c (9,0) c WaitingTime_winner : 0.000000
68.30/27.90	c (9,0) c ExchangingTime_0 : 0.000334
68.30/27.90	c (9,0) c ExchangingTime_1 : 0.000273
68.30/27.90	c (9,0) c ExchangingTime_2 : 0.000239
68.30/27.90	c (9,0) c ExchangingTime_3 : 0.000354
68.30/27.90	c (9,0) c ExchangingTime_4 : 0.000263
68.30/27.90	c (9,0) c ExchangingTime_5 : 0.000385
68.30/27.90	c (9,0) c ExchangingTime_6 : 0.000298
68.30/27.90	c (9,0) c ExchangingTime_7 : 0.000289
68.30/27.90	c (9,0) c ExchangingTime_total : 0.002434
68.47/27.90	c (9,0) c ExchangingTime_winner : 0.000263
68.47/27.90	c (9,0) c PeriodProcTime_0 : 0.000194
68.47/27.90	c (9,0) c PeriodProcTime_1 : 0.000161
68.47/27.90	c (9,0) c PeriodProcTime_2 : 0.000183
68.47/27.90	c (9,0) c PeriodProcTime_3 : 0.000197
68.47/27.90	c (9,0) c PeriodProcTime_4 : 0.000153
68.47/27.90	c (9,0) c PeriodProcTime_5 : 0.000214
68.47/27.90	c (9,0) c PeriodProcTime_6 : 0.000184
68.47/27.90	c (9,0) c PeriodProcTime_7 : 0.000165
68.47/27.90	c (9,0) c PeriodProcTime_total : 0.001451
68.47/27.90	c (9,0) c PeriodProcTime_winner : 0.000153
68.47/27.90	c (9,0) c SolvingTime_0 : 3.590502
68.47/27.90	c (9,0) c SolvingTime_1 : 2.802847
68.47/27.90	c (9,0) c SolvingTime_2 : 3.144321
68.47/27.90	c (9,0) c SolvingTime_3 : 3.622954
68.47/27.90	c (9,0) c SolvingTime_4 : 2.784958
68.47/27.90	c (9,0) c SolvingTime_5 : 2.854291
68.47/27.90	c (9,0) c SolvingTime_6 : 3.422212
68.47/27.90	c (9,0) c SolvingTime_7 : 2.960735
68.47/27.90	c (9,0) c SolvingTime_total : 25.182818
68.47/27.90	c (9,0) c SolvingTime_winner : 2.784958
68.47/27.90	c (9,0) c PropagationTime_0 : 3.364866
68.47/27.90	c (9,0) c PropagationTime_1 : 2.593001
68.47/27.90	c (9,0) c PropagationTime_2 : 2.947769
68.47/27.90	c (9,0) c PropagationTime_3 : 3.388314
68.47/27.90	c (9,0) c PropagationTime_4 : 2.617340
68.47/27.90	c (9,0) c PropagationTime_5 : 2.653601
68.47/27.90	c (9,0) c PropagationTime_6 : 3.214322
68.47/27.90	c (9,0) c PropagationTime_7 : 2.782202
68.47/27.90	c (9,0) c PropagationTime_total : 23.561416
68.47/27.90	c (9,0) c PropagationTime_winner : 2.617340
68.47/27.90	c (9,0) c AnalysisTime_0 : 0.050471
68.47/27.90	c (9,0) c AnalysisTime_1 : 0.073807
68.47/27.90	c (9,0) c AnalysisTime_2 : 0.039763
68.47/27.90	c (9,0) c AnalysisTime_3 : 0.061262
68.47/27.90	c (9,0) c AnalysisTime_4 : 0.022702
68.47/27.90	c (9,0) c AnalysisTime_5 : 0.063151
68.47/27.90	c (9,0) c AnalysisTime_6 : 0.042004
68.47/27.90	c (9,0) c AnalysisTime_7 : 0.042934
68.47/27.90	c (9,0) c AnalysisTime_total : 0.396094
68.47/27.90	c (9,0) c AnalysisTime_winner : 0.022702
68.47/27.90	c (9,0) c ReductionTime_0 : 0.000000
68.47/27.90	c (9,0) c ReductionTime_1 : 0.000418
68.47/27.90	c (9,0) c ReductionTime_2 : 0.000000
68.47/27.90	c (9,0) c ReductionTime_3 : 0.000000
68.47/27.90	c (9,0) c ReductionTime_4 : 0.000000
68.47/27.90	c (9,0) c ReductionTime_5 : 0.000437
68.47/27.90	c (9,0) c ReductionTime_6 : 0.000000
68.47/27.90	c (9,0) c ReductionTime_7 : 0.000353
68.47/27.90	c (9,0) c ReductionTime_total : 0.001208
68.47/27.90	c (9,0) c ReductionTime_winner : 0.000000
68.47/27.90	c (9,0) c SimplifyTime_0 : 0.000003
68.47/27.90	c (9,0) c SimplifyTime_1 : 0.000001
68.47/27.90	c (9,0) c SimplifyTime_2 : 0.000000
68.47/27.90	c (9,0) c SimplifyTime_3 : 0.000002
68.47/27.90	c (9,0) c SimplifyTime_4 : 0.000001
68.47/27.90	c (9,0) c SimplifyTime_5 : 0.000002
68.47/27.90	c (9,0) c SimplifyTime_6 : 0.000003
68.47/27.90	c (9,0) c SimplifyTime_7 : 0.000004
68.47/27.90	c (9,0) c SimplifyTime_total : 0.000016
68.47/27.90	c (9,0) c SimplifyTime_winner : 0.000001
68.47/27.90	c (9,0) c UsedRateTime_0 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_1 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_2 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_3 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_4 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_5 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_6 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_7 : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_total : 0.000000
68.47/27.90	c (9,0) c UsedRateTime_winner : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_0 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_1 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_2 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_3 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_4 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_5 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_6 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_7 : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_total : 0.000000
68.47/27.90	c (9,0) c OverlapRateTime_winner : 0.000000
68.47/27.90	c (9,0) c
68.47/27.90	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
68.47/27.90	c (9,0) c
68.47/27.90	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.47/27.90	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
68.47/27.90	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.47/27.90	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
68.47/27.90	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
68.47/27.90	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
68.47/27.90	c (9,0) c | Initial random_seed   | 1870206842 | 1654548227 | 1404695210 |  252994634 |  940493806 |  830009571 |   12767408 |  494992536 |
68.47/27.90	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
68.47/27.90	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
68.47/27.90	c (9,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
68.47/27.90	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
68.47/27.90	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
68.47/27.90	c (9,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
68.47/27.90	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
68.47/27.90	c (9,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
68.47/27.90	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
68.47/27.90	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
68.47/27.90	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
68.47/27.90	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
68.47/27.90	c (9,0) 
68.47/27.90	c (9,0) s SATISFIABLE
68.85/28.02	c (9,0) SatSolver.solve End
68.85/28.02	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
68.85/28.02	c (9,0) Show results Begin
69.32/28.21	c (9,0) cls[0] = 17
69.32/28.21	c (9,0) cls[1] = 4
69.32/28.21	c (9,0) cls[2] = 15
69.32/28.21	c (9,0) cls[3] = 8
69.32/28.21	c (9,0) cls[4] = 0
69.32/28.21	c (9,0) cls[5] = 11
69.32/28.21	c (9,0) cls[6] = 8
69.32/28.21	c (9,0) cls[7] = 4
69.32/28.21	c (9,0) cls[8] = 0
69.32/28.21	c (9,0) cls[9] = 15
69.32/28.22	c (9,0) cls[10] = 16
69.32/28.22	c (9,0) cls[11] = 8
69.32/28.22	c (9,0) cls[12] = 7
69.32/28.22	c (9,0) cls[13] = 0
69.32/28.22	c (9,0) cls[14] = 2
69.32/28.22	c (9,0) cls[15] = 16
69.32/28.22	c (9,0) cls[16] = 22
69.32/28.22	c (9,0) cls[17] = 15
69.32/28.22	c (9,0) cls[18] = 22
69.32/28.22	c (9,0) cls[19] = 16
69.32/28.22	c (9,0) cls[20] = 15
69.32/28.22	c (9,0) cls[21] = 8
69.32/28.22	c (9,0) cls[22] = 13
69.32/28.22	c (9,0) cls[23] = 5
69.32/28.22	c (9,0) cls[24] = 15
69.32/28.22	c (9,0) cls[25] = 0
69.32/28.22	c (9,0) cls[26] = 11
69.32/28.22	c (9,0) cls[27] = 8
69.32/28.22	c (9,0) cls[28] = 8
69.32/28.22	c (9,0) cls[29] = 13
69.32/28.22	c (9,0) cls[30] = 0
69.32/28.22	c (9,0) cls[31] = 12
69.32/28.22	c (9,0) cls[32] = 0
69.32/28.22	c (9,0) cls[33] = 8
69.32/28.22	c (9,0) cls[34] = 18
69.32/28.22	c (9,0) cls[35] = 16
69.32/28.22	c (9,0) cls[36] = 15
69.32/28.22	c (9,0) cls[37] = 0
69.32/28.22	c (9,0) cls[38] = 4
69.32/28.22	c (9,0) cls[39] = 12
69.32/28.22	c (9,0) cls[40] = 14
69.32/28.22	c (9,0) cls[41] = 0
69.32/28.22	c (9,0) cls[42] = 12
69.32/28.22	c (9,0) cls[43] = 2
69.32/28.22	c (9,0) cls[44] = 0
69.32/28.22	c (9,0) cls[45] = 17
69.32/28.22	c (9,0) cls[46] = 8
69.32/28.22	c (9,0) cls[47] = 0
69.32/28.22	c (9,0) cls[48] = 6
69.32/28.22	c (9,0) cls[49] = 8
69.32/28.22	c (9,0) cls[50] = 14
69.32/28.22	c (9,0) cls[51] = 0
69.32/28.22	c (9,0) cls[52] = 11
69.32/28.22	c (9,0) cls[53] = 2
69.32/28.22	c (9,0) cls[54] = 0
69.32/28.22	c (9,0) cls[55] = 15
69.32/28.22	c (9,0) cls[56] = 0
69.32/28.22	c (9,0) cls[57] = 7
69.32/28.22	c (9,0) cls[58] = 12
69.32/28.22	c (9,0) cls[59] = 23
69.32/28.22	c (9,0) cls[60] = 0
69.32/28.22	c (9,0) cls[61] = 8
69.32/28.22	c (9,0) cls[62] = 5
69.32/28.22	c (9,0) cls[63] = 0
69.32/28.22	c (9,0) cls[64] = 15
69.32/28.22	c (9,0) cls[65] = 0
69.32/28.22	c (9,0) cls[66] = 17
69.32/28.22	c (9,0) cls[67] = 8
69.32/28.22	c (9,0) cls[68] = 2
69.32/28.22	c (9,0) cls[69] = 8
69.32/28.22	c (9,0) cls[70] = 12
69.32/28.22	c (9,0) cls[71] = 14
69.32/28.22	c (9,0) cls[72] = 0
69.32/28.22	c (9,0) cls[73] = 10
69.32/28.22	c (9,0) cls[74] = 22
69.32/28.22	c (9,0) cls[75] = 15
69.32/28.22	c (9,0) cls[76] = 16
69.32/28.22	c (9,0) cls[77] = 0
69.32/28.22	c (9,0) cls[78] = 2
69.32/28.22	c (9,0) cls[79] = 12
69.32/28.22	c (9,0) cls[80] = 7
69.32/28.22	c (9,0) cls[81] = 0
69.32/28.22	c (9,0) cls[82] = 11
69.32/28.22	c (9,0) cls[83] = 4
69.32/28.22	c (9,0) cls[84] = 18
69.32/28.22	c (9,0) cls[85] = 12
69.32/28.23	c (9,0) cls[86] = 7
69.32/28.23	c (9,0) cls[87] = 0
69.32/28.23	c (9,0) cls[88] = 2
69.32/28.23	c (9,0) cls[89] = 17
69.32/28.23	c (9,0) cls[90] = 22
69.32/28.23	c (9,0) cls[91] = 8
69.32/28.23	c (9,0) cls[92] = 15
69.32/28.23	c (9,0) cls[93] = 8
69.32/28.23	c (9,0) cls[94] = 6
69.32/28.23	c (9,0) cls[95] = 0
69.32/28.23	c (9,0) cls[96] = 0
69.32/28.23	c (9,0) cls[97] = 11
69.32/28.23	c (9,0) cls[98] = 0
69.32/28.23	c (9,0) cls[99] = 2
69.32/28.23	c (9,0) cls[100] = 14
69.32/28.23	c (9,0) cls[101] = 8
69.32/28.23	c (9,0) cls[102] = 3
69.32/28.23	c (9,0) cls[103] = 22
69.32/28.23	c (9,0) cls[104] = 23
69.32/28.23	c (9,0) cls[105] = 22
69.32/28.23	c (9,0) cls[106] = 14
69.32/28.23	c (9,0) cls[107] = 19
69.32/28.23	c (9,0) cls[108] = 7
69.32/28.23	c (9,0) cls[109] = 2
69.32/28.23	c (9,0) cls[110] = 17
69.32/28.23	c (9,0) cls[111] = 0
69.32/28.23	c (9,0) cls[112] = 18
69.32/28.23	c (9,0) cls[113] = 22
69.32/28.23	c (9,0) cls[114] = 14
69.32/28.23	c (9,0) cls[115] = 10
69.32/28.23	c (9,0) cls[116] = 14
69.32/28.23	c (9,0) cls[117] = 8
69.32/28.23	c (9,0) cls[118] = 0
69.32/28.23	c (9,0) cls[119] = 16
69.32/28.23	c (9,0) cls[120] = 15
69.32/28.23	c (9,0) cls[121] = 0
69.32/28.23	c (9,0) cls[122] = 11
69.32/28.23	c (9,0) cls[123] = 0
69.32/28.23	c (9,0) cls[124] = 2
69.32/28.23	c (9,0) cls[125] = 0
69.32/28.23	c (9,0) cls[126] = 20
69.32/28.23	c (9,0) cls[127] = 22
69.32/28.23	c (9,0) cls[128] = 15
69.32/28.23	c (9,0) cls[129] = 19
69.32/28.23	c (9,0) cls[130] = 22
69.32/28.23	c (9,0) cls[131] = 1
69.32/28.23	c (9,0) cls[132] = 17
69.32/28.23	c (9,0) cls[133] = 0
69.32/28.23	c (9,0) cls[134] = 18
69.32/28.23	c (9,0) cls[135] = 16
69.32/28.23	c (9,0) cls[136] = 13
69.32/28.23	c (9,0) cls[137] = 8
69.32/28.23	c (9,0) cls[138] = 14
69.32/28.23	c (9,0) cls[139] = 5
69.32/28.23	c (9,0) cls[140] = 15
69.32/28.23	c (9,0) cls[141] = 22
69.32/28.23	c (9,0) cls[142] = 15
69.32/28.23	c (9,0) cls[143] = 1
69.32/28.23	c (9,0) cls[144] = 12
69.32/28.23	c (9,0) cls[145] = 22
69.32/28.23	c (9,0) cls[146] = 14
69.32/28.23	c (9,0) cls[147] = 12
69.32/28.23	c (9,0) cls[148] = 7
69.32/28.23	c (9,0) cls[149] = 21
69.32/28.23	c (9,0) cls[150] = 15
69.32/28.23	c (9,0) cls[151] = 0
69.32/28.23	c (9,0) cls[152] = 15
69.32/28.23	c (9,0) cls[153] = 0
69.32/28.23	c (9,0) cls[154] = 4
69.32/28.23	c (9,0) cls[155] = 12
69.32/28.23	c (9,0) cls[156] = 0
69.32/28.23	c (9,0) cls[157] = 15
69.32/28.23	c (9,0) cls[158] = 19
69.32/28.23	c (9,0) cls[159] = 9
69.32/28.23	c (9,0) cls[160] = 0
69.32/28.23	c (9,0) cls[161] = 15
69.32/28.23	c (9,0) cls[162] = 0
69.32/28.23	c (9,0) cls[163] = 5
69.32/28.23	c (9,0) cls[164] = 2
69.32/28.23	c (9,0) cls[165] = 15
69.32/28.23	c (9,0) cls[166] = 0
69.32/28.23	c (9,0) cls[167] = 20
69.32/28.23	c (9,0) cls[168] = 22
69.32/28.23	c (9,0) cls[169] = 2
69.32/28.23	c (9,0) cls[170] = 3
69.32/28.23	c (9,0) cls[171] = 0
69.32/28.23	c (9,0) cls[172] = 15
69.32/28.23	c (9,0) cls[173] = 12
69.32/28.23	c (9,0) cls[174] = 13
69.32/28.23	c (9,0) cls[175] = 0
69.32/28.23	c (9,0) cls[176] = 12
69.32/28.23	c (9,0) cls[177] = 22
69.32/28.23	c (9,0) cls[178] = 14
69.32/28.23	c (9,0) cls[179] = 1
69.32/28.23	c (9,0) cls[180] = 20
69.32/28.23	c (9,0) cls[181] = 0
69.32/28.23	c (9,0) cls[182] = 0
69.32/28.23	c (9,0) cls[183] = 11
69.32/28.23	c (9,0) cls[184] = 4
69.32/28.23	c (9,0) cls[185] = 8
69.32/28.23	c (9,0) cls[186] = 14
69.32/28.23	c (9,0) cls[187] = 16
69.32/28.23	c (9,0) cls[188] = 18
69.32/28.23	c (9,0) cls[189] = 4
69.32/28.23	c (9,0) cls[190] = 12
69.32/28.23	c (9,0) cls[191] = 0
69.32/28.23	c (9,0) cls[192] = 7
69.32/28.23	c (9,0) cls[193] = 12
69.32/28.23	c (9,0) cls[194] = 9
69.32/28.23	c (9,0) cls[195] = 22
69.32/28.23	c (9,0) cls[196] = 15
69.32/28.23	c (9,0) cls[197] = 8
69.32/28.23	c (9,0) cls[198] = 16
69.32/28.23	c (9,0) cls[199] = 23
69.32/28.23	c (9,0) opt[0][0] = 1
69.32/28.23	c (9,0) opt[0][1] = 1
69.32/28.23	c (9,0) opt[0][2] = 1
69.32/28.23	c (9,0) opt[0][3] = 0
69.32/28.23	c (9,0) opt[0][4] = 0
69.32/28.23	c (9,0) opt[1][0] = 0
69.32/28.23	c (9,0) opt[1][1] = 1
69.32/28.23	c (9,0) opt[1][2] = 0
69.32/28.23	c (9,0) opt[1][3] = 0
69.32/28.23	c (9,0) opt[1][4] = 1
69.32/28.23	c (9,0) opt[2][0] = 1
69.32/28.23	c (9,0) opt[2][1] = 0
69.32/28.23	c (9,0) opt[2][2] = 0
69.32/28.23	c (9,0) opt[2][3] = 0
69.32/28.23	c (9,0) opt[2][4] = 0
69.32/28.23	c (9,0) opt[3][0] = 0
69.32/28.23	c (9,0) opt[3][1] = 0
69.32/28.23	c (9,0) opt[3][2] = 0
69.32/28.23	c (9,0) opt[3][3] = 1
69.32/28.23	c (9,0) opt[3][4] = 0
69.32/28.23	c (9,0) opt[4][0] = 0
69.32/28.23	c (9,0) opt[4][1] = 1
69.32/28.23	c (9,0) opt[4][2] = 0
69.32/28.23	c (9,0) opt[4][3] = 0
69.32/28.23	c (9,0) opt[4][4] = 0
69.32/28.23	c (9,0) opt[5][0] = 1
69.32/28.23	c (9,0) opt[5][1] = 0
69.32/28.23	c (9,0) opt[5][2] = 1
69.32/28.23	c (9,0) opt[5][3] = 0
69.32/28.23	c (9,0) opt[5][4] = 0
69.32/28.23	c (9,0) opt[6][0] = 0
69.32/28.23	c (9,0) opt[6][1] = 0
69.32/28.23	c (9,0) opt[6][2] = 0
69.32/28.23	c (9,0) opt[6][3] = 1
69.32/28.23	c (9,0) opt[6][4] = 0
69.32/28.23	c (9,0) opt[7][0] = 0
69.32/28.23	c (9,0) opt[7][1] = 1
69.32/28.23	c (9,0) opt[7][2] = 0
69.32/28.23	c (9,0) opt[7][3] = 0
69.32/28.23	c (9,0) opt[7][4] = 1
69.32/28.23	c (9,0) opt[8][0] = 0
69.32/28.23	c (9,0) opt[8][1] = 1
69.32/28.23	c (9,0) opt[8][2] = 0
69.32/28.23	c (9,0) opt[8][3] = 0
69.32/28.23	c (9,0) opt[8][4] = 0
69.32/28.23	c (9,0) opt[9][0] = 1
69.32/28.23	c (9,0) opt[9][1] = 0
69.32/28.23	c (9,0) opt[9][2] = 0
69.32/28.23	c (9,0) opt[9][3] = 0
69.32/28.23	c (9,0) opt[9][4] = 0
69.32/28.23	c (9,0) opt[10][0] = 0
69.32/28.23	c (9,0) opt[10][1] = 1
69.32/28.23	c (9,0) opt[10][2] = 1
69.32/28.23	c (9,0) opt[10][3] = 0
69.32/28.23	c (9,0) opt[10][4] = 0
69.32/28.23	c (9,0) opt[11][0] = 0
69.32/28.23	c (9,0) opt[11][1] = 0
69.32/28.23	c (9,0) opt[11][2] = 0
69.32/28.23	c (9,0) opt[11][3] = 1
69.32/28.23	c (9,0) opt[11][4] = 0
69.32/28.23	c (9,0) opt[12][0] = 1
69.32/28.23	c (9,0) opt[12][1] = 1
69.32/28.23	c (9,0) opt[12][2] = 0
69.32/28.23	c (9,0) opt[12][3] = 1
69.32/28.23	c (9,0) opt[12][4] = 0
69.32/28.23	c (9,0) opt[13][0] = 0
69.32/28.23	c (9,0) opt[13][1] = 1
69.32/28.23	c (9,0) opt[13][2] = 0
69.32/28.23	c (9,0) opt[13][3] = 0
69.32/28.23	c (9,0) opt[13][4] = 0
69.32/28.23	c (9,0) opt[14][0] = 0
69.32/28.23	c (9,0) opt[14][1] = 0
69.32/28.23	c (9,0) opt[14][2] = 0
69.32/28.23	c (9,0) opt[14][3] = 0
69.32/28.23	c (9,0) opt[14][4] = 1
69.32/28.23	c (9,0) opt[15][0] = 0
69.32/28.23	c (9,0) opt[15][1] = 1
69.32/28.23	c (9,0) opt[15][2] = 1
69.32/28.23	c (9,0) opt[15][3] = 0
69.32/28.23	c (9,0) opt[15][4] = 0
69.32/28.23	c (9,0) opt[16][0] = 0
69.32/28.23	c (9,0) opt[16][1] = 1
69.32/28.23	c (9,0) opt[16][2] = 0
69.32/28.23	c (9,0) opt[16][3] = 0
69.32/28.23	c (9,0) opt[16][4] = 0
69.32/28.23	c (9,0) opt[17][0] = 1
69.32/28.23	c (9,0) opt[17][1] = 0
69.32/28.23	c (9,0) opt[17][2] = 0
69.32/28.23	c (9,0) opt[17][3] = 0
69.32/28.23	c (9,0) opt[17][4] = 0
69.32/28.23	c (9,0) opt[18][0] = 0
69.32/28.23	c (9,0) opt[18][1] = 1
69.32/28.23	c (9,0) opt[18][2] = 0
69.32/28.23	c (9,0) opt[18][3] = 0
69.32/28.23	c (9,0) opt[18][4] = 0
69.32/28.23	c (9,0) opt[19][0] = 0
69.32/28.23	c (9,0) opt[19][1] = 1
69.32/28.23	c (9,0) opt[19][2] = 1
69.32/28.23	c (9,0) opt[19][3] = 0
69.32/28.23	c (9,0) opt[19][4] = 0
69.32/28.23	c (9,0) opt[20][0] = 1
69.32/28.23	c (9,0) opt[20][1] = 0
69.32/28.23	c (9,0) opt[20][2] = 0
69.32/28.23	c (9,0) opt[20][3] = 0
69.32/28.23	c (9,0) opt[20][4] = 0
69.32/28.23	c (9,0) opt[21][0] = 0
69.32/28.23	c (9,0) opt[21][1] = 0
69.32/28.23	c (9,0) opt[21][2] = 0
69.32/28.23	c (9,0) opt[21][3] = 1
69.32/28.23	c (9,0) opt[21][4] = 0
69.32/28.23	c (9,0) opt[22][0] = 1
69.32/28.23	c (9,0) opt[22][1] = 1
69.32/28.23	c (9,0) opt[22][2] = 0
69.32/28.23	c (9,0) opt[22][3] = 0
69.32/28.23	c (9,0) opt[22][4] = 1
69.32/28.23	c (9,0) opt[23][0] = 0
69.32/28.23	c (9,0) opt[23][1] = 1
69.32/28.23	c (9,0) opt[23][2] = 1
69.32/28.23	c (9,0) opt[23][3] = 1
69.32/28.23	c (9,0) opt[23][4] = 0
69.32/28.23	c (9,0) opt[24][0] = 1
69.32/28.23	c (9,0) opt[24][1] = 0
69.32/28.23	c (9,0) opt[24][2] = 0
69.32/28.23	c (9,0) opt[24][3] = 0
69.32/28.23	c (9,0) opt[24][4] = 0
69.32/28.23	c (9,0) opt[25][0] = 0
69.32/28.23	c (9,0) opt[25][1] = 1
69.32/28.23	c (9,0) opt[25][2] = 0
69.32/28.23	c (9,0) opt[25][3] = 0
69.32/28.23	c (9,0) opt[25][4] = 0
69.32/28.23	c (9,0) opt[26][0] = 1
69.32/28.23	c (9,0) opt[26][1] = 0
69.32/28.23	c (9,0) opt[26][2] = 1
69.32/28.23	c (9,0) opt[26][3] = 0
69.32/28.23	c (9,0) opt[26][4] = 0
69.32/28.23	c (9,0) opt[27][0] = 0
69.32/28.23	c (9,0) opt[27][1] = 0
69.32/28.23	c (9,0) opt[27][2] = 0
69.32/28.23	c (9,0) opt[27][3] = 1
69.32/28.23	c (9,0) opt[27][4] = 0
69.32/28.23	c (9,0) opt[28][0] = 0
69.32/28.23	c (9,0) opt[28][1] = 0
69.32/28.23	c (9,0) opt[28][2] = 0
69.32/28.23	c (9,0) opt[28][3] = 1
69.32/28.23	c (9,0) opt[28][4] = 0
69.32/28.23	c (9,0) opt[29][0] = 1
69.32/28.23	c (9,0) opt[29][1] = 1
69.32/28.23	c (9,0) opt[29][2] = 0
69.32/28.23	c (9,0) opt[29][3] = 0
69.32/28.23	c (9,0) opt[29][4] = 1
69.32/28.23	c (9,0) opt[30][0] = 0
69.32/28.23	c (9,0) opt[30][1] = 1
69.32/28.23	c (9,0) opt[30][2] = 0
69.32/28.23	c (9,0) opt[30][3] = 0
69.32/28.23	c (9,0) opt[30][4] = 0
69.32/28.23	c (9,0) opt[31][0] = 0
69.32/28.23	c (9,0) opt[31][1] = 0
69.32/28.23	c (9,0) opt[31][2] = 1
69.32/28.23	c (9,0) opt[31][3] = 0
69.32/28.23	c (9,0) opt[31][4] = 0
69.32/28.23	c (9,0) opt[32][0] = 0
69.32/28.23	c (9,0) opt[32][1] = 1
69.32/28.23	c (9,0) opt[32][2] = 0
69.32/28.23	c (9,0) opt[32][3] = 0
69.32/28.23	c (9,0) opt[32][4] = 0
69.32/28.23	c (9,0) opt[33][0] = 0
69.32/28.23	c (9,0) opt[33][1] = 0
69.32/28.23	c (9,0) opt[33][2] = 0
69.32/28.23	c (9,0) opt[33][3] = 1
69.32/28.23	c (9,0) opt[33][4] = 0
69.32/28.23	c (9,0) opt[34][0] = 1
69.32/28.23	c (9,0) opt[34][1] = 0
69.32/28.23	c (9,0) opt[34][2] = 0
69.32/28.23	c (9,0) opt[34][3] = 1
69.32/28.23	c (9,0) opt[34][4] = 0
69.32/28.23	c (9,0) opt[35][0] = 0
69.32/28.23	c (9,0) opt[35][1] = 1
69.32/28.23	c (9,0) opt[35][2] = 1
69.32/28.23	c (9,0) opt[35][3] = 0
69.32/28.23	c (9,0) opt[35][4] = 0
69.32/28.23	c (9,0) opt[36][0] = 1
69.32/28.23	c (9,0) opt[36][1] = 0
69.32/28.23	c (9,0) opt[36][2] = 0
69.32/28.23	c (9,0) opt[36][3] = 0
69.32/28.23	c (9,0) opt[36][4] = 0
69.32/28.23	c (9,0) opt[37][0] = 0
69.32/28.23	c (9,0) opt[37][1] = 1
69.32/28.23	c (9,0) opt[37][2] = 0
69.32/28.23	c (9,0) opt[37][3] = 0
69.32/28.23	c (9,0) opt[37][4] = 0
69.32/28.23	c (9,0) opt[38][0] = 0
69.32/28.23	c (9,0) opt[38][1] = 1
69.32/28.23	c (9,0) opt[38][2] = 0
69.32/28.23	c (9,0) opt[38][3] = 0
69.32/28.23	c (9,0) opt[38][4] = 1
69.32/28.23	c (9,0) opt[39][0] = 0
69.32/28.23	c (9,0) opt[39][1] = 0
69.32/28.23	c (9,0) opt[39][2] = 1
69.32/28.23	c (9,0) opt[39][3] = 0
69.32/28.23	c (9,0) opt[39][4] = 0
69.32/28.23	c (9,0) opt[40][0] = 1
69.32/28.23	c (9,0) opt[40][1] = 1
69.32/28.23	c (9,0) opt[40][2] = 0
69.32/28.23	c (9,0) opt[40][3] = 0
69.32/28.23	c (9,0) opt[40][4] = 0
69.32/28.23	c (9,0) opt[41][0] = 0
69.32/28.23	c (9,0) opt[41][1] = 1
69.32/28.23	c (9,0) opt[41][2] = 0
69.32/28.23	c (9,0) opt[41][3] = 0
69.32/28.23	c (9,0) opt[41][4] = 0
69.32/28.23	c (9,0) opt[42][0] = 0
69.32/28.23	c (9,0) opt[42][1] = 0
69.32/28.23	c (9,0) opt[42][2] = 1
69.32/28.23	c (9,0) opt[42][3] = 0
69.32/28.23	c (9,0) opt[42][4] = 0
69.32/28.23	c (9,0) opt[43][0] = 0
69.32/28.23	c (9,0) opt[43][1] = 0
69.32/28.23	c (9,0) opt[43][2] = 0
69.32/28.23	c (9,0) opt[43][3] = 0
69.32/28.23	c (9,0) opt[43][4] = 1
69.32/28.23	c (9,0) opt[44][0] = 0
69.32/28.23	c (9,0) opt[44][1] = 1
69.32/28.23	c (9,0) opt[44][2] = 0
69.32/28.23	c (9,0) opt[44][3] = 0
69.32/28.23	c (9,0) opt[44][4] = 0
69.32/28.23	c (9,0) opt[45][0] = 1
69.32/28.23	c (9,0) opt[45][1] = 1
69.32/28.23	c (9,0) opt[45][2] = 1
69.32/28.23	c (9,0) opt[45][3] = 0
69.32/28.23	c (9,0) opt[45][4] = 0
69.32/28.23	c (9,0) opt[46][0] = 0
69.32/28.23	c (9,0) opt[46][1] = 0
69.32/28.23	c (9,0) opt[46][2] = 0
69.32/28.23	c (9,0) opt[46][3] = 1
69.32/28.23	c (9,0) opt[46][4] = 0
69.32/28.23	c (9,0) opt[47][0] = 0
69.32/28.23	c (9,0) opt[47][1] = 1
69.32/28.23	c (9,0) opt[47][2] = 0
69.32/28.23	c (9,0) opt[47][3] = 0
69.32/28.23	c (9,0) opt[47][4] = 0
69.32/28.23	c (9,0) opt[48][0] = 1
69.32/28.23	c (9,0) opt[48][1] = 0
69.32/28.23	c (9,0) opt[48][2] = 1
69.32/28.23	c (9,0) opt[48][3] = 0
69.32/28.23	c (9,0) opt[48][4] = 1
69.32/28.23	c (9,0) opt[49][0] = 0
69.32/28.23	c (9,0) opt[49][1] = 0
69.32/28.23	c (9,0) opt[49][2] = 0
69.32/28.23	c (9,0) opt[49][3] = 1
69.32/28.23	c (9,0) opt[49][4] = 0
69.32/28.23	c (9,0) opt[50][0] = 1
69.32/28.23	c (9,0) opt[50][1] = 1
69.32/28.23	c (9,0) opt[50][2] = 0
69.32/28.23	c (9,0) opt[50][3] = 0
69.32/28.23	c (9,0) opt[50][4] = 0
69.32/28.23	c (9,0) opt[51][0] = 0
69.32/28.23	c (9,0) opt[51][1] = 1
69.32/28.23	c (9,0) opt[51][2] = 0
69.32/28.23	c (9,0) opt[51][3] = 0
69.32/28.23	c (9,0) opt[51][4] = 0
69.32/28.23	c (9,0) opt[52][0] = 1
69.32/28.23	c (9,0) opt[52][1] = 0
69.32/28.23	c (9,0) opt[52][2] = 1
69.32/28.23	c (9,0) opt[52][3] = 0
69.32/28.23	c (9,0) opt[52][4] = 0
69.32/28.23	c (9,0) opt[53][0] = 0
69.32/28.23	c (9,0) opt[53][1] = 0
69.32/28.23	c (9,0) opt[53][2] = 0
69.32/28.23	c (9,0) opt[53][3] = 0
69.32/28.23	c (9,0) opt[53][4] = 1
69.32/28.23	c (9,0) opt[54][0] = 0
69.32/28.23	c (9,0) opt[54][1] = 1
69.32/28.23	c (9,0) opt[54][2] = 0
69.32/28.23	c (9,0) opt[54][3] = 0
69.32/28.23	c (9,0) opt[54][4] = 0
69.32/28.23	c (9,0) opt[55][0] = 1
69.32/28.23	c (9,0) opt[55][1] = 0
69.32/28.23	c (9,0) opt[55][2] = 0
69.32/28.23	c (9,0) opt[55][3] = 0
69.32/28.23	c (9,0) opt[55][4] = 0
69.32/28.23	c (9,0) opt[56][0] = 0
69.32/28.23	c (9,0) opt[56][1] = 1
69.32/28.23	c (9,0) opt[56][2] = 0
69.32/28.23	c (9,0) opt[56][3] = 0
69.32/28.23	c (9,0) opt[56][4] = 0
69.32/28.23	c (9,0) opt[57][0] = 1
69.32/28.23	c (9,0) opt[57][1] = 1
69.32/28.23	c (9,0) opt[57][2] = 0
69.32/28.23	c (9,0) opt[57][3] = 1
69.32/28.23	c (9,0) opt[57][4] = 0
69.32/28.23	c (9,0) opt[58][0] = 0
69.32/28.23	c (9,0) opt[58][1] = 0
69.32/28.23	c (9,0) opt[58][2] = 1
69.32/28.23	c (9,0) opt[58][3] = 0
69.32/28.23	c (9,0) opt[58][4] = 0
69.32/28.23	c (9,0) opt[59][0] = 1
69.32/28.23	c (9,0) opt[59][1] = 0
69.32/28.23	c (9,0) opt[59][2] = 0
69.32/28.23	c (9,0) opt[59][3] = 0
69.32/28.23	c (9,0) opt[59][4] = 1
69.32/28.23	c (9,0) opt[60][0] = 0
69.32/28.23	c (9,0) opt[60][1] = 1
69.32/28.23	c (9,0) opt[60][2] = 0
69.32/28.23	c (9,0) opt[60][3] = 0
69.32/28.23	c (9,0) opt[60][4] = 0
69.32/28.23	c (9,0) opt[61][0] = 0
69.32/28.23	c (9,0) opt[61][1] = 0
69.32/28.23	c (9,0) opt[61][2] = 0
69.32/28.23	c (9,0) opt[61][3] = 1
69.32/28.23	c (9,0) opt[61][4] = 0
69.32/28.23	c (9,0) opt[62][0] = 0
69.32/28.23	c (9,0) opt[62][1] = 1
69.32/28.23	c (9,0) opt[62][2] = 1
69.32/28.23	c (9,0) opt[62][3] = 1
69.32/28.23	c (9,0) opt[62][4] = 0
69.32/28.23	c (9,0) opt[63][0] = 0
69.32/28.23	c (9,0) opt[63][1] = 1
69.32/28.23	c (9,0) opt[63][2] = 0
69.32/28.23	c (9,0) opt[63][3] = 0
69.32/28.23	c (9,0) opt[63][4] = 0
69.32/28.23	c (9,0) opt[64][0] = 1
69.32/28.23	c (9,0) opt[64][1] = 0
69.32/28.23	c (9,0) opt[64][2] = 0
69.32/28.23	c (9,0) opt[64][3] = 0
69.32/28.23	c (9,0) opt[64][4] = 0
69.32/28.23	c (9,0) opt[65][0] = 0
69.32/28.23	c (9,0) opt[65][1] = 1
69.32/28.23	c (9,0) opt[65][2] = 0
69.32/28.23	c (9,0) opt[65][3] = 0
69.32/28.23	c (9,0) opt[65][4] = 0
69.32/28.23	c (9,0) opt[66][0] = 1
69.32/28.23	c (9,0) opt[66][1] = 1
69.32/28.23	c (9,0) opt[66][2] = 1
69.32/28.23	c (9,0) opt[66][3] = 0
69.32/28.23	c (9,0) opt[66][4] = 0
69.32/28.23	c (9,0) opt[67][0] = 0
69.32/28.23	c (9,0) opt[67][1] = 0
69.32/28.23	c (9,0) opt[67][2] = 0
69.32/28.23	c (9,0) opt[67][3] = 1
69.32/28.23	c (9,0) opt[67][4] = 0
69.32/28.23	c (9,0) opt[68][0] = 0
69.32/28.23	c (9,0) opt[68][1] = 0
69.32/28.23	c (9,0) opt[68][2] = 0
69.32/28.23	c (9,0) opt[68][3] = 0
69.32/28.23	c (9,0) opt[68][4] = 1
69.32/28.23	c (9,0) opt[69][0] = 0
69.32/28.23	c (9,0) opt[69][1] = 0
69.32/28.23	c (9,0) opt[69][2] = 0
69.32/28.23	c (9,0) opt[69][3] = 1
69.32/28.23	c (9,0) opt[69][4] = 0
69.32/28.23	c (9,0) opt[70][0] = 0
69.32/28.23	c (9,0) opt[70][1] = 0
69.32/28.23	c (9,0) opt[70][2] = 1
69.32/28.23	c (9,0) opt[70][3] = 0
69.32/28.23	c (9,0) opt[70][4] = 0
69.32/28.23	c (9,0) opt[71][0] = 1
69.32/28.23	c (9,0) opt[71][1] = 1
69.32/28.23	c (9,0) opt[71][2] = 0
69.32/28.23	c (9,0) opt[71][3] = 0
69.32/28.23	c (9,0) opt[71][4] = 0
69.32/28.23	c (9,0) opt[72][0] = 0
69.32/28.23	c (9,0) opt[72][1] = 1
69.32/28.23	c (9,0) opt[72][2] = 0
69.32/28.23	c (9,0) opt[72][3] = 0
69.32/28.23	c (9,0) opt[72][4] = 0
69.32/28.23	c (9,0) opt[73][0] = 0
69.32/28.23	c (9,0) opt[73][1] = 0
69.32/28.23	c (9,0) opt[73][2] = 1
69.32/28.23	c (9,0) opt[73][3] = 1
69.32/28.23	c (9,0) opt[73][4] = 1
69.32/28.23	c (9,0) opt[74][0] = 0
69.32/28.23	c (9,0) opt[74][1] = 1
69.32/28.23	c (9,0) opt[74][2] = 0
69.32/28.23	c (9,0) opt[74][3] = 0
69.32/28.23	c (9,0) opt[74][4] = 0
69.32/28.23	c (9,0) opt[75][0] = 1
69.32/28.23	c (9,0) opt[75][1] = 0
69.32/28.23	c (9,0) opt[75][2] = 0
69.32/28.23	c (9,0) opt[75][3] = 0
69.32/28.23	c (9,0) opt[75][4] = 0
69.32/28.23	c (9,0) opt[76][0] = 0
69.32/28.23	c (9,0) opt[76][1] = 1
69.32/28.23	c (9,0) opt[76][2] = 1
69.32/28.23	c (9,0) opt[76][3] = 0
69.32/28.23	c (9,0) opt[76][4] = 0
69.32/28.23	c (9,0) opt[77][0] = 0
69.32/28.23	c (9,0) opt[77][1] = 1
69.32/28.23	c (9,0) opt[77][2] = 0
69.32/28.23	c (9,0) opt[77][3] = 0
69.32/28.23	c (9,0) opt[77][4] = 0
69.32/28.23	c (9,0) opt[78][0] = 0
69.32/28.23	c (9,0) opt[78][1] = 0
69.32/28.23	c (9,0) opt[78][2] = 0
69.32/28.23	c (9,0) opt[78][3] = 0
69.32/28.23	c (9,0) opt[78][4] = 1
69.32/28.23	c (9,0) opt[79][0] = 0
69.32/28.23	c (9,0) opt[79][1] = 0
69.32/28.23	c (9,0) opt[79][2] = 1
69.32/28.23	c (9,0) opt[79][3] = 0
69.32/28.23	c (9,0) opt[79][4] = 0
69.32/28.23	c (9,0) opt[80][0] = 1
69.32/28.23	c (9,0) opt[80][1] = 1
69.32/28.23	c (9,0) opt[80][2] = 0
69.32/28.23	c (9,0) opt[80][3] = 1
69.32/28.23	c (9,0) opt[80][4] = 0
69.32/28.23	c (9,0) opt[81][0] = 0
69.32/28.23	c (9,0) opt[81][1] = 1
69.32/28.23	c (9,0) opt[81][2] = 0
69.32/28.23	c (9,0) opt[81][3] = 0
69.32/28.23	c (9,0) opt[81][4] = 0
69.32/28.23	c (9,0) opt[82][0] = 1
69.32/28.23	c (9,0) opt[82][1] = 0
69.32/28.23	c (9,0) opt[82][2] = 1
69.32/28.23	c (9,0) opt[82][3] = 0
69.32/28.23	c (9,0) opt[82][4] = 0
69.32/28.23	c (9,0) opt[83][0] = 0
69.32/28.23	c (9,0) opt[83][1] = 1
69.32/28.23	c (9,0) opt[83][2] = 0
69.32/28.23	c (9,0) opt[83][3] = 0
69.32/28.23	c (9,0) opt[83][4] = 1
69.32/28.23	c (9,0) opt[84][0] = 1
69.32/28.23	c (9,0) opt[84][1] = 0
69.32/28.23	c (9,0) opt[84][2] = 0
69.32/28.23	c (9,0) opt[84][3] = 1
69.32/28.23	c (9,0) opt[84][4] = 0
69.32/28.23	c (9,0) opt[85][0] = 0
69.32/28.23	c (9,0) opt[85][1] = 0
69.32/28.23	c (9,0) opt[85][2] = 1
69.32/28.23	c (9,0) opt[85][3] = 0
69.32/28.23	c (9,0) opt[85][4] = 0
69.32/28.23	c (9,0) opt[86][0] = 1
69.32/28.23	c (9,0) opt[86][1] = 1
69.32/28.23	c (9,0) opt[86][2] = 0
69.32/28.23	c (9,0) opt[86][3] = 1
69.32/28.23	c (9,0) opt[86][4] = 0
69.32/28.23	c (9,0) opt[87][0] = 0
69.32/28.23	c (9,0) opt[87][1] = 1
69.32/28.23	c (9,0) opt[87][2] = 0
69.32/28.23	c (9,0) opt[87][3] = 0
69.32/28.23	c (9,0) opt[87][4] = 0
69.32/28.23	c (9,0) opt[88][0] = 0
69.32/28.23	c (9,0) opt[88][1] = 0
69.32/28.23	c (9,0) opt[88][2] = 0
69.32/28.23	c (9,0) opt[88][3] = 0
69.32/28.23	c (9,0) opt[88][4] = 1
69.32/28.23	c (9,0) opt[89][0] = 1
69.32/28.23	c (9,0) opt[89][1] = 1
69.32/28.23	c (9,0) opt[89][2] = 1
69.32/28.23	c (9,0) opt[89][3] = 0
69.32/28.23	c (9,0) opt[89][4] = 0
69.32/28.23	c (9,0) opt[90][0] = 0
69.32/28.23	c (9,0) opt[90][1] = 1
69.32/28.23	c (9,0) opt[90][2] = 0
69.32/28.23	c (9,0) opt[90][3] = 0
69.32/28.23	c (9,0) opt[90][4] = 0
69.32/28.23	c (9,0) opt[91][0] = 0
69.32/28.23	c (9,0) opt[91][1] = 0
69.32/28.23	c (9,0) opt[91][2] = 0
69.32/28.23	c (9,0) opt[91][3] = 1
69.32/28.23	c (9,0) opt[91][4] = 0
69.32/28.23	c (9,0) opt[92][0] = 1
69.32/28.23	c (9,0) opt[92][1] = 0
69.32/28.23	c (9,0) opt[92][2] = 0
69.32/28.23	c (9,0) opt[92][3] = 0
69.32/28.23	c (9,0) opt[92][4] = 0
69.32/28.23	c (9,0) opt[93][0] = 0
69.32/28.23	c (9,0) opt[93][1] = 0
69.32/28.23	c (9,0) opt[93][2] = 0
69.32/28.23	c (9,0) opt[93][3] = 1
69.32/28.23	c (9,0) opt[93][4] = 0
69.32/28.23	c (9,0) opt[94][0] = 1
69.32/28.23	c (9,0) opt[94][1] = 0
69.32/28.23	c (9,0) opt[94][2] = 1
69.32/28.23	c (9,0) opt[94][3] = 0
69.32/28.23	c (9,0) opt[94][4] = 1
69.32/28.23	c (9,0) opt[95][0] = 0
69.32/28.23	c (9,0) opt[95][1] = 1
69.32/28.23	c (9,0) opt[95][2] = 0
69.32/28.23	c (9,0) opt[95][3] = 0
69.32/28.23	c (9,0) opt[95][4] = 0
69.32/28.23	c (9,0) opt[96][0] = 0
69.32/28.23	c (9,0) opt[96][1] = 1
69.32/28.23	c (9,0) opt[96][2] = 0
69.32/28.23	c (9,0) opt[96][3] = 0
69.32/28.23	c (9,0) opt[96][4] = 0
69.32/28.23	c (9,0) opt[97][0] = 1
69.32/28.23	c (9,0) opt[97][1] = 0
69.32/28.23	c (9,0) opt[97][2] = 1
69.32/28.23	c (9,0) opt[97][3] = 0
69.32/28.23	c (9,0) opt[97][4] = 0
69.32/28.23	c (9,0) opt[98][0] = 0
69.32/28.23	c (9,0) opt[98][1] = 1
69.32/28.23	c (9,0) opt[98][2] = 0
69.32/28.23	c (9,0) opt[98][3] = 0
69.32/28.23	c (9,0) opt[98][4] = 0
69.32/28.23	c (9,0) opt[99][0] = 0
69.32/28.23	c (9,0) opt[99][1] = 0
69.32/28.23	c (9,0) opt[99][2] = 0
69.32/28.23	c (9,0) opt[99][3] = 0
69.32/28.23	c (9,0) opt[99][4] = 1
69.32/28.23	c (9,0) opt[100][0] = 1
69.32/28.23	c (9,0) opt[100][1] = 1
69.32/28.23	c (9,0) opt[100][2] = 0
69.32/28.23	c (9,0) opt[100][3] = 0
69.32/28.23	c (9,0) opt[100][4] = 0
69.32/28.23	c (9,0) opt[101][0] = 0
69.32/28.23	c (9,0) opt[101][1] = 0
69.32/28.23	c (9,0) opt[101][2] = 0
69.32/28.23	c (9,0) opt[101][3] = 1
69.32/28.23	c (9,0) opt[101][4] = 0
69.32/28.23	c (9,0) opt[102][0] = 1
69.32/28.23	c (9,0) opt[102][1] = 1
69.32/28.23	c (9,0) opt[102][2] = 1
69.32/28.23	c (9,0) opt[102][3] = 1
69.32/28.23	c (9,0) opt[102][4] = 0
69.32/28.23	c (9,0) opt[103][0] = 0
69.32/28.23	c (9,0) opt[103][1] = 1
69.32/28.23	c (9,0) opt[103][2] = 0
69.32/28.23	c (9,0) opt[103][3] = 0
69.32/28.23	c (9,0) opt[103][4] = 0
69.32/28.23	c (9,0) opt[104][0] = 1
69.32/28.23	c (9,0) opt[104][1] = 0
69.32/28.23	c (9,0) opt[104][2] = 0
69.32/28.23	c (9,0) opt[104][3] = 0
69.32/28.23	c (9,0) opt[104][4] = 1
69.32/28.23	c (9,0) opt[105][0] = 0
69.32/28.23	c (9,0) opt[105][1] = 1
69.32/28.23	c (9,0) opt[105][2] = 0
69.32/28.23	c (9,0) opt[105][3] = 0
69.32/28.23	c (9,0) opt[105][4] = 0
69.32/28.23	c (9,0) opt[106][0] = 1
69.32/28.23	c (9,0) opt[106][1] = 1
69.32/28.23	c (9,0) opt[106][2] = 0
69.32/28.23	c (9,0) opt[106][3] = 0
69.32/28.23	c (9,0) opt[106][4] = 0
69.32/28.23	c (9,0) opt[107][0] = 0
69.32/28.23	c (9,0) opt[107][1] = 0
69.32/28.23	c (9,0) opt[107][2] = 1
69.32/28.23	c (9,0) opt[107][3] = 1
69.32/28.23	c (9,0) opt[107][4] = 0
69.32/28.23	c (9,0) opt[108][0] = 1
69.32/28.23	c (9,0) opt[108][1] = 1
69.32/28.23	c (9,0) opt[108][2] = 0
69.32/28.23	c (9,0) opt[108][3] = 1
69.32/28.23	c (9,0) opt[108][4] = 0
69.32/28.23	c (9,0) opt[109][0] = 0
69.32/28.23	c (9,0) opt[109][1] = 0
69.32/28.23	c (9,0) opt[109][2] = 0
69.32/28.23	c (9,0) opt[109][3] = 0
69.32/28.23	c (9,0) opt[109][4] = 1
69.32/28.23	c (9,0) opt[110][0] = 1
69.32/28.23	c (9,0) opt[110][1] = 1
69.32/28.23	c (9,0) opt[110][2] = 1
69.32/28.23	c (9,0) opt[110][3] = 0
69.32/28.23	c (9,0) opt[110][4] = 0
69.32/28.23	c (9,0) opt[111][0] = 0
69.32/28.23	c (9,0) opt[111][1] = 1
69.32/28.23	c (9,0) opt[111][2] = 0
69.32/28.23	c (9,0) opt[111][3] = 0
69.32/28.23	c (9,0) opt[111][4] = 0
69.32/28.23	c (9,0) opt[112][0] = 1
69.32/28.23	c (9,0) opt[112][1] = 0
69.32/28.23	c (9,0) opt[112][2] = 0
69.32/28.23	c (9,0) opt[112][3] = 1
69.32/28.23	c (9,0) opt[112][4] = 0
69.32/28.23	c (9,0) opt[113][0] = 0
69.32/28.23	c (9,0) opt[113][1] = 1
69.32/28.23	c (9,0) opt[113][2] = 0
69.32/28.23	c (9,0) opt[113][3] = 0
69.32/28.23	c (9,0) opt[113][4] = 0
69.32/28.23	c (9,0) opt[114][0] = 1
69.32/28.23	c (9,0) opt[114][1] = 1
69.32/28.23	c (9,0) opt[114][2] = 0
69.32/28.23	c (9,0) opt[114][3] = 0
69.32/28.23	c (9,0) opt[114][4] = 0
69.32/28.23	c (9,0) opt[115][0] = 0
69.32/28.23	c (9,0) opt[115][1] = 0
69.32/28.23	c (9,0) opt[115][2] = 1
69.32/28.23	c (9,0) opt[115][3] = 1
69.32/28.23	c (9,0) opt[115][4] = 1
69.32/28.23	c (9,0) opt[116][0] = 1
69.32/28.23	c (9,0) opt[116][1] = 1
69.32/28.23	c (9,0) opt[116][2] = 0
69.32/28.23	c (9,0) opt[116][3] = 0
69.32/28.23	c (9,0) opt[116][4] = 0
69.32/28.23	c (9,0) opt[117][0] = 0
69.32/28.23	c (9,0) opt[117][1] = 0
69.32/28.23	c (9,0) opt[117][2] = 0
69.32/28.23	c (9,0) opt[117][3] = 1
69.32/28.23	c (9,0) opt[117][4] = 0
69.32/28.23	c (9,0) opt[118][0] = 0
69.32/28.23	c (9,0) opt[118][1] = 1
69.32/28.23	c (9,0) opt[118][2] = 0
69.32/28.23	c (9,0) opt[118][3] = 0
69.32/28.23	c (9,0) opt[118][4] = 0
69.32/28.23	c (9,0) opt[119][0] = 0
69.32/28.23	c (9,0) opt[119][1] = 1
69.32/28.23	c (9,0) opt[119][2] = 1
69.32/28.23	c (9,0) opt[119][3] = 0
69.32/28.23	c (9,0) opt[119][4] = 0
69.32/28.23	c (9,0) opt[120][0] = 1
69.32/28.23	c (9,0) opt[120][1] = 0
69.32/28.23	c (9,0) opt[120][2] = 0
69.32/28.23	c (9,0) opt[120][3] = 0
69.32/28.23	c (9,0) opt[120][4] = 0
69.32/28.23	c (9,0) opt[121][0] = 0
69.32/28.23	c (9,0) opt[121][1] = 1
69.32/28.23	c (9,0) opt[121][2] = 0
69.32/28.23	c (9,0) opt[121][3] = 0
69.32/28.23	c (9,0) opt[121][4] = 0
69.32/28.23	c (9,0) opt[122][0] = 1
69.32/28.23	c (9,0) opt[122][1] = 0
69.32/28.23	c (9,0) opt[122][2] = 1
69.32/28.23	c (9,0) opt[122][3] = 0
69.32/28.23	c (9,0) opt[122][4] = 0
69.32/28.23	c (9,0) opt[123][0] = 0
69.32/28.23	c (9,0) opt[123][1] = 1
69.32/28.23	c (9,0) opt[123][2] = 0
69.32/28.23	c (9,0) opt[123][3] = 0
69.32/28.23	c (9,0) opt[123][4] = 0
69.32/28.23	c (9,0) opt[124][0] = 0
69.32/28.23	c (9,0) opt[124][1] = 0
69.32/28.23	c (9,0) opt[124][2] = 0
69.32/28.23	c (9,0) opt[124][3] = 0
69.32/28.23	c (9,0) opt[124][4] = 1
69.32/28.23	c (9,0) opt[125][0] = 0
69.32/28.23	c (9,0) opt[125][1] = 1
69.32/28.23	c (9,0) opt[125][2] = 0
69.32/28.23	c (9,0) opt[125][3] = 0
69.32/28.23	c (9,0) opt[125][4] = 0
69.32/28.23	c (9,0) opt[126][0] = 1
69.32/28.23	c (9,0) opt[126][1] = 0
69.32/28.23	c (9,0) opt[126][2] = 1
69.32/28.23	c (9,0) opt[126][3] = 1
69.32/28.23	c (9,0) opt[126][4] = 0
69.32/28.23	c (9,0) opt[127][0] = 0
69.32/28.23	c (9,0) opt[127][1] = 1
69.32/28.23	c (9,0) opt[127][2] = 0
69.32/28.23	c (9,0) opt[127][3] = 0
69.32/28.23	c (9,0) opt[127][4] = 0
69.32/28.23	c (9,0) opt[128][0] = 1
69.32/28.23	c (9,0) opt[128][1] = 0
69.32/28.23	c (9,0) opt[128][2] = 0
69.32/28.23	c (9,0) opt[128][3] = 0
69.32/28.23	c (9,0) opt[128][4] = 0
69.32/28.23	c (9,0) opt[129][0] = 0
69.32/28.23	c (9,0) opt[129][1] = 0
69.32/28.23	c (9,0) opt[129][2] = 1
69.32/28.23	c (9,0) opt[129][3] = 1
69.32/28.23	c (9,0) opt[129][4] = 0
69.32/28.23	c (9,0) opt[130][0] = 0
69.32/28.23	c (9,0) opt[130][1] = 1
69.32/28.23	c (9,0) opt[130][2] = 0
69.32/28.23	c (9,0) opt[130][3] = 0
69.32/28.23	c (9,0) opt[130][4] = 0
69.32/28.23	c (9,0) opt[131][0] = 0
69.32/28.23	c (9,0) opt[131][1] = 0
69.32/28.23	c (9,0) opt[131][2] = 0
69.32/28.23	c (9,0) opt[131][3] = 1
69.32/28.23	c (9,0) opt[131][4] = 1
69.32/28.23	c (9,0) opt[132][0] = 1
69.32/28.23	c (9,0) opt[132][1] = 1
69.32/28.23	c (9,0) opt[132][2] = 1
69.32/28.23	c (9,0) opt[132][3] = 0
69.32/28.23	c (9,0) opt[132][4] = 0
69.32/28.23	c (9,0) opt[133][0] = 0
69.32/28.23	c (9,0) opt[133][1] = 1
69.32/28.23	c (9,0) opt[133][2] = 0
69.32/28.23	c (9,0) opt[133][3] = 0
69.32/28.23	c (9,0) opt[133][4] = 0
69.32/28.23	c (9,0) opt[134][0] = 1
69.32/28.23	c (9,0) opt[134][1] = 0
69.32/28.23	c (9,0) opt[134][2] = 0
69.32/28.23	c (9,0) opt[134][3] = 1
69.32/28.23	c (9,0) opt[134][4] = 0
69.32/28.23	c (9,0) opt[135][0] = 0
69.32/28.23	c (9,0) opt[135][1] = 1
69.32/28.23	c (9,0) opt[135][2] = 1
69.32/28.23	c (9,0) opt[135][3] = 0
69.32/28.23	c (9,0) opt[135][4] = 0
69.32/28.23	c (9,0) opt[136][0] = 1
69.32/28.23	c (9,0) opt[136][1] = 1
69.32/28.23	c (9,0) opt[136][2] = 0
69.32/28.23	c (9,0) opt[136][3] = 0
69.32/28.23	c (9,0) opt[136][4] = 1
69.32/28.23	c (9,0) opt[137][0] = 0
69.32/28.23	c (9,0) opt[137][1] = 0
69.32/28.23	c (9,0) opt[137][2] = 0
69.32/28.23	c (9,0) opt[137][3] = 1
69.32/28.23	c (9,0) opt[137][4] = 0
69.32/28.23	c (9,0) opt[138][0] = 1
69.32/28.23	c (9,0) opt[138][1] = 1
69.32/28.23	c (9,0) opt[138][2] = 0
69.32/28.23	c (9,0) opt[138][3] = 0
69.32/28.23	c (9,0) opt[138][4] = 0
69.32/28.23	c (9,0) opt[139][0] = 0
69.32/28.23	c (9,0) opt[139][1] = 1
69.32/28.23	c (9,0) opt[139][2] = 1
69.32/28.23	c (9,0) opt[139][3] = 1
69.32/28.23	c (9,0) opt[139][4] = 0
69.32/28.23	c (9,0) opt[140][0] = 1
69.32/28.23	c (9,0) opt[140][1] = 0
69.32/28.23	c (9,0) opt[140][2] = 0
69.32/28.23	c (9,0) opt[140][3] = 0
69.32/28.23	c (9,0) opt[140][4] = 0
69.32/28.23	c (9,0) opt[141][0] = 0
69.32/28.23	c (9,0) opt[141][1] = 1
69.32/28.23	c (9,0) opt[141][2] = 0
69.32/28.23	c (9,0) opt[141][3] = 0
69.32/28.23	c (9,0) opt[141][4] = 0
69.32/28.23	c (9,0) opt[142][0] = 1
69.32/28.23	c (9,0) opt[142][1] = 0
69.32/28.23	c (9,0) opt[142][2] = 0
69.32/28.23	c (9,0) opt[142][3] = 0
69.32/28.23	c (9,0) opt[142][4] = 0
69.32/28.23	c (9,0) opt[143][0] = 0
69.32/28.23	c (9,0) opt[143][1] = 0
69.32/28.23	c (9,0) opt[143][2] = 0
69.32/28.23	c (9,0) opt[143][3] = 1
69.32/28.23	c (9,0) opt[143][4] = 1
69.32/28.23	c (9,0) opt[144][0] = 0
69.32/28.23	c (9,0) opt[144][1] = 0
69.32/28.23	c (9,0) opt[144][2] = 1
69.32/28.23	c (9,0) opt[144][3] = 0
69.32/28.23	c (9,0) opt[144][4] = 0
69.32/28.23	c (9,0) opt[145][0] = 0
69.32/28.23	c (9,0) opt[145][1] = 1
69.32/28.23	c (9,0) opt[145][2] = 0
69.32/28.23	c (9,0) opt[145][3] = 0
69.32/28.23	c (9,0) opt[145][4] = 0
69.32/28.23	c (9,0) opt[146][0] = 1
69.32/28.23	c (9,0) opt[146][1] = 1
69.32/28.23	c (9,0) opt[146][2] = 0
69.32/28.23	c (9,0) opt[146][3] = 0
69.32/28.23	c (9,0) opt[146][4] = 0
69.32/28.23	c (9,0) opt[147][0] = 0
69.32/28.23	c (9,0) opt[147][1] = 0
69.32/28.23	c (9,0) opt[147][2] = 1
69.32/28.23	c (9,0) opt[147][3] = 0
69.32/28.23	c (9,0) opt[147][4] = 0
69.32/28.23	c (9,0) opt[148][0] = 1
69.32/28.23	c (9,0) opt[148][1] = 1
69.32/28.23	c (9,0) opt[148][2] = 0
69.32/28.23	c (9,0) opt[148][3] = 1
69.32/28.23	c (9,0) opt[148][4] = 0
69.32/28.23	c (9,0) opt[149][0] = 0
69.32/28.23	c (9,0) opt[149][1] = 1
69.32/28.23	c (9,0) opt[149][2] = 0
69.32/28.23	c (9,0) opt[149][3] = 1
69.32/28.23	c (9,0) opt[149][4] = 1
69.32/28.23	c (9,0) opt[150][0] = 1
69.32/28.23	c (9,0) opt[150][1] = 0
69.32/28.23	c (9,0) opt[150][2] = 0
69.32/28.23	c (9,0) opt[150][3] = 0
69.32/28.23	c (9,0) opt[150][4] = 0
69.32/28.23	c (9,0) opt[151][0] = 0
69.32/28.23	c (9,0) opt[151][1] = 1
69.32/28.23	c (9,0) opt[151][2] = 0
69.32/28.23	c (9,0) opt[151][3] = 0
69.32/28.23	c (9,0) opt[151][4] = 0
69.32/28.23	c (9,0) opt[152][0] = 1
69.32/28.23	c (9,0) opt[152][1] = 0
69.32/28.23	c (9,0) opt[152][2] = 0
69.32/28.23	c (9,0) opt[152][3] = 0
69.32/28.23	c (9,0) opt[152][4] = 0
69.32/28.23	c (9,0) opt[153][0] = 0
69.32/28.23	c (9,0) opt[153][1] = 1
69.32/28.23	c (9,0) opt[153][2] = 0
69.32/28.23	c (9,0) opt[153][3] = 0
69.32/28.23	c (9,0) opt[153][4] = 0
69.32/28.23	c (9,0) opt[154][0] = 0
69.32/28.23	c (9,0) opt[154][1] = 1
69.32/28.23	c (9,0) opt[154][2] = 0
69.32/28.23	c (9,0) opt[154][3] = 0
69.32/28.23	c (9,0) opt[154][4] = 1
69.32/28.23	c (9,0) opt[155][0] = 0
69.32/28.23	c (9,0) opt[155][1] = 0
69.32/28.23	c (9,0) opt[155][2] = 1
69.32/28.23	c (9,0) opt[155][3] = 0
69.32/28.23	c (9,0) opt[155][4] = 0
69.32/28.23	c (9,0) opt[156][0] = 0
69.32/28.23	c (9,0) opt[156][1] = 1
69.32/28.23	c (9,0) opt[156][2] = 0
69.32/28.23	c (9,0) opt[156][3] = 0
69.32/28.23	c (9,0) opt[156][4] = 0
69.32/28.23	c (9,0) opt[157][0] = 1
69.32/28.23	c (9,0) opt[157][1] = 0
69.32/28.23	c (9,0) opt[157][2] = 0
69.32/28.23	c (9,0) opt[157][3] = 0
69.32/28.23	c (9,0) opt[157][4] = 0
69.32/28.23	c (9,0) opt[158][0] = 0
69.32/28.23	c (9,0) opt[158][1] = 0
69.32/28.23	c (9,0) opt[158][2] = 1
69.32/28.23	c (9,0) opt[158][3] = 1
69.32/28.23	c (9,0) opt[158][4] = 0
69.32/28.23	c (9,0) opt[159][0] = 1
69.32/28.23	c (9,0) opt[159][1] = 1
69.32/28.23	c (9,0) opt[159][2] = 0
69.32/28.23	c (9,0) opt[159][3] = 1
69.32/28.23	c (9,0) opt[159][4] = 1
69.32/28.23	c (9,0) opt[160][0] = 0
69.32/28.23	c (9,0) opt[160][1] = 1
69.32/28.23	c (9,0) opt[160][2] = 0
69.32/28.23	c (9,0) opt[160][3] = 0
69.32/28.23	c (9,0) opt[160][4] = 0
69.32/28.23	c (9,0) opt[161][0] = 1
69.32/28.23	c (9,0) opt[161][1] = 0
69.32/28.23	c (9,0) opt[161][2] = 0
69.32/28.23	c (9,0) opt[161][3] = 0
69.32/28.23	c (9,0) opt[161][4] = 0
69.32/28.23	c (9,0) opt[162][0] = 0
69.32/28.23	c (9,0) opt[162][1] = 1
69.32/28.23	c (9,0) opt[162][2] = 0
69.32/28.23	c (9,0) opt[162][3] = 0
69.32/28.23	c (9,0) opt[162][4] = 0
69.32/28.23	c (9,0) opt[163][0] = 0
69.32/28.23	c (9,0) opt[163][1] = 1
69.32/28.23	c (9,0) opt[163][2] = 1
69.32/28.23	c (9,0) opt[163][3] = 1
69.32/28.23	c (9,0) opt[163][4] = 0
69.32/28.23	c (9,0) opt[164][0] = 0
69.32/28.23	c (9,0) opt[164][1] = 0
69.32/28.23	c (9,0) opt[164][2] = 0
69.32/28.23	c (9,0) opt[164][3] = 0
69.32/28.23	c (9,0) opt[164][4] = 1
69.32/28.23	c (9,0) opt[165][0] = 1
69.32/28.23	c (9,0) opt[165][1] = 0
69.32/28.23	c (9,0) opt[165][2] = 0
69.32/28.23	c (9,0) opt[165][3] = 0
69.32/28.23	c (9,0) opt[165][4] = 0
69.32/28.23	c (9,0) opt[166][0] = 0
69.32/28.23	c (9,0) opt[166][1] = 1
69.32/28.23	c (9,0) opt[166][2] = 0
69.32/28.23	c (9,0) opt[166][3] = 0
69.32/28.23	c (9,0) opt[166][4] = 0
69.32/28.23	c (9,0) opt[167][0] = 1
69.32/28.23	c (9,0) opt[167][1] = 0
69.32/28.23	c (9,0) opt[167][2] = 1
69.32/28.23	c (9,0) opt[167][3] = 1
69.32/28.23	c (9,0) opt[167][4] = 0
69.32/28.23	c (9,0) opt[168][0] = 0
69.32/28.23	c (9,0) opt[168][1] = 1
69.32/28.23	c (9,0) opt[168][2] = 0
69.32/28.23	c (9,0) opt[168][3] = 0
69.32/28.23	c (9,0) opt[168][4] = 0
69.32/28.23	c (9,0) opt[169][0] = 0
69.32/28.23	c (9,0) opt[169][1] = 0
69.32/28.23	c (9,0) opt[169][2] = 0
69.32/28.23	c (9,0) opt[169][3] = 0
69.32/28.23	c (9,0) opt[169][4] = 1
69.32/28.23	c (9,0) opt[170][0] = 1
69.32/28.23	c (9,0) opt[170][1] = 1
69.32/28.23	c (9,0) opt[170][2] = 1
69.32/28.23	c (9,0) opt[170][3] = 1
69.32/28.23	c (9,0) opt[170][4] = 0
69.32/28.23	c (9,0) opt[171][0] = 0
69.32/28.23	c (9,0) opt[171][1] = 1
69.32/28.23	c (9,0) opt[171][2] = 0
69.32/28.23	c (9,0) opt[171][3] = 0
69.32/28.23	c (9,0) opt[171][4] = 0
69.32/28.23	c (9,0) opt[172][0] = 1
69.32/28.23	c (9,0) opt[172][1] = 0
69.32/28.23	c (9,0) opt[172][2] = 0
69.32/28.23	c (9,0) opt[172][3] = 0
69.32/28.23	c (9,0) opt[172][4] = 0
69.32/28.23	c (9,0) opt[173][0] = 0
69.32/28.23	c (9,0) opt[173][1] = 0
69.32/28.23	c (9,0) opt[173][2] = 1
69.32/28.23	c (9,0) opt[173][3] = 0
69.32/28.23	c (9,0) opt[173][4] = 0
69.32/28.23	c (9,0) opt[174][0] = 1
69.32/28.23	c (9,0) opt[174][1] = 1
69.32/28.23	c (9,0) opt[174][2] = 0
69.32/28.23	c (9,0) opt[174][3] = 0
69.32/28.23	c (9,0) opt[174][4] = 1
69.32/28.23	c (9,0) opt[175][0] = 0
69.32/28.23	c (9,0) opt[175][1] = 1
69.32/28.23	c (9,0) opt[175][2] = 0
69.32/28.23	c (9,0) opt[175][3] = 0
69.32/28.23	c (9,0) opt[175][4] = 0
69.32/28.23	c (9,0) opt[176][0] = 0
69.32/28.23	c (9,0) opt[176][1] = 0
69.32/28.23	c (9,0) opt[176][2] = 1
69.32/28.23	c (9,0) opt[176][3] = 0
69.32/28.23	c (9,0) opt[176][4] = 0
69.32/28.23	c (9,0) opt[177][0] = 0
69.32/28.23	c (9,0) opt[177][1] = 1
69.32/28.23	c (9,0) opt[177][2] = 0
69.32/28.23	c (9,0) opt[177][3] = 0
69.32/28.23	c (9,0) opt[177][4] = 0
69.32/28.23	c (9,0) opt[178][0] = 1
69.32/28.23	c (9,0) opt[178][1] = 1
69.32/28.23	c (9,0) opt[178][2] = 0
69.32/28.23	c (9,0) opt[178][3] = 0
69.32/28.23	c (9,0) opt[178][4] = 0
69.32/28.23	c (9,0) opt[179][0] = 0
69.32/28.23	c (9,0) opt[179][1] = 0
69.32/28.23	c (9,0) opt[179][2] = 0
69.32/28.23	c (9,0) opt[179][3] = 1
69.32/28.23	c (9,0) opt[179][4] = 1
69.32/28.23	c (9,0) opt[180][0] = 1
69.32/28.23	c (9,0) opt[180][1] = 0
69.32/28.23	c (9,0) opt[180][2] = 1
69.32/28.23	c (9,0) opt[180][3] = 1
69.32/28.23	c (9,0) opt[180][4] = 0
69.32/28.23	c (9,0) opt[181][0] = 0
69.32/28.23	c (9,0) opt[181][1] = 1
69.32/28.23	c (9,0) opt[181][2] = 0
69.32/28.23	c (9,0) opt[181][3] = 0
69.32/28.23	c (9,0) opt[181][4] = 0
69.32/28.23	c (9,0) opt[182][0] = 0
69.32/28.23	c (9,0) opt[182][1] = 1
69.32/28.23	c (9,0) opt[182][2] = 0
69.32/28.23	c (9,0) opt[182][3] = 0
69.32/28.23	c (9,0) opt[182][4] = 0
69.32/28.23	c (9,0) opt[183][0] = 1
69.32/28.23	c (9,0) opt[183][1] = 0
69.32/28.23	c (9,0) opt[183][2] = 1
69.32/28.23	c (9,0) opt[183][3] = 0
69.32/28.23	c (9,0) opt[183][4] = 0
69.32/28.23	c (9,0) opt[184][0] = 0
69.32/28.23	c (9,0) opt[184][1] = 1
69.32/28.23	c (9,0) opt[184][2] = 0
69.32/28.23	c (9,0) opt[184][3] = 0
69.32/28.23	c (9,0) opt[184][4] = 1
69.32/28.23	c (9,0) opt[185][0] = 0
69.32/28.23	c (9,0) opt[185][1] = 0
69.32/28.23	c (9,0) opt[185][2] = 0
69.32/28.23	c (9,0) opt[185][3] = 1
69.32/28.23	c (9,0) opt[185][4] = 0
69.32/28.23	c (9,0) opt[186][0] = 1
69.32/28.23	c (9,0) opt[186][1] = 1
69.32/28.23	c (9,0) opt[186][2] = 0
69.32/28.23	c (9,0) opt[186][3] = 0
69.32/28.23	c (9,0) opt[186][4] = 0
69.32/28.23	c (9,0) opt[187][0] = 0
69.32/28.23	c (9,0) opt[187][1] = 1
69.32/28.23	c (9,0) opt[187][2] = 1
69.32/28.23	c (9,0) opt[187][3] = 0
69.32/28.23	c (9,0) opt[187][4] = 0
69.32/28.23	c (9,0) opt[188][0] = 1
69.32/28.23	c (9,0) opt[188][1] = 0
69.32/28.23	c (9,0) opt[188][2] = 0
69.32/28.23	c (9,0) opt[188][3] = 1
69.32/28.23	c (9,0) opt[188][4] = 0
69.32/28.23	c (9,0) opt[189][0] = 0
69.32/28.23	c (9,0) opt[189][1] = 1
69.32/28.23	c (9,0) opt[189][2] = 0
69.32/28.23	c (9,0) opt[189][3] = 0
69.32/28.23	c (9,0) opt[189][4] = 1
69.32/28.23	c (9,0) opt[190][0] = 0
69.32/28.23	c (9,0) opt[190][1] = 0
69.32/28.23	c (9,0) opt[190][2] = 1
69.32/28.23	c (9,0) opt[190][3] = 0
69.32/28.23	c (9,0) opt[190][4] = 0
69.32/28.23	c (9,0) opt[191][0] = 0
69.32/28.23	c (9,0) opt[191][1] = 1
69.32/28.23	c (9,0) opt[191][2] = 0
69.32/28.23	c (9,0) opt[191][3] = 0
69.32/28.23	c (9,0) opt[191][4] = 0
69.32/28.23	c (9,0) opt[192][0] = 1
69.32/28.23	c (9,0) opt[192][1] = 1
69.32/28.23	c (9,0) opt[192][2] = 0
69.32/28.23	c (9,0) opt[192][3] = 1
69.32/28.23	c (9,0) opt[192][4] = 0
69.32/28.23	c (9,0) opt[193][0] = 0
69.32/28.23	c (9,0) opt[193][1] = 0
69.32/28.23	c (9,0) opt[193][2] = 1
69.32/28.23	c (9,0) opt[193][3] = 0
69.32/28.23	c (9,0) opt[193][4] = 0
69.32/28.23	c (9,0) opt[194][0] = 1
69.32/28.23	c (9,0) opt[194][1] = 1
69.32/28.23	c (9,0) opt[194][2] = 0
69.32/28.23	c (9,0) opt[194][3] = 1
69.32/28.23	c (9,0) opt[194][4] = 1
69.32/28.23	c (9,0) opt[195][0] = 0
69.32/28.23	c (9,0) opt[195][1] = 1
69.32/28.23	c (9,0) opt[195][2] = 0
69.32/28.23	c (9,0) opt[195][3] = 0
69.32/28.23	c (9,0) opt[195][4] = 0
69.32/28.23	c (9,0) opt[196][0] = 1
69.32/28.23	c (9,0) opt[196][1] = 0
69.32/28.23	c (9,0) opt[196][2] = 0
69.32/28.23	c (9,0) opt[196][3] = 0
69.32/28.23	c (9,0) opt[196][4] = 0
69.32/28.23	c (9,0) opt[197][0] = 0
69.32/28.23	c (9,0) opt[197][1] = 0
69.32/28.23	c (9,0) opt[197][2] = 0
69.32/28.23	c (9,0) opt[197][3] = 1
69.32/28.23	c (9,0) opt[197][4] = 0
69.32/28.23	c (9,0) opt[198][0] = 0
69.32/28.23	c (9,0) opt[198][1] = 1
69.32/28.23	c (9,0) opt[198][2] = 1
69.32/28.23	c (9,0) opt[198][3] = 0
69.32/28.23	c (9,0) opt[198][4] = 0
69.32/28.23	c (9,0) opt[199][0] = 1
69.32/28.23	c (9,0) opt[199][1] = 0
69.32/28.23	c (9,0) opt[199][2] = 0
69.32/28.23	c (9,0) opt[199][3] = 0
69.32/28.23	c (9,0) opt[199][4] = 1
69.32/28.23	s SATISFIABLE
69.32/28.24	v <instantiation>
69.32/28.24	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.32/28.24	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.32/28.24	v </instantiation>
69.32/28.24	c (9,0) Show results End
69.32/28.24	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
69.32/28.24	c (9,0) 9,9,STOP-AFTER(ALL)
69.32/28.24	c END-Prog: Tue Sep 24 17:21:30 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 (13831 MiB free)
  memory of node 1: 16384 MiB (11320 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405202-1569338503/watcher-4405202-1569338503 -o /tmp/evaluation-result-4405202-1569338503/solver-4405202-1569338503 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569335938-14231 --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-4405202-1569338503.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=14555, runsolver pid=14552
Current StackSize limit: 8192 KiB


[startup+0.103587 s]*
/proc/loadavg: 7.09 6.85 5.83 2/212 14577
/proc/meminfo: memFree=25659012/32770624 swapFree=66959708/67108860
[pid=14555] ppid=14552 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14555/stat : 14555 (scop.sh) S 14552 14555 14204 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510119071 115843072 349 33554432000 4194304 5098028 140729807208352 140729807205608 139849339413116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13488128 140729807213349 140729807213676 140729807213676 140729807216589 0
/proc/14555/statm: 28282 349 296 221 0 87 0
[pid=14558] ppid=14555 vsize=27314120 memory=110348 CPUtime=0.11 cores=0-7
/proc/14558/stat : 14558 (java) S 14555 14555 14204 0 -1 1077944320 6603 0 0 0 9 2 0 0 20 0 20 0 510119071 27969658880 27587 33554432000 4194304 4196468 140729742715904 140729742698448 140224478871287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
/proc/14558/statm: 6828530 27587 2826 1 0 6790935 0
[pid=14558/tid=14559] ppid=14555 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/14558/task/14559/stat : 14559 (java) R 14555 14555 14204 0 -1 4202560 4647 0 0 0 7 2 0 0 20 0 20 0 510119072 27969658880 27587 33554432000 4194304 4196468 140729742715904 140224450683272 140224464303226 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14560] ppid=14555 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14558/task/14560/stat : 14560 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140224483113360 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14561] ppid=14555 vsize=27314120 memory=140256884975232 CPUtime=0 cores=0-7
/proc/14558/task/14561/stat : 14561 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223900711184 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14562] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14562/stat : 14562 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223899658896 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14563] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14563/stat : 14563 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223898606096 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14564] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14564/stat : 14564 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223897553808 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14565] ppid=14555 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14558/task/14565/stat : 14565 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223896501008 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14566] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14566/stat : 14566 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223895448720 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14567] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14567/stat : 14567 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223894395920 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14568] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14568/stat : 14568 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223604471920 140224478882434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14569] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14569/stat : 14569 (java) S 14555 14555 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 27587 33554432000 4194304 4196468 140729742715904 140222427816736 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14570] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14570/stat : 14570 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 27587 33554432000 4194304 4196468 140729742715904 140222159381616 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14571] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14571/stat : 14571 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 27587 33554432000 4194304 4196468 140729742715904 140221784873040 140224478889883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14572] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14572/stat : 14572 (java) S 14555 14555 14204 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223603419760 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14573] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14573/stat : 14573 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223602366960 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14574] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14574/stat : 14574 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223601314672 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14575] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14575/stat : 14575 (java) R 14555 14555 14204 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223600261872 140224478892634 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14576] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14576/stat : 14576 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 27587 33554432000 4194304 4196468 140729742715904 140221286967648 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14577] ppid=14555 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14558/task/14577/stat : 14577 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 27587 33554432000 4194304 4196468 140729742715904 140223599208752 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 111744 KiB

[startup+0.211195 s]*
/proc/loadavg: 7.09 6.85 5.83 2/212 14577
/proc/meminfo: memFree=25637836/32770624 swapFree=66959708/67108860
[pid=14555] ppid=14552 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14555/stat : 14555 (scop.sh) S 14552 14555 14204 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510119071 115843072 349 33554432000 4194304 5098028 140729807208352 140729807205608 139849339413116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13488128 140729807213349 140729807213676 140729807213676 140729807216589 0
/proc/14555/statm: 28282 349 296 221 0 87 0
[pid=14558] ppid=14555 vsize=27314120 memory=127012 CPUtime=0.25 cores=0-7
/proc/14558/stat : 14558 (java) S 14555 14555 14204 0 -1 1077944320 11988 0 0 0 21 4 0 0 20 0 20 0 510119071 27969658880 31753 33554432000 4194304 4196468 140729742715904 140729742698448 140224478871287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
/proc/14558/statm: 6828530 31753 2930 1 0 6790935 0
[pid=14558/tid=14559] ppid=14555 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14558/task/14559/stat : 14559 (java) R 14555 14555 14204 0 -1 4202560 9705 0 0 0 16 3 0 0 20 0 20 0 510119072 27969658880 31753 33554432000 4194304 4196468 140729742715904 140224450692192 140224462951774 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14560] ppid=14555 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/14558/task/14560/stat : 14560 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140224483113360 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14561] ppid=14555 vsize=27314120 memory=140256888764483 CPUtime=0 cores=0-7
/proc/14558/task/14561/stat : 14561 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223900711184 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14562] ppid=14555 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14558/task/14562/stat : 14562 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223899658896 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14563] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14563/stat : 14563 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223898606096 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14564] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14564/stat : 14564 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223897553808 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14565] ppid=14555 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14558/task/14565/stat : 14565 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223896501008 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14566] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14566/stat : 14566 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223895448720 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14567] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14567/stat : 14567 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223894395920 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14568] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14568/stat : 14568 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223604471920 140224478882434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14569] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14569/stat : 14569 (java) S 14555 14555 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 31753 33554432000 4194304 4196468 140729742715904 140222427816736 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14570] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14570/stat : 14570 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 31753 33554432000 4194304 4196468 140729742715904 140222159381616 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14571] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14571/stat : 14571 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 31753 33554432000 4194304 4196468 140729742715904 140221784873040 140224478889883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14572] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14572/stat : 14572 (java) S 14555 14555 14204 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223603419760 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14573] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14573/stat : 14573 (java) S 14555 14555 14204 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223602366960 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14574] ppid=14555 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14558/task/14574/stat : 14574 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223601314672 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14575] ppid=14555 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/14558/task/14575/stat : 14575 (java) S 14555 14555 14204 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 20 0 510119079 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223600261872 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14576] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14576/stat : 14576 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 31753 33554432000 4194304 4196468 140729742715904 140221286967648 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14577] ppid=14555 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14558/task/14577/stat : 14577 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 31753 33554432000 4194304 4196468 140729742715904 140223599208752 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128408 KiB

[startup+0.310318 s]*
/proc/loadavg: 7.09 6.85 5.83 2/212 14577
/proc/meminfo: memFree=25635416/32770624 swapFree=66959708/67108860
[pid=14555] ppid=14552 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14555/stat : 14555 (scop.sh) S 14552 14555 14204 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510119071 115843072 349 33554432000 4194304 5098028 140729807208352 140729807205608 139849339413116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13488128 140729807213349 140729807213676 140729807213676 140729807216589 0
/proc/14555/statm: 28282 349 296 221 0 87 0
[pid=14558] ppid=14555 vsize=27314120 memory=130428 CPUtime=0.43 cores=0-7
/proc/14558/stat : 14558 (java) S 14555 14555 14204 0 -1 1077944320 12965 0 0 0 38 5 0 0 20 0 20 0 510119071 27969658880 32607 33554432000 4194304 4196468 140729742715904 140729742698448 140224478871287 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
/proc/14558/statm: 6828530 32607 3025 1 0 6790935 0
[pid=14558/tid=14559] ppid=14555 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/14558/task/14559/stat : 14559 (java) R 14555 14555 14204 0 -1 4202560 10507 0 0 0 26 4 0 0 20 0 20 0 510119072 27969658880 32607 33554432000 4194304 4196468 140729742715904 140224450701360 140224459146994 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14560] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14560/stat : 14560 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140224483113360 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14561] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14561/stat : 14561 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223900711184 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14562] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14562/stat : 14562 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223899658896 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14563] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14563/stat : 14563 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223898606096 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14564] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14564/stat : 14564 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223897553808 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14565] ppid=14555 vsize=27314120 memory=140256787655343 CPUtime=0 cores=0-7
/proc/14558/task/14565/stat : 14565 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223896501008 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14566] ppid=14555 vsize=27314120 memory=140256787657648 CPUtime=0 cores=0-7
/proc/14558/task/14566/stat : 14566 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223895448720 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14567] ppid=14555 vsize=27314120 memory=140256787659952 CPUtime=0 cores=0-7
/proc/14558/task/14567/stat : 14567 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119074 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223894395920 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14568] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14568/stat : 14568 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223604471920 140224478882434 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14569] ppid=14555 vsize=27314120 memory=280513575333776 CPUtime=0 cores=0-7
/proc/14558/task/14569/stat : 14569 (java) S 14555 14555 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 32607 33554432000 4194304 4196468 140729742715904 140222427816736 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14570] ppid=14555 vsize=27314120 memory=280513575331472 CPUtime=0 cores=0-7
/proc/14558/task/14570/stat : 14570 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119076 27969658880 32607 33554432000 4194304 4196468 140729742715904 140222159381616 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14571] ppid=14555 vsize=27314120 memory=280513575338384 CPUtime=0 cores=0-7
/proc/14558/task/14571/stat : 14571 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 32607 33554432000 4194304 4196468 140729742715904 140221784873040 140224478889883 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14572] ppid=14555 vsize=27314120 memory=280513575279664 CPUtime=0.01 cores=0-7
/proc/14558/task/14572/stat : 14572 (java) S 14555 14555 14204 0 -1 1077944384 486 0 0 0 1 0 0 0 20 0 20 0 510119079 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223603419760 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14573] ppid=14555 vsize=27314120 memory=280513575352208 CPUtime=0.02 cores=0-7
/proc/14558/task/14573/stat : 14573 (java) R 14555 14555 14204 0 -1 4202560 109 0 0 0 2 0 0 0 20 0 20 0 510119079 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223602366960 140224471160741 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14574] ppid=14555 vsize=27314120 memory=280513575359120 CPUtime=0 cores=0-7
/proc/14558/task/14574/stat : 14574 (java) S 14555 14555 14204 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223601314672 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14575] ppid=14555 vsize=27314120 memory=280513575356816 CPUtime=0.07 cores=0-7
/proc/14558/task/14575/stat : 14575 (java) S 14555 14555 14204 0 -1 1077944384 503 0 0 0 7 0 0 0 20 0 20 0 510119079 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223600261872 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14576] ppid=14555 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14576/stat : 14576 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 32607 33554432000 4194304 4196468 140729742715904 140221286967648 140224478881493 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14577] ppid=14555 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14558/task/14577/stat : 14577 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119079 27969658880 32607 33554432000 4194304 4196468 140729742715904 140223599208752 140224478882434 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131824 KiB

[startup+0.701633 s]
/proc/loadavg: 7.09 6.85 5.83 2/212 14577
/proc/meminfo: memFree=25614200/32770624 swapFree=66959708/67108860
[pid=14555] ppid=14552 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14555/stat : 14555 (scop.sh) S 14552 14555 14204 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510119071 115843072 349 33554432000 4194304 5098028 140729807208352 140729807205608 139849339413116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13488128 140729807213349 140729807213676 140729807213676 140729807216589 0
/proc/14555/statm: 28282 349 296 221 0 87 0
[pid=14558] ppid=14555 vsize=27320392 memory=165056 CPUtime=0.99 cores=0-7
/proc/14558/stat : 14558 (java) S 14555 14555 14204 0 -1 1077944320 19854 0 0 0 93 6 0 0 20 0 20 0 510119071 27976081408 41264 33554432000 4194304 4196468 140729742715904 140729742698448 140224478871287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
/proc/14558/statm: 6830098 41264 3192 1 0 6791447 0
[pid=14558/tid=14559] ppid=14555 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/14558/task/14559/stat : 14559 (java) R 14555 14555 14204 0 -1 4202560 16928 0 0 0 62 5 0 0 20 0 20 0 510119072 27976081408 41264 33554432000 4194304 4196468 140729742715904 140224450709776 140223981841888 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14560] ppid=14555 vsize=27320392 memory=140256787866480 CPUtime=0 cores=0-7
/proc/14558/task/14560/stat : 14560 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510119074 27976081408 41264 33554432000 4194304 4196468 140729742715904 140224483113360 140224478881493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14561] ppid=14555 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14558/task/14561/stat : 14561 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27976081408 41264 33554432000 4194304 4196468 140729742715904 140223900711184 140224478881493 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0
[pid=14558/tid=14562] ppid=14555 vsize=27320392 memory=1016 CPUtime=0 cores=0-7
/proc/14558/task/14562/stat : 14562 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510119074 27976081408 41264 33554432000 4194304 4196468 140729742715904 140223899658896 140224478881493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8347648 140729742717675 140729742718102 140729742718102 140729742720975 0

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

[pid=14580/tid=14582] ppid=14555 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/14580/task/14582/stat : 14582 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139951433411216 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14583] ppid=14555 vsize=8414124 memory=1188 CPUtime=0 cores=0-7
/proc/14580/task/14583/stat : 14583 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139951241972240 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14584] ppid=14555 vsize=8414124 memory=1536 CPUtime=0 cores=0-7
/proc/14580/task/14584/stat : 14584 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950913739152 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14585] ppid=14555 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/14580/task/14585/stat : 14585 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950912686352 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14586] ppid=14555 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/14580/task/14586/stat : 14586 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950911634576 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14587] ppid=14555 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/14580/task/14587/stat : 14587 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950910581776 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14588] ppid=14555 vsize=8414124 memory=620 CPUtime=0 cores=0-7
/proc/14580/task/14588/stat : 14588 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950909528976 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14589] ppid=14555 vsize=8414124 memory=1496 CPUtime=0 cores=0-7
/proc/14580/task/14589/stat : 14589 (java) S 14555 14555 14204 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510120914 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950908476176 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14590] ppid=14555 vsize=8414124 memory=1016 CPUtime=0 cores=0-7
/proc/14580/task/14590/stat : 14590 (java) S 14555 14555 14204 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510120916 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950388427120 139951429180034 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14591] ppid=14555 vsize=8414124 memory=6068 CPUtime=0 cores=0-7
/proc/14580/task/14591/stat : 14591 (java) S 14555 14555 14204 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510120916 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950100046880 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14592] ppid=14555 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/14580/task/14592/stat : 14592 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120916 8616062976 31249 33554432000 4194304 4196468 140735140103664 139949831611248 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14593] ppid=14555 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/14580/task/14593/stat : 14593 (java) S 14555 14555 14204 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510120919 8616062976 31249 33554432000 4194304 4196468 140735140103664 139949457102672 139951429187483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14594] ppid=14555 vsize=8414124 memory=35616 CPUtime=0.16 cores=0-7
/proc/14580/task/14594/stat : 14594 (java) S 14555 14555 14204 0 -1 1077944384 743 0 0 0 16 0 0 0 20 0 24 0 510120919 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950387374960 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14595] ppid=14555 vsize=8414124 memory=14068 CPUtime=0.13 cores=0-7
/proc/14580/task/14595/stat : 14595 (java) S 14555 14555 14204 0 -1 1077944384 698 0 0 0 13 0 0 0 20 0 24 0 510120919 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950386322160 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14596] ppid=14555 vsize=8414124 memory=524 CPUtime=0.12 cores=0-7
/proc/14580/task/14596/stat : 14596 (java) S 14555 14555 14204 0 -1 1077944384 260 0 0 0 12 0 0 0 20 0 24 0 510120919 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950385269360 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14597] ppid=14555 vsize=8414124 memory=1568 CPUtime=0.23 cores=0-7
/proc/14580/task/14597/stat : 14597 (java) S 14555 14555 14204 0 -1 1077944384 606 0 0 0 23 0 0 0 20 0 24 0 510120919 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950384216560 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14598] ppid=14555 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/14580/task/14598/stat : 14598 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120919 8616062976 31249 33554432000 4194304 4196468 140735140103664 139948959197792 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14599] ppid=14555 vsize=8414124 memory=3656 CPUtime=0 cores=0-7
/proc/14580/task/14599/stat : 14599 (java) S 14555 14555 14204 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510120919 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950383163952 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14601] ppid=14555 vsize=8414124 memory=1976 CPUtime=0 cores=0-7
/proc/14580/task/14601/stat : 14601 (java) S 14555 14555 14204 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510120993 8616062976 31249 33554432000 4194304 4196468 140735140103664 139950375130176 139951429193497 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14603] ppid=14555 vsize=8414124 memory=2512 CPUtime=0 cores=0-7
/proc/14580/task/14603/stat : 14603 (java) S 14555 14555 14204 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510120994 8616062976 31249 33554432000 4194304 4196468 140735140103664 139948288098480 139951429190813 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14604] ppid=14555 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/14580/task/14604/stat : 14604 (java) S 14555 14555 14204 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 510120994 8616062976 31249 33554432000 4194304 4196468 140735140103664 139948556533808 139951429190813 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14605] ppid=14555 vsize=8414124 memory=1448 CPUtime=0 cores=0-7
/proc/14580/task/14605/stat : 14605 (java) S 14555 14555 14204 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510120996 8616062976 31249 33554432000 4194304 4196468 140735140103664 139948019670576 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
Current children cumulated CPU time: 66.41 s
Current children cumulated vsize: 10649756 KiB
Current children cumulated memory: 1710384 KiB

[startup+28.001 s]*
/proc/loadavg: 5.49 6.48 5.73 6/217 14613
/proc/meminfo: memFree=25523544/32770624 swapFree=66959708/67108860
[pid=14555] ppid=14552 vsize=113128 memory=1476 CPUtime=37.27 cores=0-7
/proc/14555/stat : 14555 (scop.sh) S 14552 14555 14204 0 -1 4202496 581 52995 0 0 0 0 3566 161 20 0 1 0 510119071 115843072 369 33554432000 4194304 5098028 140729807208352 140729807205096 139849339413116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13488128 140729807213349 140729807213676 140729807213676 140729807216589 0
/proc/14555/statm: 28282 369 311 221 0 87 0
[pid=14580] ppid=14555 vsize=8414124 memory=155932 CPUtime=31.58 cores=0-7
/proc/14580/stat : 14580 (java) S 14555 14555 14204 0 -1 1077944320 21264 355720 0 0 173 11 2884 90 20 0 23 0 510120913 8616062976 38983 33554432000 4194304 4196468 140735140103664 140735140086208 139951429168887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
/proc/14580/statm: 2103531 38983 3230 1 0 2064875 0
[pid=14580/tid=14581] ppid=14555 vsize=8414124 memory=1398722017469774279 CPUtime=30.57 cores=0-7
/proc/14580/task/14581/stat : 14581 (java) S 14555 14555 14204 0 -1 1077944384 16938 355720 0 0 75 8 2884 90 20 0 23 0 510120913 8616062976 38983 33554432000 4194304 4196468 140735140103664 139951401009056 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14582] ppid=14555 vsize=8414124 memory=4126316290023845779 CPUtime=29.74 cores=0-7
/proc/14580/task/14582/stat : 14582 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139951433411216 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14583] ppid=14555 vsize=8414124 memory=7018411866823418196 CPUtime=29.74 cores=0-7
/proc/14580/task/14583/stat : 14583 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139951241972240 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14584] ppid=14555 vsize=8414124 memory=7882828121784479853 CPUtime=29.74 cores=0-7
/proc/14580/task/14584/stat : 14584 (java) S 14555 14555 14204 0 -1 1077944384 2 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950913739152 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14585] ppid=14555 vsize=8414124 memory=6153419471929233489 CPUtime=29.74 cores=0-7
/proc/14580/task/14585/stat : 14585 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950912686352 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14586] ppid=14555 vsize=8414124 memory=7884184936294535521 CPUtime=29.74 cores=0-7
/proc/14580/task/14586/stat : 14586 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950911634576 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14587] ppid=14555 vsize=8414124 memory=8389687274701534002 CPUtime=29.74 cores=0-7
/proc/14580/task/14587/stat : 14587 (java) S 14555 14555 14204 0 -1 1077944384 2 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950910581776 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14588] ppid=14555 vsize=8414124 memory=175589543 CPUtime=29.74 cores=0-7
/proc/14580/task/14588/stat : 14588 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950909528976 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14589] ppid=14555 vsize=8414124 memory=280513577047776 CPUtime=29.74 cores=0-7
/proc/14580/task/14589/stat : 14589 (java) S 14555 14555 14204 0 -1 1077944384 2 355720 0 0 0 0 2884 90 20 0 23 0 510120914 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950908476176 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14590] ppid=14555 vsize=8414124 memory=140256788526160 CPUtime=29.74 cores=0-7
/proc/14580/task/14590/stat : 14590 (java) S 14555 14555 14204 0 -1 1077944384 5 355720 0 0 0 0 2884 90 20 0 23 0 510120916 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950388427120 139951429180034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14591] ppid=14555 vsize=8414124 memory=7686721470234008215 CPUtime=29.74 cores=0-7
/proc/14580/task/14591/stat : 14591 (java) S 14555 14555 14204 0 -1 1077944384 13 355720 0 0 0 0 2884 90 20 0 23 0 510120916 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950100046880 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14592] ppid=14555 vsize=8414124 memory=140260746986060 CPUtime=29.74 cores=0-7
/proc/14580/task/14592/stat : 14592 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 23 0 510120916 8616062976 38983 33554432000 4194304 4196468 140735140103664 139949831611248 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14593] ppid=14555 vsize=8414124 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14593/stat : 14593 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 23 0 510120919 8616062976 38983 33554432000 4194304 4196468 140735140103664 139949457102672 139951429187483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14594] ppid=14555 vsize=8414124 memory=0 CPUtime=29.95 cores=0-7
/proc/14580/task/14594/stat : 14594 (java) S 14555 14555 14204 0 -1 1077944384 764 355720 0 0 21 0 2884 90 20 0 23 0 510120919 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950387374960 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14595] ppid=14555 vsize=8414124 memory=0 CPUtime=29.93 cores=0-7
/proc/14580/task/14595/stat : 14595 (java) S 14555 14555 14204 0 -1 1077944384 725 355720 0 0 19 0 2884 90 20 0 23 0 510120919 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950386322160 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14596] ppid=14555 vsize=8414124 memory=0 CPUtime=29.9 cores=0-7
/proc/14580/task/14596/stat : 14596 (java) S 14555 14555 14204 0 -1 1077944384 288 355720 0 0 16 0 2884 90 20 0 23 0 510120919 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950385269360 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14597] ppid=14555 vsize=8414124 memory=0 CPUtime=30.02 cores=0-7
/proc/14580/task/14597/stat : 14597 (java) S 14555 14555 14204 0 -1 1077944384 1084 355720 0 0 28 0 2884 90 20 0 23 0 510120919 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950384216560 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14598] ppid=14555 vsize=8414124 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14598/stat : 14598 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 23 0 510120919 8616062976 38983 33554432000 4194304 4196468 140735140103664 139948959197792 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14599] ppid=14555 vsize=8414124 memory=3763094171694674485 CPUtime=29.74 cores=0-7
/proc/14580/task/14599/stat : 14599 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 23 0 510120919 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950383163952 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14601] ppid=14555 vsize=8414124 memory=3976735856566219060 CPUtime=29.74 cores=0-7
/proc/14580/task/14601/stat : 14601 (java) S 14555 14555 14204 0 -1 1077944384 25 355720 0 0 0 0 2884 90 20 0 23 0 510120993 8616062976 38983 33554432000 4194304 4196468 140735140103664 139950375129360 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14603] ppid=14555 vsize=8414124 memory=6944656592455359580 CPUtime=29.85 cores=0-7
/proc/14580/task/14603/stat : 14603 (java) R 14555 14555 14204 0 -1 4202560 62 355720 0 0 11 0 2884 90 20 0 23 0 510120994 8616062976 38983 33554432000 4194304 4196468 140735140103664 139948288104288 139950922170644 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14605] ppid=14555 vsize=8414124 memory=6944656592455360604 CPUtime=29.74 cores=0-7
/proc/14580/task/14605/stat : 14605 (java) S 14555 14555 14204 0 -1 1077944384 6 355720 0 0 0 0 2884 90 20 0 23 0 510120996 8616062976 38983 33554432000 4194304 4196468 140735140103664 139948019670336 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
Current children cumulated CPU time: 68.85 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 157408 KiB

[startup+28.201 s]
/proc/loadavg: 5.49 6.48 5.73 6/217 14613
/proc/meminfo: memFree=25523544/32770624 swapFree=66959708/67108860
[pid=14555] ppid=14552 vsize=113128 memory=1476 CPUtime=37.27 cores=0-7
/proc/14555/stat : 14555 (scop.sh) S 14552 14555 14204 0 -1 4202496 581 52995 0 0 0 0 3566 161 20 0 1 0 510119071 115843072 369 33554432000 4194304 5098028 140729807208352 140729807205096 139849339413116 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13488128 140729807213349 140729807213676 140729807213676 140729807216589 0
/proc/14555/statm: 28282 369 311 221 0 87 0
[pid=14580] ppid=14555 vsize=8283048 memory=171456 CPUtime=32.05 cores=0-7
/proc/14580/stat : 14580 (java) S 14555 14555 14204 0 -1 1077944320 23187 355720 0 0 219 12 2884 90 20 0 22 0 510120913 8481841152 42864 33554432000 4194304 4196468 140735140103664 140735140086208 139951429168887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
/proc/14580/statm: 2070762 42864 3239 1 0 2032106 0
[pid=14580/tid=14581] ppid=14555 vsize=8283048 memory=6791534058613427641 CPUtime=30.75 cores=0-7
/proc/14580/task/14581/stat : 14581 (java) R 14555 14555 14204 0 -1 4202560 17205 355720 0 0 92 9 2884 90 20 0 22 0 510120913 8481841152 42864 33554432000 4194304 4196468 140735140103664 139951401006280 139951429180822 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14582] ppid=14555 vsize=8283048 memory=6944656592387989600 CPUtime=29.74 cores=0-7
/proc/14580/task/14582/stat : 14582 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139951433411216 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14583] ppid=14555 vsize=8283048 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14583/stat : 14583 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139951241972240 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14584] ppid=14555 vsize=8283048 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14584/stat : 14584 (java) S 14555 14555 14204 0 -1 1077944384 2 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950913739152 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14585] ppid=14555 vsize=8283048 memory=28708 CPUtime=29.74 cores=0-7
/proc/14580/task/14585/stat : 14585 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950912686352 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14586] ppid=14555 vsize=8283048 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14586/stat : 14586 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950911634576 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14587] ppid=14555 vsize=8283048 memory=28708 CPUtime=29.74 cores=0-7
/proc/14580/task/14587/stat : 14587 (java) S 14555 14555 14204 0 -1 1077944384 2 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950910581776 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14588] ppid=14555 vsize=8283048 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14588/stat : 14588 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950909528976 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14589] ppid=14555 vsize=8283048 memory=8320808402720208693 CPUtime=29.74 cores=0-7
/proc/14580/task/14589/stat : 14589 (java) S 14555 14555 14204 0 -1 1077944384 2 355720 0 0 0 0 2884 90 20 0 22 0 510120914 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950908476176 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14590] ppid=14555 vsize=8283048 memory=7228928657758118464 CPUtime=29.74 cores=0-7
/proc/14580/task/14590/stat : 14590 (java) S 14555 14555 14204 0 -1 1077944384 5 355720 0 0 0 0 2884 90 20 0 22 0 510120916 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950388427120 139951429180034 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14591] ppid=14555 vsize=8283048 memory=7594587674001172330 CPUtime=29.74 cores=0-7
/proc/14580/task/14591/stat : 14591 (java) S 14555 14555 14204 0 -1 1077944384 13 355720 0 0 0 0 2884 90 20 0 22 0 510120916 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950100046880 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14592] ppid=14555 vsize=8283048 memory=288230574492221466 CPUtime=29.74 cores=0-7
/proc/14580/task/14592/stat : 14592 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 22 0 510120916 8481841152 42864 33554432000 4194304 4196468 140735140103664 139949831611248 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14593] ppid=14555 vsize=8283048 memory=288230596050944315 CPUtime=29.74 cores=0-7
/proc/14580/task/14593/stat : 14593 (java) S 14555 14555 14204 0 -1 1077944384 1 355720 0 0 0 0 2884 90 20 0 22 0 510120919 8481841152 42864 33554432000 4194304 4196468 140735140103664 139949457102672 139951429187483 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14594] ppid=14555 vsize=8283048 memory=16099273431322896 CPUtime=30.01 cores=0-7
/proc/14580/task/14594/stat : 14594 (java) R 14555 14555 14204 0 -1 4202560 1085 355720 0 0 27 0 2884 90 20 0 22 0 510120919 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950387360632 139951414292411 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14595] ppid=14555 vsize=8283048 memory=280513577130784 CPUtime=29.99 cores=0-7
/proc/14580/task/14595/stat : 14595 (java) R 14555 14555 14204 0 -1 4202560 1163 355720 0 0 25 0 2884 90 20 0 22 0 510120919 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950386307960 139951406765339 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14596] ppid=14555 vsize=8283048 memory=140256788591216 CPUtime=29.97 cores=0-7
/proc/14580/task/14596/stat : 14596 (java) R 14555 14555 14204 0 -1 4202560 883 355720 0 0 23 0 2884 90 20 0 22 0 510120919 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950385247888 139951409928492 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14597] ppid=14555 vsize=8283048 memory=280513577141888 CPUtime=30.11 cores=0-7
/proc/14580/task/14597/stat : 14597 (java) R 14555 14555 14204 0 -1 4202560 1390 355720 0 0 37 0 2884 90 20 0 22 0 510120919 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950384216560 139951408601979 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14598] ppid=14555 vsize=8283048 memory=140256788448192 CPUtime=29.74 cores=0-7
/proc/14580/task/14598/stat : 14598 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 22 0 510120919 8481841152 42864 33554432000 4194304 4196468 140735140103664 139948959197792 139951429179093 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14599] ppid=14555 vsize=8283048 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14599/stat : 14599 (java) S 14555 14555 14204 0 -1 1077944384 3 355720 0 0 0 0 2884 90 20 0 22 0 510120919 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950383163952 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14601] ppid=14555 vsize=8283048 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14601/stat : 14601 (java) S 14555 14555 14204 0 -1 1077944384 25 355720 0 0 0 0 2884 90 20 0 22 0 510120993 8481841152 42864 33554432000 4194304 4196468 140735140103664 139950375129360 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
[pid=14580/tid=14605] ppid=14555 vsize=8283048 memory=0 CPUtime=29.74 cores=0-7
/proc/14580/task/14605/stat : 14605 (java) S 14555 14555 14204 0 -1 1077944384 11 355720 0 0 0 0 2884 90 20 0 22 0 510120996 8481841152 42864 33554432000 4194304 4196468 140735140103664 139948019672368 139951429180034 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6725632 140735140111351 140735140111510 140735140111510 140735140114383 0
Current children cumulated CPU time: 69.32 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 172932 KiB

Child status: 0
Real time (s): 28.2842
CPU time (s): 69.635
CPU user time (s): 66.9525
CPU system time (s): 2.68251
CPU usage (%): 246.198
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6071736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.9525
system time used= 2.68251
maximum resident set size= 6070340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 127472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57751
involuntary context switches= 288


# summary of solver processes directly reported to runsolver:
#   pid: 14555
#   total CPU time (s): 69.635
#   total CPU user time (s): 66.9525
#   total CPU system time (s): 2.68251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.237018 second user time and 0.369143 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-24 17:21:02
IDJOB=4405202
IDBENCH=128127
IDSOLVER=2867
FILE ID=node127/4405202-1569338503
RUNJOBID= node127-1569335938-14231
PBS_JOBID= 21705058
Free space on /tmp= 35924 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
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-4405202-1569338503/watcher-4405202-1569338503 -o /tmp/evaluation-result-4405202-1569338503/solver-4405202-1569338503 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569335938-14231 --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-4405202-1569338503.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=969539028

node127.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.55
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.55
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.55
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.55
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:        25755668 kB
MemAvailable:   31797412 kB
Buffers:           81664 kB
Cached:          6160540 kB
SwapCached:        44644 kB
Active:          3030300 kB
Inactive:        3263284 kB
Active(anon):       4948 kB
Inactive(anon):   104344 kB
Active(file):    3025352 kB
Inactive(file):  3158940 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66959708 kB
Dirty:             20660 kB
Writeback:             4 kB
AnonPages:        115700 kB
Mapped:            57012 kB
Shmem:             49032 kB
Slab:             314500 kB
SReclaimable:     285912 kB
SUnreclaim:        28588 kB
KernelStack:        3424 kB
PageTables:         6044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 35900 MiB
End job on node127 at 2019-09-24 17:21:30