Trace number 4392676

Some explanations

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

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

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

Solver answer on this benchmark

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

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-20863-serial-file.bin HOME/instance-4392676-1568430799.xml
0.64/0.53	
0.64/0.53	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.64/0.53	
0.64/0.56	c BEGIN-Prog: Sat Sep 14 04:12:02 CEST 2019
0.64/0.56	c PID: 20866
0.64/0.56	c IP: 172.20.3.106
0.64/0.56	c HOST: node106.alineos.net
0.64/0.57	c (0,0) Parsing Begin
3.00/1.39	c (0,0) Parsing End
3.34/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1401 ctr, max domain size 22
3.34/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.34/1.40	c (0,0) Constraint Name Generate Begin
3.34/1.43	c (0,0) Ctr:HOME/instance-4392676-1568430799.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.34/1.43	c (0,0) Constraint Name Generate End
3.34/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.34/1.43	c (0,0) CSP to CSPinCNF Begin
11.63/4.49	c (3,3) translated 141 (10%) constraints
12.37/5.04	c (4,4) translated 281 (20%) constraints
12.37/5.06	c (4,4) translated 421 (30%) constraints
12.37/5.08	c (4,4) translated 561 (40%) constraints
12.37/5.10	c (4,4) translated 701 (50%) constraints
12.76/5.12	c (4,4) translated 841 (60%) constraints
12.76/5.14	c (4,4) translated 981 (70%) constraints
12.76/5.16	c (4,4) translated 1121 (80%) constraints
14.73/6.61	c (6,6) translated 1261 (90%) constraints
16.34/8.29	c (7,7) translated 1401 (100%) constraints
16.44/8.31	c (7,7) ===========================================
16.44/8.36	c (7,7) Hybrid: #OE=9800, #LE=5400
16.44/8.36	c (7,7) Hybrid
16.44/8.36	c (7,7) ===========================================
17.50/8.89	c (8,8) translated 5223 (10%) constraints
18.09/9.12	c (8,8) translated 10445 (20%) constraints
18.38/9.24	c (8,8) translated 15667 (30%) constraints
18.48/9.35	c (8,8) translated 20889 (40%) constraints
18.57/9.47	c (8,8) translated 26111 (50%) constraints
18.68/9.58	c (9,9) translated 31334 (60%) constraints
18.78/9.70	c (9,9) translated 36556 (70%) constraints
18.98/9.81	c (9,9) translated 41778 (80%) constraints
19.08/9.93	c (9,9) translated 47000 (90%) constraints
20.29/11.08	c (10,10) translated 52222 (100%) constraints
20.29/11.08	c (10,10) CSP to CSPinCNF End
20.29/11.09	c (10,10) CSP: 200 int (0 aux), 19400 bool (18400 aux), 61044 ctr, max domain size 22
20.29/11.09	c (10,10) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
20.29/11.09	c (10,10) CSPinCNF Propagation Begin
21.59/11.73	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
21.59/11.73	c (11,11) CSPinCNF Propagation End
21.59/11.73	c (11,11) CSP: 200 int (0 aux), 19400 bool (18400 aux), 60644 ctr, max domain size 22
21.59/11.73	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.59/11.78	c (11,11) Hybrid: #OE=14200, #LE=5400
21.59/11.78	c (11,11) Simplify CSPinCNF Begin
22.13/11.97	c (11,11) Simplify CSPinCNF End
22.13/11.97	c (11,11) CSP: 200 int (0 aux), 19400 bool (18400 aux), 60644 ctr, max domain size 22
22.13/11.97	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.13/11.97	c (11,11) Calculate Precise Domain Begin
22.13/11.97	c (11,11) 0 values are removed by re-calculation
22.13/11.97	c (11,11) Calculate Precise Domain End
22.13/11.97	c (11,11) CSP: 200 int (0 aux), 19400 bool (18400 aux), 60644 ctr, max domain size 22
22.13/11.97	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.13/11.97	c (11,11) CSPinCNF to SatSolver Begin
24.74/12.92	c (12,12) 6065 (10 %) CSP clauses are encoded (0 SAT variables, 227628 SAT clauses)
25.18/13.06	c (12,12) 12129 (20 %) CSP clauses are encoded (0 SAT variables, 233692 SAT clauses)
25.57/13.16	c (12,12) 18194 (30 %) CSP clauses are encoded (0 SAT variables, 239757 SAT clauses)
25.89/13.25	c (12,12) 24258 (40 %) CSP clauses are encoded (0 SAT variables, 245821 SAT clauses)
26.13/13.33	c (12,12) 30322 (50 %) CSP clauses are encoded (0 SAT variables, 251885 SAT clauses)
26.24/13.40	c (12,12) 36387 (60 %) CSP clauses are encoded (0 SAT variables, 257950 SAT clauses)
26.24/13.47	c (12,12) 42451 (70 %) CSP clauses are encoded (0 SAT variables, 264014 SAT clauses)
26.33/13.54	c (13,12) 48516 (80 %) CSP clauses are encoded (0 SAT variables, 270079 SAT clauses)
26.43/13.61	c (13,13) 54580 (90 %) CSP clauses are encoded (0 SAT variables, 276143 SAT clauses)
31.46/17.47	c (16,16) 60644 (100 %) CSP clauses are encoded (0 SAT variables, 2381818 SAT clauses)
31.56/17.51	c (16,16) CSPinCNF to SatSolver End
31.56/17.51	c (16,16) Heap : 3245 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.56/17.51	c (16,16) 820885 bool, 2403169 clause
31.56/17.51	c (16,16) Export Begin
32.00/17.72	c (17,16) Export to HOME/scop-20863-serial-file.bin
32.00/17.72	c (17,16) Export End
32.00/17.72	c (17,16) Export File Size: 0.47 MB
32.00/17.72	c (17,16) 0,0,10,11,11,11,16,STOP-AFTER(DIMACS)
32.00/17.72	c END-Prog: Sat Sep 14 04:12:20 CEST 2019
32.00/17.76	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-20863-serial-file.bin
32.67/18.22	c (0,0) Read Serial File Begin
32.67/18.22	c (0,0) HOME/scop-20863-serial-file.bin
33.27/18.58	c (0,0) Read Serial File End
33.27/18.59	
33.27/18.59	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
33.27/18.59	(Solving Process)
33.27/18.59	
33.50/18.61	c BEGIN-Prog: Sat Sep 14 04:12:21 CEST 2019
33.50/18.61	c PID: 20886
33.50/18.61	c IP: 172.20.3.106
33.50/18.61	c HOST: node106.alineos.net
33.50/18.62	c (0,0) SatSolver.solve Begin
33.50/18.62	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392676-1568430799.xml-scop-20866.cnf
33.50/18.64	c (0,0) c
33.50/18.64	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
33.50/18.64	c (0,0) c
33.50/18.64	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
33.50/18.64	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
33.50/18.64	c (0,0) c ========================================[ Problem Statistics ]===========================================
33.50/18.64	c (0,0) c |                                                                                                       |
34.78/19.70	c (1,0) c |  Number of variables:        820885                                                                   |
34.78/19.70	c (1,0) c |  Number of clauses:         2402330                                                                   |
34.78/19.70	c (1,0) c |  Parse time:                   0.95 s                                                                 |
34.78/19.70	c (1,0) c |                                                                                                       |
36.48/21.43	c (3,0) c |  Simplification time:          1.67 s                                                                 |
36.48/21.43	c (3,0) c |                                                                                                       |
36.48/21.43	c (3,0) c |  Generating clones                                                                                    |
37.57/22.56	c (4,0) c |  all clones generated. Memory =  2171.59Mb.                                                           |
37.57/22.56	c (4,0) c ========================================================================================================|
37.57/22.56	c (4,0) c
37.57/22.56	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
37.57/22.56	c (4,0) c
37.57/22.56	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.57/22.56	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
37.57/22.56	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.57/22.56	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
37.57/22.56	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
37.57/22.56	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
37.57/22.56	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
37.57/22.56	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
37.57/22.56	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
37.57/22.56	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
37.57/22.56	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
37.57/22.56	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
37.57/22.56	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
37.57/22.56	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
37.57/22.56	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
37.57/22.56	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
37.57/22.56	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
37.57/22.56	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
37.57/22.56	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
265.96/51.58	c (33,0) c
265.96/51.58	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
265.96/51.58	c (33,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
265.96/51.58	c (33,0) c |------------------------------------------------------------------------------------------------------------------------|
265.96/51.58	c (33,0) c |  0 |    218 |    1970711 |     111824 |   141679 |    40654 |    19700 |    98635 |      263 |       93 |  20 |  0.120 |
265.96/51.58	c (33,0) c |  1 |    186 |    1601981 |      93689 |   164889 |    22529 |    19263 |   114286 |      661 |      103 |  20 |  0.120 |
265.96/51.58	c (33,0) c |  2 |    175 |    1153281 |     123251 |   131535 |    31919 |    24543 |   122188 |     3499 |      113 |  20 |  0.125 |
265.96/51.58	c (33,0) c |  3 |    276 |     793583 |     106616 |   143527 |    35464 |    20802 |   116179 |     2723 |      108 |  20 |  0.122 |
265.96/51.58	c (33,0) c |  4 |    164 |     911335 |      97947 |   146406 |    26798 |    19638 |   122035 |      449 |      113 |  20 |  0.125 |
265.96/51.58	c (33,0) c |  5 |    187 |     718827 |      98395 |   122639 |    27249 |    18815 |   117507 |     1984 |      106 |  20 |  0.122 |
265.96/51.58	c (33,0) c |  6 |    318 |    1155130 |     117271 |   143210 |    42227 |    22219 |   123652 |     4076 |      112 |  20 |  0.125 |
265.96/51.58	c (33,0) c |  7 |    245 |    1475977 |      89637 |   146438 |    18533 |    17663 |   119651 |     1217 |      105 |  20 |  0.122 |
265.96/51.58	c (33,0) c 
265.96/51.58	c (33,0) c synthesis      838637 conflicts   861067198 propagations     3649 conflicts/sec  3746893 propagations/sec
265.96/51.58	c (33,0) c real: 32.9379 s, cpu: 229.808 s, memory: 2770.48 Mb
333.35/62.69	c (44,0) c
333.35/62.69	c (44,0) c real time : 44.0522 s
333.35/62.69	c (44,0) c cpu time  : 296.484 s
333.35/62.69	c (44,0) c
333.35/62.69	c (44,0) c
333.35/62.69	c (44,0) c
333.35/62.69	c (44,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
333.35/62.69	c (44,0) c
333.35/62.69	c (44,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.35/62.69	c (44,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
333.35/62.69	c (44,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.35/62.69	c (44,0) c | Conflicts     |         1099201 |     151855 |     128386 |     159307 |     121749 |     124814 |     126944 |     159423 |     126723 |
333.35/62.69	c (44,0) c | Decisions     |        11011818 |    2168322 |    1690549 |    1234218 |     964607 |     977706 |     975943 |    1371799 |    1628674 |
333.35/62.69	c (44,0) c | Propagations  |      1108927753 |  144153276 |  137434000 |  131583446 |  141818553 |  131823176 |  138490571 |  138029226 |  145595505 |
333.35/62.69	c (44,0) c | ReduceDBs     |              75 |         10 |          9 |         10 |          9 |          9 |          9 |         10 |          9 |
333.35/62.69	c (44,0) c | SimpDBs       |              68 |          7 |          8 |          9 |          8 |          9 |          9 |          9 |          9 |
333.35/62.69	c (44,0) c | Restarts      |            2311 |        305 |        263 |        224 |        354 |        213 |        254 |        397 |        301 |
333.35/62.69	c (44,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
333.35/62.69	c (44,0) c | PropBinClauses|       309217102 |   42885629 |   39878527 |   35807283 |   34568260 |   38551588 |   36380910 |   40618488 |   40526417 |
333.35/62.69	c (44,0) c | PropPreBlocker|      2792358542 |  361372196 |  339871322 |  348719139 |  360637678 |  326087663 |  346598147 |  360292103 |  348780294 |
333.35/62.69	c (44,0) c | PropNotBlocker|      1258886623 |  161146374 |  151882877 |  156447049 |  164902096 |  148613881 |  159104159 |  159006480 |  157783707 |
333.35/62.69	c (44,0) c | LitFullScans  |      6701249063 |  828189671 |  828188541 |  840316766 |  840164125 |  832554411 |  833551343 |  863998114 |  834286092 |
333.35/62.69	c (44,0) c | LitScanFracts |         1746792 |     170395 |     177376 |     305216 |     151910 |     238498 |     183920 |     251270 |     268207 |
333.35/62.69	c (44,0) c | DecisionLevel0|            2319 |        306 |        263 |        224 |        355 |        213 |        255 |        399 |        304 |
333.35/62.69	c (44,0) c | Periods       |            1114 |        138 |        138 |        140 |        140 |        138 |        138 |        143 |        139 |
333.35/62.69	c (44,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
333.35/62.69	c (44,0) c | Avg_Trail     |                 |      20826 |      25468 |      26638 |      26886 |      22931 |      27840 |      18228 |      26114 |
333.35/62.69	c (44,0) c | Avg_DL        |                 |        214 |        227 |        197 |        200 |        167 |        190 |        184 |        234 |
333.35/62.69	c (44,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
333.35/62.69	c (44,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
333.35/62.69	c (44,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.35/62.69	c (44,0) c | Exported      |          203880 |      25071 |      24452 |      30893 |      22839 |      23651 |      23147 |      29838 |      23989 |
333.35/62.69	c (44,0) c | Imported      |         1231005 |     151166 |     152090 |     152617 |     155854 |     155349 |     151390 |     156285 |     156254 |
333.35/62.69	c (44,0) c | Good          |           56623 |       6758 |       7194 |       7423 |       7320 |       7253 |       7076 |       6710 |       6889 |
333.35/62.69	c (44,0) c | Purge         |         1174382 |     144408 |     144896 |     145194 |     148534 |     148096 |     144314 |     149575 |     149365 |
333.35/62.69	c (44,0) c | Promoted      |           20952 |        520 |       1295 |       3856 |       3629 |       1050 |       2776 |       5672 |       2154 |
333.35/62.69	c (44,0) c | Remove_Imp    |          742160 |      95626 |      89706 |      87919 |      92443 |      93754 |      85643 |      96413 |     100656 |
333.35/62.69	c (44,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
333.35/62.69	c (44,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.35/62.69	c (44,0) c | Unaries       |                 |          1 |          0 |          0 |          1 |          0 |          1 |          2 |          3 |
333.35/62.69	c (44,0) c | Binaries      |                 |       1301 |        844 |        894 |        953 |        882 |       1021 |       1878 |       1321 |
333.35/62.69	c (44,0) c | Glues         |                 |       5287 |       2704 |       4271 |       4148 |       2572 |       3396 |       6538 |       4774 |
333.35/62.69	c (44,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.35/62.69	c (44,0) c | Orig_Seen     |             7 % |     168675 |     189188 |     138215 |     197748 |     155489 |     157277 |     160523 |     181853 |
333.35/62.69	c (44,0) c | Diff Orig seen|                 |      11398 |      31911 | -    19062 |      40471 | -     1788 |      X     |       3246 |      24576 |
333.35/62.70	c (44,0) c | Hamming       |            25 % |     210384 |     232518 |     204780 |     184907 |     237590 |      X     |     187066 |     185135 |
333.35/62.70	c (44,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.35/62.70	c (44,0) c | RunningTime   |                 |   40.0 100%|   37.7 100%|   36.1  97%|   37.2 100%|   35.4  95%|   37.0 100%|   36.2  97%|   37.3 100%|
333.35/62.70	c (44,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    1.0   3%|    0.0   0%|    1.8   5%|    0.0   0%|    0.9   3%|    0.0   0%|
333.35/62.70	c (44,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%|
333.35/62.70	c (44,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%|
333.35/62.70	c (44,0) c | SolvingTime   |                 |   40.1     |   37.8     |   37.2     |   37.3     |   37.3     |   37.1     |   37.2     |   37.4     |
333.35/62.70	c (44,0) c | PropagationTim|                 |   33.9  85%|   31.6  84%|   30.8  83%|   31.2  84%|   30.7  82%|   31.0  84%|   30.3  81%|   31.2  83%|
333.35/62.70	c (44,0) c | AnalysisTime  |                 |    2.1   5%|    2.3   6%|    2.4   7%|    2.3   6%|    2.4   6%|    2.4   6%|    2.8   8%|    2.1   6%|
333.35/62.70	c (44,0) c | ReductionTime |                 |    0.3   1%|    0.4   1%|    0.4   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.4   1%|    0.3   1%|
333.35/62.70	c (44,0) c | SimplifyTime  |                 |    0.3   1%|    0.4   1%|    0.6   2%|    0.4   1%|    0.6   2%|    0.4   1%|    0.7   2%|    0.4   1%|
333.35/62.70	c (44,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%|
333.35/62.70	c (44,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%|
333.35/62.70	c (44,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.35/62.70	c (44,0) c
333.35/62.70	c (44,0) c
333.35/62.70	c (44,0) c Threads : 8
333.35/62.70	c (44,0) c Winner : 5
333.35/62.70	c (44,0) c Conflicts_0 : 151855
333.35/62.70	c (44,0) c Conflicts_1 : 128386
333.35/62.70	c (44,0) c Conflicts_2 : 159307
333.35/62.70	c (44,0) c Conflicts_3 : 121749
333.35/62.70	c (44,0) c Conflicts_4 : 124814
333.35/62.70	c (44,0) c Conflicts_5 : 126944
333.35/62.70	c (44,0) c Conflicts_6 : 159423
333.35/62.70	c (44,0) c Conflicts_7 : 126723
333.35/62.70	c (44,0) c Conflicts_total : 1099201
333.35/62.70	c (44,0) c Conflicts_winner : 126944
333.35/62.70	c (44,0) c Decisions_0 : 2168322
333.35/62.70	c (44,0) c Decisions_1 : 1690549
333.35/62.70	c (44,0) c Decisions_2 : 1234218
333.35/62.70	c (44,0) c Decisions_3 : 964607
333.35/62.70	c (44,0) c Decisions_4 : 977706
333.35/62.70	c (44,0) c Decisions_5 : 975943
333.35/62.70	c (44,0) c Decisions_6 : 1371799
333.35/62.70	c (44,0) c Decisions_7 : 1628674
333.35/62.70	c (44,0) c Decisions_total : 11011818
333.35/62.70	c (44,0) c Decisions_winner : 975943
333.35/62.70	c (44,0) c Propagations_0 : 144153276
333.35/62.70	c (44,0) c Propagations_1 : 137434000
333.35/62.70	c (44,0) c Propagations_2 : 131583446
333.35/62.70	c (44,0) c Propagations_3 : 141818553
333.35/62.70	c (44,0) c Propagations_4 : 131823176
333.35/62.70	c (44,0) c Propagations_5 : 138490571
333.35/62.70	c (44,0) c Propagations_6 : 138029226
333.35/62.70	c (44,0) c Propagations_7 : 145595505
333.35/62.70	c (44,0) c Propagations_total : 1108927753
333.35/62.70	c (44,0) c Propagations_winner : 138490571
333.35/62.70	c (44,0) c ReduceDBs_0 : 10
333.35/62.70	c (44,0) c ReduceDBs_1 : 9
333.35/62.70	c (44,0) c ReduceDBs_2 : 10
333.35/62.70	c (44,0) c ReduceDBs_3 : 9
333.45/62.70	c (44,0) c ReduceDBs_4 : 9
333.45/62.70	c (44,0) c ReduceDBs_5 : 9
333.45/62.70	c (44,0) c ReduceDBs_6 : 10
333.45/62.70	c (44,0) c ReduceDBs_7 : 9
333.45/62.70	c (44,0) c ReduceDBs_total : 75
333.45/62.70	c (44,0) c ReduceDBs_winner : 9
333.45/62.70	c (44,0) c SimpDBs_0 : 7
333.45/62.70	c (44,0) c SimpDBs_1 : 8
333.45/62.70	c (44,0) c SimpDBs_2 : 9
333.45/62.70	c (44,0) c SimpDBs_3 : 8
333.45/62.70	c (44,0) c SimpDBs_4 : 9
333.45/62.70	c (44,0) c SimpDBs_5 : 9
333.45/62.70	c (44,0) c SimpDBs_6 : 9
333.45/62.70	c (44,0) c SimpDBs_7 : 9
333.45/62.70	c (44,0) c SimpDBs_total : 68
333.45/62.70	c (44,0) c SimpDBs_winner : 9
333.45/62.70	c (44,0) c Restarts_0 : 305
333.45/62.70	c (44,0) c Restarts_1 : 263
333.45/62.70	c (44,0) c Restarts_2 : 224
333.45/62.70	c (44,0) c Restarts_3 : 354
333.45/62.70	c (44,0) c Restarts_4 : 213
333.45/62.70	c (44,0) c Restarts_5 : 254
333.45/62.70	c (44,0) c Restarts_6 : 397
333.45/62.70	c (44,0) c Restarts_7 : 301
333.45/62.70	c (44,0) c Restarts_total : 2311
333.45/62.70	c (44,0) c Restarts_winner : 254
333.45/62.70	c (44,0) c ForcedImports_0 : 0
333.45/62.70	c (44,0) c ForcedImports_1 : 0
333.45/62.70	c (44,0) c ForcedImports_2 : 0
333.45/62.70	c (44,0) c ForcedImports_3 : 0
333.45/62.70	c (44,0) c ForcedImports_4 : 0
333.45/62.70	c (44,0) c ForcedImports_5 : 0
333.45/62.70	c (44,0) c ForcedImports_6 : 0
333.45/62.70	c (44,0) c ForcedImports_7 : 0
333.45/62.70	c (44,0) c ForcedImports_total : 0
333.45/62.70	c (44,0) c ForcedImports_winner : 0
333.45/62.70	c (44,0) c PropsBinClauses_0 : 42885629
333.45/62.70	c (44,0) c PropsBinClauses_1 : 39878527
333.45/62.70	c (44,0) c PropsBinClauses_2 : 35807283
333.45/62.70	c (44,0) c PropsBinClauses_3 : 34568260
333.45/62.70	c (44,0) c PropsBinClauses_4 : 38551588
333.45/62.70	c (44,0) c PropsBinClauses_5 : 36380910
333.45/62.70	c (44,0) c PropsBinClauses_6 : 40618488
333.45/62.70	c (44,0) c PropsBinClauses_7 : 40526417
333.45/62.70	c (44,0) c PropsBinClauses_total : 309217102
333.45/62.70	c (44,0) c PropsBinClauses_winner : 36380910
333.45/62.70	c (44,0) c PropsPreBlocker_0 : 361372196
333.45/62.70	c (44,0) c PropsPreBlocker_1 : 339871322
333.45/62.70	c (44,0) c PropsPreBlocker_2 : 348719139
333.45/62.70	c (44,0) c PropsPreBlocker_3 : 360637678
333.45/62.70	c (44,0) c PropsPreBlocker_4 : 326087663
333.45/62.70	c (44,0) c PropsPreBlocker_5 : 346598147
333.45/62.70	c (44,0) c PropsPreBlocker_6 : 360292103
333.45/62.70	c (44,0) c PropsPreBlocker_7 : 348780294
333.45/62.70	c (44,0) c PropsPreBlocker_total : 2792358542
333.45/62.70	c (44,0) c PropsPreBlocker_winner : 346598147
333.45/62.70	c (44,0) c PropsNotBlocker_0 : 161146374
333.45/62.70	c (44,0) c PropsNotBlocker_1 : 151882877
333.45/62.70	c (44,0) c PropsNotBlocker_2 : 156447049
333.45/62.70	c (44,0) c PropsNotBlocker_3 : 164902096
333.45/62.70	c (44,0) c PropsNotBlocker_4 : 148613881
333.45/62.70	c (44,0) c PropsNotBlocker_5 : 159104159
333.45/62.70	c (44,0) c PropsNotBlocker_6 : 159006480
333.45/62.70	c (44,0) c PropsNotBlocker_7 : 157783707
333.45/62.70	c (44,0) c PropsNotBlocker_total : 1258886623
333.45/62.70	c (44,0) c PropsNotBlocker_winner : 159104159
333.45/62.70	c (44,0) c PropsLitFullScans_0 : 828189671
333.45/62.70	c (44,0) c PropsLitFullScans_1 : 828188541
333.45/62.70	c (44,0) c PropsLitFullScans_2 : 840316766
333.45/62.70	c (44,0) c PropsLitFullScans_3 : 840164125
333.45/62.70	c (44,0) c PropsLitFullScans_4 : 832554411
333.45/62.70	c (44,0) c PropsLitFullScans_5 : 833551343
333.45/62.70	c (44,0) c PropsLitFullScans_6 : 863998114
333.45/62.70	c (44,0) c PropsLitFullScans_7 : 834286092
333.45/62.70	c (44,0) c PropsLitFullScans_total : 6701249063
333.45/62.70	c (44,0) c PropsLitFullScans_winner : 833551343
333.45/62.70	c (44,0) c LitScanFractions_0 : 170395
333.45/62.70	c (44,0) c LitScanFractions_1 : 177376
333.45/62.70	c (44,0) c LitScanFractions_2 : 305216
333.45/62.70	c (44,0) c LitScanFractions_3 : 151910
333.45/62.70	c (44,0) c LitScanFractions_4 : 238498
333.45/62.70	c (44,0) c LitScanFractions_5 : 183920
333.45/62.70	c (44,0) c LitScanFractions_6 : 251270
333.45/62.70	c (44,0) c LitScanFractions_7 : 268207
333.45/62.70	c (44,0) c LitScanFractions_total : 1746792
333.45/62.70	c (44,0) c LitScanFractions_winner : 183920
333.45/62.70	c (44,0) c DecisionLevel0_0 : 306
333.45/62.70	c (44,0) c DecisionLevel0_1 : 263
333.45/62.70	c (44,0) c DecisionLevel0_2 : 224
333.45/62.70	c (44,0) c DecisionLevel0_3 : 355
333.45/62.70	c (44,0) c DecisionLevel0_4 : 213
333.45/62.70	c (44,0) c DecisionLevel0_5 : 255
333.45/62.70	c (44,0) c DecisionLevel0_6 : 399
333.45/62.70	c (44,0) c DecisionLevel0_7 : 304
333.45/62.70	c (44,0) c DecisionLevel0_total : 2319
333.45/62.70	c (44,0) c DecisionLevel0_winner : 255
333.45/62.70	c (44,0) c Periods_0 : 138
333.45/62.70	c (44,0) c Periods_1 : 138
333.45/62.70	c (44,0) c Periods_2 : 140
333.45/62.70	c (44,0) c Periods_3 : 140
333.45/62.70	c (44,0) c Periods_4 : 138
333.45/62.70	c (44,0) c Periods_5 : 138
333.45/62.70	c (44,0) c Periods_6 : 143
333.45/62.70	c (44,0) c Periods_7 : 139
333.45/62.70	c (44,0) c Periods_total : 1114
333.45/62.70	c (44,0) c Periods_winner : 138
333.45/62.70	c (44,0) c Margin_0 : 20
333.45/62.70	c (44,0) c Margin_1 : 20
333.45/62.70	c (44,0) c Margin_2 : 20
333.45/62.70	c (44,0) c Margin_3 : 20
333.45/62.70	c (44,0) c Margin_4 : 20
333.45/62.70	c (44,0) c Margin_5 : 20
333.45/62.70	c (44,0) c Margin_6 : 20
333.45/62.70	c (44,0) c Margin_7 : 20
333.45/62.70	c (44,0) c Margin_total : 160
333.45/62.70	c (44,0) c Margin_winner : 20
333.45/62.70	c (44,0) c Exported_0 : 25071
333.45/62.70	c (44,0) c Exported_1 : 24452
333.45/62.70	c (44,0) c Exported_2 : 30893
333.45/62.70	c (44,0) c Exported_3 : 22839
333.45/62.70	c (44,0) c Exported_4 : 23651
333.45/62.70	c (44,0) c Exported_5 : 23147
333.45/62.70	c (44,0) c Exported_6 : 29838
333.45/62.70	c (44,0) c Exported_7 : 23989
333.45/62.70	c (44,0) c Exported_total : 203880
333.45/62.70	c (44,0) c Exported_winner : 23147
333.45/62.70	c (44,0) c Imported_0 : 151166
333.45/62.70	c (44,0) c Imported_1 : 152090
333.45/62.70	c (44,0) c Imported_2 : 152617
333.45/62.70	c (44,0) c Imported_3 : 155854
333.45/62.70	c (44,0) c Imported_4 : 155349
333.45/62.70	c (44,0) c Imported_5 : 151390
333.45/62.70	c (44,0) c Imported_6 : 156285
333.45/62.70	c (44,0) c Imported_7 : 156254
333.45/62.70	c (44,0) c Imported_total : 1231005
333.45/62.70	c (44,0) c Imported_winner : 151390
333.45/62.70	c (44,0) c Good_0 : 6758
333.45/62.70	c (44,0) c Good_1 : 7194
333.45/62.70	c (44,0) c Good_2 : 7423
333.45/62.70	c (44,0) c Good_3 : 7320
333.45/62.70	c (44,0) c Good_4 : 7253
333.45/62.70	c (44,0) c Good_5 : 7076
333.45/62.70	c (44,0) c Good_6 : 6710
333.45/62.70	c (44,0) c Good_7 : 6889
333.45/62.70	c (44,0) c Good_total : 56623
333.45/62.70	c (44,0) c Good_winner : 7076
333.45/62.70	c (44,0) c Purge_0 : 144408
333.45/62.70	c (44,0) c Purge_1 : 144896
333.45/62.70	c (44,0) c Purge_2 : 145194
333.45/62.70	c (44,0) c Purge_3 : 148534
333.45/62.70	c (44,0) c Purge_4 : 148096
333.45/62.70	c (44,0) c Purge_5 : 144314
333.45/62.70	c (44,0) c Purge_6 : 149575
333.45/62.70	c (44,0) c Purge_7 : 149365
333.45/62.70	c (44,0) c Purge_total : 1174382
333.45/62.70	c (44,0) c Purge_winner : 144314
333.45/62.70	c (44,0) c Promoted_0 : 520
333.45/62.70	c (44,0) c Promoted_1 : 1295
333.45/62.70	c (44,0) c Promoted_2 : 3856
333.45/62.70	c (44,0) c Promoted_3 : 3629
333.45/62.70	c (44,0) c Promoted_4 : 1050
333.45/62.70	c (44,0) c Promoted_5 : 2776
333.45/62.70	c (44,0) c Promoted_6 : 5672
333.45/62.70	c (44,0) c Promoted_7 : 2154
333.45/62.70	c (44,0) c Promoted_total : 20952
333.45/62.70	c (44,0) c Promoted_winner : 2776
333.45/62.70	c (44,0) c Remove_Imp_0 : 95626
333.45/62.70	c (44,0) c Remove_Imp_1 : 89706
333.45/62.70	c (44,0) c Remove_Imp_2 : 87919
333.45/62.70	c (44,0) c Remove_Imp_3 : 92443
333.45/62.70	c (44,0) c Remove_Imp_4 : 93754
333.45/62.70	c (44,0) c Remove_Imp_5 : 85643
333.45/62.70	c (44,0) c Remove_Imp_6 : 96413
333.45/62.70	c (44,0) c Remove_Imp_7 : 100656
333.45/62.70	c (44,0) c Remove_Imp_total : 742160
333.45/62.70	c (44,0) c Remove_Imp_winner : 85643
333.45/62.70	c (44,0) c Blocked_Reuse_0 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_1 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_2 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_3 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_4 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_5 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_6 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_7 : 0
333.45/62.70	c (44,0) c Blocked_Reuse_total : 0
333.45/62.70	c (44,0) c Blocked_Reuse_winner : 0
333.45/62.70	c (44,0) c Unaries_0 : 1
333.45/62.70	c (44,0) c Unaries_1 : 0
333.45/62.70	c (44,0) c Unaries_2 : 0
333.45/62.70	c (44,0) c Unaries_3 : 1
333.45/62.70	c (44,0) c Unaries_4 : 0
333.45/62.70	c (44,0) c Unaries_5 : 1
333.45/62.70	c (44,0) c Unaries_6 : 2
333.45/62.70	c (44,0) c Unaries_7 : 3
333.45/62.70	c (44,0) c Unaries_total : 8
333.45/62.70	c (44,0) c Unaries_winner : 1
333.45/62.70	c (44,0) c Binaries_0 : 1301
333.45/62.70	c (44,0) c Binaries_1 : 844
333.45/62.70	c (44,0) c Binaries_2 : 894
333.45/62.70	c (44,0) c Binaries_3 : 953
333.45/62.70	c (44,0) c Binaries_4 : 882
333.45/62.70	c (44,0) c Binaries_5 : 1021
333.45/62.70	c (44,0) c Binaries_6 : 1878
333.45/62.70	c (44,0) c Binaries_7 : 1321
333.45/62.70	c (44,0) c Binaries_total : 9094
333.45/62.70	c (44,0) c Binaries_winner : 1021
333.45/62.70	c (44,0) c Glues_0 : 5287
333.45/62.70	c (44,0) c Glues_1 : 2704
333.45/62.70	c (44,0) c Glues_2 : 4271
333.45/62.70	c (44,0) c Glues_3 : 4148
333.45/62.70	c (44,0) c Glues_4 : 2572
333.45/62.71	c (44,0) c Glues_5 : 3396
333.45/62.71	c (44,0) c Glues_6 : 6538
333.45/62.71	c (44,0) c Glues_7 : 4774
333.45/62.71	c (44,0) c Glues_total : 33690
333.45/62.71	c (44,0) c Glues_winner : 3396
333.45/62.71	c (44,0) c RunningTime_0 : 40.026847
333.45/62.71	c (44,0) c RunningTime_1 : 37.732198
333.45/62.71	c (44,0) c RunningTime_2 : 36.140145
333.45/62.71	c (44,0) c RunningTime_3 : 37.237001
333.45/62.71	c (44,0) c RunningTime_4 : 35.391763
333.45/62.71	c (44,0) c RunningTime_5 : 37.017100
333.45/62.71	c (44,0) c RunningTime_6 : 36.184652
333.45/62.71	c (44,0) c RunningTime_7 : 37.327572
333.45/62.71	c (44,0) c RunningTime_total : 297.057277
333.45/62.71	c (44,0) c RunningTime_winner : 37.017100
333.45/62.71	c (44,0) c WaitingTime_0 : 0.000172
333.45/62.71	c (44,0) c WaitingTime_1 : 0.000251
333.45/62.71	c (44,0) c WaitingTime_2 : 0.978528
333.45/62.71	c (44,0) c WaitingTime_3 : 0.000254
333.45/62.71	c (44,0) c WaitingTime_4 : 1.807211
333.45/62.71	c (44,0) c WaitingTime_5 : 0.000226
333.45/62.71	c (44,0) c WaitingTime_6 : 0.948196
333.45/62.71	c (44,0) c WaitingTime_7 : 0.000233
333.45/62.71	c (44,0) c WaitingTime_total : 3.735071
333.45/62.71	c (44,0) c WaitingTime_winner : 0.000226
333.45/62.71	c (44,0) c ExchangingTime_0 : 0.065991
333.45/62.71	c (44,0) c ExchangingTime_1 : 0.058233
333.45/62.71	c (44,0) c ExchangingTime_2 : 0.066486
333.45/62.71	c (44,0) c ExchangingTime_3 : 0.064805
333.45/62.71	c (44,0) c ExchangingTime_4 : 0.062809
333.45/62.71	c (44,0) c ExchangingTime_5 : 0.063287
333.45/62.71	c (44,0) c ExchangingTime_6 : 0.067799
333.45/62.71	c (44,0) c ExchangingTime_7 : 0.063968
333.45/62.71	c (44,0) c ExchangingTime_total : 0.513378
333.45/62.71	c (44,0) c ExchangingTime_winner : 0.063287
333.45/62.71	c (44,0) c PeriodProcTime_0 : 0.001423
333.45/62.71	c (44,0) c PeriodProcTime_1 : 0.001209
333.45/62.71	c (44,0) c PeriodProcTime_2 : 0.001501
333.45/62.71	c (44,0) c PeriodProcTime_3 : 0.001425
333.45/62.71	c (44,0) c PeriodProcTime_4 : 0.001372
333.45/62.71	c (44,0) c PeriodProcTime_5 : 0.001254
333.45/62.71	c (44,0) c PeriodProcTime_6 : 0.001550
333.45/62.71	c (44,0) c PeriodProcTime_7 : 0.001396
333.45/62.71	c (44,0) c PeriodProcTime_total : 0.011130
333.45/62.71	c (44,0) c PeriodProcTime_winner : 0.001254
333.45/62.71	c (44,0) c SolvingTime_0 : 40.094432
333.45/62.71	c (44,0) c SolvingTime_1 : 37.791892
333.45/62.71	c (44,0) c SolvingTime_2 : 37.186660
333.45/62.71	c (44,0) c SolvingTime_3 : 37.303484
333.45/62.71	c (44,0) c SolvingTime_4 : 37.263156
333.45/62.71	c (44,0) c SolvingTime_5 : 37.081867
333.45/62.71	c (44,0) c SolvingTime_6 : 37.202197
333.45/62.71	c (44,0) c SolvingTime_7 : 37.393169
333.45/62.71	c (44,0) c SolvingTime_total : 301.316857
333.45/62.71	c (44,0) c SolvingTime_winner : 37.081867
333.45/62.71	c (44,0) c PropagationTime_0 : 33.934887
333.45/62.71	c (44,0) c PropagationTime_1 : 31.576510
333.45/62.71	c (44,0) c PropagationTime_2 : 30.752142
333.45/62.71	c (44,0) c PropagationTime_3 : 31.176662
333.45/62.71	c (44,0) c PropagationTime_4 : 30.700725
333.45/62.71	c (44,0) c PropagationTime_5 : 30.972630
333.45/62.71	c (44,0) c PropagationTime_6 : 30.286863
333.45/62.71	c (44,0) c PropagationTime_7 : 31.161493
333.45/62.71	c (44,0) c PropagationTime_total : 250.561913
333.45/62.71	c (44,0) c PropagationTime_winner : 30.972630
333.45/62.71	c (44,0) c AnalysisTime_0 : 2.118276
333.45/62.71	c (44,0) c AnalysisTime_1 : 2.341616
333.45/62.71	c (44,0) c AnalysisTime_2 : 2.429824
333.45/62.71	c (44,0) c AnalysisTime_3 : 2.269459
333.45/62.71	c (44,0) c AnalysisTime_4 : 2.421091
333.45/62.71	c (44,0) c AnalysisTime_5 : 2.394201
333.45/62.71	c (44,0) c AnalysisTime_6 : 2.833978
333.45/62.71	c (44,0) c AnalysisTime_7 : 2.129170
333.45/62.71	c (44,0) c AnalysisTime_total : 18.937615
333.45/62.71	c (44,0) c AnalysisTime_winner : 2.394201
333.45/62.71	c (44,0) c ReductionTime_0 : 0.312313
333.45/62.71	c (44,0) c ReductionTime_1 : 0.361091
333.45/62.71	c (44,0) c ReductionTime_2 : 0.374901
333.45/62.71	c (44,0) c ReductionTime_3 : 0.347943
333.45/62.71	c (44,0) c ReductionTime_4 : 0.349653
333.45/62.71	c (44,0) c ReductionTime_5 : 0.333427
333.45/62.71	c (44,0) c ReductionTime_6 : 0.378062
333.45/62.71	c (44,0) c ReductionTime_7 : 0.346868
333.45/62.71	c (44,0) c ReductionTime_total : 2.804258
333.45/62.71	c (44,0) c ReductionTime_winner : 0.333427
333.45/62.71	c (44,0) c SimplifyTime_0 : 0.301176
333.45/62.71	c (44,0) c SimplifyTime_1 : 0.351357
333.45/62.71	c (44,0) c SimplifyTime_2 : 0.648648
333.45/62.71	c (44,0) c SimplifyTime_3 : 0.361411
333.45/62.71	c (44,0) c SimplifyTime_4 : 0.616404
333.45/62.71	c (44,0) c SimplifyTime_5 : 0.384838
333.45/62.71	c (44,0) c SimplifyTime_6 : 0.712067
333.45/62.71	c (44,0) c SimplifyTime_7 : 0.392025
333.45/62.71	c (44,0) c SimplifyTime_total : 3.767926
333.45/62.71	c (44,0) c SimplifyTime_winner : 0.384838
333.45/62.71	c (44,0) c UsedRateTime_0 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_1 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_2 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_3 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_4 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_5 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_6 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_7 : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_total : 0.000000
333.45/62.71	c (44,0) c UsedRateTime_winner : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_0 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_1 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_2 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_3 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_4 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_5 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_6 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_7 : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_total : 0.000000
333.45/62.71	c (44,0) c OverlapRateTime_winner : 0.000000
333.45/62.71	c (44,0) c
333.45/62.71	c (44,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
333.45/62.71	c (44,0) c
333.45/62.71	c (44,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.45/62.71	c (44,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
333.45/62.71	c (44,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.45/62.71	c (44,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
333.45/62.71	c (44,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
333.45/62.71	c (44,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
333.45/62.71	c (44,0) c | Initial random_seed   | 1886628614 |  613774217 |   92360710 | 1383257089 |  656772601 |  469894437 |   87941903 | 1935482240 |
333.45/62.71	c (44,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
333.45/62.71	c (44,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
333.45/62.71	c (44,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
333.45/62.71	c (44,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
333.45/62.71	c (44,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
333.45/62.71	c (44,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
333.45/62.71	c (44,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
333.45/62.71	c (44,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
333.45/62.71	c (44,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
333.45/62.71	c (44,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
333.45/62.71	c (44,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
333.45/62.71	c (44,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
333.45/62.71	c (44,0) 
333.45/62.71	c (44,0) s SATISFIABLE
334.27/63.13	c (44,0) SatSolver.solve End
334.27/63.13	c (44,0) Heap : 293 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
334.27/63.13	c (44,0) Show results Begin
334.64/63.33	c (45,0) cls[0] = 1
334.64/63.33	c (45,0) cls[1] = 16
334.64/63.33	c (45,0) cls[2] = 5
334.64/63.33	c (45,0) cls[3] = 5
334.64/63.33	c (45,0) cls[4] = 2
334.64/63.33	c (45,0) cls[5] = 2
334.64/63.33	c (45,0) cls[6] = 15
334.64/63.33	c (45,0) cls[7] = 5
334.64/63.33	c (45,0) cls[8] = 12
334.64/63.33	c (45,0) cls[9] = 5
334.64/63.33	c (45,0) cls[10] = 11
334.64/63.33	c (45,0) cls[11] = 2
334.64/63.33	c (45,0) cls[12] = 4
334.64/63.33	c (45,0) cls[13] = 5
334.64/63.33	c (45,0) cls[14] = 7
334.64/63.33	c (45,0) cls[15] = 11
334.64/63.33	c (45,0) cls[16] = 20
334.64/63.33	c (45,0) cls[17] = 15
334.64/63.33	c (45,0) cls[18] = 11
334.64/63.33	c (45,0) cls[19] = 4
334.64/63.33	c (45,0) cls[20] = 6
334.64/63.33	c (45,0) cls[21] = 21
334.64/63.33	c (45,0) cls[22] = 4
334.64/63.33	c (45,0) cls[23] = 16
334.64/63.33	c (45,0) cls[24] = 2
334.64/63.33	c (45,0) cls[25] = 4
334.64/63.33	c (45,0) cls[26] = 2
334.64/63.33	c (45,0) cls[27] = 4
334.64/63.33	c (45,0) cls[28] = 7
334.64/63.33	c (45,0) cls[29] = 2
334.64/63.33	c (45,0) cls[30] = 4
334.64/63.33	c (45,0) cls[31] = 5
334.64/63.33	c (45,0) cls[32] = 16
334.64/63.33	c (45,0) cls[33] = 21
334.64/63.33	c (45,0) cls[34] = 2
334.64/63.33	c (45,0) cls[35] = 6
334.64/63.33	c (45,0) cls[36] = 4
334.64/63.33	c (45,0) cls[37] = 5
334.64/63.33	c (45,0) cls[38] = 10
334.64/63.33	c (45,0) cls[39] = 21
334.64/63.33	c (45,0) cls[40] = 11
334.64/63.33	c (45,0) cls[41] = 2
334.64/63.33	c (45,0) cls[42] = 5
334.64/63.33	c (45,0) cls[43] = 10
334.64/63.33	c (45,0) cls[44] = 5
334.64/63.33	c (45,0) cls[45] = 5
334.64/63.33	c (45,0) cls[46] = 2
334.64/63.33	c (45,0) cls[47] = 4
334.64/63.33	c (45,0) cls[48] = 21
334.64/63.33	c (45,0) cls[49] = 3
334.64/63.33	c (45,0) cls[50] = 20
334.64/63.33	c (45,0) cls[51] = 5
334.64/63.33	c (45,0) cls[52] = 15
334.64/63.33	c (45,0) cls[53] = 5
334.64/63.33	c (45,0) cls[54] = 11
334.64/63.33	c (45,0) cls[55] = 2
334.64/63.33	c (45,0) cls[56] = 8
334.64/63.33	c (45,0) cls[57] = 5
334.64/63.33	c (45,0) cls[58] = 5
334.64/63.33	c (45,0) cls[59] = 6
334.64/63.33	c (45,0) cls[60] = 2
334.64/63.33	c (45,0) cls[61] = 7
334.64/63.33	c (45,0) cls[62] = 5
334.64/63.33	c (45,0) cls[63] = 15
334.64/63.33	c (45,0) cls[64] = 2
334.64/63.33	c (45,0) cls[65] = 19
334.64/63.33	c (45,0) cls[66] = 15
334.64/63.33	c (45,0) cls[67] = 5
334.64/63.33	c (45,0) cls[68] = 15
334.64/63.33	c (45,0) cls[69] = 2
334.64/63.33	c (45,0) cls[70] = 1
334.64/63.34	c (45,0) cls[71] = 5
334.64/63.34	c (45,0) cls[72] = 5
334.64/63.34	c (45,0) cls[73] = 16
334.64/63.34	c (45,0) cls[74] = 2
334.64/63.34	c (45,0) cls[75] = 7
334.64/63.34	c (45,0) cls[76] = 16
334.64/63.34	c (45,0) cls[77] = 2
334.64/63.34	c (45,0) cls[78] = 5
334.64/63.34	c (45,0) cls[79] = 9
334.64/63.34	c (45,0) cls[80] = 2
334.64/63.34	c (45,0) cls[81] = 15
334.64/63.34	c (45,0) cls[82] = 16
334.64/63.34	c (45,0) cls[83] = 0
334.64/63.34	c (45,0) cls[84] = 21
334.64/63.34	c (45,0) cls[85] = 16
334.64/63.34	c (45,0) cls[86] = 2
334.64/63.34	c (45,0) cls[87] = 5
334.64/63.34	c (45,0) cls[88] = 2
334.64/63.34	c (45,0) cls[89] = 12
334.64/63.34	c (45,0) cls[90] = 5
334.64/63.34	c (45,0) cls[91] = 15
334.64/63.34	c (45,0) cls[92] = 2
334.64/63.34	c (45,0) cls[93] = 20
334.64/63.34	c (45,0) cls[94] = 4
334.64/63.34	c (45,0) cls[95] = 7
334.64/63.34	c (45,0) cls[96] = 17
334.64/63.34	c (45,0) cls[97] = 2
334.64/63.34	c (45,0) cls[98] = 5
334.64/63.34	c (45,0) cls[99] = 5
334.64/63.34	c (45,0) cls[100] = 10
334.64/63.34	c (45,0) cls[101] = 2
334.64/63.34	c (45,0) cls[102] = 4
334.64/63.34	c (45,0) cls[103] = 7
334.64/63.34	c (45,0) cls[104] = 2
334.64/63.34	c (45,0) cls[105] = 4
334.64/63.34	c (45,0) cls[106] = 2
334.64/63.34	c (45,0) cls[107] = 9
334.64/63.34	c (45,0) cls[108] = 5
334.64/63.34	c (45,0) cls[109] = 2
334.64/63.34	c (45,0) cls[110] = 7
334.64/63.34	c (45,0) cls[111] = 10
334.64/63.34	c (45,0) cls[112] = 5
334.64/63.34	c (45,0) cls[113] = 0
334.64/63.34	c (45,0) cls[114] = 16
334.64/63.34	c (45,0) cls[115] = 7
334.64/63.34	c (45,0) cls[116] = 5
334.64/63.34	c (45,0) cls[117] = 4
334.64/63.34	c (45,0) cls[118] = 6
334.64/63.34	c (45,0) cls[119] = 3
334.64/63.34	c (45,0) cls[120] = 5
334.64/63.34	c (45,0) cls[121] = 16
334.64/63.34	c (45,0) cls[122] = 7
334.64/63.34	c (45,0) cls[123] = 2
334.64/63.34	c (45,0) cls[124] = 4
334.64/63.34	c (45,0) cls[125] = 16
334.64/63.34	c (45,0) cls[126] = 4
334.64/63.34	c (45,0) cls[127] = 11
334.64/63.34	c (45,0) cls[128] = 16
334.64/63.34	c (45,0) cls[129] = 7
334.64/63.34	c (45,0) cls[130] = 2
334.64/63.34	c (45,0) cls[131] = 16
334.64/63.34	c (45,0) cls[132] = 15
334.64/63.34	c (45,0) cls[133] = 5
334.64/63.34	c (45,0) cls[134] = 11
334.64/63.34	c (45,0) cls[135] = 16
334.64/63.34	c (45,0) cls[136] = 5
334.64/63.34	c (45,0) cls[137] = 3
334.64/63.34	c (45,0) cls[138] = 5
334.64/63.34	c (45,0) cls[139] = 15
334.64/63.34	c (45,0) cls[140] = 20
334.64/63.34	c (45,0) cls[141] = 5
334.64/63.34	c (45,0) cls[142] = 3
334.64/63.34	c (45,0) cls[143] = 14
334.64/63.34	c (45,0) cls[144] = 11
334.64/63.34	c (45,0) cls[145] = 15
334.64/63.34	c (45,0) cls[146] = 20
334.64/63.34	c (45,0) cls[147] = 2
334.64/63.34	c (45,0) cls[148] = 21
334.64/63.34	c (45,0) cls[149] = 13
334.64/63.34	c (45,0) cls[150] = 5
334.64/63.34	c (45,0) cls[151] = 15
334.64/63.34	c (45,0) cls[152] = 2
334.64/63.34	c (45,0) cls[153] = 12
334.64/63.34	c (45,0) cls[154] = 19
334.64/63.34	c (45,0) cls[155] = 5
334.64/63.34	c (45,0) cls[156] = 15
334.64/63.34	c (45,0) cls[157] = 2
334.64/63.34	c (45,0) cls[158] = 18
334.64/63.34	c (45,0) cls[159] = 11
334.64/63.34	c (45,0) cls[160] = 15
334.64/63.34	c (45,0) cls[161] = 5
334.64/63.34	c (45,0) cls[162] = 2
334.64/63.34	c (45,0) cls[163] = 5
334.64/63.34	c (45,0) cls[164] = 21
334.64/63.34	c (45,0) cls[165] = 2
334.64/63.34	c (45,0) cls[166] = 4
334.64/63.34	c (45,0) cls[167] = 16
334.64/63.34	c (45,0) cls[168] = 11
334.64/63.34	c (45,0) cls[169] = 7
334.64/63.34	c (45,0) cls[170] = 11
334.64/63.34	c (45,0) cls[171] = 15
334.64/63.34	c (45,0) cls[172] = 5
334.64/63.34	c (45,0) cls[173] = 5
334.64/63.34	c (45,0) cls[174] = 12
334.64/63.34	c (45,0) cls[175] = 5
334.64/63.34	c (45,0) cls[176] = 11
334.64/63.34	c (45,0) cls[177] = 2
334.64/63.34	c (45,0) cls[178] = 15
334.64/63.34	c (45,0) cls[179] = 7
334.64/63.34	c (45,0) cls[180] = 5
334.64/63.34	c (45,0) cls[181] = 11
334.64/63.34	c (45,0) cls[182] = 6
334.64/63.34	c (45,0) cls[183] = 4
334.64/63.34	c (45,0) cls[184] = 7
334.64/63.34	c (45,0) cls[185] = 16
334.64/63.34	c (45,0) cls[186] = 5
334.64/63.34	c (45,0) cls[187] = 5
334.64/63.34	c (45,0) cls[188] = 2
334.64/63.34	c (45,0) cls[189] = 21
334.64/63.34	c (45,0) cls[190] = 0
334.64/63.34	c (45,0) cls[191] = 16
334.64/63.34	c (45,0) cls[192] = 5
334.64/63.34	c (45,0) cls[193] = 3
334.64/63.34	c (45,0) cls[194] = 14
334.64/63.34	c (45,0) cls[195] = 3
334.64/63.34	c (45,0) cls[196] = 5
334.64/63.34	c (45,0) cls[197] = 15
334.64/63.34	c (45,0) cls[198] = 2
334.64/63.34	c (45,0) cls[199] = 18
334.64/63.34	c (45,0) opt[0][0] = 0
334.64/63.34	c (45,0) opt[0][1] = 0
334.64/63.34	c (45,0) opt[0][2] = 0
334.64/63.34	c (45,0) opt[0][3] = 1
334.64/63.34	c (45,0) opt[0][4] = 1
334.64/63.34	c (45,0) opt[1][0] = 0
334.64/63.34	c (45,0) opt[1][1] = 0
334.64/63.34	c (45,0) opt[1][2] = 1
334.64/63.34	c (45,0) opt[1][3] = 0
334.64/63.34	c (45,0) opt[1][4] = 0
334.64/63.34	c (45,0) opt[2][0] = 0
334.64/63.34	c (45,0) opt[2][1] = 1
334.64/63.34	c (45,0) opt[2][2] = 0
334.64/63.34	c (45,0) opt[2][3] = 0
334.64/63.34	c (45,0) opt[2][4] = 0
334.64/63.34	c (45,0) opt[3][0] = 0
334.64/63.34	c (45,0) opt[3][1] = 1
334.64/63.34	c (45,0) opt[3][2] = 0
334.64/63.34	c (45,0) opt[3][3] = 0
334.64/63.34	c (45,0) opt[3][4] = 0
334.64/63.34	c (45,0) opt[4][0] = 0
334.64/63.34	c (45,0) opt[4][1] = 0
334.64/63.34	c (45,0) opt[4][2] = 0
334.64/63.34	c (45,0) opt[4][3] = 1
334.64/63.34	c (45,0) opt[4][4] = 0
334.64/63.34	c (45,0) opt[5][0] = 0
334.64/63.34	c (45,0) opt[5][1] = 0
334.64/63.34	c (45,0) opt[5][2] = 0
334.64/63.34	c (45,0) opt[5][3] = 1
334.64/63.34	c (45,0) opt[5][4] = 0
334.64/63.34	c (45,0) opt[6][0] = 1
334.64/63.34	c (45,0) opt[6][1] = 0
334.64/63.34	c (45,0) opt[6][2] = 0
334.64/63.34	c (45,0) opt[6][3] = 0
334.64/63.34	c (45,0) opt[6][4] = 0
334.64/63.34	c (45,0) opt[7][0] = 0
334.64/63.34	c (45,0) opt[7][1] = 1
334.64/63.34	c (45,0) opt[7][2] = 0
334.64/63.34	c (45,0) opt[7][3] = 0
334.64/63.34	c (45,0) opt[7][4] = 0
334.64/63.34	c (45,0) opt[8][0] = 1
334.64/63.34	c (45,0) opt[8][1] = 0
334.64/63.34	c (45,0) opt[8][2] = 0
334.64/63.34	c (45,0) opt[8][3] = 0
334.64/63.34	c (45,0) opt[8][4] = 1
334.64/63.34	c (45,0) opt[9][0] = 0
334.64/63.34	c (45,0) opt[9][1] = 1
334.64/63.34	c (45,0) opt[9][2] = 0
334.64/63.34	c (45,0) opt[9][3] = 0
334.64/63.34	c (45,0) opt[9][4] = 0
334.64/63.34	c (45,0) opt[10][0] = 0
334.64/63.34	c (45,0) opt[10][1] = 1
334.64/63.34	c (45,0) opt[10][2] = 0
334.64/63.34	c (45,0) opt[10][3] = 1
334.64/63.34	c (45,0) opt[10][4] = 0
334.64/63.34	c (45,0) opt[11][0] = 0
334.64/63.34	c (45,0) opt[11][1] = 0
334.64/63.34	c (45,0) opt[11][2] = 0
334.64/63.34	c (45,0) opt[11][3] = 1
334.64/63.34	c (45,0) opt[11][4] = 0
334.64/63.34	c (45,0) opt[12][0] = 1
334.64/63.34	c (45,0) opt[12][1] = 1
334.64/63.34	c (45,0) opt[12][2] = 0
334.64/63.34	c (45,0) opt[12][3] = 0
334.64/63.34	c (45,0) opt[12][4] = 0
334.64/63.34	c (45,0) opt[13][0] = 0
334.64/63.34	c (45,0) opt[13][1] = 1
334.64/63.34	c (45,0) opt[13][2] = 0
334.64/63.34	c (45,0) opt[13][3] = 0
334.64/63.34	c (45,0) opt[13][4] = 0
334.64/63.34	c (45,0) opt[14][0] = 0
334.64/63.34	c (45,0) opt[14][1] = 0
334.64/63.34	c (45,0) opt[14][2] = 0
334.64/63.34	c (45,0) opt[14][3] = 0
334.64/63.34	c (45,0) opt[14][4] = 1
334.64/63.34	c (45,0) opt[15][0] = 0
334.64/63.34	c (45,0) opt[15][1] = 1
334.64/63.34	c (45,0) opt[15][2] = 0
334.64/63.34	c (45,0) opt[15][3] = 1
334.64/63.34	c (45,0) opt[15][4] = 0
334.64/63.34	c (45,0) opt[16][0] = 0
334.64/63.34	c (45,0) opt[16][1] = 1
334.64/63.34	c (45,0) opt[16][2] = 1
334.64/63.34	c (45,0) opt[16][3] = 0
334.64/63.34	c (45,0) opt[16][4] = 0
334.64/63.34	c (45,0) opt[17][0] = 1
334.64/63.34	c (45,0) opt[17][1] = 0
334.64/63.34	c (45,0) opt[17][2] = 0
334.64/63.34	c (45,0) opt[17][3] = 0
334.64/63.34	c (45,0) opt[17][4] = 0
334.64/63.34	c (45,0) opt[18][0] = 0
334.64/63.34	c (45,0) opt[18][1] = 1
334.64/63.34	c (45,0) opt[18][2] = 0
334.64/63.34	c (45,0) opt[18][3] = 1
334.64/63.34	c (45,0) opt[18][4] = 0
334.64/63.34	c (45,0) opt[19][0] = 1
334.64/63.34	c (45,0) opt[19][1] = 1
334.64/63.34	c (45,0) opt[19][2] = 0
334.64/63.34	c (45,0) opt[19][3] = 0
334.64/63.34	c (45,0) opt[19][4] = 0
334.64/63.34	c (45,0) opt[20][0] = 0
334.64/63.34	c (45,0) opt[20][1] = 0
334.64/63.34	c (45,0) opt[20][2] = 1
334.64/63.34	c (45,0) opt[20][3] = 1
334.64/63.34	c (45,0) opt[20][4] = 0
334.64/63.34	c (45,0) opt[21][0] = 0
334.64/63.34	c (45,0) opt[21][1] = 1
334.64/63.34	c (45,0) opt[21][2] = 0
334.64/63.34	c (45,0) opt[21][3] = 0
334.64/63.34	c (45,0) opt[21][4] = 1
334.64/63.34	c (45,0) opt[22][0] = 1
334.64/63.34	c (45,0) opt[22][1] = 1
334.64/63.34	c (45,0) opt[22][2] = 0
334.64/63.34	c (45,0) opt[22][3] = 0
334.64/63.34	c (45,0) opt[22][4] = 0
334.64/63.34	c (45,0) opt[23][0] = 0
334.64/63.34	c (45,0) opt[23][1] = 0
334.64/63.34	c (45,0) opt[23][2] = 1
334.64/63.34	c (45,0) opt[23][3] = 0
334.64/63.34	c (45,0) opt[23][4] = 0
334.64/63.34	c (45,0) opt[24][0] = 0
334.64/63.34	c (45,0) opt[24][1] = 0
334.64/63.34	c (45,0) opt[24][2] = 0
334.64/63.34	c (45,0) opt[24][3] = 1
334.64/63.34	c (45,0) opt[24][4] = 0
334.64/63.34	c (45,0) opt[25][0] = 1
334.64/63.34	c (45,0) opt[25][1] = 1
334.64/63.34	c (45,0) opt[25][2] = 0
334.64/63.34	c (45,0) opt[25][3] = 0
334.64/63.34	c (45,0) opt[25][4] = 0
334.64/63.34	c (45,0) opt[26][0] = 0
334.64/63.34	c (45,0) opt[26][1] = 0
334.64/63.34	c (45,0) opt[26][2] = 0
334.64/63.34	c (45,0) opt[26][3] = 1
334.64/63.34	c (45,0) opt[26][4] = 0
334.64/63.34	c (45,0) opt[27][0] = 1
334.64/63.34	c (45,0) opt[27][1] = 1
334.64/63.34	c (45,0) opt[27][2] = 0
334.64/63.34	c (45,0) opt[27][3] = 0
334.64/63.34	c (45,0) opt[27][4] = 0
334.64/63.34	c (45,0) opt[28][0] = 0
334.64/63.34	c (45,0) opt[28][1] = 0
334.64/63.34	c (45,0) opt[28][2] = 0
334.64/63.34	c (45,0) opt[28][3] = 0
334.64/63.34	c (45,0) opt[28][4] = 1
334.64/63.34	c (45,0) opt[29][0] = 0
334.64/63.34	c (45,0) opt[29][1] = 0
334.64/63.34	c (45,0) opt[29][2] = 0
334.64/63.34	c (45,0) opt[29][3] = 1
334.64/63.34	c (45,0) opt[29][4] = 0
334.64/63.34	c (45,0) opt[30][0] = 1
334.64/63.34	c (45,0) opt[30][1] = 1
334.64/63.34	c (45,0) opt[30][2] = 0
334.64/63.34	c (45,0) opt[30][3] = 0
334.64/63.34	c (45,0) opt[30][4] = 0
334.64/63.34	c (45,0) opt[31][0] = 0
334.64/63.34	c (45,0) opt[31][1] = 1
334.64/63.34	c (45,0) opt[31][2] = 0
334.64/63.34	c (45,0) opt[31][3] = 0
334.64/63.34	c (45,0) opt[31][4] = 0
334.64/63.34	c (45,0) opt[32][0] = 0
334.64/63.34	c (45,0) opt[32][1] = 0
334.64/63.34	c (45,0) opt[32][2] = 1
334.64/63.34	c (45,0) opt[32][3] = 0
334.64/63.34	c (45,0) opt[32][4] = 0
334.64/63.34	c (45,0) opt[33][0] = 0
334.64/63.34	c (45,0) opt[33][1] = 1
334.64/63.34	c (45,0) opt[33][2] = 0
334.64/63.34	c (45,0) opt[33][3] = 0
334.64/63.34	c (45,0) opt[33][4] = 1
334.64/63.34	c (45,0) opt[34][0] = 0
334.64/63.34	c (45,0) opt[34][1] = 0
334.64/63.34	c (45,0) opt[34][2] = 0
334.64/63.34	c (45,0) opt[34][3] = 1
334.64/63.34	c (45,0) opt[34][4] = 0
334.64/63.34	c (45,0) opt[35][0] = 0
334.64/63.34	c (45,0) opt[35][1] = 0
334.64/63.34	c (45,0) opt[35][2] = 1
334.64/63.34	c (45,0) opt[35][3] = 1
334.64/63.34	c (45,0) opt[35][4] = 0
334.64/63.34	c (45,0) opt[36][0] = 1
334.64/63.34	c (45,0) opt[36][1] = 1
334.64/63.34	c (45,0) opt[36][2] = 0
334.64/63.34	c (45,0) opt[36][3] = 0
334.64/63.34	c (45,0) opt[36][4] = 0
334.64/63.34	c (45,0) opt[37][0] = 0
334.64/63.34	c (45,0) opt[37][1] = 1
334.64/63.34	c (45,0) opt[37][2] = 0
334.64/63.34	c (45,0) opt[37][3] = 0
334.64/63.34	c (45,0) opt[37][4] = 0
334.64/63.34	c (45,0) opt[38][0] = 1
334.64/63.34	c (45,0) opt[38][1] = 0
334.64/63.34	c (45,0) opt[38][2] = 1
334.64/63.34	c (45,0) opt[38][3] = 0
334.64/63.34	c (45,0) opt[38][4] = 0
334.64/63.34	c (45,0) opt[39][0] = 0
334.64/63.34	c (45,0) opt[39][1] = 1
334.64/63.34	c (45,0) opt[39][2] = 0
334.64/63.34	c (45,0) opt[39][3] = 0
334.64/63.34	c (45,0) opt[39][4] = 1
334.64/63.34	c (45,0) opt[40][0] = 0
334.64/63.34	c (45,0) opt[40][1] = 1
334.64/63.34	c (45,0) opt[40][2] = 0
334.64/63.34	c (45,0) opt[40][3] = 1
334.64/63.34	c (45,0) opt[40][4] = 0
334.64/63.34	c (45,0) opt[41][0] = 0
334.64/63.34	c (45,0) opt[41][1] = 0
334.64/63.34	c (45,0) opt[41][2] = 0
334.64/63.34	c (45,0) opt[41][3] = 1
334.64/63.34	c (45,0) opt[41][4] = 0
334.64/63.34	c (45,0) opt[42][0] = 0
334.64/63.34	c (45,0) opt[42][1] = 1
334.64/63.34	c (45,0) opt[42][2] = 0
334.64/63.34	c (45,0) opt[42][3] = 0
334.64/63.34	c (45,0) opt[42][4] = 0
334.64/63.34	c (45,0) opt[43][0] = 1
334.64/63.34	c (45,0) opt[43][1] = 0
334.64/63.34	c (45,0) opt[43][2] = 1
334.64/63.34	c (45,0) opt[43][3] = 0
334.64/63.34	c (45,0) opt[43][4] = 0
334.64/63.34	c (45,0) opt[44][0] = 0
334.64/63.34	c (45,0) opt[44][1] = 1
334.64/63.34	c (45,0) opt[44][2] = 0
334.64/63.34	c (45,0) opt[44][3] = 0
334.64/63.34	c (45,0) opt[44][4] = 0
334.64/63.34	c (45,0) opt[45][0] = 0
334.64/63.34	c (45,0) opt[45][1] = 1
334.64/63.34	c (45,0) opt[45][2] = 0
334.64/63.34	c (45,0) opt[45][3] = 0
334.64/63.34	c (45,0) opt[45][4] = 0
334.64/63.34	c (45,0) opt[46][0] = 0
334.64/63.34	c (45,0) opt[46][1] = 0
334.64/63.34	c (45,0) opt[46][2] = 0
334.64/63.34	c (45,0) opt[46][3] = 1
334.64/63.34	c (45,0) opt[46][4] = 0
334.64/63.34	c (45,0) opt[47][0] = 1
334.64/63.34	c (45,0) opt[47][1] = 1
334.64/63.34	c (45,0) opt[47][2] = 0
334.64/63.34	c (45,0) opt[47][3] = 0
334.64/63.34	c (45,0) opt[47][4] = 0
334.64/63.34	c (45,0) opt[48][0] = 0
334.64/63.34	c (45,0) opt[48][1] = 1
334.64/63.34	c (45,0) opt[48][2] = 0
334.64/63.34	c (45,0) opt[48][3] = 0
334.64/63.34	c (45,0) opt[48][4] = 1
334.64/63.34	c (45,0) opt[49][0] = 1
334.64/63.34	c (45,0) opt[49][1] = 0
334.64/63.34	c (45,0) opt[49][2] = 0
334.64/63.34	c (45,0) opt[49][3] = 1
334.64/63.34	c (45,0) opt[49][4] = 0
334.64/63.34	c (45,0) opt[50][0] = 0
334.64/63.34	c (45,0) opt[50][1] = 1
334.64/63.34	c (45,0) opt[50][2] = 1
334.64/63.34	c (45,0) opt[50][3] = 0
334.64/63.34	c (45,0) opt[50][4] = 0
334.64/63.34	c (45,0) opt[51][0] = 0
334.64/63.34	c (45,0) opt[51][1] = 1
334.64/63.34	c (45,0) opt[51][2] = 0
334.64/63.34	c (45,0) opt[51][3] = 0
334.64/63.34	c (45,0) opt[51][4] = 0
334.64/63.34	c (45,0) opt[52][0] = 1
334.64/63.34	c (45,0) opt[52][1] = 0
334.64/63.34	c (45,0) opt[52][2] = 0
334.64/63.34	c (45,0) opt[52][3] = 0
334.64/63.34	c (45,0) opt[52][4] = 0
334.64/63.34	c (45,0) opt[53][0] = 0
334.64/63.34	c (45,0) opt[53][1] = 1
334.64/63.34	c (45,0) opt[53][2] = 0
334.64/63.34	c (45,0) opt[53][3] = 0
334.64/63.34	c (45,0) opt[53][4] = 0
334.64/63.34	c (45,0) opt[54][0] = 0
334.64/63.34	c (45,0) opt[54][1] = 1
334.64/63.34	c (45,0) opt[54][2] = 0
334.64/63.34	c (45,0) opt[54][3] = 1
334.64/63.34	c (45,0) opt[54][4] = 0
334.64/63.34	c (45,0) opt[55][0] = 0
334.64/63.34	c (45,0) opt[55][1] = 0
334.64/63.34	c (45,0) opt[55][2] = 0
334.64/63.34	c (45,0) opt[55][3] = 1
334.64/63.34	c (45,0) opt[55][4] = 0
334.64/63.34	c (45,0) opt[56][0] = 1
334.64/63.34	c (45,0) opt[56][1] = 0
334.64/63.34	c (45,0) opt[56][2] = 1
334.64/63.34	c (45,0) opt[56][3] = 0
334.64/63.34	c (45,0) opt[56][4] = 1
334.64/63.34	c (45,0) opt[57][0] = 0
334.64/63.34	c (45,0) opt[57][1] = 1
334.64/63.34	c (45,0) opt[57][2] = 0
334.64/63.34	c (45,0) opt[57][3] = 0
334.64/63.34	c (45,0) opt[57][4] = 0
334.64/63.34	c (45,0) opt[58][0] = 0
334.64/63.34	c (45,0) opt[58][1] = 1
334.64/63.34	c (45,0) opt[58][2] = 0
334.64/63.34	c (45,0) opt[58][3] = 0
334.64/63.34	c (45,0) opt[58][4] = 0
334.64/63.34	c (45,0) opt[59][0] = 0
334.64/63.34	c (45,0) opt[59][1] = 0
334.64/63.34	c (45,0) opt[59][2] = 1
334.64/63.34	c (45,0) opt[59][3] = 1
334.64/63.34	c (45,0) opt[59][4] = 0
334.64/63.34	c (45,0) opt[60][0] = 0
334.64/63.34	c (45,0) opt[60][1] = 0
334.64/63.34	c (45,0) opt[60][2] = 0
334.64/63.34	c (45,0) opt[60][3] = 1
334.64/63.34	c (45,0) opt[60][4] = 0
334.64/63.34	c (45,0) opt[61][0] = 0
334.64/63.34	c (45,0) opt[61][1] = 0
334.64/63.34	c (45,0) opt[61][2] = 0
334.64/63.34	c (45,0) opt[61][3] = 0
334.64/63.34	c (45,0) opt[61][4] = 1
334.64/63.34	c (45,0) opt[62][0] = 0
334.64/63.34	c (45,0) opt[62][1] = 1
334.64/63.34	c (45,0) opt[62][2] = 0
334.64/63.34	c (45,0) opt[62][3] = 0
334.64/63.34	c (45,0) opt[62][4] = 0
334.64/63.34	c (45,0) opt[63][0] = 1
334.64/63.34	c (45,0) opt[63][1] = 0
334.64/63.34	c (45,0) opt[63][2] = 0
334.64/63.35	c (45,0) opt[63][3] = 0
334.64/63.35	c (45,0) opt[63][4] = 0
334.64/63.35	c (45,0) opt[64][0] = 0
334.64/63.35	c (45,0) opt[64][1] = 0
334.64/63.35	c (45,0) opt[64][2] = 0
334.64/63.35	c (45,0) opt[64][3] = 1
334.64/63.35	c (45,0) opt[64][4] = 0
334.64/63.35	c (45,0) opt[65][0] = 0
334.64/63.35	c (45,0) opt[65][1] = 1
334.64/63.35	c (45,0) opt[65][2] = 1
334.64/63.35	c (45,0) opt[65][3] = 1
334.64/63.35	c (45,0) opt[65][4] = 0
334.64/63.35	c (45,0) opt[66][0] = 1
334.64/63.35	c (45,0) opt[66][1] = 0
334.64/63.35	c (45,0) opt[66][2] = 0
334.64/63.35	c (45,0) opt[66][3] = 0
334.64/63.35	c (45,0) opt[66][4] = 0
334.64/63.35	c (45,0) opt[67][0] = 0
334.64/63.35	c (45,0) opt[67][1] = 1
334.64/63.35	c (45,0) opt[67][2] = 0
334.64/63.35	c (45,0) opt[67][3] = 0
334.64/63.35	c (45,0) opt[67][4] = 0
334.64/63.35	c (45,0) opt[68][0] = 1
334.64/63.35	c (45,0) opt[68][1] = 0
334.64/63.35	c (45,0) opt[68][2] = 0
334.64/63.35	c (45,0) opt[68][3] = 0
334.64/63.35	c (45,0) opt[68][4] = 0
334.64/63.35	c (45,0) opt[69][0] = 0
334.64/63.35	c (45,0) opt[69][1] = 0
334.64/63.35	c (45,0) opt[69][2] = 0
334.64/63.35	c (45,0) opt[69][3] = 1
334.64/63.35	c (45,0) opt[69][4] = 0
334.64/63.35	c (45,0) opt[70][0] = 0
334.64/63.35	c (45,0) opt[70][1] = 0
334.64/63.35	c (45,0) opt[70][2] = 0
334.64/63.35	c (45,0) opt[70][3] = 1
334.64/63.35	c (45,0) opt[70][4] = 1
334.64/63.35	c (45,0) opt[71][0] = 0
334.64/63.35	c (45,0) opt[71][1] = 1
334.64/63.35	c (45,0) opt[71][2] = 0
334.64/63.35	c (45,0) opt[71][3] = 0
334.64/63.35	c (45,0) opt[71][4] = 0
334.64/63.35	c (45,0) opt[72][0] = 0
334.64/63.35	c (45,0) opt[72][1] = 1
334.64/63.35	c (45,0) opt[72][2] = 0
334.64/63.35	c (45,0) opt[72][3] = 0
334.64/63.35	c (45,0) opt[72][4] = 0
334.64/63.35	c (45,0) opt[73][0] = 0
334.64/63.35	c (45,0) opt[73][1] = 0
334.64/63.35	c (45,0) opt[73][2] = 1
334.64/63.35	c (45,0) opt[73][3] = 0
334.64/63.35	c (45,0) opt[73][4] = 0
334.64/63.35	c (45,0) opt[74][0] = 0
334.64/63.35	c (45,0) opt[74][1] = 0
334.64/63.35	c (45,0) opt[74][2] = 0
334.64/63.35	c (45,0) opt[74][3] = 1
334.64/63.35	c (45,0) opt[74][4] = 0
334.64/63.35	c (45,0) opt[75][0] = 0
334.64/63.35	c (45,0) opt[75][1] = 0
334.64/63.35	c (45,0) opt[75][2] = 0
334.64/63.35	c (45,0) opt[75][3] = 0
334.64/63.35	c (45,0) opt[75][4] = 1
334.64/63.35	c (45,0) opt[76][0] = 0
334.64/63.35	c (45,0) opt[76][1] = 0
334.64/63.35	c (45,0) opt[76][2] = 1
334.64/63.35	c (45,0) opt[76][3] = 0
334.64/63.35	c (45,0) opt[76][4] = 0
334.64/63.35	c (45,0) opt[77][0] = 0
334.64/63.35	c (45,0) opt[77][1] = 0
334.64/63.35	c (45,0) opt[77][2] = 0
334.64/63.35	c (45,0) opt[77][3] = 1
334.64/63.35	c (45,0) opt[77][4] = 0
334.64/63.35	c (45,0) opt[78][0] = 0
334.64/63.35	c (45,0) opt[78][1] = 1
334.64/63.35	c (45,0) opt[78][2] = 0
334.64/63.35	c (45,0) opt[78][3] = 0
334.64/63.35	c (45,0) opt[78][4] = 0
334.64/63.35	c (45,0) opt[79][0] = 1
334.64/63.35	c (45,0) opt[79][1] = 1
334.64/63.35	c (45,0) opt[79][2] = 1
334.64/63.35	c (45,0) opt[79][3] = 0
334.64/63.35	c (45,0) opt[79][4] = 0
334.64/63.35	c (45,0) opt[80][0] = 0
334.64/63.35	c (45,0) opt[80][1] = 0
334.64/63.35	c (45,0) opt[80][2] = 0
334.64/63.35	c (45,0) opt[80][3] = 1
334.64/63.35	c (45,0) opt[80][4] = 0
334.64/63.35	c (45,0) opt[81][0] = 1
334.64/63.35	c (45,0) opt[81][1] = 0
334.64/63.35	c (45,0) opt[81][2] = 0
334.64/63.35	c (45,0) opt[81][3] = 0
334.64/63.35	c (45,0) opt[81][4] = 0
334.64/63.35	c (45,0) opt[82][0] = 0
334.64/63.35	c (45,0) opt[82][1] = 0
334.64/63.35	c (45,0) opt[82][2] = 1
334.64/63.35	c (45,0) opt[82][3] = 0
334.64/63.35	c (45,0) opt[82][4] = 0
334.64/63.35	c (45,0) opt[83][0] = 1
334.64/63.35	c (45,0) opt[83][1] = 1
334.64/63.35	c (45,0) opt[83][2] = 0
334.64/63.35	c (45,0) opt[83][3] = 1
334.64/63.35	c (45,0) opt[83][4] = 0
334.64/63.35	c (45,0) opt[84][0] = 0
334.64/63.35	c (45,0) opt[84][1] = 1
334.64/63.35	c (45,0) opt[84][2] = 0
334.64/63.35	c (45,0) opt[84][3] = 0
334.64/63.35	c (45,0) opt[84][4] = 1
334.64/63.35	c (45,0) opt[85][0] = 0
334.64/63.35	c (45,0) opt[85][1] = 0
334.64/63.35	c (45,0) opt[85][2] = 1
334.64/63.35	c (45,0) opt[85][3] = 0
334.64/63.35	c (45,0) opt[85][4] = 0
334.64/63.35	c (45,0) opt[86][0] = 0
334.64/63.35	c (45,0) opt[86][1] = 0
334.64/63.35	c (45,0) opt[86][2] = 0
334.64/63.35	c (45,0) opt[86][3] = 1
334.64/63.35	c (45,0) opt[86][4] = 0
334.64/63.35	c (45,0) opt[87][0] = 0
334.64/63.35	c (45,0) opt[87][1] = 1
334.64/63.35	c (45,0) opt[87][2] = 0
334.64/63.35	c (45,0) opt[87][3] = 0
334.64/63.35	c (45,0) opt[87][4] = 0
334.64/63.35	c (45,0) opt[88][0] = 0
334.64/63.35	c (45,0) opt[88][1] = 0
334.64/63.35	c (45,0) opt[88][2] = 0
334.64/63.35	c (45,0) opt[88][3] = 1
334.64/63.35	c (45,0) opt[88][4] = 0
334.64/63.35	c (45,0) opt[89][0] = 1
334.64/63.35	c (45,0) opt[89][1] = 0
334.64/63.35	c (45,0) opt[89][2] = 0
334.64/63.35	c (45,0) opt[89][3] = 0
334.64/63.35	c (45,0) opt[89][4] = 1
334.64/63.35	c (45,0) opt[90][0] = 0
334.64/63.35	c (45,0) opt[90][1] = 1
334.64/63.35	c (45,0) opt[90][2] = 0
334.64/63.35	c (45,0) opt[90][3] = 0
334.64/63.35	c (45,0) opt[90][4] = 0
334.64/63.35	c (45,0) opt[91][0] = 1
334.64/63.35	c (45,0) opt[91][1] = 0
334.64/63.35	c (45,0) opt[91][2] = 0
334.64/63.35	c (45,0) opt[91][3] = 0
334.64/63.35	c (45,0) opt[91][4] = 0
334.64/63.35	c (45,0) opt[92][0] = 0
334.64/63.35	c (45,0) opt[92][1] = 0
334.64/63.35	c (45,0) opt[92][2] = 0
334.64/63.35	c (45,0) opt[92][3] = 1
334.64/63.35	c (45,0) opt[92][4] = 0
334.64/63.35	c (45,0) opt[93][0] = 0
334.64/63.35	c (45,0) opt[93][1] = 1
334.64/63.35	c (45,0) opt[93][2] = 1
334.64/63.35	c (45,0) opt[93][3] = 0
334.64/63.35	c (45,0) opt[93][4] = 0
334.64/63.35	c (45,0) opt[94][0] = 1
334.64/63.35	c (45,0) opt[94][1] = 1
334.64/63.35	c (45,0) opt[94][2] = 0
334.64/63.35	c (45,0) opt[94][3] = 0
334.64/63.35	c (45,0) opt[94][4] = 0
334.64/63.35	c (45,0) opt[95][0] = 0
334.64/63.35	c (45,0) opt[95][1] = 0
334.64/63.35	c (45,0) opt[95][2] = 0
334.64/63.35	c (45,0) opt[95][3] = 0
334.64/63.35	c (45,0) opt[95][4] = 1
334.64/63.35	c (45,0) opt[96][0] = 1
334.64/63.35	c (45,0) opt[96][1] = 1
334.64/63.35	c (45,0) opt[96][2] = 1
334.64/63.35	c (45,0) opt[96][3] = 1
334.64/63.35	c (45,0) opt[96][4] = 0
334.64/63.35	c (45,0) opt[97][0] = 0
334.64/63.35	c (45,0) opt[97][1] = 0
334.64/63.35	c (45,0) opt[97][2] = 0
334.64/63.35	c (45,0) opt[97][3] = 1
334.64/63.35	c (45,0) opt[97][4] = 0
334.64/63.35	c (45,0) opt[98][0] = 0
334.64/63.35	c (45,0) opt[98][1] = 1
334.64/63.35	c (45,0) opt[98][2] = 0
334.64/63.35	c (45,0) opt[98][3] = 0
334.64/63.35	c (45,0) opt[98][4] = 0
334.64/63.35	c (45,0) opt[99][0] = 0
334.64/63.35	c (45,0) opt[99][1] = 1
334.64/63.35	c (45,0) opt[99][2] = 0
334.64/63.35	c (45,0) opt[99][3] = 0
334.64/63.35	c (45,0) opt[99][4] = 0
334.64/63.35	c (45,0) opt[100][0] = 1
334.64/63.35	c (45,0) opt[100][1] = 0
334.64/63.35	c (45,0) opt[100][2] = 1
334.64/63.35	c (45,0) opt[100][3] = 0
334.64/63.35	c (45,0) opt[100][4] = 0
334.64/63.35	c (45,0) opt[101][0] = 0
334.64/63.35	c (45,0) opt[101][1] = 0
334.64/63.35	c (45,0) opt[101][2] = 0
334.64/63.35	c (45,0) opt[101][3] = 1
334.64/63.35	c (45,0) opt[101][4] = 0
334.64/63.35	c (45,0) opt[102][0] = 1
334.64/63.35	c (45,0) opt[102][1] = 1
334.64/63.35	c (45,0) opt[102][2] = 0
334.64/63.35	c (45,0) opt[102][3] = 0
334.64/63.35	c (45,0) opt[102][4] = 0
334.64/63.35	c (45,0) opt[103][0] = 0
334.64/63.35	c (45,0) opt[103][1] = 0
334.64/63.35	c (45,0) opt[103][2] = 0
334.64/63.35	c (45,0) opt[103][3] = 0
334.64/63.35	c (45,0) opt[103][4] = 1
334.64/63.35	c (45,0) opt[104][0] = 0
334.64/63.35	c (45,0) opt[104][1] = 0
334.64/63.35	c (45,0) opt[104][2] = 0
334.64/63.35	c (45,0) opt[104][3] = 1
334.64/63.35	c (45,0) opt[104][4] = 0
334.64/63.35	c (45,0) opt[105][0] = 1
334.64/63.35	c (45,0) opt[105][1] = 1
334.64/63.35	c (45,0) opt[105][2] = 0
334.64/63.35	c (45,0) opt[105][3] = 0
334.64/63.35	c (45,0) opt[105][4] = 0
334.64/63.35	c (45,0) opt[106][0] = 0
334.64/63.35	c (45,0) opt[106][1] = 0
334.64/63.35	c (45,0) opt[106][2] = 0
334.64/63.35	c (45,0) opt[106][3] = 1
334.64/63.35	c (45,0) opt[106][4] = 0
334.64/63.35	c (45,0) opt[107][0] = 1
334.64/63.35	c (45,0) opt[107][1] = 1
334.64/63.35	c (45,0) opt[107][2] = 1
334.64/63.35	c (45,0) opt[107][3] = 0
334.64/63.35	c (45,0) opt[107][4] = 0
334.64/63.35	c (45,0) opt[108][0] = 0
334.64/63.35	c (45,0) opt[108][1] = 1
334.64/63.35	c (45,0) opt[108][2] = 0
334.64/63.35	c (45,0) opt[108][3] = 0
334.64/63.35	c (45,0) opt[108][4] = 0
334.64/63.35	c (45,0) opt[109][0] = 0
334.64/63.35	c (45,0) opt[109][1] = 0
334.64/63.35	c (45,0) opt[109][2] = 0
334.64/63.35	c (45,0) opt[109][3] = 1
334.64/63.35	c (45,0) opt[109][4] = 0
334.64/63.35	c (45,0) opt[110][0] = 0
334.64/63.35	c (45,0) opt[110][1] = 0
334.64/63.35	c (45,0) opt[110][2] = 0
334.64/63.35	c (45,0) opt[110][3] = 0
334.64/63.35	c (45,0) opt[110][4] = 1
334.64/63.35	c (45,0) opt[111][0] = 1
334.64/63.35	c (45,0) opt[111][1] = 0
334.64/63.35	c (45,0) opt[111][2] = 1
334.64/63.35	c (45,0) opt[111][3] = 0
334.64/63.35	c (45,0) opt[111][4] = 0
334.64/63.35	c (45,0) opt[112][0] = 0
334.64/63.35	c (45,0) opt[112][1] = 1
334.64/63.35	c (45,0) opt[112][2] = 0
334.64/63.35	c (45,0) opt[112][3] = 0
334.64/63.35	c (45,0) opt[112][4] = 0
334.64/63.35	c (45,0) opt[113][0] = 1
334.64/63.35	c (45,0) opt[113][1] = 1
334.64/63.35	c (45,0) opt[113][2] = 0
334.64/63.35	c (45,0) opt[113][3] = 1
334.64/63.35	c (45,0) opt[113][4] = 0
334.64/63.35	c (45,0) opt[114][0] = 0
334.64/63.35	c (45,0) opt[114][1] = 0
334.64/63.35	c (45,0) opt[114][2] = 1
334.64/63.35	c (45,0) opt[114][3] = 0
334.64/63.35	c (45,0) opt[114][4] = 0
334.64/63.35	c (45,0) opt[115][0] = 0
334.64/63.35	c (45,0) opt[115][1] = 0
334.64/63.35	c (45,0) opt[115][2] = 0
334.64/63.35	c (45,0) opt[115][3] = 0
334.64/63.35	c (45,0) opt[115][4] = 1
334.64/63.35	c (45,0) opt[116][0] = 0
334.64/63.35	c (45,0) opt[116][1] = 1
334.64/63.35	c (45,0) opt[116][2] = 0
334.64/63.35	c (45,0) opt[116][3] = 0
334.64/63.35	c (45,0) opt[116][4] = 0
334.64/63.35	c (45,0) opt[117][0] = 1
334.64/63.35	c (45,0) opt[117][1] = 1
334.64/63.35	c (45,0) opt[117][2] = 0
334.64/63.35	c (45,0) opt[117][3] = 0
334.64/63.35	c (45,0) opt[117][4] = 0
334.64/63.35	c (45,0) opt[118][0] = 0
334.64/63.35	c (45,0) opt[118][1] = 0
334.64/63.35	c (45,0) opt[118][2] = 1
334.64/63.35	c (45,0) opt[118][3] = 1
334.64/63.35	c (45,0) opt[118][4] = 0
334.64/63.35	c (45,0) opt[119][0] = 1
334.64/63.35	c (45,0) opt[119][1] = 0
334.64/63.35	c (45,0) opt[119][2] = 0
334.64/63.35	c (45,0) opt[119][3] = 1
334.64/63.35	c (45,0) opt[119][4] = 0
334.64/63.35	c (45,0) opt[120][0] = 0
334.64/63.35	c (45,0) opt[120][1] = 1
334.64/63.35	c (45,0) opt[120][2] = 0
334.64/63.35	c (45,0) opt[120][3] = 0
334.64/63.35	c (45,0) opt[120][4] = 0
334.64/63.35	c (45,0) opt[121][0] = 0
334.64/63.35	c (45,0) opt[121][1] = 0
334.64/63.35	c (45,0) opt[121][2] = 1
334.64/63.35	c (45,0) opt[121][3] = 0
334.64/63.35	c (45,0) opt[121][4] = 0
334.64/63.35	c (45,0) opt[122][0] = 0
334.64/63.35	c (45,0) opt[122][1] = 0
334.64/63.35	c (45,0) opt[122][2] = 0
334.64/63.35	c (45,0) opt[122][3] = 0
334.64/63.35	c (45,0) opt[122][4] = 1
334.64/63.35	c (45,0) opt[123][0] = 0
334.64/63.35	c (45,0) opt[123][1] = 0
334.64/63.35	c (45,0) opt[123][2] = 0
334.64/63.35	c (45,0) opt[123][3] = 1
334.64/63.35	c (45,0) opt[123][4] = 0
334.64/63.35	c (45,0) opt[124][0] = 1
334.64/63.35	c (45,0) opt[124][1] = 1
334.64/63.35	c (45,0) opt[124][2] = 0
334.64/63.35	c (45,0) opt[124][3] = 0
334.64/63.35	c (45,0) opt[124][4] = 0
334.64/63.35	c (45,0) opt[125][0] = 0
334.64/63.35	c (45,0) opt[125][1] = 0
334.64/63.35	c (45,0) opt[125][2] = 1
334.64/63.35	c (45,0) opt[125][3] = 0
334.64/63.35	c (45,0) opt[125][4] = 0
334.64/63.35	c (45,0) opt[126][0] = 1
334.64/63.35	c (45,0) opt[126][1] = 1
334.64/63.35	c (45,0) opt[126][2] = 0
334.64/63.35	c (45,0) opt[126][3] = 0
334.64/63.35	c (45,0) opt[126][4] = 0
334.64/63.35	c (45,0) opt[127][0] = 0
334.64/63.35	c (45,0) opt[127][1] = 1
334.64/63.35	c (45,0) opt[127][2] = 0
334.64/63.35	c (45,0) opt[127][3] = 1
334.64/63.35	c (45,0) opt[127][4] = 0
334.64/63.35	c (45,0) opt[128][0] = 0
334.64/63.35	c (45,0) opt[128][1] = 0
334.64/63.35	c (45,0) opt[128][2] = 1
334.64/63.35	c (45,0) opt[128][3] = 0
334.64/63.35	c (45,0) opt[128][4] = 0
334.64/63.35	c (45,0) opt[129][0] = 0
334.64/63.35	c (45,0) opt[129][1] = 0
334.64/63.35	c (45,0) opt[129][2] = 0
334.64/63.35	c (45,0) opt[129][3] = 0
334.64/63.35	c (45,0) opt[129][4] = 1
334.64/63.35	c (45,0) opt[130][0] = 0
334.64/63.35	c (45,0) opt[130][1] = 0
334.64/63.35	c (45,0) opt[130][2] = 0
334.64/63.35	c (45,0) opt[130][3] = 1
334.64/63.35	c (45,0) opt[130][4] = 0
334.64/63.35	c (45,0) opt[131][0] = 0
334.64/63.35	c (45,0) opt[131][1] = 0
334.64/63.35	c (45,0) opt[131][2] = 1
334.64/63.35	c (45,0) opt[131][3] = 0
334.64/63.35	c (45,0) opt[131][4] = 0
334.64/63.35	c (45,0) opt[132][0] = 1
334.64/63.35	c (45,0) opt[132][1] = 0
334.64/63.35	c (45,0) opt[132][2] = 0
334.64/63.35	c (45,0) opt[132][3] = 0
334.64/63.35	c (45,0) opt[132][4] = 0
334.64/63.35	c (45,0) opt[133][0] = 0
334.64/63.35	c (45,0) opt[133][1] = 1
334.64/63.35	c (45,0) opt[133][2] = 0
334.64/63.35	c (45,0) opt[133][3] = 0
334.64/63.35	c (45,0) opt[133][4] = 0
334.64/63.35	c (45,0) opt[134][0] = 0
334.64/63.35	c (45,0) opt[134][1] = 1
334.64/63.35	c (45,0) opt[134][2] = 0
334.64/63.35	c (45,0) opt[134][3] = 1
334.64/63.35	c (45,0) opt[134][4] = 0
334.64/63.35	c (45,0) opt[135][0] = 0
334.64/63.35	c (45,0) opt[135][1] = 0
334.64/63.35	c (45,0) opt[135][2] = 1
334.64/63.35	c (45,0) opt[135][3] = 0
334.64/63.35	c (45,0) opt[135][4] = 0
334.64/63.35	c (45,0) opt[136][0] = 0
334.64/63.35	c (45,0) opt[136][1] = 1
334.64/63.35	c (45,0) opt[136][2] = 0
334.64/63.35	c (45,0) opt[136][3] = 0
334.64/63.35	c (45,0) opt[136][4] = 0
334.64/63.35	c (45,0) opt[137][0] = 1
334.64/63.35	c (45,0) opt[137][1] = 0
334.64/63.35	c (45,0) opt[137][2] = 0
334.64/63.35	c (45,0) opt[137][3] = 1
334.64/63.35	c (45,0) opt[137][4] = 0
334.64/63.35	c (45,0) opt[138][0] = 0
334.64/63.35	c (45,0) opt[138][1] = 1
334.64/63.35	c (45,0) opt[138][2] = 0
334.64/63.35	c (45,0) opt[138][3] = 0
334.64/63.35	c (45,0) opt[138][4] = 0
334.64/63.35	c (45,0) opt[139][0] = 1
334.64/63.35	c (45,0) opt[139][1] = 0
334.64/63.35	c (45,0) opt[139][2] = 0
334.64/63.35	c (45,0) opt[139][3] = 0
334.64/63.35	c (45,0) opt[139][4] = 0
334.64/63.35	c (45,0) opt[140][0] = 0
334.64/63.35	c (45,0) opt[140][1] = 1
334.64/63.35	c (45,0) opt[140][2] = 1
334.64/63.35	c (45,0) opt[140][3] = 0
334.64/63.35	c (45,0) opt[140][4] = 0
334.64/63.35	c (45,0) opt[141][0] = 0
334.64/63.35	c (45,0) opt[141][1] = 1
334.64/63.35	c (45,0) opt[141][2] = 0
334.64/63.35	c (45,0) opt[141][3] = 0
334.64/63.35	c (45,0) opt[141][4] = 0
334.64/63.35	c (45,0) opt[142][0] = 1
334.64/63.35	c (45,0) opt[142][1] = 0
334.64/63.35	c (45,0) opt[142][2] = 0
334.64/63.35	c (45,0) opt[142][3] = 1
334.64/63.35	c (45,0) opt[142][4] = 0
334.64/63.35	c (45,0) opt[143][0] = 0
334.64/63.35	c (45,0) opt[143][1] = 1
334.64/63.35	c (45,0) opt[143][2] = 1
334.64/63.35	c (45,0) opt[143][3] = 0
334.64/63.35	c (45,0) opt[143][4] = 1
334.64/63.35	c (45,0) opt[144][0] = 0
334.64/63.35	c (45,0) opt[144][1] = 1
334.64/63.35	c (45,0) opt[144][2] = 0
334.64/63.35	c (45,0) opt[144][3] = 1
334.64/63.35	c (45,0) opt[144][4] = 0
334.64/63.35	c (45,0) opt[145][0] = 1
334.64/63.35	c (45,0) opt[145][1] = 0
334.64/63.35	c (45,0) opt[145][2] = 0
334.64/63.35	c (45,0) opt[145][3] = 0
334.64/63.35	c (45,0) opt[145][4] = 0
334.64/63.35	c (45,0) opt[146][0] = 0
334.64/63.35	c (45,0) opt[146][1] = 1
334.64/63.35	c (45,0) opt[146][2] = 1
334.64/63.35	c (45,0) opt[146][3] = 0
334.64/63.35	c (45,0) opt[146][4] = 0
334.64/63.35	c (45,0) opt[147][0] = 0
334.64/63.35	c (45,0) opt[147][1] = 0
334.64/63.35	c (45,0) opt[147][2] = 0
334.64/63.35	c (45,0) opt[147][3] = 1
334.64/63.35	c (45,0) opt[147][4] = 0
334.64/63.35	c (45,0) opt[148][0] = 0
334.64/63.35	c (45,0) opt[148][1] = 1
334.64/63.35	c (45,0) opt[148][2] = 0
334.64/63.35	c (45,0) opt[148][3] = 0
334.64/63.35	c (45,0) opt[148][4] = 1
334.64/63.35	c (45,0) opt[149][0] = 1
334.64/63.35	c (45,0) opt[149][1] = 0
334.64/63.35	c (45,0) opt[149][2] = 1
334.64/63.35	c (45,0) opt[149][3] = 1
334.64/63.35	c (45,0) opt[149][4] = 0
334.64/63.35	c (45,0) opt[150][0] = 0
334.64/63.35	c (45,0) opt[150][1] = 1
334.64/63.35	c (45,0) opt[150][2] = 0
334.64/63.35	c (45,0) opt[150][3] = 0
334.64/63.35	c (45,0) opt[150][4] = 0
334.64/63.35	c (45,0) opt[151][0] = 1
334.64/63.35	c (45,0) opt[151][1] = 0
334.64/63.35	c (45,0) opt[151][2] = 0
334.64/63.35	c (45,0) opt[151][3] = 0
334.64/63.35	c (45,0) opt[151][4] = 0
334.64/63.35	c (45,0) opt[152][0] = 0
334.64/63.35	c (45,0) opt[152][1] = 0
334.64/63.35	c (45,0) opt[152][2] = 0
334.64/63.35	c (45,0) opt[152][3] = 1
334.64/63.35	c (45,0) opt[152][4] = 0
334.64/63.35	c (45,0) opt[153][0] = 1
334.64/63.35	c (45,0) opt[153][1] = 0
334.64/63.35	c (45,0) opt[153][2] = 0
334.64/63.35	c (45,0) opt[153][3] = 0
334.64/63.35	c (45,0) opt[153][4] = 1
334.64/63.35	c (45,0) opt[154][0] = 0
334.64/63.35	c (45,0) opt[154][1] = 1
334.64/63.35	c (45,0) opt[154][2] = 1
334.64/63.35	c (45,0) opt[154][3] = 1
334.64/63.35	c (45,0) opt[154][4] = 0
334.64/63.35	c (45,0) opt[155][0] = 0
334.64/63.35	c (45,0) opt[155][1] = 1
334.64/63.35	c (45,0) opt[155][2] = 0
334.64/63.35	c (45,0) opt[155][3] = 0
334.64/63.35	c (45,0) opt[155][4] = 0
334.64/63.35	c (45,0) opt[156][0] = 1
334.64/63.35	c (45,0) opt[156][1] = 0
334.64/63.35	c (45,0) opt[156][2] = 0
334.64/63.35	c (45,0) opt[156][3] = 0
334.64/63.35	c (45,0) opt[156][4] = 0
334.64/63.35	c (45,0) opt[157][0] = 0
334.64/63.35	c (45,0) opt[157][1] = 0
334.64/63.35	c (45,0) opt[157][2] = 0
334.64/63.35	c (45,0) opt[157][3] = 1
334.64/63.35	c (45,0) opt[157][4] = 0
334.64/63.35	c (45,0) opt[158][0] = 1
334.64/63.35	c (45,0) opt[158][1] = 1
334.64/63.35	c (45,0) opt[158][2] = 1
334.64/63.35	c (45,0) opt[158][3] = 0
334.64/63.35	c (45,0) opt[158][4] = 1
334.64/63.35	c (45,0) opt[159][0] = 0
334.64/63.35	c (45,0) opt[159][1] = 1
334.64/63.35	c (45,0) opt[159][2] = 0
334.64/63.35	c (45,0) opt[159][3] = 1
334.64/63.35	c (45,0) opt[159][4] = 0
334.64/63.35	c (45,0) opt[160][0] = 1
334.64/63.35	c (45,0) opt[160][1] = 0
334.64/63.35	c (45,0) opt[160][2] = 0
334.64/63.35	c (45,0) opt[160][3] = 0
334.64/63.35	c (45,0) opt[160][4] = 0
334.64/63.35	c (45,0) opt[161][0] = 0
334.64/63.35	c (45,0) opt[161][1] = 1
334.64/63.35	c (45,0) opt[161][2] = 0
334.64/63.35	c (45,0) opt[161][3] = 0
334.64/63.35	c (45,0) opt[161][4] = 0
334.64/63.35	c (45,0) opt[162][0] = 0
334.64/63.35	c (45,0) opt[162][1] = 0
334.64/63.35	c (45,0) opt[162][2] = 0
334.64/63.35	c (45,0) opt[162][3] = 1
334.64/63.35	c (45,0) opt[162][4] = 0
334.64/63.35	c (45,0) opt[163][0] = 0
334.64/63.35	c (45,0) opt[163][1] = 1
334.64/63.35	c (45,0) opt[163][2] = 0
334.64/63.35	c (45,0) opt[163][3] = 0
334.64/63.35	c (45,0) opt[163][4] = 0
334.64/63.35	c (45,0) opt[164][0] = 0
334.64/63.35	c (45,0) opt[164][1] = 1
334.64/63.35	c (45,0) opt[164][2] = 0
334.64/63.35	c (45,0) opt[164][3] = 0
334.64/63.35	c (45,0) opt[164][4] = 1
334.64/63.35	c (45,0) opt[165][0] = 0
334.64/63.35	c (45,0) opt[165][1] = 0
334.64/63.35	c (45,0) opt[165][2] = 0
334.64/63.35	c (45,0) opt[165][3] = 1
334.64/63.35	c (45,0) opt[165][4] = 0
334.64/63.35	c (45,0) opt[166][0] = 1
334.64/63.35	c (45,0) opt[166][1] = 1
334.64/63.35	c (45,0) opt[166][2] = 0
334.64/63.35	c (45,0) opt[166][3] = 0
334.64/63.35	c (45,0) opt[166][4] = 0
334.64/63.35	c (45,0) opt[167][0] = 0
334.64/63.35	c (45,0) opt[167][1] = 0
334.64/63.35	c (45,0) opt[167][2] = 1
334.64/63.35	c (45,0) opt[167][3] = 0
334.64/63.35	c (45,0) opt[167][4] = 0
334.64/63.35	c (45,0) opt[168][0] = 0
334.64/63.35	c (45,0) opt[168][1] = 1
334.64/63.35	c (45,0) opt[168][2] = 0
334.64/63.35	c (45,0) opt[168][3] = 1
334.64/63.35	c (45,0) opt[168][4] = 0
334.64/63.35	c (45,0) opt[169][0] = 0
334.64/63.35	c (45,0) opt[169][1] = 0
334.64/63.35	c (45,0) opt[169][2] = 0
334.64/63.35	c (45,0) opt[169][3] = 0
334.64/63.35	c (45,0) opt[169][4] = 1
334.64/63.35	c (45,0) opt[170][0] = 0
334.64/63.35	c (45,0) opt[170][1] = 1
334.64/63.35	c (45,0) opt[170][2] = 0
334.64/63.35	c (45,0) opt[170][3] = 1
334.64/63.35	c (45,0) opt[170][4] = 0
334.64/63.35	c (45,0) opt[171][0] = 1
334.64/63.35	c (45,0) opt[171][1] = 0
334.64/63.35	c (45,0) opt[171][2] = 0
334.64/63.35	c (45,0) opt[171][3] = 0
334.64/63.35	c (45,0) opt[171][4] = 0
334.64/63.35	c (45,0) opt[172][0] = 0
334.64/63.35	c (45,0) opt[172][1] = 1
334.64/63.35	c (45,0) opt[172][2] = 0
334.64/63.35	c (45,0) opt[172][3] = 0
334.64/63.35	c (45,0) opt[172][4] = 0
334.64/63.35	c (45,0) opt[173][0] = 0
334.64/63.35	c (45,0) opt[173][1] = 1
334.64/63.35	c (45,0) opt[173][2] = 0
334.64/63.35	c (45,0) opt[173][3] = 0
334.64/63.35	c (45,0) opt[173][4] = 0
334.64/63.35	c (45,0) opt[174][0] = 1
334.64/63.35	c (45,0) opt[174][1] = 0
334.64/63.35	c (45,0) opt[174][2] = 0
334.64/63.35	c (45,0) opt[174][3] = 0
334.64/63.35	c (45,0) opt[174][4] = 1
334.64/63.35	c (45,0) opt[175][0] = 0
334.64/63.35	c (45,0) opt[175][1] = 1
334.64/63.35	c (45,0) opt[175][2] = 0
334.64/63.35	c (45,0) opt[175][3] = 0
334.64/63.35	c (45,0) opt[175][4] = 0
334.64/63.35	c (45,0) opt[176][0] = 0
334.64/63.35	c (45,0) opt[176][1] = 1
334.64/63.35	c (45,0) opt[176][2] = 0
334.64/63.35	c (45,0) opt[176][3] = 1
334.64/63.35	c (45,0) opt[176][4] = 0
334.64/63.35	c (45,0) opt[177][0] = 0
334.64/63.35	c (45,0) opt[177][1] = 0
334.64/63.35	c (45,0) opt[177][2] = 0
334.64/63.35	c (45,0) opt[177][3] = 1
334.64/63.35	c (45,0) opt[177][4] = 0
334.64/63.35	c (45,0) opt[178][0] = 1
334.64/63.35	c (45,0) opt[178][1] = 0
334.64/63.35	c (45,0) opt[178][2] = 0
334.64/63.35	c (45,0) opt[178][3] = 0
334.64/63.35	c (45,0) opt[178][4] = 0
334.64/63.35	c (45,0) opt[179][0] = 0
334.64/63.35	c (45,0) opt[179][1] = 0
334.64/63.35	c (45,0) opt[179][2] = 0
334.64/63.35	c (45,0) opt[179][3] = 0
334.64/63.35	c (45,0) opt[179][4] = 1
334.64/63.35	c (45,0) opt[180][0] = 0
334.64/63.35	c (45,0) opt[180][1] = 1
334.64/63.35	c (45,0) opt[180][2] = 0
334.64/63.35	c (45,0) opt[180][3] = 0
334.64/63.35	c (45,0) opt[180][4] = 0
334.64/63.35	c (45,0) opt[181][0] = 0
334.64/63.35	c (45,0) opt[181][1] = 1
334.64/63.35	c (45,0) opt[181][2] = 0
334.64/63.35	c (45,0) opt[181][3] = 1
334.64/63.35	c (45,0) opt[181][4] = 0
334.64/63.35	c (45,0) opt[182][0] = 0
334.64/63.35	c (45,0) opt[182][1] = 0
334.64/63.35	c (45,0) opt[182][2] = 1
334.64/63.35	c (45,0) opt[182][3] = 1
334.64/63.35	c (45,0) opt[182][4] = 0
334.64/63.35	c (45,0) opt[183][0] = 1
334.64/63.35	c (45,0) opt[183][1] = 1
334.64/63.35	c (45,0) opt[183][2] = 0
334.64/63.35	c (45,0) opt[183][3] = 0
334.64/63.35	c (45,0) opt[183][4] = 0
334.64/63.35	c (45,0) opt[184][0] = 0
334.64/63.35	c (45,0) opt[184][1] = 0
334.64/63.35	c (45,0) opt[184][2] = 0
334.64/63.35	c (45,0) opt[184][3] = 0
334.64/63.35	c (45,0) opt[184][4] = 1
334.64/63.35	c (45,0) opt[185][0] = 0
334.64/63.35	c (45,0) opt[185][1] = 0
334.64/63.35	c (45,0) opt[185][2] = 1
334.64/63.35	c (45,0) opt[185][3] = 0
334.64/63.35	c (45,0) opt[185][4] = 0
334.64/63.35	c (45,0) opt[186][0] = 0
334.64/63.35	c (45,0) opt[186][1] = 1
334.64/63.35	c (45,0) opt[186][2] = 0
334.64/63.35	c (45,0) opt[186][3] = 0
334.64/63.35	c (45,0) opt[186][4] = 0
334.64/63.35	c (45,0) opt[187][0] = 0
334.64/63.35	c (45,0) opt[187][1] = 1
334.64/63.35	c (45,0) opt[187][2] = 0
334.64/63.35	c (45,0) opt[187][3] = 0
334.64/63.35	c (45,0) opt[187][4] = 0
334.64/63.35	c (45,0) opt[188][0] = 0
334.64/63.35	c (45,0) opt[188][1] = 0
334.64/63.35	c (45,0) opt[188][2] = 0
334.64/63.35	c (45,0) opt[188][3] = 1
334.64/63.35	c (45,0) opt[188][4] = 0
334.64/63.35	c (45,0) opt[189][0] = 0
334.64/63.35	c (45,0) opt[189][1] = 1
334.64/63.35	c (45,0) opt[189][2] = 0
334.64/63.35	c (45,0) opt[189][3] = 0
334.64/63.35	c (45,0) opt[189][4] = 1
334.64/63.35	c (45,0) opt[190][0] = 1
334.64/63.35	c (45,0) opt[190][1] = 1
334.64/63.35	c (45,0) opt[190][2] = 0
334.64/63.35	c (45,0) opt[190][3] = 1
334.64/63.35	c (45,0) opt[190][4] = 0
334.64/63.35	c (45,0) opt[191][0] = 0
334.64/63.35	c (45,0) opt[191][1] = 0
334.64/63.35	c (45,0) opt[191][2] = 1
334.64/63.35	c (45,0) opt[191][3] = 0
334.64/63.35	c (45,0) opt[191][4] = 0
334.64/63.35	c (45,0) opt[192][0] = 0
334.64/63.35	c (45,0) opt[192][1] = 1
334.64/63.35	c (45,0) opt[192][2] = 0
334.64/63.35	c (45,0) opt[192][3] = 0
334.64/63.35	c (45,0) opt[192][4] = 0
334.64/63.35	c (45,0) opt[193][0] = 1
334.64/63.35	c (45,0) opt[193][1] = 0
334.64/63.35	c (45,0) opt[193][2] = 0
334.64/63.35	c (45,0) opt[193][3] = 1
334.64/63.35	c (45,0) opt[193][4] = 0
334.64/63.35	c (45,0) opt[194][0] = 0
334.64/63.35	c (45,0) opt[194][1] = 1
334.64/63.35	c (45,0) opt[194][2] = 1
334.64/63.35	c (45,0) opt[194][3] = 0
334.64/63.35	c (45,0) opt[194][4] = 1
334.64/63.35	c (45,0) opt[195][0] = 1
334.64/63.35	c (45,0) opt[195][1] = 0
334.64/63.35	c (45,0) opt[195][2] = 0
334.64/63.35	c (45,0) opt[195][3] = 1
334.64/63.35	c (45,0) opt[195][4] = 0
334.64/63.35	c (45,0) opt[196][0] = 0
334.64/63.35	c (45,0) opt[196][1] = 1
334.64/63.35	c (45,0) opt[196][2] = 0
334.64/63.35	c (45,0) opt[196][3] = 0
334.64/63.35	c (45,0) opt[196][4] = 0
334.64/63.35	c (45,0) opt[197][0] = 1
334.64/63.35	c (45,0) opt[197][1] = 0
334.64/63.35	c (45,0) opt[197][2] = 0
334.64/63.35	c (45,0) opt[197][3] = 0
334.64/63.35	c (45,0) opt[197][4] = 0
334.64/63.35	c (45,0) opt[198][0] = 0
334.64/63.35	c (45,0) opt[198][1] = 0
334.64/63.35	c (45,0) opt[198][2] = 0
334.64/63.35	c (45,0) opt[198][3] = 1
334.64/63.35	c (45,0) opt[198][4] = 0
334.64/63.35	c (45,0) opt[199][0] = 1
334.64/63.35	c (45,0) opt[199][1] = 1
334.64/63.35	c (45,0) opt[199][2] = 1
334.64/63.35	c (45,0) opt[199][3] = 0
334.64/63.35	c (45,0) opt[199][4] = 1
334.64/63.35	s SATISFIABLE
334.64/63.35	v <instantiation>
334.64/63.35	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>
334.64/63.35	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>
334.64/63.35	v </instantiation>
334.64/63.35	c (45,0) Show results End
334.64/63.35	c (45,0) Heap : 293 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
334.64/63.35	c (45,0) 44,45,STOP-AFTER(ALL)
334.64/63.35	c END-Prog: Sat Sep 14 04:13:05 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 (14738 MiB free)
  memory of node 1: 16384 MiB (15177 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392676-1568430799/watcher-4392676-1568430799 -o /tmp/evaluation-result-4392676-1568430799/solver-4392676-1568430799 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --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-4392676-1568430799.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=20863, runsolver pid=20860
Current StackSize limit: 8192 KiB


[startup+0.100036 s]*
/proc/loadavg: 3.67 4.23 4.15 2/211 20885
/proc/meminfo: memFree=30540588/32770624 swapFree=66997684/67108860
[pid=20863] ppid=20860 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20863/stat : 20863 (scop.sh) S 20860 20863 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334556 115843072 349 33554432000 4194304 5098028 140729294735984 140729294733240 140360382771836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10199040 140729294742308 140729294742636 140729294742636 140729294745549 0
/proc/20863/statm: 28282 349 296 221 0 87 0
[pid=20866] ppid=20863 vsize=27314120 memory=104100 CPUtime=0.11 cores=0-7
/proc/20866/stat : 20866 (java) S 20863 20863 12749 0 -1 1077944320 6125 0 0 0 8 3 0 0 20 0 20 0 419334557 27969658880 26025 33554432000 4194304 4196468 140727878717376 140727878699920 140536255737591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
/proc/20866/statm: 6828530 26025 2799 1 0 6790935 0
[pid=20866/tid=20867] ppid=20863 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/20866/task/20867/stat : 20867 (java) R 20863 20863 12749 0 -1 4202560 4216 0 0 0 6 2 0 0 20 0 20 0 419334557 27969658880 26537 33554432000 4194304 4196468 140727878717376 140536227563920 140536239818078 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20868] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20868/stat : 20868 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334559 27969658880 26537 33554432000 4194304 4196468 140727878717376 140536259980176 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20869] ppid=20863 vsize=27314120 memory=140644319687853 CPUtime=0 cores=0-7
/proc/20866/task/20869/stat : 20869 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535678012176 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20870] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20870/stat : 20870 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535676959888 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20871] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20871/stat : 20871 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535675907088 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20872] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20872/stat : 20872 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535674853776 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20873] ppid=20863 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20866/task/20873/stat : 20873 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535673800976 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20874] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20874/stat : 20874 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535672748688 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20875] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20875/stat : 20875 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535671695888 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20876] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20876/stat : 20876 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334561 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535628798576 140536255748738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20877] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20877/stat : 20877 (java) S 20863 20863 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419334561 27969658880 26537 33554432000 4194304 4196468 140727878717376 140534148490528 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20878] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20878/stat : 20878 (java) S 20863 20863 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419334562 27969658880 26537 33554432000 4194304 4196468 140727878717376 140534014269040 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20879] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20879/stat : 20879 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 26537 33554432000 4194304 4196468 140727878717376 140533639764560 140536255756187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20880] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20880/stat : 20880 (java) S 20863 20863 12749 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535627745392 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20881] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20881/stat : 20881 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 26537 33554432000 4194304 4196468 140727878717376 140535626692592 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20882] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20882/stat : 20882 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 26537 33554432000 4194304 4196468 140727878717376 140534370789744 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20883] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20883/stat : 20883 (java) S 20863 20863 12749 0 -1 1077944384 261 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 26537 33554432000 4194304 4196468 140727878717376 140534369736944 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20884] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20884/stat : 20884 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 26537 33554432000 4194304 4196468 140727878717376 140533141859168 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20885] ppid=20863 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20866/task/20885/stat : 20885 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334565 27969658880 26537 33554432000 4194304 4196468 140727878717376 140534368684848 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105496 KiB

[startup+0.210159 s]*
/proc/loadavg: 3.67 4.23 4.15 3/211 20885
/proc/meminfo: memFree=30521916/32770624 swapFree=66997684/67108860
[pid=20863] ppid=20860 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20863/stat : 20863 (scop.sh) S 20860 20863 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334556 115843072 349 33554432000 4194304 5098028 140729294735984 140729294733240 140360382771836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10199040 140729294742308 140729294742636 140729294742636 140729294745549 0
/proc/20863/statm: 28282 349 296 221 0 87 0
[pid=20866] ppid=20863 vsize=27314120 memory=120956 CPUtime=0.24 cores=0-7
/proc/20866/stat : 20866 (java) S 20863 20863 12749 0 -1 1077944320 11135 0 0 0 20 4 0 0 20 0 20 0 419334557 27969658880 30239 33554432000 4194304 4196468 140727878717376 140727878699920 140536255737591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
/proc/20866/statm: 6828530 30239 2955 1 0 6790935 0
[pid=20866/tid=20867] ppid=20863 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/20866/task/20867/stat : 20867 (java) R 20863 20863 12749 0 -1 4202560 8812 0 0 0 16 4 0 0 20 0 20 0 419334557 27969658880 30239 33554432000 4194304 4196468 140727878717376 140536227536976 140536236013472 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20868] ppid=20863 vsize=27314120 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/20866/task/20868/stat : 20868 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334559 27969658880 30239 33554432000 4194304 4196468 140727878717376 140536259980176 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20869] ppid=20863 vsize=27314120 memory=3904822227137050272 CPUtime=0 cores=0-7
/proc/20866/task/20869/stat : 20869 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535678012176 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20870] ppid=20863 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20866/task/20870/stat : 20870 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535676959888 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20871] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20871/stat : 20871 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535675907088 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20872] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20872/stat : 20872 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535674853776 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20873] ppid=20863 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20866/task/20873/stat : 20873 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535673800976 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20874] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20874/stat : 20874 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535672748688 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20875] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20875/stat : 20875 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535671695888 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20876] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20876/stat : 20876 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334561 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535628798576 140536255748738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20877] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20877/stat : 20877 (java) S 20863 20863 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419334561 27969658880 30239 33554432000 4194304 4196468 140727878717376 140534148490528 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20878] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20878/stat : 20878 (java) S 20863 20863 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419334562 27969658880 30239 33554432000 4194304 4196468 140727878717376 140534014269040 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20879] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20879/stat : 20879 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 30239 33554432000 4194304 4196468 140727878717376 140533639764560 140536255756187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20880] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20880/stat : 20880 (java) S 20863 20863 12749 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535627745392 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20881] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20881/stat : 20881 (java) S 20863 20863 12749 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 30239 33554432000 4194304 4196468 140727878717376 140535626692592 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20882] ppid=20863 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20866/task/20882/stat : 20882 (java) S 20863 20863 12749 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 30239 33554432000 4194304 4196468 140727878717376 140534370789744 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20883] ppid=20863 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/20866/task/20883/stat : 20883 (java) S 20863 20863 12749 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 20 0 419334564 27969658880 30239 33554432000 4194304 4196468 140727878717376 140534369736944 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20884] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20884/stat : 20884 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 30239 33554432000 4194304 4196468 140727878717376 140533141859168 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20885] ppid=20863 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20866/task/20885/stat : 20885 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334565 27969658880 30239 33554432000 4194304 4196468 140727878717376 140534368684848 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122352 KiB

[startup+0.309415 s]*
/proc/loadavg: 3.67 4.23 4.15 2/211 20885
/proc/meminfo: memFree=30518256/32770624 swapFree=66997684/67108860
[pid=20863] ppid=20860 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20863/stat : 20863 (scop.sh) S 20860 20863 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334556 115843072 349 33554432000 4194304 5098028 140729294735984 140729294733240 140360382771836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10199040 140729294742308 140729294742636 140729294742636 140729294745549 0
/proc/20863/statm: 28282 349 296 221 0 87 0
[pid=20866] ppid=20863 vsize=27314120 memory=125584 CPUtime=0.42 cores=0-7
/proc/20866/stat : 20866 (java) S 20863 20863 12749 0 -1 1077944320 12284 0 0 0 37 5 0 0 20 0 20 0 419334557 27969658880 31396 33554432000 4194304 4196468 140727878717376 140727878699920 140536255737591 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
/proc/20866/statm: 6828530 31396 3030 1 0 6790935 0
[pid=20866/tid=20867] ppid=20863 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/20866/task/20867/stat : 20867 (java) R 20863 20863 12749 0 -1 4202560 9753 0 0 0 25 4 0 0 20 0 20 0 419334557 27969658880 31396 33554432000 4194304 4196468 140727878717376 140536227520608 140536239818078 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20868] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20868/stat : 20868 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334559 27969658880 31396 33554432000 4194304 4196468 140727878717376 140536259980176 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20869] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20869/stat : 20869 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535678012176 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20870] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20870/stat : 20870 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535676959888 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20871] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20871/stat : 20871 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535675907088 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20872] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20872/stat : 20872 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535674853776 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20873] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20873/stat : 20873 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535673800976 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20874] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20874/stat : 20874 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535672748688 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20875] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20875/stat : 20875 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535671695888 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20876] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20876/stat : 20876 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334561 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535628798576 140536255748738 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20877] ppid=20863 vsize=27314120 memory=281288414272896 CPUtime=0 cores=0-7
/proc/20866/task/20877/stat : 20877 (java) S 20863 20863 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419334561 27969658880 31396 33554432000 4194304 4196468 140727878717376 140534148490528 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20878] ppid=20863 vsize=27314120 memory=281288414277504 CPUtime=0 cores=0-7
/proc/20866/task/20878/stat : 20878 (java) S 20863 20863 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419334562 27969658880 31396 33554432000 4194304 4196468 140727878717376 140534014269040 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20879] ppid=20863 vsize=27314120 memory=281288414282112 CPUtime=0 cores=0-7
/proc/20866/task/20879/stat : 20879 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 31396 33554432000 4194304 4196468 140727878717376 140533639764560 140536255756187 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20880] ppid=20863 vsize=27314120 memory=281288414286720 CPUtime=0.01 cores=0-7
/proc/20866/task/20880/stat : 20880 (java) S 20863 20863 12749 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 20 0 419334564 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535627745392 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20881] ppid=20863 vsize=27314120 memory=281288414291328 CPUtime=0.01 cores=0-7
/proc/20866/task/20881/stat : 20881 (java) R 20863 20863 12749 0 -1 4202560 50 0 0 0 1 0 0 0 20 0 20 0 419334564 27969658880 31396 33554432000 4194304 4196468 140727878717376 140535626692592 140536236435641 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20882] ppid=20863 vsize=27314120 memory=281288414295936 CPUtime=0.02 cores=0-7
/proc/20866/task/20882/stat : 20882 (java) S 20863 20863 12749 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 20 0 419334564 27969658880 31396 33554432000 4194304 4196468 140727878717376 140534370789744 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20883] ppid=20863 vsize=27314120 memory=281288414300544 CPUtime=0.07 cores=0-7
/proc/20866/task/20883/stat : 20883 (java) S 20863 20863 12749 0 -1 1077944384 548 0 0 0 7 0 0 0 20 0 20 0 419334564 27969658880 31396 33554432000 4194304 4196468 140727878717376 140534369736944 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20884] ppid=20863 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20884/stat : 20884 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334564 27969658880 31396 33554432000 4194304 4196468 140727878717376 140533141859168 140536255747797 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20885] ppid=20863 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/20866/task/20885/stat : 20885 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334565 27969658880 31396 33554432000 4194304 4196468 140727878717376 140534368684848 140536255748738 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126980 KiB

[startup+0.700849 s]
/proc/loadavg: 3.67 4.23 4.15 2/211 20885
/proc/meminfo: memFree=30494692/32770624 swapFree=66997684/67108860
[pid=20863] ppid=20860 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/20863/stat : 20863 (scop.sh) S 20860 20863 12749 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334556 115843072 349 33554432000 4194304 5098028 140729294735984 140729294733240 140360382771836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10199040 140729294742308 140729294742636 140729294742636 140729294745549 0
/proc/20863/statm: 28282 349 296 221 0 87 0
[pid=20866] ppid=20863 vsize=27320392 memory=163184 CPUtime=1.01 cores=0-7
/proc/20866/stat : 20866 (java) S 20863 20863 12749 0 -1 1077944320 19840 0 0 0 94 7 0 0 20 0 20 0 419334557 27976081408 40796 33554432000 4194304 4196468 140727878717376 140727878699920 140536255737591 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
/proc/20866/statm: 6830098 40796 3193 1 0 6791447 0
[pid=20866/tid=20867] ppid=20863 vsize=27320392 memory=4580 CPUtime=0.67 cores=0-7
/proc/20866/task/20867/stat : 20867 (java) R 20863 20863 12749 0 -1 4202560 16838 0 0 0 62 5 0 0 20 0 20 0 419334557 27976081408 40796 33554432000 4194304 4196468 140727878717376 140536227573120 140535708915188 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20868] ppid=20863 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20868/stat : 20868 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334559 27976081408 40796 33554432000 4194304 4196468 140727878717376 140536259980176 140536255747797 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20869] ppid=20863 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/20866/task/20869/stat : 20869 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334560 27976081408 40796 33554432000 4194304 4196468 140727878717376 140535678012176 140536255747797 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0
[pid=20866/tid=20870] ppid=20863 vsize=27320392 memory=4008 CPUtime=0 cores=0-7
/proc/20866/task/20870/stat : 20870 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334560 27976081408 40796 33554432000 4194304 4196468 140727878717376 140535676959888 140536255747797 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20889600 140727878722282 140727878722710 140727878722710 140727878725583 0

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

[pid=20886/tid=20887] ppid=20863 vsize=8414124 memory=1556 CPUtime=0.9 cores=0-7
/proc/20886/task/20887/stat : 20887 (java) S 20863 20863 12749 0 -1 1077944384 17003 0 0 0 80 10 0 0 20 0 24 0 419336334 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089917075360 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20888] ppid=20863 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/20886/task/20888/stat : 20888 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089949477264 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20889] ppid=20863 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/20886/task/20889/stat : 20889 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089755240720 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20890] ppid=20863 vsize=8414124 memory=1528 CPUtime=0 cores=0-7
/proc/20886/task/20890/stat : 20890 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089429232272 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20891] ppid=20863 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/20886/task/20891/stat : 20891 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089428179472 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20892] ppid=20863 vsize=8414124 memory=127576 CPUtime=0 cores=0-7
/proc/20886/task/20892/stat : 20892 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089427127184 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20893] ppid=20863 vsize=8414124 memory=2488392 CPUtime=0 cores=0-7
/proc/20886/task/20893/stat : 20893 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089426074384 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20894] ppid=20863 vsize=8414124 memory=7309178837960058450 CPUtime=0 cores=0-7
/proc/20886/task/20894/stat : 20894 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089425022096 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20895] ppid=20863 vsize=8414124 memory=7522820527009120364 CPUtime=0 cores=0-7
/proc/20886/task/20895/stat : 20895 (java) S 20863 20863 12749 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419336335 8616062976 37288 33554432000 4194304 4196468 140722735936896 140089423969296 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20896] ppid=20863 vsize=8414124 memory=7228928657758118464 CPUtime=0 cores=0-7
/proc/20886/task/20896/stat : 20896 (java) S 20863 20863 12749 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419336336 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088912771184 140089945246338 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20897] ppid=20863 vsize=8414124 memory=7649399362874257458 CPUtime=0 cores=0-7
/proc/20886/task/20897/stat : 20897 (java) S 20863 20863 12749 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419336337 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088478524192 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20898] ppid=20863 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/20886/task/20898/stat : 20898 (java) S 20863 20863 12749 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419336337 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088344302704 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20899] ppid=20863 vsize=8414124 memory=734139722786420945 CPUtime=0 cores=0-7
/proc/20886/task/20899/stat : 20899 (java) S 20863 20863 12749 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336339 8616062976 37288 33554432000 4194304 4196468 140722735936896 140087969798224 140089945253787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20900] ppid=20863 vsize=8414124 memory=-1664385933527490352 CPUtime=0.18 cores=0-7
/proc/20886/task/20900/stat : 20900 (java) S 20863 20863 12749 0 -1 1077944384 839 0 0 0 18 0 0 0 20 0 24 0 419336339 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088911719024 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20901] ppid=20863 vsize=8414124 memory=-7673225154500992928 CPUtime=0.19 cores=0-7
/proc/20886/task/20901/stat : 20901 (java) S 20863 20863 12749 0 -1 1077944384 650 0 0 0 19 0 0 0 20 0 24 0 419336340 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088910666224 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20902] ppid=20863 vsize=8414124 memory=3472328296227720049 CPUtime=0.14 cores=0-7
/proc/20886/task/20902/stat : 20902 (java) S 20863 20863 12749 0 -1 1077944384 627 0 0 0 14 0 0 0 20 0 24 0 419336340 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088909613936 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20903] ppid=20863 vsize=8414124 memory=4420 CPUtime=0.28 cores=0-7
/proc/20886/task/20903/stat : 20903 (java) S 20863 20863 12749 0 -1 1077944384 1096 0 0 0 28 0 0 0 20 0 24 0 419336340 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088908561136 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20904] ppid=20863 vsize=8414124 memory=6628 CPUtime=0 cores=0-7
/proc/20886/task/20904/stat : 20904 (java) S 20863 20863 12749 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419336340 8616062976 37288 33554432000 4194304 4196468 140722735936896 140087471892832 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20905] ppid=20863 vsize=8414124 memory=288230574492221466 CPUtime=0.02 cores=0-7
/proc/20886/task/20905/stat : 20905 (java) S 20863 20863 12749 0 -1 1077944384 5 0 0 0 0 2 0 0 20 0 24 0 419336340 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088907508016 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20907] ppid=20863 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/20886/task/20907/stat : 20907 (java) S 20863 20863 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419336421 8616062976 37288 33554432000 4194304 4196468 140722735936896 140088897377600 140089945259801 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20909] ppid=20863 vsize=8414124 memory=15252636593031516 CPUtime=0.06 cores=0-7
/proc/20886/task/20909/stat : 20909 (java) S 20863 20863 12749 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 24 0 419336421 8616062976 37288 33554432000 4194304 4196468 140722735936896 140086800793472 140089945257117 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20910] ppid=20863 vsize=8414124 memory=2499412 CPUtime=0 cores=0-7
/proc/20886/task/20910/stat : 20910 (java) S 20863 20863 12749 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419336421 8616062976 37288 33554432000 4194304 4196468 140722735936896 140087069228848 140089945257117 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20911] ppid=20863 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/20886/task/20911/stat : 20911 (java) S 20863 20863 12749 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419336423 8616062976 37288 33554432000 4194304 4196468 140722735936896 140086532366128 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
Current children cumulated CPU time: 333.71 s
Current children cumulated vsize: 11337816 KiB
Current children cumulated memory: 2641904 KiB

[startup+63.201 s]
/proc/loadavg: 5.34 4.55 4.26 2/214 20922
/proc/meminfo: memFree=30321296/32770624 swapFree=66997684/67108860
[pid=20863] ppid=20860 vsize=113128 memory=1476 CPUtime=32.11 cores=0-7
/proc/20863/stat : 20863 (scop.sh) S 20860 20863 12749 0 -1 4202496 583 46015 0 0 0 0 3064 147 20 0 1 0 419334556 115843072 369 33554432000 4194304 5098028 140729294735984 140729294732728 140360382771836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10199040 140729294742308 140729294742636 140729294742636 140729294745549 0
/proc/20863/statm: 28282 369 311 221 0 87 0
[pid=20886] ppid=20863 vsize=8283048 memory=298072 CPUtime=302.31 cores=0-7
/proc/20886/stat : 20886 (java) S 20863 20863 12749 0 -1 1077944320 22073 1814275 0 0 218 17 29666 330 20 0 22 0 419336333 8481841152 74518 33554432000 4194304 4196468 140722735936896 140722735919440 140089945235191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
/proc/20886/statm: 2070762 74518 3231 1 0 2032106 0
[pid=20886/tid=20887] ppid=20863 vsize=8283048 memory=26892 CPUtime=300.92 cores=0-7
/proc/20886/task/20887/stat : 20887 (java) R 20863 20863 12749 0 -1 4202560 17133 1814275 0 0 86 10 29666 330 20 0 22 0 419336334 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089917072080 140089926798720 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20888] ppid=20863 vsize=8283048 memory=984 CPUtime=299.96 cores=0-7
/proc/20886/task/20888/stat : 20888 (java) S 20863 20863 12749 0 -1 1077944384 3 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089949477264 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20889] ppid=20863 vsize=8283048 memory=2024 CPUtime=299.96 cores=0-7
/proc/20886/task/20889/stat : 20889 (java) S 20863 20863 12749 0 -1 1077944384 3 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089755240720 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20890] ppid=20863 vsize=8283048 memory=1476 CPUtime=299.96 cores=0-7
/proc/20886/task/20890/stat : 20890 (java) S 20863 20863 12749 0 -1 1077944384 1 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089429232272 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20891] ppid=20863 vsize=8283048 memory=127576 CPUtime=299.96 cores=0-7
/proc/20886/task/20891/stat : 20891 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089428179472 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20892] ppid=20863 vsize=8283048 memory=2490484 CPUtime=299.96 cores=0-7
/proc/20886/task/20892/stat : 20892 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089427127184 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20893] ppid=20863 vsize=8283048 memory=3260 CPUtime=299.96 cores=0-7
/proc/20886/task/20893/stat : 20893 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089426074384 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20894] ppid=20863 vsize=8283048 memory=1476 CPUtime=299.96 cores=0-7
/proc/20886/task/20894/stat : 20894 (java) S 20863 20863 12749 0 -1 1077944384 1 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089425022096 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20895] ppid=20863 vsize=8283048 memory=127576 CPUtime=299.96 cores=0-7
/proc/20886/task/20895/stat : 20895 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 74518 33554432000 4194304 4196468 140722735936896 140089423969296 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20896] ppid=20863 vsize=8283048 memory=9404 CPUtime=299.96 cores=0-7
/proc/20886/task/20896/stat : 20896 (java) S 20863 20863 12749 0 -1 1077944384 8 1814275 0 0 0 0 29666 330 20 0 22 0 419336336 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088912771184 140089945246338 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20897] ppid=20863 vsize=8283048 memory=1548 CPUtime=299.96 cores=0-7
/proc/20886/task/20897/stat : 20897 (java) S 20863 20863 12749 0 -1 1077944384 13 1814275 0 0 0 0 29666 330 20 0 22 0 419336337 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088478524192 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20898] ppid=20863 vsize=8283048 memory=628 CPUtime=299.96 cores=0-7
/proc/20886/task/20898/stat : 20898 (java) S 20863 20863 12749 0 -1 1077944384 21 1814275 0 0 0 0 29666 330 20 0 22 0 419336337 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088344302704 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20899] ppid=20863 vsize=8283048 memory=1056 CPUtime=299.96 cores=0-7
/proc/20886/task/20899/stat : 20899 (java) S 20863 20863 12749 0 -1 1077944384 1 1814275 0 0 0 0 29666 330 20 0 22 0 419336339 8481841152 74518 33554432000 4194304 4196468 140722735936896 140087969798224 140089945253787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20900] ppid=20863 vsize=8283048 memory=1556 CPUtime=300.21 cores=0-7
/proc/20886/task/20900/stat : 20900 (java) S 20863 20863 12749 0 -1 1077944384 854 1814275 0 0 25 0 29666 330 20 0 22 0 419336339 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088911719024 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20901] ppid=20863 vsize=8283048 memory=5924 CPUtime=300.18 cores=0-7
/proc/20886/task/20901/stat : 20901 (java) S 20863 20863 12749 0 -1 1077944384 658 1814275 0 0 22 0 29666 330 20 0 22 0 419336340 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088910666224 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20902] ppid=20863 vsize=8283048 memory=14012 CPUtime=300.14 cores=0-7
/proc/20886/task/20902/stat : 20902 (java) S 20863 20863 12749 0 -1 1077944384 647 1814275 0 0 18 0 29666 330 20 0 22 0 419336340 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088909613936 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20903] ppid=20863 vsize=8283048 memory=0 CPUtime=300.29 cores=0-7
/proc/20886/task/20903/stat : 20903 (java) R 20863 20863 12749 0 -1 4202560 1217 1814275 0 0 33 0 29666 330 20 0 22 0 419336340 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088908561136 140089924949988 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20904] ppid=20863 vsize=8283048 memory=-7175204567652784766 CPUtime=299.96 cores=0-7
/proc/20886/task/20904/stat : 20904 (java) S 20863 20863 12749 0 -1 1077944384 3 1814275 0 0 0 0 29666 330 20 0 22 0 419336340 8481841152 74518 33554432000 4194304 4196468 140722735936896 140087471892832 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20905] ppid=20863 vsize=8283048 memory=3054156605268465310 CPUtime=299.98 cores=0-7
/proc/20886/task/20905/stat : 20905 (java) S 20863 20863 12749 0 -1 1077944384 5 1814275 0 0 0 2 29666 330 20 0 22 0 419336340 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088907508016 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20907] ppid=20863 vsize=8283048 memory=-8253362762722141311 CPUtime=299.96 cores=0-7
/proc/20886/task/20907/stat : 20907 (java) S 20863 20863 12749 0 -1 1077944384 24 1814275 0 0 0 0 29666 330 20 0 22 0 419336421 8481841152 74518 33554432000 4194304 4196468 140722735936896 140088897376784 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20911] ppid=20863 vsize=8283048 memory=-8341965534556230502 CPUtime=299.96 cores=0-7
/proc/20886/task/20911/stat : 20911 (java) S 20863 20863 12749 0 -1 1077944384 13 1814275 0 0 0 0 29666 330 20 0 22 0 419336423 8481841152 74518 33554432000 4194304 4196468 140722735936896 140086532367920 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
Current children cumulated CPU time: 334.42 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 299548 KiB

[startup+63.3023 s]
/proc/loadavg: 5.34 4.55 4.26 2/214 20922
/proc/meminfo: memFree=30321296/32770624 swapFree=66997684/67108860
[pid=20863] ppid=20860 vsize=113128 memory=1476 CPUtime=32.11 cores=0-7
/proc/20863/stat : 20863 (scop.sh) S 20860 20863 12749 0 -1 4202496 583 46015 0 0 0 0 3064 147 20 0 1 0 419334556 115843072 369 33554432000 4194304 5098028 140729294735984 140729294732728 140360382771836 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10199040 140729294742308 140729294742636 140729294742636 140729294745549 0
/proc/20863/statm: 28282 369 311 221 0 87 0
[pid=20886] ppid=20863 vsize=8283048 memory=305236 CPUtime=302.53 cores=0-7
/proc/20886/stat : 20886 (java) S 20863 20863 12749 0 -1 1077944320 22373 1814275 0 0 240 17 29666 330 20 0 22 0 419336333 8481841152 76309 33554432000 4194304 4196468 140722735936896 140722735919440 140089945235191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
/proc/20886/statm: 2070762 76309 3233 1 0 2032106 0
[pid=20886/tid=20887] ppid=20863 vsize=8283048 memory=292804 CPUtime=301.02 cores=0-7
/proc/20886/task/20887/stat : 20887 (java) R 20863 20863 12749 0 -1 4202560 17244 1814275 0 0 96 10 29666 330 20 0 22 0 419336334 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089917070728 140089439467353 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20888] ppid=20863 vsize=8283048 memory=1476 CPUtime=299.96 cores=0-7
/proc/20886/task/20888/stat : 20888 (java) S 20863 20863 12749 0 -1 1077944384 3 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089949477264 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20889] ppid=20863 vsize=8283048 memory=0 CPUtime=299.96 cores=0-7
/proc/20886/task/20889/stat : 20889 (java) S 20863 20863 12749 0 -1 1077944384 3 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089755240720 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20890] ppid=20863 vsize=8283048 memory=0 CPUtime=299.96 cores=0-7
/proc/20886/task/20890/stat : 20890 (java) S 20863 20863 12749 0 -1 1077944384 1 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089429232272 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20891] ppid=20863 vsize=8283048 memory=164 CPUtime=299.96 cores=0-7
/proc/20886/task/20891/stat : 20891 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089428179472 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20892] ppid=20863 vsize=8283048 memory=5787214926557761634 CPUtime=299.96 cores=0-7
/proc/20886/task/20892/stat : 20892 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089427127184 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20893] ppid=20863 vsize=8283048 memory=1056 CPUtime=299.96 cores=0-7
/proc/20886/task/20893/stat : 20893 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089426074384 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20894] ppid=20863 vsize=8283048 memory=1556 CPUtime=299.96 cores=0-7
/proc/20886/task/20894/stat : 20894 (java) S 20863 20863 12749 0 -1 1077944384 1 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089425022096 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20895] ppid=20863 vsize=8283048 memory=26892 CPUtime=299.96 cores=0-7
/proc/20886/task/20895/stat : 20895 (java) S 20863 20863 12749 0 -1 1077944384 2 1814275 0 0 0 0 29666 330 20 0 22 0 419336335 8481841152 76309 33554432000 4194304 4196468 140722735936896 140089423969296 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20896] ppid=20863 vsize=8283048 memory=984 CPUtime=299.96 cores=0-7
/proc/20886/task/20896/stat : 20896 (java) S 20863 20863 12749 0 -1 1077944384 8 1814275 0 0 0 0 29666 330 20 0 22 0 419336336 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088912771184 140089945246338 0 0 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20897] ppid=20863 vsize=8283048 memory=127576 CPUtime=299.96 cores=0-7
/proc/20886/task/20897/stat : 20897 (java) S 20863 20863 12749 0 -1 1077944384 13 1814275 0 0 0 0 29666 330 20 0 22 0 419336337 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088478524192 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20898] ppid=20863 vsize=8283048 memory=2539592 CPUtime=299.96 cores=0-7
/proc/20886/task/20898/stat : 20898 (java) S 20863 20863 12749 0 -1 1077944384 21 1814275 0 0 0 0 29666 330 20 0 22 0 419336337 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088344302704 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20899] ppid=20863 vsize=8283048 memory=179615532360537 CPUtime=299.96 cores=0-7
/proc/20886/task/20899/stat : 20899 (java) S 20863 20863 12749 0 -1 1077944384 1 1814275 0 0 0 0 29666 330 20 0 22 0 419336339 8481841152 76309 33554432000 4194304 4196468 140722735936896 140087969798224 140089945253787 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20900] ppid=20863 vsize=8283048 memory=0 CPUtime=300.22 cores=0-7
/proc/20886/task/20900/stat : 20900 (java) R 20863 20863 12749 0 -1 4202560 865 1814275 0 0 26 0 29666 330 20 0 22 0 419336339 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088911705456 140089930916630 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20901] ppid=20863 vsize=8283048 memory=2505816 CPUtime=300.19 cores=0-7
/proc/20886/task/20901/stat : 20901 (java) R 20863 20863 12749 0 -1 4202560 669 1814275 0 0 23 0 29666 330 20 0 22 0 419336340 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088910646064 140089925928455 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20902] ppid=20863 vsize=8283048 memory=7230638415855316055 CPUtime=300.16 cores=0-7
/proc/20886/task/20902/stat : 20902 (java) R 20863 20863 12749 0 -1 4202560 661 1814275 0 0 20 0 29666 330 20 0 22 0 419336340 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088909598016 140089945247126 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20903] ppid=20863 vsize=8283048 memory=3624 CPUtime=300.34 cores=0-7
/proc/20886/task/20903/stat : 20903 (java) S 20863 20863 12749 0 -1 1077944384 1369 1814275 0 0 38 0 29666 330 20 0 22 0 419336340 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088908561136 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20904] ppid=20863 vsize=8283048 memory=26892 CPUtime=299.96 cores=0-7
/proc/20886/task/20904/stat : 20904 (java) S 20863 20863 12749 0 -1 1077944384 3 1814275 0 0 0 0 29666 330 20 0 22 0 419336340 8481841152 76309 33554432000 4194304 4196468 140722735936896 140087471892832 140089945245397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20905] ppid=20863 vsize=8283048 memory=984 CPUtime=299.98 cores=0-7
/proc/20886/task/20905/stat : 20905 (java) S 20863 20863 12749 0 -1 1077944384 5 1814275 0 0 0 2 29666 330 20 0 22 0 419336340 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088907508016 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 16 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20907] ppid=20863 vsize=8283048 memory=127576 CPUtime=299.96 cores=0-7
/proc/20886/task/20907/stat : 20907 (java) S 20863 20863 12749 0 -1 1077944384 24 1814275 0 0 0 0 29666 330 20 0 22 0 419336421 8481841152 76309 33554432000 4194304 4196468 140722735936896 140088897376784 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
[pid=20886/tid=20911] ppid=20863 vsize=8283048 memory=2507232 CPUtime=299.96 cores=0-7
/proc/20886/task/20911/stat : 20911 (java) S 20863 20863 12749 0 -1 1077944384 13 1814275 0 0 0 0 29666 330 20 0 22 0 419336423 8481841152 76309 33554432000 4194304 4196468 140722735936896 140086532367920 140089945246338 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35381248 140722735944695 140722735944854 140722735944854 140722735947727 0
Current children cumulated CPU time: 334.64 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 306712 KiB

Child status: 0
Real time (s): 63.3869
CPU time (s): 334.984
CPU user time (s): 329.989
CPU system time (s): 4.99506
CPU usage (%): 528.476
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6020124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 329.989
system time used= 4.99506
maximum resident set size= 6019700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1885800
page faults= 0
swaps= 0
block input operations= 0
block output operations= 107592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55284
involuntary context switches= 2866


# summary of solver processes directly reported to runsolver:
#   pid: 20863
#   total CPU time (s): 334.984
#   total CPU user time (s): 329.989
#   total CPU system time (s): 4.99506

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.574263 second user time and 0.796845 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-14 04:12:02
IDJOB=4392676
IDBENCH=128079
IDSOLVER=2839
FILE ID=node106/4392676-1568430799
RUNJOBID= node106-1568413091-12776
PBS_JOBID= 21702261
Free space on /tmp= 59112 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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-4392676-1568430799/watcher-4392676-1568430799 -o /tmp/evaluation-result-4392676-1568430799/solver-4392676-1568430799 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568413091-12776 --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-4392676-1568430799.xml

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

MD5SUM BENCH= 487341030a1a30afb0858e27d438e3d6
RANDOM SEED=667819130

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30634708 kB
MemAvailable:   31903784 kB
Buffers:          184308 kB
Cached:          1366364 kB
SwapCached:         9320 kB
Active:           481624 kB
Inactive:        1083240 kB
Active(anon):      13884 kB
Inactive(anon):    34744 kB
Active(file):     467740 kB
Inactive(file):  1048496 kB
Unevictable:      106908 kB
Mlocked:          106908 kB
SwapTotal:      67108860 kB
SwapFree:       66997684 kB
Dirty:             20928 kB
Writeback:             0 kB
AnonPages:        119124 kB
Mapped:            37756 kB
Shmem:             25300 kB
Slab:             166920 kB
SReclaimable:     137348 kB
SUnreclaim:        29572 kB
KernelStack:        3728 kB
PageTables:         5972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59092 MiB
End job on node106 at 2019-09-14 04:13:05