Trace number 4405536

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-09-22)SAT 336.121 65.611

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-70-08.xml
MD5SUM487341030a1a30afb0858e27d438e3d6
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 benchmark7.38733
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1401
Number of domains2
Minimum domain size2
Maximum domain size22
Distribution of domain sizes[{"size":2,"count":1000},{"size":22,"count":200}]
Minimum variable degree2
Maximum variable degree60
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":36,"count":20}, {"degree":37,"count":20}, {"degree":38,"count":55}, {"degree":39,"count":14}, {"degree":40,"count":39}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":56}, {"degree":54,"count":2}, {"degree":55,"count":2}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":3}, {"degree":60,"count":87}]
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":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":2},{"arity":50,"count":2},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":2},{"arity":62,"count":1},{"arity":65,"count":3},{"arity":68,"count":1},{"arity":70,"count":2},{"arity":71,"count":1},{"arity":74,"count":1},{"arity":75,"count":2},{"arity":77,"count":1},{"arity":80,"count":4},{"arity":83,"count":2},{"arity":85,"count":2},{"arity":86,"count":2},{"arity":88,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1200},{"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-9542-serial-file.bin HOME/instance-4405536-1569338375.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: Tue Sep 24 17:18:55 CEST 2019
0.65/0.57	c PID: 9545
0.65/0.57	c IP: 172.20.3.151
0.65/0.57	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.50/1.41	c (0,0) Parsing End
3.50/1.42	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1401 ctr, max domain size 22
3.50/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.50/1.42	c (0,0) Constraint Name Generate Begin
3.50/1.45	c (0,0) Ctr:HOME/instance-4405536-1569338375.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.50/1.45	c (0,0) Constraint Name Generate End
3.50/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.50/1.45	c (0,0) CSP to CSPinCNF Begin
11.66/4.51	c (3,3) translated 141 (10%) constraints
12.21/5.06	c (4,4) translated 281 (20%) constraints
12.21/5.08	c (4,4) translated 421 (30%) constraints
12.51/5.10	c (4,4) translated 561 (40%) constraints
12.51/5.13	c (4,4) translated 701 (50%) constraints
12.51/5.15	c (4,4) translated 841 (60%) constraints
12.51/5.17	c (4,4) translated 981 (70%) constraints
12.51/5.19	c (4,4) translated 1121 (80%) constraints
15.12/6.67	c (6,6) translated 1261 (90%) constraints
16.84/8.36	c (7,7) translated 1401 (100%) constraints
16.84/8.38	c (7,7) ===========================================
16.94/8.43	c (7,7) Hybrid: #OE=9800, #LE=5400
16.94/8.43	c (7,7) Hybrid
16.94/8.43	c (7,7) ===========================================
18.32/8.98	c (8,8) translated 5223 (10%) constraints
18.98/9.22	c (8,8) translated 10445 (20%) constraints
19.28/9.34	c (8,8) translated 15667 (30%) constraints
19.36/9.45	c (8,8) translated 20889 (40%) constraints
19.47/9.57	c (9,9) translated 26111 (50%) constraints
19.56/9.68	c (9,9) translated 31334 (60%) constraints
19.67/9.80	c (9,9) translated 36556 (70%) constraints
19.86/9.91	c (9,9) translated 41778 (80%) constraints
19.97/10.03	c (9,9) translated 47000 (90%) constraints
21.21/11.18	c (10,10) translated 52222 (100%) constraints
21.21/11.19	c (10,10) CSP to CSPinCNF End
21.21/11.20	c (10,10) CSP: 200 int (0 aux), 19400 bool (18400 aux), 61044 ctr, max domain size 22
21.21/11.20	c (10,10) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.21/11.20	c (10,10) CSPinCNF Propagation Begin
22.51/11.82	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.51/11.82	c (11,11) CSPinCNF Propagation End
22.51/11.83	c (11,11) CSP: 200 int (0 aux), 19400 bool (18400 aux), 60644 ctr, max domain size 22
22.51/11.83	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.51/11.88	c (11,11) Hybrid: #OE=14200, #LE=5400
22.51/11.88	c (11,11) Simplify CSPinCNF Begin
23.03/12.06	c (11,11) Simplify CSPinCNF End
23.03/12.06	c (11,11) CSP: 200 int (0 aux), 19400 bool (18400 aux), 60644 ctr, max domain size 22
23.03/12.06	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.03/12.06	c (11,11) Calculate Precise Domain Begin
23.03/12.06	c (11,11) 0 values are removed by re-calculation
23.03/12.06	c (11,11) Calculate Precise Domain End
23.03/12.07	c (11,11) CSP: 200 int (0 aux), 19400 bool (18400 aux), 60644 ctr, max domain size 22
23.03/12.07	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.03/12.07	c (11,11) CSPinCNF to SatSolver Begin
25.42/12.98	c (12,12) 6065 (10 %) CSP clauses are encoded (0 SAT variables, 227628 SAT clauses)
26.18/13.10	c (12,12) 12129 (20 %) CSP clauses are encoded (0 SAT variables, 233692 SAT clauses)
26.18/13.18	c (12,12) 18194 (30 %) CSP clauses are encoded (0 SAT variables, 239757 SAT clauses)
26.51/13.28	c (12,12) 24258 (40 %) CSP clauses are encoded (0 SAT variables, 245821 SAT clauses)
26.75/13.36	c (12,12) 30322 (50 %) CSP clauses are encoded (0 SAT variables, 251885 SAT clauses)
26.85/13.43	c (12,12) 36387 (60 %) CSP clauses are encoded (0 SAT variables, 257950 SAT clauses)
26.95/13.52	c (12,12) 42451 (70 %) CSP clauses are encoded (0 SAT variables, 264014 SAT clauses)
27.05/13.61	c (13,13) 48516 (80 %) CSP clauses are encoded (0 SAT variables, 270079 SAT clauses)
27.15/13.70	c (13,13) 54580 (90 %) CSP clauses are encoded (0 SAT variables, 276143 SAT clauses)
32.30/17.70	c (17,16) 60644 (100 %) CSP clauses are encoded (0 SAT variables, 2381818 SAT clauses)
32.30/17.74	c (17,16) CSPinCNF to SatSolver End
32.30/17.74	c (17,16) Heap : 3244 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
32.30/17.74	c (17,16) 820885 bool, 2403169 clause
32.30/17.74	c (17,16) Export Begin
32.77/17.95	c (17,17) Export to HOME/scop-9542-serial-file.bin
32.77/17.95	c (17,17) Export End
32.77/17.95	c (17,17) Export File Size: 0.47 MB
32.77/17.95	c (17,17) 0,0,10,11,11,11,17,STOP-AFTER(DIMACS)
32.77/17.95	c END-Prog: Tue Sep 24 17:19:13 CEST 2019
0.00/18.00	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9542-serial-file.bin
33.47/18.46	c (0,0) Read Serial File Begin
33.47/18.46	c (0,0) HOME/scop-9542-serial-file.bin
34.25/18.81	c (0,0) Read Serial File End
34.25/18.83	
34.25/18.83	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
34.25/18.83	(Solving Process)
34.25/18.83	
34.25/18.85	c BEGIN-Prog: Tue Sep 24 17:19:14 CEST 2019
34.25/18.85	c PID: 9565
34.25/18.85	c IP: 172.20.3.151
34.25/18.85	c HOST: node151.alineos.net
34.25/18.85	c (0,0) SatSolver.solve Begin
34.25/18.85	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405536-1569338375.xml-scop-9545.cnf
34.25/18.88	c (0,0) c
34.25/18.88	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)
34.25/18.88	c (0,0) c
34.25/18.88	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
34.25/18.88	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
34.25/18.88	c (0,0) c ========================================[ Problem Statistics ]===========================================
34.25/18.88	c (0,0) c |                                                                                                       |
35.59/19.93	c (1,0) c |  Number of variables:        820885                                                                   |
35.59/19.93	c (1,0) c |  Number of clauses:         2402330                                                                   |
35.59/19.93	c (1,0) c |  Parse time:                   0.94 s                                                                 |
35.59/19.93	c (1,0) c |                                                                                                       |
37.29/21.64	c (3,0) c |  Simplification time:          1.66 s                                                                 |
37.29/21.64	c (3,0) c |                                                                                                       |
37.29/21.64	c (3,0) c |  Generating clones                                                                                    |
38.40/22.77	c (4,0) c |  all clones generated. Memory =  2171.59Mb.                                                           |
38.40/22.77	c (4,0) c ========================================================================================================|
38.40/22.77	c (4,0) c
38.40/22.77	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
38.40/22.77	c (4,0) c
38.40/22.77	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.40/22.77	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.40/22.77	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.40/22.77	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
38.40/22.77	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
38.40/22.77	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
38.40/22.77	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
38.40/22.77	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
38.40/22.77	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
38.40/22.77	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
38.40/22.77	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
38.40/22.77	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
38.40/22.77	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
38.40/22.77	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
38.40/22.77	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
38.40/22.77	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
38.40/22.77	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
38.40/22.77	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
38.40/22.77	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
265.78/52.75	c (34,0) c
265.78/52.75	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
265.78/52.75	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
265.78/52.75	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
265.78/52.75	c (34,0) c |  0 |    209 |    1958234 |     105285 |   141254 |    34115 |    19017 |    93817 |      243 |       89 |  20 |  0.120 |
265.78/52.75	c (34,0) c |  1 |    186 |    1603601 |      94763 |   164919 |    23604 |    19463 |   114286 |      674 |      104 |  20 |  0.120 |
265.78/52.75	c (34,0) c |  2 |    170 |    1138277 |     115393 |   130131 |    24061 |    22719 |   116655 |     3307 |      109 |  20 |  0.125 |
265.78/52.75	c (34,0) c |  3 |    278 |     795789 |     106717 |   144420 |    35565 |    20808 |   117118 |     2724 |      109 |  20 |  0.125 |
265.78/52.75	c (34,0) c |  4 |    162 |     901983 |      91118 |   146103 |    19969 |    19024 |   120893 |      319 |      109 |  20 |  0.125 |
265.78/52.75	c (34,0) c |  5 |    193 |     727504 |     103663 |   123349 |    32517 |    19890 |   121286 |     2205 |      109 |  20 |  0.125 |
265.78/52.75	c (34,0) c |  6 |    310 |    1144288 |     114187 |   139178 |    39143 |    21777 |   118911 |     3892 |      109 |  20 |  0.125 |
265.78/52.75	c (34,0) c |  7 |    254 |    1492564 |      94815 |   150469 |    23711 |    18481 |   123906 |     1258 |      109 |  20 |  0.125 |
265.78/52.75	c (34,0) c 
265.78/52.75	c (34,0) c synthesis      825944 conflicts   851962636 propagations     3622 conflicts/sec  3736229 propagations/sec
265.78/52.75	c (34,0) c real: 33.8753 s, cpu: 228.027 s, memory: 2770.17 Mb
334.50/64.91	c (46,0) c
334.50/64.91	c (46,0) c real time : 46.0357 s
334.50/64.91	c (46,0) c cpu time  : 295.936 s
334.50/64.91	c (46,0) c
334.50/64.91	c (46,0) c
334.50/64.91	c (46,0) c
334.50/64.91	c (46,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
334.50/64.91	c (46,0) c
334.50/64.91	c (46,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.91	c (46,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
334.50/64.91	c (46,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.91	c (46,0) c | Conflicts     |         1100538 |     151855 |     128386 |     159724 |     121452 |     125645 |     126944 |     158384 |     128148 |
334.50/64.91	c (46,0) c | Decisions     |        10891741 |    2168322 |    1690549 |    1234780 |     957302 |     986652 |     975943 |    1245669 |    1632524 |
334.50/64.91	c (46,0) c | Propagations  |      1108119984 |  144153276 |  137434000 |  132304040 |  139929007 |  134197466 |  138490571 |  134956998 |  146654626 |
334.50/64.91	c (46,0) c | ReduceDBs     |              75 |         10 |          9 |         10 |          9 |          9 |          9 |         10 |          9 |
334.50/64.91	c (46,0) c | SimpDBs       |              68 |          7 |          8 |          9 |          8 |          9 |          9 |          9 |          9 |
334.50/64.91	c (46,0) c | Restarts      |            2312 |        305 |        263 |        224 |        351 |        222 |        254 |        390 |        303 |
334.50/64.91	c (46,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
334.50/64.91	c (46,0) c | PropBinClauses|       309632950 |   42885629 |   39878527 |   36079478 |   34263924 |   39206140 |   36380910 |   40142295 |   40796047 |
334.50/64.91	c (46,0) c | PropPreBlocker|      2789970431 |  361372196 |  339871322 |  350225459 |  356150475 |  331546378 |  346598147 |  352547533 |  351658921 |
334.50/64.91	c (46,0) c | PropNotBlocker|      1257957536 |  161146374 |  151882877 |  157079768 |  162959833 |  151017550 |  159104159 |  155688962 |  159078013 |
334.50/64.91	c (46,0) c | LitFullScans  |      6696432009 |  828189671 |  828188541 |  843501729 |  830554016 |  844348597 |  833551343 |  847819101 |  840279011 |
334.50/64.91	c (46,0) c | LitScanFracts |         1746933 |     170395 |     177376 |     305216 |     151886 |     238678 |     183920 |     251239 |     268223 |
334.50/64.91	c (46,0) c | DecisionLevel0|            2320 |        306 |        263 |        224 |        352 |        222 |        255 |        392 |        306 |
334.50/64.91	c (46,0) c | Periods       |            1113 |        138 |        138 |        140 |        138 |        140 |        138 |        141 |        140 |
334.50/64.91	c (46,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
334.50/64.91	c (46,0) c | Avg_Trail     |                 |      20826 |      25468 |      26676 |      26804 |      23001 |      27840 |      18011 |      26316 |
334.50/64.91	c (46,0) c | Avg_DL        |                 |        214 |        227 |        197 |        200 |        167 |        190 |        179 |        235 |
334.50/64.91	c (46,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
334.50/64.91	c (46,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
334.50/64.91	c (46,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.91	c (46,0) c | Exported      |          204211 |      25071 |      24452 |      30916 |      22809 |      23735 |      23147 |      29745 |      24336 |
334.50/64.91	c (46,0) c | Imported      |         1234339 |     151166 |     152090 |     152617 |     154249 |     159376 |     151390 |     154755 |     158696 |
334.50/64.91	c (46,0) c | Good          |           56760 |       6758 |       7194 |       7423 |       7265 |       7384 |       7076 |       6681 |       6979 |
334.50/64.91	c (46,0) c | Purge         |         1177579 |     144408 |     144896 |     145194 |     146984 |     151992 |     144314 |     148074 |     151717 |
334.50/64.92	c (46,0) c | Promoted      |           21024 |        520 |       1295 |       3856 |       3625 |       1062 |       2776 |       5660 |       2230 |
334.50/64.92	c (46,0) c | Remove_Imp    |          742160 |      95626 |      89706 |      87919 |      92443 |      93754 |      85643 |      96413 |     100656 |
334.50/64.92	c (46,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
334.50/64.92	c (46,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.92	c (46,0) c | Unaries       |                 |          1 |          0 |          0 |          1 |          0 |          1 |          2 |          3 |
334.50/64.92	c (46,0) c | Binaries      |                 |       1301 |        844 |        894 |        940 |        882 |       1021 |       1864 |       1325 |
334.50/64.92	c (46,0) c | Glues         |                 |       5287 |       2704 |       4271 |       4133 |       2579 |       3396 |       6484 |       4826 |
334.50/64.92	c (46,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.92	c (46,0) c | Orig_Seen     |             7 % |     168675 |     189188 |     138264 |     193004 |     156442 |     157277 |     158170 |     182065 |
334.50/64.92	c (46,0) c | Diff Orig seen|                 |      11398 |      31911 | -    19013 |      35727 | -      835 |      X     |        893 |      24788 |
334.50/64.92	c (46,0) c | Hamming       |            25 % |     210384 |     232518 |     204795 |     183393 |     234259 |      X     |     197866 |     185831 |
334.50/64.92	c (46,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.92	c (46,0) c | RunningTime   |                 |   42.0 100%|   38.8 100%|   34.8  90%|   37.5  96%|   34.6  89%|   37.4  97%|   35.7  92%|   37.5  97%|
334.50/64.92	c (46,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    3.7  10%|    1.6   4%|    4.0  10%|    1.1   3%|    2.9   7%|    1.1   3%|
334.50/64.92	c (46,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
334.50/64.92	c (46,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%|
334.50/64.92	c (46,0) c | SolvingTime   |                 |   42.1     |   38.9     |   38.6     |   39.2     |   38.7     |   38.6     |   38.6     |   38.7     |
334.50/64.92	c (46,0) c | PropagationTim|                 |   35.9  85%|   32.8  84%|   31.3  81%|   32.5  83%|   32.2  83%|   32.0  83%|   31.2  81%|   32.3  84%|
334.50/64.92	c (46,0) c | AnalysisTime  |                 |    2.1   5%|    2.3   6%|    3.1   8%|    2.4   6%|    2.4   6%|    2.4   6%|    2.8   7%|    2.2   6%|
334.50/64.92	c (46,0) c | ReductionTime |                 |    0.3   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.4   1%|    0.3   1%|    0.4   1%|    0.4   1%|
334.50/64.92	c (46,0) c | SimplifyTime  |                 |    0.3   1%|    0.4   1%|    1.1   3%|    0.7   2%|    0.8   2%|    0.8   2%|    1.1   3%|    0.6   1%|
334.50/64.92	c (46,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%|
334.50/64.92	c (46,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%|
334.50/64.92	c (46,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.92	c (46,0) c
334.50/64.92	c (46,0) c
334.50/64.92	c (46,0) c Threads : 8
334.50/64.92	c (46,0) c Winner : 5
334.50/64.92	c (46,0) c Conflicts_0 : 151855
334.50/64.92	c (46,0) c Conflicts_1 : 128386
334.50/64.92	c (46,0) c Conflicts_2 : 159724
334.50/64.92	c (46,0) c Conflicts_3 : 121452
334.50/64.92	c (46,0) c Conflicts_4 : 125645
334.50/64.92	c (46,0) c Conflicts_5 : 126944
334.50/64.92	c (46,0) c Conflicts_6 : 158384
334.50/64.92	c (46,0) c Conflicts_7 : 128148
334.50/64.92	c (46,0) c Conflicts_total : 1100538
334.50/64.92	c (46,0) c Conflicts_winner : 126944
334.50/64.92	c (46,0) c Decisions_0 : 2168322
334.50/64.92	c (46,0) c Decisions_1 : 1690549
334.50/64.92	c (46,0) c Decisions_2 : 1234780
334.50/64.92	c (46,0) c Decisions_3 : 957302
334.50/64.92	c (46,0) c Decisions_4 : 986652
334.50/64.92	c (46,0) c Decisions_5 : 975943
334.50/64.92	c (46,0) c Decisions_6 : 1245669
334.50/64.92	c (46,0) c Decisions_7 : 1632524
334.50/64.92	c (46,0) c Decisions_total : 10891741
334.50/64.92	c (46,0) c Decisions_winner : 975943
334.50/64.92	c (46,0) c Propagations_0 : 144153276
334.50/64.92	c (46,0) c Propagations_1 : 137434000
334.50/64.92	c (46,0) c Propagations_2 : 132304040
334.50/64.92	c (46,0) c Propagations_3 : 139929007
334.50/64.92	c (46,0) c Propagations_4 : 134197466
334.50/64.92	c (46,0) c Propagations_5 : 138490571
334.50/64.92	c (46,0) c Propagations_6 : 134956998
334.50/64.92	c (46,0) c Propagations_7 : 146654626
334.50/64.92	c (46,0) c Propagations_total : 1108119984
334.50/64.92	c (46,0) c Propagations_winner : 138490571
334.50/64.92	c (46,0) c ReduceDBs_0 : 10
334.50/64.92	c (46,0) c ReduceDBs_1 : 9
334.50/64.92	c (46,0) c ReduceDBs_2 : 10
334.50/64.92	c (46,0) c ReduceDBs_3 : 9
334.50/64.92	c (46,0) c ReduceDBs_4 : 9
334.50/64.92	c (46,0) c ReduceDBs_5 : 9
334.50/64.92	c (46,0) c ReduceDBs_6 : 10
334.50/64.92	c (46,0) c ReduceDBs_7 : 9
334.50/64.92	c (46,0) c ReduceDBs_total : 75
334.50/64.92	c (46,0) c ReduceDBs_winner : 9
334.50/64.92	c (46,0) c SimpDBs_0 : 7
334.50/64.92	c (46,0) c SimpDBs_1 : 8
334.50/64.92	c (46,0) c SimpDBs_2 : 9
334.50/64.92	c (46,0) c SimpDBs_3 : 8
334.50/64.92	c (46,0) c SimpDBs_4 : 9
334.50/64.92	c (46,0) c SimpDBs_5 : 9
334.50/64.92	c (46,0) c SimpDBs_6 : 9
334.50/64.92	c (46,0) c SimpDBs_7 : 9
334.50/64.92	c (46,0) c SimpDBs_total : 68
334.50/64.92	c (46,0) c SimpDBs_winner : 9
334.50/64.92	c (46,0) c Restarts_0 : 305
334.50/64.92	c (46,0) c Restarts_1 : 263
334.50/64.92	c (46,0) c Restarts_2 : 224
334.50/64.92	c (46,0) c Restarts_3 : 351
334.50/64.92	c (46,0) c Restarts_4 : 222
334.50/64.92	c (46,0) c Restarts_5 : 254
334.50/64.92	c (46,0) c Restarts_6 : 390
334.50/64.92	c (46,0) c Restarts_7 : 303
334.50/64.92	c (46,0) c Restarts_total : 2312
334.50/64.92	c (46,0) c Restarts_winner : 254
334.50/64.92	c (46,0) c ForcedImports_0 : 0
334.50/64.92	c (46,0) c ForcedImports_1 : 0
334.50/64.92	c (46,0) c ForcedImports_2 : 0
334.50/64.92	c (46,0) c ForcedImports_3 : 0
334.50/64.92	c (46,0) c ForcedImports_4 : 0
334.50/64.92	c (46,0) c ForcedImports_5 : 0
334.50/64.92	c (46,0) c ForcedImports_6 : 0
334.50/64.92	c (46,0) c ForcedImports_7 : 0
334.50/64.92	c (46,0) c ForcedImports_total : 0
334.50/64.92	c (46,0) c ForcedImports_winner : 0
334.50/64.92	c (46,0) c PropsBinClauses_0 : 42885629
334.50/64.92	c (46,0) c PropsBinClauses_1 : 39878527
334.50/64.92	c (46,0) c PropsBinClauses_2 : 36079478
334.50/64.92	c (46,0) c PropsBinClauses_3 : 34263924
334.50/64.92	c (46,0) c PropsBinClauses_4 : 39206140
334.50/64.92	c (46,0) c PropsBinClauses_5 : 36380910
334.50/64.92	c (46,0) c PropsBinClauses_6 : 40142295
334.50/64.92	c (46,0) c PropsBinClauses_7 : 40796047
334.50/64.92	c (46,0) c PropsBinClauses_total : 309632950
334.50/64.92	c (46,0) c PropsBinClauses_winner : 36380910
334.50/64.92	c (46,0) c PropsPreBlocker_0 : 361372196
334.50/64.92	c (46,0) c PropsPreBlocker_1 : 339871322
334.50/64.92	c (46,0) c PropsPreBlocker_2 : 350225459
334.50/64.92	c (46,0) c PropsPreBlocker_3 : 356150475
334.50/64.92	c (46,0) c PropsPreBlocker_4 : 331546378
334.50/64.92	c (46,0) c PropsPreBlocker_5 : 346598147
334.50/64.92	c (46,0) c PropsPreBlocker_6 : 352547533
334.50/64.92	c (46,0) c PropsPreBlocker_7 : 351658921
334.50/64.92	c (46,0) c PropsPreBlocker_total : 2789970431
334.50/64.92	c (46,0) c PropsPreBlocker_winner : 346598147
334.50/64.92	c (46,0) c PropsNotBlocker_0 : 161146374
334.50/64.92	c (46,0) c PropsNotBlocker_1 : 151882877
334.50/64.92	c (46,0) c PropsNotBlocker_2 : 157079768
334.50/64.92	c (46,0) c PropsNotBlocker_3 : 162959833
334.50/64.92	c (46,0) c PropsNotBlocker_4 : 151017550
334.50/64.92	c (46,0) c PropsNotBlocker_5 : 159104159
334.50/64.92	c (46,0) c PropsNotBlocker_6 : 155688962
334.50/64.92	c (46,0) c PropsNotBlocker_7 : 159078013
334.50/64.92	c (46,0) c PropsNotBlocker_total : 1257957536
334.50/64.92	c (46,0) c PropsNotBlocker_winner : 159104159
334.50/64.92	c (46,0) c PropsLitFullScans_0 : 828189671
334.50/64.92	c (46,0) c PropsLitFullScans_1 : 828188541
334.50/64.92	c (46,0) c PropsLitFullScans_2 : 843501729
334.50/64.92	c (46,0) c PropsLitFullScans_3 : 830554016
334.50/64.92	c (46,0) c PropsLitFullScans_4 : 844348597
334.50/64.92	c (46,0) c PropsLitFullScans_5 : 833551343
334.50/64.92	c (46,0) c PropsLitFullScans_6 : 847819101
334.50/64.92	c (46,0) c PropsLitFullScans_7 : 840279011
334.50/64.92	c (46,0) c PropsLitFullScans_total : 6696432009
334.50/64.92	c (46,0) c PropsLitFullScans_winner : 833551343
334.50/64.92	c (46,0) c LitScanFractions_0 : 170395
334.50/64.92	c (46,0) c LitScanFractions_1 : 177376
334.50/64.92	c (46,0) c LitScanFractions_2 : 305216
334.50/64.92	c (46,0) c LitScanFractions_3 : 151886
334.50/64.92	c (46,0) c LitScanFractions_4 : 238678
334.50/64.92	c (46,0) c LitScanFractions_5 : 183920
334.50/64.92	c (46,0) c LitScanFractions_6 : 251239
334.50/64.92	c (46,0) c LitScanFractions_7 : 268223
334.50/64.92	c (46,0) c LitScanFractions_total : 1746933
334.50/64.92	c (46,0) c LitScanFractions_winner : 183920
334.50/64.92	c (46,0) c DecisionLevel0_0 : 306
334.50/64.92	c (46,0) c DecisionLevel0_1 : 263
334.50/64.92	c (46,0) c DecisionLevel0_2 : 224
334.50/64.92	c (46,0) c DecisionLevel0_3 : 352
334.50/64.92	c (46,0) c DecisionLevel0_4 : 222
334.50/64.92	c (46,0) c DecisionLevel0_5 : 255
334.50/64.92	c (46,0) c DecisionLevel0_6 : 392
334.50/64.92	c (46,0) c DecisionLevel0_7 : 306
334.50/64.92	c (46,0) c DecisionLevel0_total : 2320
334.50/64.92	c (46,0) c DecisionLevel0_winner : 255
334.50/64.92	c (46,0) c Periods_0 : 138
334.50/64.92	c (46,0) c Periods_1 : 138
334.50/64.92	c (46,0) c Periods_2 : 140
334.50/64.92	c (46,0) c Periods_3 : 138
334.50/64.92	c (46,0) c Periods_4 : 140
334.50/64.92	c (46,0) c Periods_5 : 138
334.50/64.92	c (46,0) c Periods_6 : 141
334.50/64.92	c (46,0) c Periods_7 : 140
334.50/64.92	c (46,0) c Periods_total : 1113
334.50/64.92	c (46,0) c Periods_winner : 138
334.50/64.92	c (46,0) c Margin_0 : 20
334.50/64.92	c (46,0) c Margin_1 : 20
334.50/64.92	c (46,0) c Margin_2 : 20
334.50/64.92	c (46,0) c Margin_3 : 20
334.50/64.92	c (46,0) c Margin_4 : 20
334.50/64.92	c (46,0) c Margin_5 : 20
334.50/64.92	c (46,0) c Margin_6 : 20
334.50/64.92	c (46,0) c Margin_7 : 20
334.50/64.92	c (46,0) c Margin_total : 160
334.50/64.92	c (46,0) c Margin_winner : 20
334.50/64.92	c (46,0) c Exported_0 : 25071
334.50/64.92	c (46,0) c Exported_1 : 24452
334.50/64.92	c (46,0) c Exported_2 : 30916
334.50/64.92	c (46,0) c Exported_3 : 22809
334.50/64.92	c (46,0) c Exported_4 : 23735
334.50/64.92	c (46,0) c Exported_5 : 23147
334.50/64.92	c (46,0) c Exported_6 : 29745
334.50/64.92	c (46,0) c Exported_7 : 24336
334.50/64.92	c (46,0) c Exported_total : 204211
334.50/64.92	c (46,0) c Exported_winner : 23147
334.50/64.92	c (46,0) c Imported_0 : 151166
334.50/64.92	c (46,0) c Imported_1 : 152090
334.50/64.92	c (46,0) c Imported_2 : 152617
334.50/64.92	c (46,0) c Imported_3 : 154249
334.50/64.92	c (46,0) c Imported_4 : 159376
334.50/64.92	c (46,0) c Imported_5 : 151390
334.50/64.92	c (46,0) c Imported_6 : 154755
334.50/64.92	c (46,0) c Imported_7 : 158696
334.50/64.92	c (46,0) c Imported_total : 1234339
334.50/64.92	c (46,0) c Imported_winner : 151390
334.50/64.92	c (46,0) c Good_0 : 6758
334.50/64.92	c (46,0) c Good_1 : 7194
334.50/64.92	c (46,0) c Good_2 : 7423
334.50/64.92	c (46,0) c Good_3 : 7265
334.50/64.92	c (46,0) c Good_4 : 7384
334.50/64.92	c (46,0) c Good_5 : 7076
334.50/64.92	c (46,0) c Good_6 : 6681
334.50/64.92	c (46,0) c Good_7 : 6979
334.50/64.92	c (46,0) c Good_total : 56760
334.50/64.92	c (46,0) c Good_winner : 7076
334.50/64.92	c (46,0) c Purge_0 : 144408
334.50/64.92	c (46,0) c Purge_1 : 144896
334.50/64.92	c (46,0) c Purge_2 : 145194
334.50/64.92	c (46,0) c Purge_3 : 146984
334.50/64.92	c (46,0) c Purge_4 : 151992
334.50/64.92	c (46,0) c Purge_5 : 144314
334.50/64.92	c (46,0) c Purge_6 : 148074
334.50/64.92	c (46,0) c Purge_7 : 151717
334.50/64.92	c (46,0) c Purge_total : 1177579
334.50/64.92	c (46,0) c Purge_winner : 144314
334.50/64.92	c (46,0) c Promoted_0 : 520
334.50/64.92	c (46,0) c Promoted_1 : 1295
334.50/64.92	c (46,0) c Promoted_2 : 3856
334.50/64.92	c (46,0) c Promoted_3 : 3625
334.50/64.92	c (46,0) c Promoted_4 : 1062
334.50/64.92	c (46,0) c Promoted_5 : 2776
334.50/64.92	c (46,0) c Promoted_6 : 5660
334.50/64.92	c (46,0) c Promoted_7 : 2230
334.50/64.92	c (46,0) c Promoted_total : 21024
334.50/64.92	c (46,0) c Promoted_winner : 2776
334.50/64.92	c (46,0) c Remove_Imp_0 : 95626
334.50/64.92	c (46,0) c Remove_Imp_1 : 89706
334.50/64.92	c (46,0) c Remove_Imp_2 : 87919
334.50/64.92	c (46,0) c Remove_Imp_3 : 92443
334.50/64.92	c (46,0) c Remove_Imp_4 : 93754
334.50/64.92	c (46,0) c Remove_Imp_5 : 85643
334.50/64.93	c (46,0) c Remove_Imp_6 : 96413
334.50/64.93	c (46,0) c Remove_Imp_7 : 100656
334.50/64.93	c (46,0) c Remove_Imp_total : 742160
334.50/64.93	c (46,0) c Remove_Imp_winner : 85643
334.50/64.93	c (46,0) c Blocked_Reuse_0 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_1 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_2 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_3 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_4 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_5 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_6 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_7 : 0
334.50/64.93	c (46,0) c Blocked_Reuse_total : 0
334.50/64.93	c (46,0) c Blocked_Reuse_winner : 0
334.50/64.93	c (46,0) c Unaries_0 : 1
334.50/64.93	c (46,0) c Unaries_1 : 0
334.50/64.93	c (46,0) c Unaries_2 : 0
334.50/64.93	c (46,0) c Unaries_3 : 1
334.50/64.93	c (46,0) c Unaries_4 : 0
334.50/64.93	c (46,0) c Unaries_5 : 1
334.50/64.93	c (46,0) c Unaries_6 : 2
334.50/64.93	c (46,0) c Unaries_7 : 3
334.50/64.93	c (46,0) c Unaries_total : 8
334.50/64.93	c (46,0) c Unaries_winner : 1
334.50/64.93	c (46,0) c Binaries_0 : 1301
334.50/64.93	c (46,0) c Binaries_1 : 844
334.50/64.93	c (46,0) c Binaries_2 : 894
334.50/64.93	c (46,0) c Binaries_3 : 940
334.50/64.93	c (46,0) c Binaries_4 : 882
334.50/64.93	c (46,0) c Binaries_5 : 1021
334.50/64.93	c (46,0) c Binaries_6 : 1864
334.50/64.93	c (46,0) c Binaries_7 : 1325
334.50/64.93	c (46,0) c Binaries_total : 9071
334.50/64.93	c (46,0) c Binaries_winner : 1021
334.50/64.93	c (46,0) c Glues_0 : 5287
334.50/64.93	c (46,0) c Glues_1 : 2704
334.50/64.93	c (46,0) c Glues_2 : 4271
334.50/64.93	c (46,0) c Glues_3 : 4133
334.50/64.93	c (46,0) c Glues_4 : 2579
334.50/64.93	c (46,0) c Glues_5 : 3396
334.50/64.93	c (46,0) c Glues_6 : 6484
334.50/64.93	c (46,0) c Glues_7 : 4826
334.50/64.93	c (46,0) c Glues_total : 33680
334.50/64.93	c (46,0) c Glues_winner : 3396
334.50/64.93	c (46,0) c RunningTime_0 : 42.035398
334.50/64.93	c (46,0) c RunningTime_1 : 38.807056
334.50/64.93	c (46,0) c RunningTime_2 : 34.822111
334.50/64.93	c (46,0) c RunningTime_3 : 37.519618
334.50/64.93	c (46,0) c RunningTime_4 : 34.592408
334.50/64.93	c (46,0) c RunningTime_5 : 37.395896
334.50/64.93	c (46,0) c RunningTime_6 : 35.692351
334.50/64.93	c (46,0) c RunningTime_7 : 37.528728
334.50/64.93	c (46,0) c RunningTime_total : 298.393566
334.50/64.93	c (46,0) c RunningTime_winner : 37.395896
334.50/64.93	c (46,0) c WaitingTime_0 : 0.000193
334.50/64.93	c (46,0) c WaitingTime_1 : 0.000256
334.50/64.93	c (46,0) c WaitingTime_2 : 3.729401
334.50/64.93	c (46,0) c WaitingTime_3 : 1.620260
334.50/64.93	c (46,0) c WaitingTime_4 : 3.995176
334.50/64.93	c (46,0) c WaitingTime_5 : 1.138160
334.50/64.93	c (46,0) c WaitingTime_6 : 2.851538
334.50/64.93	c (46,0) c WaitingTime_7 : 1.137045
334.50/64.93	c (46,0) c WaitingTime_total : 14.472030
334.50/64.93	c (46,0) c WaitingTime_winner : 1.138160
334.50/64.93	c (46,0) c ExchangingTime_0 : 0.068738
334.50/64.93	c (46,0) c ExchangingTime_1 : 0.061567
334.50/64.93	c (46,0) c ExchangingTime_2 : 0.064988
334.50/64.93	c (46,0) c ExchangingTime_3 : 0.065909
334.50/64.93	c (46,0) c ExchangingTime_4 : 0.065102
334.50/64.93	c (46,0) c ExchangingTime_5 : 0.065053
334.50/64.93	c (46,0) c ExchangingTime_6 : 0.067291
334.50/64.93	c (46,0) c ExchangingTime_7 : 0.065708
334.50/64.93	c (46,0) c ExchangingTime_total : 0.524357
334.50/64.93	c (46,0) c ExchangingTime_winner : 0.065053
334.50/64.93	c (46,0) c PeriodProcTime_0 : 0.001816
334.50/64.93	c (46,0) c PeriodProcTime_1 : 0.001456
334.50/64.93	c (46,0) c PeriodProcTime_2 : 0.001477
334.50/64.93	c (46,0) c PeriodProcTime_3 : 0.001339
334.50/64.93	c (46,0) c PeriodProcTime_4 : 0.001649
334.50/64.93	c (46,0) c PeriodProcTime_5 : 0.001507
334.50/64.93	c (46,0) c PeriodProcTime_6 : 0.001780
334.50/64.93	c (46,0) c PeriodProcTime_7 : 0.001328
334.50/64.93	c (46,0) c PeriodProcTime_total : 0.012352
334.50/64.93	c (46,0) c PeriodProcTime_winner : 0.001507
334.50/64.93	c (46,0) c SolvingTime_0 : 42.106145
334.50/64.93	c (46,0) c SolvingTime_1 : 38.870336
334.50/64.93	c (46,0) c SolvingTime_2 : 38.617977
334.50/64.93	c (46,0) c SolvingTime_3 : 39.207127
334.50/64.93	c (46,0) c SolvingTime_4 : 38.654335
334.50/64.93	c (46,0) c SolvingTime_5 : 38.600617
334.50/64.93	c (46,0) c SolvingTime_6 : 38.612960
334.50/64.93	c (46,0) c SolvingTime_7 : 38.732809
334.50/64.93	c (46,0) c SolvingTime_total : 313.402306
334.50/64.93	c (46,0) c SolvingTime_winner : 38.600617
334.50/64.93	c (46,0) c PropagationTime_0 : 35.897691
334.50/64.93	c (46,0) c PropagationTime_1 : 32.753721
334.50/64.93	c (46,0) c PropagationTime_2 : 31.316616
334.50/64.93	c (46,0) c PropagationTime_3 : 32.511448
334.50/64.93	c (46,0) c PropagationTime_4 : 32.231133
334.50/64.93	c (46,0) c PropagationTime_5 : 32.026281
334.50/64.93	c (46,0) c PropagationTime_6 : 31.176171
334.50/64.93	c (46,0) c PropagationTime_7 : 32.345055
334.50/64.93	c (46,0) c PropagationTime_total : 260.258116
334.50/64.93	c (46,0) c PropagationTime_winner : 32.026281
334.50/64.93	c (46,0) c AnalysisTime_0 : 2.142007
334.50/64.93	c (46,0) c AnalysisTime_1 : 2.344126
334.50/64.93	c (46,0) c AnalysisTime_2 : 3.081521
334.50/64.93	c (46,0) c AnalysisTime_3 : 2.368029
334.50/64.93	c (46,0) c AnalysisTime_4 : 2.399073
334.50/64.93	c (46,0) c AnalysisTime_5 : 2.397157
334.50/64.93	c (46,0) c AnalysisTime_6 : 2.820587
334.50/64.93	c (46,0) c AnalysisTime_7 : 2.176376
334.50/64.93	c (46,0) c AnalysisTime_total : 19.728876
334.50/64.93	c (46,0) c AnalysisTime_winner : 2.397157
334.50/64.93	c (46,0) c ReductionTime_0 : 0.323486
334.50/64.93	c (46,0) c ReductionTime_1 : 0.356495
334.50/64.93	c (46,0) c ReductionTime_2 : 0.368666
334.50/64.93	c (46,0) c ReductionTime_3 : 0.389603
334.50/64.93	c (46,0) c ReductionTime_4 : 0.351990
334.50/64.93	c (46,0) c ReductionTime_5 : 0.327718
334.50/64.93	c (46,0) c ReductionTime_6 : 0.377674
334.50/64.93	c (46,0) c ReductionTime_7 : 0.356525
334.50/64.93	c (46,0) c ReductionTime_total : 2.852158
334.50/64.93	c (46,0) c ReductionTime_winner : 0.327718
334.50/64.93	c (46,0) c SimplifyTime_0 : 0.326310
334.50/64.93	c (46,0) c SimplifyTime_1 : 0.356461
334.50/64.93	c (46,0) c SimplifyTime_2 : 1.085584
334.50/64.93	c (46,0) c SimplifyTime_3 : 0.658173
334.50/64.93	c (46,0) c SimplifyTime_4 : 0.760140
334.50/64.93	c (46,0) c SimplifyTime_5 : 0.800759
334.50/64.93	c (46,0) c SimplifyTime_6 : 1.145627
334.50/64.93	c (46,0) c SimplifyTime_7 : 0.559867
334.50/64.93	c (46,0) c SimplifyTime_total : 5.692921
334.50/64.93	c (46,0) c SimplifyTime_winner : 0.800759
334.50/64.93	c (46,0) c UsedRateTime_0 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_1 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_2 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_3 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_4 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_5 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_6 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_7 : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_total : 0.000000
334.50/64.93	c (46,0) c UsedRateTime_winner : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_0 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_1 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_2 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_3 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_4 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_5 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_6 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_7 : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_total : 0.000000
334.50/64.93	c (46,0) c OverlapRateTime_winner : 0.000000
334.50/64.93	c (46,0) c
334.50/64.93	c (46,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
334.50/64.93	c (46,0) c
334.50/64.93	c (46,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.93	c (46,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
334.50/64.93	c (46,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.93	c (46,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
334.50/64.93	c (46,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
334.50/64.93	c (46,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
334.50/64.93	c (46,0) c | Initial random_seed   | 1886628614 |  613774217 | 2040000345 | 1512552243 | 1223473665 |  469894437 | 1868895580 | 1019759205 |
334.50/64.93	c (46,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
334.50/64.93	c (46,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
334.50/64.93	c (46,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
334.50/64.93	c (46,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
334.50/64.93	c (46,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
334.50/64.93	c (46,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
334.50/64.93	c (46,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
334.50/64.93	c (46,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
334.50/64.93	c (46,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
334.50/64.93	c (46,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
334.50/64.93	c (46,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
334.50/64.93	c (46,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
334.50/64.93	c (46,0) 
334.50/64.93	c (46,0) s SATISFIABLE
335.38/65.36	c (46,0) SatSolver.solve End
335.38/65.36	c (46,0) Heap : 293 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
335.38/65.36	c (46,0) Show results Begin
335.70/65.55	c (47,0) cls[0] = 1
335.70/65.55	c (47,0) cls[1] = 16
335.70/65.55	c (47,0) cls[2] = 5
335.70/65.55	c (47,0) cls[3] = 5
335.70/65.55	c (47,0) cls[4] = 2
335.70/65.55	c (47,0) cls[5] = 2
335.70/65.55	c (47,0) cls[6] = 15
335.70/65.55	c (47,0) cls[7] = 5
335.70/65.55	c (47,0) cls[8] = 12
335.70/65.55	c (47,0) cls[9] = 5
335.70/65.55	c (47,0) cls[10] = 11
335.70/65.55	c (47,0) cls[11] = 2
335.70/65.55	c (47,0) cls[12] = 4
335.70/65.55	c (47,0) cls[13] = 5
335.70/65.55	c (47,0) cls[14] = 7
335.70/65.55	c (47,0) cls[15] = 11
335.70/65.55	c (47,0) cls[16] = 20
335.70/65.55	c (47,0) cls[17] = 15
335.70/65.55	c (47,0) cls[18] = 11
335.70/65.55	c (47,0) cls[19] = 4
335.70/65.55	c (47,0) cls[20] = 6
335.70/65.55	c (47,0) cls[21] = 21
335.70/65.55	c (47,0) cls[22] = 4
335.70/65.55	c (47,0) cls[23] = 16
335.70/65.55	c (47,0) cls[24] = 2
335.70/65.55	c (47,0) cls[25] = 4
335.70/65.55	c (47,0) cls[26] = 2
335.70/65.55	c (47,0) cls[27] = 4
335.70/65.55	c (47,0) cls[28] = 7
335.70/65.55	c (47,0) cls[29] = 2
335.70/65.55	c (47,0) cls[30] = 4
335.70/65.55	c (47,0) cls[31] = 5
335.70/65.55	c (47,0) cls[32] = 16
335.70/65.55	c (47,0) cls[33] = 21
335.70/65.55	c (47,0) cls[34] = 2
335.70/65.55	c (47,0) cls[35] = 6
335.70/65.55	c (47,0) cls[36] = 4
335.70/65.55	c (47,0) cls[37] = 5
335.70/65.55	c (47,0) cls[38] = 10
335.70/65.55	c (47,0) cls[39] = 21
335.70/65.55	c (47,0) cls[40] = 11
335.70/65.55	c (47,0) cls[41] = 2
335.70/65.55	c (47,0) cls[42] = 5
335.70/65.55	c (47,0) cls[43] = 10
335.70/65.55	c (47,0) cls[44] = 5
335.70/65.55	c (47,0) cls[45] = 5
335.70/65.55	c (47,0) cls[46] = 2
335.70/65.55	c (47,0) cls[47] = 4
335.70/65.55	c (47,0) cls[48] = 21
335.70/65.55	c (47,0) cls[49] = 3
335.70/65.55	c (47,0) cls[50] = 20
335.70/65.55	c (47,0) cls[51] = 5
335.70/65.55	c (47,0) cls[52] = 15
335.70/65.55	c (47,0) cls[53] = 5
335.70/65.55	c (47,0) cls[54] = 11
335.70/65.55	c (47,0) cls[55] = 2
335.70/65.55	c (47,0) cls[56] = 8
335.70/65.55	c (47,0) cls[57] = 5
335.70/65.55	c (47,0) cls[58] = 5
335.70/65.55	c (47,0) cls[59] = 6
335.70/65.55	c (47,0) cls[60] = 2
335.70/65.55	c (47,0) cls[61] = 7
335.70/65.55	c (47,0) cls[62] = 5
335.70/65.55	c (47,0) cls[63] = 15
335.70/65.55	c (47,0) cls[64] = 2
335.70/65.55	c (47,0) cls[65] = 19
335.70/65.55	c (47,0) cls[66] = 15
335.70/65.55	c (47,0) cls[67] = 5
335.70/65.55	c (47,0) cls[68] = 15
335.70/65.55	c (47,0) cls[69] = 2
335.70/65.55	c (47,0) cls[70] = 1
335.70/65.56	c (47,0) cls[71] = 5
335.70/65.56	c (47,0) cls[72] = 5
335.70/65.56	c (47,0) cls[73] = 16
335.70/65.56	c (47,0) cls[74] = 2
335.70/65.56	c (47,0) cls[75] = 7
335.70/65.56	c (47,0) cls[76] = 16
335.70/65.56	c (47,0) cls[77] = 2
335.70/65.56	c (47,0) cls[78] = 5
335.70/65.56	c (47,0) cls[79] = 9
335.70/65.56	c (47,0) cls[80] = 2
335.70/65.56	c (47,0) cls[81] = 15
335.70/65.56	c (47,0) cls[82] = 16
335.70/65.56	c (47,0) cls[83] = 0
335.70/65.56	c (47,0) cls[84] = 21
335.70/65.56	c (47,0) cls[85] = 16
335.70/65.56	c (47,0) cls[86] = 2
335.70/65.56	c (47,0) cls[87] = 5
335.70/65.56	c (47,0) cls[88] = 2
335.70/65.56	c (47,0) cls[89] = 12
335.70/65.56	c (47,0) cls[90] = 5
335.70/65.56	c (47,0) cls[91] = 15
335.70/65.56	c (47,0) cls[92] = 2
335.70/65.56	c (47,0) cls[93] = 20
335.70/65.56	c (47,0) cls[94] = 4
335.70/65.56	c (47,0) cls[95] = 7
335.70/65.56	c (47,0) cls[96] = 17
335.70/65.56	c (47,0) cls[97] = 2
335.70/65.56	c (47,0) cls[98] = 5
335.70/65.56	c (47,0) cls[99] = 5
335.70/65.56	c (47,0) cls[100] = 10
335.70/65.56	c (47,0) cls[101] = 2
335.70/65.56	c (47,0) cls[102] = 4
335.70/65.56	c (47,0) cls[103] = 7
335.70/65.56	c (47,0) cls[104] = 2
335.70/65.56	c (47,0) cls[105] = 4
335.70/65.56	c (47,0) cls[106] = 2
335.70/65.56	c (47,0) cls[107] = 9
335.70/65.56	c (47,0) cls[108] = 5
335.70/65.56	c (47,0) cls[109] = 2
335.70/65.56	c (47,0) cls[110] = 7
335.70/65.56	c (47,0) cls[111] = 10
335.70/65.56	c (47,0) cls[112] = 5
335.70/65.56	c (47,0) cls[113] = 0
335.70/65.56	c (47,0) cls[114] = 16
335.70/65.56	c (47,0) cls[115] = 7
335.70/65.56	c (47,0) cls[116] = 5
335.70/65.56	c (47,0) cls[117] = 4
335.70/65.56	c (47,0) cls[118] = 6
335.70/65.56	c (47,0) cls[119] = 3
335.70/65.56	c (47,0) cls[120] = 5
335.70/65.56	c (47,0) cls[121] = 16
335.70/65.56	c (47,0) cls[122] = 7
335.70/65.56	c (47,0) cls[123] = 2
335.70/65.56	c (47,0) cls[124] = 4
335.70/65.56	c (47,0) cls[125] = 16
335.70/65.56	c (47,0) cls[126] = 4
335.70/65.56	c (47,0) cls[127] = 11
335.70/65.56	c (47,0) cls[128] = 16
335.70/65.56	c (47,0) cls[129] = 7
335.70/65.56	c (47,0) cls[130] = 2
335.70/65.56	c (47,0) cls[131] = 16
335.70/65.56	c (47,0) cls[132] = 15
335.70/65.56	c (47,0) cls[133] = 5
335.70/65.56	c (47,0) cls[134] = 11
335.70/65.56	c (47,0) cls[135] = 16
335.70/65.56	c (47,0) cls[136] = 5
335.70/65.56	c (47,0) cls[137] = 3
335.70/65.56	c (47,0) cls[138] = 5
335.70/65.56	c (47,0) cls[139] = 15
335.70/65.56	c (47,0) cls[140] = 20
335.70/65.56	c (47,0) cls[141] = 5
335.70/65.56	c (47,0) cls[142] = 3
335.70/65.56	c (47,0) cls[143] = 14
335.70/65.56	c (47,0) cls[144] = 11
335.70/65.56	c (47,0) cls[145] = 15
335.70/65.56	c (47,0) cls[146] = 20
335.70/65.56	c (47,0) cls[147] = 2
335.70/65.56	c (47,0) cls[148] = 21
335.70/65.56	c (47,0) cls[149] = 13
335.70/65.56	c (47,0) cls[150] = 5
335.70/65.56	c (47,0) cls[151] = 15
335.70/65.56	c (47,0) cls[152] = 2
335.70/65.56	c (47,0) cls[153] = 12
335.70/65.56	c (47,0) cls[154] = 19
335.70/65.56	c (47,0) cls[155] = 5
335.70/65.56	c (47,0) cls[156] = 15
335.70/65.56	c (47,0) cls[157] = 2
335.70/65.56	c (47,0) cls[158] = 18
335.70/65.56	c (47,0) cls[159] = 11
335.70/65.56	c (47,0) cls[160] = 15
335.70/65.56	c (47,0) cls[161] = 5
335.70/65.56	c (47,0) cls[162] = 2
335.70/65.56	c (47,0) cls[163] = 5
335.70/65.56	c (47,0) cls[164] = 21
335.70/65.56	c (47,0) cls[165] = 2
335.70/65.56	c (47,0) cls[166] = 4
335.70/65.56	c (47,0) cls[167] = 16
335.70/65.56	c (47,0) cls[168] = 11
335.70/65.56	c (47,0) cls[169] = 7
335.70/65.56	c (47,0) cls[170] = 11
335.70/65.56	c (47,0) cls[171] = 15
335.70/65.56	c (47,0) cls[172] = 5
335.70/65.56	c (47,0) cls[173] = 5
335.70/65.56	c (47,0) cls[174] = 12
335.70/65.56	c (47,0) cls[175] = 5
335.70/65.56	c (47,0) cls[176] = 11
335.70/65.56	c (47,0) cls[177] = 2
335.70/65.56	c (47,0) cls[178] = 15
335.70/65.56	c (47,0) cls[179] = 7
335.70/65.57	c (47,0) cls[180] = 5
335.70/65.57	c (47,0) cls[181] = 11
335.70/65.57	c (47,0) cls[182] = 6
335.70/65.57	c (47,0) cls[183] = 4
335.70/65.57	c (47,0) cls[184] = 7
335.70/65.57	c (47,0) cls[185] = 16
335.70/65.57	c (47,0) cls[186] = 5
335.70/65.57	c (47,0) cls[187] = 5
335.70/65.57	c (47,0) cls[188] = 2
335.70/65.57	c (47,0) cls[189] = 21
335.70/65.57	c (47,0) cls[190] = 0
335.70/65.57	c (47,0) cls[191] = 16
335.70/65.57	c (47,0) cls[192] = 5
335.70/65.57	c (47,0) cls[193] = 3
335.70/65.57	c (47,0) cls[194] = 14
335.70/65.57	c (47,0) cls[195] = 3
335.70/65.57	c (47,0) cls[196] = 5
335.70/65.57	c (47,0) cls[197] = 15
335.70/65.57	c (47,0) cls[198] = 2
335.70/65.57	c (47,0) cls[199] = 18
335.70/65.57	c (47,0) opt[0][0] = 0
335.70/65.57	c (47,0) opt[0][1] = 0
335.70/65.57	c (47,0) opt[0][2] = 0
335.70/65.57	c (47,0) opt[0][3] = 1
335.70/65.57	c (47,0) opt[0][4] = 1
335.70/65.57	c (47,0) opt[1][0] = 0
335.70/65.57	c (47,0) opt[1][1] = 0
335.70/65.57	c (47,0) opt[1][2] = 1
335.70/65.57	c (47,0) opt[1][3] = 0
335.70/65.57	c (47,0) opt[1][4] = 0
335.70/65.57	c (47,0) opt[2][0] = 0
335.70/65.57	c (47,0) opt[2][1] = 1
335.70/65.57	c (47,0) opt[2][2] = 0
335.70/65.57	c (47,0) opt[2][3] = 0
335.70/65.57	c (47,0) opt[2][4] = 0
335.70/65.57	c (47,0) opt[3][0] = 0
335.70/65.57	c (47,0) opt[3][1] = 1
335.70/65.57	c (47,0) opt[3][2] = 0
335.70/65.57	c (47,0) opt[3][3] = 0
335.70/65.57	c (47,0) opt[3][4] = 0
335.70/65.57	c (47,0) opt[4][0] = 0
335.70/65.57	c (47,0) opt[4][1] = 0
335.70/65.57	c (47,0) opt[4][2] = 0
335.70/65.57	c (47,0) opt[4][3] = 1
335.70/65.57	c (47,0) opt[4][4] = 0
335.70/65.57	c (47,0) opt[5][0] = 0
335.70/65.57	c (47,0) opt[5][1] = 0
335.70/65.57	c (47,0) opt[5][2] = 0
335.70/65.57	c (47,0) opt[5][3] = 1
335.70/65.57	c (47,0) opt[5][4] = 0
335.70/65.57	c (47,0) opt[6][0] = 1
335.70/65.57	c (47,0) opt[6][1] = 0
335.70/65.57	c (47,0) opt[6][2] = 0
335.70/65.57	c (47,0) opt[6][3] = 0
335.70/65.57	c (47,0) opt[6][4] = 0
335.70/65.57	c (47,0) opt[7][0] = 0
335.70/65.57	c (47,0) opt[7][1] = 1
335.70/65.57	c (47,0) opt[7][2] = 0
335.70/65.57	c (47,0) opt[7][3] = 0
335.70/65.57	c (47,0) opt[7][4] = 0
335.70/65.57	c (47,0) opt[8][0] = 1
335.70/65.57	c (47,0) opt[8][1] = 0
335.70/65.57	c (47,0) opt[8][2] = 0
335.70/65.57	c (47,0) opt[8][3] = 0
335.70/65.57	c (47,0) opt[8][4] = 1
335.70/65.57	c (47,0) opt[9][0] = 0
335.70/65.57	c (47,0) opt[9][1] = 1
335.70/65.57	c (47,0) opt[9][2] = 0
335.70/65.57	c (47,0) opt[9][3] = 0
335.70/65.57	c (47,0) opt[9][4] = 0
335.70/65.57	c (47,0) opt[10][0] = 0
335.70/65.57	c (47,0) opt[10][1] = 1
335.70/65.57	c (47,0) opt[10][2] = 0
335.70/65.57	c (47,0) opt[10][3] = 1
335.70/65.57	c (47,0) opt[10][4] = 0
335.70/65.57	c (47,0) opt[11][0] = 0
335.70/65.57	c (47,0) opt[11][1] = 0
335.70/65.57	c (47,0) opt[11][2] = 0
335.70/65.57	c (47,0) opt[11][3] = 1
335.70/65.57	c (47,0) opt[11][4] = 0
335.70/65.57	c (47,0) opt[12][0] = 1
335.70/65.57	c (47,0) opt[12][1] = 1
335.70/65.57	c (47,0) opt[12][2] = 0
335.70/65.57	c (47,0) opt[12][3] = 0
335.70/65.57	c (47,0) opt[12][4] = 0
335.70/65.57	c (47,0) opt[13][0] = 0
335.70/65.57	c (47,0) opt[13][1] = 1
335.70/65.57	c (47,0) opt[13][2] = 0
335.70/65.57	c (47,0) opt[13][3] = 0
335.70/65.57	c (47,0) opt[13][4] = 0
335.70/65.57	c (47,0) opt[14][0] = 0
335.70/65.57	c (47,0) opt[14][1] = 0
335.70/65.57	c (47,0) opt[14][2] = 0
335.70/65.57	c (47,0) opt[14][3] = 0
335.70/65.57	c (47,0) opt[14][4] = 1
335.70/65.57	c (47,0) opt[15][0] = 0
335.70/65.57	c (47,0) opt[15][1] = 1
335.70/65.57	c (47,0) opt[15][2] = 0
335.70/65.57	c (47,0) opt[15][3] = 1
335.70/65.57	c (47,0) opt[15][4] = 0
335.70/65.57	c (47,0) opt[16][0] = 0
335.70/65.57	c (47,0) opt[16][1] = 1
335.70/65.57	c (47,0) opt[16][2] = 1
335.70/65.57	c (47,0) opt[16][3] = 0
335.70/65.57	c (47,0) opt[16][4] = 0
335.70/65.57	c (47,0) opt[17][0] = 1
335.70/65.57	c (47,0) opt[17][1] = 0
335.70/65.57	c (47,0) opt[17][2] = 0
335.70/65.57	c (47,0) opt[17][3] = 0
335.70/65.57	c (47,0) opt[17][4] = 0
335.70/65.57	c (47,0) opt[18][0] = 0
335.70/65.57	c (47,0) opt[18][1] = 1
335.70/65.57	c (47,0) opt[18][2] = 0
335.70/65.57	c (47,0) opt[18][3] = 1
335.70/65.57	c (47,0) opt[18][4] = 0
335.70/65.57	c (47,0) opt[19][0] = 1
335.70/65.57	c (47,0) opt[19][1] = 1
335.70/65.57	c (47,0) opt[19][2] = 0
335.70/65.57	c (47,0) opt[19][3] = 0
335.70/65.57	c (47,0) opt[19][4] = 0
335.70/65.57	c (47,0) opt[20][0] = 0
335.70/65.57	c (47,0) opt[20][1] = 0
335.70/65.57	c (47,0) opt[20][2] = 1
335.70/65.57	c (47,0) opt[20][3] = 1
335.70/65.57	c (47,0) opt[20][4] = 0
335.70/65.57	c (47,0) opt[21][0] = 0
335.70/65.57	c (47,0) opt[21][1] = 1
335.70/65.57	c (47,0) opt[21][2] = 0
335.70/65.57	c (47,0) opt[21][3] = 0
335.70/65.57	c (47,0) opt[21][4] = 1
335.70/65.57	c (47,0) opt[22][0] = 1
335.70/65.57	c (47,0) opt[22][1] = 1
335.70/65.57	c (47,0) opt[22][2] = 0
335.70/65.57	c (47,0) opt[22][3] = 0
335.70/65.57	c (47,0) opt[22][4] = 0
335.70/65.57	c (47,0) opt[23][0] = 0
335.70/65.57	c (47,0) opt[23][1] = 0
335.70/65.57	c (47,0) opt[23][2] = 1
335.70/65.57	c (47,0) opt[23][3] = 0
335.70/65.57	c (47,0) opt[23][4] = 0
335.70/65.57	c (47,0) opt[24][0] = 0
335.70/65.57	c (47,0) opt[24][1] = 0
335.70/65.57	c (47,0) opt[24][2] = 0
335.70/65.57	c (47,0) opt[24][3] = 1
335.70/65.57	c (47,0) opt[24][4] = 0
335.70/65.57	c (47,0) opt[25][0] = 1
335.70/65.57	c (47,0) opt[25][1] = 1
335.70/65.57	c (47,0) opt[25][2] = 0
335.70/65.57	c (47,0) opt[25][3] = 0
335.70/65.57	c (47,0) opt[25][4] = 0
335.70/65.57	c (47,0) opt[26][0] = 0
335.70/65.57	c (47,0) opt[26][1] = 0
335.70/65.57	c (47,0) opt[26][2] = 0
335.70/65.57	c (47,0) opt[26][3] = 1
335.70/65.57	c (47,0) opt[26][4] = 0
335.70/65.57	c (47,0) opt[27][0] = 1
335.70/65.57	c (47,0) opt[27][1] = 1
335.70/65.57	c (47,0) opt[27][2] = 0
335.70/65.57	c (47,0) opt[27][3] = 0
335.70/65.57	c (47,0) opt[27][4] = 0
335.70/65.57	c (47,0) opt[28][0] = 0
335.70/65.57	c (47,0) opt[28][1] = 0
335.70/65.57	c (47,0) opt[28][2] = 0
335.70/65.57	c (47,0) opt[28][3] = 0
335.70/65.57	c (47,0) opt[28][4] = 1
335.70/65.57	c (47,0) opt[29][0] = 0
335.70/65.57	c (47,0) opt[29][1] = 0
335.70/65.57	c (47,0) opt[29][2] = 0
335.70/65.57	c (47,0) opt[29][3] = 1
335.70/65.57	c (47,0) opt[29][4] = 0
335.70/65.57	c (47,0) opt[30][0] = 1
335.70/65.57	c (47,0) opt[30][1] = 1
335.70/65.57	c (47,0) opt[30][2] = 0
335.70/65.57	c (47,0) opt[30][3] = 0
335.70/65.57	c (47,0) opt[30][4] = 0
335.70/65.57	c (47,0) opt[31][0] = 0
335.70/65.57	c (47,0) opt[31][1] = 1
335.70/65.57	c (47,0) opt[31][2] = 0
335.70/65.57	c (47,0) opt[31][3] = 0
335.70/65.57	c (47,0) opt[31][4] = 0
335.70/65.57	c (47,0) opt[32][0] = 0
335.70/65.57	c (47,0) opt[32][1] = 0
335.70/65.57	c (47,0) opt[32][2] = 1
335.70/65.57	c (47,0) opt[32][3] = 0
335.70/65.57	c (47,0) opt[32][4] = 0
335.70/65.57	c (47,0) opt[33][0] = 0
335.70/65.57	c (47,0) opt[33][1] = 1
335.70/65.57	c (47,0) opt[33][2] = 0
335.70/65.57	c (47,0) opt[33][3] = 0
335.70/65.57	c (47,0) opt[33][4] = 1
335.70/65.57	c (47,0) opt[34][0] = 0
335.70/65.57	c (47,0) opt[34][1] = 0
335.70/65.57	c (47,0) opt[34][2] = 0
335.70/65.57	c (47,0) opt[34][3] = 1
335.70/65.57	c (47,0) opt[34][4] = 0
335.70/65.57	c (47,0) opt[35][0] = 0
335.70/65.57	c (47,0) opt[35][1] = 0
335.70/65.57	c (47,0) opt[35][2] = 1
335.70/65.57	c (47,0) opt[35][3] = 1
335.70/65.57	c (47,0) opt[35][4] = 0
335.70/65.57	c (47,0) opt[36][0] = 1
335.70/65.57	c (47,0) opt[36][1] = 1
335.70/65.57	c (47,0) opt[36][2] = 0
335.70/65.57	c (47,0) opt[36][3] = 0
335.70/65.57	c (47,0) opt[36][4] = 0
335.70/65.57	c (47,0) opt[37][0] = 0
335.70/65.57	c (47,0) opt[37][1] = 1
335.70/65.57	c (47,0) opt[37][2] = 0
335.70/65.57	c (47,0) opt[37][3] = 0
335.70/65.57	c (47,0) opt[37][4] = 0
335.70/65.57	c (47,0) opt[38][0] = 1
335.70/65.57	c (47,0) opt[38][1] = 0
335.70/65.57	c (47,0) opt[38][2] = 1
335.70/65.57	c (47,0) opt[38][3] = 0
335.70/65.57	c (47,0) opt[38][4] = 0
335.70/65.57	c (47,0) opt[39][0] = 0
335.70/65.57	c (47,0) opt[39][1] = 1
335.70/65.57	c (47,0) opt[39][2] = 0
335.70/65.57	c (47,0) opt[39][3] = 0
335.70/65.57	c (47,0) opt[39][4] = 1
335.70/65.57	c (47,0) opt[40][0] = 0
335.70/65.57	c (47,0) opt[40][1] = 1
335.70/65.57	c (47,0) opt[40][2] = 0
335.70/65.57	c (47,0) opt[40][3] = 1
335.70/65.57	c (47,0) opt[40][4] = 0
335.70/65.57	c (47,0) opt[41][0] = 0
335.70/65.57	c (47,0) opt[41][1] = 0
335.70/65.57	c (47,0) opt[41][2] = 0
335.70/65.57	c (47,0) opt[41][3] = 1
335.70/65.57	c (47,0) opt[41][4] = 0
335.70/65.57	c (47,0) opt[42][0] = 0
335.70/65.57	c (47,0) opt[42][1] = 1
335.70/65.57	c (47,0) opt[42][2] = 0
335.70/65.57	c (47,0) opt[42][3] = 0
335.70/65.57	c (47,0) opt[42][4] = 0
335.70/65.57	c (47,0) opt[43][0] = 1
335.70/65.57	c (47,0) opt[43][1] = 0
335.70/65.57	c (47,0) opt[43][2] = 1
335.70/65.57	c (47,0) opt[43][3] = 0
335.70/65.57	c (47,0) opt[43][4] = 0
335.70/65.57	c (47,0) opt[44][0] = 0
335.70/65.57	c (47,0) opt[44][1] = 1
335.70/65.57	c (47,0) opt[44][2] = 0
335.70/65.57	c (47,0) opt[44][3] = 0
335.70/65.57	c (47,0) opt[44][4] = 0
335.70/65.57	c (47,0) opt[45][0] = 0
335.70/65.57	c (47,0) opt[45][1] = 1
335.70/65.57	c (47,0) opt[45][2] = 0
335.70/65.57	c (47,0) opt[45][3] = 0
335.70/65.57	c (47,0) opt[45][4] = 0
335.70/65.57	c (47,0) opt[46][0] = 0
335.70/65.57	c (47,0) opt[46][1] = 0
335.70/65.57	c (47,0) opt[46][2] = 0
335.70/65.57	c (47,0) opt[46][3] = 1
335.70/65.57	c (47,0) opt[46][4] = 0
335.70/65.57	c (47,0) opt[47][0] = 1
335.70/65.57	c (47,0) opt[47][1] = 1
335.70/65.57	c (47,0) opt[47][2] = 0
335.70/65.57	c (47,0) opt[47][3] = 0
335.70/65.57	c (47,0) opt[47][4] = 0
335.70/65.57	c (47,0) opt[48][0] = 0
335.70/65.57	c (47,0) opt[48][1] = 1
335.70/65.57	c (47,0) opt[48][2] = 0
335.70/65.57	c (47,0) opt[48][3] = 0
335.70/65.57	c (47,0) opt[48][4] = 1
335.70/65.57	c (47,0) opt[49][0] = 1
335.70/65.57	c (47,0) opt[49][1] = 0
335.70/65.57	c (47,0) opt[49][2] = 0
335.70/65.57	c (47,0) opt[49][3] = 1
335.70/65.57	c (47,0) opt[49][4] = 0
335.70/65.57	c (47,0) opt[50][0] = 0
335.70/65.57	c (47,0) opt[50][1] = 1
335.70/65.57	c (47,0) opt[50][2] = 1
335.70/65.57	c (47,0) opt[50][3] = 0
335.70/65.57	c (47,0) opt[50][4] = 0
335.70/65.57	c (47,0) opt[51][0] = 0
335.70/65.57	c (47,0) opt[51][1] = 1
335.70/65.57	c (47,0) opt[51][2] = 0
335.70/65.57	c (47,0) opt[51][3] = 0
335.70/65.57	c (47,0) opt[51][4] = 0
335.70/65.57	c (47,0) opt[52][0] = 1
335.70/65.57	c (47,0) opt[52][1] = 0
335.70/65.57	c (47,0) opt[52][2] = 0
335.70/65.57	c (47,0) opt[52][3] = 0
335.70/65.57	c (47,0) opt[52][4] = 0
335.70/65.57	c (47,0) opt[53][0] = 0
335.70/65.57	c (47,0) opt[53][1] = 1
335.70/65.57	c (47,0) opt[53][2] = 0
335.70/65.57	c (47,0) opt[53][3] = 0
335.70/65.57	c (47,0) opt[53][4] = 0
335.70/65.57	c (47,0) opt[54][0] = 0
335.70/65.57	c (47,0) opt[54][1] = 1
335.70/65.57	c (47,0) opt[54][2] = 0
335.70/65.57	c (47,0) opt[54][3] = 1
335.70/65.57	c (47,0) opt[54][4] = 0
335.70/65.57	c (47,0) opt[55][0] = 0
335.70/65.57	c (47,0) opt[55][1] = 0
335.70/65.57	c (47,0) opt[55][2] = 0
335.70/65.57	c (47,0) opt[55][3] = 1
335.70/65.57	c (47,0) opt[55][4] = 0
335.70/65.57	c (47,0) opt[56][0] = 1
335.70/65.57	c (47,0) opt[56][1] = 0
335.70/65.57	c (47,0) opt[56][2] = 1
335.70/65.57	c (47,0) opt[56][3] = 0
335.70/65.57	c (47,0) opt[56][4] = 1
335.70/65.57	c (47,0) opt[57][0] = 0
335.70/65.57	c (47,0) opt[57][1] = 1
335.70/65.57	c (47,0) opt[57][2] = 0
335.70/65.57	c (47,0) opt[57][3] = 0
335.70/65.57	c (47,0) opt[57][4] = 0
335.70/65.57	c (47,0) opt[58][0] = 0
335.70/65.57	c (47,0) opt[58][1] = 1
335.70/65.57	c (47,0) opt[58][2] = 0
335.70/65.57	c (47,0) opt[58][3] = 0
335.70/65.57	c (47,0) opt[58][4] = 0
335.70/65.57	c (47,0) opt[59][0] = 0
335.70/65.57	c (47,0) opt[59][1] = 0
335.70/65.57	c (47,0) opt[59][2] = 1
335.70/65.57	c (47,0) opt[59][3] = 1
335.70/65.57	c (47,0) opt[59][4] = 0
335.70/65.57	c (47,0) opt[60][0] = 0
335.70/65.57	c (47,0) opt[60][1] = 0
335.70/65.57	c (47,0) opt[60][2] = 0
335.70/65.57	c (47,0) opt[60][3] = 1
335.70/65.57	c (47,0) opt[60][4] = 0
335.70/65.57	c (47,0) opt[61][0] = 0
335.70/65.57	c (47,0) opt[61][1] = 0
335.70/65.57	c (47,0) opt[61][2] = 0
335.70/65.57	c (47,0) opt[61][3] = 0
335.70/65.57	c (47,0) opt[61][4] = 1
335.70/65.57	c (47,0) opt[62][0] = 0
335.70/65.57	c (47,0) opt[62][1] = 1
335.70/65.57	c (47,0) opt[62][2] = 0
335.70/65.57	c (47,0) opt[62][3] = 0
335.70/65.57	c (47,0) opt[62][4] = 0
335.70/65.57	c (47,0) opt[63][0] = 1
335.70/65.57	c (47,0) opt[63][1] = 0
335.70/65.57	c (47,0) opt[63][2] = 0
335.70/65.57	c (47,0) opt[63][3] = 0
335.70/65.57	c (47,0) opt[63][4] = 0
335.70/65.57	c (47,0) opt[64][0] = 0
335.70/65.57	c (47,0) opt[64][1] = 0
335.70/65.57	c (47,0) opt[64][2] = 0
335.70/65.57	c (47,0) opt[64][3] = 1
335.70/65.57	c (47,0) opt[64][4] = 0
335.70/65.57	c (47,0) opt[65][0] = 0
335.70/65.57	c (47,0) opt[65][1] = 1
335.70/65.57	c (47,0) opt[65][2] = 1
335.70/65.57	c (47,0) opt[65][3] = 1
335.70/65.57	c (47,0) opt[65][4] = 0
335.70/65.57	c (47,0) opt[66][0] = 1
335.70/65.57	c (47,0) opt[66][1] = 0
335.70/65.57	c (47,0) opt[66][2] = 0
335.70/65.57	c (47,0) opt[66][3] = 0
335.70/65.57	c (47,0) opt[66][4] = 0
335.70/65.57	c (47,0) opt[67][0] = 0
335.70/65.57	c (47,0) opt[67][1] = 1
335.70/65.57	c (47,0) opt[67][2] = 0
335.70/65.57	c (47,0) opt[67][3] = 0
335.70/65.57	c (47,0) opt[67][4] = 0
335.70/65.57	c (47,0) opt[68][0] = 1
335.70/65.57	c (47,0) opt[68][1] = 0
335.70/65.57	c (47,0) opt[68][2] = 0
335.70/65.57	c (47,0) opt[68][3] = 0
335.70/65.57	c (47,0) opt[68][4] = 0
335.70/65.57	c (47,0) opt[69][0] = 0
335.70/65.57	c (47,0) opt[69][1] = 0
335.70/65.57	c (47,0) opt[69][2] = 0
335.70/65.57	c (47,0) opt[69][3] = 1
335.70/65.57	c (47,0) opt[69][4] = 0
335.70/65.57	c (47,0) opt[70][0] = 0
335.70/65.57	c (47,0) opt[70][1] = 0
335.70/65.57	c (47,0) opt[70][2] = 0
335.70/65.57	c (47,0) opt[70][3] = 1
335.70/65.57	c (47,0) opt[70][4] = 1
335.70/65.57	c (47,0) opt[71][0] = 0
335.70/65.57	c (47,0) opt[71][1] = 1
335.70/65.57	c (47,0) opt[71][2] = 0
335.70/65.57	c (47,0) opt[71][3] = 0
335.70/65.57	c (47,0) opt[71][4] = 0
335.70/65.57	c (47,0) opt[72][0] = 0
335.70/65.57	c (47,0) opt[72][1] = 1
335.70/65.57	c (47,0) opt[72][2] = 0
335.70/65.57	c (47,0) opt[72][3] = 0
335.70/65.57	c (47,0) opt[72][4] = 0
335.70/65.57	c (47,0) opt[73][0] = 0
335.70/65.57	c (47,0) opt[73][1] = 0
335.70/65.57	c (47,0) opt[73][2] = 1
335.70/65.57	c (47,0) opt[73][3] = 0
335.70/65.57	c (47,0) opt[73][4] = 0
335.70/65.57	c (47,0) opt[74][0] = 0
335.70/65.57	c (47,0) opt[74][1] = 0
335.70/65.57	c (47,0) opt[74][2] = 0
335.70/65.57	c (47,0) opt[74][3] = 1
335.70/65.57	c (47,0) opt[74][4] = 0
335.70/65.57	c (47,0) opt[75][0] = 0
335.70/65.57	c (47,0) opt[75][1] = 0
335.70/65.57	c (47,0) opt[75][2] = 0
335.70/65.57	c (47,0) opt[75][3] = 0
335.70/65.57	c (47,0) opt[75][4] = 1
335.70/65.57	c (47,0) opt[76][0] = 0
335.70/65.57	c (47,0) opt[76][1] = 0
335.70/65.57	c (47,0) opt[76][2] = 1
335.70/65.57	c (47,0) opt[76][3] = 0
335.70/65.57	c (47,0) opt[76][4] = 0
335.70/65.57	c (47,0) opt[77][0] = 0
335.70/65.57	c (47,0) opt[77][1] = 0
335.70/65.57	c (47,0) opt[77][2] = 0
335.70/65.57	c (47,0) opt[77][3] = 1
335.70/65.57	c (47,0) opt[77][4] = 0
335.70/65.57	c (47,0) opt[78][0] = 0
335.70/65.57	c (47,0) opt[78][1] = 1
335.70/65.57	c (47,0) opt[78][2] = 0
335.70/65.57	c (47,0) opt[78][3] = 0
335.70/65.57	c (47,0) opt[78][4] = 0
335.70/65.57	c (47,0) opt[79][0] = 1
335.70/65.57	c (47,0) opt[79][1] = 1
335.70/65.57	c (47,0) opt[79][2] = 1
335.70/65.57	c (47,0) opt[79][3] = 0
335.70/65.57	c (47,0) opt[79][4] = 0
335.70/65.57	c (47,0) opt[80][0] = 0
335.70/65.57	c (47,0) opt[80][1] = 0
335.70/65.57	c (47,0) opt[80][2] = 0
335.70/65.57	c (47,0) opt[80][3] = 1
335.70/65.57	c (47,0) opt[80][4] = 0
335.70/65.57	c (47,0) opt[81][0] = 1
335.70/65.57	c (47,0) opt[81][1] = 0
335.70/65.57	c (47,0) opt[81][2] = 0
335.70/65.57	c (47,0) opt[81][3] = 0
335.70/65.57	c (47,0) opt[81][4] = 0
335.70/65.57	c (47,0) opt[82][0] = 0
335.70/65.57	c (47,0) opt[82][1] = 0
335.70/65.57	c (47,0) opt[82][2] = 1
335.70/65.57	c (47,0) opt[82][3] = 0
335.70/65.57	c (47,0) opt[82][4] = 0
335.70/65.57	c (47,0) opt[83][0] = 1
335.70/65.57	c (47,0) opt[83][1] = 1
335.70/65.57	c (47,0) opt[83][2] = 0
335.70/65.57	c (47,0) opt[83][3] = 1
335.70/65.57	c (47,0) opt[83][4] = 0
335.70/65.57	c (47,0) opt[84][0] = 0
335.70/65.57	c (47,0) opt[84][1] = 1
335.70/65.57	c (47,0) opt[84][2] = 0
335.70/65.57	c (47,0) opt[84][3] = 0
335.70/65.57	c (47,0) opt[84][4] = 1
335.70/65.57	c (47,0) opt[85][0] = 0
335.70/65.57	c (47,0) opt[85][1] = 0
335.70/65.57	c (47,0) opt[85][2] = 1
335.70/65.57	c (47,0) opt[85][3] = 0
335.70/65.57	c (47,0) opt[85][4] = 0
335.70/65.57	c (47,0) opt[86][0] = 0
335.70/65.57	c (47,0) opt[86][1] = 0
335.70/65.57	c (47,0) opt[86][2] = 0
335.70/65.57	c (47,0) opt[86][3] = 1
335.70/65.57	c (47,0) opt[86][4] = 0
335.70/65.57	c (47,0) opt[87][0] = 0
335.70/65.57	c (47,0) opt[87][1] = 1
335.70/65.57	c (47,0) opt[87][2] = 0
335.70/65.57	c (47,0) opt[87][3] = 0
335.70/65.57	c (47,0) opt[87][4] = 0
335.70/65.57	c (47,0) opt[88][0] = 0
335.70/65.57	c (47,0) opt[88][1] = 0
335.70/65.57	c (47,0) opt[88][2] = 0
335.70/65.57	c (47,0) opt[88][3] = 1
335.70/65.57	c (47,0) opt[88][4] = 0
335.70/65.57	c (47,0) opt[89][0] = 1
335.70/65.57	c (47,0) opt[89][1] = 0
335.70/65.57	c (47,0) opt[89][2] = 0
335.70/65.57	c (47,0) opt[89][3] = 0
335.70/65.57	c (47,0) opt[89][4] = 1
335.70/65.57	c (47,0) opt[90][0] = 0
335.70/65.57	c (47,0) opt[90][1] = 1
335.70/65.57	c (47,0) opt[90][2] = 0
335.70/65.57	c (47,0) opt[90][3] = 0
335.70/65.57	c (47,0) opt[90][4] = 0
335.70/65.57	c (47,0) opt[91][0] = 1
335.70/65.57	c (47,0) opt[91][1] = 0
335.70/65.57	c (47,0) opt[91][2] = 0
335.70/65.57	c (47,0) opt[91][3] = 0
335.70/65.57	c (47,0) opt[91][4] = 0
335.70/65.57	c (47,0) opt[92][0] = 0
335.70/65.57	c (47,0) opt[92][1] = 0
335.70/65.57	c (47,0) opt[92][2] = 0
335.70/65.57	c (47,0) opt[92][3] = 1
335.70/65.57	c (47,0) opt[92][4] = 0
335.70/65.57	c (47,0) opt[93][0] = 0
335.70/65.57	c (47,0) opt[93][1] = 1
335.70/65.57	c (47,0) opt[93][2] = 1
335.70/65.57	c (47,0) opt[93][3] = 0
335.70/65.57	c (47,0) opt[93][4] = 0
335.70/65.57	c (47,0) opt[94][0] = 1
335.70/65.57	c (47,0) opt[94][1] = 1
335.70/65.57	c (47,0) opt[94][2] = 0
335.70/65.57	c (47,0) opt[94][3] = 0
335.70/65.57	c (47,0) opt[94][4] = 0
335.70/65.57	c (47,0) opt[95][0] = 0
335.70/65.57	c (47,0) opt[95][1] = 0
335.70/65.57	c (47,0) opt[95][2] = 0
335.70/65.57	c (47,0) opt[95][3] = 0
335.70/65.57	c (47,0) opt[95][4] = 1
335.70/65.57	c (47,0) opt[96][0] = 1
335.70/65.57	c (47,0) opt[96][1] = 1
335.70/65.57	c (47,0) opt[96][2] = 1
335.70/65.57	c (47,0) opt[96][3] = 1
335.70/65.57	c (47,0) opt[96][4] = 0
335.70/65.57	c (47,0) opt[97][0] = 0
335.70/65.57	c (47,0) opt[97][1] = 0
335.70/65.57	c (47,0) opt[97][2] = 0
335.70/65.57	c (47,0) opt[97][3] = 1
335.70/65.57	c (47,0) opt[97][4] = 0
335.70/65.57	c (47,0) opt[98][0] = 0
335.70/65.57	c (47,0) opt[98][1] = 1
335.70/65.57	c (47,0) opt[98][2] = 0
335.70/65.57	c (47,0) opt[98][3] = 0
335.70/65.57	c (47,0) opt[98][4] = 0
335.70/65.57	c (47,0) opt[99][0] = 0
335.70/65.57	c (47,0) opt[99][1] = 1
335.70/65.57	c (47,0) opt[99][2] = 0
335.70/65.57	c (47,0) opt[99][3] = 0
335.70/65.57	c (47,0) opt[99][4] = 0
335.70/65.57	c (47,0) opt[100][0] = 1
335.70/65.57	c (47,0) opt[100][1] = 0
335.70/65.57	c (47,0) opt[100][2] = 1
335.70/65.57	c (47,0) opt[100][3] = 0
335.70/65.57	c (47,0) opt[100][4] = 0
335.70/65.57	c (47,0) opt[101][0] = 0
335.70/65.57	c (47,0) opt[101][1] = 0
335.70/65.57	c (47,0) opt[101][2] = 0
335.70/65.57	c (47,0) opt[101][3] = 1
335.70/65.57	c (47,0) opt[101][4] = 0
335.70/65.57	c (47,0) opt[102][0] = 1
335.70/65.57	c (47,0) opt[102][1] = 1
335.70/65.57	c (47,0) opt[102][2] = 0
335.70/65.57	c (47,0) opt[102][3] = 0
335.70/65.57	c (47,0) opt[102][4] = 0
335.70/65.57	c (47,0) opt[103][0] = 0
335.70/65.57	c (47,0) opt[103][1] = 0
335.70/65.57	c (47,0) opt[103][2] = 0
335.70/65.57	c (47,0) opt[103][3] = 0
335.70/65.57	c (47,0) opt[103][4] = 1
335.70/65.57	c (47,0) opt[104][0] = 0
335.70/65.57	c (47,0) opt[104][1] = 0
335.70/65.57	c (47,0) opt[104][2] = 0
335.70/65.57	c (47,0) opt[104][3] = 1
335.70/65.57	c (47,0) opt[104][4] = 0
335.70/65.57	c (47,0) opt[105][0] = 1
335.70/65.57	c (47,0) opt[105][1] = 1
335.70/65.57	c (47,0) opt[105][2] = 0
335.70/65.57	c (47,0) opt[105][3] = 0
335.70/65.57	c (47,0) opt[105][4] = 0
335.70/65.57	c (47,0) opt[106][0] = 0
335.70/65.57	c (47,0) opt[106][1] = 0
335.70/65.57	c (47,0) opt[106][2] = 0
335.70/65.57	c (47,0) opt[106][3] = 1
335.70/65.57	c (47,0) opt[106][4] = 0
335.70/65.57	c (47,0) opt[107][0] = 1
335.70/65.57	c (47,0) opt[107][1] = 1
335.70/65.57	c (47,0) opt[107][2] = 1
335.70/65.57	c (47,0) opt[107][3] = 0
335.70/65.57	c (47,0) opt[107][4] = 0
335.70/65.57	c (47,0) opt[108][0] = 0
335.70/65.57	c (47,0) opt[108][1] = 1
335.70/65.57	c (47,0) opt[108][2] = 0
335.70/65.57	c (47,0) opt[108][3] = 0
335.70/65.57	c (47,0) opt[108][4] = 0
335.70/65.57	c (47,0) opt[109][0] = 0
335.70/65.57	c (47,0) opt[109][1] = 0
335.70/65.57	c (47,0) opt[109][2] = 0
335.70/65.57	c (47,0) opt[109][3] = 1
335.70/65.57	c (47,0) opt[109][4] = 0
335.70/65.57	c (47,0) opt[110][0] = 0
335.70/65.57	c (47,0) opt[110][1] = 0
335.70/65.57	c (47,0) opt[110][2] = 0
335.70/65.57	c (47,0) opt[110][3] = 0
335.70/65.57	c (47,0) opt[110][4] = 1
335.70/65.57	c (47,0) opt[111][0] = 1
335.70/65.57	c (47,0) opt[111][1] = 0
335.70/65.57	c (47,0) opt[111][2] = 1
335.70/65.57	c (47,0) opt[111][3] = 0
335.70/65.57	c (47,0) opt[111][4] = 0
335.70/65.57	c (47,0) opt[112][0] = 0
335.70/65.57	c (47,0) opt[112][1] = 1
335.70/65.57	c (47,0) opt[112][2] = 0
335.70/65.57	c (47,0) opt[112][3] = 0
335.70/65.57	c (47,0) opt[112][4] = 0
335.70/65.57	c (47,0) opt[113][0] = 1
335.70/65.57	c (47,0) opt[113][1] = 1
335.70/65.57	c (47,0) opt[113][2] = 0
335.70/65.57	c (47,0) opt[113][3] = 1
335.70/65.57	c (47,0) opt[113][4] = 0
335.70/65.57	c (47,0) opt[114][0] = 0
335.70/65.57	c (47,0) opt[114][1] = 0
335.70/65.57	c (47,0) opt[114][2] = 1
335.70/65.57	c (47,0) opt[114][3] = 0
335.70/65.57	c (47,0) opt[114][4] = 0
335.70/65.57	c (47,0) opt[115][0] = 0
335.70/65.57	c (47,0) opt[115][1] = 0
335.70/65.57	c (47,0) opt[115][2] = 0
335.70/65.57	c (47,0) opt[115][3] = 0
335.70/65.57	c (47,0) opt[115][4] = 1
335.70/65.57	c (47,0) opt[116][0] = 0
335.70/65.57	c (47,0) opt[116][1] = 1
335.70/65.57	c (47,0) opt[116][2] = 0
335.70/65.57	c (47,0) opt[116][3] = 0
335.70/65.57	c (47,0) opt[116][4] = 0
335.70/65.57	c (47,0) opt[117][0] = 1
335.70/65.57	c (47,0) opt[117][1] = 1
335.70/65.57	c (47,0) opt[117][2] = 0
335.70/65.57	c (47,0) opt[117][3] = 0
335.70/65.57	c (47,0) opt[117][4] = 0
335.70/65.57	c (47,0) opt[118][0] = 0
335.70/65.57	c (47,0) opt[118][1] = 0
335.70/65.57	c (47,0) opt[118][2] = 1
335.70/65.57	c (47,0) opt[118][3] = 1
335.70/65.57	c (47,0) opt[118][4] = 0
335.70/65.57	c (47,0) opt[119][0] = 1
335.70/65.57	c (47,0) opt[119][1] = 0
335.70/65.57	c (47,0) opt[119][2] = 0
335.70/65.57	c (47,0) opt[119][3] = 1
335.70/65.57	c (47,0) opt[119][4] = 0
335.70/65.57	c (47,0) opt[120][0] = 0
335.70/65.57	c (47,0) opt[120][1] = 1
335.70/65.57	c (47,0) opt[120][2] = 0
335.70/65.57	c (47,0) opt[120][3] = 0
335.70/65.57	c (47,0) opt[120][4] = 0
335.70/65.57	c (47,0) opt[121][0] = 0
335.70/65.57	c (47,0) opt[121][1] = 0
335.70/65.57	c (47,0) opt[121][2] = 1
335.70/65.57	c (47,0) opt[121][3] = 0
335.70/65.57	c (47,0) opt[121][4] = 0
335.70/65.57	c (47,0) opt[122][0] = 0
335.70/65.57	c (47,0) opt[122][1] = 0
335.70/65.57	c (47,0) opt[122][2] = 0
335.70/65.57	c (47,0) opt[122][3] = 0
335.70/65.57	c (47,0) opt[122][4] = 1
335.70/65.57	c (47,0) opt[123][0] = 0
335.70/65.57	c (47,0) opt[123][1] = 0
335.70/65.57	c (47,0) opt[123][2] = 0
335.70/65.57	c (47,0) opt[123][3] = 1
335.70/65.57	c (47,0) opt[123][4] = 0
335.70/65.57	c (47,0) opt[124][0] = 1
335.70/65.57	c (47,0) opt[124][1] = 1
335.70/65.57	c (47,0) opt[124][2] = 0
335.70/65.57	c (47,0) opt[124][3] = 0
335.70/65.57	c (47,0) opt[124][4] = 0
335.70/65.57	c (47,0) opt[125][0] = 0
335.70/65.57	c (47,0) opt[125][1] = 0
335.70/65.57	c (47,0) opt[125][2] = 1
335.70/65.57	c (47,0) opt[125][3] = 0
335.70/65.57	c (47,0) opt[125][4] = 0
335.70/65.57	c (47,0) opt[126][0] = 1
335.70/65.57	c (47,0) opt[126][1] = 1
335.70/65.57	c (47,0) opt[126][2] = 0
335.70/65.57	c (47,0) opt[126][3] = 0
335.70/65.57	c (47,0) opt[126][4] = 0
335.70/65.57	c (47,0) opt[127][0] = 0
335.70/65.57	c (47,0) opt[127][1] = 1
335.70/65.57	c (47,0) opt[127][2] = 0
335.70/65.57	c (47,0) opt[127][3] = 1
335.70/65.57	c (47,0) opt[127][4] = 0
335.70/65.57	c (47,0) opt[128][0] = 0
335.70/65.57	c (47,0) opt[128][1] = 0
335.70/65.57	c (47,0) opt[128][2] = 1
335.70/65.57	c (47,0) opt[128][3] = 0
335.70/65.57	c (47,0) opt[128][4] = 0
335.70/65.57	c (47,0) opt[129][0] = 0
335.70/65.57	c (47,0) opt[129][1] = 0
335.70/65.57	c (47,0) opt[129][2] = 0
335.70/65.57	c (47,0) opt[129][3] = 0
335.70/65.57	c (47,0) opt[129][4] = 1
335.70/65.57	c (47,0) opt[130][0] = 0
335.70/65.57	c (47,0) opt[130][1] = 0
335.70/65.57	c (47,0) opt[130][2] = 0
335.70/65.57	c (47,0) opt[130][3] = 1
335.70/65.57	c (47,0) opt[130][4] = 0
335.70/65.57	c (47,0) opt[131][0] = 0
335.70/65.57	c (47,0) opt[131][1] = 0
335.70/65.57	c (47,0) opt[131][2] = 1
335.70/65.57	c (47,0) opt[131][3] = 0
335.70/65.57	c (47,0) opt[131][4] = 0
335.70/65.57	c (47,0) opt[132][0] = 1
335.70/65.57	c (47,0) opt[132][1] = 0
335.70/65.57	c (47,0) opt[132][2] = 0
335.70/65.57	c (47,0) opt[132][3] = 0
335.70/65.57	c (47,0) opt[132][4] = 0
335.70/65.57	c (47,0) opt[133][0] = 0
335.70/65.57	c (47,0) opt[133][1] = 1
335.70/65.57	c (47,0) opt[133][2] = 0
335.70/65.57	c (47,0) opt[133][3] = 0
335.70/65.57	c (47,0) opt[133][4] = 0
335.70/65.57	c (47,0) opt[134][0] = 0
335.70/65.57	c (47,0) opt[134][1] = 1
335.70/65.57	c (47,0) opt[134][2] = 0
335.70/65.57	c (47,0) opt[134][3] = 1
335.70/65.57	c (47,0) opt[134][4] = 0
335.70/65.57	c (47,0) opt[135][0] = 0
335.70/65.57	c (47,0) opt[135][1] = 0
335.70/65.57	c (47,0) opt[135][2] = 1
335.70/65.57	c (47,0) opt[135][3] = 0
335.70/65.57	c (47,0) opt[135][4] = 0
335.70/65.57	c (47,0) opt[136][0] = 0
335.70/65.57	c (47,0) opt[136][1] = 1
335.70/65.57	c (47,0) opt[136][2] = 0
335.70/65.57	c (47,0) opt[136][3] = 0
335.70/65.57	c (47,0) opt[136][4] = 0
335.70/65.57	c (47,0) opt[137][0] = 1
335.70/65.57	c (47,0) opt[137][1] = 0
335.70/65.57	c (47,0) opt[137][2] = 0
335.70/65.57	c (47,0) opt[137][3] = 1
335.70/65.57	c (47,0) opt[137][4] = 0
335.70/65.57	c (47,0) opt[138][0] = 0
335.70/65.57	c (47,0) opt[138][1] = 1
335.70/65.57	c (47,0) opt[138][2] = 0
335.70/65.57	c (47,0) opt[138][3] = 0
335.70/65.57	c (47,0) opt[138][4] = 0
335.70/65.57	c (47,0) opt[139][0] = 1
335.70/65.57	c (47,0) opt[139][1] = 0
335.70/65.57	c (47,0) opt[139][2] = 0
335.70/65.57	c (47,0) opt[139][3] = 0
335.70/65.57	c (47,0) opt[139][4] = 0
335.70/65.57	c (47,0) opt[140][0] = 0
335.70/65.57	c (47,0) opt[140][1] = 1
335.70/65.57	c (47,0) opt[140][2] = 1
335.70/65.57	c (47,0) opt[140][3] = 0
335.70/65.57	c (47,0) opt[140][4] = 0
335.70/65.57	c (47,0) opt[141][0] = 0
335.70/65.57	c (47,0) opt[141][1] = 1
335.70/65.57	c (47,0) opt[141][2] = 0
335.70/65.57	c (47,0) opt[141][3] = 0
335.70/65.57	c (47,0) opt[141][4] = 0
335.70/65.57	c (47,0) opt[142][0] = 1
335.70/65.57	c (47,0) opt[142][1] = 0
335.70/65.57	c (47,0) opt[142][2] = 0
335.70/65.57	c (47,0) opt[142][3] = 1
335.70/65.57	c (47,0) opt[142][4] = 0
335.70/65.57	c (47,0) opt[143][0] = 0
335.70/65.57	c (47,0) opt[143][1] = 1
335.70/65.57	c (47,0) opt[143][2] = 1
335.70/65.57	c (47,0) opt[143][3] = 0
335.70/65.57	c (47,0) opt[143][4] = 1
335.70/65.57	c (47,0) opt[144][0] = 0
335.70/65.57	c (47,0) opt[144][1] = 1
335.70/65.57	c (47,0) opt[144][2] = 0
335.70/65.57	c (47,0) opt[144][3] = 1
335.70/65.57	c (47,0) opt[144][4] = 0
335.70/65.57	c (47,0) opt[145][0] = 1
335.70/65.57	c (47,0) opt[145][1] = 0
335.70/65.57	c (47,0) opt[145][2] = 0
335.70/65.57	c (47,0) opt[145][3] = 0
335.70/65.57	c (47,0) opt[145][4] = 0
335.70/65.57	c (47,0) opt[146][0] = 0
335.70/65.57	c (47,0) opt[146][1] = 1
335.70/65.57	c (47,0) opt[146][2] = 1
335.70/65.57	c (47,0) opt[146][3] = 0
335.70/65.57	c (47,0) opt[146][4] = 0
335.70/65.57	c (47,0) opt[147][0] = 0
335.70/65.57	c (47,0) opt[147][1] = 0
335.70/65.57	c (47,0) opt[147][2] = 0
335.70/65.57	c (47,0) opt[147][3] = 1
335.70/65.57	c (47,0) opt[147][4] = 0
335.70/65.57	c (47,0) opt[148][0] = 0
335.70/65.57	c (47,0) opt[148][1] = 1
335.70/65.57	c (47,0) opt[148][2] = 0
335.70/65.57	c (47,0) opt[148][3] = 0
335.70/65.57	c (47,0) opt[148][4] = 1
335.70/65.57	c (47,0) opt[149][0] = 1
335.70/65.57	c (47,0) opt[149][1] = 0
335.70/65.57	c (47,0) opt[149][2] = 1
335.70/65.57	c (47,0) opt[149][3] = 1
335.70/65.57	c (47,0) opt[149][4] = 0
335.70/65.57	c (47,0) opt[150][0] = 0
335.70/65.57	c (47,0) opt[150][1] = 1
335.70/65.57	c (47,0) opt[150][2] = 0
335.70/65.57	c (47,0) opt[150][3] = 0
335.70/65.57	c (47,0) opt[150][4] = 0
335.70/65.57	c (47,0) opt[151][0] = 1
335.70/65.57	c (47,0) opt[151][1] = 0
335.70/65.57	c (47,0) opt[151][2] = 0
335.70/65.57	c (47,0) opt[151][3] = 0
335.70/65.57	c (47,0) opt[151][4] = 0
335.70/65.57	c (47,0) opt[152][0] = 0
335.70/65.57	c (47,0) opt[152][1] = 0
335.70/65.57	c (47,0) opt[152][2] = 0
335.70/65.57	c (47,0) opt[152][3] = 1
335.70/65.57	c (47,0) opt[152][4] = 0
335.70/65.57	c (47,0) opt[153][0] = 1
335.70/65.57	c (47,0) opt[153][1] = 0
335.70/65.57	c (47,0) opt[153][2] = 0
335.70/65.57	c (47,0) opt[153][3] = 0
335.70/65.57	c (47,0) opt[153][4] = 1
335.70/65.57	c (47,0) opt[154][0] = 0
335.70/65.57	c (47,0) opt[154][1] = 1
335.70/65.57	c (47,0) opt[154][2] = 1
335.70/65.57	c (47,0) opt[154][3] = 1
335.70/65.57	c (47,0) opt[154][4] = 0
335.70/65.57	c (47,0) opt[155][0] = 0
335.70/65.57	c (47,0) opt[155][1] = 1
335.70/65.57	c (47,0) opt[155][2] = 0
335.70/65.57	c (47,0) opt[155][3] = 0
335.70/65.57	c (47,0) opt[155][4] = 0
335.70/65.57	c (47,0) opt[156][0] = 1
335.70/65.57	c (47,0) opt[156][1] = 0
335.70/65.57	c (47,0) opt[156][2] = 0
335.70/65.57	c (47,0) opt[156][3] = 0
335.70/65.57	c (47,0) opt[156][4] = 0
335.70/65.57	c (47,0) opt[157][0] = 0
335.70/65.57	c (47,0) opt[157][1] = 0
335.70/65.57	c (47,0) opt[157][2] = 0
335.70/65.57	c (47,0) opt[157][3] = 1
335.70/65.57	c (47,0) opt[157][4] = 0
335.70/65.57	c (47,0) opt[158][0] = 1
335.70/65.57	c (47,0) opt[158][1] = 1
335.70/65.57	c (47,0) opt[158][2] = 1
335.70/65.57	c (47,0) opt[158][3] = 0
335.70/65.57	c (47,0) opt[158][4] = 1
335.70/65.57	c (47,0) opt[159][0] = 0
335.70/65.57	c (47,0) opt[159][1] = 1
335.70/65.57	c (47,0) opt[159][2] = 0
335.70/65.57	c (47,0) opt[159][3] = 1
335.70/65.57	c (47,0) opt[159][4] = 0
335.70/65.57	c (47,0) opt[160][0] = 1
335.70/65.57	c (47,0) opt[160][1] = 0
335.70/65.57	c (47,0) opt[160][2] = 0
335.70/65.57	c (47,0) opt[160][3] = 0
335.70/65.57	c (47,0) opt[160][4] = 0
335.70/65.57	c (47,0) opt[161][0] = 0
335.70/65.57	c (47,0) opt[161][1] = 1
335.70/65.57	c (47,0) opt[161][2] = 0
335.70/65.57	c (47,0) opt[161][3] = 0
335.70/65.57	c (47,0) opt[161][4] = 0
335.70/65.57	c (47,0) opt[162][0] = 0
335.70/65.57	c (47,0) opt[162][1] = 0
335.70/65.57	c (47,0) opt[162][2] = 0
335.70/65.57	c (47,0) opt[162][3] = 1
335.70/65.57	c (47,0) opt[162][4] = 0
335.70/65.57	c (47,0) opt[163][0] = 0
335.70/65.57	c (47,0) opt[163][1] = 1
335.70/65.57	c (47,0) opt[163][2] = 0
335.70/65.57	c (47,0) opt[163][3] = 0
335.70/65.57	c (47,0) opt[163][4] = 0
335.70/65.57	c (47,0) opt[164][0] = 0
335.70/65.57	c (47,0) opt[164][1] = 1
335.70/65.57	c (47,0) opt[164][2] = 0
335.70/65.57	c (47,0) opt[164][3] = 0
335.70/65.57	c (47,0) opt[164][4] = 1
335.70/65.57	c (47,0) opt[165][0] = 0
335.70/65.57	c (47,0) opt[165][1] = 0
335.70/65.57	c (47,0) opt[165][2] = 0
335.70/65.57	c (47,0) opt[165][3] = 1
335.70/65.57	c (47,0) opt[165][4] = 0
335.70/65.57	c (47,0) opt[166][0] = 1
335.70/65.57	c (47,0) opt[166][1] = 1
335.70/65.57	c (47,0) opt[166][2] = 0
335.70/65.57	c (47,0) opt[166][3] = 0
335.70/65.57	c (47,0) opt[166][4] = 0
335.70/65.57	c (47,0) opt[167][0] = 0
335.70/65.57	c (47,0) opt[167][1] = 0
335.70/65.57	c (47,0) opt[167][2] = 1
335.70/65.57	c (47,0) opt[167][3] = 0
335.70/65.57	c (47,0) opt[167][4] = 0
335.70/65.57	c (47,0) opt[168][0] = 0
335.70/65.57	c (47,0) opt[168][1] = 1
335.70/65.57	c (47,0) opt[168][2] = 0
335.70/65.57	c (47,0) opt[168][3] = 1
335.70/65.57	c (47,0) opt[168][4] = 0
335.70/65.57	c (47,0) opt[169][0] = 0
335.70/65.57	c (47,0) opt[169][1] = 0
335.70/65.57	c (47,0) opt[169][2] = 0
335.70/65.57	c (47,0) opt[169][3] = 0
335.70/65.57	c (47,0) opt[169][4] = 1
335.70/65.57	c (47,0) opt[170][0] = 0
335.70/65.57	c (47,0) opt[170][1] = 1
335.70/65.57	c (47,0) opt[170][2] = 0
335.70/65.57	c (47,0) opt[170][3] = 1
335.70/65.57	c (47,0) opt[170][4] = 0
335.70/65.57	c (47,0) opt[171][0] = 1
335.70/65.57	c (47,0) opt[171][1] = 0
335.70/65.57	c (47,0) opt[171][2] = 0
335.70/65.57	c (47,0) opt[171][3] = 0
335.70/65.57	c (47,0) opt[171][4] = 0
335.70/65.57	c (47,0) opt[172][0] = 0
335.70/65.57	c (47,0) opt[172][1] = 1
335.70/65.57	c (47,0) opt[172][2] = 0
335.70/65.57	c (47,0) opt[172][3] = 0
335.70/65.57	c (47,0) opt[172][4] = 0
335.70/65.57	c (47,0) opt[173][0] = 0
335.70/65.57	c (47,0) opt[173][1] = 1
335.70/65.57	c (47,0) opt[173][2] = 0
335.70/65.57	c (47,0) opt[173][3] = 0
335.70/65.57	c (47,0) opt[173][4] = 0
335.70/65.57	c (47,0) opt[174][0] = 1
335.70/65.57	c (47,0) opt[174][1] = 0
335.70/65.57	c (47,0) opt[174][2] = 0
335.70/65.57	c (47,0) opt[174][3] = 0
335.70/65.57	c (47,0) opt[174][4] = 1
335.70/65.57	c (47,0) opt[175][0] = 0
335.70/65.57	c (47,0) opt[175][1] = 1
335.70/65.57	c (47,0) opt[175][2] = 0
335.70/65.57	c (47,0) opt[175][3] = 0
335.70/65.57	c (47,0) opt[175][4] = 0
335.70/65.57	c (47,0) opt[176][0] = 0
335.70/65.57	c (47,0) opt[176][1] = 1
335.70/65.57	c (47,0) opt[176][2] = 0
335.70/65.57	c (47,0) opt[176][3] = 1
335.70/65.57	c (47,0) opt[176][4] = 0
335.70/65.57	c (47,0) opt[177][0] = 0
335.70/65.57	c (47,0) opt[177][1] = 0
335.70/65.57	c (47,0) opt[177][2] = 0
335.70/65.57	c (47,0) opt[177][3] = 1
335.70/65.57	c (47,0) opt[177][4] = 0
335.70/65.57	c (47,0) opt[178][0] = 1
335.70/65.57	c (47,0) opt[178][1] = 0
335.70/65.57	c (47,0) opt[178][2] = 0
335.70/65.57	c (47,0) opt[178][3] = 0
335.70/65.57	c (47,0) opt[178][4] = 0
335.70/65.57	c (47,0) opt[179][0] = 0
335.70/65.57	c (47,0) opt[179][1] = 0
335.70/65.57	c (47,0) opt[179][2] = 0
335.70/65.57	c (47,0) opt[179][3] = 0
335.70/65.57	c (47,0) opt[179][4] = 1
335.70/65.57	c (47,0) opt[180][0] = 0
335.70/65.57	c (47,0) opt[180][1] = 1
335.70/65.57	c (47,0) opt[180][2] = 0
335.70/65.57	c (47,0) opt[180][3] = 0
335.70/65.57	c (47,0) opt[180][4] = 0
335.70/65.57	c (47,0) opt[181][0] = 0
335.70/65.57	c (47,0) opt[181][1] = 1
335.70/65.57	c (47,0) opt[181][2] = 0
335.70/65.57	c (47,0) opt[181][3] = 1
335.70/65.57	c (47,0) opt[181][4] = 0
335.70/65.57	c (47,0) opt[182][0] = 0
335.70/65.57	c (47,0) opt[182][1] = 0
335.70/65.57	c (47,0) opt[182][2] = 1
335.70/65.57	c (47,0) opt[182][3] = 1
335.70/65.57	c (47,0) opt[182][4] = 0
335.70/65.57	c (47,0) opt[183][0] = 1
335.70/65.57	c (47,0) opt[183][1] = 1
335.70/65.57	c (47,0) opt[183][2] = 0
335.70/65.57	c (47,0) opt[183][3] = 0
335.70/65.57	c (47,0) opt[183][4] = 0
335.70/65.57	c (47,0) opt[184][0] = 0
335.70/65.57	c (47,0) opt[184][1] = 0
335.70/65.57	c (47,0) opt[184][2] = 0
335.70/65.57	c (47,0) opt[184][3] = 0
335.70/65.57	c (47,0) opt[184][4] = 1
335.70/65.57	c (47,0) opt[185][0] = 0
335.70/65.57	c (47,0) opt[185][1] = 0
335.70/65.57	c (47,0) opt[185][2] = 1
335.70/65.57	c (47,0) opt[185][3] = 0
335.70/65.57	c (47,0) opt[185][4] = 0
335.70/65.57	c (47,0) opt[186][0] = 0
335.70/65.57	c (47,0) opt[186][1] = 1
335.70/65.57	c (47,0) opt[186][2] = 0
335.70/65.57	c (47,0) opt[186][3] = 0
335.70/65.57	c (47,0) opt[186][4] = 0
335.70/65.57	c (47,0) opt[187][0] = 0
335.70/65.57	c (47,0) opt[187][1] = 1
335.70/65.57	c (47,0) opt[187][2] = 0
335.70/65.57	c (47,0) opt[187][3] = 0
335.70/65.57	c (47,0) opt[187][4] = 0
335.70/65.57	c (47,0) opt[188][0] = 0
335.70/65.57	c (47,0) opt[188][1] = 0
335.70/65.57	c (47,0) opt[188][2] = 0
335.70/65.57	c (47,0) opt[188][3] = 1
335.70/65.57	c (47,0) opt[188][4] = 0
335.70/65.57	c (47,0) opt[189][0] = 0
335.70/65.57	c (47,0) opt[189][1] = 1
335.70/65.57	c (47,0) opt[189][2] = 0
335.70/65.57	c (47,0) opt[189][3] = 0
335.70/65.57	c (47,0) opt[189][4] = 1
335.70/65.57	c (47,0) opt[190][0] = 1
335.70/65.57	c (47,0) opt[190][1] = 1
335.70/65.57	c (47,0) opt[190][2] = 0
335.70/65.57	c (47,0) opt[190][3] = 1
335.70/65.57	c (47,0) opt[190][4] = 0
335.70/65.57	c (47,0) opt[191][0] = 0
335.70/65.57	c (47,0) opt[191][1] = 0
335.70/65.57	c (47,0) opt[191][2] = 1
335.70/65.57	c (47,0) opt[191][3] = 0
335.70/65.57	c (47,0) opt[191][4] = 0
335.70/65.57	c (47,0) opt[192][0] = 0
335.70/65.57	c (47,0) opt[192][1] = 1
335.70/65.57	c (47,0) opt[192][2] = 0
335.70/65.57	c (47,0) opt[192][3] = 0
335.70/65.57	c (47,0) opt[192][4] = 0
335.70/65.57	c (47,0) opt[193][0] = 1
335.70/65.57	c (47,0) opt[193][1] = 0
335.70/65.57	c (47,0) opt[193][2] = 0
335.70/65.57	c (47,0) opt[193][3] = 1
335.70/65.57	c (47,0) opt[193][4] = 0
335.70/65.57	c (47,0) opt[194][0] = 0
335.70/65.57	c (47,0) opt[194][1] = 1
335.70/65.57	c (47,0) opt[194][2] = 1
335.70/65.57	c (47,0) opt[194][3] = 0
335.70/65.57	c (47,0) opt[194][4] = 1
335.70/65.57	c (47,0) opt[195][0] = 1
335.70/65.57	c (47,0) opt[195][1] = 0
335.70/65.57	c (47,0) opt[195][2] = 0
335.70/65.57	c (47,0) opt[195][3] = 1
335.70/65.57	c (47,0) opt[195][4] = 0
335.70/65.57	c (47,0) opt[196][0] = 0
335.70/65.57	c (47,0) opt[196][1] = 1
335.70/65.57	c (47,0) opt[196][2] = 0
335.70/65.57	c (47,0) opt[196][3] = 0
335.70/65.57	c (47,0) opt[196][4] = 0
335.70/65.57	c (47,0) opt[197][0] = 1
335.70/65.57	c (47,0) opt[197][1] = 0
335.70/65.57	c (47,0) opt[197][2] = 0
335.70/65.57	c (47,0) opt[197][3] = 0
335.70/65.57	c (47,0) opt[197][4] = 0
335.70/65.57	c (47,0) opt[198][0] = 0
335.70/65.57	c (47,0) opt[198][1] = 0
335.70/65.57	c (47,0) opt[198][2] = 0
335.70/65.57	c (47,0) opt[198][3] = 1
335.70/65.57	c (47,0) opt[198][4] = 0
335.70/65.57	c (47,0) opt[199][0] = 1
335.70/65.57	c (47,0) opt[199][1] = 1
335.70/65.57	c (47,0) opt[199][2] = 1
335.70/65.57	c (47,0) opt[199][3] = 0
335.70/65.57	c (47,0) opt[199][4] = 1
335.70/65.57	s SATISFIABLE
335.70/65.58	v <instantiation>
335.70/65.58	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>
335.70/65.58	v     <values>1 16 5 5 2 2 15 5 12 5 11 2 4 5 7 11 20 15 11 4 6 21 4 16 2 4 2 4 7 2 4 5 16 21 2 6 4 5 10 21 11 2 5 10 5 5 2 4 21 3 20 5 15 5 11 2 8 5 5 6 2 7 5 15 2 19 15 5 15 2 1 5 5 16 2 7 16 2 5 9 2 15 16 0 21 16 2 5 2 12 5 15 2 20 4 7 17 2 5 5 10 2 4 7 2 4 2 9 5 2 7 10 5 0 16 7 5 4 6 3 5 16 7 2 4 16 4 11 16 7 2 16 15 5 11 16 5 3 5 15 20 5 3 14 11 15 20 2 21 13 5 15 2 12 19 5 15 2 18 11 15 5 2 5 21 2 4 16 11 7 11 15 5 5 12 5 11 2 15 7 5 11 6 4 7 16 5 5 2 21 0 16 5 3 14 3 5 15 2 18 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 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 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1</values>
335.70/65.58	v </instantiation>
335.70/65.58	c (47,0) Show results End
335.70/65.58	c (47,0) Heap : 293 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
335.70/65.58	c (47,0) 46,47,STOP-AFTER(ALL)
335.70/65.58	c END-Prog: Tue Sep 24 17:20:00 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 (12756 MiB free)
  memory of node 1: 16384 MiB (10071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405536-1569338375/watcher-4405536-1569338375 -o /tmp/evaluation-result-4405536-1569338375/solver-4405536-1569338375 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405536-1569338375.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=9542, runsolver pid=9539
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 0.99 1.09 1.00 3/212 9564
/proc/meminfo: memFree=23282052/32770624 swapFree=66956484/67108860
[pid=9542] ppid=9539 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9542/stat : 9542 (scop.sh) S 9539 9542 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510108839 115843072 348 33554432000 4194304 5098028 140730688843216 140730688840472 140597921677948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35999744 140730688844580 140730688844908 140730688844908 140730688847821 0
/proc/9542/statm: 28282 348 296 221 0 87 0
[pid=9545] ppid=9542 vsize=27314120 memory=107624 CPUtime=0.1 cores=0-7
/proc/9545/stat : 9545 (java) S 9542 9542 8819 0 -1 1077944320 6470 0 0 0 8 2 0 0 20 0 20 0 510108839 27969658880 26906 33554432000 4194304 4196468 140723343555280 140723343537824 139966928735991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
/proc/9545/statm: 6828530 26906 2788 1 0 6790935 0
[pid=9545/tid=9546] ppid=9542 vsize=27314120 memory=4426930074393146268 CPUtime=0.08 cores=0-7
/proc/9545/task/9546/stat : 9546 (java) R 9542 9542 8819 0 -1 4202560 4574 0 0 0 6 2 0 0 20 0 20 0 510108840 27969658880 26906 33554432000 4194304 4196468 140723343555280 139966900549504 139966914804110 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9547] ppid=9542 vsize=27314120 memory=732369798021164005 CPUtime=0 cores=0-7
/proc/9545/task/9547/stat : 9547 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 26906 33554432000 4194304 4196468 140723343555280 139966932978704 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9548] ppid=9542 vsize=27314120 memory=139659683710592 CPUtime=0 cores=0-7
/proc/9545/task/9548/stat : 9548 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 26906 33554432000 4194304 4196468 140723343555280 139966747135120 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9549] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9549/stat : 9549 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 26906 33554432000 4194304 4196468 140723343555280 139966746082064 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9550] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9550/stat : 9550 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 27418 33554432000 4194304 4196468 140723343555280 139966745029520 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9551] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9551/stat : 9551 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 27418 33554432000 4194304 4196468 140723343555280 139966347377168 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9552] ppid=9542 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9545/task/9552/stat : 9552 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 27418 33554432000 4194304 4196468 140723343555280 139966346324624 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9553] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9553/stat : 9553 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 27418 33554432000 4194304 4196468 140723343555280 139966345271568 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9554] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9554/stat : 9554 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 27418 33554432000 4194304 4196468 140723343555280 139966344219024 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9555] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9555/stat : 9555 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964980321008 139966928747138 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9556] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9556/stat : 9556 (java) S 9542 9542 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964863997600 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9557] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9557/stat : 9557 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964595561712 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9558] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9558/stat : 9558 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964221053392 139966928754587 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9559] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9559/stat : 9559 (java) S 9542 9542 8819 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964979267824 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9560] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9560/stat : 9560 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964978215280 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9561] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9561/stat : 9561 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964977162224 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9562] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9562/stat : 9562 (java) S 9542 9542 8819 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964976109680 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9563] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9563/stat : 9563 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 27418 33554432000 4194304 4196468 140723343555280 139963723148256 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9564] ppid=9542 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9545/task/9564/stat : 9564 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 27418 33554432000 4194304 4196468 140723343555280 139964975058096 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109016 KiB

[startup+0.210516 s]*
/proc/loadavg: 0.99 1.09 1.00 3/212 9564
/proc/meminfo: memFree=23258452/32770624 swapFree=66956484/67108860
[pid=9542] ppid=9539 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9542/stat : 9542 (scop.sh) S 9539 9542 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510108839 115843072 348 33554432000 4194304 5098028 140730688843216 140730688840472 140597921677948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35999744 140730688844580 140730688844908 140730688844908 140730688847821 0
/proc/9542/statm: 28282 348 296 221 0 87 0
[pid=9545] ppid=9542 vsize=27314120 memory=126700 CPUtime=0.25 cores=0-7
/proc/9545/stat : 9545 (java) S 9542 9542 8819 0 -1 1077944320 12086 0 0 0 20 5 0 0 20 0 20 0 510108839 27969658880 31675 33554432000 4194304 4196468 140723343555280 140723343537824 139966928735991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
/proc/9545/statm: 6828530 31675 2935 1 0 6790935 0
[pid=9545/tid=9546] ppid=9542 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/9545/task/9546/stat : 9546 (java) R 9542 9542 8819 0 -1 4202560 9797 0 0 0 15 4 0 0 20 0 20 0 510108840 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966900542576 139966910299647 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9547] ppid=9542 vsize=27314120 memory=732369798021164005 CPUtime=0 cores=0-7
/proc/9545/task/9547/stat : 9547 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966932978704 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9548] ppid=9542 vsize=27314120 memory=139659683710592 CPUtime=0 cores=0-7
/proc/9545/task/9548/stat : 9548 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966747135120 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9549] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9549/stat : 9549 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966746082064 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9550] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9550/stat : 9550 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966745029520 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9551] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9551/stat : 9551 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966347377168 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9552] ppid=9542 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9545/task/9552/stat : 9552 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966346324624 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9553] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9553/stat : 9553 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966345271568 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9554] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9554/stat : 9554 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 31675 33554432000 4194304 4196468 140723343555280 139966344219024 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9555] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9555/stat : 9555 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964980321008 139966928747138 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9556] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9556/stat : 9556 (java) S 9542 9542 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964863997600 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9557] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9557/stat : 9557 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964595561712 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9558] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9558/stat : 9558 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964221053392 139966928754587 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9559] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9559/stat : 9559 (java) S 9542 9542 8819 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964979267824 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9560] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9560/stat : 9560 (java) S 9542 9542 8819 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964978215280 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9561] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9561/stat : 9561 (java) S 9542 9542 8819 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964977162224 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9562] ppid=9542 vsize=27314120 memory=0 CPUtime=0.03 cores=0-7
/proc/9545/task/9562/stat : 9562 (java) S 9542 9542 8819 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 20 0 510108847 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964976109680 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9563] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9563/stat : 9563 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 31675 33554432000 4194304 4196468 140723343555280 139963723148256 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9564] ppid=9542 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9545/task/9564/stat : 9564 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 31675 33554432000 4194304 4196468 140723343555280 139964975058096 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128092 KiB

[startup+0.309998 s]*
/proc/loadavg: 0.99 1.09 1.00 2/212 9564
/proc/meminfo: memFree=23256472/32770624 swapFree=66956484/67108860
[pid=9542] ppid=9539 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9542/stat : 9542 (scop.sh) S 9539 9542 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510108839 115843072 348 33554432000 4194304 5098028 140730688843216 140730688840472 140597921677948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35999744 140730688844580 140730688844908 140730688844908 140730688847821 0
/proc/9542/statm: 28282 348 296 221 0 87 0
[pid=9545] ppid=9542 vsize=27314120 memory=130304 CPUtime=0.42 cores=0-7
/proc/9545/stat : 9545 (java) S 9542 9542 8819 0 -1 1077944320 12454 0 0 0 37 5 0 0 20 0 20 0 510108839 27969658880 32576 33554432000 4194304 4196468 140723343555280 140723343537824 139966928735991 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
/proc/9545/statm: 6828530 32576 3020 1 0 6790935 0
[pid=9545/tid=9546] ppid=9542 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9545/task/9546/stat : 9546 (java) R 9542 9542 8819 0 -1 4202560 9984 0 0 0 25 4 0 0 20 0 20 0 510108840 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966900526640 139966909011321 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9547] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9547/stat : 9547 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966932978704 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9548] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9548/stat : 9548 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966747135120 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9549] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9549/stat : 9549 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966746082064 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9550] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9550/stat : 9550 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966745029520 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9551] ppid=9542 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9545/task/9551/stat : 9551 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966347377168 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9552] ppid=9542 vsize=27314120 memory=139659585876911 CPUtime=0 cores=0-7
/proc/9545/task/9552/stat : 9552 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966346324624 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9553] ppid=9542 vsize=27314120 memory=139659585879216 CPUtime=0 cores=0-7
/proc/9545/task/9553/stat : 9553 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966345271568 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9554] ppid=9542 vsize=27314120 memory=139659585881520 CPUtime=0 cores=0-7
/proc/9545/task/9554/stat : 9554 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510108842 27969658880 32576 33554432000 4194304 4196468 140723343555280 139966344219024 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9555] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9555/stat : 9555 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964980321008 139966928747138 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9556] ppid=9542 vsize=27314120 memory=279319171770000 CPUtime=0 cores=0-7
/proc/9545/task/9556/stat : 9556 (java) S 9542 9542 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964863997600 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9557] ppid=9542 vsize=27314120 memory=279319171776912 CPUtime=0 cores=0-7
/proc/9545/task/9557/stat : 9557 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108844 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964595561712 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9558] ppid=9542 vsize=27314120 memory=279319171718192 CPUtime=0 cores=0-7
/proc/9545/task/9558/stat : 9558 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964221053392 139966928754587 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9559] ppid=9542 vsize=27314120 memory=279319171790736 CPUtime=0.01 cores=0-7
/proc/9545/task/9559/stat : 9559 (java) R 9542 9542 8819 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 20 0 510108847 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964979267824 139966921025440 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9560] ppid=9542 vsize=27314120 memory=279319171797648 CPUtime=0.01 cores=0-7
/proc/9545/task/9560/stat : 9560 (java) S 9542 9542 8819 0 -1 1077944384 177 0 0 0 1 0 0 0 20 0 20 0 510108847 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964978215280 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9561] ppid=9542 vsize=27314120 memory=279319171795344 CPUtime=0.01 cores=0-7
/proc/9545/task/9561/stat : 9561 (java) S 9542 9542 8819 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 510108847 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964977162224 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9562] ppid=9542 vsize=27314120 memory=279319171811504 CPUtime=0.07 cores=0-7
/proc/9545/task/9562/stat : 9562 (java) S 9542 9542 8819 0 -1 1077944384 472 0 0 0 7 0 0 0 20 0 20 0 510108847 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964976109680 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9563] ppid=9542 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9563/stat : 9563 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 32576 33554432000 4194304 4196468 140723343555280 139963723148256 139966928746197 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9564] ppid=9542 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9545/task/9564/stat : 9564 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108847 27969658880 32576 33554432000 4194304 4196468 140723343555280 139964975058096 139966928747138 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131696 KiB

[startup+0.707919 s]
/proc/loadavg: 0.99 1.09 1.00 3/212 9564
/proc/meminfo: memFree=23237068/32770624 swapFree=66956484/67108860
[pid=9542] ppid=9539 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/9542/stat : 9542 (scop.sh) S 9539 9542 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510108839 115843072 348 33554432000 4194304 5098028 140730688843216 140730688840472 140597921677948 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35999744 140730688844580 140730688844908 140730688844908 140730688847821 0
/proc/9542/statm: 28282 348 296 221 0 87 0
[pid=9545] ppid=9542 vsize=27320392 memory=165456 CPUtime=1.01 cores=0-7
/proc/9545/stat : 9545 (java) S 9542 9542 8819 0 -1 1077944320 19949 0 0 0 94 7 0 0 20 0 20 0 510108839 27976081408 41364 33554432000 4194304 4196468 140723343555280 140723343537824 139966928735991 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
/proc/9545/statm: 6830098 41364 3192 1 0 6791447 0
[pid=9545/tid=9546] ppid=9542 vsize=27320392 memory=279319172106432 CPUtime=0.68 cores=0-7
/proc/9545/task/9546/stat : 9546 (java) R 9542 9542 8819 0 -1 4202560 16902 0 0 0 62 6 0 0 20 0 20 0 510108840 27976081408 41364 33554432000 4194304 4196468 140723343555280 139966900571168 139966928747926 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9547] ppid=9542 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/9545/task/9547/stat : 9547 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27976081408 41364 33554432000 4194304 4196468 140723343555280 139966932978704 139966928746197 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9548] ppid=9542 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9548/stat : 9548 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510108842 27976081408 41364 33554432000 4194304 4196468 140723343555280 139966747135120 139966928746197 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0
[pid=9545/tid=9549] ppid=9542 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9545/task/9549/stat : 9549 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510108842 27976081408 41364 33554432000 4194304 4196468 140723343555280 139966746082064 139966928746197 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30232576 140723343557355 140723343557782 140723343557782 140723343560655 0

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

/proc/9585/stat : 9585 (manyglucose-4.1) R 9565 9542 8819 0 -1 4202496 2562266 0 0 0 29600 397 0 0 20 0 1 0 510110727 2878029824 621496 33554432000 4194304 4454172 140735354214208 140735354210928 140494693522557 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 12804096 140735354217322 140735354217520 140735354217520 140735354220474 0
/proc/9585/statm: 702644 621496 422 64 0 698312 0
[pid=9565/tid=9566] ppid=9542 vsize=8414124 memory=3616 CPUtime=0.91 cores=0-7
/proc/9565/task/9566/stat : 9566 (java) S 9542 9542 8819 0 -1 1077944384 17459 0 0 0 80 11 0 0 20 0 24 0 510110640 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622590185376 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9567] ppid=9542 vsize=8414124 memory=7686721470317763228 CPUtime=0 cores=0-7
/proc/9565/task/9567/stat : 9567 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622622587408 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9568] ppid=9542 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/9565/task/9568/stat : 9568 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622422755984 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9569] ppid=9542 vsize=8414124 memory=7686721470317763228 CPUtime=0 cores=0-7
/proc/9565/task/9569/stat : 9569 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622421702928 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9570] ppid=9542 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/9565/task/9570/stat : 9570 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622420650384 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9571] ppid=9542 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/9565/task/9571/stat : 9571 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622419598352 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9572] ppid=9542 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/9565/task/9572/stat : 9572 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622418545808 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9573] ppid=9542 vsize=8414124 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/9565/task/9573/stat : 9573 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622417492752 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9574] ppid=9542 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/9565/task/9574/stat : 9574 (java) S 9542 9542 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510110641 8616062976 35558 33554432000 4194304 4196468 140734137788336 140622416440208 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9575] ppid=9542 vsize=8414124 memory=7380943931721475431 CPUtime=0 cores=0-7
/proc/9565/task/9575/stat : 9575 (java) S 9542 9542 8819 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 510110643 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621577521392 140622618356354 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9576] ppid=9542 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/9565/task/9576/stat : 9576 (java) S 9542 9542 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510110643 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621188687008 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9577] ppid=9542 vsize=8414124 memory=129584 CPUtime=0 cores=0-7
/proc/9565/task/9577/stat : 9577 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510110643 8616062976 35558 33554432000 4194304 4196468 140734137788336 140620920251120 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9578] ppid=9542 vsize=8414124 memory=2485152 CPUtime=0 cores=0-7
/proc/9565/task/9578/stat : 9578 (java) S 9542 9542 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510110646 8616062976 35558 33554432000 4194304 4196468 140734137788336 140620545742800 140622618363803 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9579] ppid=9542 vsize=8414124 memory=976 CPUtime=0.2 cores=0-7
/proc/9565/task/9579/stat : 9579 (java) S 9542 9542 8819 0 -1 1077944384 871 0 0 0 20 0 0 0 20 0 24 0 510110646 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621576469232 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9580] ppid=9542 vsize=8414124 memory=772 CPUtime=0.18 cores=0-7
/proc/9565/task/9580/stat : 9580 (java) S 9542 9542 8819 0 -1 1077944384 658 0 0 0 18 0 0 0 20 0 24 0 510110646 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621575416688 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9581] ppid=9542 vsize=8414124 memory=129584 CPUtime=0.13 cores=0-7
/proc/9565/task/9581/stat : 9581 (java) S 9542 9542 8819 0 -1 1077944384 393 0 0 0 13 0 0 0 20 0 24 0 510110646 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621574363632 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9582] ppid=9542 vsize=8414124 memory=1472 CPUtime=0.29 cores=0-7
/proc/9565/task/9582/stat : 9582 (java) S 9542 9542 8819 0 -1 1077944384 1148 0 0 0 29 0 0 0 20 0 24 0 510110646 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621573311088 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9583] ppid=9542 vsize=8414124 memory=51780 CPUtime=0 cores=0-7
/proc/9565/task/9583/stat : 9583 (java) S 9542 9542 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510110646 8616062976 35558 33554432000 4194304 4196468 140734137788336 140620047837664 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9584] ppid=9542 vsize=8414124 memory=1472 CPUtime=0.02 cores=0-7
/proc/9565/task/9584/stat : 9584 (java) S 9542 9542 8819 0 -1 1077944384 5 0 0 0 1 1 0 0 20 0 24 0 510110646 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621572258480 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9586] ppid=9542 vsize=8414124 memory=129584 CPUtime=0 cores=0-7
/proc/9565/task/9586/stat : 9586 (java) S 9542 9542 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510110727 8616062976 35558 33554432000 4194304 4196468 140734137788336 140621562127296 140622618369817 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9588] ppid=9542 vsize=8414124 memory=2476868 CPUtime=0.05 cores=0-7
/proc/9565/task/9588/stat : 9588 (java) R 9542 9542 8819 0 -1 4202560 20 0 0 0 5 0 0 0 20 0 24 0 510110728 8616062976 35558 33554432000 4194304 4196468 140734137788336 140619376738304 140622611047687 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9589] ppid=9542 vsize=8414124 memory=7824336315716348491 CPUtime=0 cores=0-7
/proc/9565/task/9589/stat : 9589 (java) S 9542 9542 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510110728 8616062976 35558 33554432000 4194304 4196468 140734137788336 140619645173936 140622618367133 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9590] ppid=9542 vsize=8414124 memory=-8412652169205224307 CPUtime=0 cores=0-7
/proc/9565/task/9590/stat : 9590 (java) S 9542 9542 8819 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510110730 8616062976 35558 33554432000 4194304 4196468 140734137788336 140619108310448 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
Current children cumulated CPU time: 334.75 s
Current children cumulated vsize: 11337828 KiB
Current children cumulated memory: 2629688 KiB

[startup+65.401 s]
/proc/loadavg: 3.29 1.72 1.22 4/217 9601
/proc/meminfo: memFree=21721924/32770624 swapFree=66956484/67108860
[pid=9542] ppid=9539 vsize=113128 memory=1472 CPUtime=32.95 cores=0-7
/proc/9542/stat : 9542 (scop.sh) S 9539 9542 8819 0 -1 4202496 582 45785 0 0 0 0 3127 168 20 0 1 0 510108839 115843072 368 33554432000 4194304 5098028 140730688843216 140730688839960 140597921677948 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35999744 140730688844580 140730688844908 140730688844908 140730688847821 0
/proc/9542/statm: 28282 368 311 221 0 87 0
[pid=9565] ppid=9542 vsize=8283048 memory=299104 CPUtime=302.55 cores=0-7
/proc/9565/stat : 9565 (java) S 9542 9542 8819 0 -1 1077944320 22306 2562272 0 0 215 19 29612 409 20 0 22 0 510110640 8481841152 74776 33554432000 4194304 4196468 140734137788336 140734137770880 140622618345207 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
/proc/9565/statm: 2070762 74776 3233 1 0 2032106 0
[pid=9565/tid=9566] ppid=9542 vsize=8283048 memory=129584 CPUtime=301.15 cores=0-7
/proc/9565/task/9566/stat : 9566 (java) R 9542 9542 8819 0 -1 4202560 17582 2562272 0 0 83 11 29612 409 20 0 22 0 510110640 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622590183664 140622618357142 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9567] ppid=9542 vsize=8283048 memory=0 CPUtime=300.21 cores=0-7
/proc/9565/task/9567/stat : 9567 (java) S 9542 9542 8819 0 -1 1077944384 2 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622622587408 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9568] ppid=9542 vsize=8283048 memory=8443538352883892301 CPUtime=300.21 cores=0-7
/proc/9565/task/9568/stat : 9568 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622422755984 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9569] ppid=9542 vsize=8283048 memory=288292155850752790 CPUtime=300.21 cores=0-7
/proc/9565/task/9569/stat : 9569 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622421702928 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9570] ppid=9542 vsize=8283048 memory=6155106260322194346 CPUtime=300.21 cores=0-7
/proc/9565/task/9570/stat : 9570 (java) S 9542 9542 8819 0 -1 1077944384 3 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622420650384 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9571] ppid=9542 vsize=8283048 memory=9198851636692561051 CPUtime=300.21 cores=0-7
/proc/9565/task/9571/stat : 9571 (java) S 9542 9542 8819 0 -1 1077944384 2 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622419598352 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9572] ppid=9542 vsize=8283048 memory=6943526294502006880 CPUtime=300.21 cores=0-7
/proc/9565/task/9572/stat : 9572 (java) S 9542 9542 8819 0 -1 1077944384 3 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622418545808 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9573] ppid=9542 vsize=8283048 memory=288230587427455269 CPUtime=300.21 cores=0-7
/proc/9565/task/9573/stat : 9573 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622417492752 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9574] ppid=9542 vsize=8283048 memory=15818880769590573 CPUtime=300.21 cores=0-7
/proc/9565/task/9574/stat : 9574 (java) S 9542 9542 8819 0 -1 1077944384 2 2562272 0 0 0 0 29612 409 20 0 22 0 510110641 8481841152 74776 33554432000 4194304 4196468 140734137788336 140622416440208 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9575] ppid=9542 vsize=8283048 memory=0 CPUtime=300.23 cores=0-7
/proc/9565/task/9575/stat : 9575 (java) S 9542 9542 8819 0 -1 1077944384 6 2562272 0 0 0 2 29612 409 20 0 22 0 510110643 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621577521392 140622618356354 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9576] ppid=9542 vsize=8283048 memory=0 CPUtime=300.21 cores=0-7
/proc/9565/task/9576/stat : 9576 (java) S 9542 9542 8819 0 -1 1077944384 13 2562272 0 0 0 0 29612 409 20 0 22 0 510110643 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621188687008 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9577] ppid=9542 vsize=8283048 memory=1472 CPUtime=300.21 cores=0-7
/proc/9565/task/9577/stat : 9577 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 22 0 510110643 8481841152 74776 33554432000 4194304 4196468 140734137788336 140620920251120 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9578] ppid=9542 vsize=8283048 memory=129584 CPUtime=300.21 cores=0-7
/proc/9565/task/9578/stat : 9578 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 22 0 510110646 8481841152 74776 33554432000 4194304 4196468 140734137788336 140620545742800 140622618363803 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9579] ppid=9542 vsize=8283048 memory=2485152 CPUtime=300.44 cores=0-7
/proc/9565/task/9579/stat : 9579 (java) S 9542 9542 8819 0 -1 1077944384 882 2562272 0 0 23 0 29612 409 20 0 22 0 510110646 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621576469232 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9580] ppid=9542 vsize=8283048 memory=13 CPUtime=300.43 cores=0-7
/proc/9565/task/9580/stat : 9580 (java) S 9542 9542 8819 0 -1 1077944384 671 2562272 0 0 22 0 29612 409 20 0 22 0 510110646 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621575416688 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9581] ppid=9542 vsize=8283048 memory=32187 CPUtime=300.38 cores=0-7
/proc/9565/task/9581/stat : 9581 (java) S 9542 9542 8819 0 -1 1077944384 408 2562272 0 0 17 0 29612 409 20 0 22 0 510110646 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621574363632 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9582] ppid=9542 vsize=8283048 memory=0 CPUtime=300.53 cores=0-7
/proc/9565/task/9582/stat : 9582 (java) R 9542 9542 8819 0 -1 4202560 1219 2562272 0 0 32 0 29612 409 20 0 22 0 510110646 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621573311088 140622611442043 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9583] ppid=9542 vsize=8283048 memory=1574 CPUtime=300.21 cores=0-7
/proc/9565/task/9583/stat : 9583 (java) S 9542 9542 8819 0 -1 1077944384 3 2562272 0 0 0 0 29612 409 20 0 22 0 510110646 8481841152 74776 33554432000 4194304 4196468 140734137788336 140620047837664 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9584] ppid=9542 vsize=8283048 memory=0 CPUtime=300.23 cores=0-7
/proc/9565/task/9584/stat : 9584 (java) S 9542 9542 8819 0 -1 1077944384 5 2562272 0 0 1 1 29612 409 20 0 22 0 510110646 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621572258480 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9586] ppid=9542 vsize=8283048 memory=1 CPUtime=300.21 cores=0-7
/proc/9565/task/9586/stat : 9586 (java) S 9542 9542 8819 0 -1 1077944384 24 2562272 0 0 0 0 29612 409 20 0 22 0 510110727 8481841152 74776 33554432000 4194304 4196468 140734137788336 140621562126480 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9590] ppid=9542 vsize=8283048 memory=504 CPUtime=300.21 cores=0-7
/proc/9565/task/9590/stat : 9590 (java) S 9542 9542 8819 0 -1 1077944384 13 2562272 0 0 0 0 29612 409 20 0 22 0 510110730 8481841152 74776 33554432000 4194304 4196468 140734137788336 140619108312240 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
Current children cumulated CPU time: 335.5 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 300576 KiB

[startup+65.6009 s]
/proc/loadavg: 3.29 1.72 1.22 4/217 9601
/proc/meminfo: memFree=21721924/32770624 swapFree=66956484/67108860
[pid=9542] ppid=9539 vsize=113128 memory=1472 CPUtime=32.95 cores=0-7
/proc/9542/stat : 9542 (scop.sh) S 9539 9542 8819 0 -1 4202496 582 45785 0 0 0 0 3127 168 20 0 1 0 510108839 115843072 368 33554432000 4194304 5098028 140730688843216 140730688839960 140597921677948 0 65536 4100 81923 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 35999744 140730688844580 140730688844908 140730688844908 140730688847821 0
/proc/9542/statm: 28282 368 311 221 0 87 0
[pid=9565] ppid=9542 vsize=8151972 memory=319120 CPUtime=303.13 cores=0-7
/proc/9565/stat : 9565 (java) S 9542 9542 8819 0 -1 1077944320 25448 2562272 0 0 270 22 29612 409 20 0 21 0 510110640 8347619328 79780 33554432000 4194304 4196468 140734137788336 140734137770880 140622618345207 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
/proc/9565/statm: 2037993 79780 3240 1 0 1999337 0
[pid=9565/tid=9566] ppid=9542 vsize=8151972 memory=924 CPUtime=301.34 cores=0-7
/proc/9565/task/9566/stat : 9566 (java) S 9542 9542 8819 0 -1 1077944384 18786 2562272 0 0 100 13 29612 409 20 0 21 0 510110640 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622590188688 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9567] ppid=9542 vsize=8151972 memory=1420 CPUtime=300.21 cores=0-7
/proc/9565/task/9567/stat : 9567 (java) S 9542 9542 8819 0 -1 1077944384 2 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622622587408 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9568] ppid=9542 vsize=8151972 memory=1984 CPUtime=300.21 cores=0-7
/proc/9565/task/9568/stat : 9568 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622422755984 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9569] ppid=9542 vsize=8151972 memory=2532 CPUtime=300.21 cores=0-7
/proc/9565/task/9569/stat : 9569 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622421702928 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9570] ppid=9542 vsize=8151972 memory=1440 CPUtime=300.21 cores=0-7
/proc/9565/task/9570/stat : 9570 (java) S 9542 9542 8819 0 -1 1077944384 3 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622420650384 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9571] ppid=9542 vsize=8151972 memory=800 CPUtime=300.21 cores=0-7
/proc/9565/task/9571/stat : 9571 (java) S 9542 9542 8819 0 -1 1077944384 2 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622419598352 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9572] ppid=9542 vsize=8151972 memory=1772 CPUtime=300.21 cores=0-7
/proc/9565/task/9572/stat : 9572 (java) S 9542 9542 8819 0 -1 1077944384 3 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622418545808 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9573] ppid=9542 vsize=8151972 memory=111632 CPUtime=300.21 cores=0-7
/proc/9565/task/9573/stat : 9573 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622417492752 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9574] ppid=9542 vsize=8151972 memory=279319173200432 CPUtime=300.21 cores=0-7
/proc/9565/task/9574/stat : 9574 (java) S 9542 9542 8819 0 -1 1077944384 2 2562272 0 0 0 0 29612 409 20 0 21 0 510110641 8347619328 79780 33554432000 4194304 4196468 140734137788336 140622416440208 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9575] ppid=9542 vsize=8151972 memory=129584 CPUtime=300.23 cores=0-7
/proc/9565/task/9575/stat : 9575 (java) S 9542 9542 8819 0 -1 1077944384 6 2562272 0 0 0 2 29612 409 20 0 21 0 510110643 8347619328 79780 33554432000 4194304 4196468 140734137788336 140621577521600 140622618356354 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9576] ppid=9542 vsize=8151972 memory=288230574492221466 CPUtime=300.21 cores=0-7
/proc/9565/task/9576/stat : 9576 (java) S 9542 9542 8819 0 -1 1077944384 13 2562272 0 0 0 0 29612 409 20 0 21 0 510110643 8347619328 79780 33554432000 4194304 4196468 140734137788336 140621188687008 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9577] ppid=9542 vsize=8151972 memory=288230583166042426 CPUtime=300.21 cores=0-7
/proc/9565/task/9577/stat : 9577 (java) S 9542 9542 8819 0 -1 1077944384 1 2562272 0 0 0 0 29612 409 20 0 21 0 510110643 8347619328 79780 33554432000 4194304 4196468 140734137788336 140620920251120 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9578] ppid=9542 vsize=8151972 memory=14978858180937137 CPUtime=300.21 cores=0-7
/proc/9565/task/9578/stat : 9578 (java) S 9542 9542 8819 0 -1 1077944384 21 2562272 0 0 0 0 29612 409 20 0 21 0 510110646 8347619328 79780 33554432000 4194304 4196468 140734137788336 140620545742896 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9579] ppid=9542 vsize=8151972 memory=1056 CPUtime=300.54 cores=0-7
/proc/9565/task/9579/stat : 9579 (java) S 9542 9542 8819 0 -1 1077944384 1412 2562272 0 0 33 0 29612 409 20 0 21 0 510110646 8347619328 79780 33554432000 4194304 4196468 140734137788336 140621576454288 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9580] ppid=9542 vsize=8151972 memory=744 CPUtime=300.52 cores=0-7
/proc/9565/task/9580/stat : 9580 (java) S 9542 9542 8819 0 -1 1077944384 977 2562272 0 0 31 0 29612 409 20 0 21 0 510110646 8347619328 79780 33554432000 4194304 4196468 140734137788336 140621575400784 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9581] ppid=9542 vsize=8151972 memory=8444 CPUtime=300.48 cores=0-7
/proc/9565/task/9581/stat : 9581 (java) S 9542 9542 8819 0 -1 1077944384 1050 2562272 0 0 27 0 29612 409 20 0 21 0 510110646 8347619328 79780 33554432000 4194304 4196468 140734137788336 140621574349136 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9582] ppid=9542 vsize=8151972 memory=6172 CPUtime=300.63 cores=0-7
/proc/9565/task/9582/stat : 9582 (java) S 9542 9542 8819 0 -1 1077944384 1658 2562272 0 0 42 0 29612 409 20 0 21 0 510110646 8347619328 79780 33554432000 4194304 4196468 140734137788336 140621573311088 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9583] ppid=9542 vsize=8151972 memory=1124 CPUtime=300.21 cores=0-7
/proc/9565/task/9583/stat : 9583 (java) S 9542 9542 8819 0 -1 1077944384 3 2562272 0 0 0 0 29612 409 20 0 21 0 510110646 8347619328 79780 33554432000 4194304 4196468 140734137788336 140620047837664 140622618355413 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9586] ppid=9542 vsize=8151972 memory=12024 CPUtime=300.21 cores=0-7
/proc/9565/task/9586/stat : 9586 (java) S 9542 9542 8819 0 -1 1077944384 24 2562272 0 0 0 0 29612 409 20 0 21 0 510110727 8347619328 79780 33554432000 4194304 4196468 140734137788336 140621562126480 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
[pid=9565/tid=9590] ppid=9542 vsize=8151972 memory=1124 CPUtime=300.21 cores=0-7
/proc/9565/task/9590/stat : 9590 (java) S 9542 9542 8819 0 -1 1077944384 13 2562272 0 0 0 0 29612 409 20 0 21 0 510110730 8347619328 79780 33554432000 4194304 4196468 140734137788336 140619108312240 140622618356354 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36114432 140734137791480 140734137791638 140734137791638 140734137794511 0
Current children cumulated CPU time: 336.08 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 320592 KiB

Child status: 0
Real time (s): 65.611
CPU time (s): 336.121
CPU user time (s): 330.106
CPU system time (s): 6.01479
CPU usage (%): 512.294
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6022336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.106
system time used= 6.01479
maximum resident set size= 6021696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2634103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 107576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68903
involuntary context switches= 3056


# summary of solver processes directly reported to runsolver:
#   pid: 9542
#   total CPU time (s): 336.121
#   total CPU user time (s): 330.106
#   total CPU system time (s): 6.01479

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.617361 second user time and 0.85648 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 17:18:55
IDJOB=4405536
IDBENCH=128079
IDSOLVER=2868
FILE ID=node151/4405536-1569338375
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-08.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-4405536-1569338375/watcher-4405536-1569338375 -o /tmp/evaluation-result-4405536-1569338375/solver-4405536-1569338375 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405536-1569338375.xml

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

MD5SUM BENCH= 487341030a1a30afb0858e27d438e3d6
RANDOM SEED=1435980845

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23375744 kB
MemAvailable:   31794712 kB
Buffers:           88476 kB
Cached:          8490464 kB
SwapCached:        50756 kB
Active:          2726316 kB
Inactive:        5907676 kB
Active(anon):       2140 kB
Inactive(anon):   107572 kB
Active(file):    2724176 kB
Inactive(file):  5800104 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956484 kB
Dirty:             20740 kB
Writeback:             0 kB
AnonPages:        112268 kB
Mapped:            54056 kB
Shmem:             45948 kB
Slab:             352108 kB
SReclaimable:     323148 kB
SUnreclaim:        28960 kB
KernelStack:        3408 kB
PageTables:         5892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 17:20:00