Trace number 4405227

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 115.112 34.5304

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-75-09.xml
MD5SUM3e3af1bae7de9ef5515b71e9dbb47d41
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 benchmark15.5446
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1421
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 degree72
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":9}, {"degree":51,"count":9}, {"degree":52,"count":62}, {"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":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":3}, {"degree":72,"count":63}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":2},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},"...",{"arity":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":1220},{"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-16357-serial-file.bin HOME/instance-4405227-1569338346.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Tue Sep 24 17:18:27 CEST 2019
0.66/0.57	c PID: 16360
0.66/0.57	c IP: 172.20.3.123
0.66/0.57	c HOST: node123.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.30/1.41	c (0,0) Parsing End
3.30/1.42	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1421 ctr, max domain size 25
3.30/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.30/1.42	c (0,0) Constraint Name Generate Begin
3.30/1.44	c (0,0) Ctr:HOME/instance-4405227-1569338346.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.30/1.44	c (0,0) Constraint Name Generate End
3.30/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.30/1.44	c (0,0) CSP to CSPinCNF Begin
12.11/4.76	c (4,4) translated 143 (10%) constraints
12.77/5.34	c (4,4) translated 285 (20%) constraints
12.77/5.36	c (4,4) translated 427 (30%) constraints
12.77/5.38	c (4,4) translated 569 (40%) constraints
13.11/5.41	c (4,4) translated 711 (50%) constraints
13.11/5.43	c (4,4) translated 853 (60%) constraints
13.11/5.44	c (4,4) translated 995 (70%) constraints
13.11/5.46	c (4,4) translated 1137 (80%) constraints
15.90/7.30	c (6,6) translated 1279 (90%) constraints
17.32/8.74	c (8,8) translated 1421 (100%) constraints
17.32/8.76	c (8,8) ===========================================
17.32/8.76	c (8,8) Order
17.32/8.76	c (8,8) ===========================================
19.43/9.47	c (8,8) translated 5725 (10%) constraints
20.25/9.74	c (9,9) translated 11449 (20%) constraints
20.65/9.88	c (9,9) translated 17174 (30%) constraints
21.13/10.01	c (9,9) translated 22898 (40%) constraints
21.23/10.13	c (9,9) translated 28623 (50%) constraints
21.33/10.26	c (9,9) translated 34347 (60%) constraints
21.43/10.38	c (9,9) translated 40072 (70%) constraints
21.63/10.51	c (9,9) translated 45796 (80%) constraints
21.73/10.63	c (10,10) translated 51521 (90%) constraints
28.20/12.46	c (11,11) translated 57245 (100%) constraints
28.20/12.47	c (11,11) CSP to CSPinCNF End
28.20/12.48	c (11,11) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 77330 ctr, max domain size 68
28.20/12.48	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
28.20/12.48	c (11,11) CSPinCNF Propagation Begin
29.73/12.98	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
29.73/12.98	c (12,12) CSPinCNF Propagation End
29.73/12.98	c (12,12) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 76930 ctr, max domain size 68
29.73/12.98	c (12,12) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
29.73/12.99	c (12,12) Simplify CSPinCNF Begin
30.56/13.20	c (12,12) Simplify CSPinCNF End
30.56/13.20	c (12,12) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 76930 ctr, max domain size 68
30.56/13.20	c (12,12) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.56/13.20	c (12,12) Calculate Precise Domain Begin
30.94/13.31	c (12,12) 0 values are removed by re-calculation
30.94/13.31	c (12,12) Calculate Precise Domain End
30.94/13.31	c (12,12) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 76930 ctr, max domain size 68
30.94/13.31	c (12,12) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
30.94/13.31	c (12,12) CSPinCNF to SatSolver Begin
34.75/15.12	c (14,14) 7693 (10 %) CSP clauses are encoded (0 SAT variables, 618189 SAT clauses)
34.75/15.19	c (14,14) 15386 (20 %) CSP clauses are encoded (0 SAT variables, 625882 SAT clauses)
35.00/15.26	c (14,14) 23079 (30 %) CSP clauses are encoded (0 SAT variables, 633575 SAT clauses)
35.17/15.34	c (14,14) 30772 (40 %) CSP clauses are encoded (0 SAT variables, 641268 SAT clauses)
35.29/15.41	c (14,14) 38465 (50 %) CSP clauses are encoded (0 SAT variables, 648961 SAT clauses)
35.29/15.49	c (14,14) 46158 (60 %) CSP clauses are encoded (0 SAT variables, 656654 SAT clauses)
35.40/15.57	c (15,14) 53851 (70 %) CSP clauses are encoded (0 SAT variables, 664347 SAT clauses)
35.50/15.64	c (15,14) 61544 (80 %) CSP clauses are encoded (0 SAT variables, 672040 SAT clauses)
36.04/15.96	c (15,15) 69237 (90 %) CSP clauses are encoded (0 SAT variables, 791136 SAT clauses)
39.36/19.13	c (18,18) 76930 (100 %) CSP clauses are encoded (0 SAT variables, 2444805 SAT clauses)
39.36/19.14	c (18,18) CSPinCNF to SatSolver End
39.36/19.14	c (18,18) Heap : 3716 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
39.36/19.14	c (18,18) 147164 bool, 2445588 clause
39.36/19.14	c (18,18) Export Begin
39.81/19.30	c (18,18) Export to HOME/scop-16357-serial-file.bin
39.81/19.30	c (18,18) Export End
39.81/19.30	c (18,18) Export File Size: 0.25 MB
39.81/19.30	c (18,18) 0,0,11,12,12,12,18,STOP-AFTER(DIMACS)
39.81/19.30	c END-Prog: Tue Sep 24 17:18:46 CEST 2019
39.81/19.35	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16357-serial-file.bin
39.88/19.81	c (0,0) Read Serial File Begin
39.88/19.81	c (0,0) HOME/scop-16357-serial-file.bin
40.77/20.10	c (0,0) Read Serial File End
41.37/20.50	
41.37/20.50	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
41.37/20.50	(Solving Process)
41.37/20.50	
41.37/20.50	c BEGIN-Prog: Tue Sep 24 17:18:47 CEST 2019
41.37/20.50	c PID: 16381
41.37/20.50	c IP: 172.20.3.123
41.37/20.50	c HOST: node123.alineos.net
41.37/20.50	c (0,0) SatSolver.solve Begin
41.37/20.50	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405227-1569338346.xml-scop-16360.cnf
41.37/20.50	c (0,0) c
41.37/20.50	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)
41.37/20.50	c (0,0) c
41.37/20.50	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
41.37/20.50	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
41.37/20.50	c (0,0) c ========================================[ Problem Statistics ]===========================================
41.37/20.50	c (0,0) c |                                                                                                       |
42.20/21.05	c (1,0) c |  Number of variables:        147164                                                                   |
42.20/21.05	c (1,0) c |  Number of clauses:         2445348                                                                   |
42.20/21.05	c (1,0) c |  Parse time:                   0.80 s                                                                 |
42.20/21.05	c (1,0) c |                                                                                                       |
45.60/24.42	c (4,0) c |  Simplification time:          3.31 s                                                                 |
45.60/24.42	c (4,0) c |                                                                                                       |
45.60/24.42	c (4,0) c |  Generating clones                                                                                    |
46.21/25.07	c (5,0) c |  all clones generated. Memory =  1375.02Mb.                                                           |
46.21/25.07	c (5,0) c ========================================================================================================|
46.21/25.07	c (5,0) c
46.21/25.07	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
46.21/25.07	c (5,0) c
46.21/25.07	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.21/25.07	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
46.21/25.07	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
46.21/25.07	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
46.21/25.07	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
46.21/25.07	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
46.21/25.07	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
46.21/25.07	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
46.21/25.07	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
46.21/25.07	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
46.21/25.07	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
46.21/25.07	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
46.21/25.07	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
46.21/25.07	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
46.21/25.07	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
46.21/25.07	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
46.21/25.07	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
46.21/25.07	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
46.21/25.07	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c
113.90/34.14	c (14,0) c real time : 13.9732 s
113.90/34.14	c (14,0) c cpu time  : 70.5621 s
113.90/34.14	c (14,0) c
113.90/34.14	c (14,0) c
113.90/34.14	c (14,0) c
113.90/34.14	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
113.90/34.14	c (14,0) c
113.90/34.14	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
113.90/34.14	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c | Conflicts     |           46478 |       2395 |       6610 |      11350 |       4148 |       6932 |       5348 |       5704 |       3991 |
113.90/34.14	c (14,0) c | Decisions     |          725318 |      88783 |      92262 |     101441 |      85218 |      71914 |     101798 |      89499 |      94403 |
113.90/34.14	c (14,0) c | Propagations  |       120415008 |   13324704 |   13466406 |   17036074 |   15250373 |   15098380 |   16202920 |   15427356 |   14608795 |
113.90/34.14	c (14,0) c | ReduceDBs     |              11 |          1 |          2 |          2 |          1 |          2 |          1 |          1 |          1 |
113.90/34.14	c (14,0) c | SimpDBs       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
113.90/34.14	c (14,0) c | Restarts      |             296 |         32 |         33 |         33 |         21 |         45 |         45 |         44 |         43 |
113.90/34.14	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
113.90/34.14	c (14,0) c | PropBinClauses|       206972226 |   23610284 |   23620475 |   28296069 |   26231066 |   26978824 |   27545147 |   26186199 |   24504162 |
113.90/34.14	c (14,0) c | PropPreBlocker|      1228995332 |  136579171 |  135871123 |  192827837 |  152406031 |  150625203 |  159475924 |  163689692 |  137520351 |
113.90/34.14	c (14,0) c | PropNotBlocker|       302054381 |   35809526 |   35744538 |   42297659 |   32513353 |   40529062 |   39476259 |   41200590 |   34483394 |
113.90/34.14	c (14,0) c | LitFullScans  |      2127962114 |  240204114 |  242942577 |  321837720 |  254329512 |  270184398 |  276091134 |  282212978 |  240159681 |
113.90/34.14	c (14,0) c | LitScanFracts |          797514 |     112941 |      68872 |      98191 |      82968 |     134920 |      37446 |     149867 |     112309 |
113.90/34.14	c (14,0) c | DecisionLevel0|             310 |         33 |         37 |         35 |         23 |         45 |         45 |         47 |         45 |
113.90/34.14	c (14,0) c | Periods       |             353 |         40 |         40 |         53 |         42 |         45 |         46 |         47 |         40 |
113.90/34.14	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
113.90/34.14	c (14,0) c | Avg_Trail     |                 |      68338 |      42383 |      28895 |      41932 |      42106 |      39810 |      41355 |      42418 |
113.90/34.14	c (14,0) c | Avg_DL        |                 |        564 |        294 |        193 |        332 |        268 |        304 |        242 |        403 |
113.90/34.14	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
113.90/34.14	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
113.90/34.14	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c | Exported      |            3711 |        176 |        462 |       1670 |        203 |        444 |        275 |        271 |        210 |
113.90/34.14	c (14,0) c | Imported      |            5508 |        592 |        573 |        984 |        651 |        722 |        653 |        773 |        560 |
113.90/34.14	c (14,0) c | Good          |            5154 |        560 |        542 |        870 |        620 |        684 |        615 |        733 |        530 |
113.90/34.14	c (14,0) c | Purge         |             354 |         32 |         31 |        114 |         31 |         38 |         38 |         40 |         30 |
113.90/34.14	c (14,0) c | Promoted      |               1 |          0 |          0 |          1 |          0 |          0 |          0 |          0 |          0 |
113.90/34.14	c (14,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
113.90/34.14	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
113.90/34.14	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c | Unaries       |                 |          1 |          4 |          2 |          2 |          0 |          0 |          3 |          2 |
113.90/34.14	c (14,0) c | Binaries      |                 |        167 |         98 |        141 |        184 |        100 |        217 |        146 |        198 |
113.90/34.14	c (14,0) c | Glues         |                 |        176 |        103 |        147 |        203 |        109 |        228 |        148 |        210 |
113.90/34.14	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c | Orig_Seen     |             1 % |      19177 |      20314 |      21550 |      16070 |      22805 |      22565 |      24054 |      17678 |
113.90/34.14	c (14,0) c | Diff Orig seen|                 | -     1137 |      X     |       1236 | -     4244 |       2491 |       2251 |       3740 | -     2636 |
113.90/34.14	c (14,0) c | Hamming       |            11 % |      17070 |      X     |      17490 |      17621 |      17408 |      17896 |      17611 |      17355 |
113.90/34.14	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c | RunningTime   |                 |    9.1 100%|    8.4 100%|    8.5 100%|    8.4 100%|    8.4 100%|    8.4 100%|    8.4 100%|    8.7 100%|
113.90/34.14	c (14,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%|
113.90/34.14	c (14,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%|
113.90/34.14	c (14,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%|
113.90/34.14	c (14,0) c | SolvingTime   |                 |    9.1     |    8.4     |    8.5     |    8.4     |    8.4     |    8.4     |    8.4     |    8.7     |
113.90/34.14	c (14,0) c | PropagationTim|                 |    8.5  93%|    7.8  93%|    7.8  92%|    7.8  93%|    7.8  92%|    7.8  93%|    7.8  93%|    8.2  93%|
113.90/34.14	c (14,0) c | AnalysisTime  |                 |    0.1   1%|    0.1   2%|    0.1   2%|    0.1   1%|    0.2   2%|    0.1   1%|    0.1   1%|    0.1   1%|
113.90/34.14	c (14,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%|
113.90/34.14	c (14,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   1%|    0.0   0%|    0.0   1%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   1%|
113.90/34.14	c (14,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%|
113.90/34.14	c (14,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%|
113.90/34.14	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.14	c (14,0) c
113.90/34.14	c (14,0) c
113.90/34.14	c (14,0) c Threads : 8
113.90/34.14	c (14,0) c Winner : 1
113.90/34.14	c (14,0) c Conflicts_0 : 2395
113.90/34.14	c (14,0) c Conflicts_1 : 6610
113.90/34.14	c (14,0) c Conflicts_2 : 11350
113.90/34.14	c (14,0) c Conflicts_3 : 4148
113.90/34.14	c (14,0) c Conflicts_4 : 6932
113.90/34.14	c (14,0) c Conflicts_5 : 5348
113.90/34.14	c (14,0) c Conflicts_6 : 5704
113.90/34.14	c (14,0) c Conflicts_7 : 3991
113.90/34.14	c (14,0) c Conflicts_total : 46478
113.90/34.14	c (14,0) c Conflicts_winner : 6610
113.90/34.14	c (14,0) c Decisions_0 : 88783
113.90/34.14	c (14,0) c Decisions_1 : 92262
113.90/34.14	c (14,0) c Decisions_2 : 101441
113.90/34.14	c (14,0) c Decisions_3 : 85218
113.90/34.14	c (14,0) c Decisions_4 : 71914
113.90/34.14	c (14,0) c Decisions_5 : 101798
113.90/34.14	c (14,0) c Decisions_6 : 89499
113.90/34.14	c (14,0) c Decisions_7 : 94403
113.90/34.14	c (14,0) c Decisions_total : 725318
113.90/34.14	c (14,0) c Decisions_winner : 92262
113.90/34.14	c (14,0) c Propagations_0 : 13324704
113.90/34.14	c (14,0) c Propagations_1 : 13466406
113.90/34.14	c (14,0) c Propagations_2 : 17036074
113.90/34.14	c (14,0) c Propagations_3 : 15250373
113.90/34.14	c (14,0) c Propagations_4 : 15098380
113.90/34.14	c (14,0) c Propagations_5 : 16202920
113.90/34.14	c (14,0) c Propagations_6 : 15427356
113.90/34.14	c (14,0) c Propagations_7 : 14608795
113.90/34.14	c (14,0) c Propagations_total : 120415008
113.90/34.14	c (14,0) c Propagations_winner : 13466406
113.90/34.14	c (14,0) c ReduceDBs_0 : 1
113.90/34.14	c (14,0) c ReduceDBs_1 : 2
113.90/34.14	c (14,0) c ReduceDBs_2 : 2
113.90/34.14	c (14,0) c ReduceDBs_3 : 1
113.90/34.14	c (14,0) c ReduceDBs_4 : 2
113.90/34.14	c (14,0) c ReduceDBs_5 : 1
113.90/34.14	c (14,0) c ReduceDBs_6 : 1
113.90/34.14	c (14,0) c ReduceDBs_7 : 1
113.90/34.14	c (14,0) c ReduceDBs_total : 11
113.90/34.14	c (14,0) c ReduceDBs_winner : 2
113.90/34.14	c (14,0) c SimpDBs_0 : 2
113.90/34.14	c (14,0) c SimpDBs_1 : 2
113.90/34.14	c (14,0) c SimpDBs_2 : 2
113.90/34.14	c (14,0) c SimpDBs_3 : 2
113.90/34.14	c (14,0) c SimpDBs_4 : 2
113.90/34.14	c (14,0) c SimpDBs_5 : 2
113.90/34.14	c (14,0) c SimpDBs_6 : 2
113.90/34.14	c (14,0) c SimpDBs_7 : 2
113.90/34.14	c (14,0) c SimpDBs_total : 16
113.90/34.14	c (14,0) c SimpDBs_winner : 2
113.90/34.14	c (14,0) c Restarts_0 : 32
113.90/34.14	c (14,0) c Restarts_1 : 33
113.90/34.14	c (14,0) c Restarts_2 : 33
113.90/34.14	c (14,0) c Restarts_3 : 21
113.90/34.14	c (14,0) c Restarts_4 : 45
113.90/34.14	c (14,0) c Restarts_5 : 45
113.90/34.14	c (14,0) c Restarts_6 : 44
113.90/34.14	c (14,0) c Restarts_7 : 43
113.90/34.14	c (14,0) c Restarts_total : 296
113.90/34.14	c (14,0) c Restarts_winner : 33
113.90/34.14	c (14,0) c ForcedImports_0 : 0
113.90/34.14	c (14,0) c ForcedImports_1 : 0
113.90/34.14	c (14,0) c ForcedImports_2 : 0
113.90/34.14	c (14,0) c ForcedImports_3 : 0
113.90/34.14	c (14,0) c ForcedImports_4 : 0
113.90/34.14	c (14,0) c ForcedImports_5 : 0
113.90/34.14	c (14,0) c ForcedImports_6 : 0
113.90/34.14	c (14,0) c ForcedImports_7 : 0
113.90/34.14	c (14,0) c ForcedImports_total : 0
113.90/34.14	c (14,0) c ForcedImports_winner : 0
113.90/34.14	c (14,0) c PropsBinClauses_0 : 23610284
113.90/34.14	c (14,0) c PropsBinClauses_1 : 23620475
113.90/34.15	c (14,0) c PropsBinClauses_2 : 28296069
113.90/34.15	c (14,0) c PropsBinClauses_3 : 26231066
113.90/34.15	c (14,0) c PropsBinClauses_4 : 26978824
113.90/34.15	c (14,0) c PropsBinClauses_5 : 27545147
113.90/34.15	c (14,0) c PropsBinClauses_6 : 26186199
113.90/34.15	c (14,0) c PropsBinClauses_7 : 24504162
113.90/34.15	c (14,0) c PropsBinClauses_total : 206972226
113.90/34.15	c (14,0) c PropsBinClauses_winner : 23620475
113.90/34.15	c (14,0) c PropsPreBlocker_0 : 136579171
113.90/34.15	c (14,0) c PropsPreBlocker_1 : 135871123
113.90/34.15	c (14,0) c PropsPreBlocker_2 : 192827837
113.90/34.15	c (14,0) c PropsPreBlocker_3 : 152406031
113.90/34.15	c (14,0) c PropsPreBlocker_4 : 150625203
113.90/34.15	c (14,0) c PropsPreBlocker_5 : 159475924
113.90/34.15	c (14,0) c PropsPreBlocker_6 : 163689692
113.90/34.15	c (14,0) c PropsPreBlocker_7 : 137520351
113.90/34.15	c (14,0) c PropsPreBlocker_total : 1228995332
113.90/34.15	c (14,0) c PropsPreBlocker_winner : 135871123
113.90/34.15	c (14,0) c PropsNotBlocker_0 : 35809526
113.90/34.15	c (14,0) c PropsNotBlocker_1 : 35744538
113.90/34.15	c (14,0) c PropsNotBlocker_2 : 42297659
113.90/34.15	c (14,0) c PropsNotBlocker_3 : 32513353
113.90/34.15	c (14,0) c PropsNotBlocker_4 : 40529062
113.90/34.15	c (14,0) c PropsNotBlocker_5 : 39476259
113.90/34.15	c (14,0) c PropsNotBlocker_6 : 41200590
113.90/34.15	c (14,0) c PropsNotBlocker_7 : 34483394
113.90/34.15	c (14,0) c PropsNotBlocker_total : 302054381
113.90/34.15	c (14,0) c PropsNotBlocker_winner : 35744538
113.90/34.15	c (14,0) c PropsLitFullScans_0 : 240204114
113.90/34.15	c (14,0) c PropsLitFullScans_1 : 242942577
113.90/34.15	c (14,0) c PropsLitFullScans_2 : 321837720
113.90/34.15	c (14,0) c PropsLitFullScans_3 : 254329512
113.90/34.15	c (14,0) c PropsLitFullScans_4 : 270184398
113.90/34.15	c (14,0) c PropsLitFullScans_5 : 276091134
113.90/34.15	c (14,0) c PropsLitFullScans_6 : 282212978
113.90/34.15	c (14,0) c PropsLitFullScans_7 : 240159681
113.90/34.15	c (14,0) c PropsLitFullScans_total : 2127962114
113.90/34.15	c (14,0) c PropsLitFullScans_winner : 242942577
113.90/34.15	c (14,0) c LitScanFractions_0 : 112941
113.90/34.15	c (14,0) c LitScanFractions_1 : 68872
113.90/34.15	c (14,0) c LitScanFractions_2 : 98191
113.90/34.15	c (14,0) c LitScanFractions_3 : 82968
113.90/34.15	c (14,0) c LitScanFractions_4 : 134920
113.90/34.15	c (14,0) c LitScanFractions_5 : 37446
113.90/34.15	c (14,0) c LitScanFractions_6 : 149867
113.90/34.15	c (14,0) c LitScanFractions_7 : 112309
113.90/34.15	c (14,0) c LitScanFractions_total : 797514
113.90/34.15	c (14,0) c LitScanFractions_winner : 68872
113.90/34.15	c (14,0) c DecisionLevel0_0 : 33
113.90/34.15	c (14,0) c DecisionLevel0_1 : 37
113.90/34.15	c (14,0) c DecisionLevel0_2 : 35
113.90/34.15	c (14,0) c DecisionLevel0_3 : 23
113.90/34.15	c (14,0) c DecisionLevel0_4 : 45
113.90/34.15	c (14,0) c DecisionLevel0_5 : 45
113.90/34.15	c (14,0) c DecisionLevel0_6 : 47
113.90/34.15	c (14,0) c DecisionLevel0_7 : 45
113.90/34.15	c (14,0) c DecisionLevel0_total : 310
113.90/34.15	c (14,0) c DecisionLevel0_winner : 37
113.90/34.15	c (14,0) c Periods_0 : 40
113.90/34.15	c (14,0) c Periods_1 : 40
113.90/34.15	c (14,0) c Periods_2 : 53
113.90/34.15	c (14,0) c Periods_3 : 42
113.90/34.15	c (14,0) c Periods_4 : 45
113.90/34.15	c (14,0) c Periods_5 : 46
113.90/34.15	c (14,0) c Periods_6 : 47
113.90/34.15	c (14,0) c Periods_7 : 40
113.90/34.15	c (14,0) c Periods_total : 353
113.90/34.15	c (14,0) c Periods_winner : 40
113.90/34.15	c (14,0) c Margin_0 : 20
113.90/34.15	c (14,0) c Margin_1 : 20
113.90/34.15	c (14,0) c Margin_2 : 20
113.90/34.15	c (14,0) c Margin_3 : 20
113.90/34.15	c (14,0) c Margin_4 : 20
113.90/34.15	c (14,0) c Margin_5 : 20
113.90/34.15	c (14,0) c Margin_6 : 20
113.90/34.15	c (14,0) c Margin_7 : 20
113.90/34.15	c (14,0) c Margin_total : 160
113.90/34.15	c (14,0) c Margin_winner : 20
113.90/34.15	c (14,0) c Exported_0 : 176
113.90/34.15	c (14,0) c Exported_1 : 462
113.90/34.15	c (14,0) c Exported_2 : 1670
113.90/34.15	c (14,0) c Exported_3 : 203
113.90/34.15	c (14,0) c Exported_4 : 444
113.90/34.15	c (14,0) c Exported_5 : 275
113.90/34.15	c (14,0) c Exported_6 : 271
113.90/34.15	c (14,0) c Exported_7 : 210
113.90/34.15	c (14,0) c Exported_total : 3711
113.90/34.15	c (14,0) c Exported_winner : 462
113.90/34.15	c (14,0) c Imported_0 : 592
113.90/34.15	c (14,0) c Imported_1 : 573
113.90/34.15	c (14,0) c Imported_2 : 984
113.90/34.15	c (14,0) c Imported_3 : 651
113.90/34.15	c (14,0) c Imported_4 : 722
113.90/34.15	c (14,0) c Imported_5 : 653
113.90/34.15	c (14,0) c Imported_6 : 773
113.90/34.15	c (14,0) c Imported_7 : 560
113.90/34.15	c (14,0) c Imported_total : 5508
113.90/34.15	c (14,0) c Imported_winner : 573
113.90/34.15	c (14,0) c Good_0 : 560
113.90/34.15	c (14,0) c Good_1 : 542
113.90/34.15	c (14,0) c Good_2 : 870
113.90/34.15	c (14,0) c Good_3 : 620
113.90/34.15	c (14,0) c Good_4 : 684
113.90/34.15	c (14,0) c Good_5 : 615
113.90/34.15	c (14,0) c Good_6 : 733
113.90/34.15	c (14,0) c Good_7 : 530
113.90/34.15	c (14,0) c Good_total : 5154
113.90/34.15	c (14,0) c Good_winner : 542
113.90/34.15	c (14,0) c Purge_0 : 32
113.90/34.15	c (14,0) c Purge_1 : 31
113.90/34.15	c (14,0) c Purge_2 : 114
113.90/34.15	c (14,0) c Purge_3 : 31
113.90/34.15	c (14,0) c Purge_4 : 38
113.90/34.15	c (14,0) c Purge_5 : 38
113.90/34.15	c (14,0) c Purge_6 : 40
113.90/34.15	c (14,0) c Purge_7 : 30
113.90/34.15	c (14,0) c Purge_total : 354
113.90/34.15	c (14,0) c Purge_winner : 31
113.90/34.15	c (14,0) c Promoted_0 : 0
113.90/34.15	c (14,0) c Promoted_1 : 0
113.90/34.15	c (14,0) c Promoted_2 : 1
113.90/34.15	c (14,0) c Promoted_3 : 0
113.90/34.15	c (14,0) c Promoted_4 : 0
113.90/34.15	c (14,0) c Promoted_5 : 0
113.90/34.15	c (14,0) c Promoted_6 : 0
113.90/34.15	c (14,0) c Promoted_7 : 0
113.90/34.15	c (14,0) c Promoted_total : 1
113.90/34.15	c (14,0) c Promoted_winner : 0
113.90/34.15	c (14,0) c Remove_Imp_0 : 0
113.90/34.15	c (14,0) c Remove_Imp_1 : 0
113.90/34.15	c (14,0) c Remove_Imp_2 : 0
113.90/34.15	c (14,0) c Remove_Imp_3 : 0
113.90/34.15	c (14,0) c Remove_Imp_4 : 0
113.90/34.15	c (14,0) c Remove_Imp_5 : 0
113.90/34.15	c (14,0) c Remove_Imp_6 : 0
113.90/34.15	c (14,0) c Remove_Imp_7 : 0
113.90/34.15	c (14,0) c Remove_Imp_total : 0
113.90/34.15	c (14,0) c Remove_Imp_winner : 0
113.90/34.15	c (14,0) c Blocked_Reuse_0 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_1 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_2 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_3 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_4 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_5 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_6 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_7 : 0
113.90/34.15	c (14,0) c Blocked_Reuse_total : 0
113.90/34.15	c (14,0) c Blocked_Reuse_winner : 0
113.90/34.15	c (14,0) c Unaries_0 : 1
113.90/34.15	c (14,0) c Unaries_1 : 4
113.90/34.15	c (14,0) c Unaries_2 : 2
113.90/34.15	c (14,0) c Unaries_3 : 2
113.90/34.15	c (14,0) c Unaries_4 : 0
113.90/34.15	c (14,0) c Unaries_5 : 0
113.90/34.15	c (14,0) c Unaries_6 : 3
113.90/34.15	c (14,0) c Unaries_7 : 2
113.90/34.15	c (14,0) c Unaries_total : 14
113.90/34.15	c (14,0) c Unaries_winner : 4
113.90/34.15	c (14,0) c Binaries_0 : 167
113.90/34.15	c (14,0) c Binaries_1 : 98
113.90/34.15	c (14,0) c Binaries_2 : 141
113.90/34.15	c (14,0) c Binaries_3 : 184
113.90/34.15	c (14,0) c Binaries_4 : 100
113.90/34.15	c (14,0) c Binaries_5 : 217
113.90/34.15	c (14,0) c Binaries_6 : 146
113.90/34.15	c (14,0) c Binaries_7 : 198
113.90/34.15	c (14,0) c Binaries_total : 1251
113.90/34.15	c (14,0) c Binaries_winner : 98
113.90/34.15	c (14,0) c Glues_0 : 176
113.90/34.15	c (14,0) c Glues_1 : 103
113.90/34.15	c (14,0) c Glues_2 : 147
113.90/34.15	c (14,0) c Glues_3 : 203
113.90/34.15	c (14,0) c Glues_4 : 109
113.90/34.15	c (14,0) c Glues_5 : 228
113.90/34.15	c (14,0) c Glues_6 : 148
113.90/34.15	c (14,0) c Glues_7 : 210
113.90/34.15	c (14,0) c Glues_total : 1324
113.90/34.15	c (14,0) c Glues_winner : 103
113.90/34.15	c (14,0) c RunningTime_0 : 9.056243
113.90/34.15	c (14,0) c RunningTime_1 : 8.400444
113.90/34.15	c (14,0) c RunningTime_2 : 8.450329
113.90/34.15	c (14,0) c RunningTime_3 : 8.422035
113.90/34.15	c (14,0) c RunningTime_4 : 8.419718
113.90/34.15	c (14,0) c RunningTime_5 : 8.431433
113.90/34.15	c (14,0) c RunningTime_6 : 8.409031
113.90/34.15	c (14,0) c RunningTime_7 : 8.728421
113.90/34.15	c (14,0) c RunningTime_total : 68.317655
113.90/34.15	c (14,0) c RunningTime_winner : 8.400444
113.90/34.15	c (14,0) c WaitingTime_0 : 0.000030
113.90/34.15	c (14,0) c WaitingTime_1 : 0.000037
113.90/34.15	c (14,0) c WaitingTime_2 : 0.000080
113.90/34.15	c (14,0) c WaitingTime_3 : 0.000062
113.90/34.15	c (14,0) c WaitingTime_4 : 0.000070
113.90/34.15	c (14,0) c WaitingTime_5 : 0.000071
113.90/34.15	c (14,0) c WaitingTime_6 : 0.000069
113.90/34.15	c (14,0) c WaitingTime_7 : 0.000032
113.90/34.15	c (14,0) c WaitingTime_total : 0.000451
113.90/34.15	c (14,0) c WaitingTime_winner : 0.000037
113.90/34.15	c (14,0) c ExchangingTime_0 : 0.001411
113.90/34.15	c (14,0) c ExchangingTime_1 : 0.001493
113.90/34.15	c (14,0) c ExchangingTime_2 : 0.002303
113.90/34.15	c (14,0) c ExchangingTime_3 : 0.001724
113.90/34.15	c (14,0) c ExchangingTime_4 : 0.001855
113.90/34.15	c (14,0) c ExchangingTime_5 : 0.001924
113.90/34.15	c (14,0) c ExchangingTime_6 : 0.001852
113.90/34.15	c (14,0) c ExchangingTime_7 : 0.001725
113.90/34.15	c (14,0) c ExchangingTime_total : 0.014286
113.90/34.15	c (14,0) c ExchangingTime_winner : 0.001493
113.90/34.15	c (14,0) c PeriodProcTime_0 : 0.000465
113.90/34.15	c (14,0) c PeriodProcTime_1 : 0.000453
113.90/34.15	c (14,0) c PeriodProcTime_2 : 0.000542
113.90/34.15	c (14,0) c PeriodProcTime_3 : 0.000490
113.90/34.15	c (14,0) c PeriodProcTime_4 : 0.000470
113.90/34.15	c (14,0) c PeriodProcTime_5 : 0.000507
113.90/34.15	c (14,0) c PeriodProcTime_6 : 0.000487
113.90/34.15	c (14,0) c PeriodProcTime_7 : 0.000484
113.90/34.15	c (14,0) c PeriodProcTime_total : 0.003898
113.90/34.15	c (14,0) c PeriodProcTime_winner : 0.000453
113.90/34.15	c (14,0) c SolvingTime_0 : 9.058150
113.90/34.15	c (14,0) c SolvingTime_1 : 8.402427
113.90/34.15	c (14,0) c SolvingTime_2 : 8.453253
113.90/34.15	c (14,0) c SolvingTime_3 : 8.424312
113.90/34.15	c (14,0) c SolvingTime_4 : 8.422113
113.90/34.15	c (14,0) c SolvingTime_5 : 8.433935
113.90/34.15	c (14,0) c SolvingTime_6 : 8.411438
113.90/34.15	c (14,0) c SolvingTime_7 : 8.730661
113.90/34.15	c (14,0) c SolvingTime_total : 68.336289
113.90/34.15	c (14,0) c SolvingTime_winner : 8.402427
113.90/34.15	c (14,0) c PropagationTime_0 : 8.455135
113.90/34.15	c (14,0) c PropagationTime_1 : 7.815738
113.90/34.15	c (14,0) c PropagationTime_2 : 7.801987
113.90/34.15	c (14,0) c PropagationTime_3 : 7.844911
113.90/34.15	c (14,0) c PropagationTime_4 : 7.754677
113.90/34.15	c (14,0) c PropagationTime_5 : 7.801913
113.90/34.15	c (14,0) c PropagationTime_6 : 7.810196
113.90/34.15	c (14,0) c PropagationTime_7 : 8.150969
113.90/34.15	c (14,0) c PropagationTime_total : 63.435527
113.90/34.15	c (14,0) c PropagationTime_winner : 7.815738
113.90/34.15	c (14,0) c AnalysisTime_0 : 0.106662
113.90/34.15	c (14,0) c AnalysisTime_1 : 0.129032
113.90/34.15	c (14,0) c AnalysisTime_2 : 0.146935
113.90/34.15	c (14,0) c AnalysisTime_3 : 0.081102
113.90/34.15	c (14,0) c AnalysisTime_4 : 0.171033
113.90/34.15	c (14,0) c AnalysisTime_5 : 0.121360
113.90/34.15	c (14,0) c AnalysisTime_6 : 0.107870
113.90/34.15	c (14,0) c AnalysisTime_7 : 0.070555
113.90/34.15	c (14,0) c AnalysisTime_total : 0.934549
113.90/34.15	c (14,0) c AnalysisTime_winner : 0.129032
113.90/34.15	c (14,0) c ReductionTime_0 : 0.000443
113.90/34.15	c (14,0) c ReductionTime_1 : 0.001958
113.90/34.15	c (14,0) c ReductionTime_2 : 0.001607
113.90/34.15	c (14,0) c ReductionTime_3 : 0.000396
113.90/34.15	c (14,0) c ReductionTime_4 : 0.001668
113.90/34.15	c (14,0) c ReductionTime_5 : 0.000436
113.90/34.15	c (14,0) c ReductionTime_6 : 0.000449
113.90/34.15	c (14,0) c ReductionTime_7 : 0.000747
113.90/34.15	c (14,0) c ReductionTime_total : 0.007704
113.90/34.15	c (14,0) c ReductionTime_winner : 0.001958
113.90/34.15	c (14,0) c SimplifyTime_0 : 0.041776
113.90/34.15	c (14,0) c SimplifyTime_1 : 0.043838
113.90/34.15	c (14,0) c SimplifyTime_2 : 0.039973
113.90/34.15	c (14,0) c SimplifyTime_3 : 0.045728
113.90/34.15	c (14,0) c SimplifyTime_4 : 0.041721
113.90/34.15	c (14,0) c SimplifyTime_5 : 0.040539
113.90/34.15	c (14,0) c SimplifyTime_6 : 0.040486
113.90/34.15	c (14,0) c SimplifyTime_7 : 0.046424
113.90/34.15	c (14,0) c SimplifyTime_total : 0.340485
113.90/34.15	c (14,0) c SimplifyTime_winner : 0.043838
113.90/34.15	c (14,0) c UsedRateTime_0 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_1 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_2 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_3 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_4 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_5 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_6 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_7 : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_total : 0.000000
113.90/34.15	c (14,0) c UsedRateTime_winner : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_0 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_1 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_2 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_3 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_4 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_5 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_6 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_7 : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_total : 0.000000
113.90/34.15	c (14,0) c OverlapRateTime_winner : 0.000000
113.90/34.15	c (14,0) c
113.90/34.15	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
113.90/34.15	c (14,0) c
113.90/34.15	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.15	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
113.90/34.15	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.15	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
113.90/34.15	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
113.90/34.15	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
113.90/34.15	c (14,0) c | Initial random_seed   | 1556046237 |   30668638 | 1706824724 |  602877515 | 1525324162 |  161276733 | 1979774895 |  878862815 |
113.90/34.15	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
113.90/34.15	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
113.90/34.15	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
113.90/34.15	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
113.90/34.15	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
113.90/34.15	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
113.90/34.15	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
113.90/34.15	c (14,0) c | var_decay             |     0.8000 |     0.8100 |     0.8200 |     0.8000 |     0.8100 |     0.8100 |     0.8100 |     0.8000 |
113.90/34.15	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
113.90/34.15	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
113.90/34.15	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
113.90/34.15	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
113.90/34.15	c (14,0) 
113.90/34.16	c (14,0) s SATISFIABLE
41.55/34.27	c (14,0) SatSolver.solve End
41.55/34.27	c (14,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
41.55/34.27	c (14,0) Show results Begin
114.63/34.47	c (14,0) cls[0] = 21
114.63/34.47	c (14,0) cls[1] = 16
114.63/34.47	c (14,0) cls[2] = 20
114.63/34.47	c (14,0) cls[3] = 21
114.63/34.47	c (14,0) cls[4] = 10
114.63/34.47	c (14,0) cls[5] = 2
114.63/34.47	c (14,0) cls[6] = 0
114.63/34.47	c (14,0) cls[7] = 10
114.63/34.47	c (14,0) cls[8] = 2
114.63/34.47	c (14,0) cls[9] = 10
114.63/34.47	c (14,0) cls[10] = 24
114.63/34.47	c (14,0) cls[11] = 11
114.63/34.47	c (14,0) cls[12] = 10
114.63/34.47	c (14,0) cls[13] = 16
114.63/34.47	c (14,0) cls[14] = 11
114.63/34.47	c (14,0) cls[15] = 6
114.63/34.47	c (14,0) cls[16] = 18
114.63/34.47	c (14,0) cls[17] = 16
114.63/34.47	c (14,0) cls[18] = 20
114.63/34.47	c (14,0) cls[19] = 5
114.63/34.47	c (14,0) cls[20] = 18
114.63/34.47	c (14,0) cls[21] = 2
114.63/34.47	c (14,0) cls[22] = 13
114.63/34.47	c (14,0) cls[23] = 16
114.63/34.47	c (14,0) cls[24] = 6
114.63/34.47	c (14,0) cls[25] = 3
114.63/34.47	c (14,0) cls[26] = 16
114.63/34.47	c (14,0) cls[27] = 23
114.63/34.47	c (14,0) cls[28] = 0
114.63/34.47	c (14,0) cls[29] = 6
114.63/34.47	c (14,0) cls[30] = 18
114.63/34.47	c (14,0) cls[31] = 7
114.63/34.47	c (14,0) cls[32] = 0
114.63/34.47	c (14,0) cls[33] = 6
114.63/34.47	c (14,0) cls[34] = 2
114.63/34.47	c (14,0) cls[35] = 6
114.63/34.47	c (14,0) cls[36] = 20
114.63/34.47	c (14,0) cls[37] = 18
114.63/34.47	c (14,0) cls[38] = 6
114.63/34.47	c (14,0) cls[39] = 16
114.63/34.47	c (14,0) cls[40] = 18
114.63/34.47	c (14,0) cls[41] = 13
114.63/34.47	c (14,0) cls[42] = 18
114.63/34.47	c (14,0) cls[43] = 6
114.63/34.47	c (14,0) cls[44] = 17
114.63/34.47	c (14,0) cls[45] = 6
114.63/34.47	c (14,0) cls[46] = 16
114.63/34.47	c (14,0) cls[47] = 23
114.63/34.47	c (14,0) cls[48] = 2
114.63/34.47	c (14,0) cls[49] = 6
114.63/34.47	c (14,0) cls[50] = 20
114.63/34.47	c (14,0) cls[51] = 0
114.63/34.47	c (14,0) cls[52] = 10
114.63/34.47	c (14,0) cls[53] = 2
114.63/34.47	c (14,0) cls[54] = 2
114.63/34.47	c (14,0) cls[55] = 5
114.63/34.47	c (14,0) cls[56] = 10
114.63/34.47	c (14,0) cls[57] = 16
114.63/34.47	c (14,0) cls[58] = 8
114.63/34.47	c (14,0) cls[59] = 2
114.63/34.47	c (14,0) cls[60] = 9
114.63/34.47	c (14,0) cls[61] = 5
114.63/34.47	c (14,0) cls[62] = 10
114.63/34.47	c (14,0) cls[63] = 2
114.63/34.47	c (14,0) cls[64] = 2
114.63/34.47	c (14,0) cls[65] = 12
114.63/34.47	c (14,0) cls[66] = 13
114.63/34.47	c (14,0) cls[67] = 16
114.63/34.47	c (14,0) cls[68] = 22
114.63/34.47	c (14,0) cls[69] = 2
114.63/34.47	c (14,0) cls[70] = 17
114.63/34.47	c (14,0) cls[71] = 10
114.63/34.47	c (14,0) cls[72] = 16
114.63/34.47	c (14,0) cls[73] = 2
114.63/34.47	c (14,0) cls[74] = 5
114.63/34.47	c (14,0) cls[75] = 16
114.63/34.47	c (14,0) cls[76] = 9
114.63/34.47	c (14,0) cls[77] = 2
114.63/34.47	c (14,0) cls[78] = 6
114.63/34.47	c (14,0) cls[79] = 5
114.63/34.47	c (14,0) cls[80] = 16
114.63/34.47	c (14,0) cls[81] = 19
114.63/34.47	c (14,0) cls[82] = 5
114.63/34.47	c (14,0) cls[83] = 2
114.63/34.47	c (14,0) cls[84] = 10
114.63/34.47	c (14,0) cls[85] = 5
114.63/34.48	c (14,0) cls[86] = 3
114.63/34.48	c (14,0) cls[87] = 16
114.63/34.48	c (14,0) cls[88] = 5
114.63/34.48	c (14,0) cls[89] = 18
114.63/34.48	c (14,0) cls[90] = 10
114.63/34.48	c (14,0) cls[91] = 5
114.63/34.48	c (14,0) cls[92] = 22
114.63/34.48	c (14,0) cls[93] = 24
114.63/34.48	c (14,0) cls[94] = 0
114.63/34.48	c (14,0) cls[95] = 10
114.63/34.48	c (14,0) cls[96] = 2
114.63/34.48	c (14,0) cls[97] = 10
114.63/34.48	c (14,0) cls[98] = 2
114.63/34.48	c (14,0) cls[99] = 5
114.63/34.48	c (14,0) cls[100] = 9
114.63/34.48	c (14,0) cls[101] = 18
114.63/34.48	c (14,0) cls[102] = 5
114.63/34.48	c (14,0) cls[103] = 23
114.63/34.48	c (14,0) cls[104] = 16
114.63/34.48	c (14,0) cls[105] = 12
114.63/34.48	c (14,0) cls[106] = 6
114.63/34.48	c (14,0) cls[107] = 2
114.63/34.48	c (14,0) cls[108] = 4
114.63/34.48	c (14,0) cls[109] = 16
114.63/34.48	c (14,0) cls[110] = 6
114.63/34.48	c (14,0) cls[111] = 1
114.63/34.48	c (14,0) cls[112] = 2
114.63/34.48	c (14,0) cls[113] = 10
114.63/34.48	c (14,0) cls[114] = 5
114.63/34.48	c (14,0) cls[115] = 10
114.63/34.48	c (14,0) cls[116] = 2
114.63/34.48	c (14,0) cls[117] = 0
114.63/34.48	c (14,0) cls[118] = 16
114.63/34.48	c (14,0) cls[119] = 6
114.63/34.48	c (14,0) cls[120] = 3
114.63/34.48	c (14,0) cls[121] = 13
114.63/34.48	c (14,0) cls[122] = 2
114.63/34.48	c (14,0) cls[123] = 10
114.63/34.48	c (14,0) cls[124] = 5
114.63/34.48	c (14,0) cls[125] = 2
114.63/34.48	c (14,0) cls[126] = 20
114.63/34.48	c (14,0) cls[127] = 4
114.63/34.48	c (14,0) cls[128] = 16
114.63/34.48	c (14,0) cls[129] = 23
114.63/34.48	c (14,0) cls[130] = 11
114.63/34.48	c (14,0) cls[131] = 16
114.63/34.48	c (14,0) cls[132] = 20
114.63/34.48	c (14,0) cls[133] = 0
114.63/34.48	c (14,0) cls[134] = 22
114.63/34.48	c (14,0) cls[135] = 2
114.63/34.48	c (14,0) cls[136] = 0
114.63/34.48	c (14,0) cls[137] = 6
114.63/34.48	c (14,0) cls[138] = 16
114.63/34.48	c (14,0) cls[139] = 6
114.63/34.48	c (14,0) cls[140] = 12
114.63/34.48	c (14,0) cls[141] = 2
114.63/34.48	c (14,0) cls[142] = 22
114.63/34.48	c (14,0) cls[143] = 16
114.63/34.48	c (14,0) cls[144] = 6
114.63/34.48	c (14,0) cls[145] = 0
114.63/34.48	c (14,0) cls[146] = 23
114.63/34.48	c (14,0) cls[147] = 20
114.63/34.48	c (14,0) cls[148] = 8
114.63/34.48	c (14,0) cls[149] = 16
114.63/34.48	c (14,0) cls[150] = 16
114.63/34.48	c (14,0) cls[151] = 13
114.63/34.48	c (14,0) cls[152] = 2
114.63/34.48	c (14,0) cls[153] = 16
114.63/34.48	c (14,0) cls[154] = 6
114.63/34.48	c (14,0) cls[155] = 15
114.63/34.48	c (14,0) cls[156] = 16
114.63/34.48	c (14,0) cls[157] = 2
114.63/34.48	c (14,0) cls[158] = 10
114.63/34.48	c (14,0) cls[159] = 0
114.63/34.48	c (14,0) cls[160] = 2
114.63/34.48	c (14,0) cls[161] = 6
114.63/34.48	c (14,0) cls[162] = 21
114.63/34.48	c (14,0) cls[163] = 7
114.63/34.48	c (14,0) cls[164] = 16
114.63/34.48	c (14,0) cls[165] = 18
114.63/34.48	c (14,0) cls[166] = 13
114.63/34.48	c (14,0) cls[167] = 2
114.63/34.48	c (14,0) cls[168] = 16
114.63/34.48	c (14,0) cls[169] = 16
114.63/34.48	c (14,0) cls[170] = 2
114.63/34.48	c (14,0) cls[171] = 14
114.63/34.48	c (14,0) cls[172] = 16
114.63/34.48	c (14,0) cls[173] = 10
114.63/34.48	c (14,0) cls[174] = 5
114.63/34.48	c (14,0) cls[175] = 2
114.63/34.48	c (14,0) cls[176] = 6
114.63/34.48	c (14,0) cls[177] = 21
114.63/34.48	c (14,0) cls[178] = 16
114.63/34.48	c (14,0) cls[179] = 6
114.63/34.48	c (14,0) cls[180] = 0
114.63/34.48	c (14,0) cls[181] = 18
114.63/34.48	c (14,0) cls[182] = 7
114.63/34.48	c (14,0) cls[183] = 5
114.63/34.48	c (14,0) cls[184] = 2
114.63/34.48	c (14,0) cls[185] = 16
114.63/34.48	c (14,0) cls[186] = 6
114.63/34.48	c (14,0) cls[187] = 5
114.63/34.48	c (14,0) cls[188] = 22
114.63/34.48	c (14,0) cls[189] = 20
114.63/34.48	c (14,0) cls[190] = 10
114.63/34.48	c (14,0) cls[191] = 5
114.63/34.48	c (14,0) cls[192] = 18
114.63/34.48	c (14,0) cls[193] = 18
114.63/34.48	c (14,0) cls[194] = 20
114.63/34.48	c (14,0) cls[195] = 10
114.63/34.48	c (14,0) cls[196] = 0
114.63/34.48	c (14,0) cls[197] = 2
114.63/34.48	c (14,0) cls[198] = 2
114.63/34.48	c (14,0) cls[199] = 7
114.63/34.48	c (14,0) opt[0][0] = 0
114.63/34.48	c (14,0) opt[0][1] = 1
114.63/34.48	c (14,0) opt[0][2] = 1
114.63/34.48	c (14,0) opt[0][3] = 1
114.63/34.48	c (14,0) opt[0][4] = 0
114.63/34.48	c (14,0) opt[1][0] = 0
114.63/34.48	c (14,0) opt[1][1] = 1
114.63/34.48	c (14,0) opt[1][2] = 0
114.63/34.48	c (14,0) opt[1][3] = 0
114.63/34.48	c (14,0) opt[1][4] = 0
114.63/34.48	c (14,0) opt[2][0] = 0
114.63/34.48	c (14,0) opt[2][1] = 0
114.63/34.48	c (14,0) opt[2][2] = 0
114.63/34.48	c (14,0) opt[2][3] = 0
114.63/34.48	c (14,0) opt[2][4] = 1
114.63/34.48	c (14,0) opt[3][0] = 0
114.63/34.48	c (14,0) opt[3][1] = 1
114.63/34.48	c (14,0) opt[3][2] = 1
114.63/34.48	c (14,0) opt[3][3] = 1
114.63/34.48	c (14,0) opt[3][4] = 0
114.63/34.48	c (14,0) opt[4][0] = 1
114.63/34.48	c (14,0) opt[4][1] = 1
114.63/34.48	c (14,0) opt[4][2] = 0
114.63/34.48	c (14,0) opt[4][3] = 0
114.63/34.48	c (14,0) opt[4][4] = 0
114.63/34.48	c (14,0) opt[5][0] = 0
114.63/34.48	c (14,0) opt[5][1] = 0
114.63/34.48	c (14,0) opt[5][2] = 0
114.63/34.48	c (14,0) opt[5][3] = 1
114.63/34.48	c (14,0) opt[5][4] = 0
114.63/34.48	c (14,0) opt[6][0] = 0
114.63/34.48	c (14,0) opt[6][1] = 1
114.63/34.48	c (14,0) opt[6][2] = 1
114.63/34.48	c (14,0) opt[6][3] = 0
114.63/34.48	c (14,0) opt[6][4] = 0
114.63/34.48	c (14,0) opt[7][0] = 1
114.63/34.48	c (14,0) opt[7][1] = 1
114.63/34.48	c (14,0) opt[7][2] = 0
114.63/34.48	c (14,0) opt[7][3] = 0
114.63/34.48	c (14,0) opt[7][4] = 0
114.63/34.48	c (14,0) opt[8][0] = 0
114.63/34.48	c (14,0) opt[8][1] = 0
114.63/34.48	c (14,0) opt[8][2] = 0
114.63/34.48	c (14,0) opt[8][3] = 1
114.63/34.48	c (14,0) opt[8][4] = 0
114.63/34.48	c (14,0) opt[9][0] = 1
114.63/34.48	c (14,0) opt[9][1] = 1
114.63/34.48	c (14,0) opt[9][2] = 0
114.63/34.48	c (14,0) opt[9][3] = 0
114.63/34.48	c (14,0) opt[9][4] = 0
114.63/34.48	c (14,0) opt[10][0] = 0
114.63/34.48	c (14,0) opt[10][1] = 0
114.63/34.48	c (14,0) opt[10][2] = 0
114.63/34.48	c (14,0) opt[10][3] = 0
114.63/34.48	c (14,0) opt[10][4] = 1
114.63/34.48	c (14,0) opt[11][0] = 0
114.63/34.48	c (14,0) opt[11][1] = 0
114.63/34.48	c (14,0) opt[11][2] = 1
114.63/34.48	c (14,0) opt[11][3] = 1
114.63/34.48	c (14,0) opt[11][4] = 0
114.63/34.48	c (14,0) opt[12][0] = 1
114.63/34.48	c (14,0) opt[12][1] = 1
114.63/34.48	c (14,0) opt[12][2] = 0
114.63/34.48	c (14,0) opt[12][3] = 0
114.63/34.48	c (14,0) opt[12][4] = 0
114.63/34.48	c (14,0) opt[13][0] = 0
114.63/34.48	c (14,0) opt[13][1] = 1
114.63/34.48	c (14,0) opt[13][2] = 0
114.63/34.48	c (14,0) opt[13][3] = 0
114.63/34.48	c (14,0) opt[13][4] = 0
114.63/34.48	c (14,0) opt[14][0] = 0
114.63/34.48	c (14,0) opt[14][1] = 0
114.63/34.48	c (14,0) opt[14][2] = 1
114.63/34.48	c (14,0) opt[14][3] = 1
114.63/34.48	c (14,0) opt[14][4] = 0
114.63/34.48	c (14,0) opt[15][0] = 1
114.63/34.48	c (14,0) opt[15][1] = 0
114.63/34.48	c (14,0) opt[15][2] = 0
114.63/34.48	c (14,0) opt[15][3] = 0
114.63/34.48	c (14,0) opt[15][4] = 0
114.63/34.48	c (14,0) opt[16][0] = 0
114.63/34.48	c (14,0) opt[16][1] = 1
114.63/34.48	c (14,0) opt[16][2] = 0
114.63/34.48	c (14,0) opt[16][3] = 1
114.63/34.48	c (14,0) opt[16][4] = 0
114.63/34.48	c (14,0) opt[17][0] = 0
114.63/34.48	c (14,0) opt[17][1] = 1
114.63/34.48	c (14,0) opt[17][2] = 0
114.63/34.48	c (14,0) opt[17][3] = 0
114.63/34.48	c (14,0) opt[17][4] = 0
114.63/34.48	c (14,0) opt[18][0] = 0
114.63/34.48	c (14,0) opt[18][1] = 0
114.63/34.48	c (14,0) opt[18][2] = 0
114.63/34.48	c (14,0) opt[18][3] = 0
114.63/34.48	c (14,0) opt[18][4] = 1
114.63/34.48	c (14,0) opt[19][0] = 0
114.63/34.48	c (14,0) opt[19][1] = 0
114.63/34.48	c (14,0) opt[19][2] = 1
114.63/34.48	c (14,0) opt[19][3] = 0
114.63/34.48	c (14,0) opt[19][4] = 0
114.63/34.48	c (14,0) opt[20][0] = 0
114.63/34.48	c (14,0) opt[20][1] = 1
114.63/34.48	c (14,0) opt[20][2] = 0
114.63/34.48	c (14,0) opt[20][3] = 1
114.63/34.48	c (14,0) opt[20][4] = 0
114.63/34.48	c (14,0) opt[21][0] = 0
114.63/34.48	c (14,0) opt[21][1] = 0
114.63/34.48	c (14,0) opt[21][2] = 0
114.63/34.48	c (14,0) opt[21][3] = 1
114.63/34.48	c (14,0) opt[21][4] = 0
114.63/34.48	c (14,0) opt[22][0] = 1
114.63/34.48	c (14,0) opt[22][1] = 0
114.63/34.48	c (14,0) opt[22][2] = 1
114.63/34.48	c (14,0) opt[22][3] = 0
114.63/34.48	c (14,0) opt[22][4] = 0
114.63/34.48	c (14,0) opt[23][0] = 0
114.63/34.48	c (14,0) opt[23][1] = 1
114.63/34.48	c (14,0) opt[23][2] = 0
114.63/34.48	c (14,0) opt[23][3] = 0
114.63/34.48	c (14,0) opt[23][4] = 0
114.63/34.48	c (14,0) opt[24][0] = 1
114.63/34.48	c (14,0) opt[24][1] = 0
114.63/34.48	c (14,0) opt[24][2] = 0
114.63/34.48	c (14,0) opt[24][3] = 0
114.63/34.48	c (14,0) opt[24][4] = 0
114.63/34.48	c (14,0) opt[25][0] = 0
114.63/34.48	c (14,0) opt[25][1] = 1
114.63/34.48	c (14,0) opt[25][2] = 0
114.63/34.48	c (14,0) opt[25][3] = 1
114.63/34.48	c (14,0) opt[25][4] = 1
114.63/34.48	c (14,0) opt[26][0] = 0
114.63/34.48	c (14,0) opt[26][1] = 1
114.63/34.48	c (14,0) opt[26][2] = 0
114.63/34.48	c (14,0) opt[26][3] = 0
114.63/34.48	c (14,0) opt[26][4] = 0
114.63/34.48	c (14,0) opt[27][0] = 1
114.63/34.48	c (14,0) opt[27][1] = 0
114.63/34.48	c (14,0) opt[27][2] = 0
114.63/34.48	c (14,0) opt[27][3] = 1
114.63/34.48	c (14,0) opt[27][4] = 0
114.63/34.48	c (14,0) opt[28][0] = 0
114.63/34.48	c (14,0) opt[28][1] = 1
114.63/34.48	c (14,0) opt[28][2] = 1
114.63/34.48	c (14,0) opt[28][3] = 0
114.63/34.48	c (14,0) opt[28][4] = 0
114.63/34.48	c (14,0) opt[29][0] = 1
114.63/34.48	c (14,0) opt[29][1] = 0
114.63/34.48	c (14,0) opt[29][2] = 0
114.63/34.48	c (14,0) opt[29][3] = 0
114.63/34.48	c (14,0) opt[29][4] = 0
114.63/34.48	c (14,0) opt[30][0] = 0
114.63/34.48	c (14,0) opt[30][1] = 1
114.63/34.48	c (14,0) opt[30][2] = 0
114.63/34.48	c (14,0) opt[30][3] = 1
114.63/34.48	c (14,0) opt[30][4] = 0
114.63/34.48	c (14,0) opt[31][0] = 1
114.63/34.48	c (14,0) opt[31][1] = 0
114.63/34.48	c (14,0) opt[31][2] = 0
114.63/34.48	c (14,0) opt[31][3] = 0
114.63/34.48	c (14,0) opt[31][4] = 1
114.63/34.48	c (14,0) opt[32][0] = 0
114.63/34.48	c (14,0) opt[32][1] = 1
114.63/34.48	c (14,0) opt[32][2] = 1
114.63/34.48	c (14,0) opt[32][3] = 0
114.63/34.48	c (14,0) opt[32][4] = 0
114.63/34.48	c (14,0) opt[33][0] = 1
114.63/34.48	c (14,0) opt[33][1] = 0
114.63/34.48	c (14,0) opt[33][2] = 0
114.63/34.48	c (14,0) opt[33][3] = 0
114.63/34.48	c (14,0) opt[33][4] = 0
114.63/34.48	c (14,0) opt[34][0] = 0
114.63/34.48	c (14,0) opt[34][1] = 0
114.63/34.48	c (14,0) opt[34][2] = 0
114.63/34.48	c (14,0) opt[34][3] = 1
114.63/34.48	c (14,0) opt[34][4] = 0
114.63/34.48	c (14,0) opt[35][0] = 1
114.63/34.48	c (14,0) opt[35][1] = 0
114.63/34.48	c (14,0) opt[35][2] = 0
114.63/34.48	c (14,0) opt[35][3] = 0
114.63/34.48	c (14,0) opt[35][4] = 0
114.63/34.48	c (14,0) opt[36][0] = 0
114.63/34.48	c (14,0) opt[36][1] = 0
114.63/34.48	c (14,0) opt[36][2] = 0
114.63/34.48	c (14,0) opt[36][3] = 0
114.63/34.48	c (14,0) opt[36][4] = 1
114.63/34.48	c (14,0) opt[37][0] = 0
114.63/34.48	c (14,0) opt[37][1] = 1
114.63/34.48	c (14,0) opt[37][2] = 0
114.63/34.48	c (14,0) opt[37][3] = 1
114.63/34.48	c (14,0) opt[37][4] = 0
114.63/34.48	c (14,0) opt[38][0] = 1
114.63/34.48	c (14,0) opt[38][1] = 0
114.63/34.48	c (14,0) opt[38][2] = 0
114.63/34.48	c (14,0) opt[38][3] = 0
114.63/34.48	c (14,0) opt[38][4] = 0
114.63/34.48	c (14,0) opt[39][0] = 0
114.63/34.48	c (14,0) opt[39][1] = 1
114.63/34.48	c (14,0) opt[39][2] = 0
114.63/34.48	c (14,0) opt[39][3] = 0
114.63/34.48	c (14,0) opt[39][4] = 0
114.63/34.48	c (14,0) opt[40][0] = 0
114.63/34.48	c (14,0) opt[40][1] = 1
114.63/34.48	c (14,0) opt[40][2] = 0
114.63/34.48	c (14,0) opt[40][3] = 1
114.63/34.48	c (14,0) opt[40][4] = 0
114.63/34.48	c (14,0) opt[41][0] = 1
114.63/34.48	c (14,0) opt[41][1] = 0
114.63/34.48	c (14,0) opt[41][2] = 1
114.63/34.48	c (14,0) opt[41][3] = 0
114.63/34.48	c (14,0) opt[41][4] = 0
114.63/34.48	c (14,0) opt[42][0] = 0
114.63/34.48	c (14,0) opt[42][1] = 1
114.63/34.48	c (14,0) opt[42][2] = 0
114.63/34.48	c (14,0) opt[42][3] = 1
114.63/34.48	c (14,0) opt[42][4] = 0
114.63/34.48	c (14,0) opt[43][0] = 1
114.63/34.48	c (14,0) opt[43][1] = 0
114.63/34.48	c (14,0) opt[43][2] = 0
114.63/34.48	c (14,0) opt[43][3] = 0
114.63/34.48	c (14,0) opt[43][4] = 0
114.63/34.48	c (14,0) opt[44][0] = 0
114.63/34.48	c (14,0) opt[44][1] = 0
114.63/34.48	c (14,0) opt[44][2] = 1
114.63/34.48	c (14,0) opt[44][3] = 0
114.63/34.48	c (14,0) opt[44][4] = 1
114.63/34.48	c (14,0) opt[45][0] = 1
114.63/34.48	c (14,0) opt[45][1] = 0
114.63/34.48	c (14,0) opt[45][2] = 0
114.63/34.48	c (14,0) opt[45][3] = 0
114.63/34.48	c (14,0) opt[45][4] = 0
114.63/34.48	c (14,0) opt[46][0] = 0
114.63/34.48	c (14,0) opt[46][1] = 1
114.63/34.48	c (14,0) opt[46][2] = 0
114.63/34.48	c (14,0) opt[46][3] = 0
114.63/34.48	c (14,0) opt[46][4] = 0
114.63/34.48	c (14,0) opt[47][0] = 1
114.63/34.48	c (14,0) opt[47][1] = 0
114.63/34.48	c (14,0) opt[47][2] = 0
114.63/34.48	c (14,0) opt[47][3] = 1
114.63/34.48	c (14,0) opt[47][4] = 0
114.63/34.48	c (14,0) opt[48][0] = 0
114.63/34.48	c (14,0) opt[48][1] = 0
114.63/34.48	c (14,0) opt[48][2] = 0
114.63/34.48	c (14,0) opt[48][3] = 1
114.63/34.48	c (14,0) opt[48][4] = 0
114.63/34.48	c (14,0) opt[49][0] = 1
114.63/34.48	c (14,0) opt[49][1] = 0
114.63/34.48	c (14,0) opt[49][2] = 0
114.63/34.48	c (14,0) opt[49][3] = 0
114.63/34.48	c (14,0) opt[49][4] = 0
114.63/34.48	c (14,0) opt[50][0] = 0
114.63/34.48	c (14,0) opt[50][1] = 0
114.63/34.48	c (14,0) opt[50][2] = 0
114.63/34.48	c (14,0) opt[50][3] = 0
114.63/34.48	c (14,0) opt[50][4] = 1
114.63/34.48	c (14,0) opt[51][0] = 0
114.63/34.48	c (14,0) opt[51][1] = 1
114.63/34.48	c (14,0) opt[51][2] = 1
114.63/34.48	c (14,0) opt[51][3] = 0
114.63/34.48	c (14,0) opt[51][4] = 0
114.63/34.48	c (14,0) opt[52][0] = 1
114.63/34.48	c (14,0) opt[52][1] = 1
114.63/34.48	c (14,0) opt[52][2] = 0
114.63/34.48	c (14,0) opt[52][3] = 0
114.63/34.48	c (14,0) opt[52][4] = 0
114.63/34.48	c (14,0) opt[53][0] = 0
114.63/34.48	c (14,0) opt[53][1] = 0
114.63/34.48	c (14,0) opt[53][2] = 0
114.63/34.48	c (14,0) opt[53][3] = 1
114.63/34.48	c (14,0) opt[53][4] = 0
114.63/34.48	c (14,0) opt[54][0] = 0
114.63/34.48	c (14,0) opt[54][1] = 0
114.63/34.48	c (14,0) opt[54][2] = 0
114.63/34.48	c (14,0) opt[54][3] = 1
114.63/34.48	c (14,0) opt[54][4] = 0
114.63/34.48	c (14,0) opt[55][0] = 0
114.63/34.48	c (14,0) opt[55][1] = 0
114.63/34.48	c (14,0) opt[55][2] = 1
114.63/34.48	c (14,0) opt[55][3] = 0
114.63/34.48	c (14,0) opt[55][4] = 0
114.63/34.48	c (14,0) opt[56][0] = 1
114.63/34.48	c (14,0) opt[56][1] = 1
114.63/34.48	c (14,0) opt[56][2] = 0
114.63/34.48	c (14,0) opt[56][3] = 0
114.63/34.48	c (14,0) opt[56][4] = 0
114.63/34.48	c (14,0) opt[57][0] = 0
114.63/34.48	c (14,0) opt[57][1] = 1
114.63/34.48	c (14,0) opt[57][2] = 0
114.63/34.48	c (14,0) opt[57][3] = 0
114.63/34.48	c (14,0) opt[57][4] = 0
114.63/34.48	c (14,0) opt[58][0] = 1
114.63/34.48	c (14,0) opt[58][1] = 0
114.63/34.48	c (14,0) opt[58][2] = 1
114.63/34.48	c (14,0) opt[58][3] = 1
114.63/34.48	c (14,0) opt[58][4] = 0
114.63/34.48	c (14,0) opt[59][0] = 0
114.63/34.49	c (14,0) opt[59][1] = 0
114.63/34.49	c (14,0) opt[59][2] = 0
114.63/34.49	c (14,0) opt[59][3] = 1
114.63/34.49	c (14,0) opt[59][4] = 0
114.63/34.49	c (14,0) opt[60][0] = 1
114.63/34.49	c (14,0) opt[60][1] = 1
114.63/34.49	c (14,0) opt[60][2] = 0
114.63/34.49	c (14,0) opt[60][3] = 0
114.63/34.49	c (14,0) opt[60][4] = 1
114.63/34.49	c (14,0) opt[61][0] = 0
114.63/34.49	c (14,0) opt[61][1] = 0
114.63/34.49	c (14,0) opt[61][2] = 1
114.63/34.49	c (14,0) opt[61][3] = 0
114.63/34.49	c (14,0) opt[61][4] = 0
114.63/34.49	c (14,0) opt[62][0] = 1
114.63/34.49	c (14,0) opt[62][1] = 1
114.63/34.49	c (14,0) opt[62][2] = 0
114.63/34.49	c (14,0) opt[62][3] = 0
114.63/34.49	c (14,0) opt[62][4] = 0
114.63/34.49	c (14,0) opt[63][0] = 0
114.63/34.49	c (14,0) opt[63][1] = 0
114.63/34.49	c (14,0) opt[63][2] = 0
114.63/34.49	c (14,0) opt[63][3] = 1
114.63/34.49	c (14,0) opt[63][4] = 0
114.63/34.49	c (14,0) opt[64][0] = 0
114.63/34.49	c (14,0) opt[64][1] = 0
114.63/34.49	c (14,0) opt[64][2] = 0
114.63/34.49	c (14,0) opt[64][3] = 1
114.63/34.49	c (14,0) opt[64][4] = 0
114.63/34.49	c (14,0) opt[65][0] = 0
114.63/34.49	c (14,0) opt[65][1] = 1
114.63/34.49	c (14,0) opt[65][2] = 0
114.63/34.49	c (14,0) opt[65][3] = 0
114.63/34.49	c (14,0) opt[65][4] = 1
114.63/34.49	c (14,0) opt[66][0] = 1
114.63/34.49	c (14,0) opt[66][1] = 0
114.63/34.49	c (14,0) opt[66][2] = 1
114.63/34.49	c (14,0) opt[66][3] = 0
114.63/34.49	c (14,0) opt[66][4] = 0
114.63/34.49	c (14,0) opt[67][0] = 0
114.63/34.49	c (14,0) opt[67][1] = 1
114.63/34.49	c (14,0) opt[67][2] = 0
114.63/34.49	c (14,0) opt[67][3] = 0
114.63/34.49	c (14,0) opt[67][4] = 0
114.63/34.49	c (14,0) opt[68][0] = 1
114.63/34.49	c (14,0) opt[68][1] = 1
114.63/34.49	c (14,0) opt[68][2] = 0
114.63/34.49	c (14,0) opt[68][3] = 1
114.63/34.49	c (14,0) opt[68][4] = 0
114.63/34.49	c (14,0) opt[69][0] = 0
114.63/34.49	c (14,0) opt[69][1] = 0
114.63/34.49	c (14,0) opt[69][2] = 0
114.63/34.49	c (14,0) opt[69][3] = 1
114.63/34.49	c (14,0) opt[69][4] = 0
114.63/34.49	c (14,0) opt[70][0] = 0
114.63/34.49	c (14,0) opt[70][1] = 0
114.63/34.49	c (14,0) opt[70][2] = 1
114.63/34.49	c (14,0) opt[70][3] = 0
114.63/34.49	c (14,0) opt[70][4] = 1
114.63/34.49	c (14,0) opt[71][0] = 1
114.63/34.49	c (14,0) opt[71][1] = 1
114.63/34.49	c (14,0) opt[71][2] = 0
114.63/34.49	c (14,0) opt[71][3] = 0
114.63/34.49	c (14,0) opt[71][4] = 0
114.63/34.49	c (14,0) opt[72][0] = 0
114.63/34.49	c (14,0) opt[72][1] = 1
114.63/34.49	c (14,0) opt[72][2] = 0
114.63/34.49	c (14,0) opt[72][3] = 0
114.63/34.49	c (14,0) opt[72][4] = 0
114.63/34.49	c (14,0) opt[73][0] = 0
114.63/34.49	c (14,0) opt[73][1] = 0
114.63/34.49	c (14,0) opt[73][2] = 0
114.63/34.49	c (14,0) opt[73][3] = 1
114.63/34.49	c (14,0) opt[73][4] = 0
114.63/34.49	c (14,0) opt[74][0] = 0
114.63/34.49	c (14,0) opt[74][1] = 0
114.63/34.49	c (14,0) opt[74][2] = 1
114.63/34.49	c (14,0) opt[74][3] = 0
114.63/34.49	c (14,0) opt[74][4] = 0
114.63/34.49	c (14,0) opt[75][0] = 0
114.63/34.49	c (14,0) opt[75][1] = 1
114.63/34.49	c (14,0) opt[75][2] = 0
114.63/34.49	c (14,0) opt[75][3] = 0
114.63/34.49	c (14,0) opt[75][4] = 0
114.63/34.49	c (14,0) opt[76][0] = 1
114.63/34.49	c (14,0) opt[76][1] = 1
114.63/34.49	c (14,0) opt[76][2] = 0
114.63/34.49	c (14,0) opt[76][3] = 0
114.63/34.49	c (14,0) opt[76][4] = 1
114.63/34.49	c (14,0) opt[77][0] = 0
114.63/34.49	c (14,0) opt[77][1] = 0
114.63/34.49	c (14,0) opt[77][2] = 0
114.63/34.49	c (14,0) opt[77][3] = 1
114.63/34.49	c (14,0) opt[77][4] = 0
114.63/34.49	c (14,0) opt[78][0] = 1
114.63/34.49	c (14,0) opt[78][1] = 0
114.63/34.49	c (14,0) opt[78][2] = 0
114.63/34.49	c (14,0) opt[78][3] = 0
114.63/34.49	c (14,0) opt[78][4] = 0
114.63/34.49	c (14,0) opt[79][0] = 0
114.63/34.49	c (14,0) opt[79][1] = 0
114.63/34.49	c (14,0) opt[79][2] = 1
114.63/34.49	c (14,0) opt[79][3] = 0
114.63/34.49	c (14,0) opt[79][4] = 0
114.63/34.49	c (14,0) opt[80][0] = 0
114.63/34.49	c (14,0) opt[80][1] = 1
114.63/34.49	c (14,0) opt[80][2] = 0
114.63/34.49	c (14,0) opt[80][3] = 0
114.63/34.49	c (14,0) opt[80][4] = 0
114.63/34.49	c (14,0) opt[81][0] = 1
114.63/34.49	c (14,0) opt[81][1] = 1
114.63/34.49	c (14,0) opt[81][2] = 0
114.63/34.49	c (14,0) opt[81][3] = 1
114.63/34.49	c (14,0) opt[81][4] = 1
114.63/34.49	c (14,0) opt[82][0] = 0
114.63/34.49	c (14,0) opt[82][1] = 0
114.63/34.49	c (14,0) opt[82][2] = 1
114.63/34.49	c (14,0) opt[82][3] = 0
114.63/34.49	c (14,0) opt[82][4] = 0
114.63/34.49	c (14,0) opt[83][0] = 0
114.63/34.49	c (14,0) opt[83][1] = 0
114.63/34.49	c (14,0) opt[83][2] = 0
114.63/34.49	c (14,0) opt[83][3] = 1
114.63/34.49	c (14,0) opt[83][4] = 0
114.63/34.49	c (14,0) opt[84][0] = 1
114.63/34.49	c (14,0) opt[84][1] = 1
114.63/34.49	c (14,0) opt[84][2] = 0
114.63/34.49	c (14,0) opt[84][3] = 0
114.63/34.49	c (14,0) opt[84][4] = 0
114.63/34.49	c (14,0) opt[85][0] = 0
114.63/34.49	c (14,0) opt[85][1] = 0
114.63/34.49	c (14,0) opt[85][2] = 1
114.63/34.49	c (14,0) opt[85][3] = 0
114.63/34.49	c (14,0) opt[85][4] = 0
114.63/34.49	c (14,0) opt[86][0] = 0
114.63/34.49	c (14,0) opt[86][1] = 1
114.63/34.49	c (14,0) opt[86][2] = 0
114.63/34.49	c (14,0) opt[86][3] = 1
114.63/34.49	c (14,0) opt[86][4] = 1
114.63/34.49	c (14,0) opt[87][0] = 0
114.63/34.49	c (14,0) opt[87][1] = 1
114.63/34.49	c (14,0) opt[87][2] = 0
114.63/34.49	c (14,0) opt[87][3] = 0
114.63/34.49	c (14,0) opt[87][4] = 0
114.63/34.49	c (14,0) opt[88][0] = 0
114.63/34.49	c (14,0) opt[88][1] = 0
114.63/34.49	c (14,0) opt[88][2] = 1
114.63/34.49	c (14,0) opt[88][3] = 0
114.63/34.49	c (14,0) opt[88][4] = 0
114.63/34.49	c (14,0) opt[89][0] = 0
114.63/34.49	c (14,0) opt[89][1] = 1
114.63/34.49	c (14,0) opt[89][2] = 0
114.63/34.49	c (14,0) opt[89][3] = 1
114.63/34.49	c (14,0) opt[89][4] = 0
114.63/34.49	c (14,0) opt[90][0] = 1
114.63/34.49	c (14,0) opt[90][1] = 1
114.63/34.49	c (14,0) opt[90][2] = 0
114.63/34.49	c (14,0) opt[90][3] = 0
114.63/34.49	c (14,0) opt[90][4] = 0
114.63/34.49	c (14,0) opt[91][0] = 0
114.63/34.49	c (14,0) opt[91][1] = 0
114.63/34.49	c (14,0) opt[91][2] = 1
114.63/34.49	c (14,0) opt[91][3] = 0
114.63/34.49	c (14,0) opt[91][4] = 0
114.63/34.49	c (14,0) opt[92][0] = 1
114.63/34.49	c (14,0) opt[92][1] = 1
114.63/34.49	c (14,0) opt[92][2] = 0
114.63/34.49	c (14,0) opt[92][3] = 1
114.63/34.49	c (14,0) opt[92][4] = 0
114.63/34.49	c (14,0) opt[93][0] = 0
114.63/34.49	c (14,0) opt[93][1] = 0
114.63/34.49	c (14,0) opt[93][2] = 0
114.63/34.49	c (14,0) opt[93][3] = 0
114.63/34.49	c (14,0) opt[93][4] = 1
114.63/34.49	c (14,0) opt[94][0] = 0
114.63/34.49	c (14,0) opt[94][1] = 1
114.63/34.49	c (14,0) opt[94][2] = 1
114.63/34.49	c (14,0) opt[94][3] = 0
114.63/34.49	c (14,0) opt[94][4] = 0
114.63/34.49	c (14,0) opt[95][0] = 1
114.63/34.49	c (14,0) opt[95][1] = 1
114.63/34.49	c (14,0) opt[95][2] = 0
114.63/34.49	c (14,0) opt[95][3] = 0
114.63/34.49	c (14,0) opt[95][4] = 0
114.63/34.49	c (14,0) opt[96][0] = 0
114.63/34.49	c (14,0) opt[96][1] = 0
114.63/34.49	c (14,0) opt[96][2] = 0
114.63/34.49	c (14,0) opt[96][3] = 1
114.63/34.49	c (14,0) opt[96][4] = 0
114.63/34.49	c (14,0) opt[97][0] = 1
114.63/34.49	c (14,0) opt[97][1] = 1
114.63/34.49	c (14,0) opt[97][2] = 0
114.63/34.49	c (14,0) opt[97][3] = 0
114.63/34.49	c (14,0) opt[97][4] = 0
114.63/34.49	c (14,0) opt[98][0] = 0
114.63/34.49	c (14,0) opt[98][1] = 0
114.63/34.49	c (14,0) opt[98][2] = 0
114.63/34.49	c (14,0) opt[98][3] = 1
114.63/34.49	c (14,0) opt[98][4] = 0
114.63/34.49	c (14,0) opt[99][0] = 0
114.63/34.49	c (14,0) opt[99][1] = 0
114.63/34.49	c (14,0) opt[99][2] = 1
114.63/34.49	c (14,0) opt[99][3] = 0
114.63/34.49	c (14,0) opt[99][4] = 0
114.63/34.49	c (14,0) opt[100][0] = 1
114.63/34.49	c (14,0) opt[100][1] = 1
114.63/34.49	c (14,0) opt[100][2] = 0
114.63/34.49	c (14,0) opt[100][3] = 0
114.63/34.49	c (14,0) opt[100][4] = 1
114.63/34.49	c (14,0) opt[101][0] = 0
114.63/34.49	c (14,0) opt[101][1] = 1
114.63/34.49	c (14,0) opt[101][2] = 0
114.63/34.49	c (14,0) opt[101][3] = 1
114.63/34.49	c (14,0) opt[101][4] = 0
114.63/34.49	c (14,0) opt[102][0] = 0
114.63/34.49	c (14,0) opt[102][1] = 0
114.63/34.49	c (14,0) opt[102][2] = 1
114.63/34.49	c (14,0) opt[102][3] = 0
114.63/34.49	c (14,0) opt[102][4] = 0
114.63/34.49	c (14,0) opt[103][0] = 1
114.63/34.49	c (14,0) opt[103][1] = 0
114.63/34.49	c (14,0) opt[103][2] = 0
114.63/34.49	c (14,0) opt[103][3] = 1
114.63/34.49	c (14,0) opt[103][4] = 0
114.63/34.49	c (14,0) opt[104][0] = 0
114.63/34.49	c (14,0) opt[104][1] = 1
114.63/34.49	c (14,0) opt[104][2] = 0
114.63/34.49	c (14,0) opt[104][3] = 0
114.63/34.49	c (14,0) opt[104][4] = 0
114.63/34.49	c (14,0) opt[105][0] = 0
114.63/34.49	c (14,0) opt[105][1] = 1
114.63/34.49	c (14,0) opt[105][2] = 0
114.63/34.49	c (14,0) opt[105][3] = 0
114.63/34.49	c (14,0) opt[105][4] = 1
114.63/34.49	c (14,0) opt[106][0] = 1
114.63/34.49	c (14,0) opt[106][1] = 0
114.63/34.49	c (14,0) opt[106][2] = 0
114.63/34.49	c (14,0) opt[106][3] = 0
114.63/34.49	c (14,0) opt[106][4] = 0
114.63/34.49	c (14,0) opt[107][0] = 0
114.63/34.49	c (14,0) opt[107][1] = 0
114.63/34.49	c (14,0) opt[107][2] = 0
114.63/34.49	c (14,0) opt[107][3] = 1
114.63/34.49	c (14,0) opt[107][4] = 0
114.63/34.49	c (14,0) opt[108][0] = 1
114.63/34.49	c (14,0) opt[108][1] = 1
114.63/34.49	c (14,0) opt[108][2] = 1
114.63/34.49	c (14,0) opt[108][3] = 0
114.63/34.49	c (14,0) opt[108][4] = 0
114.63/34.49	c (14,0) opt[109][0] = 0
114.63/34.49	c (14,0) opt[109][1] = 1
114.63/34.49	c (14,0) opt[109][2] = 0
114.63/34.49	c (14,0) opt[109][3] = 0
114.63/34.49	c (14,0) opt[109][4] = 0
114.63/34.49	c (14,0) opt[110][0] = 1
114.63/34.49	c (14,0) opt[110][1] = 0
114.63/34.49	c (14,0) opt[110][2] = 0
114.63/34.49	c (14,0) opt[110][3] = 0
114.63/34.49	c (14,0) opt[110][4] = 0
114.63/34.49	c (14,0) opt[111][0] = 0
114.63/34.49	c (14,0) opt[111][1] = 0
114.63/34.49	c (14,0) opt[111][2] = 1
114.63/34.49	c (14,0) opt[111][3] = 1
114.63/34.49	c (14,0) opt[111][4] = 1
114.63/34.49	c (14,0) opt[112][0] = 0
114.63/34.49	c (14,0) opt[112][1] = 0
114.63/34.49	c (14,0) opt[112][2] = 0
114.63/34.49	c (14,0) opt[112][3] = 1
114.63/34.49	c (14,0) opt[112][4] = 0
114.63/34.49	c (14,0) opt[113][0] = 1
114.63/34.49	c (14,0) opt[113][1] = 1
114.63/34.49	c (14,0) opt[113][2] = 0
114.63/34.49	c (14,0) opt[113][3] = 0
114.63/34.49	c (14,0) opt[113][4] = 0
114.63/34.49	c (14,0) opt[114][0] = 0
114.63/34.49	c (14,0) opt[114][1] = 0
114.63/34.49	c (14,0) opt[114][2] = 1
114.63/34.49	c (14,0) opt[114][3] = 0
114.63/34.49	c (14,0) opt[114][4] = 0
114.63/34.49	c (14,0) opt[115][0] = 1
114.63/34.49	c (14,0) opt[115][1] = 1
114.63/34.49	c (14,0) opt[115][2] = 0
114.63/34.49	c (14,0) opt[115][3] = 0
114.63/34.49	c (14,0) opt[115][4] = 0
114.63/34.49	c (14,0) opt[116][0] = 0
114.63/34.49	c (14,0) opt[116][1] = 0
114.63/34.49	c (14,0) opt[116][2] = 0
114.63/34.49	c (14,0) opt[116][3] = 1
114.63/34.49	c (14,0) opt[116][4] = 0
114.63/34.49	c (14,0) opt[117][0] = 0
114.63/34.49	c (14,0) opt[117][1] = 1
114.63/34.49	c (14,0) opt[117][2] = 1
114.63/34.49	c (14,0) opt[117][3] = 0
114.63/34.49	c (14,0) opt[117][4] = 0
114.63/34.49	c (14,0) opt[118][0] = 0
114.63/34.49	c (14,0) opt[118][1] = 1
114.63/34.49	c (14,0) opt[118][2] = 0
114.63/34.49	c (14,0) opt[118][3] = 0
114.63/34.49	c (14,0) opt[118][4] = 0
114.63/34.49	c (14,0) opt[119][0] = 1
114.63/34.49	c (14,0) opt[119][1] = 0
114.63/34.49	c (14,0) opt[119][2] = 0
114.63/34.49	c (14,0) opt[119][3] = 0
114.63/34.49	c (14,0) opt[119][4] = 0
114.63/34.49	c (14,0) opt[120][0] = 0
114.63/34.49	c (14,0) opt[120][1] = 1
114.63/34.49	c (14,0) opt[120][2] = 0
114.63/34.49	c (14,0) opt[120][3] = 1
114.63/34.49	c (14,0) opt[120][4] = 1
114.63/34.49	c (14,0) opt[121][0] = 1
114.63/34.49	c (14,0) opt[121][1] = 0
114.63/34.49	c (14,0) opt[121][2] = 1
114.63/34.49	c (14,0) opt[121][3] = 0
114.63/34.49	c (14,0) opt[121][4] = 0
114.63/34.49	c (14,0) opt[122][0] = 0
114.63/34.49	c (14,0) opt[122][1] = 0
114.63/34.49	c (14,0) opt[122][2] = 0
114.63/34.49	c (14,0) opt[122][3] = 1
114.63/34.49	c (14,0) opt[122][4] = 0
114.63/34.49	c (14,0) opt[123][0] = 1
114.63/34.49	c (14,0) opt[123][1] = 1
114.63/34.49	c (14,0) opt[123][2] = 0
114.63/34.49	c (14,0) opt[123][3] = 0
114.63/34.49	c (14,0) opt[123][4] = 0
114.63/34.49	c (14,0) opt[124][0] = 0
114.63/34.49	c (14,0) opt[124][1] = 0
114.63/34.49	c (14,0) opt[124][2] = 1
114.63/34.49	c (14,0) opt[124][3] = 0
114.63/34.49	c (14,0) opt[124][4] = 0
114.63/34.49	c (14,0) opt[125][0] = 0
114.63/34.49	c (14,0) opt[125][1] = 0
114.63/34.49	c (14,0) opt[125][2] = 0
114.63/34.49	c (14,0) opt[125][3] = 1
114.63/34.49	c (14,0) opt[125][4] = 0
114.63/34.49	c (14,0) opt[126][0] = 0
114.63/34.49	c (14,0) opt[126][1] = 0
114.63/34.49	c (14,0) opt[126][2] = 0
114.63/34.49	c (14,0) opt[126][3] = 0
114.63/34.49	c (14,0) opt[126][4] = 1
114.63/34.49	c (14,0) opt[127][0] = 1
114.63/34.49	c (14,0) opt[127][1] = 1
114.63/34.49	c (14,0) opt[127][2] = 1
114.63/34.49	c (14,0) opt[127][3] = 0
114.63/34.49	c (14,0) opt[127][4] = 0
114.63/34.49	c (14,0) opt[128][0] = 0
114.63/34.49	c (14,0) opt[128][1] = 1
114.63/34.49	c (14,0) opt[128][2] = 0
114.63/34.49	c (14,0) opt[128][3] = 0
114.63/34.49	c (14,0) opt[128][4] = 0
114.63/34.49	c (14,0) opt[129][0] = 1
114.63/34.49	c (14,0) opt[129][1] = 0
114.63/34.49	c (14,0) opt[129][2] = 0
114.63/34.49	c (14,0) opt[129][3] = 1
114.63/34.49	c (14,0) opt[129][4] = 0
114.63/34.49	c (14,0) opt[130][0] = 0
114.63/34.49	c (14,0) opt[130][1] = 0
114.63/34.49	c (14,0) opt[130][2] = 1
114.63/34.49	c (14,0) opt[130][3] = 1
114.63/34.49	c (14,0) opt[130][4] = 0
114.63/34.49	c (14,0) opt[131][0] = 0
114.63/34.49	c (14,0) opt[131][1] = 1
114.63/34.49	c (14,0) opt[131][2] = 0
114.63/34.49	c (14,0) opt[131][3] = 0
114.63/34.49	c (14,0) opt[131][4] = 0
114.63/34.49	c (14,0) opt[132][0] = 0
114.63/34.49	c (14,0) opt[132][1] = 0
114.63/34.49	c (14,0) opt[132][2] = 0
114.63/34.49	c (14,0) opt[132][3] = 0
114.63/34.49	c (14,0) opt[132][4] = 1
114.63/34.49	c (14,0) opt[133][0] = 0
114.63/34.49	c (14,0) opt[133][1] = 1
114.63/34.49	c (14,0) opt[133][2] = 1
114.63/34.49	c (14,0) opt[133][3] = 0
114.63/34.49	c (14,0) opt[133][4] = 0
114.63/34.49	c (14,0) opt[134][0] = 1
114.63/34.49	c (14,0) opt[134][1] = 1
114.63/34.49	c (14,0) opt[134][2] = 0
114.63/34.49	c (14,0) opt[134][3] = 1
114.63/34.49	c (14,0) opt[134][4] = 0
114.63/34.49	c (14,0) opt[135][0] = 0
114.63/34.49	c (14,0) opt[135][1] = 0
114.63/34.49	c (14,0) opt[135][2] = 0
114.63/34.49	c (14,0) opt[135][3] = 1
114.63/34.49	c (14,0) opt[135][4] = 0
114.63/34.49	c (14,0) opt[136][0] = 0
114.63/34.49	c (14,0) opt[136][1] = 1
114.63/34.49	c (14,0) opt[136][2] = 1
114.63/34.49	c (14,0) opt[136][3] = 0
114.63/34.49	c (14,0) opt[136][4] = 0
114.63/34.49	c (14,0) opt[137][0] = 1
114.63/34.49	c (14,0) opt[137][1] = 0
114.63/34.49	c (14,0) opt[137][2] = 0
114.63/34.49	c (14,0) opt[137][3] = 0
114.63/34.49	c (14,0) opt[137][4] = 0
114.63/34.49	c (14,0) opt[138][0] = 0
114.63/34.49	c (14,0) opt[138][1] = 1
114.63/34.49	c (14,0) opt[138][2] = 0
114.63/34.49	c (14,0) opt[138][3] = 0
114.63/34.49	c (14,0) opt[138][4] = 0
114.63/34.49	c (14,0) opt[139][0] = 1
114.63/34.49	c (14,0) opt[139][1] = 0
114.63/34.49	c (14,0) opt[139][2] = 0
114.63/34.49	c (14,0) opt[139][3] = 0
114.63/34.49	c (14,0) opt[139][4] = 0
114.63/34.49	c (14,0) opt[140][0] = 0
114.63/34.49	c (14,0) opt[140][1] = 1
114.63/34.49	c (14,0) opt[140][2] = 0
114.63/34.49	c (14,0) opt[140][3] = 0
114.63/34.49	c (14,0) opt[140][4] = 1
114.63/34.49	c (14,0) opt[141][0] = 0
114.63/34.49	c (14,0) opt[141][1] = 0
114.63/34.49	c (14,0) opt[141][2] = 0
114.63/34.49	c (14,0) opt[141][3] = 1
114.63/34.49	c (14,0) opt[141][4] = 0
114.63/34.49	c (14,0) opt[142][0] = 1
114.63/34.49	c (14,0) opt[142][1] = 1
114.63/34.49	c (14,0) opt[142][2] = 0
114.63/34.49	c (14,0) opt[142][3] = 1
114.63/34.49	c (14,0) opt[142][4] = 0
114.63/34.49	c (14,0) opt[143][0] = 0
114.63/34.49	c (14,0) opt[143][1] = 1
114.63/34.49	c (14,0) opt[143][2] = 0
114.63/34.49	c (14,0) opt[143][3] = 0
114.63/34.49	c (14,0) opt[143][4] = 0
114.63/34.49	c (14,0) opt[144][0] = 1
114.63/34.49	c (14,0) opt[144][1] = 0
114.63/34.49	c (14,0) opt[144][2] = 0
114.63/34.49	c (14,0) opt[144][3] = 0
114.63/34.49	c (14,0) opt[144][4] = 0
114.63/34.49	c (14,0) opt[145][0] = 0
114.63/34.49	c (14,0) opt[145][1] = 1
114.63/34.49	c (14,0) opt[145][2] = 1
114.63/34.49	c (14,0) opt[145][3] = 0
114.63/34.49	c (14,0) opt[145][4] = 0
114.63/34.49	c (14,0) opt[146][0] = 1
114.63/34.49	c (14,0) opt[146][1] = 0
114.63/34.49	c (14,0) opt[146][2] = 0
114.63/34.49	c (14,0) opt[146][3] = 1
114.63/34.49	c (14,0) opt[146][4] = 0
114.63/34.49	c (14,0) opt[147][0] = 0
114.63/34.49	c (14,0) opt[147][1] = 0
114.63/34.49	c (14,0) opt[147][2] = 0
114.63/34.49	c (14,0) opt[147][3] = 0
114.63/34.49	c (14,0) opt[147][4] = 1
114.63/34.49	c (14,0) opt[148][0] = 1
114.63/34.49	c (14,0) opt[148][1] = 0
114.63/34.49	c (14,0) opt[148][2] = 1
114.63/34.49	c (14,0) opt[148][3] = 1
114.63/34.49	c (14,0) opt[148][4] = 0
114.63/34.49	c (14,0) opt[149][0] = 0
114.63/34.49	c (14,0) opt[149][1] = 1
114.63/34.49	c (14,0) opt[149][2] = 0
114.63/34.49	c (14,0) opt[149][3] = 0
114.63/34.49	c (14,0) opt[149][4] = 0
114.63/34.49	c (14,0) opt[150][0] = 0
114.63/34.49	c (14,0) opt[150][1] = 1
114.63/34.49	c (14,0) opt[150][2] = 0
114.63/34.49	c (14,0) opt[150][3] = 0
114.63/34.49	c (14,0) opt[150][4] = 0
114.63/34.49	c (14,0) opt[151][0] = 1
114.63/34.49	c (14,0) opt[151][1] = 0
114.63/34.49	c (14,0) opt[151][2] = 1
114.63/34.49	c (14,0) opt[151][3] = 0
114.63/34.49	c (14,0) opt[151][4] = 0
114.63/34.49	c (14,0) opt[152][0] = 0
114.63/34.49	c (14,0) opt[152][1] = 0
114.63/34.49	c (14,0) opt[152][2] = 0
114.63/34.49	c (14,0) opt[152][3] = 1
114.63/34.49	c (14,0) opt[152][4] = 0
114.63/34.49	c (14,0) opt[153][0] = 0
114.63/34.49	c (14,0) opt[153][1] = 1
114.63/34.49	c (14,0) opt[153][2] = 0
114.63/34.49	c (14,0) opt[153][3] = 0
114.63/34.49	c (14,0) opt[153][4] = 0
114.63/34.49	c (14,0) opt[154][0] = 1
114.63/34.49	c (14,0) opt[154][1] = 0
114.63/34.49	c (14,0) opt[154][2] = 0
114.63/34.49	c (14,0) opt[154][3] = 0
114.63/34.49	c (14,0) opt[154][4] = 0
114.63/34.49	c (14,0) opt[155][0] = 0
114.63/34.49	c (14,0) opt[155][1] = 1
114.63/34.49	c (14,0) opt[155][2] = 1
114.63/34.49	c (14,0) opt[155][3] = 1
114.63/34.49	c (14,0) opt[155][4] = 1
114.63/34.49	c (14,0) opt[156][0] = 0
114.63/34.49	c (14,0) opt[156][1] = 1
114.63/34.49	c (14,0) opt[156][2] = 0
114.63/34.49	c (14,0) opt[156][3] = 0
114.63/34.49	c (14,0) opt[156][4] = 0
114.63/34.49	c (14,0) opt[157][0] = 0
114.63/34.49	c (14,0) opt[157][1] = 0
114.63/34.49	c (14,0) opt[157][2] = 0
114.63/34.49	c (14,0) opt[157][3] = 1
114.63/34.49	c (14,0) opt[157][4] = 0
114.63/34.49	c (14,0) opt[158][0] = 1
114.63/34.49	c (14,0) opt[158][1] = 1
114.63/34.49	c (14,0) opt[158][2] = 0
114.63/34.49	c (14,0) opt[158][3] = 0
114.63/34.49	c (14,0) opt[158][4] = 0
114.63/34.49	c (14,0) opt[159][0] = 0
114.63/34.49	c (14,0) opt[159][1] = 1
114.63/34.49	c (14,0) opt[159][2] = 1
114.63/34.49	c (14,0) opt[159][3] = 0
114.63/34.49	c (14,0) opt[159][4] = 0
114.63/34.49	c (14,0) opt[160][0] = 0
114.63/34.49	c (14,0) opt[160][1] = 0
114.63/34.49	c (14,0) opt[160][2] = 0
114.63/34.49	c (14,0) opt[160][3] = 1
114.63/34.49	c (14,0) opt[160][4] = 0
114.63/34.49	c (14,0) opt[161][0] = 1
114.63/34.49	c (14,0) opt[161][1] = 0
114.63/34.49	c (14,0) opt[161][2] = 0
114.63/34.49	c (14,0) opt[161][3] = 0
114.63/34.49	c (14,0) opt[161][4] = 0
114.63/34.49	c (14,0) opt[162][0] = 0
114.63/34.49	c (14,0) opt[162][1] = 1
114.63/34.49	c (14,0) opt[162][2] = 1
114.63/34.49	c (14,0) opt[162][3] = 1
114.63/34.49	c (14,0) opt[162][4] = 0
114.63/34.49	c (14,0) opt[163][0] = 1
114.63/34.49	c (14,0) opt[163][1] = 0
114.63/34.49	c (14,0) opt[163][2] = 0
114.63/34.49	c (14,0) opt[163][3] = 0
114.63/34.49	c (14,0) opt[163][4] = 1
114.63/34.49	c (14,0) opt[164][0] = 0
114.63/34.49	c (14,0) opt[164][1] = 1
114.63/34.49	c (14,0) opt[164][2] = 0
114.63/34.49	c (14,0) opt[164][3] = 0
114.63/34.49	c (14,0) opt[164][4] = 0
114.63/34.49	c (14,0) opt[165][0] = 0
114.63/34.49	c (14,0) opt[165][1] = 1
114.63/34.49	c (14,0) opt[165][2] = 0
114.63/34.49	c (14,0) opt[165][3] = 1
114.63/34.49	c (14,0) opt[165][4] = 0
114.63/34.49	c (14,0) opt[166][0] = 1
114.63/34.49	c (14,0) opt[166][1] = 0
114.63/34.49	c (14,0) opt[166][2] = 1
114.63/34.49	c (14,0) opt[166][3] = 0
114.63/34.49	c (14,0) opt[166][4] = 0
114.63/34.49	c (14,0) opt[167][0] = 0
114.63/34.49	c (14,0) opt[167][1] = 0
114.63/34.49	c (14,0) opt[167][2] = 0
114.63/34.49	c (14,0) opt[167][3] = 1
114.63/34.49	c (14,0) opt[167][4] = 0
114.63/34.49	c (14,0) opt[168][0] = 0
114.63/34.49	c (14,0) opt[168][1] = 1
114.63/34.49	c (14,0) opt[168][2] = 0
114.63/34.49	c (14,0) opt[168][3] = 0
114.63/34.49	c (14,0) opt[168][4] = 0
114.63/34.49	c (14,0) opt[169][0] = 0
114.63/34.49	c (14,0) opt[169][1] = 1
114.63/34.49	c (14,0) opt[169][2] = 0
114.63/34.49	c (14,0) opt[169][3] = 0
114.63/34.49	c (14,0) opt[169][4] = 0
114.63/34.49	c (14,0) opt[170][0] = 0
114.63/34.49	c (14,0) opt[170][1] = 0
114.63/34.49	c (14,0) opt[170][2] = 0
114.63/34.49	c (14,0) opt[170][3] = 1
114.63/34.49	c (14,0) opt[170][4] = 0
114.63/34.49	c (14,0) opt[171][0] = 1
114.63/34.49	c (14,0) opt[171][1] = 0
114.63/34.49	c (14,0) opt[171][2] = 1
114.63/34.49	c (14,0) opt[171][3] = 0
114.63/34.49	c (14,0) opt[171][4] = 1
114.63/34.49	c (14,0) opt[172][0] = 0
114.63/34.49	c (14,0) opt[172][1] = 1
114.63/34.49	c (14,0) opt[172][2] = 0
114.63/34.49	c (14,0) opt[172][3] = 0
114.63/34.49	c (14,0) opt[172][4] = 0
114.63/34.49	c (14,0) opt[173][0] = 1
114.63/34.49	c (14,0) opt[173][1] = 1
114.63/34.49	c (14,0) opt[173][2] = 0
114.63/34.49	c (14,0) opt[173][3] = 0
114.63/34.49	c (14,0) opt[173][4] = 0
114.63/34.49	c (14,0) opt[174][0] = 0
114.63/34.49	c (14,0) opt[174][1] = 0
114.63/34.49	c (14,0) opt[174][2] = 1
114.63/34.49	c (14,0) opt[174][3] = 0
114.63/34.49	c (14,0) opt[174][4] = 0
114.63/34.49	c (14,0) opt[175][0] = 0
114.63/34.49	c (14,0) opt[175][1] = 0
114.63/34.49	c (14,0) opt[175][2] = 0
114.63/34.49	c (14,0) opt[175][3] = 1
114.63/34.49	c (14,0) opt[175][4] = 0
114.63/34.49	c (14,0) opt[176][0] = 1
114.63/34.49	c (14,0) opt[176][1] = 0
114.63/34.49	c (14,0) opt[176][2] = 0
114.63/34.49	c (14,0) opt[176][3] = 0
114.63/34.49	c (14,0) opt[176][4] = 0
114.63/34.49	c (14,0) opt[177][0] = 0
114.63/34.49	c (14,0) opt[177][1] = 1
114.63/34.49	c (14,0) opt[177][2] = 1
114.63/34.49	c (14,0) opt[177][3] = 1
114.63/34.49	c (14,0) opt[177][4] = 0
114.63/34.49	c (14,0) opt[178][0] = 0
114.63/34.49	c (14,0) opt[178][1] = 1
114.63/34.49	c (14,0) opt[178][2] = 0
114.63/34.49	c (14,0) opt[178][3] = 0
114.63/34.49	c (14,0) opt[178][4] = 0
114.63/34.49	c (14,0) opt[179][0] = 1
114.63/34.49	c (14,0) opt[179][1] = 0
114.63/34.49	c (14,0) opt[179][2] = 0
114.63/34.49	c (14,0) opt[179][3] = 0
114.63/34.49	c (14,0) opt[179][4] = 0
114.63/34.49	c (14,0) opt[180][0] = 0
114.63/34.49	c (14,0) opt[180][1] = 1
114.63/34.49	c (14,0) opt[180][2] = 1
114.63/34.49	c (14,0) opt[180][3] = 0
114.63/34.49	c (14,0) opt[180][4] = 0
114.63/34.49	c (14,0) opt[181][0] = 0
114.63/34.49	c (14,0) opt[181][1] = 1
114.63/34.49	c (14,0) opt[181][2] = 0
114.63/34.49	c (14,0) opt[181][3] = 1
114.63/34.49	c (14,0) opt[181][4] = 0
114.63/34.49	c (14,0) opt[182][0] = 1
114.63/34.49	c (14,0) opt[182][1] = 0
114.63/34.49	c (14,0) opt[182][2] = 0
114.63/34.49	c (14,0) opt[182][3] = 0
114.63/34.49	c (14,0) opt[182][4] = 1
114.63/34.49	c (14,0) opt[183][0] = 0
114.63/34.49	c (14,0) opt[183][1] = 0
114.63/34.49	c (14,0) opt[183][2] = 1
114.63/34.49	c (14,0) opt[183][3] = 0
114.63/34.49	c (14,0) opt[183][4] = 0
114.63/34.49	c (14,0) opt[184][0] = 0
114.63/34.49	c (14,0) opt[184][1] = 0
114.63/34.49	c (14,0) opt[184][2] = 0
114.63/34.49	c (14,0) opt[184][3] = 1
114.63/34.49	c (14,0) opt[184][4] = 0
114.63/34.49	c (14,0) opt[185][0] = 0
114.63/34.49	c (14,0) opt[185][1] = 1
114.63/34.49	c (14,0) opt[185][2] = 0
114.63/34.49	c (14,0) opt[185][3] = 0
114.63/34.49	c (14,0) opt[185][4] = 0
114.63/34.49	c (14,0) opt[186][0] = 1
114.63/34.49	c (14,0) opt[186][1] = 0
114.63/34.49	c (14,0) opt[186][2] = 0
114.63/34.49	c (14,0) opt[186][3] = 0
114.63/34.49	c (14,0) opt[186][4] = 0
114.63/34.49	c (14,0) opt[187][0] = 0
114.63/34.49	c (14,0) opt[187][1] = 0
114.63/34.49	c (14,0) opt[187][2] = 1
114.63/34.49	c (14,0) opt[187][3] = 0
114.63/34.49	c (14,0) opt[187][4] = 0
114.63/34.49	c (14,0) opt[188][0] = 1
114.63/34.49	c (14,0) opt[188][1] = 1
114.63/34.49	c (14,0) opt[188][2] = 0
114.63/34.49	c (14,0) opt[188][3] = 1
114.63/34.49	c (14,0) opt[188][4] = 0
114.63/34.49	c (14,0) opt[189][0] = 0
114.63/34.49	c (14,0) opt[189][1] = 0
114.63/34.49	c (14,0) opt[189][2] = 0
114.63/34.49	c (14,0) opt[189][3] = 0
114.63/34.49	c (14,0) opt[189][4] = 1
114.63/34.49	c (14,0) opt[190][0] = 1
114.63/34.49	c (14,0) opt[190][1] = 1
114.63/34.49	c (14,0) opt[190][2] = 0
114.63/34.49	c (14,0) opt[190][3] = 0
114.63/34.49	c (14,0) opt[190][4] = 0
114.63/34.49	c (14,0) opt[191][0] = 0
114.63/34.49	c (14,0) opt[191][1] = 0
114.63/34.49	c (14,0) opt[191][2] = 1
114.63/34.49	c (14,0) opt[191][3] = 0
114.63/34.49	c (14,0) opt[191][4] = 0
114.63/34.49	c (14,0) opt[192][0] = 0
114.63/34.49	c (14,0) opt[192][1] = 1
114.63/34.49	c (14,0) opt[192][2] = 0
114.63/34.49	c (14,0) opt[192][3] = 1
114.63/34.49	c (14,0) opt[192][4] = 0
114.63/34.49	c (14,0) opt[193][0] = 0
114.63/34.49	c (14,0) opt[193][1] = 1
114.63/34.49	c (14,0) opt[193][2] = 0
114.63/34.49	c (14,0) opt[193][3] = 1
114.63/34.49	c (14,0) opt[193][4] = 0
114.63/34.49	c (14,0) opt[194][0] = 0
114.63/34.49	c (14,0) opt[194][1] = 0
114.63/34.49	c (14,0) opt[194][2] = 0
114.63/34.49	c (14,0) opt[194][3] = 0
114.63/34.49	c (14,0) opt[194][4] = 1
114.63/34.49	c (14,0) opt[195][0] = 1
114.63/34.49	c (14,0) opt[195][1] = 1
114.63/34.49	c (14,0) opt[195][2] = 0
114.63/34.49	c (14,0) opt[195][3] = 0
114.63/34.49	c (14,0) opt[195][4] = 0
114.63/34.49	c (14,0) opt[196][0] = 0
114.63/34.49	c (14,0) opt[196][1] = 1
114.63/34.49	c (14,0) opt[196][2] = 1
114.63/34.49	c (14,0) opt[196][3] = 0
114.63/34.49	c (14,0) opt[196][4] = 0
114.63/34.49	c (14,0) opt[197][0] = 0
114.63/34.49	c (14,0) opt[197][1] = 0
114.63/34.49	c (14,0) opt[197][2] = 0
114.63/34.49	c (14,0) opt[197][3] = 1
114.63/34.49	c (14,0) opt[197][4] = 0
114.63/34.49	c (14,0) opt[198][0] = 0
114.63/34.49	c (14,0) opt[198][1] = 0
114.63/34.49	c (14,0) opt[198][2] = 0
114.63/34.49	c (14,0) opt[198][3] = 1
114.63/34.49	c (14,0) opt[198][4] = 0
114.63/34.49	c (14,0) opt[199][0] = 1
114.63/34.49	c (14,0) opt[199][1] = 0
114.63/34.49	c (14,0) opt[199][2] = 0
114.63/34.49	c (14,0) opt[199][3] = 0
114.63/34.49	c (14,0) opt[199][4] = 1
114.63/34.49	s SATISFIABLE
114.63/34.49	v <instantiation>
114.63/34.49	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>
114.63/34.50	v     <values>21 16 20 21 10 2 0 10 2 10 24 11 10 16 11 6 18 16 20 5 18 2 13 16 6 3 16 23 0 6 18 7 0 6 2 6 20 18 6 16 18 13 18 6 17 6 16 23 2 6 20 0 10 2 2 5 10 16 8 2 9 5 10 2 2 12 13 16 22 2 17 10 16 2 5 16 9 2 6 5 16 19 5 2 10 5 3 16 5 18 10 5 22 24 0 10 2 10 2 5 9 18 5 23 16 12 6 2 4 16 6 1 2 10 5 10 2 0 16 6 3 13 2 10 5 2 20 4 16 23 11 16 20 0 22 2 0 6 16 6 12 2 22 16 6 0 23 20 8 16 16 13 2 16 6 15 16 2 10 0 2 6 21 7 16 18 13 2 16 16 2 14 16 10 5 2 6 21 16 6 0 18 7 5 2 16 6 5 22 20 10 5 18 18 20 10 0 2 2 7 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 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 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1</values>
114.63/34.50	v </instantiation>
114.63/34.50	c (14,0) Show results End
114.63/34.50	c (14,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
114.63/34.50	c (14,0) 14,14,STOP-AFTER(ALL)
114.63/34.50	c END-Prog: Tue Sep 24 17:19:01 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405227-1569338346/watcher-4405227-1569338346 -o /tmp/evaluation-result-4405227-1569338346/solver-4405227-1569338346 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --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-4405227-1569338346.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
Current StackSize limit: 8192 KiB
Starting watchdog thread

solver pid=16357, runsolver pid=16354

[startup+0.100131 s]*
/proc/loadavg: 3.96 6.20 5.17 2/212 16379
/proc/meminfo: memFree=25486516/32770624 swapFree=66999796/67108860
[pid=16357] ppid=16354 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16357/stat : 16357 (scop.sh) S 16354 16357 15640 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510099443 115843072 349 33554432000 4194304 5098028 140728929055680 140728929052936 140476195160700 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140728929059621 140728929059948 140728929059948 140728929062861 0
/proc/16357/statm: 28282 349 296 221 0 87 0
[pid=16360] ppid=16357 vsize=27314120 memory=106860 CPUtime=0.1 cores=0-7
/proc/16360/stat : 16360 (java) S 16357 16357 15640 0 -1 1077944320 6778 0 0 0 8 2 0 0 20 0 20 0 510099443 27969658880 26715 33554432000 4194304 4196468 140735809398720 140735809381264 140256021147383 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
/proc/16360/statm: 6828530 26715 2802 1 0 6790935 0
[pid=16360/tid=16361] ppid=16357 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/16360/task/16361/stat : 16361 (java) R 16357 16357 15640 0 -1 4202560 4882 0 0 0 7 1 0 0 20 0 20 0 510099444 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255992974096 140256021159318 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16362] ppid=16357 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16360/task/16362/stat : 16362 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140256025390224 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16363] ppid=16357 vsize=27314120 memory=139828503176832 CPUtime=0 cores=0-7
/proc/16360/task/16363/stat : 16363 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255850032144 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16364] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16364/stat : 16364 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255441877904 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16365] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16365/stat : 16365 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255440825104 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16366] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16366/stat : 16366 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255439772304 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16367] ppid=16357 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16360/task/16367/stat : 16367 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255438719504 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16368] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16368/stat : 16368 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255437666704 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16369] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16369/stat : 16369 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 26715 33554432000 4194304 4196468 140735809398720 140255436613904 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16370] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16370/stat : 16370 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 26715 33554432000 4194304 4196468 140735809398720 140254072843120 140256021158530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16371] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16371/stat : 16371 (java) S 16357 16357 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 26715 33554432000 4194304 4196468 140735809398720 140253968983584 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16372] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16372/stat : 16372 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 26715 33554432000 4194304 4196468 140735809398720 140253700547952 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16373] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16373/stat : 16373 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 26715 33554432000 4194304 4196468 140735809398720 140253326039376 140256021165979 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16374] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16374/stat : 16374 (java) S 16357 16357 15640 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 26715 33554432000 4194304 4196468 140735809398720 140254071789936 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16375] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16375/stat : 16375 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 26715 33554432000 4194304 4196468 140735809398720 140254070737136 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16376] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16376/stat : 16376 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 26715 33554432000 4194304 4196468 140735809398720 140254069684336 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16377] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16377/stat : 16377 (java) S 16357 16357 15640 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 26715 33554432000 4194304 4196468 140735809398720 140254068631536 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16378] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16378/stat : 16378 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 26715 33554432000 4194304 4196468 140735809398720 140252828134496 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16379] ppid=16357 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16360/task/16379/stat : 16379 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 26715 33554432000 4194304 4196468 140735809398720 140254067579952 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108256 KiB

[startup+0.210538 s]*
/proc/loadavg: 3.96 6.20 5.17 3/212 16379
/proc/meminfo: memFree=25465376/32770624 swapFree=66999796/67108860
[pid=16357] ppid=16354 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16357/stat : 16357 (scop.sh) S 16354 16357 15640 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510099443 115843072 349 33554432000 4194304 5098028 140728929055680 140728929052936 140476195160700 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140728929059621 140728929059948 140728929059948 140728929062861 0
/proc/16357/statm: 28282 349 296 221 0 87 0
[pid=16360] ppid=16357 vsize=27314120 memory=126072 CPUtime=0.25 cores=0-7
/proc/16360/stat : 16360 (java) S 16357 16357 15640 0 -1 1077944320 12264 0 0 0 21 4 0 0 20 0 20 0 510099443 27969658880 31518 33554432000 4194304 4196468 140735809398720 140735809381264 140256021147383 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
/proc/16360/statm: 6828530 31518 2964 1 0 6790935 0
[pid=16360/tid=16361] ppid=16357 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16360/task/16361/stat : 16361 (java) R 16357 16357 15640 0 -1 4202560 9976 0 0 0 17 3 0 0 20 0 20 0 510099444 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255992967168 140256002710921 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16362] ppid=16357 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/16360/task/16362/stat : 16362 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140256025390224 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16363] ppid=16357 vsize=27314120 memory=139828506910258 CPUtime=0 cores=0-7
/proc/16360/task/16363/stat : 16363 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255850032144 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16364] ppid=16357 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16360/task/16364/stat : 16364 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255441877904 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16365] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16365/stat : 16365 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255440825104 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16366] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16366/stat : 16366 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255439772304 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16367] ppid=16357 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16360/task/16367/stat : 16367 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255438719504 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16368] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16368/stat : 16368 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255437666704 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16369] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16369/stat : 16369 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 31518 33554432000 4194304 4196468 140735809398720 140255436613904 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16370] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16370/stat : 16370 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 31518 33554432000 4194304 4196468 140735809398720 140254072843120 140256021158530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16371] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16371/stat : 16371 (java) S 16357 16357 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 31518 33554432000 4194304 4196468 140735809398720 140253968983584 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16372] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16372/stat : 16372 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 31518 33554432000 4194304 4196468 140735809398720 140253700547952 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16373] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16373/stat : 16373 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 31518 33554432000 4194304 4196468 140735809398720 140253326039376 140256021165979 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16374] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16374/stat : 16374 (java) S 16357 16357 15640 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 31518 33554432000 4194304 4196468 140735809398720 140254071789936 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16375] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16375/stat : 16375 (java) S 16357 16357 15640 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 31518 33554432000 4194304 4196468 140735809398720 140254070737136 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16376] ppid=16357 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16360/task/16376/stat : 16376 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 31518 33554432000 4194304 4196468 140735809398720 140254069684336 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16377] ppid=16357 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16360/task/16377/stat : 16377 (java) S 16357 16357 15640 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 510099451 27969658880 31518 33554432000 4194304 4196468 140735809398720 140254068631536 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16378] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16378/stat : 16378 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 31518 33554432000 4194304 4196468 140735809398720 140252828134496 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16379] ppid=16357 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16360/task/16379/stat : 16379 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 31518 33554432000 4194304 4196468 140735809398720 140254067579952 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127468 KiB

[startup+0.310302 s]*
/proc/loadavg: 3.96 6.20 5.17 3/212 16379
/proc/meminfo: memFree=25464696/32770624 swapFree=66999796/67108860
[pid=16357] ppid=16354 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16357/stat : 16357 (scop.sh) S 16354 16357 15640 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510099443 115843072 349 33554432000 4194304 5098028 140728929055680 140728929052936 140476195160700 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140728929059621 140728929059948 140728929059948 140728929062861 0
/proc/16357/statm: 28282 349 296 221 0 87 0
[pid=16360] ppid=16357 vsize=27314120 memory=129704 CPUtime=0.43 cores=0-7
/proc/16360/stat : 16360 (java) S 16357 16357 15640 0 -1 1077944320 13305 0 0 0 38 5 0 0 20 0 20 0 510099443 27969658880 32426 33554432000 4194304 4196468 140735809398720 140735809381264 140256021147383 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
/proc/16360/statm: 6828530 32426 3016 1 0 6790935 0
[pid=16360/tid=16361] ppid=16357 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16360/task/16361/stat : 16361 (java) R 16357 16357 15640 0 -1 4202560 10831 0 0 0 26 3 0 0 20 0 20 0 510099444 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255992977456 140256001422721 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16362] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16362/stat : 16362 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140256025390224 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16363] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16363/stat : 16363 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255850032144 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16364] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16364/stat : 16364 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255441877904 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16365] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16365/stat : 16365 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255440825104 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16366] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16366/stat : 16366 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255439772304 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16367] ppid=16357 vsize=27314120 memory=139828364667567 CPUtime=0 cores=0-7
/proc/16360/task/16367/stat : 16367 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255438719504 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16368] ppid=16357 vsize=27314120 memory=139828364669872 CPUtime=0 cores=0-7
/proc/16360/task/16368/stat : 16368 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255437666704 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16369] ppid=16357 vsize=27314120 memory=139828364672176 CPUtime=0 cores=0-7
/proc/16360/task/16369/stat : 16369 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099446 27969658880 32426 33554432000 4194304 4196468 140735809398720 140255436613904 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16370] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16370/stat : 16370 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 32426 33554432000 4194304 4196468 140735809398720 140254072843120 140256021158530 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16371] ppid=16357 vsize=27314120 memory=279656729358224 CPUtime=0 cores=0-7
/proc/16360/task/16371/stat : 16371 (java) S 16357 16357 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 32426 33554432000 4194304 4196468 140735809398720 140253968983584 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16372] ppid=16357 vsize=27314120 memory=279656729355920 CPUtime=0 cores=0-7
/proc/16360/task/16372/stat : 16372 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099448 27969658880 32426 33554432000 4194304 4196468 140735809398720 140253700547952 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16373] ppid=16357 vsize=27314120 memory=279656729362832 CPUtime=0 cores=0-7
/proc/16360/task/16373/stat : 16373 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 32426 33554432000 4194304 4196468 140735809398720 140253326039376 140256021165979 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16374] ppid=16357 vsize=27314120 memory=279656729304112 CPUtime=0 cores=0-7
/proc/16360/task/16374/stat : 16374 (java) S 16357 16357 15640 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 32426 33554432000 4194304 4196468 140735809398720 140254071789936 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16375] ppid=16357 vsize=27314120 memory=279656729376656 CPUtime=0.01 cores=0-7
/proc/16360/task/16375/stat : 16375 (java) S 16357 16357 15640 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 510099451 27969658880 32426 33554432000 4194304 4196468 140735809398720 140254070737136 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16376] ppid=16357 vsize=27314120 memory=279656729383568 CPUtime=0.02 cores=0-7
/proc/16360/task/16376/stat : 16376 (java) S 16357 16357 15640 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 510099451 27969658880 32426 33554432000 4194304 4196468 140735809398720 140254069684336 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16377] ppid=16357 vsize=27314120 memory=279656729381264 CPUtime=0.07 cores=0-7
/proc/16360/task/16377/stat : 16377 (java) S 16357 16357 15640 0 -1 1077944384 501 0 0 0 7 0 0 0 20 0 20 0 510099451 27969658880 32426 33554432000 4194304 4196468 140735809398720 140254068631536 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16378] ppid=16357 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16378/stat : 16378 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 32426 33554432000 4194304 4196468 140735809398720 140252828134496 140256021157589 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16379] ppid=16357 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16360/task/16379/stat : 16379 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099451 27969658880 32426 33554432000 4194304 4196468 140735809398720 140254067579952 140256021158530 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131100 KiB

[startup+0.705746 s]
/proc/loadavg: 3.96 6.20 5.17 2/212 16379
/proc/meminfo: memFree=25443364/32770624 swapFree=66999796/67108860
[pid=16357] ppid=16354 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16357/stat : 16357 (scop.sh) S 16354 16357 15640 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510099443 115843072 349 33554432000 4194304 5098028 140728929055680 140728929052936 140476195160700 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140728929059621 140728929059948 140728929059948 140728929062861 0
/proc/16357/statm: 28282 349 296 221 0 87 0
[pid=16360] ppid=16357 vsize=27320392 memory=165184 CPUtime=1.02 cores=0-7
/proc/16360/stat : 16360 (java) S 16357 16357 15640 0 -1 1077944320 20409 0 0 0 94 8 0 0 20 0 20 0 510099443 27976081408 41296 33554432000 4194304 4196468 140735809398720 140735809381264 140256021147383 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
/proc/16360/statm: 6830098 41296 3185 1 0 6791447 0
[pid=16360/tid=16361] ppid=16357 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/16360/task/16361/stat : 16361 (java) R 16357 16357 15640 0 -1 4202560 17405 0 0 0 62 6 0 0 20 0 20 0 510099444 27976081408 41296 33554432000 4194304 4196468 140735809398720 140255992985200 140256021169309 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16362] ppid=16357 vsize=27320392 memory=139828364878704 CPUtime=0 cores=0-7
/proc/16360/task/16362/stat : 16362 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27976081408 41296 33554432000 4194304 4196468 140735809398720 140256025390224 140256021157589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16363] ppid=16357 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16360/task/16363/stat : 16363 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510099446 27976081408 41296 33554432000 4194304 4196468 140735809398720 140255850032144 140256021157589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0
[pid=16360/tid=16364] ppid=16357 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/16360/task/16364/stat : 16364 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510099446 27976081408 41296 33554432000 4194304 4196468 140735809398720 140255441877904 140256021157589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16764928 140735809401579 140735809402006 140735809402006 140735809404879 0

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

[pid=16381/tid=16382] ppid=16357 vsize=8414124 memory=1398722017469774279 CPUtime=0.83 cores=0-7
/proc/16381/task/16382/stat : 16382 (java) S 16357 16357 15640 0 -1 1077944384 16942 0 0 0 76 7 0 0 20 0 24 0 510101379 8616062976 31768 33554432000 4194304 4196468 140737326032320 140040125251488 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16383] ppid=16357 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16381/task/16383/stat : 16383 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140040157653520 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16384] ppid=16357 vsize=8414124 memory=662363397872623666 CPUtime=0 cores=0-7
/proc/16381/task/16384/stat : 16384 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039963417232 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16385] ppid=16357 vsize=8414124 memory=-7313218805096079767 CPUtime=0 cores=0-7
/proc/16381/task/16385/stat : 16385 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039962364176 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16386] ppid=16357 vsize=8414124 memory=6946052997956790101 CPUtime=0 cores=0-7
/proc/16381/task/16386/stat : 16386 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039961311632 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16387] ppid=16357 vsize=8414124 memory=6229154911358184808 CPUtime=0 cores=0-7
/proc/16381/task/16387/stat : 16387 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039960259600 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16388] ppid=16357 vsize=8414124 memory=5782714535746352704 CPUtime=0 cores=0-7
/proc/16381/task/16388/stat : 16388 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039634455696 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16389] ppid=16357 vsize=8414124 memory=4713393478512963433 CPUtime=0 cores=0-7
/proc/16381/task/16389/stat : 16389 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039633402640 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16390] ppid=16357 vsize=8414124 memory=7378138991862508400 CPUtime=0 cores=0-7
/proc/16381/task/16390/stat : 16390 (java) S 16357 16357 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510101380 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039632350096 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16391] ppid=16357 vsize=8414124 memory=5936993819808719975 CPUtime=0 cores=0-7
/proc/16381/task/16391/stat : 16391 (java) S 16357 16357 15640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 510101382 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039112628464 140040153422466 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16392] ppid=16357 vsize=8414124 memory=7234003003075357542 CPUtime=0 cores=0-7
/proc/16381/task/16392/stat : 16392 (java) S 16357 16357 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510101382 8616062976 31768 33554432000 4194304 4196468 140737326032320 140038817965216 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16393] ppid=16357 vsize=8414124 memory=-8745839661218578369 CPUtime=0 cores=0-7
/proc/16381/task/16393/stat : 16393 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101383 8616062976 31768 33554432000 4194304 4196468 140737326032320 140038549529328 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16394] ppid=16357 vsize=8414124 memory=7373065973977277284 CPUtime=0 cores=0-7
/proc/16381/task/16394/stat : 16394 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101385 8616062976 31768 33554432000 4194304 4196468 140737326032320 140038175021008 140040153429915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16395] ppid=16357 vsize=8414124 memory=-5861017980092657052 CPUtime=0.12 cores=0-7
/proc/16381/task/16395/stat : 16395 (java) S 16357 16357 15640 0 -1 1077944384 605 0 0 0 12 0 0 0 20 0 24 0 510101385 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039111576304 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16396] ppid=16357 vsize=8414124 memory=7595945514188034660 CPUtime=0.15 cores=0-7
/proc/16381/task/16396/stat : 16396 (java) S 16357 16357 15640 0 -1 1077944384 527 0 0 0 15 0 0 0 20 0 24 0 510101385 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039110523760 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16397] ppid=16357 vsize=8414124 memory=7595980698560123492 CPUtime=0.11 cores=0-7
/proc/16381/task/16397/stat : 16397 (java) S 16357 16357 15640 0 -1 1077944384 603 0 0 0 11 0 0 0 20 0 24 0 510101385 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039109470704 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16398] ppid=16357 vsize=8414124 memory=7740940311566111332 CPUtime=0.24 cores=0-7
/proc/16381/task/16398/stat : 16398 (java) S 16357 16357 15640 0 -1 1077944384 587 0 0 0 24 0 0 0 20 0 24 0 510101385 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039108418160 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16399] ppid=16357 vsize=8414124 memory=4126256252833911396 CPUtime=0 cores=0-7
/proc/16381/task/16399/stat : 16399 (java) S 16357 16357 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510101385 8616062976 31768 33554432000 4194304 4196468 140737326032320 140037677115872 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16400] ppid=16357 vsize=8414124 memory=4126256252833911396 CPUtime=0 cores=0-7
/proc/16381/task/16400/stat : 16400 (java) S 16357 16357 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510101386 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039107365552 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16402] ppid=16357 vsize=8414124 memory=4126256252833911396 CPUtime=0 cores=0-7
/proc/16381/task/16402/stat : 16402 (java) S 16357 16357 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510101460 8616062976 31768 33554432000 4194304 4196468 140737326032320 140039099331520 140040153435929 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16405] ppid=16357 vsize=8414124 memory=4126256252833911396 CPUtime=0 cores=0-7
/proc/16381/task/16405/stat : 16405 (java) S 16357 16357 15640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 510101460 8616062976 31768 33554432000 4194304 4196468 140737326032320 140037006016560 140040153433245 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16406] ppid=16357 vsize=8414124 memory=7956268668749763172 CPUtime=0 cores=0-7
/proc/16381/task/16406/stat : 16406 (java) S 16357 16357 15640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 510101460 8616062976 31768 33554432000 4194304 4196468 140737326032320 140037274452144 140040153433245 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16407] ppid=16357 vsize=8414124 memory=7955946542644487280 CPUtime=0 cores=0-7
/proc/16381/task/16407/stat : 16407 (java) S 16357 16357 15640 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510101462 8616062976 31768 33554432000 4194304 4196468 140737326032320 140036737588656 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
Current children cumulated CPU time: 113.8 s
Current children cumulated vsize: 10657336 KiB
Current children cumulated memory: 1736252 KiB

[startup+34.401 s]
/proc/loadavg: 3.50 5.81 5.08 2/217 16415
/proc/meminfo: memFree=23795448/32770624 swapFree=66999796/67108860
[pid=16357] ppid=16354 vsize=113128 memory=1476 CPUtime=39.88 cores=0-7
/proc/16357/stat : 16357 (scop.sh) S 16354 16357 15640 0 -1 4202496 584 56243 0 0 0 0 3800 188 20 0 1 0 510099443 115843072 369 33554432000 4194304 5098028 140728929055680 140728929052424 140476195160700 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140728929059621 140728929059948 140728929059948 140728929062861 0
/proc/16357/statm: 28282 369 311 221 0 87 0
[pid=16381] ppid=16357 vsize=8283048 memory=164548 CPUtime=74.75 cores=0-7
/proc/16381/stat : 16381 (java) S 16357 16357 15640 0 -1 1077944320 21883 859941 0 0 199 10 7059 207 20 0 22 0 510101379 8481841152 41137 33554432000 4194304 4196468 140737326032320 140737326014864 140040153411319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
/proc/16381/statm: 2070762 41137 3233 1 0 2032106 0
[pid=16381/tid=16382] ppid=16357 vsize=8283048 memory=1476 CPUtime=73.61 cores=0-7
/proc/16381/task/16382/stat : 16382 (java) R 16357 16357 15640 0 -1 4202560 17187 859941 0 0 88 7 7059 207 20 0 22 0 510101379 8481841152 41137 33554432000 4194304 4196468 140737326032320 140040125249296 140039641192140 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16383] ppid=16357 vsize=8283048 memory=127072 CPUtime=72.66 cores=0-7
/proc/16381/task/16383/stat : 16383 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140040157653520 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16384] ppid=16357 vsize=8283048 memory=1607636 CPUtime=72.66 cores=0-7
/proc/16381/task/16384/stat : 16384 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039963417232 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16385] ppid=16357 vsize=8283048 memory=4281068800673330208 CPUtime=72.66 cores=0-7
/proc/16381/task/16385/stat : 16385 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039962364176 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16386] ppid=16357 vsize=8283048 memory=7732798630715287895 CPUtime=72.66 cores=0-7
/proc/16381/task/16386/stat : 16386 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039961311632 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16387] ppid=16357 vsize=8283048 memory=6946052997956790101 CPUtime=72.66 cores=0-7
/proc/16381/task/16387/stat : 16387 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039960259600 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16388] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16388/stat : 16388 (java) S 16357 16357 15640 0 -1 1077944384 3 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039634455696 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16389] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16389/stat : 16389 (java) S 16357 16357 15640 0 -1 1077944384 2 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039633402640 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16390] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16390/stat : 16390 (java) S 16357 16357 15640 0 -1 1077944384 2 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039632350096 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16391] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16391/stat : 16391 (java) S 16357 16357 15640 0 -1 1077944384 5 859941 0 0 0 0 7059 207 20 0 22 0 510101382 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039112628464 140040153422466 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16392] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16392/stat : 16392 (java) S 16357 16357 15640 0 -1 1077944384 13 859941 0 0 0 0 7059 207 20 0 22 0 510101382 8481841152 41137 33554432000 4194304 4196468 140737326032320 140038817965216 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16393] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16393/stat : 16393 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101383 8481841152 41137 33554432000 4194304 4196468 140737326032320 140038549529328 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16394] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16394/stat : 16394 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101385 8481841152 41137 33554432000 4194304 4196468 140737326032320 140038175021008 140040153429915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16395] ppid=16357 vsize=8283048 memory=6943526294502006880 CPUtime=72.85 cores=0-7
/proc/16381/task/16395/stat : 16395 (java) S 16357 16357 15640 0 -1 1077944384 775 859941 0 0 19 0 7059 207 20 0 22 0 510101385 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039111576304 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16396] ppid=16357 vsize=8283048 memory=0 CPUtime=72.87 cores=0-7
/proc/16381/task/16396/stat : 16396 (java) S 16357 16357 15640 0 -1 1077944384 553 859941 0 0 21 0 7059 207 20 0 22 0 510101385 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039110523760 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16397] ppid=16357 vsize=8283048 memory=210182814597119 CPUtime=72.85 cores=0-7
/proc/16381/task/16397/stat : 16397 (java) S 16357 16357 15640 0 -1 1077944384 642 859941 0 0 19 0 7059 207 20 0 22 0 510101385 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039109470704 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16398] ppid=16357 vsize=8283048 memory=210182814597120 CPUtime=73.02 cores=0-7
/proc/16381/task/16398/stat : 16398 (java) S 16357 16357 15640 0 -1 1077944384 1269 859941 0 0 36 0 7059 207 20 0 22 0 510101385 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039108418160 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16399] ppid=16357 vsize=8283048 memory=210182814597121 CPUtime=72.66 cores=0-7
/proc/16381/task/16399/stat : 16399 (java) S 16357 16357 15640 0 -1 1077944384 3 859941 0 0 0 0 7059 207 20 0 22 0 510101385 8481841152 41137 33554432000 4194304 4196468 140737326032320 140037677115872 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16400] ppid=16357 vsize=8283048 memory=210182814597122 CPUtime=72.66 cores=0-7
/proc/16381/task/16400/stat : 16400 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101386 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039107365552 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16402] ppid=16357 vsize=8283048 memory=7686721470250784921 CPUtime=72.66 cores=0-7
/proc/16381/task/16402/stat : 16402 (java) S 16357 16357 15640 0 -1 1077944384 24 859941 0 0 0 0 7059 207 20 0 22 0 510101460 8481841152 41137 33554432000 4194304 4196468 140737326032320 140039099330704 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16407] ppid=16357 vsize=8283048 memory=210182814597124 CPUtime=72.66 cores=0-7
/proc/16381/task/16407/stat : 16407 (java) S 16357 16357 15640 0 -1 1077944384 9 859941 0 0 0 0 7059 207 20 0 22 0 510101462 8481841152 41137 33554432000 4194304 4196468 140737326032320 140036737590448 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
Current children cumulated CPU time: 114.63 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 166024 KiB

[startup+34.5009 s]
/proc/loadavg: 3.50 5.81 5.08 2/217 16415
/proc/meminfo: memFree=23795448/32770624 swapFree=66999796/67108860
[pid=16357] ppid=16354 vsize=113128 memory=1476 CPUtime=39.88 cores=0-7
/proc/16357/stat : 16357 (scop.sh) S 16354 16357 15640 0 -1 4202496 584 56243 0 0 0 0 3800 188 20 0 1 0 510099443 115843072 369 33554432000 4194304 5098028 140728929055680 140728929052424 140476195160700 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33120256 140728929059621 140728929059948 140728929059948 140728929062861 0
/proc/16357/statm: 28282 369 311 221 0 87 0
[pid=16381] ppid=16357 vsize=8283048 memory=182488 CPUtime=75.15 cores=0-7
/proc/16381/stat : 16381 (java) S 16357 16357 15640 0 -1 1077944320 24920 859941 0 0 237 12 7059 207 20 0 22 0 510101379 8481841152 45622 33554432000 4194304 4196468 140737326032320 140737326014864 140040153411319 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
/proc/16381/statm: 2070762 45622 3236 1 0 2032106 0
[pid=16381/tid=16382] ppid=16357 vsize=8283048 memory=1476 CPUtime=73.71 cores=0-7
/proc/16381/task/16382/stat : 16382 (java) R 16357 16357 15640 0 -1 4202560 18293 859941 0 0 97 8 7059 207 20 0 22 0 510101379 8481841152 45622 33554432000 4194304 4196468 140737326032320 140040125237856 140040146096951 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16383] ppid=16357 vsize=8283048 memory=161152 CPUtime=72.66 cores=0-7
/proc/16381/task/16383/stat : 16383 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140040157653520 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16384] ppid=16357 vsize=8283048 memory=1476 CPUtime=72.66 cores=0-7
/proc/16381/task/16384/stat : 16384 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039963417232 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16385] ppid=16357 vsize=8283048 memory=1476 CPUtime=72.66 cores=0-7
/proc/16381/task/16385/stat : 16385 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039962364176 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16386] ppid=16357 vsize=8283048 memory=127072 CPUtime=72.66 cores=0-7
/proc/16381/task/16386/stat : 16386 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039961311632 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16387] ppid=16357 vsize=8283048 memory=1607460 CPUtime=72.66 cores=0-7
/proc/16381/task/16387/stat : 16387 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039960259600 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16388] ppid=16357 vsize=8283048 memory=3612 CPUtime=72.66 cores=0-7
/proc/16381/task/16388/stat : 16388 (java) S 16357 16357 15640 0 -1 1077944384 3 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039634455696 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16389] ppid=16357 vsize=8283048 memory=2832 CPUtime=72.66 cores=0-7
/proc/16381/task/16389/stat : 16389 (java) S 16357 16357 15640 0 -1 1077944384 2 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039633402640 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16390] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16390/stat : 16390 (java) S 16357 16357 15640 0 -1 1077944384 2 859941 0 0 0 0 7059 207 20 0 22 0 510101380 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039632350096 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16391] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16391/stat : 16391 (java) S 16357 16357 15640 0 -1 1077944384 5 859941 0 0 0 0 7059 207 20 0 22 0 510101382 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039112628464 140040153422466 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16392] ppid=16357 vsize=8283048 memory=0 CPUtime=72.66 cores=0-7
/proc/16381/task/16392/stat : 16392 (java) S 16357 16357 15640 0 -1 1077944384 13 859941 0 0 0 0 7059 207 20 0 22 0 510101382 8481841152 45622 33554432000 4194304 4196468 140737326032320 140038817965216 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16393] ppid=16357 vsize=8283048 memory=1552 CPUtime=72.66 cores=0-7
/proc/16381/task/16393/stat : 16393 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101383 8481841152 45622 33554432000 4194304 4196468 140737326032320 140038549529328 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16394] ppid=16357 vsize=8283048 memory=1204 CPUtime=72.66 cores=0-7
/proc/16381/task/16394/stat : 16394 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101385 8481841152 45622 33554432000 4194304 4196468 140737326032320 140038175021008 140040153429915 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16395] ppid=16357 vsize=8283048 memory=1072 CPUtime=72.94 cores=0-7
/proc/16381/task/16395/stat : 16395 (java) R 16357 16357 15640 0 -1 4202560 1302 859941 0 0 28 0 7059 207 20 0 22 0 510101385 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039111557320 140040134939133 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16396] ppid=16357 vsize=8283048 memory=127072 CPUtime=72.96 cores=0-7
/proc/16381/task/16396/stat : 16396 (java) R 16357 16357 15640 0 -1 4202560 1032 859941 0 0 30 0 7059 207 20 0 22 0 510101385 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039110509952 140040138536034 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16397] ppid=16357 vsize=8283048 memory=1476 CPUtime=72.93 cores=0-7
/proc/16381/task/16397/stat : 16397 (java) R 16357 16357 15640 0 -1 4202560 1267 859941 0 0 27 0 7059 207 20 0 22 0 510101385 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039109451720 140040136908103 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16398] ppid=16357 vsize=8283048 memory=127072 CPUtime=73.06 cores=0-7
/proc/16381/task/16398/stat : 16398 (java) R 16357 16357 15640 0 -1 4202560 1569 859941 0 0 40 0 7059 207 20 0 22 0 510101385 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039108418160 140040132215647 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16399] ppid=16357 vsize=8283048 memory=248000 CPUtime=72.66 cores=0-7
/proc/16381/task/16399/stat : 16399 (java) S 16357 16357 15640 0 -1 1077944384 3 859941 0 0 0 0 7059 207 20 0 22 0 510101385 8481841152 45622 33554432000 4194304 4196468 140737326032320 140037677115872 140040153421525 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16400] ppid=16357 vsize=8283048 memory=776 CPUtime=72.66 cores=0-7
/proc/16381/task/16400/stat : 16400 (java) S 16357 16357 15640 0 -1 1077944384 1 859941 0 0 0 0 7059 207 20 0 22 0 510101386 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039107365552 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16402] ppid=16357 vsize=8283048 memory=1056 CPUtime=72.66 cores=0-7
/proc/16381/task/16402/stat : 16402 (java) S 16357 16357 15640 0 -1 1077944384 24 859941 0 0 0 0 7059 207 20 0 22 0 510101460 8481841152 45622 33554432000 4194304 4196468 140737326032320 140039099330704 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
[pid=16381/tid=16407] ppid=16357 vsize=8283048 memory=14012 CPUtime=72.66 cores=0-7
/proc/16381/task/16407/stat : 16407 (java) S 16357 16357 15640 0 -1 1077944384 9 859941 0 0 0 0 7059 207 20 0 22 0 510101462 8481841152 45622 33554432000 4194304 4196468 140737326032320 140036737590448 140040153422466 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33951744 140737326035959 140737326036118 140737326036118 140737326038991 0
Current children cumulated CPU time: 115.03 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 183964 KiB

Child status: 0
Real time (s): 34.5304
CPU time (s): 115.112
CPU user time (s): 111.012
CPU system time (s): 4.10034
CPU usage (%): 333.364
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6090448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 111.012
system time used= 4.10034
maximum resident set size= 6089732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 941816
page faults= 0
swaps= 0
block input operations= 0
block output operations= 127456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55398
involuntary context switches= 712


# summary of solver processes directly reported to runsolver:
#   pid: 16357
#   total CPU time (s): 115.112
#   total CPU user time (s): 111.012
#   total CPU system time (s): 4.10034

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.296821 second user time and 0.431231 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-24 17:18:27
IDJOB=4405227
IDBENCH=128075
IDSOLVER=2867
FILE ID=node123/4405227-1569338346
RUNJOBID= node123-1569335939-15667
PBS_JOBID= 21705062
Free space on /tmp= 25920 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-09.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405227-1569338346/watcher-4405227-1569338346 -o /tmp/evaluation-result-4405227-1569338346/solver-4405227-1569338346 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --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-4405227-1569338346.xml

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

MD5SUM BENCH= 3e3af1bae7de9ef5515b71e9dbb47d41
RANDOM SEED=1435980845

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25583616 kB
MemAvailable:   31836452 kB
Buffers:           86376 kB
Cached:          6319260 kB
SwapCached:         6628 kB
Active:          3180968 kB
Inactive:        3237700 kB
Active(anon):       4964 kB
Inactive(anon):    64000 kB
Active(file):    3176004 kB
Inactive(file):  3173700 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66999796 kB
Dirty:             20396 kB
Writeback:             0 kB
AnonPages:        125436 kB
Mapped:            56524 kB
Shmem:             47928 kB
Slab:             361792 kB
SReclaimable:     331592 kB
SUnreclaim:        30200 kB
KernelStack:        3744 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 25900 MiB
End job on node123 at 2019-09-24 17:19:01