Trace number 4405161

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 51.212 26.5358

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-65-10.xml
MD5SUMc4baa3ff261117e16f7eeec964fc150b
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 benchmark1.89381
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1395
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree68
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":19},"...",{"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":3}, {"degree":68,"count":71}]
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":50,"count":1},{"arity":53,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":62,"count":1},{"arity":65,"count":1},{"arity":68,"count":1},{"arity":71,"count":1},{"arity":72,"count":1},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":1},{"arity":78,"count":1},{"arity":80,"count":4},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":2},{"arity":86,"count":3},{"arity":88,"count":1},"...",{"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":1194},{"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-12176-serial-file.bin HOME/instance-4405161-1569338434.xml
0.64/0.54	
0.64/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.64/0.54	
0.64/0.56	c BEGIN-Prog: Tue Sep 24 17:19:56 CEST 2019
0.64/0.56	c PID: 12179
0.64/0.56	c IP: 172.20.3.149
0.64/0.56	c HOST: node149.alineos.net
0.64/0.57	c (0,0) Parsing Begin
2.93/1.39	c (0,0) Parsing End
3.28/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1395 ctr, max domain size 25
3.28/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.28/1.40	c (0,0) Constraint Name Generate Begin
3.28/1.43	c (0,0) Ctr:HOME/instance-4405161-1569338434.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.28/1.43	c (0,0) Constraint Name Generate End
3.28/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.28/1.43	c (0,0) CSP to CSPinCNF Begin
11.61/4.71	c (4,4) translated 140 (10%) constraints
12.28/5.33	c (4,4) translated 279 (20%) constraints
12.28/5.35	c (4,4) translated 419 (30%) constraints
12.28/5.37	c (4,4) translated 558 (40%) constraints
12.28/5.39	c (4,4) translated 698 (50%) constraints
12.61/5.42	c (4,4) translated 837 (60%) constraints
12.61/5.43	c (4,4) translated 977 (70%) constraints
12.61/5.45	c (4,4) translated 1116 (80%) constraints
15.12/7.02	c (6,6) translated 1256 (90%) constraints
17.04/9.00	c (8,8) translated 1395 (100%) constraints
17.15/9.02	c (8,8) ===========================================
17.15/9.02	c (8,8) Order
17.15/9.02	c (8,8) ===========================================
19.17/9.73	c (9,9) translated 5802 (10%) constraints
19.74/10.00	c (9,9) translated 11604 (20%) constraints
20.44/10.15	c (9,9) translated 17406 (30%) constraints
20.63/10.27	c (9,9) translated 23208 (40%) constraints
20.77/10.40	c (9,9) translated 29010 (50%) constraints
20.98/10.52	c (9,9) translated 34812 (60%) constraints
21.08/10.64	c (10,10) translated 40614 (70%) constraints
21.19/10.77	c (10,10) translated 46416 (80%) constraints
21.29/10.89	c (10,10) translated 52218 (90%) constraints
26.39/12.67	c (12,12) translated 58019 (100%) constraints
26.39/12.68	c (12,12) CSP to CSPinCNF End
26.39/12.69	c (12,12) CSP: 8590 int (8390 aux), 21663 bool (20663 aux), 77659 ctr, max domain size 68
26.39/12.69	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.39/12.69	c (12,12) CSPinCNF Propagation Begin
27.86/13.18	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.86/13.18	c (12,12) CSPinCNF Propagation End
27.86/13.19	c (12,12) CSP: 8590 int (8390 aux), 21663 bool (20663 aux), 77259 ctr, max domain size 68
27.86/13.19	c (12,12) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.86/13.19	c (12,12) Simplify CSPinCNF Begin
28.68/13.40	c (12,12) Simplify CSPinCNF End
28.68/13.41	c (12,12) CSP: 8590 int (8390 aux), 21663 bool (20663 aux), 77259 ctr, max domain size 68
28.68/13.41	c (12,12) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.68/13.41	c (12,12) Calculate Precise Domain Begin
29.05/13.51	c (12,12) 0 values are removed by re-calculation
29.05/13.51	c (12,12) Calculate Precise Domain End
29.05/13.52	c (12,12) CSP: 8590 int (8390 aux), 21663 bool (20663 aux), 77259 ctr, max domain size 68
29.05/13.52	c (12,12) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
29.05/13.52	c (12,12) CSPinCNF to SatSolver Begin
33.70/15.32	c (14,14) 7726 (10 %) CSP clauses are encoded (0 SAT variables, 614656 SAT clauses)
33.70/15.40	c (14,14) 15452 (20 %) CSP clauses are encoded (0 SAT variables, 622382 SAT clauses)
33.99/15.47	c (14,14) 23178 (30 %) CSP clauses are encoded (0 SAT variables, 630108 SAT clauses)
34.16/15.55	c (15,14) 30904 (40 %) CSP clauses are encoded (0 SAT variables, 637834 SAT clauses)
34.27/15.62	c (15,14) 38630 (50 %) CSP clauses are encoded (0 SAT variables, 645560 SAT clauses)
34.27/15.69	c (15,14) 46356 (60 %) CSP clauses are encoded (0 SAT variables, 653286 SAT clauses)
34.37/15.77	c (15,14) 54082 (70 %) CSP clauses are encoded (0 SAT variables, 661012 SAT clauses)
34.47/15.85	c (15,15) 61808 (80 %) CSP clauses are encoded (0 SAT variables, 668738 SAT clauses)
34.57/15.95	c (15,15) 69534 (90 %) CSP clauses are encoded (0 SAT variables, 679002 SAT clauses)
37.77/19.08	c (18,18) 77259 (100 %) CSP clauses are encoded (0 SAT variables, 2342522 SAT clauses)
37.77/19.09	c (18,18) CSPinCNF to SatSolver End
37.77/19.09	c (18,18) Heap : 3569 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
37.77/19.09	c (18,18) 142644 bool, 2343146 clause
37.77/19.09	c (18,18) Export Begin
38.06/19.25	c (18,18) Export to HOME/scop-12176-serial-file.bin
38.06/19.25	c (18,18) Export End
38.06/19.25	c (18,18) Export File Size: 0.25 MB
38.06/19.25	c (18,18) 0,0,12,12,12,12,18,STOP-AFTER(DIMACS)
38.06/19.25	c END-Prog: Tue Sep 24 17:20:15 CEST 2019
0.00/19.30	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12176-serial-file.bin
38.31/19.76	c (0,0) Read Serial File Begin
38.31/19.76	c (0,0) HOME/scop-12176-serial-file.bin
39.43/20.05	c (0,0) Read Serial File End
39.43/20.06	
39.81/20.59	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
39.81/20.59	(Solving Process)
39.81/20.59	
39.81/20.59	c BEGIN-Prog: Tue Sep 24 17:20:16 CEST 2019
39.81/20.59	c PID: 12209
39.81/20.59	c IP: 172.20.3.149
39.81/20.59	c HOST: node149.alineos.net
39.81/20.59	c (0,0) SatSolver.solve Begin
39.81/20.59	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405161-1569338434.xml-scop-12179.cnf
39.81/20.59	c (0,0) c
39.81/20.59	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
39.81/20.59	c (0,0) c
39.81/20.59	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
39.81/20.59	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
39.81/20.59	c (0,0) c ========================================[ Problem Statistics ]===========================================
39.81/20.59	c (0,0) c |                                                                                                       |
40.61/21.44	c (1,0) c |  Number of variables:        142644                                                                   |
40.61/21.44	c (1,0) c |  Number of clauses:         2342886                                                                   |
40.61/21.44	c (1,0) c |  Parse time:                   0.75 s                                                                 |
40.61/21.44	c (1,0) c |                                                                                                       |
43.81/24.68	c (4,0) c |  Simplification time:          3.19 s                                                                 |
43.81/24.68	c (4,0) c |                                                                                                       |
43.81/24.68	c (4,0) c |  Generating clones                                                                                    |
44.51/25.34	c (5,0) c |  all clones generated. Memory =  1350.72Mb.                                                           |
44.51/25.34	c (5,0) c ========================================================================================================|
44.51/25.34	c (5,0) c
44.51/25.34	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
44.51/25.34	c (5,0) c
44.51/25.34	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.51/25.34	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
44.51/25.34	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
44.51/25.34	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
44.51/25.34	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
44.51/25.34	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
44.51/25.34	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
44.51/25.34	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
44.51/25.34	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
44.51/25.34	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
44.51/25.34	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
44.51/25.34	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
44.51/25.34	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
44.51/25.34	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
44.51/25.34	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
44.51/25.34	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
44.51/25.34	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
44.51/25.34	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
44.51/25.34	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c
49.96/26.15	c (6,0) c real time : 6.03775 s
49.96/26.15	c (6,0) c cpu time  : 9.6186 s
49.96/26.15	c (6,0) c
49.96/26.15	c (6,0) c
49.96/26.15	c (6,0) c
49.96/26.15	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
49.96/26.15	c (6,0) c
49.96/26.15	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
49.96/26.15	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c | Conflicts     |            2397 |        202 |        834 |        232 |        193 |        156 |        151 |        144 |        485 |
49.96/26.15	c (6,0) c | Decisions     |          141432 |      15073 |       6836 |      14943 |      19502 |      28174 |      27985 |      13699 |      15220 |
49.96/26.15	c (6,0) c | Propagations  |         5435931 |     512850 |    1000045 |     700605 |     725438 |     597733 |     642627 |     566377 |     690256 |
49.96/26.15	c (6,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
49.96/26.15	c (6,0) c | Restarts      |              16 |          2 |          1 |          3 |          2 |          2 |          2 |          2 |          2 |
49.96/26.15	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | PropBinClauses|         9833523 |     979065 |    1848714 |    1263867 |    1271181 |    1019007 |    1125393 |     981848 |    1344448 |
49.96/26.15	c (6,0) c | PropPreBlocker|        74808197 |    7765687 |   11258453 |   11506103 |    9098910 |    8934951 |    9024442 |    8749806 |    8469845 |
49.96/26.15	c (6,0) c | PropNotBlocker|        34412868 |    4491020 |    3059599 |    4761832 |    4432501 |    4304523 |    4377496 |    4189816 |    4796081 |
49.96/26.15	c (6,0) c | LitFullScans  |       145332905 |   16380545 |   18057128 |   21772277 |   18062161 |   17605286 |   18059584 |   17299496 |   18096428 |
49.96/26.15	c (6,0) c | LitScanFracts |           84103 |        240 |        540 |      29994 |       3079 |      13627 |        250 |       1891 |      34482 |
49.96/26.15	c (6,0) c | DecisionLevel0|              35 |          4 |          4 |          5 |          6 |          5 |          4 |          4 |          3 |
49.96/26.15	c (6,0) c | Periods       |              21 |          2 |          3 |          3 |          3 |          2 |          3 |          2 |          3 |
49.96/26.15	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
49.96/26.15	c (6,0) c | Avg_Trail     |                 |      46504 |      19462 |      51458 |      40223 |      58483 |      48113 |      59450 |      36666 |
49.96/26.15	c (6,0) c | Avg_DL        |                 |       1919 |        463 |       1979 |        499 |       1349 |        922 |       1595 |       2073 |
49.96/26.15	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c | Exported      |              70 |          6 |         16 |          7 |         15 |         10 |          6 |          5 |          5 |
49.96/26.15	c (6,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.96/26.15	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c | Unaries       |                 |          2 |          3 |          2 |          4 |          3 |          2 |          2 |          1 |
49.96/26.15	c (6,0) c | Binaries      |                 |          5 |         11 |          7 |         12 |          9 |          6 |          5 |          4 |
49.96/26.15	c (6,0) c | Glues         |                 |          6 |         16 |          7 |         15 |         10 |          6 |          5 |          5 |
49.96/26.15	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c | Orig_Seen     |             0 % |       1051 |       1135 |       1986 |       1689 |       2343 |       1735 |       1924 |       1831 |
49.96/26.15	c (6,0) c | Diff Orig seen|                 | -     1292 | -     1208 | -      357 | -      654 |      X     | -      608 | -      419 | -      512 |
49.96/26.15	c (6,0) c | Hamming       |            13 % |      18505 |      21806 |      18909 |      19418 |      X     |      19982 |      18243 |      19452 |
49.96/26.15	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c | RunningTime   |                 |    0.8 100%|    0.7 100%|    0.7 100%|    0.7 100%|    0.7 100%|    0.8 100%|    0.7 100%|    0.8 100%|
49.96/26.15	c (6,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%|
49.96/26.15	c (6,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%|
49.96/26.15	c (6,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%|
49.96/26.15	c (6,0) c | SolvingTime   |                 |    0.8     |    0.7     |    0.7     |    0.7     |    0.7     |    0.8     |    0.7     |    0.8     |
49.96/26.15	c (6,0) c | PropagationTim|                 |    0.7  95%|    0.7  93%|    0.7  95%|    0.6  95%|    0.6  95%|    0.7  95%|    0.6  95%|    0.7  93%|
49.96/26.15	c (6,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|
49.96/26.15	c (6,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%|
49.96/26.15	c (6,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%|
49.96/26.15	c (6,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%|
49.96/26.15	c (6,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%|
49.96/26.15	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.15	c (6,0) c
49.96/26.15	c (6,0) c
49.96/26.15	c (6,0) c Threads : 8
49.96/26.15	c (6,0) c Winner : 4
49.96/26.15	c (6,0) c Conflicts_0 : 202
49.96/26.15	c (6,0) c Conflicts_1 : 834
49.96/26.15	c (6,0) c Conflicts_2 : 232
49.96/26.15	c (6,0) c Conflicts_3 : 193
49.96/26.15	c (6,0) c Conflicts_4 : 156
49.96/26.15	c (6,0) c Conflicts_5 : 151
49.96/26.15	c (6,0) c Conflicts_6 : 144
49.96/26.15	c (6,0) c Conflicts_7 : 485
49.96/26.15	c (6,0) c Conflicts_total : 2397
49.96/26.15	c (6,0) c Conflicts_winner : 156
49.96/26.15	c (6,0) c Decisions_0 : 15073
49.96/26.15	c (6,0) c Decisions_1 : 6836
49.96/26.15	c (6,0) c Decisions_2 : 14943
49.96/26.15	c (6,0) c Decisions_3 : 19502
49.96/26.15	c (6,0) c Decisions_4 : 28174
49.96/26.15	c (6,0) c Decisions_5 : 27985
49.96/26.15	c (6,0) c Decisions_6 : 13699
49.96/26.15	c (6,0) c Decisions_7 : 15220
49.96/26.15	c (6,0) c Decisions_total : 141432
49.96/26.15	c (6,0) c Decisions_winner : 28174
49.96/26.15	c (6,0) c Propagations_0 : 512850
49.96/26.15	c (6,0) c Propagations_1 : 1000045
49.96/26.15	c (6,0) c Propagations_2 : 700605
49.96/26.15	c (6,0) c Propagations_3 : 725438
49.96/26.15	c (6,0) c Propagations_4 : 597733
49.96/26.15	c (6,0) c Propagations_5 : 642627
49.96/26.15	c (6,0) c Propagations_6 : 566377
49.96/26.15	c (6,0) c Propagations_7 : 690256
49.96/26.15	c (6,0) c Propagations_total : 5435931
49.96/26.15	c (6,0) c Propagations_winner : 597733
49.96/26.15	c (6,0) c ReduceDBs_0 : 0
49.96/26.15	c (6,0) c ReduceDBs_1 : 0
49.96/26.15	c (6,0) c ReduceDBs_2 : 0
49.96/26.15	c (6,0) c ReduceDBs_3 : 0
49.96/26.15	c (6,0) c ReduceDBs_4 : 0
49.96/26.15	c (6,0) c ReduceDBs_5 : 0
49.96/26.15	c (6,0) c ReduceDBs_6 : 0
49.96/26.15	c (6,0) c ReduceDBs_7 : 0
49.96/26.15	c (6,0) c ReduceDBs_total : 0
49.96/26.15	c (6,0) c ReduceDBs_winner : 0
49.96/26.15	c (6,0) c SimpDBs_0 : 1
49.96/26.15	c (6,0) c SimpDBs_1 : 1
49.96/26.15	c (6,0) c SimpDBs_2 : 1
49.96/26.15	c (6,0) c SimpDBs_3 : 1
49.96/26.15	c (6,0) c SimpDBs_4 : 1
49.96/26.15	c (6,0) c SimpDBs_5 : 1
49.96/26.15	c (6,0) c SimpDBs_6 : 1
49.96/26.15	c (6,0) c SimpDBs_7 : 1
49.96/26.15	c (6,0) c SimpDBs_total : 8
49.96/26.15	c (6,0) c SimpDBs_winner : 1
49.96/26.15	c (6,0) c Restarts_0 : 2
49.96/26.15	c (6,0) c Restarts_1 : 1
49.96/26.15	c (6,0) c Restarts_2 : 3
49.96/26.15	c (6,0) c Restarts_3 : 2
49.96/26.15	c (6,0) c Restarts_4 : 2
49.96/26.15	c (6,0) c Restarts_5 : 2
49.96/26.15	c (6,0) c Restarts_6 : 2
49.96/26.15	c (6,0) c Restarts_7 : 2
49.96/26.15	c (6,0) c Restarts_total : 16
49.96/26.15	c (6,0) c Restarts_winner : 2
49.96/26.15	c (6,0) c ForcedImports_0 : 0
49.96/26.15	c (6,0) c ForcedImports_1 : 0
49.96/26.15	c (6,0) c ForcedImports_2 : 0
49.96/26.15	c (6,0) c ForcedImports_3 : 0
49.96/26.15	c (6,0) c ForcedImports_4 : 0
49.96/26.15	c (6,0) c ForcedImports_5 : 0
49.96/26.15	c (6,0) c ForcedImports_6 : 0
49.96/26.15	c (6,0) c ForcedImports_7 : 0
49.96/26.15	c (6,0) c ForcedImports_total : 0
49.96/26.15	c (6,0) c ForcedImports_winner : 0
49.96/26.15	c (6,0) c PropsBinClauses_0 : 979065
49.96/26.15	c (6,0) c PropsBinClauses_1 : 1848714
49.96/26.15	c (6,0) c PropsBinClauses_2 : 1263867
49.96/26.15	c (6,0) c PropsBinClauses_3 : 1271181
49.96/26.15	c (6,0) c PropsBinClauses_4 : 1019007
49.96/26.15	c (6,0) c PropsBinClauses_5 : 1125393
49.96/26.15	c (6,0) c PropsBinClauses_6 : 981848
49.96/26.15	c (6,0) c PropsBinClauses_7 : 1344448
49.96/26.15	c (6,0) c PropsBinClauses_total : 9833523
49.96/26.15	c (6,0) c PropsBinClauses_winner : 1019007
49.96/26.15	c (6,0) c PropsPreBlocker_0 : 7765687
49.96/26.15	c (6,0) c PropsPreBlocker_1 : 11258453
49.96/26.15	c (6,0) c PropsPreBlocker_2 : 11506103
49.96/26.15	c (6,0) c PropsPreBlocker_3 : 9098910
49.96/26.15	c (6,0) c PropsPreBlocker_4 : 8934951
49.96/26.15	c (6,0) c PropsPreBlocker_5 : 9024442
49.96/26.15	c (6,0) c PropsPreBlocker_6 : 8749806
49.96/26.15	c (6,0) c PropsPreBlocker_7 : 8469845
49.96/26.15	c (6,0) c PropsPreBlocker_total : 74808197
49.96/26.15	c (6,0) c PropsPreBlocker_winner : 8934951
49.96/26.15	c (6,0) c PropsNotBlocker_0 : 4491020
49.96/26.15	c (6,0) c PropsNotBlocker_1 : 3059599
49.96/26.15	c (6,0) c PropsNotBlocker_2 : 4761832
49.96/26.15	c (6,0) c PropsNotBlocker_3 : 4432501
49.96/26.15	c (6,0) c PropsNotBlocker_4 : 4304523
49.96/26.15	c (6,0) c PropsNotBlocker_5 : 4377496
49.96/26.15	c (6,0) c PropsNotBlocker_6 : 4189816
49.96/26.15	c (6,0) c PropsNotBlocker_7 : 4796081
49.96/26.15	c (6,0) c PropsNotBlocker_total : 34412868
49.96/26.15	c (6,0) c PropsNotBlocker_winner : 4304523
49.96/26.15	c (6,0) c PropsLitFullScans_0 : 16380545
49.96/26.15	c (6,0) c PropsLitFullScans_1 : 18057128
49.96/26.15	c (6,0) c PropsLitFullScans_2 : 21772277
49.96/26.15	c (6,0) c PropsLitFullScans_3 : 18062161
49.96/26.15	c (6,0) c PropsLitFullScans_4 : 17605286
49.96/26.15	c (6,0) c PropsLitFullScans_5 : 18059584
49.96/26.15	c (6,0) c PropsLitFullScans_6 : 17299496
49.96/26.15	c (6,0) c PropsLitFullScans_7 : 18096428
49.96/26.15	c (6,0) c PropsLitFullScans_total : 145332905
49.96/26.15	c (6,0) c PropsLitFullScans_winner : 17605286
49.96/26.15	c (6,0) c LitScanFractions_0 : 240
49.96/26.15	c (6,0) c LitScanFractions_1 : 540
49.96/26.15	c (6,0) c LitScanFractions_2 : 29994
49.96/26.15	c (6,0) c LitScanFractions_3 : 3079
49.96/26.15	c (6,0) c LitScanFractions_4 : 13627
49.96/26.15	c (6,0) c LitScanFractions_5 : 250
49.96/26.15	c (6,0) c LitScanFractions_6 : 1891
49.96/26.15	c (6,0) c LitScanFractions_7 : 34482
49.96/26.15	c (6,0) c LitScanFractions_total : 84103
49.96/26.15	c (6,0) c LitScanFractions_winner : 13627
49.96/26.15	c (6,0) c DecisionLevel0_0 : 4
49.96/26.15	c (6,0) c DecisionLevel0_1 : 4
49.96/26.15	c (6,0) c DecisionLevel0_2 : 5
49.96/26.15	c (6,0) c DecisionLevel0_3 : 6
49.96/26.15	c (6,0) c DecisionLevel0_4 : 5
49.96/26.15	c (6,0) c DecisionLevel0_5 : 4
49.96/26.15	c (6,0) c DecisionLevel0_6 : 4
49.96/26.15	c (6,0) c DecisionLevel0_7 : 3
49.96/26.15	c (6,0) c DecisionLevel0_total : 35
49.96/26.15	c (6,0) c DecisionLevel0_winner : 5
49.96/26.15	c (6,0) c Periods_0 : 2
49.96/26.15	c (6,0) c Periods_1 : 3
49.96/26.15	c (6,0) c Periods_2 : 3
49.96/26.15	c (6,0) c Periods_3 : 3
49.96/26.15	c (6,0) c Periods_4 : 2
49.96/26.15	c (6,0) c Periods_5 : 3
49.96/26.15	c (6,0) c Periods_6 : 2
49.96/26.16	c (6,0) c Periods_7 : 3
49.96/26.16	c (6,0) c Periods_total : 21
49.96/26.16	c (6,0) c Periods_winner : 2
49.96/26.16	c (6,0) c Margin_0 : 20
49.96/26.16	c (6,0) c Margin_1 : 20
49.96/26.16	c (6,0) c Margin_2 : 20
49.96/26.16	c (6,0) c Margin_3 : 20
49.96/26.16	c (6,0) c Margin_4 : 20
49.96/26.16	c (6,0) c Margin_5 : 20
49.96/26.16	c (6,0) c Margin_6 : 20
49.96/26.16	c (6,0) c Margin_7 : 20
49.96/26.16	c (6,0) c Margin_total : 160
49.96/26.16	c (6,0) c Margin_winner : 20
49.96/26.16	c (6,0) c Exported_0 : 6
49.96/26.16	c (6,0) c Exported_1 : 16
49.96/26.16	c (6,0) c Exported_2 : 7
49.96/26.16	c (6,0) c Exported_3 : 15
49.96/26.16	c (6,0) c Exported_4 : 10
49.96/26.16	c (6,0) c Exported_5 : 6
49.96/26.16	c (6,0) c Exported_6 : 5
49.96/26.16	c (6,0) c Exported_7 : 5
49.96/26.16	c (6,0) c Exported_total : 70
49.96/26.16	c (6,0) c Exported_winner : 10
49.96/26.16	c (6,0) c Imported_0 : 0
49.96/26.16	c (6,0) c Imported_1 : 0
49.96/26.16	c (6,0) c Imported_2 : 0
49.96/26.16	c (6,0) c Imported_3 : 0
49.96/26.16	c (6,0) c Imported_4 : 0
49.96/26.16	c (6,0) c Imported_5 : 0
49.96/26.16	c (6,0) c Imported_6 : 0
49.96/26.16	c (6,0) c Imported_7 : 0
49.96/26.16	c (6,0) c Imported_total : 0
49.96/26.16	c (6,0) c Imported_winner : 0
49.96/26.16	c (6,0) c Good_0 : 0
49.96/26.16	c (6,0) c Good_1 : 0
49.96/26.16	c (6,0) c Good_2 : 0
49.96/26.16	c (6,0) c Good_3 : 0
49.96/26.16	c (6,0) c Good_4 : 0
49.96/26.16	c (6,0) c Good_5 : 0
49.96/26.16	c (6,0) c Good_6 : 0
49.96/26.16	c (6,0) c Good_7 : 0
49.96/26.16	c (6,0) c Good_total : 0
49.96/26.16	c (6,0) c Good_winner : 0
49.96/26.16	c (6,0) c Purge_0 : 0
49.96/26.16	c (6,0) c Purge_1 : 0
49.96/26.16	c (6,0) c Purge_2 : 0
49.96/26.16	c (6,0) c Purge_3 : 0
49.96/26.16	c (6,0) c Purge_4 : 0
49.96/26.16	c (6,0) c Purge_5 : 0
49.96/26.16	c (6,0) c Purge_6 : 0
49.96/26.16	c (6,0) c Purge_7 : 0
49.96/26.16	c (6,0) c Purge_total : 0
49.96/26.16	c (6,0) c Purge_winner : 0
49.96/26.16	c (6,0) c Promoted_0 : 0
49.96/26.16	c (6,0) c Promoted_1 : 0
49.96/26.16	c (6,0) c Promoted_2 : 0
49.96/26.16	c (6,0) c Promoted_3 : 0
49.96/26.16	c (6,0) c Promoted_4 : 0
49.96/26.16	c (6,0) c Promoted_5 : 0
49.96/26.16	c (6,0) c Promoted_6 : 0
49.96/26.16	c (6,0) c Promoted_7 : 0
49.96/26.16	c (6,0) c Promoted_total : 0
49.96/26.16	c (6,0) c Promoted_winner : 0
49.96/26.16	c (6,0) c Remove_Imp_0 : 0
49.96/26.16	c (6,0) c Remove_Imp_1 : 0
49.96/26.16	c (6,0) c Remove_Imp_2 : 0
49.96/26.16	c (6,0) c Remove_Imp_3 : 0
49.96/26.16	c (6,0) c Remove_Imp_4 : 0
49.96/26.16	c (6,0) c Remove_Imp_5 : 0
49.96/26.16	c (6,0) c Remove_Imp_6 : 0
49.96/26.16	c (6,0) c Remove_Imp_7 : 0
49.96/26.16	c (6,0) c Remove_Imp_total : 0
49.96/26.16	c (6,0) c Remove_Imp_winner : 0
49.96/26.16	c (6,0) c Blocked_Reuse_0 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_1 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_2 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_3 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_4 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_5 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_6 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_7 : 0
49.96/26.16	c (6,0) c Blocked_Reuse_total : 0
49.96/26.16	c (6,0) c Blocked_Reuse_winner : 0
49.96/26.16	c (6,0) c Unaries_0 : 2
49.96/26.16	c (6,0) c Unaries_1 : 3
49.96/26.16	c (6,0) c Unaries_2 : 2
49.96/26.16	c (6,0) c Unaries_3 : 4
49.96/26.16	c (6,0) c Unaries_4 : 3
49.96/26.16	c (6,0) c Unaries_5 : 2
49.96/26.16	c (6,0) c Unaries_6 : 2
49.96/26.16	c (6,0) c Unaries_7 : 1
49.96/26.16	c (6,0) c Unaries_total : 19
49.96/26.16	c (6,0) c Unaries_winner : 3
49.96/26.16	c (6,0) c Binaries_0 : 5
49.96/26.16	c (6,0) c Binaries_1 : 11
49.96/26.16	c (6,0) c Binaries_2 : 7
49.96/26.16	c (6,0) c Binaries_3 : 12
49.96/26.16	c (6,0) c Binaries_4 : 9
49.96/26.16	c (6,0) c Binaries_5 : 6
49.96/26.16	c (6,0) c Binaries_6 : 5
49.96/26.16	c (6,0) c Binaries_7 : 4
49.96/26.16	c (6,0) c Binaries_total : 59
49.96/26.16	c (6,0) c Binaries_winner : 9
49.96/26.16	c (6,0) c Glues_0 : 6
49.96/26.16	c (6,0) c Glues_1 : 16
49.96/26.16	c (6,0) c Glues_2 : 7
49.96/26.16	c (6,0) c Glues_3 : 15
49.96/26.16	c (6,0) c Glues_4 : 10
49.96/26.16	c (6,0) c Glues_5 : 6
49.96/26.16	c (6,0) c Glues_6 : 5
49.96/26.16	c (6,0) c Glues_7 : 5
49.96/26.16	c (6,0) c Glues_total : 70
49.96/26.16	c (6,0) c Glues_winner : 10
49.96/26.16	c (6,0) c RunningTime_0 : 0.768468
49.96/26.16	c (6,0) c RunningTime_1 : 0.729775
49.96/26.16	c (6,0) c RunningTime_2 : 0.714679
49.96/26.16	c (6,0) c RunningTime_3 : 0.675992
49.96/26.16	c (6,0) c RunningTime_4 : 0.652549
49.96/26.16	c (6,0) c RunningTime_5 : 0.780768
49.96/26.16	c (6,0) c RunningTime_6 : 0.652804
49.96/26.16	c (6,0) c RunningTime_7 : 0.803273
49.96/26.16	c (6,0) c RunningTime_total : 5.778309
49.96/26.16	c (6,0) c RunningTime_winner : 0.652549
49.96/26.16	c (6,0) c WaitingTime_0 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_1 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_2 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_3 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_4 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_5 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_6 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_7 : 0.000000
49.96/26.16	c (6,0) c WaitingTime_total : 0.000000
49.96/26.16	c (6,0) c WaitingTime_winner : 0.000000
49.96/26.16	c (6,0) c ExchangingTime_0 : 0.000040
49.96/26.16	c (6,0) c ExchangingTime_1 : 0.000110
49.96/26.16	c (6,0) c ExchangingTime_2 : 0.000059
49.96/26.16	c (6,0) c ExchangingTime_3 : 0.000052
49.96/26.16	c (6,0) c ExchangingTime_4 : 0.000057
49.96/26.16	c (6,0) c ExchangingTime_5 : 0.000041
49.96/26.16	c (6,0) c ExchangingTime_6 : 0.000050
49.96/26.16	c (6,0) c ExchangingTime_7 : 0.000072
49.96/26.16	c (6,0) c ExchangingTime_total : 0.000481
49.96/26.16	c (6,0) c ExchangingTime_winner : 0.000057
49.96/26.16	c (6,0) c PeriodProcTime_0 : 0.000027
49.96/26.16	c (6,0) c PeriodProcTime_1 : 0.000043
49.96/26.16	c (6,0) c PeriodProcTime_2 : 0.000063
49.96/26.16	c (6,0) c PeriodProcTime_3 : 0.000035
49.96/26.16	c (6,0) c PeriodProcTime_4 : 0.000025
49.96/26.16	c (6,0) c PeriodProcTime_5 : 0.000031
49.96/26.16	c (6,0) c PeriodProcTime_6 : 0.000027
49.96/26.16	c (6,0) c PeriodProcTime_7 : 0.000037
49.96/26.16	c (6,0) c PeriodProcTime_total : 0.000288
49.96/26.16	c (6,0) c PeriodProcTime_winner : 0.000025
49.96/26.16	c (6,0) c SolvingTime_0 : 0.768535
49.96/26.16	c (6,0) c SolvingTime_1 : 0.729928
49.96/26.16	c (6,0) c SolvingTime_2 : 0.714800
49.96/26.16	c (6,0) c SolvingTime_3 : 0.676080
49.96/26.16	c (6,0) c SolvingTime_4 : 0.652631
49.96/26.16	c (6,0) c SolvingTime_5 : 0.780840
49.96/26.16	c (6,0) c SolvingTime_6 : 0.652881
49.96/26.16	c (6,0) c SolvingTime_7 : 0.803382
49.96/26.16	c (6,0) c SolvingTime_total : 5.779078
49.96/26.16	c (6,0) c SolvingTime_winner : 0.652631
49.96/26.16	c (6,0) c PropagationTime_0 : 0.733032
49.96/26.16	c (6,0) c PropagationTime_1 : 0.679156
49.96/26.16	c (6,0) c PropagationTime_2 : 0.678592
49.96/26.16	c (6,0) c PropagationTime_3 : 0.642575
49.96/26.16	c (6,0) c PropagationTime_4 : 0.618033
49.96/26.16	c (6,0) c PropagationTime_5 : 0.742295
49.96/26.16	c (6,0) c PropagationTime_6 : 0.622603
49.96/26.16	c (6,0) c PropagationTime_7 : 0.749151
49.96/26.16	c (6,0) c PropagationTime_total : 5.465436
49.96/26.16	c (6,0) c PropagationTime_winner : 0.618033
49.96/26.16	c (6,0) c AnalysisTime_0 : 0.007296
49.96/26.16	c (6,0) c AnalysisTime_1 : 0.016649
49.96/26.16	c (6,0) c AnalysisTime_2 : 0.008078
49.96/26.16	c (6,0) c AnalysisTime_3 : 0.005088
49.96/26.16	c (6,0) c AnalysisTime_4 : 0.005735
49.96/26.16	c (6,0) c AnalysisTime_5 : 0.005833
49.96/26.16	c (6,0) c AnalysisTime_6 : 0.005769
49.96/26.16	c (6,0) c AnalysisTime_7 : 0.018432
49.96/26.16	c (6,0) c AnalysisTime_total : 0.072881
49.96/26.16	c (6,0) c AnalysisTime_winner : 0.005735
49.96/26.16	c (6,0) c ReductionTime_0 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_1 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_2 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_3 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_4 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_5 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_6 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_7 : 0.000000
49.96/26.16	c (6,0) c ReductionTime_total : 0.000000
49.96/26.16	c (6,0) c ReductionTime_winner : 0.000000
49.96/26.16	c (6,0) c SimplifyTime_0 : 0.000002
49.96/26.16	c (6,0) c SimplifyTime_1 : 0.000000
49.96/26.16	c (6,0) c SimplifyTime_2 : 0.000000
49.96/26.16	c (6,0) c SimplifyTime_3 : 0.000000
49.96/26.16	c (6,0) c SimplifyTime_4 : 0.000000
49.96/26.16	c (6,0) c SimplifyTime_5 : 0.000002
49.96/26.16	c (6,0) c SimplifyTime_6 : 0.000001
49.96/26.16	c (6,0) c SimplifyTime_7 : 0.000000
49.96/26.16	c (6,0) c SimplifyTime_total : 0.000005
49.96/26.16	c (6,0) c SimplifyTime_winner : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_0 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_1 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_2 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_3 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_4 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_5 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_6 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_7 : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_total : 0.000000
49.96/26.16	c (6,0) c UsedRateTime_winner : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_0 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_1 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_2 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_3 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_4 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_5 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_6 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_7 : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_total : 0.000000
49.96/26.16	c (6,0) c OverlapRateTime_winner : 0.000000
49.96/26.16	c (6,0) c
49.96/26.16	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
49.96/26.16	c (6,0) c
49.96/26.16	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.16	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
49.96/26.16	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.16	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
49.96/26.16	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
49.96/26.16	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
49.96/26.16	c (6,0) c | Initial random_seed   |  740263350 | 1120076685 | 1365427756 | 1462653106 | 1375715573 | 1918154174 | 1718517715 | 1513629491 |
49.96/26.16	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
49.96/26.16	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
49.96/26.16	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
49.96/26.16	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
49.96/26.16	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
49.96/26.16	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
49.96/26.16	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
49.96/26.16	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
49.96/26.16	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
49.96/26.16	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
49.96/26.16	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
49.96/26.16	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.96/26.16	c (6,0) 
49.96/26.16	c (6,0) s SATISFIABLE
39.97/26.28	c (6,0) SatSolver.solve End
39.97/26.28	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
39.97/26.28	c (6,0) Show results Begin
50.70/26.48	c (6,0) cls[0] = 19
50.70/26.48	c (6,0) cls[1] = 5
50.70/26.48	c (6,0) cls[2] = 20
50.70/26.48	c (6,0) cls[3] = 15
50.70/26.48	c (6,0) cls[4] = 4
50.70/26.48	c (6,0) cls[5] = 4
50.70/26.48	c (6,0) cls[6] = 7
50.70/26.48	c (6,0) cls[7] = 23
50.70/26.48	c (6,0) cls[8] = 4
50.70/26.48	c (6,0) cls[9] = 13
50.70/26.48	c (6,0) cls[10] = 4
50.70/26.48	c (6,0) cls[11] = 4
50.70/26.48	c (6,0) cls[12] = 13
50.70/26.48	c (6,0) cls[13] = 2
50.70/26.48	c (6,0) cls[14] = 4
50.70/26.48	c (6,0) cls[15] = 16
50.70/26.48	c (6,0) cls[16] = 3
50.70/26.48	c (6,0) cls[17] = 14
50.70/26.48	c (6,0) cls[18] = 16
50.70/26.48	c (6,0) cls[19] = 24
50.70/26.48	c (6,0) cls[20] = 16
50.70/26.48	c (6,0) cls[21] = 14
50.70/26.48	c (6,0) cls[22] = 17
50.70/26.48	c (6,0) cls[23] = 13
50.70/26.48	c (6,0) cls[24] = 12
50.70/26.48	c (6,0) cls[25] = 7
50.70/26.48	c (6,0) cls[26] = 4
50.70/26.48	c (6,0) cls[27] = 13
50.70/26.48	c (6,0) cls[28] = 4
50.70/26.48	c (6,0) cls[29] = 20
50.70/26.48	c (6,0) cls[30] = 5
50.70/26.48	c (6,0) cls[31] = 17
50.70/26.48	c (6,0) cls[32] = 13
50.70/26.48	c (6,0) cls[33] = 4
50.70/26.48	c (6,0) cls[34] = 14
50.70/26.48	c (6,0) cls[35] = 16
50.70/26.48	c (6,0) cls[36] = 10
50.70/26.48	c (6,0) cls[37] = 17
50.70/26.48	c (6,0) cls[38] = 13
50.70/26.48	c (6,0) cls[39] = 5
50.70/26.48	c (6,0) cls[40] = 16
50.70/26.48	c (6,0) cls[41] = 14
50.70/26.48	c (6,0) cls[42] = 4
50.70/26.48	c (6,0) cls[43] = 13
50.70/26.48	c (6,0) cls[44] = 21
50.70/26.48	c (6,0) cls[45] = 16
50.70/26.48	c (6,0) cls[46] = 11
50.70/26.48	c (6,0) cls[47] = 23
50.70/26.48	c (6,0) cls[48] = 4
50.70/26.48	c (6,0) cls[49] = 13
50.70/26.48	c (6,0) cls[50] = 4
50.70/26.48	c (6,0) cls[51] = 4
50.70/26.48	c (6,0) cls[52] = 8
50.70/26.48	c (6,0) cls[53] = 15
50.70/26.48	c (6,0) cls[54] = 4
50.70/26.48	c (6,0) cls[55] = 4
50.70/26.48	c (6,0) cls[56] = 20
50.70/26.48	c (6,0) cls[57] = 3
50.70/26.48	c (6,0) cls[58] = 4
50.70/26.48	c (6,0) cls[59] = 16
50.70/26.48	c (6,0) cls[60] = 13
50.70/26.48	c (6,0) cls[61] = 15
50.70/26.48	c (6,0) cls[62] = 4
50.70/26.48	c (6,0) cls[63] = 16
50.70/26.48	c (6,0) cls[64] = 24
50.70/26.48	c (6,0) cls[65] = 16
50.70/26.48	c (6,0) cls[66] = 8
50.70/26.48	c (6,0) cls[67] = 4
50.70/26.48	c (6,0) cls[68] = 11
50.70/26.48	c (6,0) cls[69] = 21
50.70/26.48	c (6,0) cls[70] = 13
50.70/26.48	c (6,0) cls[71] = 4
50.70/26.48	c (6,0) cls[72] = 16
50.70/26.48	c (6,0) cls[73] = 14
50.70/26.48	c (6,0) cls[74] = 5
50.70/26.48	c (6,0) cls[75] = 16
50.70/26.48	c (6,0) cls[76] = 11
50.70/26.48	c (6,0) cls[77] = 4
50.70/26.48	c (6,0) cls[78] = 4
50.70/26.48	c (6,0) cls[79] = 20
50.70/26.48	c (6,0) cls[80] = 4
50.70/26.48	c (6,0) cls[81] = 17
50.70/26.48	c (6,0) cls[82] = 23
50.70/26.48	c (6,0) cls[83] = 16
50.70/26.48	c (6,0) cls[84] = 13
50.70/26.48	c (6,0) cls[85] = 21
50.70/26.49	c (6,0) cls[86] = 15
50.70/26.49	c (6,0) cls[87] = 13
50.70/26.49	c (6,0) cls[88] = 21
50.70/26.49	c (6,0) cls[89] = 15
50.70/26.49	c (6,0) cls[90] = 18
50.70/26.49	c (6,0) cls[91] = 4
50.70/26.49	c (6,0) cls[92] = 14
50.70/26.49	c (6,0) cls[93] = 16
50.70/26.49	c (6,0) cls[94] = 15
50.70/26.49	c (6,0) cls[95] = 14
50.70/26.49	c (6,0) cls[96] = 6
50.70/26.49	c (6,0) cls[97] = 14
50.70/26.49	c (6,0) cls[98] = 4
50.70/26.49	c (6,0) cls[99] = 13
50.70/26.49	c (6,0) cls[100] = 4
50.70/26.49	c (6,0) cls[101] = 1
50.70/26.49	c (6,0) cls[102] = 16
50.70/26.49	c (6,0) cls[103] = 4
50.70/26.49	c (6,0) cls[104] = 4
50.70/26.49	c (6,0) cls[105] = 16
50.70/26.49	c (6,0) cls[106] = 14
50.70/26.49	c (6,0) cls[107] = 15
50.70/26.49	c (6,0) cls[108] = 14
50.70/26.49	c (6,0) cls[109] = 16
50.70/26.49	c (6,0) cls[110] = 23
50.70/26.49	c (6,0) cls[111] = 16
50.70/26.49	c (6,0) cls[112] = 14
50.70/26.49	c (6,0) cls[113] = 4
50.70/26.49	c (6,0) cls[114] = 7
50.70/26.49	c (6,0) cls[115] = 4
50.70/26.49	c (6,0) cls[116] = 4
50.70/26.49	c (6,0) cls[117] = 15
50.70/26.49	c (6,0) cls[118] = 13
50.70/26.49	c (6,0) cls[119] = 16
50.70/26.49	c (6,0) cls[120] = 4
50.70/26.49	c (6,0) cls[121] = 13
50.70/26.49	c (6,0) cls[122] = 4
50.70/26.49	c (6,0) cls[123] = 23
50.70/26.49	c (6,0) cls[124] = 7
50.70/26.49	c (6,0) cls[125] = 16
50.70/26.49	c (6,0) cls[126] = 14
50.70/26.49	c (6,0) cls[127] = 4
50.70/26.49	c (6,0) cls[128] = 11
50.70/26.49	c (6,0) cls[129] = 16
50.70/26.49	c (6,0) cls[130] = 14
50.70/26.49	c (6,0) cls[131] = 4
50.70/26.49	c (6,0) cls[132] = 6
50.70/26.49	c (6,0) cls[133] = 4
50.70/26.49	c (6,0) cls[134] = 9
50.70/26.49	c (6,0) cls[135] = 16
50.70/26.49	c (6,0) cls[136] = 14
50.70/26.49	c (6,0) cls[137] = 15
50.70/26.49	c (6,0) cls[138] = 6
50.70/26.49	c (6,0) cls[139] = 14
50.70/26.49	c (6,0) cls[140] = 19
50.70/26.49	c (6,0) cls[141] = 14
50.70/26.49	c (6,0) cls[142] = 4
50.70/26.49	c (6,0) cls[143] = 23
50.70/26.49	c (6,0) cls[144] = 13
50.70/26.49	c (6,0) cls[145] = 16
50.70/26.49	c (6,0) cls[146] = 4
50.70/26.49	c (6,0) cls[147] = 7
50.70/26.49	c (6,0) cls[148] = 4
50.70/26.49	c (6,0) cls[149] = 8
50.70/26.49	c (6,0) cls[150] = 4
50.70/26.49	c (6,0) cls[151] = 19
50.70/26.49	c (6,0) cls[152] = 4
50.70/26.49	c (6,0) cls[153] = 4
50.70/26.49	c (6,0) cls[154] = 16
50.70/26.49	c (6,0) cls[155] = 15
50.70/26.49	c (6,0) cls[156] = 4
50.70/26.49	c (6,0) cls[157] = 4
50.70/26.49	c (6,0) cls[158] = 13
50.70/26.49	c (6,0) cls[159] = 6
50.70/26.49	c (6,0) cls[160] = 4
50.70/26.49	c (6,0) cls[161] = 9
50.70/26.49	c (6,0) cls[162] = 16
50.70/26.49	c (6,0) cls[163] = 4
50.70/26.49	c (6,0) cls[164] = 13
50.70/26.49	c (6,0) cls[165] = 22
50.70/26.49	c (6,0) cls[166] = 13
50.70/26.49	c (6,0) cls[167] = 4
50.70/26.49	c (6,0) cls[168] = 4
50.70/26.49	c (6,0) cls[169] = 19
50.70/26.49	c (6,0) cls[170] = 4
50.70/26.49	c (6,0) cls[171] = 4
50.70/26.49	c (6,0) cls[172] = 13
50.70/26.49	c (6,0) cls[173] = 4
50.70/26.49	c (6,0) cls[174] = 4
50.70/26.49	c (6,0) cls[175] = 15
50.70/26.49	c (6,0) cls[176] = 13
50.70/26.49	c (6,0) cls[177] = 4
50.70/26.49	c (6,0) cls[178] = 15
50.70/26.49	c (6,0) cls[179] = 13
50.70/26.49	c (6,0) cls[180] = 4
50.70/26.49	c (6,0) cls[181] = 4
50.70/26.49	c (6,0) cls[182] = 0
50.70/26.49	c (6,0) cls[183] = 4
50.70/26.49	c (6,0) cls[184] = 4
50.70/26.49	c (6,0) cls[185] = 15
50.70/26.49	c (6,0) cls[186] = 4
50.70/26.49	c (6,0) cls[187] = 13
50.70/26.49	c (6,0) cls[188] = 4
50.70/26.49	c (6,0) cls[189] = 4
50.70/26.49	c (6,0) cls[190] = 16
50.70/26.49	c (6,0) cls[191] = 13
50.70/26.49	c (6,0) cls[192] = 4
50.70/26.49	c (6,0) cls[193] = 4
50.70/26.49	c (6,0) cls[194] = 15
50.70/26.49	c (6,0) cls[195] = 13
50.70/26.49	c (6,0) cls[196] = 4
50.70/26.49	c (6,0) cls[197] = 4
50.70/26.49	c (6,0) cls[198] = 13
50.70/26.49	c (6,0) cls[199] = 4
50.70/26.49	c (6,0) opt[0][0] = 0
50.70/26.49	c (6,0) opt[0][1] = 0
50.70/26.49	c (6,0) opt[0][2] = 1
50.70/26.49	c (6,0) opt[0][3] = 1
50.70/26.49	c (6,0) opt[0][4] = 0
50.70/26.49	c (6,0) opt[1][0] = 0
50.70/26.49	c (6,0) opt[1][1] = 1
50.70/26.49	c (6,0) opt[1][2] = 0
50.70/26.49	c (6,0) opt[1][3] = 0
50.70/26.49	c (6,0) opt[1][4] = 1
50.70/26.49	c (6,0) opt[2][0] = 1
50.70/26.49	c (6,0) opt[2][1] = 0
50.70/26.49	c (6,0) opt[2][2] = 0
50.70/26.49	c (6,0) opt[2][3] = 1
50.70/26.49	c (6,0) opt[2][4] = 0
50.70/26.49	c (6,0) opt[3][0] = 0
50.70/26.49	c (6,0) opt[3][1] = 0
50.70/26.49	c (6,0) opt[3][2] = 1
50.70/26.49	c (6,0) opt[3][3] = 0
50.70/26.49	c (6,0) opt[3][4] = 0
50.70/26.49	c (6,0) opt[4][0] = 0
50.70/26.49	c (6,0) opt[4][1] = 1
50.70/26.49	c (6,0) opt[4][2] = 0
50.70/26.49	c (6,0) opt[4][3] = 0
50.70/26.49	c (6,0) opt[4][4] = 0
50.70/26.49	c (6,0) opt[5][0] = 0
50.70/26.49	c (6,0) opt[5][1] = 1
50.70/26.49	c (6,0) opt[5][2] = 0
50.70/26.49	c (6,0) opt[5][3] = 0
50.70/26.49	c (6,0) opt[5][4] = 0
50.70/26.49	c (6,0) opt[6][0] = 1
50.70/26.49	c (6,0) opt[6][1] = 0
50.70/26.49	c (6,0) opt[6][2] = 1
50.70/26.49	c (6,0) opt[6][3] = 1
50.70/26.49	c (6,0) opt[6][4] = 0
50.70/26.49	c (6,0) opt[7][0] = 0
50.70/26.49	c (6,0) opt[7][1] = 0
50.70/26.49	c (6,0) opt[7][2] = 0
50.70/26.49	c (6,0) opt[7][3] = 0
50.70/26.49	c (6,0) opt[7][4] = 1
50.70/26.49	c (6,0) opt[8][0] = 0
50.70/26.49	c (6,0) opt[8][1] = 1
50.70/26.49	c (6,0) opt[8][2] = 0
50.70/26.49	c (6,0) opt[8][3] = 0
50.70/26.49	c (6,0) opt[8][4] = 0
50.70/26.49	c (6,0) opt[9][0] = 1
50.70/26.49	c (6,0) opt[9][1] = 0
50.70/26.49	c (6,0) opt[9][2] = 0
50.70/26.49	c (6,0) opt[9][3] = 0
50.70/26.49	c (6,0) opt[9][4] = 0
50.70/26.49	c (6,0) opt[10][0] = 0
50.70/26.49	c (6,0) opt[10][1] = 1
50.70/26.49	c (6,0) opt[10][2] = 0
50.70/26.49	c (6,0) opt[10][3] = 0
50.70/26.49	c (6,0) opt[10][4] = 0
50.70/26.49	c (6,0) opt[11][0] = 0
50.70/26.49	c (6,0) opt[11][1] = 1
50.70/26.49	c (6,0) opt[11][2] = 0
50.70/26.49	c (6,0) opt[11][3] = 0
50.70/26.49	c (6,0) opt[11][4] = 0
50.70/26.49	c (6,0) opt[12][0] = 1
50.70/26.49	c (6,0) opt[12][1] = 0
50.70/26.49	c (6,0) opt[12][2] = 0
50.70/26.49	c (6,0) opt[12][3] = 0
50.70/26.49	c (6,0) opt[12][4] = 0
50.70/26.49	c (6,0) opt[13][0] = 0
50.70/26.49	c (6,0) opt[13][1] = 1
50.70/26.49	c (6,0) opt[13][2] = 1
50.70/26.49	c (6,0) opt[13][3] = 1
50.70/26.49	c (6,0) opt[13][4] = 0
50.70/26.49	c (6,0) opt[14][0] = 0
50.70/26.49	c (6,0) opt[14][1] = 1
50.70/26.49	c (6,0) opt[14][2] = 0
50.70/26.49	c (6,0) opt[14][3] = 0
50.70/26.49	c (6,0) opt[14][4] = 0
50.70/26.49	c (6,0) opt[15][0] = 0
50.70/26.49	c (6,0) opt[15][1] = 0
50.70/26.49	c (6,0) opt[15][2] = 0
50.70/26.49	c (6,0) opt[15][3] = 1
50.70/26.49	c (6,0) opt[15][4] = 0
50.70/26.49	c (6,0) opt[16][0] = 0
50.70/26.49	c (6,0) opt[16][1] = 1
50.70/26.49	c (6,0) opt[16][2] = 1
50.70/26.49	c (6,0) opt[16][3] = 0
50.70/26.49	c (6,0) opt[16][4] = 1
50.70/26.49	c (6,0) opt[17][0] = 1
50.70/26.49	c (6,0) opt[17][1] = 1
50.70/26.49	c (6,0) opt[17][2] = 0
50.70/26.49	c (6,0) opt[17][3] = 0
50.70/26.49	c (6,0) opt[17][4] = 0
50.70/26.49	c (6,0) opt[18][0] = 0
50.70/26.49	c (6,0) opt[18][1] = 0
50.70/26.49	c (6,0) opt[18][2] = 0
50.70/26.49	c (6,0) opt[18][3] = 1
50.70/26.49	c (6,0) opt[18][4] = 0
50.70/26.49	c (6,0) opt[19][0] = 1
50.70/26.49	c (6,0) opt[19][1] = 1
50.70/26.49	c (6,0) opt[19][2] = 1
50.70/26.49	c (6,0) opt[19][3] = 0
50.70/26.49	c (6,0) opt[19][4] = 0
50.70/26.49	c (6,0) opt[20][0] = 0
50.70/26.49	c (6,0) opt[20][1] = 0
50.70/26.49	c (6,0) opt[20][2] = 0
50.70/26.49	c (6,0) opt[20][3] = 1
50.70/26.49	c (6,0) opt[20][4] = 0
50.70/26.49	c (6,0) opt[21][0] = 1
50.70/26.49	c (6,0) opt[21][1] = 1
50.70/26.49	c (6,0) opt[21][2] = 0
50.70/26.49	c (6,0) opt[21][3] = 0
50.70/26.49	c (6,0) opt[21][4] = 0
50.70/26.49	c (6,0) opt[22][0] = 0
50.70/26.49	c (6,0) opt[22][1] = 1
50.70/26.49	c (6,0) opt[22][2] = 1
50.70/26.49	c (6,0) opt[22][3] = 0
50.70/26.49	c (6,0) opt[22][4] = 0
50.70/26.49	c (6,0) opt[23][0] = 1
50.70/26.49	c (6,0) opt[23][1] = 0
50.70/26.49	c (6,0) opt[23][2] = 0
50.70/26.49	c (6,0) opt[23][3] = 0
50.70/26.49	c (6,0) opt[23][4] = 0
50.70/26.49	c (6,0) opt[24][0] = 0
50.70/26.49	c (6,0) opt[24][1] = 1
50.70/26.49	c (6,0) opt[24][2] = 0
50.70/26.49	c (6,0) opt[24][3] = 1
50.70/26.49	c (6,0) opt[24][4] = 1
50.70/26.49	c (6,0) opt[25][0] = 1
50.70/26.49	c (6,0) opt[25][1] = 0
50.70/26.49	c (6,0) opt[25][2] = 1
50.70/26.49	c (6,0) opt[25][3] = 1
50.70/26.49	c (6,0) opt[25][4] = 0
50.70/26.49	c (6,0) opt[26][0] = 0
50.70/26.49	c (6,0) opt[26][1] = 1
50.70/26.49	c (6,0) opt[26][2] = 0
50.70/26.49	c (6,0) opt[26][3] = 0
50.70/26.49	c (6,0) opt[26][4] = 0
50.70/26.49	c (6,0) opt[27][0] = 1
50.70/26.49	c (6,0) opt[27][1] = 0
50.70/26.49	c (6,0) opt[27][2] = 0
50.70/26.49	c (6,0) opt[27][3] = 0
50.70/26.49	c (6,0) opt[27][4] = 0
50.70/26.49	c (6,0) opt[28][0] = 0
50.70/26.49	c (6,0) opt[28][1] = 1
50.70/26.49	c (6,0) opt[28][2] = 0
50.70/26.49	c (6,0) opt[28][3] = 0
50.70/26.49	c (6,0) opt[28][4] = 0
50.70/26.49	c (6,0) opt[29][0] = 1
50.70/26.49	c (6,0) opt[29][1] = 0
50.70/26.49	c (6,0) opt[29][2] = 0
50.70/26.49	c (6,0) opt[29][3] = 1
50.70/26.49	c (6,0) opt[29][4] = 0
50.70/26.49	c (6,0) opt[30][0] = 0
50.70/26.49	c (6,0) opt[30][1] = 1
50.70/26.49	c (6,0) opt[30][2] = 0
50.70/26.49	c (6,0) opt[30][3] = 0
50.70/26.49	c (6,0) opt[30][4] = 1
50.70/26.49	c (6,0) opt[31][0] = 0
50.70/26.49	c (6,0) opt[31][1] = 1
50.70/26.49	c (6,0) opt[31][2] = 1
50.70/26.49	c (6,0) opt[31][3] = 0
50.70/26.49	c (6,0) opt[31][4] = 0
50.70/26.49	c (6,0) opt[32][0] = 1
50.70/26.49	c (6,0) opt[32][1] = 0
50.70/26.49	c (6,0) opt[32][2] = 0
50.70/26.49	c (6,0) opt[32][3] = 0
50.70/26.49	c (6,0) opt[32][4] = 0
50.70/26.49	c (6,0) opt[33][0] = 0
50.70/26.49	c (6,0) opt[33][1] = 1
50.70/26.49	c (6,0) opt[33][2] = 0
50.70/26.49	c (6,0) opt[33][3] = 0
50.70/26.49	c (6,0) opt[33][4] = 0
50.70/26.49	c (6,0) opt[34][0] = 1
50.70/26.49	c (6,0) opt[34][1] = 1
50.70/26.49	c (6,0) opt[34][2] = 0
50.70/26.49	c (6,0) opt[34][3] = 0
50.70/26.49	c (6,0) opt[34][4] = 0
50.70/26.49	c (6,0) opt[35][0] = 0
50.70/26.49	c (6,0) opt[35][1] = 0
50.70/26.49	c (6,0) opt[35][2] = 0
50.70/26.49	c (6,0) opt[35][3] = 1
50.70/26.49	c (6,0) opt[35][4] = 0
50.70/26.49	c (6,0) opt[36][0] = 1
50.70/26.49	c (6,0) opt[36][1] = 1
50.70/26.49	c (6,0) opt[36][2] = 0
50.70/26.49	c (6,0) opt[36][3] = 1
50.70/26.49	c (6,0) opt[36][4] = 0
50.70/26.49	c (6,0) opt[37][0] = 0
50.70/26.49	c (6,0) opt[37][1] = 1
50.70/26.49	c (6,0) opt[37][2] = 1
50.70/26.49	c (6,0) opt[37][3] = 0
50.70/26.49	c (6,0) opt[37][4] = 0
50.70/26.49	c (6,0) opt[38][0] = 1
50.70/26.49	c (6,0) opt[38][1] = 0
50.70/26.49	c (6,0) opt[38][2] = 0
50.70/26.49	c (6,0) opt[38][3] = 0
50.70/26.49	c (6,0) opt[38][4] = 0
50.70/26.49	c (6,0) opt[39][0] = 0
50.70/26.49	c (6,0) opt[39][1] = 1
50.70/26.49	c (6,0) opt[39][2] = 0
50.70/26.49	c (6,0) opt[39][3] = 0
50.70/26.49	c (6,0) opt[39][4] = 1
50.70/26.49	c (6,0) opt[40][0] = 0
50.70/26.49	c (6,0) opt[40][1] = 0
50.70/26.49	c (6,0) opt[40][2] = 0
50.70/26.49	c (6,0) opt[40][3] = 1
50.70/26.49	c (6,0) opt[40][4] = 0
50.70/26.49	c (6,0) opt[41][0] = 1
50.70/26.49	c (6,0) opt[41][1] = 1
50.70/26.49	c (6,0) opt[41][2] = 0
50.70/26.49	c (6,0) opt[41][3] = 0
50.70/26.49	c (6,0) opt[41][4] = 0
50.70/26.49	c (6,0) opt[42][0] = 0
50.70/26.49	c (6,0) opt[42][1] = 1
50.70/26.49	c (6,0) opt[42][2] = 0
50.70/26.49	c (6,0) opt[42][3] = 0
50.70/26.49	c (6,0) opt[42][4] = 0
50.70/26.49	c (6,0) opt[43][0] = 1
50.70/26.49	c (6,0) opt[43][1] = 0
50.70/26.49	c (6,0) opt[43][2] = 0
50.70/26.49	c (6,0) opt[43][3] = 0
50.70/26.49	c (6,0) opt[43][4] = 0
50.70/26.49	c (6,0) opt[44][0] = 0
50.70/26.49	c (6,0) opt[44][1] = 1
50.70/26.49	c (6,0) opt[44][2] = 0
50.70/26.49	c (6,0) opt[44][3] = 1
50.70/26.49	c (6,0) opt[44][4] = 0
50.70/26.49	c (6,0) opt[45][0] = 0
50.70/26.49	c (6,0) opt[45][1] = 0
50.70/26.49	c (6,0) opt[45][2] = 0
50.70/26.49	c (6,0) opt[45][3] = 1
50.70/26.49	c (6,0) opt[45][4] = 0
50.70/26.49	c (6,0) opt[46][0] = 1
50.70/26.49	c (6,0) opt[46][1] = 0
50.70/26.49	c (6,0) opt[46][2] = 1
50.70/26.49	c (6,0) opt[46][3] = 0
50.70/26.49	c (6,0) opt[46][4] = 0
50.70/26.49	c (6,0) opt[47][0] = 0
50.70/26.49	c (6,0) opt[47][1] = 0
50.70/26.49	c (6,0) opt[47][2] = 0
50.70/26.49	c (6,0) opt[47][3] = 0
50.70/26.49	c (6,0) opt[47][4] = 1
50.70/26.49	c (6,0) opt[48][0] = 0
50.70/26.49	c (6,0) opt[48][1] = 1
50.70/26.49	c (6,0) opt[48][2] = 0
50.70/26.49	c (6,0) opt[48][3] = 0
50.70/26.49	c (6,0) opt[48][4] = 0
50.70/26.49	c (6,0) opt[49][0] = 1
50.70/26.49	c (6,0) opt[49][1] = 0
50.70/26.49	c (6,0) opt[49][2] = 0
50.70/26.49	c (6,0) opt[49][3] = 0
50.70/26.49	c (6,0) opt[49][4] = 0
50.70/26.49	c (6,0) opt[50][0] = 0
50.70/26.49	c (6,0) opt[50][1] = 1
50.70/26.49	c (6,0) opt[50][2] = 0
50.70/26.49	c (6,0) opt[50][3] = 0
50.70/26.49	c (6,0) opt[50][4] = 0
50.70/26.49	c (6,0) opt[51][0] = 0
50.70/26.49	c (6,0) opt[51][1] = 1
50.70/26.49	c (6,0) opt[51][2] = 0
50.70/26.49	c (6,0) opt[51][3] = 0
50.70/26.49	c (6,0) opt[51][4] = 0
50.70/26.49	c (6,0) opt[52][0] = 1
50.70/26.49	c (6,0) opt[52][1] = 0
50.70/26.49	c (6,0) opt[52][2] = 0
50.70/26.49	c (6,0) opt[52][3] = 0
50.70/26.49	c (6,0) opt[52][4] = 1
50.70/26.49	c (6,0) opt[53][0] = 0
50.70/26.49	c (6,0) opt[53][1] = 0
50.70/26.49	c (6,0) opt[53][2] = 1
50.70/26.49	c (6,0) opt[53][3] = 0
50.70/26.49	c (6,0) opt[53][4] = 0
50.70/26.49	c (6,0) opt[54][0] = 0
50.70/26.49	c (6,0) opt[54][1] = 1
50.70/26.49	c (6,0) opt[54][2] = 0
50.70/26.49	c (6,0) opt[54][3] = 0
50.70/26.49	c (6,0) opt[54][4] = 0
50.70/26.49	c (6,0) opt[55][0] = 0
50.70/26.49	c (6,0) opt[55][1] = 1
50.70/26.49	c (6,0) opt[55][2] = 0
50.70/26.49	c (6,0) opt[55][3] = 0
50.70/26.49	c (6,0) opt[55][4] = 0
50.70/26.49	c (6,0) opt[56][0] = 1
50.70/26.49	c (6,0) opt[56][1] = 0
50.70/26.49	c (6,0) opt[56][2] = 0
50.70/26.49	c (6,0) opt[56][3] = 1
50.70/26.49	c (6,0) opt[56][4] = 0
50.70/26.49	c (6,0) opt[57][0] = 0
50.70/26.49	c (6,0) opt[57][1] = 1
50.70/26.49	c (6,0) opt[57][2] = 1
50.70/26.49	c (6,0) opt[57][3] = 0
50.70/26.49	c (6,0) opt[57][4] = 1
50.70/26.49	c (6,0) opt[58][0] = 0
50.70/26.49	c (6,0) opt[58][1] = 1
50.70/26.49	c (6,0) opt[58][2] = 0
50.70/26.49	c (6,0) opt[58][3] = 0
50.70/26.49	c (6,0) opt[58][4] = 0
50.70/26.49	c (6,0) opt[59][0] = 0
50.70/26.49	c (6,0) opt[59][1] = 0
50.70/26.49	c (6,0) opt[59][2] = 0
50.70/26.49	c (6,0) opt[59][3] = 1
50.70/26.49	c (6,0) opt[59][4] = 0
50.70/26.49	c (6,0) opt[60][0] = 1
50.70/26.49	c (6,0) opt[60][1] = 0
50.70/26.49	c (6,0) opt[60][2] = 0
50.70/26.49	c (6,0) opt[60][3] = 0
50.70/26.49	c (6,0) opt[60][4] = 0
50.70/26.49	c (6,0) opt[61][0] = 0
50.70/26.49	c (6,0) opt[61][1] = 0
50.70/26.49	c (6,0) opt[61][2] = 1
50.70/26.49	c (6,0) opt[61][3] = 0
50.70/26.49	c (6,0) opt[61][4] = 0
50.70/26.49	c (6,0) opt[62][0] = 0
50.70/26.49	c (6,0) opt[62][1] = 1
50.70/26.49	c (6,0) opt[62][2] = 0
50.70/26.49	c (6,0) opt[62][3] = 0
50.70/26.49	c (6,0) opt[62][4] = 0
50.70/26.49	c (6,0) opt[63][0] = 0
50.70/26.49	c (6,0) opt[63][1] = 0
50.70/26.49	c (6,0) opt[63][2] = 0
50.70/26.49	c (6,0) opt[63][3] = 1
50.70/26.49	c (6,0) opt[63][4] = 0
50.70/26.49	c (6,0) opt[64][0] = 1
50.70/26.49	c (6,0) opt[64][1] = 1
50.70/26.49	c (6,0) opt[64][2] = 1
50.70/26.49	c (6,0) opt[64][3] = 0
50.70/26.49	c (6,0) opt[64][4] = 0
50.70/26.49	c (6,0) opt[65][0] = 0
50.70/26.49	c (6,0) opt[65][1] = 0
50.70/26.49	c (6,0) opt[65][2] = 0
50.70/26.49	c (6,0) opt[65][3] = 1
50.70/26.49	c (6,0) opt[65][4] = 0
50.70/26.49	c (6,0) opt[66][0] = 1
50.70/26.49	c (6,0) opt[66][1] = 0
50.70/26.49	c (6,0) opt[66][2] = 0
50.70/26.49	c (6,0) opt[66][3] = 0
50.70/26.49	c (6,0) opt[66][4] = 1
50.70/26.49	c (6,0) opt[67][0] = 0
50.70/26.49	c (6,0) opt[67][1] = 1
50.70/26.49	c (6,0) opt[67][2] = 0
50.70/26.49	c (6,0) opt[67][3] = 0
50.70/26.49	c (6,0) opt[67][4] = 0
50.70/26.49	c (6,0) opt[68][0] = 1
50.70/26.49	c (6,0) opt[68][1] = 0
50.70/26.49	c (6,0) opt[68][2] = 1
50.70/26.49	c (6,0) opt[68][3] = 0
50.70/26.49	c (6,0) opt[68][4] = 0
50.70/26.49	c (6,0) opt[69][0] = 0
50.70/26.49	c (6,0) opt[69][1] = 1
50.70/26.49	c (6,0) opt[69][2] = 0
50.70/26.49	c (6,0) opt[69][3] = 1
50.70/26.49	c (6,0) opt[69][4] = 0
50.70/26.49	c (6,0) opt[70][0] = 1
50.70/26.49	c (6,0) opt[70][1] = 0
50.70/26.49	c (6,0) opt[70][2] = 0
50.70/26.49	c (6,0) opt[70][3] = 0
50.70/26.49	c (6,0) opt[70][4] = 0
50.70/26.49	c (6,0) opt[71][0] = 0
50.70/26.49	c (6,0) opt[71][1] = 1
50.70/26.49	c (6,0) opt[71][2] = 0
50.70/26.49	c (6,0) opt[71][3] = 0
50.70/26.49	c (6,0) opt[71][4] = 0
50.70/26.49	c (6,0) opt[72][0] = 0
50.70/26.49	c (6,0) opt[72][1] = 0
50.70/26.49	c (6,0) opt[72][2] = 0
50.70/26.49	c (6,0) opt[72][3] = 1
50.70/26.49	c (6,0) opt[72][4] = 0
50.70/26.49	c (6,0) opt[73][0] = 1
50.70/26.49	c (6,0) opt[73][1] = 1
50.70/26.49	c (6,0) opt[73][2] = 0
50.70/26.49	c (6,0) opt[73][3] = 0
50.70/26.49	c (6,0) opt[73][4] = 0
50.70/26.49	c (6,0) opt[74][0] = 0
50.70/26.49	c (6,0) opt[74][1] = 1
50.70/26.49	c (6,0) opt[74][2] = 0
50.70/26.49	c (6,0) opt[74][3] = 0
50.70/26.49	c (6,0) opt[74][4] = 1
50.70/26.49	c (6,0) opt[75][0] = 0
50.70/26.49	c (6,0) opt[75][1] = 0
50.70/26.49	c (6,0) opt[75][2] = 0
50.70/26.49	c (6,0) opt[75][3] = 1
50.70/26.49	c (6,0) opt[75][4] = 0
50.70/26.49	c (6,0) opt[76][0] = 1
50.70/26.49	c (6,0) opt[76][1] = 0
50.70/26.49	c (6,0) opt[76][2] = 1
50.70/26.49	c (6,0) opt[76][3] = 0
50.70/26.49	c (6,0) opt[76][4] = 0
50.70/26.49	c (6,0) opt[77][0] = 0
50.70/26.49	c (6,0) opt[77][1] = 1
50.70/26.49	c (6,0) opt[77][2] = 0
50.70/26.49	c (6,0) opt[77][3] = 0
50.70/26.49	c (6,0) opt[77][4] = 0
50.70/26.49	c (6,0) opt[78][0] = 0
50.70/26.49	c (6,0) opt[78][1] = 1
50.70/26.49	c (6,0) opt[78][2] = 0
50.70/26.49	c (6,0) opt[78][3] = 0
50.70/26.49	c (6,0) opt[78][4] = 0
50.70/26.49	c (6,0) opt[79][0] = 1
50.70/26.49	c (6,0) opt[79][1] = 0
50.70/26.49	c (6,0) opt[79][2] = 0
50.70/26.49	c (6,0) opt[79][3] = 1
50.70/26.49	c (6,0) opt[79][4] = 0
50.70/26.49	c (6,0) opt[80][0] = 0
50.70/26.49	c (6,0) opt[80][1] = 1
50.70/26.49	c (6,0) opt[80][2] = 0
50.70/26.49	c (6,0) opt[80][3] = 0
50.70/26.49	c (6,0) opt[80][4] = 0
50.70/26.49	c (6,0) opt[81][0] = 0
50.70/26.49	c (6,0) opt[81][1] = 1
50.70/26.49	c (6,0) opt[81][2] = 1
50.70/26.49	c (6,0) opt[81][3] = 0
50.70/26.49	c (6,0) opt[81][4] = 0
50.70/26.49	c (6,0) opt[82][0] = 0
50.70/26.49	c (6,0) opt[82][1] = 0
50.70/26.49	c (6,0) opt[82][2] = 0
50.70/26.49	c (6,0) opt[82][3] = 0
50.70/26.49	c (6,0) opt[82][4] = 1
50.70/26.49	c (6,0) opt[83][0] = 0
50.70/26.49	c (6,0) opt[83][1] = 0
50.70/26.49	c (6,0) opt[83][2] = 0
50.70/26.49	c (6,0) opt[83][3] = 1
50.70/26.49	c (6,0) opt[83][4] = 0
50.70/26.49	c (6,0) opt[84][0] = 1
50.70/26.49	c (6,0) opt[84][1] = 0
50.70/26.49	c (6,0) opt[84][2] = 0
50.70/26.49	c (6,0) opt[84][3] = 0
50.70/26.49	c (6,0) opt[84][4] = 0
50.70/26.49	c (6,0) opt[85][0] = 0
50.70/26.49	c (6,0) opt[85][1] = 1
50.70/26.49	c (6,0) opt[85][2] = 0
50.70/26.49	c (6,0) opt[85][3] = 1
50.70/26.49	c (6,0) opt[85][4] = 0
50.70/26.49	c (6,0) opt[86][0] = 0
50.70/26.49	c (6,0) opt[86][1] = 0
50.70/26.49	c (6,0) opt[86][2] = 1
50.70/26.49	c (6,0) opt[86][3] = 0
50.70/26.49	c (6,0) opt[86][4] = 0
50.70/26.49	c (6,0) opt[87][0] = 1
50.70/26.49	c (6,0) opt[87][1] = 0
50.70/26.49	c (6,0) opt[87][2] = 0
50.70/26.49	c (6,0) opt[87][3] = 0
50.70/26.49	c (6,0) opt[87][4] = 0
50.70/26.49	c (6,0) opt[88][0] = 0
50.70/26.49	c (6,0) opt[88][1] = 1
50.70/26.49	c (6,0) opt[88][2] = 0
50.70/26.49	c (6,0) opt[88][3] = 1
50.70/26.49	c (6,0) opt[88][4] = 0
50.70/26.49	c (6,0) opt[89][0] = 0
50.70/26.49	c (6,0) opt[89][1] = 0
50.70/26.49	c (6,0) opt[89][2] = 1
50.70/26.49	c (6,0) opt[89][3] = 0
50.70/26.49	c (6,0) opt[89][4] = 0
50.70/26.49	c (6,0) opt[90][0] = 1
50.70/26.49	c (6,0) opt[90][1] = 0
50.70/26.49	c (6,0) opt[90][2] = 0
50.70/26.49	c (6,0) opt[90][3] = 1
50.70/26.49	c (6,0) opt[90][4] = 1
50.70/26.49	c (6,0) opt[91][0] = 0
50.70/26.49	c (6,0) opt[91][1] = 1
50.70/26.49	c (6,0) opt[91][2] = 0
50.70/26.49	c (6,0) opt[91][3] = 0
50.70/26.49	c (6,0) opt[91][4] = 0
50.70/26.49	c (6,0) opt[92][0] = 1
50.70/26.49	c (6,0) opt[92][1] = 1
50.70/26.49	c (6,0) opt[92][2] = 0
50.70/26.49	c (6,0) opt[92][3] = 0
50.70/26.49	c (6,0) opt[92][4] = 0
50.70/26.49	c (6,0) opt[93][0] = 0
50.70/26.49	c (6,0) opt[93][1] = 0
50.70/26.49	c (6,0) opt[93][2] = 0
50.70/26.49	c (6,0) opt[93][3] = 1
50.70/26.49	c (6,0) opt[93][4] = 0
50.70/26.49	c (6,0) opt[94][0] = 0
50.70/26.49	c (6,0) opt[94][1] = 0
50.70/26.49	c (6,0) opt[94][2] = 1
50.70/26.49	c (6,0) opt[94][3] = 0
50.70/26.49	c (6,0) opt[94][4] = 0
50.70/26.49	c (6,0) opt[95][0] = 1
50.70/26.49	c (6,0) opt[95][1] = 1
50.70/26.49	c (6,0) opt[95][2] = 0
50.70/26.49	c (6,0) opt[95][3] = 0
50.70/26.49	c (6,0) opt[95][4] = 0
50.70/26.49	c (6,0) opt[96][0] = 0
50.70/26.49	c (6,0) opt[96][1] = 0
50.70/26.49	c (6,0) opt[96][2] = 0
50.70/26.49	c (6,0) opt[96][3] = 1
50.70/26.49	c (6,0) opt[96][4] = 1
50.70/26.49	c (6,0) opt[97][0] = 1
50.70/26.49	c (6,0) opt[97][1] = 1
50.70/26.49	c (6,0) opt[97][2] = 0
50.70/26.49	c (6,0) opt[97][3] = 0
50.70/26.49	c (6,0) opt[97][4] = 0
50.70/26.49	c (6,0) opt[98][0] = 0
50.70/26.49	c (6,0) opt[98][1] = 1
50.70/26.49	c (6,0) opt[98][2] = 0
50.70/26.49	c (6,0) opt[98][3] = 0
50.70/26.49	c (6,0) opt[98][4] = 0
50.70/26.49	c (6,0) opt[99][0] = 1
50.70/26.49	c (6,0) opt[99][1] = 0
50.70/26.49	c (6,0) opt[99][2] = 0
50.70/26.49	c (6,0) opt[99][3] = 0
50.70/26.49	c (6,0) opt[99][4] = 0
50.70/26.49	c (6,0) opt[100][0] = 0
50.70/26.49	c (6,0) opt[100][1] = 1
50.70/26.49	c (6,0) opt[100][2] = 0
50.70/26.49	c (6,0) opt[100][3] = 0
50.70/26.49	c (6,0) opt[100][4] = 0
50.70/26.49	c (6,0) opt[101][0] = 1
50.70/26.49	c (6,0) opt[101][1] = 1
50.70/26.49	c (6,0) opt[101][2] = 1
50.70/26.49	c (6,0) opt[101][3] = 0
50.70/26.49	c (6,0) opt[101][4] = 1
50.70/26.49	c (6,0) opt[102][0] = 0
50.70/26.49	c (6,0) opt[102][1] = 0
50.70/26.49	c (6,0) opt[102][2] = 0
50.70/26.49	c (6,0) opt[102][3] = 1
50.70/26.49	c (6,0) opt[102][4] = 0
50.70/26.49	c (6,0) opt[103][0] = 0
50.70/26.49	c (6,0) opt[103][1] = 1
50.70/26.49	c (6,0) opt[103][2] = 0
50.70/26.49	c (6,0) opt[103][3] = 0
50.70/26.49	c (6,0) opt[103][4] = 0
50.70/26.49	c (6,0) opt[104][0] = 0
50.70/26.49	c (6,0) opt[104][1] = 1
50.70/26.49	c (6,0) opt[104][2] = 0
50.70/26.49	c (6,0) opt[104][3] = 0
50.70/26.49	c (6,0) opt[104][4] = 0
50.70/26.49	c (6,0) opt[105][0] = 0
50.70/26.49	c (6,0) opt[105][1] = 0
50.70/26.49	c (6,0) opt[105][2] = 0
50.70/26.49	c (6,0) opt[105][3] = 1
50.70/26.49	c (6,0) opt[105][4] = 0
50.70/26.49	c (6,0) opt[106][0] = 1
50.70/26.49	c (6,0) opt[106][1] = 1
50.70/26.49	c (6,0) opt[106][2] = 0
50.70/26.49	c (6,0) opt[106][3] = 0
50.70/26.49	c (6,0) opt[106][4] = 0
50.70/26.49	c (6,0) opt[107][0] = 0
50.70/26.49	c (6,0) opt[107][1] = 0
50.70/26.49	c (6,0) opt[107][2] = 1
50.70/26.49	c (6,0) opt[107][3] = 0
50.70/26.49	c (6,0) opt[107][4] = 0
50.70/26.49	c (6,0) opt[108][0] = 1
50.70/26.49	c (6,0) opt[108][1] = 1
50.70/26.49	c (6,0) opt[108][2] = 0
50.70/26.49	c (6,0) opt[108][3] = 0
50.70/26.49	c (6,0) opt[108][4] = 0
50.70/26.49	c (6,0) opt[109][0] = 0
50.70/26.49	c (6,0) opt[109][1] = 0
50.70/26.49	c (6,0) opt[109][2] = 0
50.70/26.49	c (6,0) opt[109][3] = 1
50.70/26.49	c (6,0) opt[109][4] = 0
50.70/26.49	c (6,0) opt[110][0] = 0
50.70/26.49	c (6,0) opt[110][1] = 0
50.70/26.49	c (6,0) opt[110][2] = 0
50.70/26.49	c (6,0) opt[110][3] = 0
50.70/26.49	c (6,0) opt[110][4] = 1
50.70/26.49	c (6,0) opt[111][0] = 0
50.70/26.49	c (6,0) opt[111][1] = 0
50.70/26.49	c (6,0) opt[111][2] = 0
50.70/26.49	c (6,0) opt[111][3] = 1
50.70/26.49	c (6,0) opt[111][4] = 0
50.70/26.49	c (6,0) opt[112][0] = 1
50.70/26.49	c (6,0) opt[112][1] = 1
50.70/26.49	c (6,0) opt[112][2] = 0
50.70/26.49	c (6,0) opt[112][3] = 0
50.70/26.49	c (6,0) opt[112][4] = 0
50.70/26.49	c (6,0) opt[113][0] = 0
50.70/26.49	c (6,0) opt[113][1] = 1
50.70/26.49	c (6,0) opt[113][2] = 0
50.70/26.49	c (6,0) opt[113][3] = 0
50.70/26.49	c (6,0) opt[113][4] = 0
50.70/26.49	c (6,0) opt[114][0] = 1
50.70/26.49	c (6,0) opt[114][1] = 0
50.70/26.49	c (6,0) opt[114][2] = 1
50.70/26.49	c (6,0) opt[114][3] = 1
50.70/26.49	c (6,0) opt[114][4] = 0
50.70/26.49	c (6,0) opt[115][0] = 0
50.70/26.49	c (6,0) opt[115][1] = 1
50.70/26.49	c (6,0) opt[115][2] = 0
50.70/26.49	c (6,0) opt[115][3] = 0
50.70/26.49	c (6,0) opt[115][4] = 0
50.70/26.49	c (6,0) opt[116][0] = 0
50.70/26.49	c (6,0) opt[116][1] = 1
50.70/26.49	c (6,0) opt[116][2] = 0
50.70/26.49	c (6,0) opt[116][3] = 0
50.70/26.49	c (6,0) opt[116][4] = 0
50.70/26.49	c (6,0) opt[117][0] = 0
50.70/26.49	c (6,0) opt[117][1] = 0
50.70/26.49	c (6,0) opt[117][2] = 1
50.70/26.49	c (6,0) opt[117][3] = 0
50.70/26.49	c (6,0) opt[117][4] = 0
50.70/26.49	c (6,0) opt[118][0] = 1
50.70/26.49	c (6,0) opt[118][1] = 0
50.70/26.49	c (6,0) opt[118][2] = 0
50.70/26.49	c (6,0) opt[118][3] = 0
50.70/26.49	c (6,0) opt[118][4] = 0
50.70/26.49	c (6,0) opt[119][0] = 0
50.70/26.49	c (6,0) opt[119][1] = 0
50.70/26.49	c (6,0) opt[119][2] = 0
50.70/26.49	c (6,0) opt[119][3] = 1
50.70/26.49	c (6,0) opt[119][4] = 0
50.70/26.49	c (6,0) opt[120][0] = 0
50.70/26.49	c (6,0) opt[120][1] = 1
50.70/26.49	c (6,0) opt[120][2] = 0
50.70/26.49	c (6,0) opt[120][3] = 0
50.70/26.49	c (6,0) opt[120][4] = 0
50.70/26.49	c (6,0) opt[121][0] = 1
50.70/26.49	c (6,0) opt[121][1] = 0
50.70/26.49	c (6,0) opt[121][2] = 0
50.70/26.49	c (6,0) opt[121][3] = 0
50.70/26.49	c (6,0) opt[121][4] = 0
50.70/26.49	c (6,0) opt[122][0] = 0
50.70/26.49	c (6,0) opt[122][1] = 1
50.70/26.49	c (6,0) opt[122][2] = 0
50.70/26.49	c (6,0) opt[122][3] = 0
50.70/26.49	c (6,0) opt[122][4] = 0
50.70/26.49	c (6,0) opt[123][0] = 0
50.70/26.49	c (6,0) opt[123][1] = 0
50.70/26.49	c (6,0) opt[123][2] = 0
50.70/26.49	c (6,0) opt[123][3] = 0
50.70/26.49	c (6,0) opt[123][4] = 1
50.70/26.49	c (6,0) opt[124][0] = 1
50.70/26.49	c (6,0) opt[124][1] = 0
50.70/26.49	c (6,0) opt[124][2] = 1
50.70/26.49	c (6,0) opt[124][3] = 1
50.70/26.49	c (6,0) opt[124][4] = 0
50.70/26.49	c (6,0) opt[125][0] = 0
50.70/26.49	c (6,0) opt[125][1] = 0
50.70/26.49	c (6,0) opt[125][2] = 0
50.70/26.49	c (6,0) opt[125][3] = 1
50.70/26.49	c (6,0) opt[125][4] = 0
50.70/26.49	c (6,0) opt[126][0] = 1
50.70/26.49	c (6,0) opt[126][1] = 1
50.70/26.49	c (6,0) opt[126][2] = 0
50.70/26.49	c (6,0) opt[126][3] = 0
50.70/26.49	c (6,0) opt[126][4] = 0
50.70/26.49	c (6,0) opt[127][0] = 0
50.70/26.49	c (6,0) opt[127][1] = 1
50.70/26.49	c (6,0) opt[127][2] = 0
50.70/26.49	c (6,0) opt[127][3] = 0
50.70/26.49	c (6,0) opt[127][4] = 0
50.70/26.49	c (6,0) opt[128][0] = 1
50.70/26.49	c (6,0) opt[128][1] = 0
50.70/26.49	c (6,0) opt[128][2] = 1
50.70/26.49	c (6,0) opt[128][3] = 0
50.70/26.49	c (6,0) opt[128][4] = 0
50.70/26.49	c (6,0) opt[129][0] = 0
50.70/26.49	c (6,0) opt[129][1] = 0
50.70/26.49	c (6,0) opt[129][2] = 0
50.70/26.49	c (6,0) opt[129][3] = 1
50.70/26.49	c (6,0) opt[129][4] = 0
50.70/26.49	c (6,0) opt[130][0] = 1
50.70/26.49	c (6,0) opt[130][1] = 1
50.70/26.49	c (6,0) opt[130][2] = 0
50.70/26.49	c (6,0) opt[130][3] = 0
50.70/26.49	c (6,0) opt[130][4] = 0
50.70/26.49	c (6,0) opt[131][0] = 0
50.70/26.49	c (6,0) opt[131][1] = 1
50.70/26.49	c (6,0) opt[131][2] = 0
50.70/26.49	c (6,0) opt[131][3] = 0
50.70/26.49	c (6,0) opt[131][4] = 0
50.70/26.49	c (6,0) opt[132][0] = 0
50.70/26.49	c (6,0) opt[132][1] = 0
50.70/26.49	c (6,0) opt[132][2] = 0
50.70/26.49	c (6,0) opt[132][3] = 1
50.70/26.49	c (6,0) opt[132][4] = 1
50.70/26.49	c (6,0) opt[133][0] = 0
50.70/26.49	c (6,0) opt[133][1] = 1
50.70/26.49	c (6,0) opt[133][2] = 0
50.70/26.49	c (6,0) opt[133][3] = 0
50.70/26.49	c (6,0) opt[133][4] = 0
50.70/26.49	c (6,0) opt[134][0] = 1
50.70/26.49	c (6,0) opt[134][1] = 1
50.70/26.49	c (6,0) opt[134][2] = 1
50.70/26.49	c (6,0) opt[134][3] = 0
50.70/26.49	c (6,0) opt[134][4] = 0
50.70/26.49	c (6,0) opt[135][0] = 0
50.70/26.49	c (6,0) opt[135][1] = 0
50.70/26.49	c (6,0) opt[135][2] = 0
50.70/26.49	c (6,0) opt[135][3] = 1
50.70/26.49	c (6,0) opt[135][4] = 0
50.70/26.49	c (6,0) opt[136][0] = 1
50.70/26.49	c (6,0) opt[136][1] = 1
50.70/26.49	c (6,0) opt[136][2] = 0
50.70/26.49	c (6,0) opt[136][3] = 0
50.70/26.49	c (6,0) opt[136][4] = 0
50.70/26.49	c (6,0) opt[137][0] = 0
50.70/26.49	c (6,0) opt[137][1] = 0
50.70/26.49	c (6,0) opt[137][2] = 1
50.70/26.49	c (6,0) opt[137][3] = 0
50.70/26.49	c (6,0) opt[137][4] = 0
50.70/26.49	c (6,0) opt[138][0] = 0
50.70/26.49	c (6,0) opt[138][1] = 0
50.70/26.49	c (6,0) opt[138][2] = 0
50.70/26.49	c (6,0) opt[138][3] = 1
50.70/26.49	c (6,0) opt[138][4] = 1
50.70/26.49	c (6,0) opt[139][0] = 1
50.70/26.49	c (6,0) opt[139][1] = 1
50.70/26.49	c (6,0) opt[139][2] = 0
50.70/26.49	c (6,0) opt[139][3] = 0
50.70/26.49	c (6,0) opt[139][4] = 0
50.70/26.49	c (6,0) opt[140][0] = 0
50.70/26.49	c (6,0) opt[140][1] = 0
50.70/26.49	c (6,0) opt[140][2] = 1
50.70/26.49	c (6,0) opt[140][3] = 1
50.70/26.49	c (6,0) opt[140][4] = 0
50.70/26.49	c (6,0) opt[141][0] = 1
50.70/26.49	c (6,0) opt[141][1] = 1
50.70/26.49	c (6,0) opt[141][2] = 0
50.70/26.49	c (6,0) opt[141][3] = 0
50.70/26.49	c (6,0) opt[141][4] = 0
50.70/26.49	c (6,0) opt[142][0] = 0
50.70/26.49	c (6,0) opt[142][1] = 1
50.70/26.49	c (6,0) opt[142][2] = 0
50.70/26.49	c (6,0) opt[142][3] = 0
50.70/26.49	c (6,0) opt[142][4] = 0
50.70/26.49	c (6,0) opt[143][0] = 0
50.70/26.49	c (6,0) opt[143][1] = 0
50.70/26.49	c (6,0) opt[143][2] = 0
50.70/26.49	c (6,0) opt[143][3] = 0
50.70/26.49	c (6,0) opt[143][4] = 1
50.70/26.49	c (6,0) opt[144][0] = 1
50.70/26.49	c (6,0) opt[144][1] = 0
50.70/26.49	c (6,0) opt[144][2] = 0
50.70/26.49	c (6,0) opt[144][3] = 0
50.70/26.49	c (6,0) opt[144][4] = 0
50.70/26.49	c (6,0) opt[145][0] = 0
50.70/26.49	c (6,0) opt[145][1] = 0
50.70/26.49	c (6,0) opt[145][2] = 0
50.70/26.49	c (6,0) opt[145][3] = 1
50.70/26.49	c (6,0) opt[145][4] = 0
50.70/26.49	c (6,0) opt[146][0] = 0
50.70/26.49	c (6,0) opt[146][1] = 1
50.70/26.49	c (6,0) opt[146][2] = 0
50.70/26.49	c (6,0) opt[146][3] = 0
50.70/26.49	c (6,0) opt[146][4] = 0
50.70/26.49	c (6,0) opt[147][0] = 1
50.70/26.49	c (6,0) opt[147][1] = 0
50.70/26.49	c (6,0) opt[147][2] = 1
50.70/26.49	c (6,0) opt[147][3] = 1
50.70/26.49	c (6,0) opt[147][4] = 0
50.70/26.49	c (6,0) opt[148][0] = 0
50.70/26.49	c (6,0) opt[148][1] = 1
50.70/26.49	c (6,0) opt[148][2] = 0
50.70/26.49	c (6,0) opt[148][3] = 0
50.70/26.49	c (6,0) opt[148][4] = 0
50.70/26.49	c (6,0) opt[149][0] = 1
50.70/26.49	c (6,0) opt[149][1] = 0
50.70/26.49	c (6,0) opt[149][2] = 0
50.70/26.49	c (6,0) opt[149][3] = 0
50.70/26.49	c (6,0) opt[149][4] = 1
50.70/26.49	c (6,0) opt[150][0] = 0
50.70/26.49	c (6,0) opt[150][1] = 1
50.70/26.49	c (6,0) opt[150][2] = 0
50.70/26.49	c (6,0) opt[150][3] = 0
50.70/26.49	c (6,0) opt[150][4] = 0
50.70/26.49	c (6,0) opt[151][0] = 0
50.70/26.49	c (6,0) opt[151][1] = 0
50.70/26.49	c (6,0) opt[151][2] = 1
50.70/26.49	c (6,0) opt[151][3] = 1
50.70/26.49	c (6,0) opt[151][4] = 0
50.70/26.49	c (6,0) opt[152][0] = 0
50.70/26.49	c (6,0) opt[152][1] = 1
50.70/26.49	c (6,0) opt[152][2] = 0
50.70/26.49	c (6,0) opt[152][3] = 0
50.70/26.49	c (6,0) opt[152][4] = 0
50.70/26.49	c (6,0) opt[153][0] = 0
50.70/26.49	c (6,0) opt[153][1] = 1
50.70/26.49	c (6,0) opt[153][2] = 0
50.70/26.49	c (6,0) opt[153][3] = 0
50.70/26.49	c (6,0) opt[153][4] = 0
50.70/26.49	c (6,0) opt[154][0] = 0
50.70/26.49	c (6,0) opt[154][1] = 0
50.70/26.49	c (6,0) opt[154][2] = 0
50.70/26.49	c (6,0) opt[154][3] = 1
50.70/26.49	c (6,0) opt[154][4] = 0
50.70/26.49	c (6,0) opt[155][0] = 0
50.70/26.49	c (6,0) opt[155][1] = 0
50.70/26.49	c (6,0) opt[155][2] = 1
50.70/26.49	c (6,0) opt[155][3] = 0
50.70/26.49	c (6,0) opt[155][4] = 0
50.70/26.49	c (6,0) opt[156][0] = 0
50.70/26.49	c (6,0) opt[156][1] = 1
50.70/26.49	c (6,0) opt[156][2] = 0
50.70/26.49	c (6,0) opt[156][3] = 0
50.70/26.49	c (6,0) opt[156][4] = 0
50.70/26.49	c (6,0) opt[157][0] = 0
50.70/26.49	c (6,0) opt[157][1] = 1
50.70/26.49	c (6,0) opt[157][2] = 0
50.70/26.49	c (6,0) opt[157][3] = 0
50.70/26.49	c (6,0) opt[157][4] = 0
50.70/26.49	c (6,0) opt[158][0] = 1
50.70/26.49	c (6,0) opt[158][1] = 0
50.70/26.49	c (6,0) opt[158][2] = 0
50.70/26.49	c (6,0) opt[158][3] = 0
50.70/26.49	c (6,0) opt[158][4] = 0
50.70/26.49	c (6,0) opt[159][0] = 0
50.70/26.49	c (6,0) opt[159][1] = 0
50.70/26.49	c (6,0) opt[159][2] = 0
50.70/26.49	c (6,0) opt[159][3] = 1
50.70/26.49	c (6,0) opt[159][4] = 1
50.70/26.49	c (6,0) opt[160][0] = 0
50.70/26.49	c (6,0) opt[160][1] = 1
50.70/26.49	c (6,0) opt[160][2] = 0
50.70/26.49	c (6,0) opt[160][3] = 0
50.70/26.49	c (6,0) opt[160][4] = 0
50.70/26.49	c (6,0) opt[161][0] = 1
50.70/26.49	c (6,0) opt[161][1] = 1
50.70/26.49	c (6,0) opt[161][2] = 1
50.70/26.49	c (6,0) opt[161][3] = 0
50.70/26.49	c (6,0) opt[161][4] = 0
50.70/26.49	c (6,0) opt[162][0] = 0
50.70/26.49	c (6,0) opt[162][1] = 0
50.70/26.49	c (6,0) opt[162][2] = 0
50.70/26.49	c (6,0) opt[162][3] = 1
50.70/26.49	c (6,0) opt[162][4] = 0
50.70/26.49	c (6,0) opt[163][0] = 0
50.70/26.49	c (6,0) opt[163][1] = 1
50.70/26.49	c (6,0) opt[163][2] = 0
50.70/26.49	c (6,0) opt[163][3] = 0
50.70/26.49	c (6,0) opt[163][4] = 0
50.70/26.49	c (6,0) opt[164][0] = 1
50.70/26.49	c (6,0) opt[164][1] = 0
50.70/26.49	c (6,0) opt[164][2] = 0
50.70/26.49	c (6,0) opt[164][3] = 0
50.70/26.49	c (6,0) opt[164][4] = 0
50.70/26.49	c (6,0) opt[165][0] = 0
50.70/26.49	c (6,0) opt[165][1] = 0
50.70/26.49	c (6,0) opt[165][2] = 1
50.70/26.49	c (6,0) opt[165][3] = 0
50.70/26.49	c (6,0) opt[165][4] = 1
50.70/26.49	c (6,0) opt[166][0] = 1
50.70/26.49	c (6,0) opt[166][1] = 0
50.70/26.49	c (6,0) opt[166][2] = 0
50.70/26.49	c (6,0) opt[166][3] = 0
50.70/26.49	c (6,0) opt[166][4] = 0
50.70/26.49	c (6,0) opt[167][0] = 0
50.70/26.49	c (6,0) opt[167][1] = 1
50.70/26.49	c (6,0) opt[167][2] = 0
50.70/26.49	c (6,0) opt[167][3] = 0
50.70/26.49	c (6,0) opt[167][4] = 0
50.70/26.49	c (6,0) opt[168][0] = 0
50.70/26.49	c (6,0) opt[168][1] = 1
50.70/26.49	c (6,0) opt[168][2] = 0
50.70/26.49	c (6,0) opt[168][3] = 0
50.70/26.49	c (6,0) opt[168][4] = 0
50.70/26.49	c (6,0) opt[169][0] = 0
50.70/26.49	c (6,0) opt[169][1] = 0
50.70/26.49	c (6,0) opt[169][2] = 1
50.70/26.49	c (6,0) opt[169][3] = 1
50.70/26.49	c (6,0) opt[169][4] = 0
50.70/26.49	c (6,0) opt[170][0] = 0
50.70/26.49	c (6,0) opt[170][1] = 1
50.70/26.49	c (6,0) opt[170][2] = 0
50.70/26.49	c (6,0) opt[170][3] = 0
50.70/26.49	c (6,0) opt[170][4] = 0
50.70/26.49	c (6,0) opt[171][0] = 0
50.70/26.49	c (6,0) opt[171][1] = 1
50.70/26.49	c (6,0) opt[171][2] = 0
50.70/26.49	c (6,0) opt[171][3] = 0
50.70/26.49	c (6,0) opt[171][4] = 0
50.70/26.49	c (6,0) opt[172][0] = 1
50.70/26.49	c (6,0) opt[172][1] = 0
50.70/26.49	c (6,0) opt[172][2] = 0
50.70/26.49	c (6,0) opt[172][3] = 0
50.70/26.49	c (6,0) opt[172][4] = 0
50.70/26.49	c (6,0) opt[173][0] = 0
50.70/26.49	c (6,0) opt[173][1] = 1
50.70/26.49	c (6,0) opt[173][2] = 0
50.70/26.49	c (6,0) opt[173][3] = 0
50.70/26.49	c (6,0) opt[173][4] = 0
50.70/26.49	c (6,0) opt[174][0] = 0
50.70/26.49	c (6,0) opt[174][1] = 1
50.70/26.49	c (6,0) opt[174][2] = 0
50.70/26.49	c (6,0) opt[174][3] = 0
50.70/26.49	c (6,0) opt[174][4] = 0
50.70/26.49	c (6,0) opt[175][0] = 0
50.70/26.49	c (6,0) opt[175][1] = 0
50.70/26.49	c (6,0) opt[175][2] = 1
50.70/26.49	c (6,0) opt[175][3] = 0
50.70/26.49	c (6,0) opt[175][4] = 0
50.70/26.49	c (6,0) opt[176][0] = 1
50.70/26.49	c (6,0) opt[176][1] = 0
50.70/26.49	c (6,0) opt[176][2] = 0
50.70/26.49	c (6,0) opt[176][3] = 0
50.70/26.49	c (6,0) opt[176][4] = 0
50.70/26.49	c (6,0) opt[177][0] = 0
50.70/26.49	c (6,0) opt[177][1] = 1
50.70/26.49	c (6,0) opt[177][2] = 0
50.70/26.49	c (6,0) opt[177][3] = 0
50.70/26.49	c (6,0) opt[177][4] = 0
50.70/26.49	c (6,0) opt[178][0] = 0
50.70/26.49	c (6,0) opt[178][1] = 0
50.70/26.49	c (6,0) opt[178][2] = 1
50.70/26.49	c (6,0) opt[178][3] = 0
50.70/26.49	c (6,0) opt[178][4] = 0
50.70/26.49	c (6,0) opt[179][0] = 1
50.70/26.49	c (6,0) opt[179][1] = 0
50.70/26.49	c (6,0) opt[179][2] = 0
50.70/26.49	c (6,0) opt[179][3] = 0
50.70/26.49	c (6,0) opt[179][4] = 0
50.70/26.49	c (6,0) opt[180][0] = 0
50.70/26.49	c (6,0) opt[180][1] = 1
50.70/26.49	c (6,0) opt[180][2] = 0
50.70/26.49	c (6,0) opt[180][3] = 0
50.70/26.49	c (6,0) opt[180][4] = 0
50.70/26.49	c (6,0) opt[181][0] = 0
50.70/26.49	c (6,0) opt[181][1] = 1
50.70/26.49	c (6,0) opt[181][2] = 0
50.70/26.49	c (6,0) opt[181][3] = 0
50.70/26.49	c (6,0) opt[181][4] = 0
50.70/26.49	c (6,0) opt[182][0] = 0
50.70/26.49	c (6,0) opt[182][1] = 0
50.70/26.49	c (6,0) opt[182][2] = 1
50.70/26.49	c (6,0) opt[182][3] = 1
50.70/26.49	c (6,0) opt[182][4] = 1
50.70/26.49	c (6,0) opt[183][0] = 0
50.70/26.49	c (6,0) opt[183][1] = 1
50.70/26.49	c (6,0) opt[183][2] = 0
50.70/26.49	c (6,0) opt[183][3] = 0
50.70/26.49	c (6,0) opt[183][4] = 0
50.70/26.49	c (6,0) opt[184][0] = 0
50.70/26.49	c (6,0) opt[184][1] = 1
50.70/26.49	c (6,0) opt[184][2] = 0
50.70/26.49	c (6,0) opt[184][3] = 0
50.70/26.49	c (6,0) opt[184][4] = 0
50.70/26.49	c (6,0) opt[185][0] = 0
50.70/26.49	c (6,0) opt[185][1] = 0
50.70/26.49	c (6,0) opt[185][2] = 1
50.70/26.49	c (6,0) opt[185][3] = 0
50.70/26.49	c (6,0) opt[185][4] = 0
50.70/26.49	c (6,0) opt[186][0] = 0
50.70/26.49	c (6,0) opt[186][1] = 1
50.70/26.49	c (6,0) opt[186][2] = 0
50.70/26.49	c (6,0) opt[186][3] = 0
50.70/26.49	c (6,0) opt[186][4] = 0
50.70/26.49	c (6,0) opt[187][0] = 1
50.70/26.49	c (6,0) opt[187][1] = 0
50.70/26.49	c (6,0) opt[187][2] = 0
50.70/26.49	c (6,0) opt[187][3] = 0
50.70/26.49	c (6,0) opt[187][4] = 0
50.70/26.49	c (6,0) opt[188][0] = 0
50.70/26.49	c (6,0) opt[188][1] = 1
50.70/26.49	c (6,0) opt[188][2] = 0
50.70/26.49	c (6,0) opt[188][3] = 0
50.70/26.49	c (6,0) opt[188][4] = 0
50.70/26.49	c (6,0) opt[189][0] = 0
50.70/26.49	c (6,0) opt[189][1] = 1
50.70/26.49	c (6,0) opt[189][2] = 0
50.70/26.49	c (6,0) opt[189][3] = 0
50.70/26.49	c (6,0) opt[189][4] = 0
50.70/26.49	c (6,0) opt[190][0] = 0
50.70/26.49	c (6,0) opt[190][1] = 0
50.70/26.49	c (6,0) opt[190][2] = 0
50.70/26.49	c (6,0) opt[190][3] = 1
50.70/26.49	c (6,0) opt[190][4] = 0
50.70/26.49	c (6,0) opt[191][0] = 1
50.70/26.49	c (6,0) opt[191][1] = 0
50.70/26.49	c (6,0) opt[191][2] = 0
50.70/26.49	c (6,0) opt[191][3] = 0
50.70/26.49	c (6,0) opt[191][4] = 0
50.70/26.49	c (6,0) opt[192][0] = 0
50.70/26.49	c (6,0) opt[192][1] = 1
50.70/26.49	c (6,0) opt[192][2] = 0
50.70/26.49	c (6,0) opt[192][3] = 0
50.70/26.49	c (6,0) opt[192][4] = 0
50.70/26.49	c (6,0) opt[193][0] = 0
50.70/26.49	c (6,0) opt[193][1] = 1
50.70/26.49	c (6,0) opt[193][2] = 0
50.70/26.49	c (6,0) opt[193][3] = 0
50.70/26.49	c (6,0) opt[193][4] = 0
50.70/26.49	c (6,0) opt[194][0] = 0
50.70/26.49	c (6,0) opt[194][1] = 0
50.70/26.49	c (6,0) opt[194][2] = 1
50.70/26.49	c (6,0) opt[194][3] = 0
50.70/26.49	c (6,0) opt[194][4] = 0
50.70/26.49	c (6,0) opt[195][0] = 1
50.70/26.49	c (6,0) opt[195][1] = 0
50.70/26.49	c (6,0) opt[195][2] = 0
50.70/26.49	c (6,0) opt[195][3] = 0
50.70/26.49	c (6,0) opt[195][4] = 0
50.70/26.49	c (6,0) opt[196][0] = 0
50.70/26.49	c (6,0) opt[196][1] = 1
50.70/26.49	c (6,0) opt[196][2] = 0
50.70/26.49	c (6,0) opt[196][3] = 0
50.70/26.49	c (6,0) opt[196][4] = 0
50.70/26.49	c (6,0) opt[197][0] = 0
50.70/26.49	c (6,0) opt[197][1] = 1
50.70/26.49	c (6,0) opt[197][2] = 0
50.70/26.49	c (6,0) opt[197][3] = 0
50.70/26.49	c (6,0) opt[197][4] = 0
50.70/26.49	c (6,0) opt[198][0] = 1
50.70/26.49	c (6,0) opt[198][1] = 0
50.70/26.49	c (6,0) opt[198][2] = 0
50.70/26.49	c (6,0) opt[198][3] = 0
50.70/26.49	c (6,0) opt[198][4] = 0
50.70/26.49	c (6,0) opt[199][0] = 0
50.70/26.49	c (6,0) opt[199][1] = 1
50.70/26.49	c (6,0) opt[199][2] = 0
50.70/26.49	c (6,0) opt[199][3] = 0
50.70/26.49	c (6,0) opt[199][4] = 0
50.70/26.49	s SATISFIABLE
50.70/26.50	v <instantiation>
50.70/26.50	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>
51.11/26.50	v     <values>19 5 20 15 4 4 7 23 4 13 4 4 13 2 4 16 3 14 16 24 16 14 17 13 12 7 4 13 4 20 5 17 13 4 14 16 10 17 13 5 16 14 4 13 21 16 11 23 4 13 4 4 8 15 4 4 20 3 4 16 13 15 4 16 24 16 8 4 11 21 13 4 16 14 5 16 11 4 4 20 4 17 23 16 13 21 15 13 21 15 18 4 14 16 15 14 6 14 4 13 4 1 16 4 4 16 14 15 14 16 23 16 14 4 7 4 4 15 13 16 4 13 4 23 7 16 14 4 11 16 14 4 6 4 9 16 14 15 6 14 19 14 4 23 13 16 4 7 4 8 4 19 4 4 16 15 4 4 13 6 4 9 16 4 13 22 13 4 4 19 4 4 13 4 4 15 13 4 15 13 4 4 0 4 4 15 4 13 4 4 16 13 4 4 15 13 4 4 13 4 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 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 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0</values>
51.11/26.50	v </instantiation>
51.11/26.50	c (6,0) Show results End
51.11/26.50	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
51.11/26.50	c (6,0) 6,6,STOP-AFTER(ALL)
51.11/26.50	c END-Prog: Tue Sep 24 17:20:22 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 (12772 MiB free)
  memory of node 1: 16384 MiB (14325 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405161-1569338434/watcher-4405161-1569338434 -o /var/tmp/evaluation-result-4405161-1569338434/solver-4405161-1569338434 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569335940-11744 --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-4405161-1569338434.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=12176, runsolver pid=12173
Current StackSize limit: 8192 KiB


[startup+0.10014 s]*
/proc/loadavg: 7.74 7.55 5.87 3/212 12198
/proc/meminfo: memFree=27652824/32770624 swapFree=66957728/67108860
[pid=12176] ppid=12173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12176/stat : 12176 (scop.sh) S 12173 12176 11717 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510082028 115843072 349 33554432000 4194304 5098028 140732674574336 140732674571592 140160925233788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37789696 140732674577149 140732674577496 140732674577496 140732674580425 0
/proc/12176/statm: 28282 349 296 221 0 87 0
[pid=12179] ppid=12176 vsize=27314120 memory=106788 CPUtime=0.1 cores=0-7
/proc/12179/stat : 12179 (java) S 12176 12176 11717 0 -1 1077944320 6244 0 0 0 8 2 0 0 20 0 20 0 510082028 27969658880 26697 33554432000 4194304 4196468 140736819555296 140736819537840 140184954478327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
/proc/12179/statm: 6828530 26697 2777 1 0 6790935 0
[pid=12179/tid=12180] ppid=12176 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12179/task/12180/stat : 12180 (java) R 12176 12176 11717 0 -1 4202560 4358 0 0 0 7 2 0 0 20 0 20 0 510082028 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184926296704 140184946715454 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12181] ppid=12176 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12179/task/12181/stat : 12181 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184958720784 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12182] ppid=12176 vsize=27314120 memory=140365796939392 CPUtime=0 cores=0-7
/proc/12179/task/12182/stat : 12182 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184781216656 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12183] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12183/stat : 12183 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184375737360 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12184] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12184/stat : 12184 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184374684816 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12185] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12185/stat : 12185 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184373631248 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12186] ppid=12176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12179/task/12186/stat : 12186 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184372578704 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12187] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12187/stat : 12187 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184371526160 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12188] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12188/stat : 12188 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 26697 33554432000 4194304 4196468 140736819555296 140184370473616 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12189] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12189/stat : 12189 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082032 27969658880 26697 33554432000 4194304 4196468 140736819555296 140183006358000 140184954489474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12190] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12190/stat : 12190 (java) S 12176 12176 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510082033 27969658880 26697 33554432000 4194304 4196468 140736819555296 140182900696480 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12191] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12191/stat : 12191 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082033 27969658880 26697 33554432000 4194304 4196468 140736819555296 140182632261104 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12192] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12192/stat : 12192 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 26697 33554432000 4194304 4196468 140736819555296 140182257752784 140184954496923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12193] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12193/stat : 12193 (java) S 12176 12176 11717 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 26697 33554432000 4194304 4196468 140736819555296 140183005304816 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12194] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12194/stat : 12194 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 26697 33554432000 4194304 4196468 140736819555296 140183004252272 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12195] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12195/stat : 12195 (java) S 12176 12176 11717 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 26697 33554432000 4194304 4196468 140736819555296 140183003199728 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12196] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12196/stat : 12196 (java) S 12176 12176 11717 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 26697 33554432000 4194304 4196468 140736819555296 140183002147184 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12197] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12197/stat : 12197 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 26697 33554432000 4194304 4196468 140736819555296 140181759847136 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12198] ppid=12176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12179/task/12198/stat : 12198 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 26697 33554432000 4194304 4196468 140736819555296 140183001095088 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108184 KiB

[startup+0.210578 s]*
/proc/loadavg: 7.74 7.55 5.87 2/212 12198
/proc/meminfo: memFree=27634496/32770624 swapFree=66957728/67108860
[pid=12176] ppid=12173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12176/stat : 12176 (scop.sh) S 12173 12176 11717 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510082028 115843072 349 33554432000 4194304 5098028 140732674574336 140732674571592 140160925233788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37789696 140732674577149 140732674577496 140732674577496 140732674580425 0
/proc/12176/statm: 28282 349 296 221 0 87 0
[pid=12179] ppid=12176 vsize=27314120 memory=123404 CPUtime=0.24 cores=0-7
/proc/12179/stat : 12179 (java) S 12176 12176 11717 0 -1 1077944320 11259 0 0 0 20 4 0 0 20 0 20 0 510082028 27969658880 30851 33554432000 4194304 4196468 140736819555296 140736819537840 140184954478327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
/proc/12179/statm: 6828530 30851 2866 1 0 6790935 0
[pid=12179/tid=12180] ppid=12176 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12179/task/12180/stat : 12180 (java) R 12176 12176 11717 0 -1 4202560 8979 0 0 0 16 4 0 0 20 0 20 0 510082028 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184926297568 140184934753657 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12181] ppid=12176 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/12179/task/12181/stat : 12181 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184958720784 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12182] ppid=12176 vsize=27314120 memory=140365796951558 CPUtime=0 cores=0-7
/proc/12179/task/12182/stat : 12182 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184781216656 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12183] ppid=12176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12179/task/12183/stat : 12183 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184375737360 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12184] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12184/stat : 12184 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184374684816 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12185] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12185/stat : 12185 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184373631248 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12186] ppid=12176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12179/task/12186/stat : 12186 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184372578704 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12187] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12187/stat : 12187 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184371526160 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12188] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12188/stat : 12188 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 30851 33554432000 4194304 4196468 140736819555296 140184370473616 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12189] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12189/stat : 12189 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082032 27969658880 30851 33554432000 4194304 4196468 140736819555296 140183006358000 140184954489474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12190] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12190/stat : 12190 (java) S 12176 12176 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510082033 27969658880 30851 33554432000 4194304 4196468 140736819555296 140182900696480 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12191] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12191/stat : 12191 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082033 27969658880 30851 33554432000 4194304 4196468 140736819555296 140182632261104 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12192] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12192/stat : 12192 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 30851 33554432000 4194304 4196468 140736819555296 140182257752784 140184954496923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12193] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12193/stat : 12193 (java) S 12176 12176 11717 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 30851 33554432000 4194304 4196468 140736819555296 140183005304816 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12194] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12194/stat : 12194 (java) S 12176 12176 11717 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 30851 33554432000 4194304 4196468 140736819555296 140183004252272 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12195] ppid=12176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12179/task/12195/stat : 12195 (java) S 12176 12176 11717 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 30851 33554432000 4194304 4196468 140736819555296 140183003199728 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12196] ppid=12176 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12179/task/12196/stat : 12196 (java) S 12176 12176 11717 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 20 0 510082036 27969658880 30851 33554432000 4194304 4196468 140736819555296 140183002147184 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12197] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12197/stat : 12197 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 30851 33554432000 4194304 4196468 140736819555296 140181759847136 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12198] ppid=12176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12179/task/12198/stat : 12198 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 30851 33554432000 4194304 4196468 140736819555296 140183001095088 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124800 KiB

[startup+0.310343 s]*
/proc/loadavg: 7.74 7.55 5.87 2/212 12198
/proc/meminfo: memFree=27630960/32770624 swapFree=66957728/67108860
[pid=12176] ppid=12173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12176/stat : 12176 (scop.sh) S 12173 12176 11717 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510082028 115843072 349 33554432000 4194304 5098028 140732674574336 140732674571592 140160925233788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37789696 140732674577149 140732674577496 140732674577496 140732674580425 0
/proc/12176/statm: 28282 349 296 221 0 87 0
[pid=12179] ppid=12176 vsize=27314120 memory=127596 CPUtime=0.42 cores=0-7
/proc/12179/stat : 12179 (java) S 12176 12176 11717 0 -1 1077944320 12281 0 0 0 37 5 0 0 20 0 20 0 510082028 27969658880 31899 33554432000 4194304 4196468 140736819555296 140736819537840 140184954478327 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
/proc/12179/statm: 6828530 31899 3024 1 0 6790935 0
[pid=12179/tid=12180] ppid=12176 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12179/task/12180/stat : 12180 (java) R 12176 12176 11717 0 -1 4202560 9807 0 0 0 25 4 0 0 20 0 20 0 510082028 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184926308400 140184935872061 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12181] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12181/stat : 12181 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184958720784 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12182] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12182/stat : 12182 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184781216656 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12183] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12183/stat : 12183 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184375737360 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12184] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12184/stat : 12184 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184374684816 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12185] ppid=12176 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/12179/task/12185/stat : 12185 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184373631248 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12186] ppid=12176 vsize=27314120 memory=140365638235055 CPUtime=0 cores=0-7
/proc/12179/task/12186/stat : 12186 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184372578704 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12187] ppid=12176 vsize=27314120 memory=140365638237360 CPUtime=0 cores=0-7
/proc/12179/task/12187/stat : 12187 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184371526160 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12188] ppid=12176 vsize=27314120 memory=140365638239664 CPUtime=0 cores=0-7
/proc/12179/task/12188/stat : 12188 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082031 27969658880 31899 33554432000 4194304 4196468 140736819555296 140184370473616 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12189] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12189/stat : 12189 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082032 27969658880 31899 33554432000 4194304 4196468 140736819555296 140183006358000 140184954489474 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12190] ppid=12176 vsize=27314120 memory=280731276486288 CPUtime=0 cores=0-7
/proc/12179/task/12190/stat : 12190 (java) S 12176 12176 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510082033 27969658880 31899 33554432000 4194304 4196468 140736819555296 140182900696480 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12191] ppid=12176 vsize=27314120 memory=280731276493200 CPUtime=0 cores=0-7
/proc/12179/task/12191/stat : 12191 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082033 27969658880 31899 33554432000 4194304 4196468 140736819555296 140182632261104 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12192] ppid=12176 vsize=27314120 memory=280731276434352 CPUtime=0 cores=0-7
/proc/12179/task/12192/stat : 12192 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 31899 33554432000 4194304 4196468 140736819555296 140182257752784 140184954496923 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12193] ppid=12176 vsize=27314120 memory=280731276507024 CPUtime=0 cores=0-7
/proc/12179/task/12193/stat : 12193 (java) S 12176 12176 11717 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 31899 33554432000 4194304 4196468 140736819555296 140183005304816 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12194] ppid=12176 vsize=27314120 memory=280731276513936 CPUtime=0.01 cores=0-7
/proc/12179/task/12194/stat : 12194 (java) S 12176 12176 11717 0 -1 1077944384 105 0 0 0 1 0 0 0 20 0 20 0 510082036 27969658880 31899 33554432000 4194304 4196468 140736819555296 140183004252272 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12195] ppid=12176 vsize=27314120 memory=280731276511632 CPUtime=0.01 cores=0-7
/proc/12179/task/12195/stat : 12195 (java) R 12176 12176 11717 0 -1 4202560 472 0 0 0 1 0 0 0 20 0 20 0 510082036 27969658880 31899 33554432000 4194304 4196468 140736819555296 140183003199728 140184938009855 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12196] ppid=12176 vsize=27314120 memory=280731276527792 CPUtime=0.07 cores=0-7
/proc/12179/task/12196/stat : 12196 (java) S 12176 12176 11717 0 -1 1077944384 516 0 0 0 7 0 0 0 20 0 20 0 510082036 27969658880 31899 33554432000 4194304 4196468 140736819555296 140183002147184 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12197] ppid=12176 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12197/stat : 12197 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 31899 33554432000 4194304 4196468 140736819555296 140181759847136 140184954488533 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12198] ppid=12176 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12179/task/12198/stat : 12198 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082036 27969658880 31899 33554432000 4194304 4196468 140736819555296 140183001095088 140184954489474 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128992 KiB

[startup+0.704637 s]
/proc/loadavg: 7.74 7.55 5.87 2/212 12198
/proc/meminfo: memFree=27608892/32770624 swapFree=66957728/67108860
[pid=12176] ppid=12173 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12176/stat : 12176 (scop.sh) S 12173 12176 11717 0 -1 4202496 556 321 0 0 0 0 0 0 20 0 1 0 510082028 115843072 349 33554432000 4194304 5098028 140732674574336 140732674571592 140160925233788 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37789696 140732674577149 140732674577496 140732674577496 140732674580425 0
/proc/12176/statm: 28282 349 296 221 0 87 0
[pid=12179] ppid=12176 vsize=27320392 memory=165464 CPUtime=1.01 cores=0-7
/proc/12179/stat : 12179 (java) S 12176 12176 11717 0 -1 1077944320 19917 0 0 0 94 7 0 0 20 0 20 0 510082028 27976081408 41366 33554432000 4194304 4196468 140736819555296 140736819537840 140184954478327 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
/proc/12179/statm: 6830098 41366 3169 1 0 6791447 0
[pid=12179/tid=12180] ppid=12176 vsize=27320392 memory=280731276885680 CPUtime=0.68 cores=0-7
/proc/12179/task/12180/stat : 12180 (java) R 12176 12176 11717 0 -1 4202560 16899 0 0 0 62 6 0 0 20 0 20 0 510082028 27976081408 41366 33554432000 4194304 4196468 140736819555296 140184926315632 140184954490262 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12181] ppid=12176 vsize=27320392 memory=140365638443888 CPUtime=0 cores=0-7
/proc/12179/task/12181/stat : 12181 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27976081408 41366 33554432000 4194304 4196468 140736819555296 140184958720784 140184954488533 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12182] ppid=12176 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/12179/task/12182/stat : 12182 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510082031 27976081408 41366 33554432000 4194304 4196468 140736819555296 140184781216656 140184954488533 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0
[pid=12179/tid=12183] ppid=12176 vsize=27320392 memory=6160 CPUtime=0 cores=0-7
/proc/12179/task/12183/stat : 12183 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510082031 27976081408 41366 33554432000 4194304 4196468 140736819555296 140184375737360 140184954488533 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16875520 140736819561159 140736819561606 140736819561606 140736819564495 0

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

[pid=12209/tid=12210] ppid=12176 vsize=8414124 memory=7686721470384478101 CPUtime=0.84 cores=0-7
/proc/12209/task/12210/stat : 12210 (java) S 12176 12176 11717 0 -1 1077944384 17460 0 0 0 75 9 0 0 20 0 24 0 510083959 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365744865184 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12211] ppid=12176 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12209/task/12211/stat : 12211 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365777267728 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12212] ppid=12176 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/12209/task/12212/stat : 12212 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365577436304 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12213] ppid=12176 vsize=8414124 memory=-8412658770403813517 CPUtime=0 cores=0-7
/proc/12209/task/12213/stat : 12213 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365576383248 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12214] ppid=12176 vsize=8414124 memory=8370611207638964880 CPUtime=0 cores=0-7
/proc/12209/task/12214/stat : 12214 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365575330704 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12215] ppid=12176 vsize=8414124 memory=-5345911752953859030 CPUtime=0 cores=0-7
/proc/12209/task/12215/stat : 12215 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365574277648 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12216] ppid=12176 vsize=8414124 memory=8996927262957663786 CPUtime=0 cores=0-7
/proc/12209/task/12216/stat : 12216 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365573225104 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12217] ppid=12176 vsize=8414124 memory=7100839870102598768 CPUtime=0 cores=0-7
/proc/12209/task/12217/stat : 12217 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365572172048 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12218] ppid=12176 vsize=8414124 memory=4628415523589229942 CPUtime=0 cores=0-7
/proc/12209/task/12218/stat : 12218 (java) S 12176 12176 11717 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510083960 8616062976 31226 33554432000 4194304 4196468 140725266184896 140365252258192 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12219] ppid=12176 vsize=8414124 memory=5450916479881021482 CPUtime=0 cores=0-7
/proc/12209/task/12219/stat : 12219 (java) S 12176 12176 11717 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510083961 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364597955312 140365773036162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12220] ppid=12176 vsize=8414124 memory=3054156605301688196 CPUtime=0 cores=0-7
/proc/12209/task/12220/stat : 12220 (java) S 12176 12176 11717 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510083962 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364430173856 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12221] ppid=12176 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/12209/task/12221/stat : 12221 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510083962 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364161737968 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12222] ppid=12176 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/12209/task/12222/stat : 12222 (java) S 12176 12176 11717 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510083964 8616062976 31226 33554432000 4194304 4196468 140725266184896 140363787229648 140365773043611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12223] ppid=12176 vsize=8414124 memory=1720 CPUtime=0.16 cores=0-7
/proc/12209/task/12223/stat : 12223 (java) S 12176 12176 11717 0 -1 1077944384 857 0 0 0 16 0 0 0 20 0 24 0 510083964 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364596902128 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12224] ppid=12176 vsize=8414124 memory=1976 CPUtime=0.13 cores=0-7
/proc/12209/task/12224/stat : 12224 (java) S 12176 12176 11717 0 -1 1077944384 315 0 0 0 13 0 0 0 20 0 24 0 510083964 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364595849584 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12225] ppid=12176 vsize=8414124 memory=2432 CPUtime=0.1 cores=0-7
/proc/12209/task/12225/stat : 12225 (java) S 12176 12176 11717 0 -1 1077944384 540 0 0 0 10 0 0 0 20 0 24 0 510083964 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364594796528 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12226] ppid=12176 vsize=8414124 memory=1436 CPUtime=0.24 cores=0-7
/proc/12209/task/12226/stat : 12226 (java) S 12176 12176 11717 0 -1 1077944384 609 0 0 0 24 0 0 0 20 0 24 0 510083964 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364593743984 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12227] ppid=12176 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/12209/task/12227/stat : 12227 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510083965 8616062976 31226 33554432000 4194304 4196468 140725266184896 140363289324512 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12228] ppid=12176 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/12209/task/12228/stat : 12228 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510083965 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364592692400 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12230] ppid=12176 vsize=8414124 memory=111628 CPUtime=0 cores=0-7
/proc/12209/task/12230/stat : 12230 (java) S 12176 12176 11717 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510084039 8616062976 31226 33554432000 4194304 4196468 140725266184896 140364584658368 140365773049625 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12232] ppid=12176 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12209/task/12232/stat : 12232 (java) S 12176 12176 11717 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 24 0 510084039 8616062976 31226 33554432000 4194304 4196468 140725266184896 140362886659632 140365773046941 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12233] ppid=12176 vsize=8414124 memory=280731277956000 CPUtime=0 cores=0-7
/proc/12209/task/12233/stat : 12233 (java) S 12176 12176 11717 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 510084039 8616062976 31226 33554432000 4194304 4196468 140725266184896 140362618224304 140365773046941 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12234] ppid=12176 vsize=8414124 memory=140365639013312 CPUtime=0 cores=0-7
/proc/12209/task/12234/stat : 12234 (java) S 12176 12176 11717 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510084042 8616062976 31226 33554432000 4194304 4196468 140725266184896 140362349796272 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
Current children cumulated CPU time: 49.61 s
Current children cumulated vsize: 10570936 KiB
Current children cumulated memory: 1581524 KiB

[startup+26.401 s]
/proc/loadavg: 5.64 7.07 5.76 7/223 12242
/proc/meminfo: memFree=26123184/32770624 swapFree=66957728/67108860
[pid=12176] ppid=12173 vsize=113128 memory=1476 CPUtime=38.31 cores=0-7
/proc/12176/stat : 12176 (scop.sh) S 12173 12176 11717 0 -1 4202496 583 50986 0 0 0 0 3651 180 20 0 1 0 510082028 115843072 369 33554432000 4194304 5098028 140732674574336 140732674571080 140160925233788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37789696 140732674577149 140732674577496 140732674577496 140732674580425 0
/proc/12176/statm: 28282 369 311 221 0 87 0
[pid=12209] ppid=12176 vsize=8283048 memory=162872 CPUtime=12.39 cores=0-7
/proc/12209/stat : 12209 (java) S 12176 12176 11717 0 -1 1077944320 22457 285460 0 0 196 13 965 65 20 0 22 0 510083958 8481841152 40660 33554432000 4194304 4196468 140725266184896 140725266167440 140365773025015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
/proc/12209/statm: 2070762 40660 3234 1 0 2032106 0
[pid=12209/tid=12210] ppid=12176 vsize=8283048 memory=37124 CPUtime=11.25 cores=0-7
/proc/12209/task/12210/stat : 12210 (java) R 12176 12176 11717 0 -1 4202560 17709 285460 0 0 86 9 965 65 20 0 22 0 510083959 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365744862960 140365773036950 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12211] ppid=12176 vsize=8283048 memory=6791534058613427641 CPUtime=10.3 cores=0-7
/proc/12209/task/12211/stat : 12211 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365777267728 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12212] ppid=12176 vsize=8283048 memory=15460 CPUtime=10.3 cores=0-7
/proc/12209/task/12212/stat : 12212 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365577436304 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12213] ppid=12176 vsize=8283048 memory=17668 CPUtime=10.3 cores=0-7
/proc/12209/task/12213/stat : 12213 (java) S 12176 12176 11717 0 -1 1077944384 1 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365576383248 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12214] ppid=12176 vsize=8283048 memory=19876 CPUtime=10.3 cores=0-7
/proc/12209/task/12214/stat : 12214 (java) S 12176 12176 11717 0 -1 1077944384 3 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365575330704 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12215] ppid=12176 vsize=8283048 memory=22084 CPUtime=10.3 cores=0-7
/proc/12209/task/12215/stat : 12215 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365574277648 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12216] ppid=12176 vsize=8283048 memory=13546326854056 CPUtime=10.3 cores=0-7
/proc/12209/task/12216/stat : 12216 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365573225104 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12217] ppid=12176 vsize=8283048 memory=54483472091882 CPUtime=10.3 cores=0-7
/proc/12209/task/12217/stat : 12217 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365572172048 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12218] ppid=12176 vsize=8283048 memory=54483472091882 CPUtime=10.3 cores=0-7
/proc/12209/task/12218/stat : 12218 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 40718 33554432000 4194304 4196468 140725266184896 140365252258192 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12219] ppid=12176 vsize=8283048 memory=54483472091882 CPUtime=10.3 cores=0-7
/proc/12209/task/12219/stat : 12219 (java) S 12176 12176 11717 0 -1 1077944384 5 285460 0 0 0 0 965 65 20 0 22 0 510083961 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364597955312 140365773036162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12220] ppid=12176 vsize=8283048 memory=54483472091626 CPUtime=10.3 cores=0-7
/proc/12209/task/12220/stat : 12220 (java) S 12176 12176 11717 0 -1 1077944384 13 285460 0 0 0 0 965 65 20 0 22 0 510083962 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364430173856 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12221] ppid=12176 vsize=8283048 memory=6944656575208382560 CPUtime=10.3 cores=0-7
/proc/12209/task/12221/stat : 12221 (java) S 12176 12176 11717 0 -1 1077944384 1 285460 0 0 0 0 965 65 20 0 22 0 510083962 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364161737968 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12222] ppid=12176 vsize=8283048 memory=6943526294502006880 CPUtime=10.3 cores=0-7
/proc/12209/task/12222/stat : 12222 (java) S 12176 12176 11717 0 -1 1077944384 1 285460 0 0 0 0 965 65 20 0 22 0 510083964 8481841152 40718 33554432000 4194304 4196468 140725266184896 140363787229648 140365773043611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12223] ppid=12176 vsize=8283048 memory=1285308 CPUtime=10.53 cores=0-7
/proc/12209/task/12223/stat : 12223 (java) S 12176 12176 11717 0 -1 1077944384 894 285460 0 0 23 0 965 65 20 0 22 0 510083964 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364596902128 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12224] ppid=12176 vsize=8283048 memory=1476 CPUtime=10.51 cores=0-7
/proc/12209/task/12224/stat : 12224 (java) S 12176 12176 11717 0 -1 1077944384 545 285460 0 0 21 0 965 65 20 0 22 0 510083964 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364595849584 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12225] ppid=12176 vsize=8283048 memory=124904 CPUtime=10.47 cores=0-7
/proc/12209/task/12225/stat : 12225 (java) S 12176 12176 11717 0 -1 1077944384 577 285460 0 0 17 0 965 65 20 0 22 0 510083964 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364594796528 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12226] ppid=12176 vsize=8283048 memory=238552 CPUtime=10.64 cores=0-7
/proc/12209/task/12226/stat : 12226 (java) R 12176 12176 11717 0 -1 4202560 1265 285460 0 0 34 0 965 65 20 0 22 0 510083964 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364593743984 140365757068645 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12227] ppid=12176 vsize=8283048 memory=68 CPUtime=10.3 cores=0-7
/proc/12209/task/12227/stat : 12227 (java) S 12176 12176 11717 0 -1 1077944384 3 285460 0 0 0 0 965 65 20 0 22 0 510083965 8481841152 40718 33554432000 4194304 4196468 140725266184896 140363289324512 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12228] ppid=12176 vsize=8283048 memory=7883944108235712103 CPUtime=10.3 cores=0-7
/proc/12209/task/12228/stat : 12228 (java) S 12176 12176 11717 0 -1 1077944384 3 285460 0 0 0 0 965 65 20 0 22 0 510083965 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364592692400 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12230] ppid=12176 vsize=8283048 memory=1476 CPUtime=10.3 cores=0-7
/proc/12209/task/12230/stat : 12230 (java) S 12176 12176 11717 0 -1 1077944384 24 285460 0 0 0 0 965 65 20 0 22 0 510084039 8481841152 40718 33554432000 4194304 4196468 140725266184896 140364584657552 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12234] ppid=12176 vsize=8283048 memory=124904 CPUtime=10.3 cores=0-7
/proc/12209/task/12234/stat : 12234 (java) S 12176 12176 11717 0 -1 1077944384 9 285460 0 0 0 0 965 65 20 0 22 0 510084042 8481841152 40718 33554432000 4194304 4196468 140725266184896 140362349798064 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
Current children cumulated CPU time: 50.7 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 164348 KiB

[startup+26.5051 s]
/proc/loadavg: 5.64 7.07 5.76 7/223 12242
/proc/meminfo: memFree=26123184/32770624 swapFree=66957728/67108860
[pid=12176] ppid=12173 vsize=113128 memory=1476 CPUtime=38.31 cores=0-7
/proc/12176/stat : 12176 (scop.sh) S 12173 12176 11717 0 -1 4202496 583 50986 0 0 0 0 3651 180 20 0 1 0 510082028 115843072 369 33554432000 4194304 5098028 140732674574336 140732674571080 140160925233788 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37789696 140732674577149 140732674577496 140732674577496 140732674580425 0
/proc/12176/statm: 28282 369 311 221 0 87 0
[pid=12209] ppid=12176 vsize=8283048 memory=183932 CPUtime=12.8 cores=0-7
/proc/12209/stat : 12209 (java) S 12176 12176 11717 0 -1 1077944320 26823 285460 0 0 236 14 965 65 20 0 22 0 510083958 8481841152 45471 33554432000 4194304 4196468 140725266184896 140725266167440 140365773025015 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
/proc/12209/statm: 2070762 45471 3237 1 0 2032106 0
[pid=12209/tid=12210] ppid=12176 vsize=8283048 memory=124904 CPUtime=11.37 cores=0-7
/proc/12209/task/12210/stat : 12210 (java) R 12176 12176 11717 0 -1 4202560 18820 285460 0 0 96 11 965 65 20 0 22 0 510083959 8481841152 45983 33554432000 4194304 4196468 140725266184896 140365744864544 140365254419604 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12211] ppid=12176 vsize=8283048 memory=159236 CPUtime=10.3 cores=0-7
/proc/12209/task/12211/stat : 12211 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365777267728 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12212] ppid=12176 vsize=8283048 memory=1476 CPUtime=10.3 cores=0-7
/proc/12209/task/12212/stat : 12212 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365577436304 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12213] ppid=12176 vsize=8283048 memory=105080669888399 CPUtime=10.3 cores=0-7
/proc/12209/task/12213/stat : 12213 (java) S 12176 12176 11717 0 -1 1077944384 1 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365576383248 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12214] ppid=12176 vsize=8283048 memory=-8985395855772247728 CPUtime=10.3 cores=0-7
/proc/12209/task/12214/stat : 12214 (java) S 12176 12176 11717 0 -1 1077944384 3 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365575330704 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12215] ppid=12176 vsize=8283048 memory=238608 CPUtime=10.3 cores=0-7
/proc/12209/task/12215/stat : 12215 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365574277648 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12216] ppid=12176 vsize=8283048 memory=7230638415855315031 CPUtime=10.3 cores=0-7
/proc/12209/task/12216/stat : 12216 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365573225104 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12217] ppid=12176 vsize=8283048 memory=1556 CPUtime=10.3 cores=0-7
/proc/12209/task/12217/stat : 12217 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365572172048 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12218] ppid=12176 vsize=8283048 memory=11632 CPUtime=10.3 cores=0-7
/proc/12209/task/12218/stat : 12218 (java) S 12176 12176 11717 0 -1 1077944384 2 285460 0 0 0 0 965 65 20 0 22 0 510083960 8481841152 46029 33554432000 4194304 4196468 140725266184896 140365252258192 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12219] ppid=12176 vsize=8283048 memory=2432 CPUtime=10.3 cores=0-7
/proc/12209/task/12219/stat : 12219 (java) S 12176 12176 11717 0 -1 1077944384 5 285460 0 0 0 0 965 65 20 0 22 0 510083961 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364597955312 140365773036162 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12220] ppid=12176 vsize=8283048 memory=1436 CPUtime=10.3 cores=0-7
/proc/12209/task/12220/stat : 12220 (java) S 12176 12176 11717 0 -1 1077944384 13 285460 0 0 0 0 965 65 20 0 22 0 510083962 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364430173856 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12221] ppid=12176 vsize=8283048 memory=235532 CPUtime=10.3 cores=0-7
/proc/12209/task/12221/stat : 12221 (java) S 12176 12176 11717 0 -1 1077944384 1 285460 0 0 0 0 965 65 20 0 22 0 510083962 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364161737968 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12222] ppid=12176 vsize=8283048 memory=1476 CPUtime=10.3 cores=0-7
/proc/12209/task/12222/stat : 12222 (java) S 12176 12176 11717 0 -1 1077944384 1 285460 0 0 0 0 965 65 20 0 22 0 510083964 8481841152 46029 33554432000 4194304 4196468 140725266184896 140363787229648 140365773043611 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12223] ppid=12176 vsize=8283048 memory=1428 CPUtime=10.61 cores=0-7
/proc/12209/task/12223/stat : 12223 (java) R 12176 12176 11717 0 -1 4202560 1689 285460 0 0 31 0 965 65 20 0 22 0 510083964 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364596883144 140365756521785 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12224] ppid=12176 vsize=8283048 memory=1728 CPUtime=10.6 cores=0-7
/proc/12209/task/12224/stat : 12224 (java) R 12176 12176 11717 0 -1 4202560 1230 285460 0 0 30 0 965 65 20 0 22 0 510083964 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364595830600 140365758142182 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12225] ppid=12176 vsize=8283048 memory=1056 CPUtime=10.55 cores=0-7
/proc/12209/task/12225/stat : 12225 (java) R 12176 12176 11717 0 -1 4202560 1732 285460 0 0 25 0 965 65 20 0 22 0 510083964 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364594782552 140365754546197 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12226] ppid=12176 vsize=8283048 memory=288230574492221466 CPUtime=10.7 cores=0-7
/proc/12209/task/12226/stat : 12226 (java) S 12176 12176 11717 0 -1 1077944384 1890 285460 0 0 40 0 965 65 20 0 22 0 510083964 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364593743984 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12227] ppid=12176 vsize=8283048 memory=288230583166042426 CPUtime=10.3 cores=0-7
/proc/12209/task/12227/stat : 12227 (java) S 12176 12176 11717 0 -1 1077944384 3 285460 0 0 0 0 965 65 20 0 22 0 510083965 8481841152 46029 33554432000 4194304 4196468 140725266184896 140363289324512 140365773035221 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12228] ppid=12176 vsize=8283048 memory=13847469322668657 CPUtime=10.3 cores=0-7
/proc/12209/task/12228/stat : 12228 (java) S 12176 12176 11717 0 -1 1077944384 3 285460 0 0 0 0 965 65 20 0 22 0 510083965 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364592692400 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12230] ppid=12176 vsize=8283048 memory=7686721470384478101 CPUtime=10.3 cores=0-7
/proc/12209/task/12230/stat : 12230 (java) S 12176 12176 11717 0 -1 1077944384 24 285460 0 0 0 0 965 65 20 0 22 0 510084039 8481841152 46029 33554432000 4194304 4196468 140725266184896 140364584657552 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
[pid=12209/tid=12234] ppid=12176 vsize=8283048 memory=0 CPUtime=10.3 cores=0-7
/proc/12209/task/12234/stat : 12234 (java) S 12176 12176 11717 0 -1 1077944384 9 285460 0 0 0 0 965 65 20 0 22 0 510084042 8481841152 46029 33554432000 4194304 4196468 140725266184896 140362349798064 140365773036162 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33550336 140725266191327 140725266191494 140725266191494 140725266194383 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 185408 KiB

Child status: 0
Real time (s): 26.5358
CPU time (s): 51.212
CPU user time (s): 48.5833
CPU system time (s): 2.62869
CPU usage (%): 192.992
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6074412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.5833
system time used= 2.62869
maximum resident set size= 6073016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37097
involuntary context switches= 126


# summary of solver processes directly reported to runsolver:
#   pid: 12176
#   total CPU time (s): 51.212
#   total CPU user time (s): 48.5833
#   total CPU system time (s): 2.62869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.24628 second user time and 0.295933 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-24 17:19:56
IDJOB=4405161
IDBENCH=128096
IDSOLVER=2867
FILE ID=node149/4405161-1569338434
RUNJOBID= node149-1569335940-11744
PBS_JOBID= 21705048
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-65-10.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 /var/tmp/evaluation-result-4405161-1569338434/watcher-4405161-1569338434 -o /var/tmp/evaluation-result-4405161-1569338434/solver-4405161-1569338434 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1569335940-11744 --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-4405161-1569338434.xml

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

MD5SUM BENCH= c4baa3ff261117e16f7eeec964fc150b
RANDOM SEED=1849938884

node149.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.81
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.81
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.81
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.81
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:        27748448 kB
MemAvailable:   31805152 kB
Buffers:           97388 kB
Cached:          4053168 kB
SwapCached:        42372 kB
Active:          2891108 kB
Inactive:        1306316 kB
Active(anon):       4820 kB
Inactive(anon):    95416 kB
Active(file):    2886288 kB
Inactive(file):  1210900 kB
Unevictable:      108416 kB
Mlocked:          108416 kB
SwapTotal:      67108860 kB
SwapFree:       66957728 kB
Dirty:             20772 kB
Writeback:             0 kB
AnonPages:        128976 kB
Mapped:            57320 kB
Shmem:             44880 kB
Slab:             417232 kB
SReclaimable:     387976 kB
SUnreclaim:        29256 kB
KernelStack:        3728 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515384 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13460 MiB
End job on node149 at 2019-09-24 17:20:22