Trace number 4392670

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 128.588 38.0182

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-75-03.xml
MD5SUM09f7292054b32b27f786cbe3f3fae605
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.32732
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1419
Number of domains2
Minimum domain size2
Maximum domain size27
Distribution of domain sizes[{"size":2,"count":1000},{"size":27,"count":200}]
Minimum variable degree2
Maximum variable degree73
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":10}, {"degree":54,"count":57}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},{"arity":77,"count":2},{"arity":78,"count":1},{"arity":80,"count":5},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1218},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15833-serial-file.bin HOME/instance-4392670-1568431042.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:16:42 CEST 2019
0.65/0.57	c PID: 15836
0.65/0.57	c IP: 172.20.3.140
0.65/0.57	c HOST: node140.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.35/1.40	c (0,0) Parsing End
3.35/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1419 ctr, max domain size 27
3.35/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.35/1.41	c (0,0) Constraint Name Generate Begin
3.35/1.44	c (0,0) Ctr:HOME/instance-4392670-1568431042.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.35/1.44	c (0,0) Constraint Name Generate End
3.35/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.35/1.44	c (0,0) CSP to CSPinCNF Begin
11.86/5.08	c (4,4) translated 142 (10%) constraints
12.51/5.68	c (5,4) translated 284 (20%) constraints
12.75/5.70	c (5,4) translated 426 (30%) constraints
12.75/5.72	c (5,4) translated 568 (40%) constraints
12.75/5.74	c (5,4) translated 710 (50%) constraints
12.75/5.76	c (5,4) translated 852 (60%) constraints
12.75/5.78	c (5,4) translated 994 (70%) constraints
13.17/5.80	c (5,5) translated 1136 (80%) constraints
15.37/7.57	c (7,6) translated 1278 (90%) constraints
16.88/9.04	c (8,8) translated 1419 (100%) constraints
16.88/9.06	c (8,8) ===========================================
17.03/9.11	c (8,8) Hybrid: #OE=11000, #LE=6400
17.03/9.11	c (8,8) Hybrid
17.03/9.11	c (8,8) ===========================================
18.21/9.73	c (9,8) translated 6005 (10%) constraints
18.56/10.01	c (9,9) translated 12009 (20%) constraints
19.03/10.15	c (9,9) translated 18014 (30%) constraints
19.12/10.28	c (9,9) translated 24018 (40%) constraints
19.32/10.42	c (9,9) translated 30023 (50%) constraints
19.42/10.55	c (10,9) translated 36027 (60%) constraints
19.52/10.68	c (10,9) translated 42032 (70%) constraints
19.72/10.82	c (10,10) translated 48036 (80%) constraints
19.82/10.95	c (10,10) translated 54041 (90%) constraints
21.14/12.17	c (11,11) translated 60045 (100%) constraints
21.14/12.18	c (11,11) CSP to CSPinCNF End
21.14/12.18	c (11,11) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70872 ctr, max domain size 27
21.14/12.18	c (11,11) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
21.14/12.18	c (11,11) CSPinCNF Propagation Begin
22.32/12.88	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.32/12.88	c (12,12) CSPinCNF Propagation End
22.32/12.88	c (12,12) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70472 ctr, max domain size 27
22.32/12.88	c (12,12) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.60/12.94	c (12,12) Hybrid: #OE=16400, #LE=6400
22.60/12.94	c (12,12) Simplify CSPinCNF Begin
23.08/13.14	c (12,12) Simplify CSPinCNF End
23.08/13.15	c (12,12) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70472 ctr, max domain size 27
23.08/13.15	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.08/13.15	c (12,12) Calculate Precise Domain Begin
23.08/13.15	c (12,12) 0 values are removed by re-calculation
23.08/13.15	c (12,12) Calculate Precise Domain End
23.08/13.15	c (12,12) CSP: 200 int (0 aux), 22600 bool (21600 aux), 70472 ctr, max domain size 27
23.08/13.15	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.08/13.15	c (12,12) CSPinCNF to SatSolver Begin
25.35/14.10	c (13,13) 7048 (10 %) CSP clauses are encoded (0 SAT variables, 232199 SAT clauses)
26.12/14.22	c (13,13) 14095 (20 %) CSP clauses are encoded (0 SAT variables, 239246 SAT clauses)
26.38/14.31	c (13,13) 21142 (30 %) CSP clauses are encoded (0 SAT variables, 246293 SAT clauses)
26.72/14.42	c (13,13) 28189 (40 %) CSP clauses are encoded (0 SAT variables, 253340 SAT clauses)
26.84/14.51	c (13,13) 35236 (50 %) CSP clauses are encoded (0 SAT variables, 260387 SAT clauses)
26.84/14.59	c (14,13) 42284 (60 %) CSP clauses are encoded (0 SAT variables, 267435 SAT clauses)
27.59/14.78	c (14,13) 49331 (70 %) CSP clauses are encoded (0 SAT variables, 274482 SAT clauses)
27.85/14.86	c (14,13) 56378 (80 %) CSP clauses are encoded (0 SAT variables, 281529 SAT clauses)
27.96/14.94	c (14,14) 63425 (90 %) CSP clauses are encoded (0 SAT variables, 288576 SAT clauses)
32.67/19.07	c (18,18) 70472 (100 %) CSP clauses are encoded (0 SAT variables, 2662246 SAT clauses)
32.67/19.10	c (18,18) CSPinCNF to SatSolver End
32.67/19.10	c (18,18) Heap : 4311 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
32.67/19.10	c (18,18) 914505 bool, 2680865 clause
32.67/19.10	c (18,18) Export Begin
33.22/19.30	c (18,18) Export to HOME/scop-15833-serial-file.bin
33.22/19.30	c (18,18) Export End
33.26/20.01	c (18,18) Export File Size: 0.47 MB
33.26/20.01	c (18,18) 0,0,11,12,12,12,18,STOP-AFTER(DIMACS)
33.26/20.01	c END-Prog: Sat Sep 14 05:17:01 CEST 2019
33.26/20.04	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15833-serial-file.bin
33.30/20.51	c (0,0) Read Serial File Begin
33.30/20.51	c (0,0) HOME/scop-15833-serial-file.bin
33.30/20.87	c (0,0) Read Serial File End
33.30/20.88	
33.30/20.88	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
33.30/20.88	(Solving Process)
33.30/20.89	
33.30/20.91	c BEGIN-Prog: Sat Sep 14 05:17:03 CEST 2019
33.30/20.91	c PID: 15856
33.30/20.91	c IP: 172.20.3.140
33.30/20.91	c HOST: node140.alineos.net
33.30/20.91	c (0,0) SatSolver.solve Begin
33.30/20.91	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392670-1568431042.xml-scop-15836.cnf
33.30/20.94	c (0,0) c
33.30/20.94	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)
33.30/20.94	c (0,0) c
33.30/20.94	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
33.30/20.94	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
33.30/20.94	c (0,0) c ========================================[ Problem Statistics ]===========================================
33.30/20.94	c (0,0) c |                                                                                                       |
36.15/22.10	c (1,0) c |  Number of variables:        914505                                                                   |
36.15/22.10	c (1,0) c |  Number of clauses:         2679999                                                                   |
36.15/22.10	c (1,0) c |  Parse time:                   1.02 s                                                                 |
36.15/22.10	c (1,0) c |                                                                                                       |
38.04/23.94	c (3,0) c |  Simplification time:          1.79 s                                                                 |
38.04/23.94	c (3,0) c |                                                                                                       |
38.04/23.94	c (3,0) c |  Generating clones                                                                                    |
39.25/25.15	c (4,0) c |  all clones generated. Memory =  2291.17Mb.                                                           |
39.25/25.15	c (4,0) c ========================================================================================================|
39.25/25.15	c (4,0) c
39.25/25.15	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.25/25.15	c (4,0) c
39.25/25.15	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.25/25.15	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.25/25.15	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.25/25.15	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.25/25.15	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.25/25.15	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.25/25.15	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
39.25/25.15	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.25/25.15	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.25/25.15	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.25/25.15	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.25/25.15	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.25/25.15	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.25/25.15	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.25/25.15	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
39.25/25.15	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.25/25.15	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.25/25.15	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.25/25.15	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c
126.87/37.27	c (16,0) c real time : 16.3315 s
126.87/37.27	c (16,0) c cpu time  : 88.7453 s
126.87/37.27	c (16,0) c
126.87/37.27	c (16,0) c
126.87/37.27	c (16,0) c
126.87/37.27	c (16,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
126.87/37.27	c (16,0) c
126.87/37.27	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
126.87/37.27	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c | Conflicts     |          129018 |      14517 |      16924 |      23608 |      19801 |      17483 |      16144 |      12199 |       8342 |
126.87/37.27	c (16,0) c | Decisions     |         8193098 |     800982 |    1079436 |     717507 |     893458 |     865090 |    1365394 |    1515710 |     955521 |
126.87/37.27	c (16,0) c | Propagations  |       288538651 |   35100397 |   36610668 |   35217751 |   34746265 |   38080698 |   37076658 |   35964030 |   35742184 |
126.87/37.27	c (16,0) c | ReduceDBs     |              23 |          3 |          3 |          4 |          3 |          3 |          3 |          2 |          2 |
126.87/37.27	c (16,0) c | SimpDBs       |              26 |          2 |          3 |          3 |          3 |          4 |          4 |          3 |          4 |
126.87/37.27	c (16,0) c | Restarts      |             401 |         28 |         46 |         49 |         72 |         52 |         60 |         49 |         45 |
126.87/37.27	c (16,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.87/37.27	c (16,0) c | PropBinClauses|        60171753 |    7142142 |    8228177 |    7341295 |    7780541 |    7170374 |    7775101 |    6702445 |    8031678 |
126.87/37.27	c (16,0) c | PropPreBlocker|       674004172 |   88152214 |   86205556 |   78526343 |   82908187 |   88787145 |   86893062 |   83730776 |   78800889 |
126.87/37.27	c (16,0) c | PropNotBlocker|       326615970 |   39425101 |   41051081 |   40700423 |   41206631 |   43612091 |   41426153 |   40398696 |   38795794 |
126.87/37.27	c (16,0) c | LitFullScans  |      1543322071 |  186043809 |  190981144 |  186071188 |  191608649 |  210081071 |  203813905 |  186474021 |  188248284 |
126.87/37.27	c (16,0) c | LitScanFracts |          471345 |      14718 |      54003 |      58976 |      50856 |      66667 |      94503 |      96565 |      35057 |
126.87/37.27	c (16,0) c | DecisionLevel0|             410 |         28 |         46 |         49 |         72 |         55 |         63 |         50 |         47 |
126.87/37.27	c (16,0) c | Periods       |             254 |         31 |         31 |         31 |         31 |         35 |         33 |         31 |         31 |
126.87/37.27	c (16,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
126.87/37.27	c (16,0) c | Avg_Trail     |                 |      42489 |      28616 |      39027 |      29453 |      36737 |      37585 |      48757 |      33604 |
126.87/37.27	c (16,0) c | Avg_DL        |                 |        885 |        631 |        682 |        832 |        705 |        537 |       1036 |        745 |
126.87/37.27	c (16,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.87/37.27	c (16,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.87/37.27	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c | Exported      |           28909 |       3968 |       3749 |       5469 |       4664 |       4268 |       2905 |       2316 |       1570 |
126.87/37.27	c (16,0) c | Imported      |           29907 |        475 |       3620 |       1678 |       3029 |       8305 |       7070 |       2898 |       2832 |
126.87/37.27	c (16,0) c | Good          |            5869 |        253 |        753 |        717 |        667 |       1228 |       1043 |        629 |        579 |
126.87/37.27	c (16,0) c | Purge         |           24038 |        222 |       2867 |        961 |       2362 |       7077 |       6027 |       2269 |       2253 |
126.87/37.27	c (16,0) c | Promoted      |              75 |          0 |          0 |          0 |          0 |         72 |          2 |          0 |          1 |
126.87/37.27	c (16,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.87/37.27	c (16,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
126.87/37.27	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          3 |          3 |          1 |          2 |
126.87/37.27	c (16,0) c | Binaries      |                 |        278 |        425 |        348 |        414 |        401 |        456 |        312 |        516 |
126.87/37.27	c (16,0) c | Glues         |                 |        573 |       1040 |       1123 |       1190 |        931 |        918 |        561 |        732 |
126.87/37.27	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c | Orig_Seen     |             2 % |      46304 |      52069 |      52030 |      59425 |      72365 |      62104 |      67027 |      57575 |
126.87/37.27	c (16,0) c | Diff Orig seen|                 | -    20723 | -    14958 | -    14997 | -     7602 |       5338 | -     4923 |      X     | -     9452 |
126.87/37.27	c (16,0) c | Hamming       |            22 % |     220989 |     203168 |     197026 |     194689 |     197521 |     201412 |      X     |     200595 |
126.87/37.27	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c | RunningTime   |                 |   12.0 100%|   12.1 100%|   10.9 100%|   10.8 100%|   10.9 100%|   10.9 100%|   10.8 100%|   10.8 100%|
126.87/37.27	c (16,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
126.87/37.27	c (16,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
126.87/37.27	c (16,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
126.87/37.27	c (16,0) c | SolvingTime   |                 |   12.0     |   12.1     |   10.9     |   10.8     |   10.9     |   10.9     |   10.8     |   10.9     |
126.87/37.27	c (16,0) c | PropagationTim|                 |   10.7  89%|   10.7  89%|    9.4  86%|    9.4  86%|    9.3  86%|    9.3  86%|    9.4  86%|    9.4  87%|
126.87/37.27	c (16,0) c | AnalysisTime  |                 |    0.3   3%|    0.3   2%|    0.4   4%|    0.4   4%|    0.4   3%|    0.3   3%|    0.3   3%|    0.2   2%|
126.87/37.27	c (16,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
126.87/37.27	c (16,0) c | SimplifyTime  |                 |    0.1   0%|    0.1   1%|    0.1   1%|    0.1   1%|    0.2   2%|    0.2   2%|    0.1   1%|    0.2   1%|
126.87/37.27	c (16,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
126.87/37.27	c (16,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
126.87/37.27	c (16,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
126.87/37.27	c (16,0) c
126.87/37.27	c (16,0) c
126.87/37.27	c (16,0) c Threads : 8
126.87/37.27	c (16,0) c Winner : 6
126.87/37.27	c (16,0) c Conflicts_0 : 14517
126.87/37.27	c (16,0) c Conflicts_1 : 16924
126.87/37.27	c (16,0) c Conflicts_2 : 23608
126.87/37.27	c (16,0) c Conflicts_3 : 19801
126.87/37.27	c (16,0) c Conflicts_4 : 17483
126.87/37.27	c (16,0) c Conflicts_5 : 16144
126.87/37.27	c (16,0) c Conflicts_6 : 12199
126.87/37.27	c (16,0) c Conflicts_7 : 8342
126.87/37.27	c (16,0) c Conflicts_total : 129018
126.87/37.27	c (16,0) c Conflicts_winner : 12199
126.87/37.27	c (16,0) c Decisions_0 : 800982
126.87/37.27	c (16,0) c Decisions_1 : 1079436
126.87/37.27	c (16,0) c Decisions_2 : 717507
126.87/37.27	c (16,0) c Decisions_3 : 893458
126.87/37.27	c (16,0) c Decisions_4 : 865090
126.87/37.27	c (16,0) c Decisions_5 : 1365394
126.87/37.27	c (16,0) c Decisions_6 : 1515710
126.87/37.27	c (16,0) c Decisions_7 : 955521
126.87/37.27	c (16,0) c Decisions_total : 8193098
126.87/37.27	c (16,0) c Decisions_winner : 1515710
126.87/37.27	c (16,0) c Propagations_0 : 35100397
126.87/37.27	c (16,0) c Propagations_1 : 36610668
126.87/37.27	c (16,0) c Propagations_2 : 35217751
126.87/37.27	c (16,0) c Propagations_3 : 34746265
126.87/37.27	c (16,0) c Propagations_4 : 38080698
126.87/37.27	c (16,0) c Propagations_5 : 37076658
126.87/37.27	c (16,0) c Propagations_6 : 35964030
126.87/37.27	c (16,0) c Propagations_7 : 35742184
126.87/37.27	c (16,0) c Propagations_total : 288538651
126.87/37.27	c (16,0) c Propagations_winner : 35964030
126.87/37.27	c (16,0) c ReduceDBs_0 : 3
126.87/37.27	c (16,0) c ReduceDBs_1 : 3
126.87/37.27	c (16,0) c ReduceDBs_2 : 4
126.87/37.27	c (16,0) c ReduceDBs_3 : 3
126.87/37.27	c (16,0) c ReduceDBs_4 : 3
126.87/37.27	c (16,0) c ReduceDBs_5 : 3
126.87/37.27	c (16,0) c ReduceDBs_6 : 2
126.87/37.27	c (16,0) c ReduceDBs_7 : 2
126.87/37.27	c (16,0) c ReduceDBs_total : 23
126.87/37.27	c (16,0) c ReduceDBs_winner : 2
126.87/37.27	c (16,0) c SimpDBs_0 : 2
126.87/37.27	c (16,0) c SimpDBs_1 : 3
126.87/37.27	c (16,0) c SimpDBs_2 : 3
126.87/37.27	c (16,0) c SimpDBs_3 : 3
126.87/37.27	c (16,0) c SimpDBs_4 : 4
126.87/37.27	c (16,0) c SimpDBs_5 : 4
126.87/37.27	c (16,0) c SimpDBs_6 : 3
126.87/37.27	c (16,0) c SimpDBs_7 : 4
126.87/37.27	c (16,0) c SimpDBs_total : 26
126.87/37.27	c (16,0) c SimpDBs_winner : 3
126.87/37.27	c (16,0) c Restarts_0 : 28
126.87/37.27	c (16,0) c Restarts_1 : 46
126.87/37.27	c (16,0) c Restarts_2 : 49
126.87/37.27	c (16,0) c Restarts_3 : 72
126.87/37.27	c (16,0) c Restarts_4 : 52
126.87/37.28	c (16,0) c Restarts_5 : 60
126.87/37.28	c (16,0) c Restarts_6 : 49
126.87/37.28	c (16,0) c Restarts_7 : 45
126.87/37.28	c (16,0) c Restarts_total : 401
126.87/37.28	c (16,0) c Restarts_winner : 49
126.87/37.28	c (16,0) c ForcedImports_0 : 0
126.87/37.28	c (16,0) c ForcedImports_1 : 0
126.87/37.28	c (16,0) c ForcedImports_2 : 0
126.87/37.28	c (16,0) c ForcedImports_3 : 0
126.87/37.28	c (16,0) c ForcedImports_4 : 0
126.87/37.28	c (16,0) c ForcedImports_5 : 0
126.87/37.28	c (16,0) c ForcedImports_6 : 0
126.87/37.28	c (16,0) c ForcedImports_7 : 0
126.87/37.28	c (16,0) c ForcedImports_total : 0
126.87/37.28	c (16,0) c ForcedImports_winner : 0
126.87/37.28	c (16,0) c PropsBinClauses_0 : 7142142
126.87/37.28	c (16,0) c PropsBinClauses_1 : 8228177
126.87/37.28	c (16,0) c PropsBinClauses_2 : 7341295
126.87/37.28	c (16,0) c PropsBinClauses_3 : 7780541
126.87/37.28	c (16,0) c PropsBinClauses_4 : 7170374
126.87/37.28	c (16,0) c PropsBinClauses_5 : 7775101
126.87/37.28	c (16,0) c PropsBinClauses_6 : 6702445
126.87/37.28	c (16,0) c PropsBinClauses_7 : 8031678
126.87/37.28	c (16,0) c PropsBinClauses_total : 60171753
126.87/37.28	c (16,0) c PropsBinClauses_winner : 6702445
126.87/37.28	c (16,0) c PropsPreBlocker_0 : 88152214
126.87/37.28	c (16,0) c PropsPreBlocker_1 : 86205556
126.87/37.28	c (16,0) c PropsPreBlocker_2 : 78526343
126.87/37.28	c (16,0) c PropsPreBlocker_3 : 82908187
126.87/37.28	c (16,0) c PropsPreBlocker_4 : 88787145
126.87/37.28	c (16,0) c PropsPreBlocker_5 : 86893062
126.87/37.28	c (16,0) c PropsPreBlocker_6 : 83730776
126.87/37.28	c (16,0) c PropsPreBlocker_7 : 78800889
126.87/37.28	c (16,0) c PropsPreBlocker_total : 674004172
126.87/37.28	c (16,0) c PropsPreBlocker_winner : 83730776
126.87/37.28	c (16,0) c PropsNotBlocker_0 : 39425101
126.87/37.28	c (16,0) c PropsNotBlocker_1 : 41051081
126.87/37.28	c (16,0) c PropsNotBlocker_2 : 40700423
126.87/37.28	c (16,0) c PropsNotBlocker_3 : 41206631
126.87/37.28	c (16,0) c PropsNotBlocker_4 : 43612091
126.87/37.28	c (16,0) c PropsNotBlocker_5 : 41426153
126.87/37.28	c (16,0) c PropsNotBlocker_6 : 40398696
126.87/37.28	c (16,0) c PropsNotBlocker_7 : 38795794
126.87/37.28	c (16,0) c PropsNotBlocker_total : 326615970
126.87/37.28	c (16,0) c PropsNotBlocker_winner : 40398696
126.87/37.28	c (16,0) c PropsLitFullScans_0 : 186043809
126.87/37.28	c (16,0) c PropsLitFullScans_1 : 190981144
126.87/37.28	c (16,0) c PropsLitFullScans_2 : 186071188
126.87/37.28	c (16,0) c PropsLitFullScans_3 : 191608649
126.87/37.28	c (16,0) c PropsLitFullScans_4 : 210081071
126.87/37.28	c (16,0) c PropsLitFullScans_5 : 203813905
126.87/37.28	c (16,0) c PropsLitFullScans_6 : 186474021
126.87/37.28	c (16,0) c PropsLitFullScans_7 : 188248284
126.87/37.28	c (16,0) c PropsLitFullScans_total : 1543322071
126.87/37.28	c (16,0) c PropsLitFullScans_winner : 186474021
126.87/37.28	c (16,0) c LitScanFractions_0 : 14718
126.87/37.28	c (16,0) c LitScanFractions_1 : 54003
126.87/37.28	c (16,0) c LitScanFractions_2 : 58976
126.87/37.28	c (16,0) c LitScanFractions_3 : 50856
126.87/37.28	c (16,0) c LitScanFractions_4 : 66667
126.87/37.28	c (16,0) c LitScanFractions_5 : 94503
126.87/37.28	c (16,0) c LitScanFractions_6 : 96565
126.87/37.28	c (16,0) c LitScanFractions_7 : 35057
126.87/37.28	c (16,0) c LitScanFractions_total : 471345
126.87/37.28	c (16,0) c LitScanFractions_winner : 96565
126.87/37.28	c (16,0) c DecisionLevel0_0 : 28
126.87/37.28	c (16,0) c DecisionLevel0_1 : 46
126.87/37.28	c (16,0) c DecisionLevel0_2 : 49
126.87/37.28	c (16,0) c DecisionLevel0_3 : 72
126.87/37.28	c (16,0) c DecisionLevel0_4 : 55
126.87/37.28	c (16,0) c DecisionLevel0_5 : 63
126.87/37.28	c (16,0) c DecisionLevel0_6 : 50
126.87/37.28	c (16,0) c DecisionLevel0_7 : 47
126.87/37.28	c (16,0) c DecisionLevel0_total : 410
126.87/37.28	c (16,0) c DecisionLevel0_winner : 50
126.87/37.28	c (16,0) c Periods_0 : 31
126.87/37.28	c (16,0) c Periods_1 : 31
126.87/37.28	c (16,0) c Periods_2 : 31
126.87/37.28	c (16,0) c Periods_3 : 31
126.87/37.28	c (16,0) c Periods_4 : 35
126.87/37.28	c (16,0) c Periods_5 : 33
126.87/37.28	c (16,0) c Periods_6 : 31
126.87/37.28	c (16,0) c Periods_7 : 31
126.87/37.28	c (16,0) c Periods_total : 254
126.87/37.28	c (16,0) c Periods_winner : 31
126.87/37.28	c (16,0) c Margin_0 : 20
126.87/37.28	c (16,0) c Margin_1 : 20
126.87/37.28	c (16,0) c Margin_2 : 20
126.87/37.28	c (16,0) c Margin_3 : 20
126.87/37.28	c (16,0) c Margin_4 : 20
126.87/37.28	c (16,0) c Margin_5 : 20
126.87/37.28	c (16,0) c Margin_6 : 20
126.87/37.28	c (16,0) c Margin_7 : 20
126.87/37.28	c (16,0) c Margin_total : 160
126.87/37.28	c (16,0) c Margin_winner : 20
126.87/37.28	c (16,0) c Exported_0 : 3968
126.87/37.28	c (16,0) c Exported_1 : 3749
126.87/37.28	c (16,0) c Exported_2 : 5469
126.87/37.28	c (16,0) c Exported_3 : 4664
126.87/37.28	c (16,0) c Exported_4 : 4268
126.87/37.28	c (16,0) c Exported_5 : 2905
126.87/37.28	c (16,0) c Exported_6 : 2316
126.87/37.28	c (16,0) c Exported_7 : 1570
126.87/37.28	c (16,0) c Exported_total : 28909
126.87/37.28	c (16,0) c Exported_winner : 2316
126.87/37.28	c (16,0) c Imported_0 : 475
126.87/37.28	c (16,0) c Imported_1 : 3620
126.87/37.28	c (16,0) c Imported_2 : 1678
126.87/37.28	c (16,0) c Imported_3 : 3029
126.87/37.28	c (16,0) c Imported_4 : 8305
126.87/37.28	c (16,0) c Imported_5 : 7070
126.87/37.28	c (16,0) c Imported_6 : 2898
126.87/37.28	c (16,0) c Imported_7 : 2832
126.87/37.28	c (16,0) c Imported_total : 29907
126.87/37.28	c (16,0) c Imported_winner : 2898
126.87/37.28	c (16,0) c Good_0 : 253
126.87/37.28	c (16,0) c Good_1 : 753
126.87/37.28	c (16,0) c Good_2 : 717
126.87/37.28	c (16,0) c Good_3 : 667
126.87/37.28	c (16,0) c Good_4 : 1228
126.87/37.28	c (16,0) c Good_5 : 1043
126.87/37.28	c (16,0) c Good_6 : 629
126.87/37.28	c (16,0) c Good_7 : 579
126.87/37.28	c (16,0) c Good_total : 5869
126.87/37.28	c (16,0) c Good_winner : 629
126.87/37.28	c (16,0) c Purge_0 : 222
126.87/37.28	c (16,0) c Purge_1 : 2867
126.87/37.28	c (16,0) c Purge_2 : 961
126.87/37.28	c (16,0) c Purge_3 : 2362
126.87/37.28	c (16,0) c Purge_4 : 7077
126.87/37.28	c (16,0) c Purge_5 : 6027
126.87/37.28	c (16,0) c Purge_6 : 2269
126.87/37.28	c (16,0) c Purge_7 : 2253
126.87/37.28	c (16,0) c Purge_total : 24038
126.87/37.28	c (16,0) c Purge_winner : 2269
126.87/37.28	c (16,0) c Promoted_0 : 0
126.87/37.28	c (16,0) c Promoted_1 : 0
126.87/37.28	c (16,0) c Promoted_2 : 0
126.87/37.28	c (16,0) c Promoted_3 : 0
126.87/37.28	c (16,0) c Promoted_4 : 72
126.87/37.28	c (16,0) c Promoted_5 : 2
126.87/37.28	c (16,0) c Promoted_6 : 0
126.87/37.28	c (16,0) c Promoted_7 : 1
126.87/37.28	c (16,0) c Promoted_total : 75
126.87/37.28	c (16,0) c Promoted_winner : 0
126.87/37.28	c (16,0) c Remove_Imp_0 : 0
126.87/37.28	c (16,0) c Remove_Imp_1 : 0
126.87/37.28	c (16,0) c Remove_Imp_2 : 0
126.87/37.28	c (16,0) c Remove_Imp_3 : 0
126.87/37.28	c (16,0) c Remove_Imp_4 : 0
126.87/37.28	c (16,0) c Remove_Imp_5 : 0
126.87/37.28	c (16,0) c Remove_Imp_6 : 0
126.87/37.28	c (16,0) c Remove_Imp_7 : 0
126.87/37.28	c (16,0) c Remove_Imp_total : 0
126.87/37.28	c (16,0) c Remove_Imp_winner : 0
126.87/37.28	c (16,0) c Blocked_Reuse_0 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_1 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_2 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_3 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_4 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_5 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_6 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_7 : 0
126.87/37.28	c (16,0) c Blocked_Reuse_total : 0
126.87/37.28	c (16,0) c Blocked_Reuse_winner : 0
126.87/37.28	c (16,0) c Unaries_0 : 0
126.87/37.28	c (16,0) c Unaries_1 : 0
126.87/37.28	c (16,0) c Unaries_2 : 0
126.87/37.28	c (16,0) c Unaries_3 : 0
126.87/37.28	c (16,0) c Unaries_4 : 3
126.87/37.28	c (16,0) c Unaries_5 : 3
126.87/37.28	c (16,0) c Unaries_6 : 1
126.87/37.28	c (16,0) c Unaries_7 : 2
126.87/37.28	c (16,0) c Unaries_total : 9
126.87/37.28	c (16,0) c Unaries_winner : 1
126.87/37.28	c (16,0) c Binaries_0 : 278
126.87/37.28	c (16,0) c Binaries_1 : 425
126.87/37.28	c (16,0) c Binaries_2 : 348
126.87/37.28	c (16,0) c Binaries_3 : 414
126.87/37.28	c (16,0) c Binaries_4 : 401
126.87/37.28	c (16,0) c Binaries_5 : 456
126.87/37.28	c (16,0) c Binaries_6 : 312
126.87/37.28	c (16,0) c Binaries_7 : 516
126.87/37.28	c (16,0) c Binaries_total : 3150
126.87/37.28	c (16,0) c Binaries_winner : 312
126.87/37.28	c (16,0) c Glues_0 : 573
126.87/37.28	c (16,0) c Glues_1 : 1040
126.87/37.28	c (16,0) c Glues_2 : 1123
126.87/37.28	c (16,0) c Glues_3 : 1190
126.87/37.28	c (16,0) c Glues_4 : 931
126.87/37.28	c (16,0) c Glues_5 : 918
126.87/37.28	c (16,0) c Glues_6 : 561
126.87/37.28	c (16,0) c Glues_7 : 732
126.87/37.28	c (16,0) c Glues_total : 7068
126.87/37.28	c (16,0) c Glues_winner : 561
126.87/37.28	c (16,0) c RunningTime_0 : 12.014317
126.87/37.28	c (16,0) c RunningTime_1 : 12.078063
126.87/37.28	c (16,0) c RunningTime_2 : 10.884552
126.87/37.28	c (16,0) c RunningTime_3 : 10.833905
126.87/37.28	c (16,0) c RunningTime_4 : 10.861271
126.87/37.28	c (16,0) c RunningTime_5 : 10.858186
126.87/37.28	c (16,0) c RunningTime_6 : 10.823625
126.87/37.28	c (16,0) c RunningTime_7 : 10.843383
126.87/37.28	c (16,0) c RunningTime_total : 89.197302
126.87/37.28	c (16,0) c RunningTime_winner : 10.823625
126.87/37.28	c (16,0) c WaitingTime_0 : 0.000034
126.87/37.28	c (16,0) c WaitingTime_1 : 0.000021
126.87/37.28	c (16,0) c WaitingTime_2 : 0.000023
126.87/37.28	c (16,0) c WaitingTime_3 : 0.000019
126.87/37.28	c (16,0) c WaitingTime_4 : 0.000047
126.87/37.28	c (16,0) c WaitingTime_5 : 0.000043
126.87/37.28	c (16,0) c WaitingTime_6 : 0.000033
126.87/37.28	c (16,0) c WaitingTime_7 : 0.000025
126.87/37.28	c (16,0) c WaitingTime_total : 0.000245
126.87/37.28	c (16,0) c WaitingTime_winner : 0.000033
126.87/37.28	c (16,0) c ExchangingTime_0 : 0.004871
126.87/37.28	c (16,0) c ExchangingTime_1 : 0.004775
126.87/37.28	c (16,0) c ExchangingTime_2 : 0.006969
126.87/37.28	c (16,0) c ExchangingTime_3 : 0.005581
126.87/37.28	c (16,0) c ExchangingTime_4 : 0.008093
126.87/37.28	c (16,0) c ExchangingTime_5 : 0.008856
126.87/37.28	c (16,0) c ExchangingTime_6 : 0.008876
126.87/37.28	c (16,0) c ExchangingTime_7 : 0.004995
126.87/37.28	c (16,0) c ExchangingTime_total : 0.053016
126.87/37.28	c (16,0) c ExchangingTime_winner : 0.008876
126.87/37.28	c (16,0) c PeriodProcTime_0 : 0.000360
126.87/37.28	c (16,0) c PeriodProcTime_1 : 0.000364
126.87/37.28	c (16,0) c PeriodProcTime_2 : 0.000350
126.87/37.28	c (16,0) c PeriodProcTime_3 : 0.000423
126.87/37.28	c (16,0) c PeriodProcTime_4 : 0.000384
126.87/37.28	c (16,0) c PeriodProcTime_5 : 0.000373
126.87/37.28	c (16,0) c PeriodProcTime_6 : 0.000300
126.87/37.28	c (16,0) c PeriodProcTime_7 : 0.001841
126.87/37.28	c (16,0) c PeriodProcTime_total : 0.004396
126.87/37.28	c (16,0) c PeriodProcTime_winner : 0.000300
126.87/37.28	c (16,0) c SolvingTime_0 : 12.019582
126.87/37.28	c (16,0) c SolvingTime_1 : 12.083222
126.87/37.28	c (16,0) c SolvingTime_2 : 10.891894
126.87/37.28	c (16,0) c SolvingTime_3 : 10.839928
126.87/37.28	c (16,0) c SolvingTime_4 : 10.869796
126.87/37.28	c (16,0) c SolvingTime_5 : 10.867458
126.87/37.28	c (16,0) c SolvingTime_6 : 10.832834
126.87/37.28	c (16,0) c SolvingTime_7 : 10.850244
126.87/37.28	c (16,0) c SolvingTime_total : 89.254958
126.87/37.28	c (16,0) c SolvingTime_winner : 10.832834
126.87/37.28	c (16,0) c PropagationTime_0 : 10.733418
126.87/37.28	c (16,0) c PropagationTime_1 : 10.720520
126.87/37.28	c (16,0) c PropagationTime_2 : 9.374400
126.87/37.28	c (16,0) c PropagationTime_3 : 9.364316
126.87/37.28	c (16,0) c PropagationTime_4 : 9.324061
126.87/37.28	c (16,0) c PropagationTime_5 : 9.344012
126.87/37.28	c (16,0) c PropagationTime_6 : 9.358315
126.87/37.28	c (16,0) c PropagationTime_7 : 9.438186
126.87/37.28	c (16,0) c PropagationTime_total : 77.657228
126.87/37.28	c (16,0) c PropagationTime_winner : 9.358315
126.87/37.28	c (16,0) c AnalysisTime_0 : 0.348376
126.87/37.28	c (16,0) c AnalysisTime_1 : 0.288651
126.87/37.28	c (16,0) c AnalysisTime_2 : 0.413824
126.87/37.28	c (16,0) c AnalysisTime_3 : 0.380524
126.87/37.28	c (16,0) c AnalysisTime_4 : 0.352233
126.87/37.28	c (16,0) c AnalysisTime_5 : 0.335473
126.87/37.28	c (16,0) c AnalysisTime_6 : 0.292702
126.87/37.28	c (16,0) c AnalysisTime_7 : 0.222275
126.87/37.28	c (16,0) c AnalysisTime_total : 2.634057
126.87/37.28	c (16,0) c AnalysisTime_winner : 0.292702
126.87/37.28	c (16,0) c ReductionTime_0 : 0.003785
126.87/37.28	c (16,0) c ReductionTime_1 : 0.003091
126.87/37.28	c (16,0) c ReductionTime_2 : 0.006762
126.87/37.28	c (16,0) c ReductionTime_3 : 0.003398
126.87/37.28	c (16,0) c ReductionTime_4 : 0.003721
126.87/37.28	c (16,0) c ReductionTime_5 : 0.004213
126.87/37.28	c (16,0) c ReductionTime_6 : 0.002457
126.87/37.28	c (16,0) c ReductionTime_7 : 0.001452
126.87/37.28	c (16,0) c ReductionTime_total : 0.028879
126.87/37.28	c (16,0) c ReductionTime_winner : 0.002457
126.87/37.28	c (16,0) c SimplifyTime_0 : 0.056688
126.87/37.28	c (16,0) c SimplifyTime_1 : 0.105772
126.87/37.28	c (16,0) c SimplifyTime_2 : 0.117091
126.87/37.28	c (16,0) c SimplifyTime_3 : 0.111400
126.87/37.28	c (16,0) c SimplifyTime_4 : 0.164298
126.87/37.28	c (16,0) c SimplifyTime_5 : 0.172207
126.87/37.28	c (16,0) c SimplifyTime_6 : 0.131265
126.87/37.28	c (16,0) c SimplifyTime_7 : 0.162408
126.87/37.28	c (16,0) c SimplifyTime_total : 1.021129
126.87/37.28	c (16,0) c SimplifyTime_winner : 0.131265
126.87/37.28	c (16,0) c UsedRateTime_0 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_1 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_2 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_3 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_4 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_5 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_6 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_7 : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_total : 0.000000
126.87/37.28	c (16,0) c UsedRateTime_winner : 0.000000
126.87/37.28	c (16,0) c OverlapRateTime_0 : 0.000000
126.87/37.28	c (16,0) c OverlapRateTime_1 : 0.000000
126.87/37.28	c (16,0) c OverlapRateTime_2 : 0.000000
126.87/37.28	c (16,0) c OverlapRateTime_3 : 0.000000
126.87/37.28	c (16,0) c OverlapRateTime_4 : 0.000000
126.87/37.29	c (16,0) c OverlapRateTime_5 : 0.000000
127.02/37.30	c (16,0) c OverlapRateTime_6 : 0.000000
127.02/37.30	c (16,0) c OverlapRateTime_7 : 0.000000
127.02/37.30	c (16,0) c OverlapRateTime_total : 0.000000
127.02/37.30	c (16,0) c OverlapRateTime_winner : 0.000000
127.02/37.30	c (16,0) c
127.02/37.30	c (16,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
127.02/37.30	c (16,0) c
127.02/37.30	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
127.02/37.30	c (16,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
127.02/37.30	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
127.02/37.30	c (16,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
127.02/37.30	c (16,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
127.02/37.30	c (16,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
127.02/37.30	c (16,0) c | Initial random_seed   |  422990840 |   93350722 | 1666273701 |  734214514 |  481264384 | 1798299948 |  983261694 |  706987859 |
127.02/37.30	c (16,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
127.02/37.30	c (16,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
127.02/37.30	c (16,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
127.02/37.30	c (16,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
127.02/37.30	c (16,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
127.02/37.30	c (16,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
127.02/37.30	c (16,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
127.02/37.30	c (16,0) c | var_decay             |     0.8200 |     0.8300 |     0.8400 |     0.8300 |     0.8300 |     0.8300 |     0.8200 |     0.8100 |
127.02/37.30	c (16,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
127.02/37.30	c (16,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
127.02/37.30	c (16,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
127.02/37.30	c (16,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
127.02/37.30	c (16,0) 
127.02/37.30	c (16,0) s SATISFIABLE
127.81/37.76	c (17,0) SatSolver.solve End
127.81/37.76	c (17,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
127.81/37.76	c (17,0) Show results Begin
128.15/37.96	c (17,0) cls[0] = 13
128.15/37.96	c (17,0) cls[1] = 15
128.15/37.96	c (17,0) cls[2] = 13
128.15/37.96	c (17,0) cls[3] = 5
128.15/37.96	c (17,0) cls[4] = 19
128.15/37.96	c (17,0) cls[5] = 8
128.15/37.96	c (17,0) cls[6] = 26
128.15/37.96	c (17,0) cls[7] = 11
128.15/37.96	c (17,0) cls[8] = 21
128.15/37.96	c (17,0) cls[9] = 19
128.15/37.96	c (17,0) cls[10] = 13
128.15/37.96	c (17,0) cls[11] = 10
128.15/37.96	c (17,0) cls[12] = 22
128.15/37.96	c (17,0) cls[13] = 1
128.15/37.96	c (17,0) cls[14] = 13
128.15/37.96	c (17,0) cls[15] = 16
128.15/37.96	c (17,0) cls[16] = 19
128.15/37.96	c (17,0) cls[17] = 3
128.15/37.96	c (17,0) cls[18] = 17
128.15/37.96	c (17,0) cls[19] = 14
128.15/37.96	c (17,0) cls[20] = 19
128.15/37.96	c (17,0) cls[21] = 13
128.15/37.96	c (17,0) cls[22] = 8
128.15/37.96	c (17,0) cls[23] = 19
128.15/37.96	c (17,0) cls[24] = 11
128.15/37.96	c (17,0) cls[25] = 19
128.15/37.96	c (17,0) cls[26] = 3
128.15/37.96	c (17,0) cls[27] = 16
128.15/37.96	c (17,0) cls[28] = 10
128.15/37.96	c (17,0) cls[29] = 13
128.15/37.96	c (17,0) cls[30] = 15
128.15/37.96	c (17,0) cls[31] = 18
128.15/37.96	c (17,0) cls[32] = 26
128.15/37.96	c (17,0) cls[33] = 22
128.15/37.96	c (17,0) cls[34] = 19
128.15/37.96	c (17,0) cls[35] = 13
128.15/37.96	c (17,0) cls[36] = 0
128.15/37.96	c (17,0) cls[37] = 18
128.15/37.96	c (17,0) cls[38] = 26
128.15/37.96	c (17,0) cls[39] = 16
128.15/37.96	c (17,0) cls[40] = 3
128.15/37.96	c (17,0) cls[41] = 3
128.15/37.96	c (17,0) cls[42] = 13
128.15/37.96	c (17,0) cls[43] = 26
128.15/37.96	c (17,0) cls[44] = 18
128.15/37.96	c (17,0) cls[45] = 12
128.15/37.96	c (17,0) cls[46] = 13
128.15/37.96	c (17,0) cls[47] = 3
128.15/37.96	c (17,0) cls[48] = 22
128.15/37.96	c (17,0) cls[49] = 19
128.15/37.96	c (17,0) cls[50] = 13
128.15/37.96	c (17,0) cls[51] = 19
128.15/37.96	c (17,0) cls[52] = 13
128.15/37.96	c (17,0) cls[53] = 16
128.15/37.96	c (17,0) cls[54] = 23
128.15/37.96	c (17,0) cls[55] = 3
128.15/37.96	c (17,0) cls[56] = 13
128.15/37.96	c (17,0) cls[57] = 26
128.15/37.96	c (17,0) cls[58] = 11
128.15/37.96	c (17,0) cls[59] = 13
128.15/37.96	c (17,0) cls[60] = 3
128.15/37.96	c (17,0) cls[61] = 15
128.15/37.96	c (17,0) cls[62] = 13
128.15/37.96	c (17,0) cls[63] = 3
128.15/37.96	c (17,0) cls[64] = 4
128.15/37.96	c (17,0) cls[65] = 3
128.15/37.96	c (17,0) cls[66] = 13
128.15/37.96	c (17,0) cls[67] = 13
128.15/37.96	c (17,0) cls[68] = 11
128.15/37.96	c (17,0) cls[69] = 8
128.15/37.96	c (17,0) cls[70] = 26
128.15/37.96	c (17,0) cls[71] = 3
128.15/37.96	c (17,0) cls[72] = 24
128.15/37.96	c (17,0) cls[73] = 17
128.15/37.96	c (17,0) cls[74] = 3
128.15/37.96	c (17,0) cls[75] = 13
128.15/37.96	c (17,0) cls[76] = 15
128.15/37.96	c (17,0) cls[77] = 8
128.15/37.96	c (17,0) cls[78] = 18
128.15/37.96	c (17,0) cls[79] = 26
128.15/37.96	c (17,0) cls[80] = 24
128.15/37.96	c (17,0) cls[81] = 10
128.15/37.96	c (17,0) cls[82] = 3
128.15/37.96	c (17,0) cls[83] = 16
128.15/37.96	c (17,0) cls[84] = 26
128.15/37.96	c (17,0) cls[85] = 18
128.15/37.97	c (17,0) cls[86] = 19
128.15/37.97	c (17,0) cls[87] = 3
128.15/37.97	c (17,0) cls[88] = 10
128.15/37.97	c (17,0) cls[89] = 13
128.15/37.97	c (17,0) cls[90] = 18
128.15/37.97	c (17,0) cls[91] = 11
128.15/37.97	c (17,0) cls[92] = 26
128.15/37.97	c (17,0) cls[93] = 8
128.15/37.97	c (17,0) cls[94] = 14
128.15/37.97	c (17,0) cls[95] = 19
128.15/37.97	c (17,0) cls[96] = 18
128.15/37.97	c (17,0) cls[97] = 19
128.15/37.97	c (17,0) cls[98] = 8
128.15/37.97	c (17,0) cls[99] = 11
128.15/37.97	c (17,0) cls[100] = 26
128.15/37.97	c (17,0) cls[101] = 5
128.15/37.97	c (17,0) cls[102] = 15
128.15/37.97	c (17,0) cls[103] = 3
128.15/37.97	c (17,0) cls[104] = 26
128.15/37.97	c (17,0) cls[105] = 13
128.15/37.97	c (17,0) cls[106] = 2
128.15/37.97	c (17,0) cls[107] = 3
128.15/37.97	c (17,0) cls[108] = 13
128.15/37.97	c (17,0) cls[109] = 16
128.15/37.97	c (17,0) cls[110] = 3
128.15/37.97	c (17,0) cls[111] = 17
128.15/37.97	c (17,0) cls[112] = 11
128.15/37.97	c (17,0) cls[113] = 19
128.15/37.97	c (17,0) cls[114] = 8
128.15/37.97	c (17,0) cls[115] = 3
128.15/37.97	c (17,0) cls[116] = 13
128.15/37.97	c (17,0) cls[117] = 16
128.15/37.97	c (17,0) cls[118] = 19
128.15/37.97	c (17,0) cls[119] = 23
128.15/37.97	c (17,0) cls[120] = 13
128.15/37.97	c (17,0) cls[121] = 26
128.15/37.97	c (17,0) cls[122] = 11
128.15/37.97	c (17,0) cls[123] = 10
128.15/37.97	c (17,0) cls[124] = 13
128.15/37.97	c (17,0) cls[125] = 20
128.15/37.97	c (17,0) cls[126] = 11
128.15/37.97	c (17,0) cls[127] = 13
128.15/37.97	c (17,0) cls[128] = 13
128.15/37.97	c (17,0) cls[129] = 10
128.15/37.97	c (17,0) cls[130] = 13
128.15/37.97	c (17,0) cls[131] = 22
128.15/37.97	c (17,0) cls[132] = 18
128.15/37.97	c (17,0) cls[133] = 13
128.15/37.97	c (17,0) cls[134] = 13
128.15/37.97	c (17,0) cls[135] = 10
128.15/37.97	c (17,0) cls[136] = 11
128.15/37.97	c (17,0) cls[137] = 17
128.15/37.97	c (17,0) cls[138] = 13
128.15/37.97	c (17,0) cls[139] = 3
128.15/37.97	c (17,0) cls[140] = 13
128.15/37.97	c (17,0) cls[141] = 3
128.15/37.97	c (17,0) cls[142] = 2
128.15/37.97	c (17,0) cls[143] = 13
128.15/37.97	c (17,0) cls[144] = 8
128.15/37.97	c (17,0) cls[145] = 19
128.15/37.97	c (17,0) cls[146] = 11
128.15/37.97	c (17,0) cls[147] = 7
128.15/37.97	c (17,0) cls[148] = 13
128.15/37.97	c (17,0) cls[149] = 10
128.15/37.97	c (17,0) cls[150] = 13
128.15/37.97	c (17,0) cls[151] = 12
128.15/37.97	c (17,0) cls[152] = 3
128.15/37.97	c (17,0) cls[153] = 26
128.15/37.97	c (17,0) cls[154] = 11
128.15/37.97	c (17,0) cls[155] = 26
128.15/37.97	c (17,0) cls[156] = 13
128.15/37.97	c (17,0) cls[157] = 6
128.15/37.97	c (17,0) cls[158] = 13
128.15/37.97	c (17,0) cls[159] = 19
128.15/37.97	c (17,0) cls[160] = 8
128.15/37.97	c (17,0) cls[161] = 11
128.15/37.97	c (17,0) cls[162] = 3
128.15/37.97	c (17,0) cls[163] = 13
128.15/37.97	c (17,0) cls[164] = 11
128.15/37.97	c (17,0) cls[165] = 20
128.15/37.97	c (17,0) cls[166] = 13
128.15/37.97	c (17,0) cls[167] = 11
128.15/37.97	c (17,0) cls[168] = 8
128.15/37.97	c (17,0) cls[169] = 26
128.15/37.97	c (17,0) cls[170] = 3
128.15/37.97	c (17,0) cls[171] = 15
128.15/37.97	c (17,0) cls[172] = 13
128.15/37.97	c (17,0) cls[173] = 10
128.15/37.97	c (17,0) cls[174] = 13
128.15/37.97	c (17,0) cls[175] = 13
128.15/37.97	c (17,0) cls[176] = 20
128.15/37.97	c (17,0) cls[177] = 11
128.15/37.97	c (17,0) cls[178] = 8
128.15/37.97	c (17,0) cls[179] = 26
128.15/37.97	c (17,0) cls[180] = 11
128.15/37.97	c (17,0) cls[181] = 26
128.15/37.97	c (17,0) cls[182] = 8
128.15/37.97	c (17,0) cls[183] = 20
128.15/37.97	c (17,0) cls[184] = 11
128.15/37.97	c (17,0) cls[185] = 13
128.15/37.97	c (17,0) cls[186] = 26
128.15/37.97	c (17,0) cls[187] = 11
128.15/37.97	c (17,0) cls[188] = 13
128.15/37.97	c (17,0) cls[189] = 7
128.15/37.97	c (17,0) cls[190] = 14
128.15/37.97	c (17,0) cls[191] = 1
128.15/37.97	c (17,0) cls[192] = 13
128.15/37.97	c (17,0) cls[193] = 25
128.15/37.97	c (17,0) cls[194] = 13
128.15/37.97	c (17,0) cls[195] = 3
128.15/37.97	c (17,0) cls[196] = 9
128.15/37.97	c (17,0) cls[197] = 3
128.15/37.97	c (17,0) cls[198] = 19
128.15/37.97	c (17,0) cls[199] = 11
128.15/37.97	c (17,0) opt[0][0] = 0
128.15/37.97	c (17,0) opt[0][1] = 1
128.15/37.97	c (17,0) opt[0][2] = 0
128.15/37.97	c (17,0) opt[0][3] = 0
128.15/37.97	c (17,0) opt[0][4] = 0
128.15/37.97	c (17,0) opt[1][0] = 1
128.15/37.97	c (17,0) opt[1][1] = 0
128.15/37.97	c (17,0) opt[1][2] = 1
128.15/37.97	c (17,0) opt[1][3] = 0
128.15/37.97	c (17,0) opt[1][4] = 0
128.15/37.97	c (17,0) opt[2][0] = 0
128.15/37.97	c (17,0) opt[2][1] = 1
128.15/37.97	c (17,0) opt[2][2] = 0
128.15/37.97	c (17,0) opt[2][3] = 0
128.15/37.97	c (17,0) opt[2][4] = 0
128.15/37.97	c (17,0) opt[3][0] = 0
128.15/37.97	c (17,0) opt[3][1] = 1
128.15/37.97	c (17,0) opt[3][2] = 0
128.15/37.97	c (17,0) opt[3][3] = 1
128.15/37.97	c (17,0) opt[3][4] = 1
128.15/37.97	c (17,0) opt[4][0] = 1
128.15/37.97	c (17,0) opt[4][1] = 0
128.15/37.97	c (17,0) opt[4][2] = 0
128.15/37.97	c (17,0) opt[4][3] = 0
128.15/37.97	c (17,0) opt[4][4] = 0
128.15/37.97	c (17,0) opt[5][0] = 0
128.15/37.97	c (17,0) opt[5][1] = 1
128.15/37.97	c (17,0) opt[5][2] = 0
128.15/37.97	c (17,0) opt[5][3] = 1
128.15/37.97	c (17,0) opt[5][4] = 0
128.15/37.97	c (17,0) opt[6][0] = 1
128.15/37.97	c (17,0) opt[6][1] = 1
128.15/37.97	c (17,0) opt[6][2] = 0
128.15/37.97	c (17,0) opt[6][3] = 0
128.15/37.97	c (17,0) opt[6][4] = 0
128.15/37.97	c (17,0) opt[7][0] = 0
128.15/37.97	c (17,0) opt[7][1] = 0
128.15/37.97	c (17,0) opt[7][2] = 1
128.15/37.97	c (17,0) opt[7][3] = 0
128.15/37.97	c (17,0) opt[7][4] = 0
128.15/37.97	c (17,0) opt[8][0] = 0
128.15/37.97	c (17,0) opt[8][1] = 1
128.15/37.97	c (17,0) opt[8][2] = 0
128.15/37.97	c (17,0) opt[8][3] = 0
128.15/37.97	c (17,0) opt[8][4] = 1
128.15/37.97	c (17,0) opt[9][0] = 1
128.15/37.97	c (17,0) opt[9][1] = 0
128.15/37.97	c (17,0) opt[9][2] = 0
128.15/37.97	c (17,0) opt[9][3] = 0
128.15/37.97	c (17,0) opt[9][4] = 0
128.15/37.97	c (17,0) opt[10][0] = 0
128.15/37.97	c (17,0) opt[10][1] = 1
128.15/37.97	c (17,0) opt[10][2] = 0
128.15/37.97	c (17,0) opt[10][3] = 0
128.15/37.97	c (17,0) opt[10][4] = 0
128.15/37.97	c (17,0) opt[11][0] = 1
128.15/37.97	c (17,0) opt[11][1] = 0
128.15/37.97	c (17,0) opt[11][2] = 0
128.15/37.97	c (17,0) opt[11][3] = 1
128.15/37.97	c (17,0) opt[11][4] = 0
128.15/37.97	c (17,0) opt[12][0] = 0
128.15/37.97	c (17,0) opt[12][1] = 1
128.15/37.97	c (17,0) opt[12][2] = 1
128.15/37.97	c (17,0) opt[12][3] = 1
128.15/37.97	c (17,0) opt[12][4] = 0
128.15/37.97	c (17,0) opt[13][0] = 1
128.15/37.97	c (17,0) opt[13][1] = 0
128.15/37.97	c (17,0) opt[13][2] = 0
128.15/37.97	c (17,0) opt[13][3] = 0
128.15/37.97	c (17,0) opt[13][4] = 1
128.15/37.97	c (17,0) opt[14][0] = 0
128.15/37.97	c (17,0) opt[14][1] = 1
128.15/37.97	c (17,0) opt[14][2] = 0
128.15/37.97	c (17,0) opt[14][3] = 0
128.15/37.97	c (17,0) opt[14][4] = 0
128.15/37.97	c (17,0) opt[15][0] = 0
128.15/37.97	c (17,0) opt[15][1] = 1
128.15/37.97	c (17,0) opt[15][2] = 1
128.15/37.97	c (17,0) opt[15][3] = 0
128.15/37.97	c (17,0) opt[15][4] = 0
128.15/37.97	c (17,0) opt[16][0] = 1
128.15/37.97	c (17,0) opt[16][1] = 0
128.15/37.97	c (17,0) opt[16][2] = 0
128.15/37.97	c (17,0) opt[16][3] = 0
128.15/37.97	c (17,0) opt[16][4] = 0
128.15/37.97	c (17,0) opt[17][0] = 0
128.15/37.97	c (17,0) opt[17][1] = 0
128.15/37.97	c (17,0) opt[17][2] = 0
128.15/37.97	c (17,0) opt[17][3] = 1
128.15/37.97	c (17,0) opt[17][4] = 0
128.15/37.97	c (17,0) opt[18][0] = 1
128.15/37.97	c (17,0) opt[18][1] = 1
128.15/37.97	c (17,0) opt[18][2] = 0
128.15/37.97	c (17,0) opt[18][3] = 0
128.15/37.97	c (17,0) opt[18][4] = 1
128.15/37.97	c (17,0) opt[19][0] = 0
128.15/37.97	c (17,0) opt[19][1] = 0
128.15/37.97	c (17,0) opt[19][2] = 1
128.15/37.97	c (17,0) opt[19][3] = 1
128.15/37.97	c (17,0) opt[19][4] = 0
128.15/37.97	c (17,0) opt[20][0] = 1
128.15/37.97	c (17,0) opt[20][1] = 0
128.15/37.97	c (17,0) opt[20][2] = 0
128.15/37.97	c (17,0) opt[20][3] = 0
128.15/37.97	c (17,0) opt[20][4] = 0
128.15/37.97	c (17,0) opt[21][0] = 0
128.15/37.97	c (17,0) opt[21][1] = 1
128.15/37.97	c (17,0) opt[21][2] = 0
128.15/37.97	c (17,0) opt[21][3] = 0
128.15/37.97	c (17,0) opt[21][4] = 0
128.15/37.97	c (17,0) opt[22][0] = 0
128.15/37.97	c (17,0) opt[22][1] = 1
128.15/37.97	c (17,0) opt[22][2] = 0
128.15/37.97	c (17,0) opt[22][3] = 1
128.15/37.97	c (17,0) opt[22][4] = 0
128.15/37.97	c (17,0) opt[23][0] = 1
128.15/37.97	c (17,0) opt[23][1] = 0
128.15/37.97	c (17,0) opt[23][2] = 0
128.15/37.97	c (17,0) opt[23][3] = 0
128.15/37.97	c (17,0) opt[23][4] = 0
128.15/37.97	c (17,0) opt[24][0] = 0
128.15/37.97	c (17,0) opt[24][1] = 0
128.15/37.97	c (17,0) opt[24][2] = 1
128.15/37.97	c (17,0) opt[24][3] = 0
128.15/37.97	c (17,0) opt[24][4] = 0
128.15/37.97	c (17,0) opt[25][0] = 1
128.15/37.97	c (17,0) opt[25][1] = 0
128.15/37.97	c (17,0) opt[25][2] = 0
128.15/37.97	c (17,0) opt[25][3] = 0
128.15/37.97	c (17,0) opt[25][4] = 0
128.15/37.97	c (17,0) opt[26][0] = 0
128.15/37.97	c (17,0) opt[26][1] = 0
128.15/37.97	c (17,0) opt[26][2] = 0
128.15/37.97	c (17,0) opt[26][3] = 1
128.15/37.97	c (17,0) opt[26][4] = 0
128.15/37.97	c (17,0) opt[27][0] = 0
128.15/37.97	c (17,0) opt[27][1] = 1
128.15/37.97	c (17,0) opt[27][2] = 1
128.15/37.97	c (17,0) opt[27][3] = 0
128.15/37.97	c (17,0) opt[27][4] = 0
128.15/37.97	c (17,0) opt[28][0] = 1
128.15/37.97	c (17,0) opt[28][1] = 0
128.15/37.97	c (17,0) opt[28][2] = 0
128.15/37.97	c (17,0) opt[28][3] = 1
128.15/37.97	c (17,0) opt[28][4] = 0
128.15/37.97	c (17,0) opt[29][0] = 0
128.15/37.97	c (17,0) opt[29][1] = 1
128.15/37.97	c (17,0) opt[29][2] = 0
128.15/37.97	c (17,0) opt[29][3] = 0
128.15/37.97	c (17,0) opt[29][4] = 0
128.15/37.97	c (17,0) opt[30][0] = 1
128.15/37.97	c (17,0) opt[30][1] = 0
128.15/37.97	c (17,0) opt[30][2] = 1
128.15/37.97	c (17,0) opt[30][3] = 0
128.15/37.97	c (17,0) opt[30][4] = 0
128.15/37.97	c (17,0) opt[31][0] = 0
128.15/37.97	c (17,0) opt[31][1] = 0
128.15/37.97	c (17,0) opt[31][2] = 0
128.15/37.97	c (17,0) opt[31][3] = 0
128.15/37.97	c (17,0) opt[31][4] = 1
128.15/37.97	c (17,0) opt[32][0] = 1
128.15/37.97	c (17,0) opt[32][1] = 1
128.15/37.97	c (17,0) opt[32][2] = 0
128.15/37.97	c (17,0) opt[32][3] = 0
128.15/37.97	c (17,0) opt[32][4] = 0
128.15/37.97	c (17,0) opt[33][0] = 0
128.15/37.97	c (17,0) opt[33][1] = 1
128.15/37.97	c (17,0) opt[33][2] = 1
128.15/37.97	c (17,0) opt[33][3] = 1
128.15/37.97	c (17,0) opt[33][4] = 0
128.15/37.97	c (17,0) opt[34][0] = 1
128.15/37.97	c (17,0) opt[34][1] = 0
128.15/37.97	c (17,0) opt[34][2] = 0
128.15/37.97	c (17,0) opt[34][3] = 0
128.15/37.97	c (17,0) opt[34][4] = 0
128.15/37.97	c (17,0) opt[35][0] = 0
128.15/37.97	c (17,0) opt[35][1] = 1
128.15/37.97	c (17,0) opt[35][2] = 0
128.15/37.97	c (17,0) opt[35][3] = 0
128.15/37.97	c (17,0) opt[35][4] = 0
128.15/37.97	c (17,0) opt[36][0] = 1
128.15/37.97	c (17,0) opt[36][1] = 1
128.15/37.97	c (17,0) opt[36][2] = 1
128.15/37.97	c (17,0) opt[36][3] = 1
128.15/37.97	c (17,0) opt[36][4] = 0
128.15/37.97	c (17,0) opt[37][0] = 0
128.15/37.97	c (17,0) opt[37][1] = 0
128.15/37.97	c (17,0) opt[37][2] = 0
128.15/37.97	c (17,0) opt[37][3] = 0
128.15/37.97	c (17,0) opt[37][4] = 1
128.15/37.97	c (17,0) opt[38][0] = 1
128.15/37.97	c (17,0) opt[38][1] = 1
128.15/37.97	c (17,0) opt[38][2] = 0
128.15/37.97	c (17,0) opt[38][3] = 0
128.15/37.97	c (17,0) opt[38][4] = 0
128.15/37.97	c (17,0) opt[39][0] = 0
128.15/37.97	c (17,0) opt[39][1] = 1
128.15/37.97	c (17,0) opt[39][2] = 1
128.15/37.97	c (17,0) opt[39][3] = 0
128.15/37.97	c (17,0) opt[39][4] = 0
128.15/37.97	c (17,0) opt[40][0] = 0
128.15/37.97	c (17,0) opt[40][1] = 0
128.15/37.97	c (17,0) opt[40][2] = 0
128.15/37.97	c (17,0) opt[40][3] = 1
128.15/37.97	c (17,0) opt[40][4] = 0
128.15/37.97	c (17,0) opt[41][0] = 0
128.15/37.97	c (17,0) opt[41][1] = 0
128.15/37.97	c (17,0) opt[41][2] = 0
128.15/37.97	c (17,0) opt[41][3] = 1
128.15/37.97	c (17,0) opt[41][4] = 0
128.15/37.97	c (17,0) opt[42][0] = 0
128.15/37.97	c (17,0) opt[42][1] = 1
128.15/37.97	c (17,0) opt[42][2] = 0
128.15/37.97	c (17,0) opt[42][3] = 0
128.15/37.97	c (17,0) opt[42][4] = 0
128.15/37.97	c (17,0) opt[43][0] = 1
128.15/37.97	c (17,0) opt[43][1] = 1
128.15/37.97	c (17,0) opt[43][2] = 0
128.15/37.97	c (17,0) opt[43][3] = 0
128.15/37.97	c (17,0) opt[43][4] = 0
128.15/37.97	c (17,0) opt[44][0] = 0
128.15/37.97	c (17,0) opt[44][1] = 0
128.15/37.97	c (17,0) opt[44][2] = 0
128.15/37.97	c (17,0) opt[44][3] = 0
128.15/37.97	c (17,0) opt[44][4] = 1
128.15/37.97	c (17,0) opt[45][0] = 1
128.15/37.97	c (17,0) opt[45][1] = 1
128.15/37.97	c (17,0) opt[45][2] = 1
128.15/37.97	c (17,0) opt[45][3] = 0
128.15/37.97	c (17,0) opt[45][4] = 0
128.15/37.97	c (17,0) opt[46][0] = 0
128.15/37.97	c (17,0) opt[46][1] = 1
128.15/37.97	c (17,0) opt[46][2] = 0
128.15/37.97	c (17,0) opt[46][3] = 0
128.15/37.97	c (17,0) opt[46][4] = 0
128.15/37.97	c (17,0) opt[47][0] = 0
128.15/37.97	c (17,0) opt[47][1] = 0
128.15/37.97	c (17,0) opt[47][2] = 0
128.15/37.97	c (17,0) opt[47][3] = 1
128.15/37.97	c (17,0) opt[47][4] = 0
128.15/37.97	c (17,0) opt[48][0] = 0
128.15/37.97	c (17,0) opt[48][1] = 1
128.15/37.97	c (17,0) opt[48][2] = 1
128.15/37.97	c (17,0) opt[48][3] = 1
128.15/37.97	c (17,0) opt[48][4] = 0
128.15/37.97	c (17,0) opt[49][0] = 1
128.15/37.97	c (17,0) opt[49][1] = 0
128.15/37.97	c (17,0) opt[49][2] = 0
128.15/37.97	c (17,0) opt[49][3] = 0
128.15/37.97	c (17,0) opt[49][4] = 0
128.15/37.97	c (17,0) opt[50][0] = 0
128.15/37.97	c (17,0) opt[50][1] = 1
128.15/37.97	c (17,0) opt[50][2] = 0
128.15/37.97	c (17,0) opt[50][3] = 0
128.15/37.97	c (17,0) opt[50][4] = 0
128.15/37.97	c (17,0) opt[51][0] = 1
128.15/37.97	c (17,0) opt[51][1] = 0
128.15/37.97	c (17,0) opt[51][2] = 0
128.15/37.97	c (17,0) opt[51][3] = 0
128.15/37.97	c (17,0) opt[51][4] = 0
128.15/37.97	c (17,0) opt[52][0] = 0
128.15/37.97	c (17,0) opt[52][1] = 1
128.15/37.97	c (17,0) opt[52][2] = 0
128.15/37.97	c (17,0) opt[52][3] = 0
128.15/37.97	c (17,0) opt[52][4] = 0
128.15/37.97	c (17,0) opt[53][0] = 0
128.15/37.97	c (17,0) opt[53][1] = 1
128.15/37.97	c (17,0) opt[53][2] = 1
128.15/37.97	c (17,0) opt[53][3] = 0
128.15/37.97	c (17,0) opt[53][4] = 0
128.15/37.97	c (17,0) opt[54][0] = 0
128.15/37.97	c (17,0) opt[54][1] = 0
128.15/37.97	c (17,0) opt[54][2] = 0
128.15/37.97	c (17,0) opt[54][3] = 1
128.15/37.97	c (17,0) opt[54][4] = 1
128.15/37.97	c (17,0) opt[55][0] = 0
128.15/37.97	c (17,0) opt[55][1] = 0
128.15/37.97	c (17,0) opt[55][2] = 0
128.15/37.97	c (17,0) opt[55][3] = 1
128.15/37.97	c (17,0) opt[55][4] = 0
128.15/37.97	c (17,0) opt[56][0] = 0
128.15/37.97	c (17,0) opt[56][1] = 1
128.15/37.97	c (17,0) opt[56][2] = 0
128.15/37.97	c (17,0) opt[56][3] = 0
128.15/37.97	c (17,0) opt[56][4] = 0
128.15/37.97	c (17,0) opt[57][0] = 1
128.15/37.97	c (17,0) opt[57][1] = 1
128.15/37.97	c (17,0) opt[57][2] = 0
128.15/37.97	c (17,0) opt[57][3] = 0
128.15/37.97	c (17,0) opt[57][4] = 0
128.15/37.97	c (17,0) opt[58][0] = 0
128.15/37.97	c (17,0) opt[58][1] = 0
128.15/37.97	c (17,0) opt[58][2] = 1
128.15/37.97	c (17,0) opt[58][3] = 0
128.15/37.97	c (17,0) opt[58][4] = 0
128.15/37.97	c (17,0) opt[59][0] = 0
128.15/37.97	c (17,0) opt[59][1] = 1
128.15/37.97	c (17,0) opt[59][2] = 0
128.15/37.97	c (17,0) opt[59][3] = 0
128.15/37.97	c (17,0) opt[59][4] = 0
128.15/37.97	c (17,0) opt[60][0] = 0
128.15/37.97	c (17,0) opt[60][1] = 0
128.15/37.97	c (17,0) opt[60][2] = 0
128.15/37.97	c (17,0) opt[60][3] = 1
128.15/37.97	c (17,0) opt[60][4] = 0
128.15/37.97	c (17,0) opt[61][0] = 1
128.15/37.97	c (17,0) opt[61][1] = 0
128.15/37.97	c (17,0) opt[61][2] = 1
128.15/37.97	c (17,0) opt[61][3] = 0
128.15/37.97	c (17,0) opt[61][4] = 0
128.15/37.97	c (17,0) opt[62][0] = 0
128.15/37.97	c (17,0) opt[62][1] = 1
128.15/37.97	c (17,0) opt[62][2] = 0
128.15/37.97	c (17,0) opt[62][3] = 0
128.15/37.97	c (17,0) opt[62][4] = 0
128.15/37.97	c (17,0) opt[63][0] = 0
128.15/37.97	c (17,0) opt[63][1] = 0
128.15/37.97	c (17,0) opt[63][2] = 0
128.15/37.97	c (17,0) opt[63][3] = 1
128.15/37.97	c (17,0) opt[63][4] = 0
128.15/37.97	c (17,0) opt[64][0] = 1
128.15/37.97	c (17,0) opt[64][1] = 1
128.15/37.97	c (17,0) opt[64][2] = 1
128.15/37.97	c (17,0) opt[64][3] = 0
128.15/37.97	c (17,0) opt[64][4] = 1
128.15/37.97	c (17,0) opt[65][0] = 0
128.15/37.97	c (17,0) opt[65][1] = 0
128.15/37.97	c (17,0) opt[65][2] = 0
128.15/37.97	c (17,0) opt[65][3] = 1
128.15/37.97	c (17,0) opt[65][4] = 0
128.15/37.97	c (17,0) opt[66][0] = 0
128.15/37.97	c (17,0) opt[66][1] = 1
128.15/37.97	c (17,0) opt[66][2] = 0
128.15/37.97	c (17,0) opt[66][3] = 0
128.15/37.97	c (17,0) opt[66][4] = 0
128.15/37.97	c (17,0) opt[67][0] = 0
128.15/37.97	c (17,0) opt[67][1] = 1
128.15/37.97	c (17,0) opt[67][2] = 0
128.15/37.97	c (17,0) opt[67][3] = 0
128.15/37.97	c (17,0) opt[67][4] = 0
128.15/37.97	c (17,0) opt[68][0] = 0
128.15/37.97	c (17,0) opt[68][1] = 0
128.15/37.97	c (17,0) opt[68][2] = 1
128.15/37.97	c (17,0) opt[68][3] = 0
128.15/37.97	c (17,0) opt[68][4] = 0
128.15/37.97	c (17,0) opt[69][0] = 0
128.15/37.97	c (17,0) opt[69][1] = 1
128.15/37.97	c (17,0) opt[69][2] = 0
128.15/37.97	c (17,0) opt[69][3] = 1
128.15/37.97	c (17,0) opt[69][4] = 0
128.15/37.97	c (17,0) opt[70][0] = 1
128.15/37.97	c (17,0) opt[70][1] = 1
128.15/37.97	c (17,0) opt[70][2] = 0
128.15/37.97	c (17,0) opt[70][3] = 0
128.15/37.97	c (17,0) opt[70][4] = 0
128.15/37.97	c (17,0) opt[71][0] = 0
128.15/37.97	c (17,0) opt[71][1] = 0
128.15/37.97	c (17,0) opt[71][2] = 0
128.15/37.97	c (17,0) opt[71][3] = 1
128.15/37.97	c (17,0) opt[71][4] = 0
128.15/37.97	c (17,0) opt[72][0] = 0
128.15/37.97	c (17,0) opt[72][1] = 1
128.15/37.97	c (17,0) opt[72][2] = 1
128.15/37.97	c (17,0) opt[72][3] = 0
128.15/37.97	c (17,0) opt[72][4] = 0
128.15/37.97	c (17,0) opt[73][0] = 1
128.15/37.97	c (17,0) opt[73][1] = 1
128.15/37.97	c (17,0) opt[73][2] = 0
128.15/37.97	c (17,0) opt[73][3] = 0
128.15/37.97	c (17,0) opt[73][4] = 1
128.15/37.97	c (17,0) opt[74][0] = 0
128.15/37.97	c (17,0) opt[74][1] = 0
128.15/37.97	c (17,0) opt[74][2] = 0
128.15/37.97	c (17,0) opt[74][3] = 1
128.15/37.97	c (17,0) opt[74][4] = 0
128.15/37.97	c (17,0) opt[75][0] = 0
128.15/37.97	c (17,0) opt[75][1] = 1
128.15/37.97	c (17,0) opt[75][2] = 0
128.15/37.97	c (17,0) opt[75][3] = 0
128.15/37.97	c (17,0) opt[75][4] = 0
128.15/37.97	c (17,0) opt[76][0] = 1
128.15/37.97	c (17,0) opt[76][1] = 0
128.15/37.97	c (17,0) opt[76][2] = 1
128.15/37.97	c (17,0) opt[76][3] = 0
128.15/37.97	c (17,0) opt[76][4] = 0
128.15/37.97	c (17,0) opt[77][0] = 0
128.15/37.97	c (17,0) opt[77][1] = 1
128.15/37.97	c (17,0) opt[77][2] = 0
128.15/37.97	c (17,0) opt[77][3] = 1
128.15/37.97	c (17,0) opt[77][4] = 0
128.15/37.97	c (17,0) opt[78][0] = 0
128.15/37.97	c (17,0) opt[78][1] = 0
128.15/37.97	c (17,0) opt[78][2] = 0
128.15/37.97	c (17,0) opt[78][3] = 0
128.15/37.97	c (17,0) opt[78][4] = 1
128.15/37.97	c (17,0) opt[79][0] = 1
128.15/37.97	c (17,0) opt[79][1] = 1
128.15/37.97	c (17,0) opt[79][2] = 0
128.15/37.97	c (17,0) opt[79][3] = 0
128.15/37.97	c (17,0) opt[79][4] = 0
128.15/37.97	c (17,0) opt[80][0] = 0
128.15/37.97	c (17,0) opt[80][1] = 1
128.15/37.97	c (17,0) opt[80][2] = 1
128.15/37.97	c (17,0) opt[80][3] = 0
128.15/37.97	c (17,0) opt[80][4] = 0
128.15/37.97	c (17,0) opt[81][0] = 1
128.15/37.97	c (17,0) opt[81][1] = 0
128.15/37.97	c (17,0) opt[81][2] = 0
128.15/37.97	c (17,0) opt[81][3] = 1
128.15/37.97	c (17,0) opt[81][4] = 0
128.15/37.97	c (17,0) opt[82][0] = 0
128.15/37.97	c (17,0) opt[82][1] = 0
128.15/37.97	c (17,0) opt[82][2] = 0
128.15/37.97	c (17,0) opt[82][3] = 1
128.15/37.97	c (17,0) opt[82][4] = 0
128.15/37.97	c (17,0) opt[83][0] = 0
128.15/37.97	c (17,0) opt[83][1] = 1
128.15/37.97	c (17,0) opt[83][2] = 1
128.15/37.97	c (17,0) opt[83][3] = 0
128.15/37.97	c (17,0) opt[83][4] = 0
128.15/37.97	c (17,0) opt[84][0] = 1
128.15/37.97	c (17,0) opt[84][1] = 1
128.15/37.97	c (17,0) opt[84][2] = 0
128.15/37.97	c (17,0) opt[84][3] = 0
128.15/37.97	c (17,0) opt[84][4] = 0
128.15/37.97	c (17,0) opt[85][0] = 0
128.15/37.97	c (17,0) opt[85][1] = 0
128.15/37.97	c (17,0) opt[85][2] = 0
128.15/37.97	c (17,0) opt[85][3] = 0
128.15/37.97	c (17,0) opt[85][4] = 1
128.15/37.97	c (17,0) opt[86][0] = 1
128.15/37.97	c (17,0) opt[86][1] = 0
128.15/37.97	c (17,0) opt[86][2] = 0
128.15/37.97	c (17,0) opt[86][3] = 0
128.15/37.97	c (17,0) opt[86][4] = 0
128.15/37.97	c (17,0) opt[87][0] = 0
128.15/37.97	c (17,0) opt[87][1] = 0
128.15/37.97	c (17,0) opt[87][2] = 0
128.15/37.97	c (17,0) opt[87][3] = 1
128.15/37.97	c (17,0) opt[87][4] = 0
128.15/37.97	c (17,0) opt[88][0] = 1
128.15/37.97	c (17,0) opt[88][1] = 0
128.15/37.97	c (17,0) opt[88][2] = 0
128.15/37.97	c (17,0) opt[88][3] = 1
128.15/37.97	c (17,0) opt[88][4] = 0
128.15/37.97	c (17,0) opt[89][0] = 0
128.15/37.97	c (17,0) opt[89][1] = 1
128.15/37.97	c (17,0) opt[89][2] = 0
128.15/37.97	c (17,0) opt[89][3] = 0
128.15/37.97	c (17,0) opt[89][4] = 0
128.15/37.97	c (17,0) opt[90][0] = 0
128.15/37.97	c (17,0) opt[90][1] = 0
128.15/37.97	c (17,0) opt[90][2] = 0
128.15/37.97	c (17,0) opt[90][3] = 0
128.15/37.97	c (17,0) opt[90][4] = 1
128.15/37.97	c (17,0) opt[91][0] = 0
128.15/37.97	c (17,0) opt[91][1] = 0
128.15/37.97	c (17,0) opt[91][2] = 1
128.15/37.97	c (17,0) opt[91][3] = 0
128.15/37.97	c (17,0) opt[91][4] = 0
128.15/37.97	c (17,0) opt[92][0] = 1
128.15/37.97	c (17,0) opt[92][1] = 1
128.15/37.97	c (17,0) opt[92][2] = 0
128.15/37.97	c (17,0) opt[92][3] = 0
128.15/37.97	c (17,0) opt[92][4] = 0
128.15/37.97	c (17,0) opt[93][0] = 0
128.15/37.97	c (17,0) opt[93][1] = 1
128.15/37.97	c (17,0) opt[93][2] = 0
128.15/37.97	c (17,0) opt[93][3] = 1
128.15/37.97	c (17,0) opt[93][4] = 0
128.15/37.97	c (17,0) opt[94][0] = 0
128.15/37.97	c (17,0) opt[94][1] = 0
128.15/37.97	c (17,0) opt[94][2] = 1
128.15/37.97	c (17,0) opt[94][3] = 1
128.15/37.97	c (17,0) opt[94][4] = 0
128.15/37.97	c (17,0) opt[95][0] = 1
128.15/37.97	c (17,0) opt[95][1] = 0
128.15/37.97	c (17,0) opt[95][2] = 0
128.15/37.97	c (17,0) opt[95][3] = 0
128.15/37.97	c (17,0) opt[95][4] = 0
128.15/37.97	c (17,0) opt[96][0] = 0
128.15/37.97	c (17,0) opt[96][1] = 0
128.15/37.97	c (17,0) opt[96][2] = 0
128.15/37.97	c (17,0) opt[96][3] = 0
128.15/37.97	c (17,0) opt[96][4] = 1
128.15/37.97	c (17,0) opt[97][0] = 1
128.15/37.97	c (17,0) opt[97][1] = 0
128.15/37.97	c (17,0) opt[97][2] = 0
128.15/37.97	c (17,0) opt[97][3] = 0
128.15/37.97	c (17,0) opt[97][4] = 0
128.15/37.97	c (17,0) opt[98][0] = 0
128.15/37.97	c (17,0) opt[98][1] = 1
128.15/37.97	c (17,0) opt[98][2] = 0
128.15/37.97	c (17,0) opt[98][3] = 1
128.15/37.97	c (17,0) opt[98][4] = 0
128.15/37.97	c (17,0) opt[99][0] = 0
128.15/37.97	c (17,0) opt[99][1] = 0
128.15/37.97	c (17,0) opt[99][2] = 1
128.15/37.97	c (17,0) opt[99][3] = 0
128.15/37.97	c (17,0) opt[99][4] = 0
128.15/37.97	c (17,0) opt[100][0] = 1
128.15/37.97	c (17,0) opt[100][1] = 1
128.15/37.97	c (17,0) opt[100][2] = 0
128.15/37.97	c (17,0) opt[100][3] = 0
128.15/37.97	c (17,0) opt[100][4] = 0
128.15/37.97	c (17,0) opt[101][0] = 0
128.15/37.97	c (17,0) opt[101][1] = 1
128.15/37.97	c (17,0) opt[101][2] = 0
128.15/37.97	c (17,0) opt[101][3] = 1
128.15/37.97	c (17,0) opt[101][4] = 1
128.15/37.97	c (17,0) opt[102][0] = 1
128.15/37.97	c (17,0) opt[102][1] = 0
128.15/37.97	c (17,0) opt[102][2] = 1
128.15/37.97	c (17,0) opt[102][3] = 0
128.15/37.97	c (17,0) opt[102][4] = 0
128.15/37.97	c (17,0) opt[103][0] = 0
128.15/37.97	c (17,0) opt[103][1] = 0
128.15/37.97	c (17,0) opt[103][2] = 0
128.15/37.97	c (17,0) opt[103][3] = 1
128.15/37.97	c (17,0) opt[103][4] = 0
128.15/37.97	c (17,0) opt[104][0] = 1
128.15/37.97	c (17,0) opt[104][1] = 1
128.15/37.97	c (17,0) opt[104][2] = 0
128.15/37.97	c (17,0) opt[104][3] = 0
128.15/37.97	c (17,0) opt[104][4] = 0
128.15/37.97	c (17,0) opt[105][0] = 0
128.15/37.97	c (17,0) opt[105][1] = 1
128.15/37.97	c (17,0) opt[105][2] = 0
128.15/37.97	c (17,0) opt[105][3] = 0
128.15/37.97	c (17,0) opt[105][4] = 0
128.15/37.97	c (17,0) opt[106][0] = 1
128.15/37.97	c (17,0) opt[106][1] = 0
128.15/37.97	c (17,0) opt[106][2] = 1
128.15/37.97	c (17,0) opt[106][3] = 0
128.15/37.97	c (17,0) opt[106][4] = 1
128.15/37.97	c (17,0) opt[107][0] = 0
128.15/37.97	c (17,0) opt[107][1] = 0
128.15/37.97	c (17,0) opt[107][2] = 0
128.15/37.97	c (17,0) opt[107][3] = 1
128.15/37.97	c (17,0) opt[107][4] = 0
128.15/37.97	c (17,0) opt[108][0] = 0
128.15/37.97	c (17,0) opt[108][1] = 1
128.15/37.97	c (17,0) opt[108][2] = 0
128.15/37.97	c (17,0) opt[108][3] = 0
128.15/37.97	c (17,0) opt[108][4] = 0
128.15/37.97	c (17,0) opt[109][0] = 0
128.15/37.97	c (17,0) opt[109][1] = 1
128.15/37.97	c (17,0) opt[109][2] = 1
128.15/37.97	c (17,0) opt[109][3] = 0
128.15/37.97	c (17,0) opt[109][4] = 0
128.15/37.97	c (17,0) opt[110][0] = 0
128.15/37.97	c (17,0) opt[110][1] = 0
128.15/37.97	c (17,0) opt[110][2] = 0
128.15/37.97	c (17,0) opt[110][3] = 1
128.15/37.97	c (17,0) opt[110][4] = 0
128.15/37.97	c (17,0) opt[111][0] = 1
128.15/37.97	c (17,0) opt[111][1] = 1
128.15/37.97	c (17,0) opt[111][2] = 0
128.15/37.97	c (17,0) opt[111][3] = 0
128.15/37.97	c (17,0) opt[111][4] = 1
128.15/37.97	c (17,0) opt[112][0] = 0
128.15/37.97	c (17,0) opt[112][1] = 0
128.15/37.97	c (17,0) opt[112][2] = 1
128.15/37.97	c (17,0) opt[112][3] = 0
128.15/37.97	c (17,0) opt[112][4] = 0
128.15/37.97	c (17,0) opt[113][0] = 1
128.15/37.97	c (17,0) opt[113][1] = 0
128.15/37.97	c (17,0) opt[113][2] = 0
128.15/37.97	c (17,0) opt[113][3] = 0
128.15/37.97	c (17,0) opt[113][4] = 0
128.15/37.97	c (17,0) opt[114][0] = 0
128.15/37.97	c (17,0) opt[114][1] = 1
128.15/37.97	c (17,0) opt[114][2] = 0
128.15/37.97	c (17,0) opt[114][3] = 1
128.15/37.97	c (17,0) opt[114][4] = 0
128.15/37.97	c (17,0) opt[115][0] = 0
128.15/37.97	c (17,0) opt[115][1] = 0
128.15/37.97	c (17,0) opt[115][2] = 0
128.15/37.97	c (17,0) opt[115][3] = 1
128.15/37.97	c (17,0) opt[115][4] = 0
128.15/37.97	c (17,0) opt[116][0] = 0
128.15/37.97	c (17,0) opt[116][1] = 1
128.15/37.97	c (17,0) opt[116][2] = 0
128.15/37.97	c (17,0) opt[116][3] = 0
128.15/37.97	c (17,0) opt[116][4] = 0
128.15/37.97	c (17,0) opt[117][0] = 0
128.15/37.97	c (17,0) opt[117][1] = 1
128.15/37.97	c (17,0) opt[117][2] = 1
128.15/37.97	c (17,0) opt[117][3] = 0
128.15/37.97	c (17,0) opt[117][4] = 0
128.15/37.97	c (17,0) opt[118][0] = 1
128.15/37.97	c (17,0) opt[118][1] = 0
128.15/37.97	c (17,0) opt[118][2] = 0
128.15/37.97	c (17,0) opt[118][3] = 0
128.15/37.97	c (17,0) opt[118][4] = 0
128.15/37.97	c (17,0) opt[119][0] = 0
128.15/37.97	c (17,0) opt[119][1] = 0
128.15/37.97	c (17,0) opt[119][2] = 0
128.15/37.97	c (17,0) opt[119][3] = 1
128.15/37.97	c (17,0) opt[119][4] = 1
128.15/37.97	c (17,0) opt[120][0] = 0
128.15/37.97	c (17,0) opt[120][1] = 1
128.15/37.97	c (17,0) opt[120][2] = 0
128.15/37.97	c (17,0) opt[120][3] = 0
128.15/37.97	c (17,0) opt[120][4] = 0
128.15/37.97	c (17,0) opt[121][0] = 1
128.15/37.97	c (17,0) opt[121][1] = 1
128.15/37.97	c (17,0) opt[121][2] = 0
128.15/37.97	c (17,0) opt[121][3] = 0
128.15/37.97	c (17,0) opt[121][4] = 0
128.15/37.97	c (17,0) opt[122][0] = 0
128.15/37.97	c (17,0) opt[122][1] = 0
128.15/37.97	c (17,0) opt[122][2] = 1
128.15/37.97	c (17,0) opt[122][3] = 0
128.15/37.97	c (17,0) opt[122][4] = 0
128.15/37.97	c (17,0) opt[123][0] = 1
128.15/37.97	c (17,0) opt[123][1] = 0
128.15/37.97	c (17,0) opt[123][2] = 0
128.15/37.97	c (17,0) opt[123][3] = 1
128.15/37.97	c (17,0) opt[123][4] = 0
128.15/37.97	c (17,0) opt[124][0] = 0
128.15/37.97	c (17,0) opt[124][1] = 1
128.15/37.97	c (17,0) opt[124][2] = 0
128.15/37.97	c (17,0) opt[124][3] = 0
128.15/37.97	c (17,0) opt[124][4] = 0
128.15/37.97	c (17,0) opt[125][0] = 1
128.15/37.97	c (17,0) opt[125][1] = 0
128.15/37.97	c (17,0) opt[125][2] = 0
128.15/37.97	c (17,0) opt[125][3] = 1
128.15/37.97	c (17,0) opt[125][4] = 1
128.15/37.97	c (17,0) opt[126][0] = 0
128.15/37.97	c (17,0) opt[126][1] = 0
128.15/37.97	c (17,0) opt[126][2] = 1
128.15/37.97	c (17,0) opt[126][3] = 0
128.15/37.97	c (17,0) opt[126][4] = 0
128.15/37.97	c (17,0) opt[127][0] = 0
128.15/37.97	c (17,0) opt[127][1] = 1
128.15/37.97	c (17,0) opt[127][2] = 0
128.15/37.97	c (17,0) opt[127][3] = 0
128.15/37.97	c (17,0) opt[127][4] = 0
128.15/37.97	c (17,0) opt[128][0] = 0
128.15/37.97	c (17,0) opt[128][1] = 1
128.15/37.97	c (17,0) opt[128][2] = 0
128.15/37.97	c (17,0) opt[128][3] = 0
128.15/37.97	c (17,0) opt[128][4] = 0
128.15/37.97	c (17,0) opt[129][0] = 1
128.15/37.97	c (17,0) opt[129][1] = 0
128.15/37.97	c (17,0) opt[129][2] = 0
128.15/37.97	c (17,0) opt[129][3] = 1
128.15/37.97	c (17,0) opt[129][4] = 0
128.15/37.97	c (17,0) opt[130][0] = 0
128.15/37.97	c (17,0) opt[130][1] = 1
128.15/37.97	c (17,0) opt[130][2] = 0
128.15/37.97	c (17,0) opt[130][3] = 0
128.15/37.97	c (17,0) opt[130][4] = 0
128.15/37.97	c (17,0) opt[131][0] = 0
128.15/37.97	c (17,0) opt[131][1] = 1
128.15/37.97	c (17,0) opt[131][2] = 1
128.15/37.97	c (17,0) opt[131][3] = 1
128.15/37.97	c (17,0) opt[131][4] = 0
128.15/37.97	c (17,0) opt[132][0] = 0
128.15/37.97	c (17,0) opt[132][1] = 0
128.15/37.97	c (17,0) opt[132][2] = 0
128.15/37.97	c (17,0) opt[132][3] = 0
128.15/37.97	c (17,0) opt[132][4] = 1
128.15/37.97	c (17,0) opt[133][0] = 0
128.15/37.97	c (17,0) opt[133][1] = 1
128.15/37.97	c (17,0) opt[133][2] = 0
128.15/37.97	c (17,0) opt[133][3] = 0
128.15/37.97	c (17,0) opt[133][4] = 0
128.15/37.97	c (17,0) opt[134][0] = 0
128.15/37.97	c (17,0) opt[134][1] = 1
128.15/37.97	c (17,0) opt[134][2] = 0
128.15/37.97	c (17,0) opt[134][3] = 0
128.15/37.97	c (17,0) opt[134][4] = 0
128.15/37.97	c (17,0) opt[135][0] = 1
128.15/37.97	c (17,0) opt[135][1] = 0
128.15/37.97	c (17,0) opt[135][2] = 0
128.15/37.97	c (17,0) opt[135][3] = 1
128.15/37.97	c (17,0) opt[135][4] = 0
128.15/37.97	c (17,0) opt[136][0] = 0
128.15/37.97	c (17,0) opt[136][1] = 0
128.15/37.97	c (17,0) opt[136][2] = 1
128.15/37.97	c (17,0) opt[136][3] = 0
128.15/37.97	c (17,0) opt[136][4] = 0
128.15/37.97	c (17,0) opt[137][0] = 1
128.15/37.97	c (17,0) opt[137][1] = 1
128.15/37.97	c (17,0) opt[137][2] = 0
128.15/37.97	c (17,0) opt[137][3] = 0
128.15/37.97	c (17,0) opt[137][4] = 1
128.15/37.97	c (17,0) opt[138][0] = 0
128.15/37.97	c (17,0) opt[138][1] = 1
128.15/37.97	c (17,0) opt[138][2] = 0
128.15/37.97	c (17,0) opt[138][3] = 0
128.15/37.97	c (17,0) opt[138][4] = 0
128.15/37.97	c (17,0) opt[139][0] = 0
128.15/37.97	c (17,0) opt[139][1] = 0
128.15/37.97	c (17,0) opt[139][2] = 0
128.15/37.97	c (17,0) opt[139][3] = 1
128.15/37.97	c (17,0) opt[139][4] = 0
128.15/37.97	c (17,0) opt[140][0] = 0
128.15/37.97	c (17,0) opt[140][1] = 1
128.15/37.97	c (17,0) opt[140][2] = 0
128.15/37.97	c (17,0) opt[140][3] = 0
128.15/37.97	c (17,0) opt[140][4] = 0
128.15/37.97	c (17,0) opt[141][0] = 0
128.15/37.97	c (17,0) opt[141][1] = 0
128.15/37.97	c (17,0) opt[141][2] = 0
128.15/37.97	c (17,0) opt[141][3] = 1
128.15/37.97	c (17,0) opt[141][4] = 0
128.15/37.97	c (17,0) opt[142][0] = 1
128.15/37.97	c (17,0) opt[142][1] = 0
128.15/37.97	c (17,0) opt[142][2] = 1
128.15/37.97	c (17,0) opt[142][3] = 0
128.15/37.97	c (17,0) opt[142][4] = 1
128.15/37.97	c (17,0) opt[143][0] = 0
128.15/37.97	c (17,0) opt[143][1] = 1
128.15/37.97	c (17,0) opt[143][2] = 0
128.15/37.97	c (17,0) opt[143][3] = 0
128.15/37.97	c (17,0) opt[143][4] = 0
128.15/37.97	c (17,0) opt[144][0] = 0
128.15/37.97	c (17,0) opt[144][1] = 1
128.15/37.97	c (17,0) opt[144][2] = 0
128.15/37.97	c (17,0) opt[144][3] = 1
128.15/37.97	c (17,0) opt[144][4] = 0
128.15/37.97	c (17,0) opt[145][0] = 1
128.15/37.97	c (17,0) opt[145][1] = 0
128.15/37.97	c (17,0) opt[145][2] = 0
128.15/37.97	c (17,0) opt[145][3] = 0
128.15/37.97	c (17,0) opt[145][4] = 0
128.15/37.97	c (17,0) opt[146][0] = 0
128.15/37.97	c (17,0) opt[146][1] = 0
128.15/37.97	c (17,0) opt[146][2] = 1
128.15/37.97	c (17,0) opt[146][3] = 0
128.15/37.98	c (17,0) opt[146][4] = 0
128.15/37.98	c (17,0) opt[147][0] = 1
128.15/37.98	c (17,0) opt[147][1] = 1
128.15/37.98	c (17,0) opt[147][2] = 0
128.15/37.98	c (17,0) opt[147][3] = 1
128.15/37.98	c (17,0) opt[147][4] = 0
128.15/37.98	c (17,0) opt[148][0] = 0
128.15/37.98	c (17,0) opt[148][1] = 1
128.15/37.98	c (17,0) opt[148][2] = 0
128.15/37.98	c (17,0) opt[148][3] = 0
128.15/37.98	c (17,0) opt[148][4] = 0
128.15/37.98	c (17,0) opt[149][0] = 1
128.15/37.98	c (17,0) opt[149][1] = 0
128.15/37.98	c (17,0) opt[149][2] = 0
128.15/37.98	c (17,0) opt[149][3] = 1
128.15/37.98	c (17,0) opt[149][4] = 0
128.15/37.98	c (17,0) opt[150][0] = 0
128.15/37.98	c (17,0) opt[150][1] = 1
128.15/37.98	c (17,0) opt[150][2] = 0
128.15/37.98	c (17,0) opt[150][3] = 0
128.15/37.98	c (17,0) opt[150][4] = 0
128.15/37.98	c (17,0) opt[151][0] = 1
128.15/37.98	c (17,0) opt[151][1] = 1
128.15/37.98	c (17,0) opt[151][2] = 1
128.15/37.98	c (17,0) opt[151][3] = 0
128.15/37.98	c (17,0) opt[151][4] = 0
128.15/37.98	c (17,0) opt[152][0] = 0
128.15/37.98	c (17,0) opt[152][1] = 0
128.15/37.98	c (17,0) opt[152][2] = 0
128.15/37.98	c (17,0) opt[152][3] = 1
128.15/37.98	c (17,0) opt[152][4] = 0
128.15/37.98	c (17,0) opt[153][0] = 1
128.15/37.98	c (17,0) opt[153][1] = 1
128.15/37.98	c (17,0) opt[153][2] = 0
128.15/37.98	c (17,0) opt[153][3] = 0
128.15/37.98	c (17,0) opt[153][4] = 0
128.15/37.98	c (17,0) opt[154][0] = 0
128.15/37.98	c (17,0) opt[154][1] = 0
128.15/37.98	c (17,0) opt[154][2] = 1
128.15/37.98	c (17,0) opt[154][3] = 0
128.15/37.98	c (17,0) opt[154][4] = 0
128.15/37.98	c (17,0) opt[155][0] = 1
128.15/37.98	c (17,0) opt[155][1] = 1
128.15/37.98	c (17,0) opt[155][2] = 0
128.15/37.98	c (17,0) opt[155][3] = 0
128.15/37.98	c (17,0) opt[155][4] = 0
128.15/37.98	c (17,0) opt[156][0] = 0
128.15/37.98	c (17,0) opt[156][1] = 1
128.15/37.98	c (17,0) opt[156][2] = 0
128.15/37.98	c (17,0) opt[156][3] = 0
128.15/37.98	c (17,0) opt[156][4] = 0
128.15/37.98	c (17,0) opt[157][0] = 1
128.15/37.98	c (17,0) opt[157][1] = 0
128.15/37.98	c (17,0) opt[157][2] = 1
128.15/37.98	c (17,0) opt[157][3] = 1
128.15/37.98	c (17,0) opt[157][4] = 1
128.15/37.98	c (17,0) opt[158][0] = 0
128.15/37.98	c (17,0) opt[158][1] = 1
128.15/37.98	c (17,0) opt[158][2] = 0
128.15/37.98	c (17,0) opt[158][3] = 0
128.15/37.98	c (17,0) opt[158][4] = 0
128.15/37.98	c (17,0) opt[159][0] = 1
128.15/37.98	c (17,0) opt[159][1] = 0
128.15/37.98	c (17,0) opt[159][2] = 0
128.15/37.98	c (17,0) opt[159][3] = 0
128.15/37.98	c (17,0) opt[159][4] = 0
128.15/37.98	c (17,0) opt[160][0] = 0
128.15/37.98	c (17,0) opt[160][1] = 1
128.15/37.98	c (17,0) opt[160][2] = 0
128.15/37.98	c (17,0) opt[160][3] = 1
128.15/37.98	c (17,0) opt[160][4] = 0
128.15/37.98	c (17,0) opt[161][0] = 0
128.15/37.98	c (17,0) opt[161][1] = 0
128.15/37.98	c (17,0) opt[161][2] = 1
128.15/37.98	c (17,0) opt[161][3] = 0
128.15/37.98	c (17,0) opt[161][4] = 0
128.15/37.98	c (17,0) opt[162][0] = 0
128.15/37.98	c (17,0) opt[162][1] = 0
128.15/37.98	c (17,0) opt[162][2] = 0
128.15/37.98	c (17,0) opt[162][3] = 1
128.15/37.98	c (17,0) opt[162][4] = 0
128.15/37.98	c (17,0) opt[163][0] = 0
128.15/37.98	c (17,0) opt[163][1] = 1
128.15/37.98	c (17,0) opt[163][2] = 0
128.15/37.98	c (17,0) opt[163][3] = 0
128.15/37.98	c (17,0) opt[163][4] = 0
128.15/37.98	c (17,0) opt[164][0] = 0
128.15/37.98	c (17,0) opt[164][1] = 0
128.15/37.98	c (17,0) opt[164][2] = 1
128.15/37.98	c (17,0) opt[164][3] = 0
128.15/37.98	c (17,0) opt[164][4] = 0
128.15/37.98	c (17,0) opt[165][0] = 1
128.15/37.98	c (17,0) opt[165][1] = 0
128.15/37.98	c (17,0) opt[165][2] = 0
128.15/37.98	c (17,0) opt[165][3] = 1
128.15/37.98	c (17,0) opt[165][4] = 1
128.15/37.98	c (17,0) opt[166][0] = 0
128.15/37.98	c (17,0) opt[166][1] = 1
128.15/37.98	c (17,0) opt[166][2] = 0
128.15/37.98	c (17,0) opt[166][3] = 0
128.15/37.98	c (17,0) opt[166][4] = 0
128.15/37.98	c (17,0) opt[167][0] = 0
128.15/37.98	c (17,0) opt[167][1] = 0
128.15/37.98	c (17,0) opt[167][2] = 1
128.15/37.98	c (17,0) opt[167][3] = 0
128.15/37.98	c (17,0) opt[167][4] = 0
128.15/37.98	c (17,0) opt[168][0] = 0
128.15/37.98	c (17,0) opt[168][1] = 1
128.15/37.98	c (17,0) opt[168][2] = 0
128.15/37.98	c (17,0) opt[168][3] = 1
128.15/37.98	c (17,0) opt[168][4] = 0
128.15/37.98	c (17,0) opt[169][0] = 1
128.15/37.98	c (17,0) opt[169][1] = 1
128.15/37.98	c (17,0) opt[169][2] = 0
128.15/37.98	c (17,0) opt[169][3] = 0
128.15/37.98	c (17,0) opt[169][4] = 0
128.15/37.98	c (17,0) opt[170][0] = 0
128.15/37.98	c (17,0) opt[170][1] = 0
128.15/37.98	c (17,0) opt[170][2] = 0
128.15/37.98	c (17,0) opt[170][3] = 1
128.15/37.98	c (17,0) opt[170][4] = 0
128.15/37.98	c (17,0) opt[171][0] = 1
128.15/37.98	c (17,0) opt[171][1] = 0
128.15/37.98	c (17,0) opt[171][2] = 1
128.15/37.98	c (17,0) opt[171][3] = 0
128.15/37.98	c (17,0) opt[171][4] = 0
128.15/37.98	c (17,0) opt[172][0] = 0
128.15/37.98	c (17,0) opt[172][1] = 1
128.15/37.98	c (17,0) opt[172][2] = 0
128.15/37.98	c (17,0) opt[172][3] = 0
128.15/37.98	c (17,0) opt[172][4] = 0
128.15/37.98	c (17,0) opt[173][0] = 1
128.15/37.98	c (17,0) opt[173][1] = 0
128.15/37.98	c (17,0) opt[173][2] = 0
128.15/37.98	c (17,0) opt[173][3] = 1
128.15/37.98	c (17,0) opt[173][4] = 0
128.15/37.98	c (17,0) opt[174][0] = 0
128.15/37.98	c (17,0) opt[174][1] = 1
128.15/37.98	c (17,0) opt[174][2] = 0
128.15/37.98	c (17,0) opt[174][3] = 0
128.15/37.98	c (17,0) opt[174][4] = 0
128.15/37.98	c (17,0) opt[175][0] = 0
128.15/37.98	c (17,0) opt[175][1] = 1
128.15/37.98	c (17,0) opt[175][2] = 0
128.15/37.98	c (17,0) opt[175][3] = 0
128.15/37.98	c (17,0) opt[175][4] = 0
128.15/37.98	c (17,0) opt[176][0] = 1
128.15/37.98	c (17,0) opt[176][1] = 0
128.15/37.98	c (17,0) opt[176][2] = 0
128.15/37.98	c (17,0) opt[176][3] = 1
128.15/37.98	c (17,0) opt[176][4] = 1
128.15/37.98	c (17,0) opt[177][0] = 0
128.15/37.98	c (17,0) opt[177][1] = 0
128.15/37.98	c (17,0) opt[177][2] = 1
128.15/37.98	c (17,0) opt[177][3] = 0
128.15/37.98	c (17,0) opt[177][4] = 0
128.15/37.98	c (17,0) opt[178][0] = 0
128.15/37.98	c (17,0) opt[178][1] = 1
128.15/37.98	c (17,0) opt[178][2] = 0
128.15/37.98	c (17,0) opt[178][3] = 1
128.15/37.98	c (17,0) opt[178][4] = 0
128.15/37.98	c (17,0) opt[179][0] = 1
128.15/37.98	c (17,0) opt[179][1] = 1
128.15/37.98	c (17,0) opt[179][2] = 0
128.15/37.98	c (17,0) opt[179][3] = 0
128.15/37.98	c (17,0) opt[179][4] = 0
128.15/37.98	c (17,0) opt[180][0] = 0
128.15/37.98	c (17,0) opt[180][1] = 0
128.15/37.98	c (17,0) opt[180][2] = 1
128.15/37.98	c (17,0) opt[180][3] = 0
128.15/37.98	c (17,0) opt[180][4] = 0
128.15/37.98	c (17,0) opt[181][0] = 1
128.15/37.98	c (17,0) opt[181][1] = 1
128.15/37.98	c (17,0) opt[181][2] = 0
128.15/37.98	c (17,0) opt[181][3] = 0
128.15/37.98	c (17,0) opt[181][4] = 0
128.15/37.98	c (17,0) opt[182][0] = 0
128.15/37.98	c (17,0) opt[182][1] = 1
128.15/37.98	c (17,0) opt[182][2] = 0
128.15/37.98	c (17,0) opt[182][3] = 1
128.15/37.98	c (17,0) opt[182][4] = 0
128.15/37.98	c (17,0) opt[183][0] = 1
128.15/37.98	c (17,0) opt[183][1] = 0
128.15/37.98	c (17,0) opt[183][2] = 0
128.15/37.98	c (17,0) opt[183][3] = 1
128.15/37.98	c (17,0) opt[183][4] = 1
128.15/37.98	c (17,0) opt[184][0] = 0
128.15/37.98	c (17,0) opt[184][1] = 0
128.15/37.98	c (17,0) opt[184][2] = 1
128.15/37.98	c (17,0) opt[184][3] = 0
128.15/37.98	c (17,0) opt[184][4] = 0
128.15/37.98	c (17,0) opt[185][0] = 0
128.15/37.98	c (17,0) opt[185][1] = 1
128.15/37.98	c (17,0) opt[185][2] = 0
128.15/37.98	c (17,0) opt[185][3] = 0
128.15/37.98	c (17,0) opt[185][4] = 0
128.15/37.98	c (17,0) opt[186][0] = 1
128.15/37.98	c (17,0) opt[186][1] = 1
128.15/37.98	c (17,0) opt[186][2] = 0
128.15/37.98	c (17,0) opt[186][3] = 0
128.15/37.98	c (17,0) opt[186][4] = 0
128.15/37.98	c (17,0) opt[187][0] = 0
128.15/37.98	c (17,0) opt[187][1] = 0
128.15/37.98	c (17,0) opt[187][2] = 1
128.15/37.98	c (17,0) opt[187][3] = 0
128.15/37.98	c (17,0) opt[187][4] = 0
128.15/37.98	c (17,0) opt[188][0] = 0
128.15/37.98	c (17,0) opt[188][1] = 1
128.15/37.98	c (17,0) opt[188][2] = 0
128.15/37.98	c (17,0) opt[188][3] = 0
128.15/37.98	c (17,0) opt[188][4] = 0
128.15/37.98	c (17,0) opt[189][0] = 1
128.15/37.98	c (17,0) opt[189][1] = 1
128.15/37.98	c (17,0) opt[189][2] = 0
128.15/37.98	c (17,0) opt[189][3] = 1
128.15/37.98	c (17,0) opt[189][4] = 0
128.15/37.98	c (17,0) opt[190][0] = 0
128.15/37.98	c (17,0) opt[190][1] = 0
128.15/37.98	c (17,0) opt[190][2] = 1
128.15/37.98	c (17,0) opt[190][3] = 1
128.15/37.98	c (17,0) opt[190][4] = 0
128.15/37.98	c (17,0) opt[191][0] = 1
128.15/37.98	c (17,0) opt[191][1] = 0
128.15/37.98	c (17,0) opt[191][2] = 0
128.15/37.98	c (17,0) opt[191][3] = 0
128.15/37.98	c (17,0) opt[191][4] = 1
128.15/37.98	c (17,0) opt[192][0] = 0
128.15/37.98	c (17,0) opt[192][1] = 1
128.15/37.98	c (17,0) opt[192][2] = 0
128.15/37.98	c (17,0) opt[192][3] = 0
128.15/37.98	c (17,0) opt[192][4] = 0
128.15/37.98	c (17,0) opt[193][0] = 1
128.15/37.98	c (17,0) opt[193][1] = 0
128.15/37.98	c (17,0) opt[193][2] = 1
128.15/37.98	c (17,0) opt[193][3] = 0
128.15/37.98	c (17,0) opt[193][4] = 0
128.15/37.98	c (17,0) opt[194][0] = 0
128.15/37.98	c (17,0) opt[194][1] = 1
128.15/37.98	c (17,0) opt[194][2] = 0
128.15/37.98	c (17,0) opt[194][3] = 0
128.15/37.98	c (17,0) opt[194][4] = 0
128.15/37.98	c (17,0) opt[195][0] = 0
128.15/37.98	c (17,0) opt[195][1] = 0
128.15/37.98	c (17,0) opt[195][2] = 0
128.15/37.98	c (17,0) opt[195][3] = 1
128.15/37.98	c (17,0) opt[195][4] = 0
128.15/37.98	c (17,0) opt[196][0] = 0
128.15/37.98	c (17,0) opt[196][1] = 0
128.15/37.98	c (17,0) opt[196][2] = 1
128.15/37.98	c (17,0) opt[196][3] = 0
128.15/37.98	c (17,0) opt[196][4] = 1
128.15/37.98	c (17,0) opt[197][0] = 0
128.15/37.98	c (17,0) opt[197][1] = 0
128.15/37.98	c (17,0) opt[197][2] = 0
128.15/37.98	c (17,0) opt[197][3] = 1
128.15/37.98	c (17,0) opt[197][4] = 0
128.15/37.98	c (17,0) opt[198][0] = 1
128.15/37.98	c (17,0) opt[198][1] = 0
128.15/37.98	c (17,0) opt[198][2] = 0
128.15/37.98	c (17,0) opt[198][3] = 0
128.15/37.98	c (17,0) opt[198][4] = 0
128.15/37.98	c (17,0) opt[199][0] = 0
128.15/37.98	c (17,0) opt[199][1] = 0
128.15/37.98	c (17,0) opt[199][2] = 1
128.15/37.98	c (17,0) opt[199][3] = 0
128.15/37.98	c (17,0) opt[199][4] = 0
128.15/37.98	s SATISFIABLE
128.15/37.98	v <instantiation>
128.15/37.98	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>
128.15/37.98	v     <values>13 15 13 5 19 8 26 11 21 19 13 10 22 1 13 16 19 3 17 14 19 13 8 19 11 19 3 16 10 13 15 18 26 22 19 13 0 18 26 16 3 3 13 26 18 12 13 3 22 19 13 19 13 16 23 3 13 26 11 13 3 15 13 3 4 3 13 13 11 8 26 3 24 17 3 13 15 8 18 26 24 10 3 16 26 18 19 3 10 13 18 11 26 8 14 19 18 19 8 11 26 5 15 3 26 13 2 3 13 16 3 17 11 19 8 3 13 16 19 23 13 26 11 10 13 20 11 13 13 10 13 22 18 13 13 10 11 17 13 3 13 3 2 13 8 19 11 7 13 10 13 12 3 26 11 26 13 6 13 19 8 11 3 13 11 20 13 11 8 26 3 15 13 10 13 13 20 11 8 26 11 26 8 20 11 13 26 11 13 7 14 1 13 25 13 3 9 3 19 11 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0</values>
128.15/37.98	v </instantiation>
128.15/37.98	c (17,0) Show results End
128.15/37.98	c (17,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
128.15/37.98	c (17,0) 17,17,STOP-AFTER(ALL)
128.15/37.98	c END-Prog: Sat Sep 14 05:17:20 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 (10593 MiB free)
  memory of node 1: 16384 MiB (13432 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392670-1568431042/watcher-4392670-1568431042 -o /tmp/evaluation-result-4392670-1568431042/solver-4392670-1568431042 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392670-1568431042.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15833, runsolver pid=15830
Current StackSize limit: 8192 KiB


[startup+0.100153 s]*
/proc/loadavg: 4.59 6.27 7.10 2/211 15855
/proc/meminfo: memFree=24506524/32770624 swapFree=66999292/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15833/stat : 15833 (scop.sh) S 15830 15833 14887 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042627 115843072 349 33554432000 4194304 5098028 140726640476752 140726640474008 139693604807292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28254208 140726640481060 140726640481388 140726640481388 140726640484301 0
/proc/15833/statm: 28282 349 296 221 0 87 0
[pid=15836] ppid=15833 vsize=27314120 memory=106656 CPUtime=0.11 cores=0-7
/proc/15836/stat : 15836 (java) S 15833 15833 14887 0 -1 1077944320 6211 0 0 0 8 3 0 0 20 0 20 0 419042627 27969658880 26664 33554432000 4194304 4196468 140720927359472 140720927342016 140528017465079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
/proc/15836/statm: 6828530 26664 2796 1 0 6790935 0
[pid=15836/tid=15837] ppid=15833 vsize=27314120 memory=8257801199876480922 CPUtime=0.08 cores=0-7
/proc/15836/task/15837/stat : 15837 (java) R 15833 15833 14887 0 -1 4202560 4327 0 0 0 6 2 0 0 20 0 20 0 419042627 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527989269280 140528017477014 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15838] ppid=15833 vsize=27314120 memory=732370676418935781 CPUtime=0 cores=0-7
/proc/15836/task/15838/stat : 15838 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140528021707408 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15839] ppid=15833 vsize=27314120 memory=140538081482368 CPUtime=0 cores=0-7
/proc/15836/task/15839/stat : 15839 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527842003472 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15840] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15840/stat : 15840 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527438449040 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15841] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15841/stat : 15841 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527437396240 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15842] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15842/stat : 15842 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527436344464 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15843] ppid=15833 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15836/task/15843/stat : 15843 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527435291664 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15844] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15844/stat : 15844 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527434238864 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15845] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15845/stat : 15845 (java) S 15833 15833 14887 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527433186064 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15846] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15846/stat : 15846 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042631 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527142959472 140528017476226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15847] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15847/stat : 15847 (java) S 15833 15833 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419042632 27969658880 26664 33554432000 4194304 4196468 140720927359472 140525894100000 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15848] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15848/stat : 15848 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042632 27969658880 26664 33554432000 4194304 4196468 140720927359472 140525625664368 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15849] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15849/stat : 15849 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 26664 33554432000 4194304 4196468 140720927359472 140525251155792 140528017483675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15850] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15850/stat : 15850 (java) S 15833 15833 14887 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527141907312 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15851] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15851/stat : 15851 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527140854512 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15852] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15852/stat : 15852 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527139801712 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15853] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15853/stat : 15853 (java) R 15833 15833 14887 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527138748912 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15854] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15854/stat : 15854 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042635 27969658880 26664 33554432000 4194304 4196468 140720927359472 140524753250912 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15855] ppid=15833 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15836/task/15855/stat : 15855 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042635 27969658880 26664 33554432000 4194304 4196468 140720927359472 140527137696304 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108052 KiB

[startup+0.210375 s]*
/proc/loadavg: 4.59 6.27 7.10 3/211 15855
/proc/meminfo: memFree=24483276/32770624 swapFree=66999292/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15833/stat : 15833 (scop.sh) S 15830 15833 14887 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042627 115843072 349 33554432000 4194304 5098028 140726640476752 140726640474008 139693604807292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28254208 140726640481060 140726640481388 140726640481388 140726640484301 0
/proc/15833/statm: 28282 349 296 221 0 87 0
[pid=15836] ppid=15833 vsize=27314120 memory=127912 CPUtime=0.24 cores=0-7
/proc/15836/stat : 15836 (java) S 15833 15833 14887 0 -1 1077944320 11830 0 0 0 19 5 0 0 20 0 20 0 419042627 27969658880 31978 33554432000 4194304 4196468 140720927359472 140720927342016 140528017465079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
/proc/15836/statm: 6828530 31978 2942 1 0 6790935 0
[pid=15836/tid=15837] ppid=15833 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/15836/task/15837/stat : 15837 (java) R 15833 15833 14887 0 -1 4202560 9587 0 0 0 15 4 0 0 20 0 20 0 419042627 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527989286000 140527999028654 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15838] ppid=15833 vsize=27314120 memory=732370676418935781 CPUtime=0 cores=0-7
/proc/15836/task/15838/stat : 15838 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140528021707408 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15839] ppid=15833 vsize=27314120 memory=140538081482368 CPUtime=0 cores=0-7
/proc/15836/task/15839/stat : 15839 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527842003472 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15840] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15840/stat : 15840 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527438449040 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15841] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15841/stat : 15841 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527437396240 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15842] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15842/stat : 15842 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527436344464 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15843] ppid=15833 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15836/task/15843/stat : 15843 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527435291664 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15844] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15844/stat : 15844 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527434238864 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15845] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15845/stat : 15845 (java) S 15833 15833 14887 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527433186064 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15846] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15846/stat : 15846 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042631 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527142959472 140528017476226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15847] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15847/stat : 15847 (java) S 15833 15833 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419042632 27969658880 31978 33554432000 4194304 4196468 140720927359472 140525894100000 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15848] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15848/stat : 15848 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042632 27969658880 31978 33554432000 4194304 4196468 140720927359472 140525625664368 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15849] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15849/stat : 15849 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 31978 33554432000 4194304 4196468 140720927359472 140525251155792 140528017483675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15850] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15850/stat : 15850 (java) S 15833 15833 14887 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527141907312 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15851] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15851/stat : 15851 (java) S 15833 15833 14887 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527140854512 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15852] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15852/stat : 15852 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527139801712 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15853] ppid=15833 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15836/task/15853/stat : 15853 (java) S 15833 15833 14887 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 20 0 419042634 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527138748912 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15854] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15854/stat : 15854 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042635 27969658880 31978 33554432000 4194304 4196468 140720927359472 140524753250912 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15855] ppid=15833 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15836/task/15855/stat : 15855 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042635 27969658880 31978 33554432000 4194304 4196468 140720927359472 140527137696304 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129308 KiB

[startup+0.310213 s]*
/proc/loadavg: 4.59 6.27 7.10 2/211 15855
/proc/meminfo: memFree=24479988/32770624 swapFree=66999292/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15833/stat : 15833 (scop.sh) S 15830 15833 14887 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042627 115843072 349 33554432000 4194304 5098028 140726640476752 140726640474008 139693604807292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28254208 140726640481060 140726640481388 140726640481388 140726640484301 0
/proc/15833/statm: 28282 349 296 221 0 87 0
[pid=15836] ppid=15833 vsize=27314120 memory=131860 CPUtime=0.42 cores=0-7
/proc/15836/stat : 15836 (java) S 15833 15833 14887 0 -1 1077944320 12769 0 0 0 36 6 0 0 20 0 20 0 419042627 27969658880 32965 33554432000 4194304 4196468 140720927359472 140720927342016 140528017465079 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
/proc/15836/statm: 6828530 32965 3023 1 0 6790935 0
[pid=15836/tid=15837] ppid=15833 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15836/task/15837/stat : 15837 (java) R 15833 15833 14887 0 -1 4202560 10347 0 0 0 25 5 0 0 20 0 20 0 419042627 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527989295152 140527998838616 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15838] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15838/stat : 15838 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140528021707408 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15839] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15839/stat : 15839 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527842003472 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15840] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15840/stat : 15840 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527438449040 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15841] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15841/stat : 15841 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527437396240 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15842] ppid=15833 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/15836/task/15842/stat : 15842 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527436344464 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15843] ppid=15833 vsize=27314120 memory=140537973797807 CPUtime=0 cores=0-7
/proc/15836/task/15843/stat : 15843 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527435291664 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15844] ppid=15833 vsize=27314120 memory=140537973800112 CPUtime=0 cores=0-7
/proc/15836/task/15844/stat : 15844 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527434238864 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15845] ppid=15833 vsize=27314120 memory=140537973802416 CPUtime=0 cores=0-7
/proc/15836/task/15845/stat : 15845 (java) S 15833 15833 14887 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419042630 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527433186064 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15846] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15846/stat : 15846 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042631 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527142959472 140528017476226 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15847] ppid=15833 vsize=27314120 memory=281075947611792 CPUtime=0 cores=0-7
/proc/15836/task/15847/stat : 15847 (java) S 15833 15833 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419042632 27969658880 32965 33554432000 4194304 4196468 140720927359472 140525894100000 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15848] ppid=15833 vsize=27314120 memory=281075947618704 CPUtime=0 cores=0-7
/proc/15836/task/15848/stat : 15848 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042632 27969658880 32965 33554432000 4194304 4196468 140720927359472 140525625664368 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15849] ppid=15833 vsize=27314120 memory=281075947559856 CPUtime=0 cores=0-7
/proc/15836/task/15849/stat : 15849 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 32965 33554432000 4194304 4196468 140720927359472 140525251155792 140528017483675 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15850] ppid=15833 vsize=27314120 memory=281075947632528 CPUtime=0.02 cores=0-7
/proc/15836/task/15850/stat : 15850 (java) S 15833 15833 14887 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 20 0 419042634 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527141907312 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15851] ppid=15833 vsize=27314120 memory=281075947639440 CPUtime=0 cores=0-7
/proc/15836/task/15851/stat : 15851 (java) S 15833 15833 14887 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527140854512 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15852] ppid=15833 vsize=27314120 memory=281075947637136 CPUtime=0 cores=0-7
/proc/15836/task/15852/stat : 15852 (java) S 15833 15833 14887 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 419042634 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527139801712 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15853] ppid=15833 vsize=27314120 memory=281075947653296 CPUtime=0.07 cores=0-7
/proc/15836/task/15853/stat : 15853 (java) S 15833 15833 14887 0 -1 1077944384 470 0 0 0 7 0 0 0 20 0 20 0 419042634 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527138748912 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15854] ppid=15833 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15854/stat : 15854 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419042635 27969658880 32965 33554432000 4194304 4196468 140720927359472 140524753250912 140528017475285 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15855] ppid=15833 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15836/task/15855/stat : 15855 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042635 27969658880 32965 33554432000 4194304 4196468 140720927359472 140527137696304 140528017476226 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133256 KiB

[startup+0.700939 s]
/proc/loadavg: 4.59 6.27 7.10 3/211 15855
/proc/meminfo: memFree=24459268/32770624 swapFree=66999292/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15833/stat : 15833 (scop.sh) S 15830 15833 14887 0 -1 4202496 557 319 0 0 0 0 0 0 20 0 1 0 419042627 115843072 349 33554432000 4194304 5098028 140726640476752 140726640474008 139693604807292 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 28254208 140726640481060 140726640481388 140726640481388 140726640484301 0
/proc/15833/statm: 28282 349 296 221 0 87 0
[pid=15836] ppid=15833 vsize=27320392 memory=167064 CPUtime=0.99 cores=0-7
/proc/15836/stat : 15836 (java) S 15833 15833 14887 0 -1 1077944320 19779 0 0 0 90 9 0 0 20 0 20 0 419042627 27976081408 41766 33554432000 4194304 4196468 140720927359472 140720927342016 140528017465079 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
/proc/15836/statm: 6830098 41766 3191 1 0 6791447 0
[pid=15836/tid=15837] ppid=15833 vsize=27320392 memory=281075947948224 CPUtime=0.68 cores=0-7
/proc/15836/task/15837/stat : 15837 (java) R 15833 15833 14887 0 -1 4202560 16920 0 0 0 61 7 0 0 20 0 20 0 419042627 27976081408 41766 33554432000 4194304 4196468 140720927359472 140527989303904 140528017487005 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15838] ppid=15833 vsize=27320392 memory=5162550690983 CPUtime=0 cores=0-7
/proc/15836/task/15838/stat : 15838 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419042630 27976081408 41766 33554432000 4194304 4196468 140720927359472 140528021707408 140528017475285 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15839] ppid=15833 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15839/stat : 15839 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27976081408 41766 33554432000 4194304 4196468 140720927359472 140527842003472 140528017475285 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0
[pid=15836/tid=15840] ppid=15833 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15836/task/15840/stat : 15840 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419042630 27976081408 41766 33554432000 4194304 4196468 140720927359472 140527438449040 140528017475285 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7192576 140720927367914 140720927368342 140720927368342 140720927371215 0

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

/proc/15856/task/15869/stat : 15869 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419044638 8616062976 32514 33554432000 4194304 4196468 140731972106928 140199370512720 140201575810971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15870] ppid=15833 vsize=8414124 memory=2450480170497 CPUtime=0.13 cores=0-7
/proc/15856/task/15870/stat : 15870 (java) S 15833 15833 14887 0 -1 1077944384 626 0 0 0 13 0 0 0 20 0 24 0 419044638 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200802298224 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15871] ppid=15833 vsize=8414124 memory=2454775137793 CPUtime=0.21 cores=0-7
/proc/15856/task/15871/stat : 15871 (java) S 15833 15833 14887 0 -1 1077944384 746 0 0 0 21 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200801245424 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15872] ppid=15833 vsize=8414124 memory=2484839908609 CPUtime=0.25 cores=0-7
/proc/15856/task/15872/stat : 15872 (java) S 15833 15833 14887 0 -1 1077944384 1044 0 0 0 25 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200800192624 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15873] ppid=15833 vsize=8414124 memory=7686721470334475672 CPUtime=0.25 cores=0-7
/proc/15856/task/15873/stat : 15873 (java) S 15833 15833 14887 0 -1 1077944384 638 0 0 0 25 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200799139824 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15874] ppid=15833 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/15856/task/15874/stat : 15874 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140198872607840 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15875] ppid=15833 vsize=8414124 memory=10596 CPUtime=0 cores=0-7
/proc/15856/task/15875/stat : 15875 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200798088240 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15877] ppid=15833 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/15856/task/15877/stat : 15877 (java) S 15833 15833 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200787957312 140201575816985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15879] ppid=15833 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/15856/task/15879/stat : 15879 (java) S 15833 15833 14887 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 32514 33554432000 4194304 4196468 140731972106928 140198201507504 140201575814301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15880] ppid=15833 vsize=8414124 memory=4004 CPUtime=0 cores=0-7
/proc/15856/task/15880/stat : 15880 (java) S 15833 15833 14887 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 32514 33554432000 4194304 4196468 140731972106928 140198469942832 140201575814301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15881] ppid=15833 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/15856/task/15881/stat : 15881 (java) S 15833 15833 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419044723 8616062976 32514 33554432000 4194304 4196468 140731972106928 140197933079600 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
Current children cumulated CPU time: 118.06 s
Current children cumulated vsize: 11470524 KiB
Current children cumulated memory: 2766520 KiB

[startup+36.8012 s]
/proc/loadavg: 4.23 5.96 6.97 7/223 15891
/proc/meminfo: memFree=21775824/32770624 swapFree=66999292/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1476 CPUtime=33.3 cores=0-7
/proc/15833/stat : 15833 (scop.sh) S 15830 15833 14887 0 -1 4202496 583 41656 0 0 0 0 3184 146 20 0 1 0 419042627 115843072 369 33554432000 4194304 5098028 140726640476752 140726640473496 139693604807292 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28254208 140726640481060 140726640481388 140726640481388 140726640484301 0
/proc/15833/statm: 28282 369 311 221 0 87 0
[pid=15856] ppid=15833 vsize=8414124 memory=130056 CPUtime=1.8 cores=0-7
/proc/15856/stat : 15856 (java) S 15833 15833 14887 0 -1 1077944320 21984 0 0 0 165 15 0 0 20 0 24 0 419044631 8616062976 32514 33554432000 4194304 4196468 140731972106928 140731972089472 140201575792375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
/proc/15856/statm: 2103531 32514 3227 1 0 2064875 0
[pid=15876] ppid=15856 vsize=2943668 memory=2643936 CPUtime=91 cores=0-7
/proc/15876/stat : 15876 (manyglucose-4.1) S 15856 15833 14887 0 -1 1077944320 1482475 0 0 0 8792 308 0 0 20 0 3 0 419044720 3014316032 660984 33554432000 4194304 4454172 140725659007952 140725659006336 140430918311671 0 4 0 8388610 18446744073709551615 0 0 17 4 0 0 0 0 0 6552832 6554400 28905472 140725659009897 140725659010096 140725659010096 140725659013050 0
/proc/15876/statm: 735917 660984 419 64 0 731585 0
[pid=15876/tid=15882] ppid=15856 vsize=2943668 memory=1476 CPUtime=11.49 cores=0-7
/proc/15876/task/15882/stat : 15882 (manyglucose-4.1) R 15856 15833 14887 0 -1 4202560 202168 0 0 0 1110 39 0 0 20 0 3 0 419045142 3014316032 660984 33554432000 4194304 4454172 140725659007952 140430847081576 4351289 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 28905472 140725659009897 140725659010096 140725659010096 140725659013050 0
[pid=15876/tid=15883] ppid=15856 vsize=2943668 memory=130056 CPUtime=11.44 cores=0-7
/proc/15876/task/15883/stat : 15883 (manyglucose-4.1) R 15856 15833 14887 0 -1 4202560 138517 0 0 0 1098 46 0 0 20 0 3 0 419045142 3014316032 660984 33554432000 4194304 4454172 140725659007952 140430838688504 4351289 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 28905472 140725659009897 140725659010096 140725659010096 140725659013050 0
[pid=15856/tid=15857] ppid=15833 vsize=8414124 memory=2632224 CPUtime=0.91 cores=0-7
/proc/15856/task/15857/stat : 15857 (java) S 15833 15833 14887 0 -1 1077944384 17512 0 0 0 78 13 0 0 20 0 24 0 419044632 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201547632544 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15858] ppid=15833 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/15856/task/15858/stat : 15858 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201580035216 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15859] ppid=15833 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15856/task/15859/stat : 15859 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201380203536 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15860] ppid=15833 vsize=8414124 memory=130056 CPUtime=0 cores=0-7
/proc/15856/task/15860/stat : 15860 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201379150736 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15861] ppid=15833 vsize=8414124 memory=2638572 CPUtime=0 cores=0-7
/proc/15856/task/15861/stat : 15861 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201378097936 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15862] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15862/stat : 15862 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201377045136 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15863] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15863/stat : 15863 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201375992336 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15864] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15864/stat : 15864 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044634 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201374939536 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15865] ppid=15833 vsize=8414124 memory=7686721470334475672 CPUtime=0 cores=0-7
/proc/15856/task/15865/stat : 15865 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044634 8616062976 32514 33554432000 4194304 4196468 140731972106928 140201373886736 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15866] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15866/stat : 15866 (java) S 15833 15833 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419044635 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200803351408 140201575803522 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15867] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15867/stat : 15867 (java) S 15833 15833 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419044635 8616062976 32514 33554432000 4194304 4196468 140731972106928 140199879239200 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15868] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15868/stat : 15868 (java) S 15833 15833 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419044636 8616062976 32514 33554432000 4194304 4196468 140731972106928 140199745017200 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15869] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15869/stat : 15869 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419044638 8616062976 32514 33554432000 4194304 4196468 140731972106928 140199370512720 140201575810971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15870] ppid=15833 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/15856/task/15870/stat : 15870 (java) S 15833 15833 14887 0 -1 1077944384 626 0 0 0 13 0 0 0 20 0 24 0 419044638 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200802298224 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15871] ppid=15833 vsize=8414124 memory=34196 CPUtime=0.21 cores=0-7
/proc/15856/task/15871/stat : 15871 (java) S 15833 15833 14887 0 -1 1077944384 746 0 0 0 21 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200801245424 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15872] ppid=15833 vsize=8414124 memory=21 CPUtime=0.25 cores=0-7
/proc/15856/task/15872/stat : 15872 (java) S 15833 15833 14887 0 -1 1077944384 1044 0 0 0 25 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200800192624 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15873] ppid=15833 vsize=8414124 memory=140537974743023 CPUtime=0.25 cores=0-7
/proc/15856/task/15873/stat : 15873 (java) S 15833 15833 14887 0 -1 1077944384 638 0 0 0 25 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200799139824 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15874] ppid=15833 vsize=8414124 memory=281075949463296 CPUtime=0 cores=0-7
/proc/15856/task/15874/stat : 15874 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140198872607840 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15875] ppid=15833 vsize=8414124 memory=7686721470334475672 CPUtime=0 cores=0-7
/proc/15856/task/15875/stat : 15875 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044639 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200798088240 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15877] ppid=15833 vsize=8414124 memory=9035107615 CPUtime=0 cores=0-7
/proc/15856/task/15877/stat : 15877 (java) S 15833 15833 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 32514 33554432000 4194304 4196468 140731972106928 140200787957312 140201575816985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15879] ppid=15833 vsize=8414124 memory=9035107615 CPUtime=0 cores=0-7
/proc/15856/task/15879/stat : 15879 (java) S 15833 15833 14887 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 32514 33554432000 4194304 4196468 140731972106928 140198201507504 140201575814301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15880] ppid=15833 vsize=8414124 memory=9035107615 CPUtime=0 cores=0-7
/proc/15856/task/15880/stat : 15880 (java) S 15833 15833 14887 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 32514 33554432000 4194304 4196468 140731972106928 140198469942832 140201575814301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15881] ppid=15833 vsize=8414124 memory=9035107697 CPUtime=0 cores=0-7
/proc/15856/task/15881/stat : 15881 (java) S 15833 15833 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419044723 8616062976 32514 33554432000 4194304 4196468 140731972106928 140197933079600 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
Current children cumulated CPU time: 126.1 s
Current children cumulated vsize: 11470920 KiB
Current children cumulated memory: 2775468 KiB

[startup+37.6011 s]
/proc/loadavg: 4.06 5.89 6.94 3/219 15891
/proc/meminfo: memFree=21776772/32770624 swapFree=66999292/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1476 CPUtime=33.3 cores=0-7
/proc/15833/stat : 15833 (scop.sh) S 15830 15833 14887 0 -1 4202496 583 41656 0 0 0 0 3184 146 20 0 1 0 419042627 115843072 369 33554432000 4194304 5098028 140726640476752 140726640473496 139693604807292 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28254208 140726640481060 140726640481388 140726640481388 140726640484301 0
/proc/15833/statm: 28282 369 311 221 0 87 0
[pid=15856] ppid=15833 vsize=8414124 memory=263992 CPUtime=2.17 cores=0-7
/proc/15856/stat : 15856 (java) S 15833 15833 14887 0 -1 1077944320 22745 0 0 0 197 20 0 0 20 0 24 0 419044631 8616062976 65486 33554432000 4194304 4196468 140731972106928 140731972089472 140201575792375 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
/proc/15856/statm: 2103531 65998 3229 1 0 2064875 0
[pid=15856/tid=15857] ppid=15833 vsize=8414124 memory=0 CPUtime=0.91 cores=0-7
/proc/15856/task/15857/stat : 15857 (java) S 15833 15833 14887 0 -1 1077944384 17512 0 0 0 78 13 0 0 20 0 24 0 419044632 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201547632544 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15858] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15858/stat : 15858 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201580035216 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15859] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15859/stat : 15859 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201380203536 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15860] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15860/stat : 15860 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201379150736 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15861] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15861/stat : 15861 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201378097936 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15862] ppid=15833 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15856/task/15862/stat : 15862 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201377045136 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15863] ppid=15833 vsize=8414124 memory=1169 CPUtime=0 cores=0-7
/proc/15856/task/15863/stat : 15863 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044633 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201375992336 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15864] ppid=15833 vsize=8414124 memory=1165 CPUtime=0 cores=0-7
/proc/15856/task/15864/stat : 15864 (java) S 15833 15833 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419044634 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201374939536 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15865] ppid=15833 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/15856/task/15865/stat : 15865 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044634 8616062976 65998 33554432000 4194304 4196468 140731972106928 140201373886736 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15866] ppid=15833 vsize=8414124 memory=1048 CPUtime=0 cores=0-7
/proc/15856/task/15866/stat : 15866 (java) S 15833 15833 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419044635 8616062976 65998 33554432000 4194304 4196468 140731972106928 140200803351408 140201575803522 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15867] ppid=15833 vsize=8414124 memory=5900 CPUtime=0 cores=0-7
/proc/15856/task/15867/stat : 15867 (java) S 15833 15833 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419044635 8616062976 65998 33554432000 4194304 4196468 140731972106928 140199879239200 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15868] ppid=15833 vsize=8414124 memory=612 CPUtime=0 cores=0-7
/proc/15856/task/15868/stat : 15868 (java) S 15833 15833 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419044636 8616062976 65998 33554432000 4194304 4196468 140731972106928 140199745017200 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15869] ppid=15833 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/15856/task/15869/stat : 15869 (java) S 15833 15833 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419044638 8616062976 65998 33554432000 4194304 4196468 140731972106928 140199370512720 140201575810971 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15870] ppid=15833 vsize=8414124 memory=14004 CPUtime=0.17 cores=0-7
/proc/15856/task/15870/stat : 15870 (java) S 15833 15833 14887 0 -1 1077944384 635 0 0 0 17 0 0 0 20 0 24 0 419044638 8616062976 65998 33554432000 4194304 4196468 140731972106928 140200802298224 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15871] ppid=15833 vsize=8414124 memory=14060 CPUtime=0.23 cores=0-7
/proc/15856/task/15871/stat : 15871 (java) S 15833 15833 14887 0 -1 1077944384 755 0 0 0 23 0 0 0 20 0 24 0 419044639 8616062976 66510 33554432000 4194304 4196468 140731972106928 140200801245424 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15872] ppid=15833 vsize=8414124 memory=2116 CPUtime=0.29 cores=0-7
/proc/15856/task/15872/stat : 15872 (java) S 15833 15833 14887 0 -1 1077944384 1059 0 0 0 29 0 0 0 20 0 24 0 419044639 8616062976 66510 33554432000 4194304 4196468 140731972106928 140200800192624 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15873] ppid=15833 vsize=8414124 memory=19480 CPUtime=0.29 cores=0-7
/proc/15856/task/15873/stat : 15873 (java) S 15833 15833 14887 0 -1 1077944384 1262 0 0 0 29 0 0 0 20 0 24 0 419044639 8616062976 66510 33554432000 4194304 4196468 140731972106928 140200799139824 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15874] ppid=15833 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/15856/task/15874/stat : 15874 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044639 8616062976 66510 33554432000 4194304 4196468 140731972106928 140198872607840 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15875] ppid=15833 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/15856/task/15875/stat : 15875 (java) S 15833 15833 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419044639 8616062976 66510 33554432000 4194304 4196468 140731972106928 140200798088240 140201575803522 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15877] ppid=15833 vsize=8414124 memory=932 CPUtime=0 cores=0-7
/proc/15856/task/15877/stat : 15877 (java) S 15833 15833 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 66510 33554432000 4194304 4196468 140731972106928 140200787957312 140201575816985 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15879] ppid=15833 vsize=8414124 memory=3680 CPUtime=0.21 cores=0-7
/proc/15856/task/15879/stat : 15879 (java) R 15833 15833 14887 0 -1 4202560 112 0 0 0 17 4 0 0 20 0 24 0 419044721 8616062976 66510 33554432000 4194304 4196468 140731972106928 140198201507456 140201038781306 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15880] ppid=15833 vsize=8414124 memory=864 CPUtime=0 cores=0-7
/proc/15856/task/15880/stat : 15880 (java) S 15833 15833 14887 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419044721 8616062976 66510 33554432000 4194304 4196468 140731972106928 140198469942832 140201575814301 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
[pid=15856/tid=15881] ppid=15833 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/15856/task/15881/stat : 15881 (java) S 15833 15833 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419044723 8616062976 66510 33554432000 4194304 4196468 140731972106928 140197933079600 140201575802581 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17186816 140731972113399 140731972113558 140731972113558 140731972116431 0
Current children cumulated CPU time: 35.47 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 265468 KiB

[startup+38.001 s]*
/proc/loadavg: 4.06 5.89 6.94 3/212 15891
/proc/meminfo: memFree=24277680/32770624 swapFree=66999292/67108860
[pid=15833] ppid=15830 vsize=113128 memory=1476 CPUtime=33.3 cores=0-7
/proc/15833/stat : 15833 (scop.sh) S 15830 15833 14887 0 -1 4202496 583 41656 0 0 0 0 3184 146 20 0 1 0 419042627 115843072 369 33554432000 4194304 5098028 140726640476752 140726640473496 139693604807292 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 28254208 140726640481060 140726640481388 140726640481388 140726640484301 0
/proc/15833/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 33.3 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 38.0182
CPU time (s): 128.588
CPU user time (s): 123.646
CPU system time (s): 4.94186
CPU usage (%): 338.227
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6032388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.646
system time used= 4.94186
maximum resident set size= 6030992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1568938
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62215
involuntary context switches= 989


# summary of solver processes directly reported to runsolver:
#   pid: 15833
#   total CPU time (s): 128.588
#   total CPU user time (s): 123.646
#   total CPU system time (s): 4.94186

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.329336 second user time and 0.473923 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-14 05:16:42
IDJOB=4392670
IDBENCH=128113
IDSOLVER=2839
FILE ID=node140/4392670-1568431042
RUNJOBID= node140-1568430400-14914
PBS_JOBID= 21702310
Free space on /tmp= 58140 MiB

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

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

MD5SUM BENCH= 09f7292054b32b27f786cbe3f3fae605
RANDOM SEED=967451359

node140.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.43
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.43
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.43
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.43
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:        24603016 kB
MemAvailable:   31856204 kB
Buffers:          172220 kB
Cached:          7288596 kB
SwapCached:         2728 kB
Active:          1519208 kB
Inactive:        5949864 kB
Active(anon):       3412 kB
Inactive(anon):    45600 kB
Active(file):    1515796 kB
Inactive(file):  5904264 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66999292 kB
Dirty:             20828 kB
Writeback:             0 kB
AnonPages:        146568 kB
Mapped:            44712 kB
Shmem:             32268 kB
Slab:             292016 kB
SReclaimable:     261588 kB
SUnreclaim:        30428 kB
KernelStack:        3728 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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= 58120 MiB
End job on node140 at 2019-09-14 05:17:20