Trace number 4405250

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)SAT 54.5109 25.0385

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-01.xml
MD5SUM78ce7b18c2bc9eefd2fccfc0b2746318
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 benchmark3.47115
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1379
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree62
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}]
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"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":1178},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16227-serial-file.bin HOME/instance-4405250-1569338320.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Tue Sep 24 17:18:01 CEST 2019
0.65/0.56	c PID: 16230
0.65/0.56	c IP: 172.20.3.123
0.65/0.56	c HOST: node123.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.96/1.38	c (0,0) Parsing End
2.96/1.39	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1379 ctr, max domain size 24
2.96/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.96/1.39	c (0,0) Constraint Name Generate Begin
3.35/1.41	c (0,0) Ctr:HOME/instance-4405250-1569338320.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.35/1.41	c (0,0) Constraint Name Generate End
3.35/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.35/1.41	c (0,0) CSP to CSPinCNF Begin
12.08/4.64	c (4,4) translated 138 (10%) constraints
12.72/5.28	c (4,4) translated 276 (20%) constraints
12.94/5.30	c (4,4) translated 414 (30%) constraints
12.94/5.32	c (4,4) translated 552 (40%) constraints
12.94/5.34	c (4,4) translated 690 (50%) constraints
12.94/5.36	c (4,4) translated 828 (60%) constraints
12.94/5.37	c (4,4) translated 966 (70%) constraints
12.94/5.39	c (4,4) translated 1104 (80%) constraints
15.09/6.40	c (5,5) translated 1242 (90%) constraints
17.00/8.32	c (7,7) translated 1379 (100%) constraints
17.00/8.34	c (7,7) ===========================================
17.00/8.35	c (7,7) Order
17.00/8.35	c (7,7) ===========================================
19.00/9.05	c (8,8) translated 5741 (10%) constraints
19.84/9.30	c (8,8) translated 11481 (20%) constraints
20.15/9.44	c (8,8) translated 17221 (30%) constraints
20.36/9.56	c (9,9) translated 22961 (40%) constraints
20.55/9.68	c (9,9) translated 28701 (50%) constraints
20.76/9.80	c (9,9) translated 34442 (60%) constraints
20.86/9.92	c (9,9) translated 40182 (70%) constraints
20.97/10.04	c (9,9) translated 45922 (80%) constraints
21.07/10.16	c (9,9) translated 51662 (90%) constraints
25.71/11.78	c (11,11) translated 57402 (100%) constraints
25.71/11.79	c (11,11) CSP to CSPinCNF End
26.02/11.81	c (11,11) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 76068 ctr, max domain size 68
26.02/11.81	c (11,11) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
26.02/11.81	c (11,11) CSPinCNF Propagation Begin
27.68/12.30	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.68/12.30	c (11,11) CSPinCNF Propagation End
27.68/12.31	c (11,11) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
27.68/12.31	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
27.68/12.31	c (11,11) Simplify CSPinCNF Begin
28.22/12.52	c (11,11) Simplify CSPinCNF End
28.22/12.53	c (11,11) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
28.22/12.53	c (11,11) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
28.22/12.53	c (11,11) Calculate Precise Domain Begin
28.55/12.61	c (12,12) 0 values are removed by re-calculation
28.55/12.61	c (12,12) Calculate Precise Domain End
28.55/12.62	c (12,12) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
28.55/12.62	c (12,12) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.55/12.62	c (12,12) CSPinCNF to SatSolver Begin
32.86/14.21	c (13,13) 7567 (10 %) CSP clauses are encoded (0 SAT variables, 587012 SAT clauses)
32.86/14.29	c (13,13) 15134 (20 %) CSP clauses are encoded (0 SAT variables, 594579 SAT clauses)
33.12/14.37	c (13,13) 22701 (30 %) CSP clauses are encoded (0 SAT variables, 602146 SAT clauses)
33.35/14.63	c (14,13) 30268 (40 %) CSP clauses are encoded (0 SAT variables, 609713 SAT clauses)
33.43/14.70	c (14,13) 37834 (50 %) CSP clauses are encoded (0 SAT variables, 617279 SAT clauses)
33.43/14.77	c (14,13) 45401 (60 %) CSP clauses are encoded (0 SAT variables, 624846 SAT clauses)
33.53/14.84	c (14,13) 52968 (70 %) CSP clauses are encoded (0 SAT variables, 632413 SAT clauses)
33.63/14.91	c (14,14) 60535 (80 %) CSP clauses are encoded (0 SAT variables, 639980 SAT clauses)
33.63/15.00	c (14,14) 68102 (90 %) CSP clauses are encoded (0 SAT variables, 648807 SAT clauses)
37.07/18.03	c (17,17) 75668 (100 %) CSP clauses are encoded (0 SAT variables, 2155133 SAT clauses)
37.07/18.03	c (17,17) CSPinCNF to SatSolver End
37.07/18.03	c (17,17) Heap : 3048 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
37.07/18.03	c (17,17) 134227 bool, 2155973 clause
37.07/18.03	c (17,17) Export Begin
37.21/18.19	c (17,17) Export to HOME/scop-16227-serial-file.bin
37.21/18.19	c (17,17) Export End
37.21/18.19	c (17,17) Export File Size: 0.25 MB
37.21/18.19	c (17,17) 0,0,11,11,11,12,17,STOP-AFTER(DIMACS)
37.21/18.19	c END-Prog: Tue Sep 24 17:18:19 CEST 2019
37.51/18.24	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16227-serial-file.bin
37.55/18.69	c (0,0) Read Serial File Begin
37.55/18.69	c (0,0) HOME/scop-16227-serial-file.bin
37.55/18.99	c (0,0) Read Serial File End
37.55/19.00	
37.55/19.00	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
37.55/19.00	(Solving Process)
37.55/19.00	
38.82/19.02	c BEGIN-Prog: Tue Sep 24 17:18:20 CEST 2019
38.82/19.02	c PID: 16250
38.82/19.02	c IP: 172.20.3.123
38.82/19.02	c HOST: node123.alineos.net
38.82/19.03	c (0,0) SatSolver.solve Begin
38.82/19.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405250-1569338320.xml-scop-16230.cnf
38.82/19.05	c (0,0) c
38.82/19.05	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)
38.82/19.05	c (0,0) c
38.82/19.05	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.82/19.05	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.82/19.05	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.82/19.05	c (0,0) c |                                                                                                       |
39.06/19.82	c (1,0) c |  Number of variables:        134227                                                                   |
39.06/19.82	c (1,0) c |  Number of clauses:         2155709                                                                   |
39.06/19.82	c (1,0) c |  Parse time:                   0.68 s                                                                 |
39.06/19.82	c (1,0) c |                                                                                                       |
42.60/22.64	c (4,0) c |  Simplification time:          2.78 s                                                                 |
42.60/22.64	c (4,0) c |                                                                                                       |
42.60/22.64	c (4,0) c |  Generating clones                                                                                    |
43.20/23.26	c (4,0) c |  all clones generated. Memory =  1305.50Mb.                                                           |
43.20/23.26	c (4,0) c ========================================================================================================|
43.20/23.26	c (4,0) c
43.20/23.26	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.20/23.26	c (4,0) c
43.20/23.26	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.20/23.26	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.20/23.26	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.20/23.26	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
43.20/23.26	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
43.20/23.26	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
43.20/23.26	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
43.20/23.26	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
43.20/23.26	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.20/23.26	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
43.20/23.26	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.20/23.26	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.20/23.26	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
43.20/23.26	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.20/23.26	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
43.20/23.26	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.20/23.26	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
43.20/23.26	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
43.20/23.26	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c
53.27/24.65	c (6,0) c real time : 5.60274 s
53.27/24.65	c (6,0) c cpu time  : 13.2843 s
53.27/24.65	c (6,0) c
53.27/24.65	c (6,0) c
53.27/24.65	c (6,0) c
53.27/24.65	c (6,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
53.27/24.65	c (6,0) c
53.27/24.65	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
53.27/24.65	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c | Conflicts     |            4311 |        602 |        480 |        463 |        986 |        735 |        341 |        333 |        371 |
53.27/24.65	c (6,0) c | Decisions     |          115813 |      15453 |      16537 |      17533 |      13500 |      11795 |      17207 |      11530 |      12258 |
53.27/24.65	c (6,0) c | Propagations  |        11932610 |    1679587 |    1573042 |    1730865 |    1795353 |    1749057 |    1110515 |    1127569 |    1166622 |
53.27/24.65	c (6,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
53.27/24.65	c (6,0) c | Restarts      |              45 |          8 |          6 |          5 |          5 |          8 |          4 |          3 |          6 |
53.27/24.65	c (6,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | PropBinClauses|        21123748 |    2949371 |    2690095 |    2866842 |    3677244 |    3103010 |    1854021 |    2014941 |    1968224 |
53.27/24.65	c (6,0) c | PropPreBlocker|       136775023 |   19566123 |   16021582 |   19823161 |   23137279 |   19203512 |   12641102 |   13567147 |   12815117 |
53.27/24.65	c (6,0) c | PropNotBlocker|        51190061 |    7076868 |    6214380 |    7089324 |    8037381 |    6977026 |    5179685 |    5514955 |    5100442 |
53.27/24.65	c (6,0) c | LitFullScans  |       253634315 |   36062075 |   30060943 |   36179957 |   42068905 |   35226375 |   24048730 |   25926684 |   24060646 |
53.27/24.65	c (6,0) c | LitScanFracts |           45453 |       4136 |       2801 |       6641 |       9731 |      17810 |       2401 |       1553 |        380 |
53.27/24.65	c (6,0) c | DecisionLevel0|              71 |         13 |          8 |         10 |          9 |         11 |          5 |          5 |         10 |
53.27/24.65	c (6,0) c | Periods       |              40 |          6 |          5 |          6 |          7 |          5 |          3 |          4 |          4 |
53.27/24.65	c (6,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
53.27/24.65	c (6,0) c | Avg_Trail     |                 |      40853 |      43297 |      52595 |      22888 |      31926 |      47079 |      39861 |      42608 |
53.27/24.65	c (6,0) c | Avg_DL        |                 |        285 |        382 |        546 |        287 |        167 |        386 |        366 |        401 |
53.27/24.65	c (6,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c | Exported      |             123 |         18 |          8 |         12 |         15 |         23 |          9 |         22 |         16 |
53.27/24.65	c (6,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
53.27/24.65	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c | Unaries       |                 |          5 |          2 |          5 |          4 |          3 |          1 |          2 |          4 |
53.27/24.65	c (6,0) c | Binaries      |                 |         17 |          5 |         11 |         10 |         19 |          8 |         20 |         14 |
53.27/24.65	c (6,0) c | Glues         |                 |         18 |          8 |         12 |         15 |         23 |          9 |         22 |         16 |
53.27/24.65	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c | Orig_Seen     |             0 % |       4668 |       4961 |       4977 |       3108 |       4195 |       3492 |       3323 |       3823 |
53.27/24.65	c (6,0) c | Diff Orig seen|                 |       1176 |       1469 |       1485 | -      384 |        703 |      X     | -      169 |        331 |
53.27/24.65	c (6,0) c | Hamming       |             9 % |      12852 |      13202 |      13461 |      13433 |      12946 |      X     |      13078 |      13238 |
53.27/24.65	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c | RunningTime   |                 |    1.3 100%|    1.4 100%|    1.3 100%|    1.4 100%|    1.3 100%|    1.3 100%|    1.3 100%|    1.3 100%|
53.27/24.65	c (6,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
53.27/24.65	c (6,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
53.27/24.65	c (6,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
53.27/24.65	c (6,0) c | SolvingTime   |                 |    1.3     |    1.4     |    1.3     |    1.4     |    1.3     |    1.3     |    1.3     |    1.3     |
53.27/24.65	c (6,0) c | PropagationTim|                 |    1.2  94%|    1.3  95%|    1.2  94%|    1.3  95%|    1.2  94%|    1.2  94%|    1.3  95%|    1.2  94%|
53.27/24.65	c (6,0) c | AnalysisTime  |                 |    0.0   2%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   2%|
53.27/24.65	c (6,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
53.27/24.65	c (6,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
53.27/24.65	c (6,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
53.27/24.65	c (6,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
53.27/24.65	c (6,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.65	c (6,0) c
53.27/24.65	c (6,0) c
53.27/24.65	c (6,0) c Threads : 8
53.27/24.65	c (6,0) c Winner : 5
53.27/24.65	c (6,0) c Conflicts_0 : 602
53.27/24.65	c (6,0) c Conflicts_1 : 480
53.27/24.65	c (6,0) c Conflicts_2 : 463
53.27/24.66	c (6,0) c Conflicts_3 : 986
53.27/24.66	c (6,0) c Conflicts_4 : 735
53.27/24.66	c (6,0) c Conflicts_5 : 341
53.27/24.66	c (6,0) c Conflicts_6 : 333
53.27/24.66	c (6,0) c Conflicts_7 : 371
53.27/24.66	c (6,0) c Conflicts_total : 4311
53.27/24.66	c (6,0) c Conflicts_winner : 341
53.27/24.66	c (6,0) c Decisions_0 : 15453
53.27/24.66	c (6,0) c Decisions_1 : 16537
53.27/24.66	c (6,0) c Decisions_2 : 17533
53.27/24.66	c (6,0) c Decisions_3 : 13500
53.27/24.66	c (6,0) c Decisions_4 : 11795
53.27/24.66	c (6,0) c Decisions_5 : 17207
53.27/24.66	c (6,0) c Decisions_6 : 11530
53.27/24.66	c (6,0) c Decisions_7 : 12258
53.27/24.66	c (6,0) c Decisions_total : 115813
53.27/24.66	c (6,0) c Decisions_winner : 17207
53.27/24.66	c (6,0) c Propagations_0 : 1679587
53.27/24.66	c (6,0) c Propagations_1 : 1573042
53.27/24.66	c (6,0) c Propagations_2 : 1730865
53.27/24.66	c (6,0) c Propagations_3 : 1795353
53.27/24.66	c (6,0) c Propagations_4 : 1749057
53.27/24.66	c (6,0) c Propagations_5 : 1110515
53.27/24.66	c (6,0) c Propagations_6 : 1127569
53.27/24.66	c (6,0) c Propagations_7 : 1166622
53.27/24.66	c (6,0) c Propagations_total : 11932610
53.27/24.66	c (6,0) c Propagations_winner : 1110515
53.27/24.66	c (6,0) c ReduceDBs_0 : 0
53.27/24.66	c (6,0) c ReduceDBs_1 : 0
53.27/24.66	c (6,0) c ReduceDBs_2 : 0
53.27/24.66	c (6,0) c ReduceDBs_3 : 0
53.27/24.66	c (6,0) c ReduceDBs_4 : 0
53.27/24.66	c (6,0) c ReduceDBs_5 : 0
53.27/24.66	c (6,0) c ReduceDBs_6 : 0
53.27/24.66	c (6,0) c ReduceDBs_7 : 0
53.27/24.66	c (6,0) c ReduceDBs_total : 0
53.27/24.66	c (6,0) c ReduceDBs_winner : 0
53.27/24.66	c (6,0) c SimpDBs_0 : 1
53.27/24.66	c (6,0) c SimpDBs_1 : 1
53.27/24.66	c (6,0) c SimpDBs_2 : 1
53.27/24.66	c (6,0) c SimpDBs_3 : 1
53.27/24.66	c (6,0) c SimpDBs_4 : 1
53.27/24.66	c (6,0) c SimpDBs_5 : 1
53.27/24.66	c (6,0) c SimpDBs_6 : 1
53.27/24.66	c (6,0) c SimpDBs_7 : 1
53.27/24.66	c (6,0) c SimpDBs_total : 8
53.27/24.66	c (6,0) c SimpDBs_winner : 1
53.27/24.66	c (6,0) c Restarts_0 : 8
53.27/24.66	c (6,0) c Restarts_1 : 6
53.27/24.66	c (6,0) c Restarts_2 : 5
53.27/24.66	c (6,0) c Restarts_3 : 5
53.27/24.66	c (6,0) c Restarts_4 : 8
53.27/24.66	c (6,0) c Restarts_5 : 4
53.27/24.66	c (6,0) c Restarts_6 : 3
53.27/24.66	c (6,0) c Restarts_7 : 6
53.27/24.66	c (6,0) c Restarts_total : 45
53.27/24.66	c (6,0) c Restarts_winner : 4
53.27/24.66	c (6,0) c ForcedImports_0 : 0
53.27/24.66	c (6,0) c ForcedImports_1 : 0
53.27/24.66	c (6,0) c ForcedImports_2 : 0
53.27/24.66	c (6,0) c ForcedImports_3 : 0
53.27/24.66	c (6,0) c ForcedImports_4 : 0
53.27/24.66	c (6,0) c ForcedImports_5 : 0
53.27/24.66	c (6,0) c ForcedImports_6 : 0
53.27/24.66	c (6,0) c ForcedImports_7 : 0
53.27/24.66	c (6,0) c ForcedImports_total : 0
53.27/24.66	c (6,0) c ForcedImports_winner : 0
53.27/24.66	c (6,0) c PropsBinClauses_0 : 2949371
53.27/24.66	c (6,0) c PropsBinClauses_1 : 2690095
53.27/24.66	c (6,0) c PropsBinClauses_2 : 2866842
53.27/24.66	c (6,0) c PropsBinClauses_3 : 3677244
53.27/24.66	c (6,0) c PropsBinClauses_4 : 3103010
53.27/24.66	c (6,0) c PropsBinClauses_5 : 1854021
53.27/24.66	c (6,0) c PropsBinClauses_6 : 2014941
53.27/24.66	c (6,0) c PropsBinClauses_7 : 1968224
53.27/24.66	c (6,0) c PropsBinClauses_total : 21123748
53.27/24.66	c (6,0) c PropsBinClauses_winner : 1854021
53.27/24.66	c (6,0) c PropsPreBlocker_0 : 19566123
53.27/24.66	c (6,0) c PropsPreBlocker_1 : 16021582
53.27/24.66	c (6,0) c PropsPreBlocker_2 : 19823161
53.27/24.66	c (6,0) c PropsPreBlocker_3 : 23137279
53.27/24.66	c (6,0) c PropsPreBlocker_4 : 19203512
53.27/24.66	c (6,0) c PropsPreBlocker_5 : 12641102
53.27/24.66	c (6,0) c PropsPreBlocker_6 : 13567147
53.27/24.66	c (6,0) c PropsPreBlocker_7 : 12815117
53.27/24.66	c (6,0) c PropsPreBlocker_total : 136775023
53.27/24.66	c (6,0) c PropsPreBlocker_winner : 12641102
53.27/24.66	c (6,0) c PropsNotBlocker_0 : 7076868
53.27/24.66	c (6,0) c PropsNotBlocker_1 : 6214380
53.27/24.66	c (6,0) c PropsNotBlocker_2 : 7089324
53.27/24.66	c (6,0) c PropsNotBlocker_3 : 8037381
53.27/24.66	c (6,0) c PropsNotBlocker_4 : 6977026
53.27/24.66	c (6,0) c PropsNotBlocker_5 : 5179685
53.27/24.66	c (6,0) c PropsNotBlocker_6 : 5514955
53.27/24.66	c (6,0) c PropsNotBlocker_7 : 5100442
53.27/24.66	c (6,0) c PropsNotBlocker_total : 51190061
53.27/24.66	c (6,0) c PropsNotBlocker_winner : 5179685
53.27/24.66	c (6,0) c PropsLitFullScans_0 : 36062075
53.27/24.66	c (6,0) c PropsLitFullScans_1 : 30060943
53.27/24.66	c (6,0) c PropsLitFullScans_2 : 36179957
53.27/24.66	c (6,0) c PropsLitFullScans_3 : 42068905
53.27/24.66	c (6,0) c PropsLitFullScans_4 : 35226375
53.27/24.66	c (6,0) c PropsLitFullScans_5 : 24048730
53.27/24.66	c (6,0) c PropsLitFullScans_6 : 25926684
53.27/24.66	c (6,0) c PropsLitFullScans_7 : 24060646
53.27/24.66	c (6,0) c PropsLitFullScans_total : 253634315
53.27/24.66	c (6,0) c PropsLitFullScans_winner : 24048730
53.27/24.66	c (6,0) c LitScanFractions_0 : 4136
53.27/24.66	c (6,0) c LitScanFractions_1 : 2801
53.27/24.66	c (6,0) c LitScanFractions_2 : 6641
53.27/24.66	c (6,0) c LitScanFractions_3 : 9731
53.27/24.66	c (6,0) c LitScanFractions_4 : 17810
53.27/24.66	c (6,0) c LitScanFractions_5 : 2401
53.27/24.66	c (6,0) c LitScanFractions_6 : 1553
53.27/24.66	c (6,0) c LitScanFractions_7 : 380
53.27/24.66	c (6,0) c LitScanFractions_total : 45453
53.27/24.66	c (6,0) c LitScanFractions_winner : 2401
53.27/24.66	c (6,0) c DecisionLevel0_0 : 13
53.27/24.66	c (6,0) c DecisionLevel0_1 : 8
53.27/24.66	c (6,0) c DecisionLevel0_2 : 10
53.27/24.66	c (6,0) c DecisionLevel0_3 : 9
53.27/24.66	c (6,0) c DecisionLevel0_4 : 11
53.27/24.66	c (6,0) c DecisionLevel0_5 : 5
53.27/24.66	c (6,0) c DecisionLevel0_6 : 5
53.27/24.66	c (6,0) c DecisionLevel0_7 : 10
53.27/24.66	c (6,0) c DecisionLevel0_total : 71
53.27/24.66	c (6,0) c DecisionLevel0_winner : 5
53.27/24.66	c (6,0) c Periods_0 : 6
53.27/24.66	c (6,0) c Periods_1 : 5
53.27/24.66	c (6,0) c Periods_2 : 6
53.27/24.66	c (6,0) c Periods_3 : 7
53.27/24.66	c (6,0) c Periods_4 : 5
53.27/24.66	c (6,0) c Periods_5 : 3
53.27/24.66	c (6,0) c Periods_6 : 4
53.27/24.66	c (6,0) c Periods_7 : 4
53.27/24.66	c (6,0) c Periods_total : 40
53.27/24.66	c (6,0) c Periods_winner : 3
53.27/24.66	c (6,0) c Margin_0 : 20
53.27/24.66	c (6,0) c Margin_1 : 20
53.27/24.66	c (6,0) c Margin_2 : 20
53.27/24.66	c (6,0) c Margin_3 : 20
53.27/24.66	c (6,0) c Margin_4 : 20
53.27/24.66	c (6,0) c Margin_5 : 20
53.27/24.66	c (6,0) c Margin_6 : 20
53.27/24.66	c (6,0) c Margin_7 : 20
53.27/24.66	c (6,0) c Margin_total : 160
53.27/24.66	c (6,0) c Margin_winner : 20
53.27/24.66	c (6,0) c Exported_0 : 18
53.27/24.66	c (6,0) c Exported_1 : 8
53.27/24.66	c (6,0) c Exported_2 : 12
53.27/24.66	c (6,0) c Exported_3 : 15
53.27/24.66	c (6,0) c Exported_4 : 23
53.27/24.66	c (6,0) c Exported_5 : 9
53.27/24.66	c (6,0) c Exported_6 : 22
53.27/24.66	c (6,0) c Exported_7 : 16
53.27/24.66	c (6,0) c Exported_total : 123
53.27/24.66	c (6,0) c Exported_winner : 9
53.27/24.66	c (6,0) c Imported_0 : 0
53.27/24.66	c (6,0) c Imported_1 : 0
53.27/24.66	c (6,0) c Imported_2 : 0
53.27/24.66	c (6,0) c Imported_3 : 0
53.27/24.66	c (6,0) c Imported_4 : 0
53.27/24.66	c (6,0) c Imported_5 : 0
53.27/24.66	c (6,0) c Imported_6 : 0
53.27/24.66	c (6,0) c Imported_7 : 0
53.27/24.66	c (6,0) c Imported_total : 0
53.27/24.66	c (6,0) c Imported_winner : 0
53.27/24.66	c (6,0) c Good_0 : 0
53.27/24.66	c (6,0) c Good_1 : 0
53.27/24.66	c (6,0) c Good_2 : 0
53.27/24.66	c (6,0) c Good_3 : 0
53.27/24.66	c (6,0) c Good_4 : 0
53.27/24.66	c (6,0) c Good_5 : 0
53.27/24.66	c (6,0) c Good_6 : 0
53.27/24.66	c (6,0) c Good_7 : 0
53.27/24.66	c (6,0) c Good_total : 0
53.27/24.66	c (6,0) c Good_winner : 0
53.27/24.66	c (6,0) c Purge_0 : 0
53.27/24.66	c (6,0) c Purge_1 : 0
53.27/24.66	c (6,0) c Purge_2 : 0
53.27/24.66	c (6,0) c Purge_3 : 0
53.27/24.66	c (6,0) c Purge_4 : 0
53.27/24.66	c (6,0) c Purge_5 : 0
53.27/24.66	c (6,0) c Purge_6 : 0
53.27/24.66	c (6,0) c Purge_7 : 0
53.27/24.66	c (6,0) c Purge_total : 0
53.27/24.66	c (6,0) c Purge_winner : 0
53.27/24.66	c (6,0) c Promoted_0 : 0
53.27/24.66	c (6,0) c Promoted_1 : 0
53.27/24.66	c (6,0) c Promoted_2 : 0
53.27/24.66	c (6,0) c Promoted_3 : 0
53.27/24.66	c (6,0) c Promoted_4 : 0
53.27/24.66	c (6,0) c Promoted_5 : 0
53.27/24.66	c (6,0) c Promoted_6 : 0
53.27/24.66	c (6,0) c Promoted_7 : 0
53.27/24.66	c (6,0) c Promoted_total : 0
53.27/24.66	c (6,0) c Promoted_winner : 0
53.27/24.66	c (6,0) c Remove_Imp_0 : 0
53.27/24.66	c (6,0) c Remove_Imp_1 : 0
53.27/24.66	c (6,0) c Remove_Imp_2 : 0
53.27/24.66	c (6,0) c Remove_Imp_3 : 0
53.27/24.66	c (6,0) c Remove_Imp_4 : 0
53.27/24.66	c (6,0) c Remove_Imp_5 : 0
53.27/24.66	c (6,0) c Remove_Imp_6 : 0
53.27/24.66	c (6,0) c Remove_Imp_7 : 0
53.27/24.66	c (6,0) c Remove_Imp_total : 0
53.27/24.66	c (6,0) c Remove_Imp_winner : 0
53.27/24.66	c (6,0) c Blocked_Reuse_0 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_1 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_2 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_3 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_4 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_5 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_6 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_7 : 0
53.27/24.66	c (6,0) c Blocked_Reuse_total : 0
53.27/24.66	c (6,0) c Blocked_Reuse_winner : 0
53.27/24.66	c (6,0) c Unaries_0 : 5
53.27/24.66	c (6,0) c Unaries_1 : 2
53.27/24.66	c (6,0) c Unaries_2 : 5
53.27/24.66	c (6,0) c Unaries_3 : 4
53.27/24.66	c (6,0) c Unaries_4 : 3
53.27/24.66	c (6,0) c Unaries_5 : 1
53.27/24.66	c (6,0) c Unaries_6 : 2
53.27/24.66	c (6,0) c Unaries_7 : 4
53.27/24.66	c (6,0) c Unaries_total : 26
53.27/24.66	c (6,0) c Unaries_winner : 1
53.27/24.66	c (6,0) c Binaries_0 : 17
53.27/24.66	c (6,0) c Binaries_1 : 5
53.27/24.66	c (6,0) c Binaries_2 : 11
53.27/24.66	c (6,0) c Binaries_3 : 10
53.27/24.66	c (6,0) c Binaries_4 : 19
53.27/24.66	c (6,0) c Binaries_5 : 8
53.27/24.66	c (6,0) c Binaries_6 : 20
53.27/24.66	c (6,0) c Binaries_7 : 14
53.27/24.66	c (6,0) c Binaries_total : 104
53.27/24.66	c (6,0) c Binaries_winner : 8
53.27/24.66	c (6,0) c Glues_0 : 18
53.27/24.66	c (6,0) c Glues_1 : 8
53.27/24.66	c (6,0) c Glues_2 : 12
53.27/24.66	c (6,0) c Glues_3 : 15
53.27/24.66	c (6,0) c Glues_4 : 23
53.27/24.66	c (6,0) c Glues_5 : 9
53.27/24.66	c (6,0) c Glues_6 : 22
53.27/24.66	c (6,0) c Glues_7 : 16
53.27/24.66	c (6,0) c Glues_total : 123
53.27/24.66	c (6,0) c Glues_winner : 9
53.27/24.66	c (6,0) c RunningTime_0 : 1.309513
53.27/24.66	c (6,0) c RunningTime_1 : 1.357664
53.27/24.66	c (6,0) c RunningTime_2 : 1.324822
53.27/24.66	c (6,0) c RunningTime_3 : 1.383259
53.27/24.66	c (6,0) c RunningTime_4 : 1.308772
53.27/24.66	c (6,0) c RunningTime_5 : 1.274931
53.27/24.66	c (6,0) c RunningTime_6 : 1.326593
53.27/24.66	c (6,0) c RunningTime_7 : 1.282156
53.27/24.66	c (6,0) c RunningTime_total : 10.567710
53.27/24.66	c (6,0) c RunningTime_winner : 1.274931
53.27/24.66	c (6,0) c WaitingTime_0 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_1 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_2 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_3 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_4 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_5 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_6 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_7 : 0.000000
53.27/24.66	c (6,0) c WaitingTime_total : 0.000000
53.27/24.67	c (6,0) c WaitingTime_winner : 0.000000
53.27/24.67	c (6,0) c ExchangingTime_0 : 0.000103
53.27/24.67	c (6,0) c ExchangingTime_1 : 0.000093
53.27/24.67	c (6,0) c ExchangingTime_2 : 0.000096
53.27/24.67	c (6,0) c ExchangingTime_3 : 0.000139
53.27/24.67	c (6,0) c ExchangingTime_4 : 0.000330
53.27/24.67	c (6,0) c ExchangingTime_5 : 0.000080
53.27/24.67	c (6,0) c ExchangingTime_6 : 0.000096
53.27/24.67	c (6,0) c ExchangingTime_7 : 0.000094
53.27/24.67	c (6,0) c ExchangingTime_total : 0.001030
53.27/24.67	c (6,0) c ExchangingTime_winner : 0.000080
53.27/24.67	c (6,0) c PeriodProcTime_0 : 0.000065
53.27/24.67	c (6,0) c PeriodProcTime_1 : 0.000056
53.27/24.67	c (6,0) c PeriodProcTime_2 : 0.000062
53.27/24.67	c (6,0) c PeriodProcTime_3 : 0.000078
53.27/24.67	c (6,0) c PeriodProcTime_4 : 0.000107
53.27/24.67	c (6,0) c PeriodProcTime_5 : 0.000040
53.27/24.67	c (6,0) c PeriodProcTime_6 : 0.000082
53.27/24.67	c (6,0) c PeriodProcTime_7 : 0.000055
53.27/24.67	c (6,0) c PeriodProcTime_total : 0.000545
53.27/24.67	c (6,0) c PeriodProcTime_winner : 0.000040
53.27/24.67	c (6,0) c SolvingTime_0 : 1.309680
53.27/24.67	c (6,0) c SolvingTime_1 : 1.357813
53.27/24.67	c (6,0) c SolvingTime_2 : 1.324980
53.27/24.67	c (6,0) c SolvingTime_3 : 1.383475
53.27/24.67	c (6,0) c SolvingTime_4 : 1.309210
53.27/24.67	c (6,0) c SolvingTime_5 : 1.275051
53.27/24.67	c (6,0) c SolvingTime_6 : 1.326770
53.27/24.67	c (6,0) c SolvingTime_7 : 1.282305
53.27/24.67	c (6,0) c SolvingTime_total : 10.569285
53.27/24.67	c (6,0) c SolvingTime_winner : 1.275051
53.27/24.67	c (6,0) c PropagationTime_0 : 1.229225
53.27/24.67	c (6,0) c PropagationTime_1 : 1.289136
53.27/24.67	c (6,0) c PropagationTime_2 : 1.249284
53.27/24.67	c (6,0) c PropagationTime_3 : 1.307566
53.27/24.67	c (6,0) c PropagationTime_4 : 1.234244
53.27/24.67	c (6,0) c PropagationTime_5 : 1.195003
53.27/24.67	c (6,0) c PropagationTime_6 : 1.259498
53.27/24.67	c (6,0) c PropagationTime_7 : 1.202583
53.27/24.67	c (6,0) c PropagationTime_total : 9.966538
53.27/24.67	c (6,0) c PropagationTime_winner : 1.195003
53.27/24.67	c (6,0) c AnalysisTime_0 : 0.022816
53.27/24.67	c (6,0) c AnalysisTime_1 : 0.016979
53.27/24.67	c (6,0) c AnalysisTime_2 : 0.012632
53.27/24.67	c (6,0) c AnalysisTime_3 : 0.015955
53.27/24.67	c (6,0) c AnalysisTime_4 : 0.016754
53.27/24.67	c (6,0) c AnalysisTime_5 : 0.017178
53.27/24.67	c (6,0) c AnalysisTime_6 : 0.013797
53.27/24.67	c (6,0) c AnalysisTime_7 : 0.020844
53.27/24.67	c (6,0) c AnalysisTime_total : 0.136955
53.27/24.67	c (6,0) c AnalysisTime_winner : 0.017178
53.27/24.67	c (6,0) c ReductionTime_0 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_1 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_2 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_3 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_4 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_5 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_6 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_7 : 0.000000
53.27/24.67	c (6,0) c ReductionTime_total : 0.000000
53.27/24.67	c (6,0) c ReductionTime_winner : 0.000000
53.27/24.67	c (6,0) c SimplifyTime_0 : 0.000002
53.27/24.67	c (6,0) c SimplifyTime_1 : 0.000000
53.27/24.67	c (6,0) c SimplifyTime_2 : 0.000001
53.27/24.67	c (6,0) c SimplifyTime_3 : 0.000002
53.27/24.67	c (6,0) c SimplifyTime_4 : 0.000001
53.27/24.67	c (6,0) c SimplifyTime_5 : 0.000001
53.27/24.67	c (6,0) c SimplifyTime_6 : 0.000002
53.27/24.67	c (6,0) c SimplifyTime_7 : 0.000000
53.27/24.67	c (6,0) c SimplifyTime_total : 0.000009
53.27/24.67	c (6,0) c SimplifyTime_winner : 0.000001
53.27/24.67	c (6,0) c UsedRateTime_0 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_1 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_2 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_3 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_4 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_5 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_6 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_7 : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_total : 0.000000
53.27/24.67	c (6,0) c UsedRateTime_winner : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_0 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_1 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_2 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_3 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_4 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_5 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_6 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_7 : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_total : 0.000000
53.27/24.67	c (6,0) c OverlapRateTime_winner : 0.000000
53.27/24.67	c (6,0) c
53.27/24.67	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
53.27/24.67	c (6,0) c
53.27/24.67	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.67	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
53.27/24.67	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.67	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
53.27/24.67	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
53.27/24.67	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
53.27/24.67	c (6,0) c | Initial random_seed   |  903121254 |  209903029 |  481697451 |  483909487 | 1889119305 |  257931212 | 1058150796 |  301516923 |
53.27/24.67	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
53.27/24.67	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
53.27/24.67	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
53.27/24.67	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
53.27/24.67	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
53.27/24.67	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
53.27/24.67	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
53.27/24.67	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
53.27/24.67	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
53.27/24.67	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
53.27/24.67	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
53.27/24.67	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
53.27/24.67	c (6,0) 
53.27/24.67	c (6,0) s SATISFIABLE
53.51/24.78	c (6,0) SatSolver.solve End
53.51/24.78	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
53.51/24.78	c (6,0) Show results Begin
54.01/24.98	c (6,0) cls[0] = 5
54.01/24.98	c (6,0) cls[1] = 1
54.01/24.98	c (6,0) cls[2] = 1
54.01/24.98	c (6,0) cls[3] = 11
54.01/24.98	c (6,0) cls[4] = 1
54.01/24.98	c (6,0) cls[5] = 17
54.01/24.98	c (6,0) cls[6] = 18
54.01/24.98	c (6,0) cls[7] = 1
54.01/24.98	c (6,0) cls[8] = 17
54.01/24.98	c (6,0) cls[9] = 1
54.01/24.98	c (6,0) cls[10] = 3
54.01/24.98	c (6,0) cls[11] = 1
54.01/24.98	c (6,0) cls[12] = 5
54.01/24.98	c (6,0) cls[13] = 1
54.01/24.98	c (6,0) cls[14] = 4
54.01/24.98	c (6,0) cls[15] = 5
54.01/24.98	c (6,0) cls[16] = 1
54.01/24.98	c (6,0) cls[17] = 1
54.01/24.98	c (6,0) cls[18] = 5
54.01/24.98	c (6,0) cls[19] = 17
54.01/24.98	c (6,0) cls[20] = 1
54.01/24.98	c (6,0) cls[21] = 1
54.01/24.98	c (6,0) cls[22] = 11
54.01/24.98	c (6,0) cls[23] = 17
54.01/24.98	c (6,0) cls[24] = 1
54.01/24.98	c (6,0) cls[25] = 1
54.01/24.98	c (6,0) cls[26] = 5
54.01/24.98	c (6,0) cls[27] = 1
54.01/24.98	c (6,0) cls[28] = 1
54.01/24.98	c (6,0) cls[29] = 5
54.01/24.98	c (6,0) cls[30] = 1
54.01/24.98	c (6,0) cls[31] = 17
54.01/24.98	c (6,0) cls[32] = 8
54.01/24.98	c (6,0) cls[33] = 1
54.01/24.98	c (6,0) cls[34] = 7
54.01/24.98	c (6,0) cls[35] = 5
54.01/24.98	c (6,0) cls[36] = 16
54.01/24.98	c (6,0) cls[37] = 4
54.01/24.98	c (6,0) cls[38] = 1
54.01/24.98	c (6,0) cls[39] = 17
54.01/24.98	c (6,0) cls[40] = 5
54.01/24.98	c (6,0) cls[41] = 1
54.01/24.98	c (6,0) cls[42] = 16
54.01/24.98	c (6,0) cls[43] = 13
54.01/24.98	c (6,0) cls[44] = 1
54.01/24.98	c (6,0) cls[45] = 16
54.01/24.98	c (6,0) cls[46] = 1
54.01/24.98	c (6,0) cls[47] = 17
54.01/24.98	c (6,0) cls[48] = 1
54.01/24.98	c (6,0) cls[49] = 9
54.01/24.98	c (6,0) cls[50] = 16
54.01/24.98	c (6,0) cls[51] = 1
54.01/24.98	c (6,0) cls[52] = 1
54.01/24.98	c (6,0) cls[53] = 5
54.01/24.98	c (6,0) cls[54] = 10
54.01/24.98	c (6,0) cls[55] = 1
54.01/24.98	c (6,0) cls[56] = 5
54.01/24.98	c (6,0) cls[57] = 1
54.01/24.98	c (6,0) cls[58] = 7
54.01/24.98	c (6,0) cls[59] = 0
54.01/24.98	c (6,0) cls[60] = 1
54.01/24.98	c (6,0) cls[61] = 10
54.01/24.98	c (6,0) cls[62] = 5
54.01/24.98	c (6,0) cls[63] = 1
54.01/24.98	c (6,0) cls[64] = 1
54.01/24.98	c (6,0) cls[65] = 17
54.01/24.98	c (6,0) cls[66] = 5
54.01/24.98	c (6,0) cls[67] = 1
54.01/24.98	c (6,0) cls[68] = 7
54.01/24.98	c (6,0) cls[69] = 6
54.01/24.98	c (6,0) cls[70] = 16
54.01/24.98	c (6,0) cls[71] = 1
54.01/24.98	c (6,0) cls[72] = 5
54.01/24.98	c (6,0) cls[73] = 1
54.01/24.98	c (6,0) cls[74] = 1
54.01/24.98	c (6,0) cls[75] = 16
54.01/24.98	c (6,0) cls[76] = 6
54.01/24.98	c (6,0) cls[77] = 7
54.01/24.98	c (6,0) cls[78] = 17
54.01/24.98	c (6,0) cls[79] = 1
54.01/24.98	c (6,0) cls[80] = 1
54.01/24.98	c (6,0) cls[81] = 5
54.01/24.98	c (6,0) cls[82] = 2
54.01/24.98	c (6,0) cls[83] = 7
54.01/24.98	c (6,0) cls[84] = 2
54.01/24.98	c (6,0) cls[85] = 1
54.01/24.99	c (6,0) cls[86] = 5
54.01/24.99	c (6,0) cls[87] = 1
54.01/24.99	c (6,0) cls[88] = 1
54.01/24.99	c (6,0) cls[89] = 5
54.01/24.99	c (6,0) cls[90] = 12
54.01/24.99	c (6,0) cls[91] = 1
54.01/24.99	c (6,0) cls[92] = 5
54.01/24.99	c (6,0) cls[93] = 1
54.01/24.99	c (6,0) cls[94] = 1
54.01/24.99	c (6,0) cls[95] = 5
54.01/24.99	c (6,0) cls[96] = 1
54.01/24.99	c (6,0) cls[97] = 2
54.01/24.99	c (6,0) cls[98] = 5
54.01/24.99	c (6,0) cls[99] = 4
54.01/24.99	c (6,0) cls[100] = 1
54.01/24.99	c (6,0) cls[101] = 7
54.01/24.99	c (6,0) cls[102] = 6
54.01/24.99	c (6,0) cls[103] = 1
54.01/24.99	c (6,0) cls[104] = 16
54.01/24.99	c (6,0) cls[105] = 21
54.01/24.99	c (6,0) cls[106] = 7
54.01/24.99	c (6,0) cls[107] = 1
54.01/24.99	c (6,0) cls[108] = 19
54.01/24.99	c (6,0) cls[109] = 16
54.01/24.99	c (6,0) cls[110] = 1
54.01/24.99	c (6,0) cls[111] = 5
54.01/24.99	c (6,0) cls[112] = 1
54.01/24.99	c (6,0) cls[113] = 7
54.01/24.99	c (6,0) cls[114] = 1
54.01/24.99	c (6,0) cls[115] = 1
54.01/24.99	c (6,0) cls[116] = 17
54.01/24.99	c (6,0) cls[117] = 1
54.01/24.99	c (6,0) cls[118] = 23
54.01/24.99	c (6,0) cls[119] = 17
54.01/24.99	c (6,0) cls[120] = 1
54.01/24.99	c (6,0) cls[121] = 5
54.01/24.99	c (6,0) cls[122] = 1
54.01/24.99	c (6,0) cls[123] = 1
54.01/24.99	c (6,0) cls[124] = 17
54.01/24.99	c (6,0) cls[125] = 1
54.01/24.99	c (6,0) cls[126] = 2
54.01/24.99	c (6,0) cls[127] = 5
54.01/24.99	c (6,0) cls[128] = 20
54.01/24.99	c (6,0) cls[129] = 1
54.01/24.99	c (6,0) cls[130] = 5
54.01/24.99	c (6,0) cls[131] = 1
54.01/24.99	c (6,0) cls[132] = 0
54.01/24.99	c (6,0) cls[133] = 8
54.01/24.99	c (6,0) cls[134] = 1
54.01/24.99	c (6,0) cls[135] = 15
54.01/24.99	c (6,0) cls[136] = 1
54.01/24.99	c (6,0) cls[137] = 18
54.01/24.99	c (6,0) cls[138] = 16
54.01/24.99	c (6,0) cls[139] = 4
54.01/24.99	c (6,0) cls[140] = 1
54.01/24.99	c (6,0) cls[141] = 5
54.01/24.99	c (6,0) cls[142] = 2
54.01/24.99	c (6,0) cls[143] = 1
54.01/24.99	c (6,0) cls[144] = 17
54.01/24.99	c (6,0) cls[145] = 5
54.01/24.99	c (6,0) cls[146] = 1
54.01/24.99	c (6,0) cls[147] = 4
54.01/24.99	c (6,0) cls[148] = 7
54.01/24.99	c (6,0) cls[149] = 1
54.01/24.99	c (6,0) cls[150] = 5
54.01/24.99	c (6,0) cls[151] = 1
54.01/24.99	c (6,0) cls[152] = 17
54.01/24.99	c (6,0) cls[153] = 1
54.01/24.99	c (6,0) cls[154] = 1
54.01/24.99	c (6,0) cls[155] = 5
54.01/24.99	c (6,0) cls[156] = 10
54.01/24.99	c (6,0) cls[157] = 1
54.01/24.99	c (6,0) cls[158] = 22
54.01/24.99	c (6,0) cls[159] = 1
54.01/24.99	c (6,0) cls[160] = 4
54.01/24.99	c (6,0) cls[161] = 14
54.01/24.99	c (6,0) cls[162] = 1
54.01/24.99	c (6,0) cls[163] = 1
54.01/24.99	c (6,0) cls[164] = 16
54.01/24.99	c (6,0) cls[165] = 4
54.01/24.99	c (6,0) cls[166] = 5
54.01/24.99	c (6,0) cls[167] = 16
54.01/24.99	c (6,0) cls[168] = 1
54.01/24.99	c (6,0) cls[169] = 23
54.01/24.99	c (6,0) cls[170] = 0
54.01/24.99	c (6,0) cls[171] = 8
54.01/24.99	c (6,0) cls[172] = 1
54.01/24.99	c (6,0) cls[173] = 17
54.01/24.99	c (6,0) cls[174] = 14
54.01/24.99	c (6,0) cls[175] = 1
54.01/24.99	c (6,0) cls[176] = 16
54.01/24.99	c (6,0) cls[177] = 4
54.01/24.99	c (6,0) cls[178] = 5
54.01/24.99	c (6,0) cls[179] = 1
54.01/24.99	c (6,0) cls[180] = 1
54.01/24.99	c (6,0) cls[181] = 5
54.01/24.99	c (6,0) cls[182] = 7
54.01/24.99	c (6,0) cls[183] = 1
54.01/24.99	c (6,0) cls[184] = 5
54.01/24.99	c (6,0) cls[185] = 1
54.01/24.99	c (6,0) cls[186] = 1
54.01/24.99	c (6,0) cls[187] = 5
54.01/24.99	c (6,0) cls[188] = 1
54.01/24.99	c (6,0) cls[189] = 1
54.01/24.99	c (6,0) cls[190] = 7
54.01/24.99	c (6,0) cls[191] = 1
54.01/24.99	c (6,0) cls[192] = 5
54.01/24.99	c (6,0) cls[193] = 1
54.01/24.99	c (6,0) cls[194] = 10
54.01/24.99	c (6,0) cls[195] = 14
54.01/24.99	c (6,0) cls[196] = 1
54.01/24.99	c (6,0) cls[197] = 1
54.01/24.99	c (6,0) cls[198] = 5
54.01/24.99	c (6,0) cls[199] = 1
54.01/24.99	c (6,0) opt[0][0] = 0
54.01/24.99	c (6,0) opt[0][1] = 0
54.01/24.99	c (6,0) opt[0][2] = 1
54.01/24.99	c (6,0) opt[0][3] = 0
54.01/24.99	c (6,0) opt[0][4] = 0
54.01/24.99	c (6,0) opt[1][0] = 0
54.01/24.99	c (6,0) opt[1][1] = 1
54.01/24.99	c (6,0) opt[1][2] = 0
54.01/24.99	c (6,0) opt[1][3] = 0
54.01/24.99	c (6,0) opt[1][4] = 0
54.01/24.99	c (6,0) opt[2][0] = 0
54.01/24.99	c (6,0) opt[2][1] = 1
54.01/24.99	c (6,0) opt[2][2] = 0
54.01/24.99	c (6,0) opt[2][3] = 0
54.01/24.99	c (6,0) opt[2][4] = 0
54.01/24.99	c (6,0) opt[3][0] = 0
54.01/24.99	c (6,0) opt[3][1] = 0
54.01/24.99	c (6,0) opt[3][2] = 1
54.01/24.99	c (6,0) opt[3][3] = 0
54.01/24.99	c (6,0) opt[3][4] = 1
54.01/24.99	c (6,0) opt[4][0] = 0
54.01/24.99	c (6,0) opt[4][1] = 1
54.01/24.99	c (6,0) opt[4][2] = 0
54.01/24.99	c (6,0) opt[4][3] = 0
54.01/24.99	c (6,0) opt[4][4] = 0
54.01/24.99	c (6,0) opt[5][0] = 1
54.01/24.99	c (6,0) opt[5][1] = 0
54.01/24.99	c (6,0) opt[5][2] = 0
54.01/24.99	c (6,0) opt[5][3] = 0
54.01/24.99	c (6,0) opt[5][4] = 0
54.01/24.99	c (6,0) opt[6][0] = 0
54.01/24.99	c (6,0) opt[6][1] = 1
54.01/24.99	c (6,0) opt[6][2] = 1
54.01/24.99	c (6,0) opt[6][3] = 1
54.01/24.99	c (6,0) opt[6][4] = 0
54.01/24.99	c (6,0) opt[7][0] = 0
54.01/24.99	c (6,0) opt[7][1] = 1
54.01/24.99	c (6,0) opt[7][2] = 0
54.01/24.99	c (6,0) opt[7][3] = 0
54.01/24.99	c (6,0) opt[7][4] = 0
54.01/24.99	c (6,0) opt[8][0] = 1
54.01/24.99	c (6,0) opt[8][1] = 0
54.01/24.99	c (6,0) opt[8][2] = 0
54.01/24.99	c (6,0) opt[8][3] = 0
54.01/24.99	c (6,0) opt[8][4] = 0
54.01/24.99	c (6,0) opt[9][0] = 0
54.01/24.99	c (6,0) opt[9][1] = 1
54.01/24.99	c (6,0) opt[9][2] = 0
54.01/24.99	c (6,0) opt[9][3] = 0
54.01/24.99	c (6,0) opt[9][4] = 0
54.01/24.99	c (6,0) opt[10][0] = 1
54.01/24.99	c (6,0) opt[10][1] = 0
54.01/24.99	c (6,0) opt[10][2] = 0
54.01/24.99	c (6,0) opt[10][3] = 1
54.01/24.99	c (6,0) opt[10][4] = 1
54.01/24.99	c (6,0) opt[11][0] = 0
54.01/24.99	c (6,0) opt[11][1] = 1
54.01/24.99	c (6,0) opt[11][2] = 0
54.01/24.99	c (6,0) opt[11][3] = 0
54.01/24.99	c (6,0) opt[11][4] = 0
54.01/24.99	c (6,0) opt[12][0] = 0
54.01/24.99	c (6,0) opt[12][1] = 0
54.01/24.99	c (6,0) opt[12][2] = 1
54.01/24.99	c (6,0) opt[12][3] = 0
54.01/24.99	c (6,0) opt[12][4] = 0
54.01/24.99	c (6,0) opt[13][0] = 0
54.01/24.99	c (6,0) opt[13][1] = 1
54.01/24.99	c (6,0) opt[13][2] = 0
54.01/24.99	c (6,0) opt[13][3] = 0
54.01/24.99	c (6,0) opt[13][4] = 0
54.01/24.99	c (6,0) opt[14][0] = 1
54.01/24.99	c (6,0) opt[14][1] = 1
54.01/24.99	c (6,0) opt[14][2] = 0
54.01/24.99	c (6,0) opt[14][3] = 0
54.01/24.99	c (6,0) opt[14][4] = 0
54.01/24.99	c (6,0) opt[15][0] = 0
54.01/24.99	c (6,0) opt[15][1] = 0
54.01/24.99	c (6,0) opt[15][2] = 1
54.01/24.99	c (6,0) opt[15][3] = 0
54.01/24.99	c (6,0) opt[15][4] = 0
54.01/24.99	c (6,0) opt[16][0] = 0
54.01/24.99	c (6,0) opt[16][1] = 1
54.01/24.99	c (6,0) opt[16][2] = 0
54.01/24.99	c (6,0) opt[16][3] = 0
54.01/24.99	c (6,0) opt[16][4] = 0
54.01/24.99	c (6,0) opt[17][0] = 0
54.01/24.99	c (6,0) opt[17][1] = 1
54.01/24.99	c (6,0) opt[17][2] = 0
54.01/24.99	c (6,0) opt[17][3] = 0
54.01/24.99	c (6,0) opt[17][4] = 0
54.01/24.99	c (6,0) opt[18][0] = 0
54.01/24.99	c (6,0) opt[18][1] = 0
54.01/24.99	c (6,0) opt[18][2] = 1
54.01/24.99	c (6,0) opt[18][3] = 0
54.01/24.99	c (6,0) opt[18][4] = 0
54.01/24.99	c (6,0) opt[19][0] = 1
54.01/24.99	c (6,0) opt[19][1] = 0
54.01/24.99	c (6,0) opt[19][2] = 0
54.01/24.99	c (6,0) opt[19][3] = 0
54.01/24.99	c (6,0) opt[19][4] = 0
54.01/24.99	c (6,0) opt[20][0] = 0
54.01/24.99	c (6,0) opt[20][1] = 1
54.01/24.99	c (6,0) opt[20][2] = 0
54.01/24.99	c (6,0) opt[20][3] = 0
54.01/24.99	c (6,0) opt[20][4] = 0
54.01/24.99	c (6,0) opt[21][0] = 0
54.01/24.99	c (6,0) opt[21][1] = 1
54.01/24.99	c (6,0) opt[21][2] = 0
54.01/24.99	c (6,0) opt[21][3] = 0
54.01/24.99	c (6,0) opt[21][4] = 0
54.01/24.99	c (6,0) opt[22][0] = 0
54.01/24.99	c (6,0) opt[22][1] = 0
54.01/24.99	c (6,0) opt[22][2] = 1
54.01/24.99	c (6,0) opt[22][3] = 0
54.01/24.99	c (6,0) opt[22][4] = 1
54.01/24.99	c (6,0) opt[23][0] = 1
54.01/24.99	c (6,0) opt[23][1] = 0
54.01/24.99	c (6,0) opt[23][2] = 0
54.01/24.99	c (6,0) opt[23][3] = 0
54.01/24.99	c (6,0) opt[23][4] = 0
54.01/24.99	c (6,0) opt[24][0] = 0
54.01/24.99	c (6,0) opt[24][1] = 1
54.01/24.99	c (6,0) opt[24][2] = 0
54.01/24.99	c (6,0) opt[24][3] = 0
54.01/24.99	c (6,0) opt[24][4] = 0
54.01/24.99	c (6,0) opt[25][0] = 0
54.01/24.99	c (6,0) opt[25][1] = 1
54.01/24.99	c (6,0) opt[25][2] = 0
54.01/24.99	c (6,0) opt[25][3] = 0
54.01/24.99	c (6,0) opt[25][4] = 0
54.01/24.99	c (6,0) opt[26][0] = 0
54.01/24.99	c (6,0) opt[26][1] = 0
54.01/24.99	c (6,0) opt[26][2] = 1
54.01/24.99	c (6,0) opt[26][3] = 0
54.01/24.99	c (6,0) opt[26][4] = 0
54.01/24.99	c (6,0) opt[27][0] = 0
54.01/24.99	c (6,0) opt[27][1] = 1
54.01/24.99	c (6,0) opt[27][2] = 0
54.01/24.99	c (6,0) opt[27][3] = 0
54.01/24.99	c (6,0) opt[27][4] = 0
54.01/24.99	c (6,0) opt[28][0] = 0
54.01/24.99	c (6,0) opt[28][1] = 1
54.01/24.99	c (6,0) opt[28][2] = 0
54.01/24.99	c (6,0) opt[28][3] = 0
54.01/24.99	c (6,0) opt[28][4] = 0
54.01/24.99	c (6,0) opt[29][0] = 0
54.01/24.99	c (6,0) opt[29][1] = 0
54.01/24.99	c (6,0) opt[29][2] = 1
54.01/24.99	c (6,0) opt[29][3] = 0
54.01/24.99	c (6,0) opt[29][4] = 0
54.01/24.99	c (6,0) opt[30][0] = 0
54.01/24.99	c (6,0) opt[30][1] = 1
54.01/24.99	c (6,0) opt[30][2] = 0
54.01/24.99	c (6,0) opt[30][3] = 0
54.01/24.99	c (6,0) opt[30][4] = 0
54.01/24.99	c (6,0) opt[31][0] = 1
54.01/24.99	c (6,0) opt[31][1] = 0
54.01/24.99	c (6,0) opt[31][2] = 0
54.01/24.99	c (6,0) opt[31][3] = 0
54.01/24.99	c (6,0) opt[31][4] = 0
54.01/24.99	c (6,0) opt[32][0] = 0
54.01/24.99	c (6,0) opt[32][1] = 1
54.01/24.99	c (6,0) opt[32][2] = 1
54.01/24.99	c (6,0) opt[32][3] = 0
54.01/24.99	c (6,0) opt[32][4] = 0
54.01/24.99	c (6,0) opt[33][0] = 0
54.01/24.99	c (6,0) opt[33][1] = 1
54.01/24.99	c (6,0) opt[33][2] = 0
54.01/24.99	c (6,0) opt[33][3] = 0
54.01/24.99	c (6,0) opt[33][4] = 0
54.01/24.99	c (6,0) opt[34][0] = 0
54.01/24.99	c (6,0) opt[34][1] = 0
54.01/24.99	c (6,0) opt[34][2] = 0
54.01/24.99	c (6,0) opt[34][3] = 0
54.01/24.99	c (6,0) opt[34][4] = 1
54.01/24.99	c (6,0) opt[35][0] = 0
54.01/24.99	c (6,0) opt[35][1] = 0
54.01/24.99	c (6,0) opt[35][2] = 1
54.01/24.99	c (6,0) opt[35][3] = 0
54.01/24.99	c (6,0) opt[35][4] = 0
54.01/24.99	c (6,0) opt[36][0] = 0
54.01/24.99	c (6,0) opt[36][1] = 0
54.01/24.99	c (6,0) opt[36][2] = 0
54.01/24.99	c (6,0) opt[36][3] = 1
54.01/24.99	c (6,0) opt[36][4] = 0
54.01/24.99	c (6,0) opt[37][0] = 1
54.01/24.99	c (6,0) opt[37][1] = 1
54.01/24.99	c (6,0) opt[37][2] = 0
54.01/24.99	c (6,0) opt[37][3] = 0
54.01/24.99	c (6,0) opt[37][4] = 0
54.01/24.99	c (6,0) opt[38][0] = 0
54.01/24.99	c (6,0) opt[38][1] = 1
54.01/24.99	c (6,0) opt[38][2] = 0
54.01/24.99	c (6,0) opt[38][3] = 0
54.01/24.99	c (6,0) opt[38][4] = 0
54.01/24.99	c (6,0) opt[39][0] = 1
54.01/24.99	c (6,0) opt[39][1] = 0
54.01/24.99	c (6,0) opt[39][2] = 0
54.01/24.99	c (6,0) opt[39][3] = 0
54.01/24.99	c (6,0) opt[39][4] = 0
54.01/24.99	c (6,0) opt[40][0] = 0
54.01/24.99	c (6,0) opt[40][1] = 0
54.01/24.99	c (6,0) opt[40][2] = 1
54.01/24.99	c (6,0) opt[40][3] = 0
54.01/24.99	c (6,0) opt[40][4] = 0
54.01/24.99	c (6,0) opt[41][0] = 0
54.01/24.99	c (6,0) opt[41][1] = 1
54.01/24.99	c (6,0) opt[41][2] = 0
54.01/24.99	c (6,0) opt[41][3] = 0
54.01/24.99	c (6,0) opt[41][4] = 0
54.01/24.99	c (6,0) opt[42][0] = 0
54.01/24.99	c (6,0) opt[42][1] = 0
54.01/24.99	c (6,0) opt[42][2] = 0
54.01/24.99	c (6,0) opt[42][3] = 1
54.01/24.99	c (6,0) opt[42][4] = 0
54.01/24.99	c (6,0) opt[43][0] = 1
54.01/24.99	c (6,0) opt[43][1] = 1
54.01/24.99	c (6,0) opt[43][2] = 1
54.01/24.99	c (6,0) opt[43][3] = 0
54.01/24.99	c (6,0) opt[43][4] = 1
54.01/24.99	c (6,0) opt[44][0] = 0
54.01/24.99	c (6,0) opt[44][1] = 1
54.01/24.99	c (6,0) opt[44][2] = 0
54.01/24.99	c (6,0) opt[44][3] = 0
54.01/24.99	c (6,0) opt[44][4] = 0
54.01/24.99	c (6,0) opt[45][0] = 0
54.01/24.99	c (6,0) opt[45][1] = 0
54.01/24.99	c (6,0) opt[45][2] = 0
54.01/24.99	c (6,0) opt[45][3] = 1
54.01/24.99	c (6,0) opt[45][4] = 0
54.01/24.99	c (6,0) opt[46][0] = 0
54.01/24.99	c (6,0) opt[46][1] = 1
54.01/24.99	c (6,0) opt[46][2] = 0
54.01/24.99	c (6,0) opt[46][3] = 0
54.01/24.99	c (6,0) opt[46][4] = 0
54.01/24.99	c (6,0) opt[47][0] = 1
54.01/24.99	c (6,0) opt[47][1] = 0
54.01/24.99	c (6,0) opt[47][2] = 0
54.01/24.99	c (6,0) opt[47][3] = 0
54.01/24.99	c (6,0) opt[47][4] = 0
54.01/24.99	c (6,0) opt[48][0] = 0
54.01/24.99	c (6,0) opt[48][1] = 1
54.01/24.99	c (6,0) opt[48][2] = 0
54.01/24.99	c (6,0) opt[48][3] = 0
54.01/24.99	c (6,0) opt[48][4] = 0
54.01/24.99	c (6,0) opt[49][0] = 1
54.01/24.99	c (6,0) opt[49][1] = 0
54.01/24.99	c (6,0) opt[49][2] = 1
54.01/24.99	c (6,0) opt[49][3] = 0
54.01/24.99	c (6,0) opt[49][4] = 1
54.01/24.99	c (6,0) opt[50][0] = 0
54.01/24.99	c (6,0) opt[50][1] = 0
54.01/24.99	c (6,0) opt[50][2] = 0
54.01/24.99	c (6,0) opt[50][3] = 1
54.01/24.99	c (6,0) opt[50][4] = 0
54.01/24.99	c (6,0) opt[51][0] = 0
54.01/24.99	c (6,0) opt[51][1] = 1
54.01/24.99	c (6,0) opt[51][2] = 0
54.01/24.99	c (6,0) opt[51][3] = 0
54.01/24.99	c (6,0) opt[51][4] = 0
54.01/24.99	c (6,0) opt[52][0] = 0
54.01/24.99	c (6,0) opt[52][1] = 1
54.01/24.99	c (6,0) opt[52][2] = 0
54.01/24.99	c (6,0) opt[52][3] = 0
54.01/24.99	c (6,0) opt[52][4] = 0
54.01/24.99	c (6,0) opt[53][0] = 0
54.01/24.99	c (6,0) opt[53][1] = 0
54.01/24.99	c (6,0) opt[53][2] = 1
54.01/24.99	c (6,0) opt[53][3] = 0
54.01/24.99	c (6,0) opt[53][4] = 0
54.01/24.99	c (6,0) opt[54][0] = 1
54.01/24.99	c (6,0) opt[54][1] = 1
54.01/24.99	c (6,0) opt[54][2] = 0
54.01/24.99	c (6,0) opt[54][3] = 1
54.01/24.99	c (6,0) opt[54][4] = 0
54.01/24.99	c (6,0) opt[55][0] = 0
54.01/24.99	c (6,0) opt[55][1] = 1
54.01/24.99	c (6,0) opt[55][2] = 0
54.01/24.99	c (6,0) opt[55][3] = 0
54.01/24.99	c (6,0) opt[55][4] = 0
54.01/24.99	c (6,0) opt[56][0] = 0
54.01/24.99	c (6,0) opt[56][1] = 0
54.01/24.99	c (6,0) opt[56][2] = 1
54.01/24.99	c (6,0) opt[56][3] = 0
54.01/24.99	c (6,0) opt[56][4] = 0
54.01/24.99	c (6,0) opt[57][0] = 0
54.01/24.99	c (6,0) opt[57][1] = 1
54.01/24.99	c (6,0) opt[57][2] = 0
54.01/24.99	c (6,0) opt[57][3] = 0
54.01/24.99	c (6,0) opt[57][4] = 0
54.01/24.99	c (6,0) opt[58][0] = 0
54.01/24.99	c (6,0) opt[58][1] = 0
54.01/24.99	c (6,0) opt[58][2] = 0
54.01/24.99	c (6,0) opt[58][3] = 0
54.01/24.99	c (6,0) opt[58][4] = 1
54.01/24.99	c (6,0) opt[59][0] = 1
54.01/24.99	c (6,0) opt[59][1] = 0
54.01/24.99	c (6,0) opt[59][2] = 0
54.01/24.99	c (6,0) opt[59][3] = 1
54.01/24.99	c (6,0) opt[59][4] = 0
54.01/24.99	c (6,0) opt[60][0] = 0
54.01/24.99	c (6,0) opt[60][1] = 1
54.01/24.99	c (6,0) opt[60][2] = 0
54.01/24.99	c (6,0) opt[60][3] = 0
54.01/24.99	c (6,0) opt[60][4] = 0
54.01/24.99	c (6,0) opt[61][0] = 1
54.01/24.99	c (6,0) opt[61][1] = 1
54.01/24.99	c (6,0) opt[61][2] = 0
54.01/24.99	c (6,0) opt[61][3] = 1
54.01/24.99	c (6,0) opt[61][4] = 0
54.01/24.99	c (6,0) opt[62][0] = 0
54.01/24.99	c (6,0) opt[62][1] = 0
54.01/24.99	c (6,0) opt[62][2] = 1
54.01/24.99	c (6,0) opt[62][3] = 0
54.01/24.99	c (6,0) opt[62][4] = 0
54.01/24.99	c (6,0) opt[63][0] = 0
54.01/24.99	c (6,0) opt[63][1] = 1
54.01/24.99	c (6,0) opt[63][2] = 0
54.01/24.99	c (6,0) opt[63][3] = 0
54.01/24.99	c (6,0) opt[63][4] = 0
54.01/24.99	c (6,0) opt[64][0] = 0
54.01/24.99	c (6,0) opt[64][1] = 1
54.01/24.99	c (6,0) opt[64][2] = 0
54.01/24.99	c (6,0) opt[64][3] = 0
54.01/24.99	c (6,0) opt[64][4] = 0
54.01/24.99	c (6,0) opt[65][0] = 1
54.01/24.99	c (6,0) opt[65][1] = 0
54.01/24.99	c (6,0) opt[65][2] = 0
54.01/24.99	c (6,0) opt[65][3] = 0
54.01/24.99	c (6,0) opt[65][4] = 0
54.01/24.99	c (6,0) opt[66][0] = 0
54.01/24.99	c (6,0) opt[66][1] = 0
54.01/24.99	c (6,0) opt[66][2] = 1
54.01/24.99	c (6,0) opt[66][3] = 0
54.01/24.99	c (6,0) opt[66][4] = 0
54.01/24.99	c (6,0) opt[67][0] = 0
54.01/24.99	c (6,0) opt[67][1] = 1
54.01/24.99	c (6,0) opt[67][2] = 0
54.01/24.99	c (6,0) opt[67][3] = 0
54.01/24.99	c (6,0) opt[67][4] = 0
54.01/24.99	c (6,0) opt[68][0] = 0
54.01/24.99	c (6,0) opt[68][1] = 0
54.01/24.99	c (6,0) opt[68][2] = 0
54.01/24.99	c (6,0) opt[68][3] = 0
54.01/24.99	c (6,0) opt[68][4] = 1
54.01/24.99	c (6,0) opt[69][0] = 1
54.01/24.99	c (6,0) opt[69][1] = 1
54.01/24.99	c (6,0) opt[69][2] = 1
54.01/24.99	c (6,0) opt[69][3] = 1
54.01/24.99	c (6,0) opt[69][4] = 0
54.01/24.99	c (6,0) opt[70][0] = 0
54.01/24.99	c (6,0) opt[70][1] = 0
54.01/24.99	c (6,0) opt[70][2] = 0
54.01/24.99	c (6,0) opt[70][3] = 1
54.01/24.99	c (6,0) opt[70][4] = 0
54.01/24.99	c (6,0) opt[71][0] = 0
54.01/24.99	c (6,0) opt[71][1] = 1
54.01/24.99	c (6,0) opt[71][2] = 0
54.01/24.99	c (6,0) opt[71][3] = 0
54.01/24.99	c (6,0) opt[71][4] = 0
54.01/24.99	c (6,0) opt[72][0] = 0
54.01/24.99	c (6,0) opt[72][1] = 0
54.01/24.99	c (6,0) opt[72][2] = 1
54.01/24.99	c (6,0) opt[72][3] = 0
54.01/24.99	c (6,0) opt[72][4] = 0
54.01/24.99	c (6,0) opt[73][0] = 0
54.01/24.99	c (6,0) opt[73][1] = 1
54.01/24.99	c (6,0) opt[73][2] = 0
54.01/24.99	c (6,0) opt[73][3] = 0
54.01/24.99	c (6,0) opt[73][4] = 0
54.01/24.99	c (6,0) opt[74][0] = 0
54.01/24.99	c (6,0) opt[74][1] = 1
54.01/24.99	c (6,0) opt[74][2] = 0
54.01/24.99	c (6,0) opt[74][3] = 0
54.01/24.99	c (6,0) opt[74][4] = 0
54.01/24.99	c (6,0) opt[75][0] = 0
54.01/24.99	c (6,0) opt[75][1] = 0
54.01/24.99	c (6,0) opt[75][2] = 0
54.01/24.99	c (6,0) opt[75][3] = 1
54.01/24.99	c (6,0) opt[75][4] = 0
54.01/24.99	c (6,0) opt[76][0] = 1
54.01/24.99	c (6,0) opt[76][1] = 1
54.01/24.99	c (6,0) opt[76][2] = 1
54.01/24.99	c (6,0) opt[76][3] = 1
54.01/24.99	c (6,0) opt[76][4] = 0
54.01/24.99	c (6,0) opt[77][0] = 0
54.01/24.99	c (6,0) opt[77][1] = 0
54.01/24.99	c (6,0) opt[77][2] = 0
54.01/24.99	c (6,0) opt[77][3] = 0
54.01/24.99	c (6,0) opt[77][4] = 1
54.01/24.99	c (6,0) opt[78][0] = 1
54.01/24.99	c (6,0) opt[78][1] = 0
54.01/24.99	c (6,0) opt[78][2] = 0
54.01/24.99	c (6,0) opt[78][3] = 0
54.01/24.99	c (6,0) opt[78][4] = 0
54.01/24.99	c (6,0) opt[79][0] = 0
54.01/24.99	c (6,0) opt[79][1] = 1
54.01/24.99	c (6,0) opt[79][2] = 0
54.01/24.99	c (6,0) opt[79][3] = 0
54.01/24.99	c (6,0) opt[79][4] = 0
54.01/24.99	c (6,0) opt[80][0] = 0
54.01/24.99	c (6,0) opt[80][1] = 1
54.01/24.99	c (6,0) opt[80][2] = 0
54.01/24.99	c (6,0) opt[80][3] = 0
54.01/24.99	c (6,0) opt[80][4] = 0
54.01/24.99	c (6,0) opt[81][0] = 0
54.01/24.99	c (6,0) opt[81][1] = 0
54.01/24.99	c (6,0) opt[81][2] = 1
54.01/24.99	c (6,0) opt[81][3] = 0
54.01/24.99	c (6,0) opt[81][4] = 0
54.01/24.99	c (6,0) opt[82][0] = 0
54.01/24.99	c (6,0) opt[82][1] = 1
54.01/24.99	c (6,0) opt[82][2] = 0
54.01/24.99	c (6,0) opt[82][3] = 1
54.01/24.99	c (6,0) opt[82][4] = 0
54.01/24.99	c (6,0) opt[83][0] = 0
54.01/24.99	c (6,0) opt[83][1] = 0
54.01/24.99	c (6,0) opt[83][2] = 0
54.01/24.99	c (6,0) opt[83][3] = 0
54.01/24.99	c (6,0) opt[83][4] = 1
54.01/24.99	c (6,0) opt[84][0] = 0
54.01/24.99	c (6,0) opt[84][1] = 1
54.01/24.99	c (6,0) opt[84][2] = 0
54.01/24.99	c (6,0) opt[84][3] = 1
54.01/24.99	c (6,0) opt[84][4] = 0
54.01/24.99	c (6,0) opt[85][0] = 0
54.01/24.99	c (6,0) opt[85][1] = 1
54.01/24.99	c (6,0) opt[85][2] = 0
54.01/24.99	c (6,0) opt[85][3] = 0
54.01/24.99	c (6,0) opt[85][4] = 0
54.01/24.99	c (6,0) opt[86][0] = 0
54.01/24.99	c (6,0) opt[86][1] = 0
54.01/24.99	c (6,0) opt[86][2] = 1
54.01/24.99	c (6,0) opt[86][3] = 0
54.01/24.99	c (6,0) opt[86][4] = 0
54.01/24.99	c (6,0) opt[87][0] = 0
54.01/24.99	c (6,0) opt[87][1] = 1
54.01/24.99	c (6,0) opt[87][2] = 0
54.01/24.99	c (6,0) opt[87][3] = 0
54.01/24.99	c (6,0) opt[87][4] = 0
54.01/24.99	c (6,0) opt[88][0] = 0
54.01/24.99	c (6,0) opt[88][1] = 1
54.01/24.99	c (6,0) opt[88][2] = 0
54.01/24.99	c (6,0) opt[88][3] = 0
54.01/24.99	c (6,0) opt[88][4] = 0
54.01/24.99	c (6,0) opt[89][0] = 0
54.01/24.99	c (6,0) opt[89][1] = 0
54.01/24.99	c (6,0) opt[89][2] = 1
54.01/24.99	c (6,0) opt[89][3] = 0
54.01/24.99	c (6,0) opt[89][4] = 0
54.01/24.99	c (6,0) opt[90][0] = 1
54.01/24.99	c (6,0) opt[90][1] = 1
54.01/24.99	c (6,0) opt[90][2] = 0
54.01/24.99	c (6,0) opt[90][3] = 0
54.01/24.99	c (6,0) opt[90][4] = 1
54.01/24.99	c (6,0) opt[91][0] = 0
54.01/24.99	c (6,0) opt[91][1] = 1
54.01/24.99	c (6,0) opt[91][2] = 0
54.01/24.99	c (6,0) opt[91][3] = 0
54.01/24.99	c (6,0) opt[91][4] = 0
54.01/24.99	c (6,0) opt[92][0] = 0
54.01/24.99	c (6,0) opt[92][1] = 0
54.01/24.99	c (6,0) opt[92][2] = 1
54.01/24.99	c (6,0) opt[92][3] = 0
54.01/24.99	c (6,0) opt[92][4] = 0
54.01/24.99	c (6,0) opt[93][0] = 0
54.01/24.99	c (6,0) opt[93][1] = 1
54.01/24.99	c (6,0) opt[93][2] = 0
54.01/24.99	c (6,0) opt[93][3] = 0
54.01/24.99	c (6,0) opt[93][4] = 0
54.01/24.99	c (6,0) opt[94][0] = 0
54.01/24.99	c (6,0) opt[94][1] = 1
54.01/24.99	c (6,0) opt[94][2] = 0
54.01/24.99	c (6,0) opt[94][3] = 0
54.01/24.99	c (6,0) opt[94][4] = 0
54.01/24.99	c (6,0) opt[95][0] = 0
54.01/24.99	c (6,0) opt[95][1] = 0
54.01/24.99	c (6,0) opt[95][2] = 1
54.01/24.99	c (6,0) opt[95][3] = 0
54.01/24.99	c (6,0) opt[95][4] = 0
54.01/24.99	c (6,0) opt[96][0] = 0
54.01/24.99	c (6,0) opt[96][1] = 1
54.01/24.99	c (6,0) opt[96][2] = 0
54.01/24.99	c (6,0) opt[96][3] = 0
54.01/24.99	c (6,0) opt[96][4] = 0
54.01/24.99	c (6,0) opt[97][0] = 0
54.01/24.99	c (6,0) opt[97][1] = 1
54.01/24.99	c (6,0) opt[97][2] = 0
54.01/24.99	c (6,0) opt[97][3] = 1
54.01/24.99	c (6,0) opt[97][4] = 0
54.01/24.99	c (6,0) opt[98][0] = 0
54.01/24.99	c (6,0) opt[98][1] = 0
54.01/24.99	c (6,0) opt[98][2] = 1
54.01/24.99	c (6,0) opt[98][3] = 0
54.01/24.99	c (6,0) opt[98][4] = 0
54.01/24.99	c (6,0) opt[99][0] = 1
54.01/24.99	c (6,0) opt[99][1] = 1
54.01/24.99	c (6,0) opt[99][2] = 0
54.01/24.99	c (6,0) opt[99][3] = 0
54.01/24.99	c (6,0) opt[99][4] = 0
54.01/24.99	c (6,0) opt[100][0] = 0
54.01/24.99	c (6,0) opt[100][1] = 1
54.01/24.99	c (6,0) opt[100][2] = 0
54.01/24.99	c (6,0) opt[100][3] = 0
54.01/24.99	c (6,0) opt[100][4] = 0
54.01/24.99	c (6,0) opt[101][0] = 0
54.01/24.99	c (6,0) opt[101][1] = 0
54.01/24.99	c (6,0) opt[101][2] = 0
54.01/24.99	c (6,0) opt[101][3] = 0
54.01/24.99	c (6,0) opt[101][4] = 1
54.01/24.99	c (6,0) opt[102][0] = 1
54.01/24.99	c (6,0) opt[102][1] = 1
54.01/24.99	c (6,0) opt[102][2] = 1
54.01/24.99	c (6,0) opt[102][3] = 1
54.01/24.99	c (6,0) opt[102][4] = 0
54.01/24.99	c (6,0) opt[103][0] = 0
54.01/24.99	c (6,0) opt[103][1] = 1
54.01/24.99	c (6,0) opt[103][2] = 0
54.01/24.99	c (6,0) opt[103][3] = 0
54.01/24.99	c (6,0) opt[103][4] = 0
54.01/24.99	c (6,0) opt[104][0] = 0
54.01/24.99	c (6,0) opt[104][1] = 0
54.01/24.99	c (6,0) opt[104][2] = 0
54.01/24.99	c (6,0) opt[104][3] = 1
54.01/24.99	c (6,0) opt[104][4] = 0
54.01/24.99	c (6,0) opt[105][0] = 1
54.01/24.99	c (6,0) opt[105][1] = 1
54.01/24.99	c (6,0) opt[105][2] = 1
54.01/24.99	c (6,0) opt[105][3] = 0
54.01/24.99	c (6,0) opt[105][4] = 0
54.01/24.99	c (6,0) opt[106][0] = 0
54.01/24.99	c (6,0) opt[106][1] = 0
54.01/24.99	c (6,0) opt[106][2] = 0
54.01/24.99	c (6,0) opt[106][3] = 0
54.01/24.99	c (6,0) opt[106][4] = 1
54.01/24.99	c (6,0) opt[107][0] = 0
54.01/24.99	c (6,0) opt[107][1] = 1
54.01/24.99	c (6,0) opt[107][2] = 0
54.01/24.99	c (6,0) opt[107][3] = 0
54.01/24.99	c (6,0) opt[107][4] = 0
54.01/24.99	c (6,0) opt[108][0] = 1
54.01/24.99	c (6,0) opt[108][1] = 0
54.01/24.99	c (6,0) opt[108][2] = 1
54.01/24.99	c (6,0) opt[108][3] = 1
54.01/24.99	c (6,0) opt[108][4] = 0
54.01/24.99	c (6,0) opt[109][0] = 0
54.01/24.99	c (6,0) opt[109][1] = 0
54.01/24.99	c (6,0) opt[109][2] = 0
54.01/24.99	c (6,0) opt[109][3] = 1
54.01/24.99	c (6,0) opt[109][4] = 0
54.01/24.99	c (6,0) opt[110][0] = 0
54.01/24.99	c (6,0) opt[110][1] = 1
54.01/24.99	c (6,0) opt[110][2] = 0
54.01/24.99	c (6,0) opt[110][3] = 0
54.01/24.99	c (6,0) opt[110][4] = 0
54.01/24.99	c (6,0) opt[111][0] = 0
54.01/24.99	c (6,0) opt[111][1] = 0
54.01/24.99	c (6,0) opt[111][2] = 1
54.01/24.99	c (6,0) opt[111][3] = 0
54.01/24.99	c (6,0) opt[111][4] = 0
54.01/24.99	c (6,0) opt[112][0] = 0
54.01/24.99	c (6,0) opt[112][1] = 1
54.01/24.99	c (6,0) opt[112][2] = 0
54.01/24.99	c (6,0) opt[112][3] = 0
54.01/24.99	c (6,0) opt[112][4] = 0
54.01/24.99	c (6,0) opt[113][0] = 0
54.01/24.99	c (6,0) opt[113][1] = 0
54.01/24.99	c (6,0) opt[113][2] = 0
54.01/24.99	c (6,0) opt[113][3] = 0
54.01/24.99	c (6,0) opt[113][4] = 1
54.01/24.99	c (6,0) opt[114][0] = 0
54.01/24.99	c (6,0) opt[114][1] = 1
54.01/24.99	c (6,0) opt[114][2] = 0
54.01/24.99	c (6,0) opt[114][3] = 0
54.01/24.99	c (6,0) opt[114][4] = 0
54.01/24.99	c (6,0) opt[115][0] = 0
54.01/24.99	c (6,0) opt[115][1] = 1
54.01/24.99	c (6,0) opt[115][2] = 0
54.01/24.99	c (6,0) opt[115][3] = 0
54.01/24.99	c (6,0) opt[115][4] = 0
54.01/24.99	c (6,0) opt[116][0] = 1
54.01/24.99	c (6,0) opt[116][1] = 0
54.01/24.99	c (6,0) opt[116][2] = 0
54.01/24.99	c (6,0) opt[116][3] = 0
54.01/24.99	c (6,0) opt[116][4] = 0
54.01/24.99	c (6,0) opt[117][0] = 0
54.01/24.99	c (6,0) opt[117][1] = 1
54.01/24.99	c (6,0) opt[117][2] = 0
54.01/24.99	c (6,0) opt[117][3] = 0
54.01/24.99	c (6,0) opt[117][4] = 0
54.01/24.99	c (6,0) opt[118][0] = 0
54.01/24.99	c (6,0) opt[118][1] = 1
54.01/24.99	c (6,0) opt[118][2] = 0
54.01/24.99	c (6,0) opt[118][3] = 0
54.01/24.99	c (6,0) opt[118][4] = 1
54.01/24.99	c (6,0) opt[119][0] = 1
54.01/24.99	c (6,0) opt[119][1] = 0
54.01/24.99	c (6,0) opt[119][2] = 0
54.01/24.99	c (6,0) opt[119][3] = 0
54.01/24.99	c (6,0) opt[119][4] = 0
54.01/24.99	c (6,0) opt[120][0] = 0
54.01/24.99	c (6,0) opt[120][1] = 1
54.01/24.99	c (6,0) opt[120][2] = 0
54.01/24.99	c (6,0) opt[120][3] = 0
54.01/24.99	c (6,0) opt[120][4] = 0
54.01/24.99	c (6,0) opt[121][0] = 0
54.01/24.99	c (6,0) opt[121][1] = 0
54.01/24.99	c (6,0) opt[121][2] = 1
54.01/24.99	c (6,0) opt[121][3] = 0
54.01/24.99	c (6,0) opt[121][4] = 0
54.01/24.99	c (6,0) opt[122][0] = 0
54.01/24.99	c (6,0) opt[122][1] = 1
54.01/24.99	c (6,0) opt[122][2] = 0
54.01/24.99	c (6,0) opt[122][3] = 0
54.01/24.99	c (6,0) opt[122][4] = 0
54.01/24.99	c (6,0) opt[123][0] = 0
54.01/24.99	c (6,0) opt[123][1] = 1
54.01/24.99	c (6,0) opt[123][2] = 0
54.01/24.99	c (6,0) opt[123][3] = 0
54.01/24.99	c (6,0) opt[123][4] = 0
54.01/24.99	c (6,0) opt[124][0] = 1
54.01/24.99	c (6,0) opt[124][1] = 0
54.01/24.99	c (6,0) opt[124][2] = 0
54.01/24.99	c (6,0) opt[124][3] = 0
54.01/24.99	c (6,0) opt[124][4] = 0
54.01/24.99	c (6,0) opt[125][0] = 0
54.01/24.99	c (6,0) opt[125][1] = 1
54.01/24.99	c (6,0) opt[125][2] = 0
54.01/24.99	c (6,0) opt[125][3] = 0
54.01/24.99	c (6,0) opt[125][4] = 0
54.01/24.99	c (6,0) opt[126][0] = 0
54.01/24.99	c (6,0) opt[126][1] = 1
54.01/24.99	c (6,0) opt[126][2] = 0
54.01/24.99	c (6,0) opt[126][3] = 1
54.01/24.99	c (6,0) opt[126][4] = 0
54.01/24.99	c (6,0) opt[127][0] = 0
54.01/24.99	c (6,0) opt[127][1] = 0
54.01/24.99	c (6,0) opt[127][2] = 1
54.01/24.99	c (6,0) opt[127][3] = 0
54.01/24.99	c (6,0) opt[127][4] = 0
54.01/24.99	c (6,0) opt[128][0] = 1
54.01/24.99	c (6,0) opt[128][1] = 1
54.01/24.99	c (6,0) opt[128][2] = 0
54.01/24.99	c (6,0) opt[128][3] = 1
54.01/24.99	c (6,0) opt[128][4] = 1
54.01/24.99	c (6,0) opt[129][0] = 0
54.01/24.99	c (6,0) opt[129][1] = 1
54.01/24.99	c (6,0) opt[129][2] = 0
54.01/24.99	c (6,0) opt[129][3] = 0
54.01/24.99	c (6,0) opt[129][4] = 0
54.01/24.99	c (6,0) opt[130][0] = 0
54.01/24.99	c (6,0) opt[130][1] = 0
54.01/24.99	c (6,0) opt[130][2] = 1
54.01/24.99	c (6,0) opt[130][3] = 0
54.01/24.99	c (6,0) opt[130][4] = 0
54.01/24.99	c (6,0) opt[131][0] = 0
54.01/24.99	c (6,0) opt[131][1] = 1
54.01/24.99	c (6,0) opt[131][2] = 0
54.01/24.99	c (6,0) opt[131][3] = 0
54.01/24.99	c (6,0) opt[131][4] = 0
54.01/24.99	c (6,0) opt[132][0] = 1
54.01/24.99	c (6,0) opt[132][1] = 0
54.01/24.99	c (6,0) opt[132][2] = 0
54.01/24.99	c (6,0) opt[132][3] = 1
54.01/24.99	c (6,0) opt[132][4] = 0
54.01/24.99	c (6,0) opt[133][0] = 0
54.01/24.99	c (6,0) opt[133][1] = 1
54.01/24.99	c (6,0) opt[133][2] = 1
54.01/24.99	c (6,0) opt[133][3] = 0
54.01/24.99	c (6,0) opt[133][4] = 0
54.01/24.99	c (6,0) opt[134][0] = 0
54.01/24.99	c (6,0) opt[134][1] = 1
54.01/24.99	c (6,0) opt[134][2] = 0
54.01/24.99	c (6,0) opt[134][3] = 0
54.01/24.99	c (6,0) opt[134][4] = 0
54.01/24.99	c (6,0) opt[135][0] = 1
54.01/24.99	c (6,0) opt[135][1] = 0
54.01/24.99	c (6,0) opt[135][2] = 0
54.01/24.99	c (6,0) opt[135][3] = 0
54.01/24.99	c (6,0) opt[135][4] = 1
54.01/24.99	c (6,0) opt[136][0] = 0
54.01/24.99	c (6,0) opt[136][1] = 1
54.01/24.99	c (6,0) opt[136][2] = 0
54.01/24.99	c (6,0) opt[136][3] = 0
54.01/24.99	c (6,0) opt[136][4] = 0
54.01/24.99	c (6,0) opt[137][0] = 0
54.01/24.99	c (6,0) opt[137][1] = 1
54.01/24.99	c (6,0) opt[137][2] = 1
54.01/24.99	c (6,0) opt[137][3] = 1
54.01/24.99	c (6,0) opt[137][4] = 0
54.01/24.99	c (6,0) opt[138][0] = 0
54.01/24.99	c (6,0) opt[138][1] = 0
54.01/24.99	c (6,0) opt[138][2] = 0
54.01/24.99	c (6,0) opt[138][3] = 1
54.01/24.99	c (6,0) opt[138][4] = 0
54.01/24.99	c (6,0) opt[139][0] = 1
54.01/24.99	c (6,0) opt[139][1] = 1
54.01/24.99	c (6,0) opt[139][2] = 0
54.01/24.99	c (6,0) opt[139][3] = 0
54.01/24.99	c (6,0) opt[139][4] = 0
54.01/24.99	c (6,0) opt[140][0] = 0
54.01/24.99	c (6,0) opt[140][1] = 1
54.01/24.99	c (6,0) opt[140][2] = 0
54.01/24.99	c (6,0) opt[140][3] = 0
54.01/24.99	c (6,0) opt[140][4] = 0
54.01/24.99	c (6,0) opt[141][0] = 0
54.01/24.99	c (6,0) opt[141][1] = 0
54.01/24.99	c (6,0) opt[141][2] = 1
54.01/24.99	c (6,0) opt[141][3] = 0
54.01/24.99	c (6,0) opt[141][4] = 0
54.01/24.99	c (6,0) opt[142][0] = 0
54.01/24.99	c (6,0) opt[142][1] = 1
54.01/24.99	c (6,0) opt[142][2] = 0
54.01/24.99	c (6,0) opt[142][3] = 1
54.01/24.99	c (6,0) opt[142][4] = 0
54.01/24.99	c (6,0) opt[143][0] = 0
54.01/24.99	c (6,0) opt[143][1] = 1
54.01/24.99	c (6,0) opt[143][2] = 0
54.01/24.99	c (6,0) opt[143][3] = 0
54.01/24.99	c (6,0) opt[143][4] = 0
54.01/24.99	c (6,0) opt[144][0] = 1
54.01/24.99	c (6,0) opt[144][1] = 0
54.01/24.99	c (6,0) opt[144][2] = 0
54.01/24.99	c (6,0) opt[144][3] = 0
54.01/24.99	c (6,0) opt[144][4] = 0
54.01/24.99	c (6,0) opt[145][0] = 0
54.01/24.99	c (6,0) opt[145][1] = 0
54.01/24.99	c (6,0) opt[145][2] = 1
54.01/24.99	c (6,0) opt[145][3] = 0
54.01/24.99	c (6,0) opt[145][4] = 0
54.01/24.99	c (6,0) opt[146][0] = 0
54.01/24.99	c (6,0) opt[146][1] = 1
54.01/24.99	c (6,0) opt[146][2] = 0
54.01/24.99	c (6,0) opt[146][3] = 0
54.01/24.99	c (6,0) opt[146][4] = 0
54.01/24.99	c (6,0) opt[147][0] = 1
54.01/24.99	c (6,0) opt[147][1] = 1
54.01/24.99	c (6,0) opt[147][2] = 0
54.01/24.99	c (6,0) opt[147][3] = 0
54.01/24.99	c (6,0) opt[147][4] = 0
54.01/24.99	c (6,0) opt[148][0] = 0
54.01/24.99	c (6,0) opt[148][1] = 0
54.01/24.99	c (6,0) opt[148][2] = 0
54.01/24.99	c (6,0) opt[148][3] = 0
54.01/24.99	c (6,0) opt[148][4] = 1
54.01/24.99	c (6,0) opt[149][0] = 0
54.01/24.99	c (6,0) opt[149][1] = 1
54.01/24.99	c (6,0) opt[149][2] = 0
54.01/24.99	c (6,0) opt[149][3] = 0
54.01/24.99	c (6,0) opt[149][4] = 0
54.01/24.99	c (6,0) opt[150][0] = 0
54.01/24.99	c (6,0) opt[150][1] = 0
54.01/24.99	c (6,0) opt[150][2] = 1
54.01/24.99	c (6,0) opt[150][3] = 0
54.01/24.99	c (6,0) opt[150][4] = 0
54.01/24.99	c (6,0) opt[151][0] = 0
54.01/24.99	c (6,0) opt[151][1] = 1
54.01/24.99	c (6,0) opt[151][2] = 0
54.01/24.99	c (6,0) opt[151][3] = 0
54.01/24.99	c (6,0) opt[151][4] = 0
54.01/24.99	c (6,0) opt[152][0] = 1
54.01/24.99	c (6,0) opt[152][1] = 0
54.01/24.99	c (6,0) opt[152][2] = 0
54.01/24.99	c (6,0) opt[152][3] = 0
54.01/24.99	c (6,0) opt[152][4] = 0
54.01/24.99	c (6,0) opt[153][0] = 0
54.01/24.99	c (6,0) opt[153][1] = 1
54.01/24.99	c (6,0) opt[153][2] = 0
54.01/24.99	c (6,0) opt[153][3] = 0
54.01/24.99	c (6,0) opt[153][4] = 0
54.01/24.99	c (6,0) opt[154][0] = 0
54.01/24.99	c (6,0) opt[154][1] = 1
54.01/24.99	c (6,0) opt[154][2] = 0
54.01/24.99	c (6,0) opt[154][3] = 0
54.01/24.99	c (6,0) opt[154][4] = 0
54.01/24.99	c (6,0) opt[155][0] = 0
54.01/24.99	c (6,0) opt[155][1] = 0
54.01/24.99	c (6,0) opt[155][2] = 1
54.01/24.99	c (6,0) opt[155][3] = 0
54.01/24.99	c (6,0) opt[155][4] = 0
54.01/24.99	c (6,0) opt[156][0] = 1
54.01/24.99	c (6,0) opt[156][1] = 1
54.01/24.99	c (6,0) opt[156][2] = 0
54.01/24.99	c (6,0) opt[156][3] = 1
54.01/24.99	c (6,0) opt[156][4] = 0
54.01/24.99	c (6,0) opt[157][0] = 0
54.01/24.99	c (6,0) opt[157][1] = 1
54.01/24.99	c (6,0) opt[157][2] = 0
54.01/24.99	c (6,0) opt[157][3] = 0
54.01/24.99	c (6,0) opt[157][4] = 0
54.01/24.99	c (6,0) opt[158][0] = 0
54.01/24.99	c (6,0) opt[158][1] = 0
54.01/24.99	c (6,0) opt[158][2] = 1
54.01/24.99	c (6,0) opt[158][3] = 1
54.01/24.99	c (6,0) opt[158][4] = 1
54.01/24.99	c (6,0) opt[159][0] = 0
54.01/24.99	c (6,0) opt[159][1] = 1
54.01/24.99	c (6,0) opt[159][2] = 0
54.01/24.99	c (6,0) opt[159][3] = 0
54.01/24.99	c (6,0) opt[159][4] = 0
54.01/24.99	c (6,0) opt[160][0] = 1
54.01/24.99	c (6,0) opt[160][1] = 1
54.01/24.99	c (6,0) opt[160][2] = 0
54.01/24.99	c (6,0) opt[160][3] = 0
54.01/24.99	c (6,0) opt[160][4] = 0
54.01/24.99	c (6,0) opt[161][0] = 0
54.01/24.99	c (6,0) opt[161][1] = 0
54.01/24.99	c (6,0) opt[161][2] = 1
54.01/24.99	c (6,0) opt[161][3] = 1
54.01/24.99	c (6,0) opt[161][4] = 0
54.01/24.99	c (6,0) opt[162][0] = 0
54.01/24.99	c (6,0) opt[162][1] = 1
54.01/24.99	c (6,0) opt[162][2] = 0
54.01/24.99	c (6,0) opt[162][3] = 0
54.01/24.99	c (6,0) opt[162][4] = 0
54.01/24.99	c (6,0) opt[163][0] = 0
54.01/24.99	c (6,0) opt[163][1] = 1
54.01/24.99	c (6,0) opt[163][2] = 0
54.01/24.99	c (6,0) opt[163][3] = 0
54.01/24.99	c (6,0) opt[163][4] = 0
54.01/24.99	c (6,0) opt[164][0] = 0
54.01/24.99	c (6,0) opt[164][1] = 0
54.01/24.99	c (6,0) opt[164][2] = 0
54.01/24.99	c (6,0) opt[164][3] = 1
54.01/24.99	c (6,0) opt[164][4] = 0
54.01/24.99	c (6,0) opt[165][0] = 1
54.01/24.99	c (6,0) opt[165][1] = 1
54.01/24.99	c (6,0) opt[165][2] = 0
54.01/24.99	c (6,0) opt[165][3] = 0
54.01/24.99	c (6,0) opt[165][4] = 0
54.01/24.99	c (6,0) opt[166][0] = 0
54.01/24.99	c (6,0) opt[166][1] = 0
54.01/24.99	c (6,0) opt[166][2] = 1
54.01/24.99	c (6,0) opt[166][3] = 0
54.01/24.99	c (6,0) opt[166][4] = 0
54.01/24.99	c (6,0) opt[167][0] = 0
54.01/24.99	c (6,0) opt[167][1] = 0
54.01/24.99	c (6,0) opt[167][2] = 0
54.01/24.99	c (6,0) opt[167][3] = 1
54.01/24.99	c (6,0) opt[167][4] = 0
54.01/24.99	c (6,0) opt[168][0] = 0
54.01/24.99	c (6,0) opt[168][1] = 1
54.01/24.99	c (6,0) opt[168][2] = 0
54.01/24.99	c (6,0) opt[168][3] = 0
54.01/24.99	c (6,0) opt[168][4] = 0
54.01/24.99	c (6,0) opt[169][0] = 0
54.01/24.99	c (6,0) opt[169][1] = 1
54.01/25.00	c (6,0) opt[169][2] = 0
54.01/25.00	c (6,0) opt[169][3] = 0
54.01/25.00	c (6,0) opt[169][4] = 1
54.01/25.00	c (6,0) opt[170][0] = 1
54.01/25.00	c (6,0) opt[170][1] = 0
54.01/25.00	c (6,0) opt[170][2] = 0
54.01/25.00	c (6,0) opt[170][3] = 1
54.01/25.00	c (6,0) opt[170][4] = 0
54.01/25.00	c (6,0) opt[171][0] = 0
54.01/25.00	c (6,0) opt[171][1] = 1
54.01/25.00	c (6,0) opt[171][2] = 1
54.01/25.00	c (6,0) opt[171][3] = 0
54.01/25.00	c (6,0) opt[171][4] = 0
54.01/25.00	c (6,0) opt[172][0] = 0
54.01/25.00	c (6,0) opt[172][1] = 1
54.01/25.00	c (6,0) opt[172][2] = 0
54.01/25.00	c (6,0) opt[172][3] = 0
54.01/25.00	c (6,0) opt[172][4] = 0
54.01/25.00	c (6,0) opt[173][0] = 1
54.01/25.00	c (6,0) opt[173][1] = 0
54.01/25.00	c (6,0) opt[173][2] = 0
54.01/25.00	c (6,0) opt[173][3] = 0
54.01/25.00	c (6,0) opt[173][4] = 0
54.01/25.00	c (6,0) opt[174][0] = 0
54.01/25.00	c (6,0) opt[174][1] = 0
54.01/25.00	c (6,0) opt[174][2] = 1
54.01/25.00	c (6,0) opt[174][3] = 1
54.01/25.00	c (6,0) opt[174][4] = 0
54.01/25.00	c (6,0) opt[175][0] = 0
54.01/25.00	c (6,0) opt[175][1] = 1
54.01/25.00	c (6,0) opt[175][2] = 0
54.01/25.00	c (6,0) opt[175][3] = 0
54.01/25.00	c (6,0) opt[175][4] = 0
54.01/25.00	c (6,0) opt[176][0] = 0
54.01/25.00	c (6,0) opt[176][1] = 0
54.01/25.00	c (6,0) opt[176][2] = 0
54.01/25.00	c (6,0) opt[176][3] = 1
54.01/25.00	c (6,0) opt[176][4] = 0
54.01/25.00	c (6,0) opt[177][0] = 1
54.01/25.00	c (6,0) opt[177][1] = 1
54.01/25.00	c (6,0) opt[177][2] = 0
54.01/25.00	c (6,0) opt[177][3] = 0
54.01/25.00	c (6,0) opt[177][4] = 0
54.01/25.00	c (6,0) opt[178][0] = 0
54.01/25.00	c (6,0) opt[178][1] = 0
54.01/25.00	c (6,0) opt[178][2] = 1
54.01/25.00	c (6,0) opt[178][3] = 0
54.01/25.00	c (6,0) opt[178][4] = 0
54.01/25.00	c (6,0) opt[179][0] = 0
54.01/25.00	c (6,0) opt[179][1] = 1
54.01/25.00	c (6,0) opt[179][2] = 0
54.01/25.00	c (6,0) opt[179][3] = 0
54.01/25.00	c (6,0) opt[179][4] = 0
54.01/25.00	c (6,0) opt[180][0] = 0
54.01/25.00	c (6,0) opt[180][1] = 1
54.01/25.00	c (6,0) opt[180][2] = 0
54.01/25.00	c (6,0) opt[180][3] = 0
54.01/25.00	c (6,0) opt[180][4] = 0
54.01/25.00	c (6,0) opt[181][0] = 0
54.01/25.00	c (6,0) opt[181][1] = 0
54.01/25.00	c (6,0) opt[181][2] = 1
54.01/25.00	c (6,0) opt[181][3] = 0
54.01/25.00	c (6,0) opt[181][4] = 0
54.01/25.00	c (6,0) opt[182][0] = 0
54.01/25.00	c (6,0) opt[182][1] = 0
54.01/25.00	c (6,0) opt[182][2] = 0
54.01/25.00	c (6,0) opt[182][3] = 0
54.01/25.00	c (6,0) opt[182][4] = 1
54.01/25.00	c (6,0) opt[183][0] = 0
54.01/25.00	c (6,0) opt[183][1] = 1
54.01/25.00	c (6,0) opt[183][2] = 0
54.01/25.00	c (6,0) opt[183][3] = 0
54.01/25.00	c (6,0) opt[183][4] = 0
54.01/25.00	c (6,0) opt[184][0] = 0
54.01/25.00	c (6,0) opt[184][1] = 0
54.01/25.00	c (6,0) opt[184][2] = 1
54.01/25.00	c (6,0) opt[184][3] = 0
54.01/25.00	c (6,0) opt[184][4] = 0
54.01/25.00	c (6,0) opt[185][0] = 0
54.01/25.00	c (6,0) opt[185][1] = 1
54.01/25.00	c (6,0) opt[185][2] = 0
54.01/25.00	c (6,0) opt[185][3] = 0
54.01/25.00	c (6,0) opt[185][4] = 0
54.01/25.00	c (6,0) opt[186][0] = 0
54.01/25.00	c (6,0) opt[186][1] = 1
54.01/25.00	c (6,0) opt[186][2] = 0
54.01/25.00	c (6,0) opt[186][3] = 0
54.01/25.00	c (6,0) opt[186][4] = 0
54.01/25.00	c (6,0) opt[187][0] = 0
54.01/25.00	c (6,0) opt[187][1] = 0
54.01/25.00	c (6,0) opt[187][2] = 1
54.01/25.00	c (6,0) opt[187][3] = 0
54.01/25.00	c (6,0) opt[187][4] = 0
54.01/25.00	c (6,0) opt[188][0] = 0
54.01/25.00	c (6,0) opt[188][1] = 1
54.01/25.00	c (6,0) opt[188][2] = 0
54.01/25.00	c (6,0) opt[188][3] = 0
54.01/25.00	c (6,0) opt[188][4] = 0
54.01/25.00	c (6,0) opt[189][0] = 0
54.01/25.00	c (6,0) opt[189][1] = 1
54.01/25.00	c (6,0) opt[189][2] = 0
54.01/25.00	c (6,0) opt[189][3] = 0
54.01/25.00	c (6,0) opt[189][4] = 0
54.01/25.00	c (6,0) opt[190][0] = 0
54.01/25.00	c (6,0) opt[190][1] = 0
54.01/25.00	c (6,0) opt[190][2] = 0
54.01/25.00	c (6,0) opt[190][3] = 0
54.01/25.00	c (6,0) opt[190][4] = 1
54.01/25.00	c (6,0) opt[191][0] = 0
54.01/25.00	c (6,0) opt[191][1] = 1
54.01/25.00	c (6,0) opt[191][2] = 0
54.01/25.00	c (6,0) opt[191][3] = 0
54.01/25.00	c (6,0) opt[191][4] = 0
54.01/25.00	c (6,0) opt[192][0] = 0
54.01/25.00	c (6,0) opt[192][1] = 0
54.01/25.00	c (6,0) opt[192][2] = 1
54.01/25.00	c (6,0) opt[192][3] = 0
54.01/25.00	c (6,0) opt[192][4] = 0
54.01/25.00	c (6,0) opt[193][0] = 0
54.01/25.00	c (6,0) opt[193][1] = 1
54.01/25.00	c (6,0) opt[193][2] = 0
54.01/25.00	c (6,0) opt[193][3] = 0
54.01/25.00	c (6,0) opt[193][4] = 0
54.01/25.00	c (6,0) opt[194][0] = 1
54.01/25.00	c (6,0) opt[194][1] = 1
54.01/25.00	c (6,0) opt[194][2] = 0
54.01/25.00	c (6,0) opt[194][3] = 1
54.01/25.00	c (6,0) opt[194][4] = 0
54.01/25.00	c (6,0) opt[195][0] = 0
54.01/25.00	c (6,0) opt[195][1] = 0
54.01/25.00	c (6,0) opt[195][2] = 1
54.01/25.00	c (6,0) opt[195][3] = 1
54.01/25.00	c (6,0) opt[195][4] = 0
54.01/25.00	c (6,0) opt[196][0] = 0
54.01/25.00	c (6,0) opt[196][1] = 1
54.01/25.00	c (6,0) opt[196][2] = 0
54.01/25.00	c (6,0) opt[196][3] = 0
54.01/25.00	c (6,0) opt[196][4] = 0
54.01/25.00	c (6,0) opt[197][0] = 0
54.01/25.00	c (6,0) opt[197][1] = 1
54.01/25.00	c (6,0) opt[197][2] = 0
54.01/25.00	c (6,0) opt[197][3] = 0
54.01/25.00	c (6,0) opt[197][4] = 0
54.01/25.00	c (6,0) opt[198][0] = 0
54.01/25.00	c (6,0) opt[198][1] = 0
54.01/25.00	c (6,0) opt[198][2] = 1
54.01/25.00	c (6,0) opt[198][3] = 0
54.01/25.00	c (6,0) opt[198][4] = 0
54.01/25.00	c (6,0) opt[199][0] = 0
54.01/25.00	c (6,0) opt[199][1] = 1
54.01/25.00	c (6,0) opt[199][2] = 0
54.01/25.00	c (6,0) opt[199][3] = 0
54.01/25.00	c (6,0) opt[199][4] = 0
54.01/25.00	s SATISFIABLE
54.01/25.00	v <instantiation>
54.01/25.00	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>
54.01/25.00	v     <values>5 1 1 11 1 17 18 1 17 1 3 1 5 1 4 5 1 1 5 17 1 1 11 17 1 1 5 1 1 5 1 17 8 1 7 5 16 4 1 17 5 1 16 13 1 16 1 17 1 9 16 1 1 5 10 1 5 1 7 0 1 10 5 1 1 17 5 1 7 6 16 1 5 1 1 16 6 7 17 1 1 5 2 7 2 1 5 1 1 5 12 1 5 1 1 5 1 2 5 4 1 7 6 1 16 21 7 1 19 16 1 5 1 7 1 1 17 1 23 17 1 5 1 1 17 1 2 5 20 1 5 1 0 8 1 15 1 18 16 4 1 5 2 1 17 5 1 4 7 1 5 1 17 1 1 5 10 1 22 1 4 14 1 1 16 4 5 16 1 23 0 8 1 17 14 1 16 4 5 1 1 5 7 1 5 1 1 5 1 1 7 1 5 1 10 14 1 1 5 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 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 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 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 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0</values>
54.01/25.00	v </instantiation>
54.01/25.00	c (6,0) Show results End
54.01/25.00	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
54.01/25.00	c (6,0) 6,6,STOP-AFTER(ALL)
54.01/25.00	c END-Prog: Tue Sep 24 17:18:26 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 (10916 MiB free)
  memory of node 1: 16384 MiB (14066 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405250-1569338320/watcher-4405250-1569338320 -o /tmp/evaluation-result-4405250-1569338320/solver-4405250-1569338320 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405250-1569338320.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=16227, runsolver pid=16224
Current StackSize limit: 8192 KiB


[startup+0.100132 s]*
/proc/loadavg: 5.24 6.60 5.27 2/211 16249
/proc/meminfo: memFree=25488968/32770624 swapFree=66999796/67108860
[pid=16227] ppid=16224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16227/stat : 16227 (scop.sh) S 16224 16227 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510096830 115843072 349 33554432000 4194304 5098028 140734614610416 140734614607672 139915481072252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27983872 140734614618917 140734614619244 140734614619244 140734614622157 0
/proc/16227/statm: 28282 349 296 221 0 87 0
[pid=16230] ppid=16227 vsize=27314120 memory=106096 CPUtime=0.1 cores=0-7
/proc/16230/stat : 16230 (java) S 16227 16227 15640 0 -1 1077944320 6623 0 0 0 8 2 0 0 20 0 20 0 510096830 27969658880 26524 33554432000 4194304 4196468 140726711087824 140726711070368 140130429099767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
/proc/16230/statm: 6828530 26524 2779 1 0 6790935 0
[pid=16230/tid=16231] ppid=16227 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/16230/task/16231/stat : 16231 (java) R 16227 16227 15640 0 -1 4202560 4753 0 0 0 6 2 0 0 20 0 20 0 510096830 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130400934208 140130429111702 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16232] ppid=16227 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16230/task/16232/stat : 16232 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130433341840 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16233] ppid=16227 vsize=27314120 memory=140702781879936 CPUtime=0 cores=0-7
/proc/16230/task/16233/stat : 16233 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130247498000 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16234] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16234/stat : 16234 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130246445712 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16235] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16235/stat : 16235 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130245392912 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16236] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16236/stat : 16236 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130244340624 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16237] ppid=16227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16230/task/16237/stat : 16237 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130243287824 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16238] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16238/stat : 16238 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130242235536 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16239] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16239/stat : 16239 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 26589 33554432000 4194304 4196468 140726711087824 140130241182736 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16240] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16240/stat : 16240 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096834 27969658880 26589 33554432000 4194304 4196468 140726711087824 140129420114032 140130429110914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16241] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16241/stat : 16241 (java) S 16227 16227 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510096835 27969658880 26589 33554432000 4194304 4196468 140726711087824 140128341189408 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16242] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16242/stat : 16242 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096835 27969658880 26589 33554432000 4194304 4196468 140726711087824 140128072754288 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16243] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16243/stat : 16243 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096837 27969658880 26589 33554432000 4194304 4196468 140726711087824 140127698245712 140130429118363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16244] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16244/stat : 16244 (java) S 16227 16227 15640 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 510096837 27969658880 26589 33554432000 4194304 4196468 140726711087824 140129419061872 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16245] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16245/stat : 16245 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 26589 33554432000 4194304 4196468 140726711087824 140129418009072 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16246] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16246/stat : 16246 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 26589 33554432000 4194304 4196468 140726711087824 140129416956784 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16247] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16247/stat : 16247 (java) R 16227 16227 15640 0 -1 4202560 236 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 26589 33554432000 4194304 4196468 140726711087824 140129347824368 140130429111702 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16248] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16248/stat : 16248 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 26589 33554432000 4194304 4196468 140726711087824 140127200340320 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16249] ppid=16227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16230/task/16249/stat : 16249 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 26589 33554432000 4194304 4196468 140726711087824 140129346771248 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107492 KiB

[startup+0.210623 s]*
/proc/loadavg: 5.24 6.60 5.27 2/211 16249
/proc/meminfo: memFree=25466488/32770624 swapFree=66999796/67108860
[pid=16227] ppid=16224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16227/stat : 16227 (scop.sh) S 16224 16227 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510096830 115843072 349 33554432000 4194304 5098028 140734614610416 140734614607672 139915481072252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27983872 140734614618917 140734614619244 140734614619244 140734614622157 0
/proc/16227/statm: 28282 349 296 221 0 87 0
[pid=16230] ppid=16227 vsize=27314120 memory=125472 CPUtime=0.24 cores=0-7
/proc/16230/stat : 16230 (java) S 16227 16227 15640 0 -1 1077944320 12272 0 0 0 20 4 0 0 20 0 20 0 510096830 27969658880 31368 33554432000 4194304 4196468 140726711087824 140726711070368 140130429099767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
/proc/16230/statm: 6828530 31368 2911 1 0 6790935 0
[pid=16230/tid=16231] ppid=16227 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16230/task/16231/stat : 16231 (java) R 16227 16227 15640 0 -1 4202560 9998 0 0 0 16 3 0 0 20 0 20 0 510096830 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130400906352 140130429113671 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16232] ppid=16227 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/16230/task/16232/stat : 16232 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130433341840 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16233] ppid=16227 vsize=27314120 memory=140702785613362 CPUtime=0 cores=0-7
/proc/16230/task/16233/stat : 16233 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130247498000 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16234] ppid=16227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16230/task/16234/stat : 16234 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130246445712 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16235] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16235/stat : 16235 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130245392912 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16236] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16236/stat : 16236 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130244340624 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16237] ppid=16227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16230/task/16237/stat : 16237 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130243287824 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16238] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16238/stat : 16238 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130242235536 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16239] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16239/stat : 16239 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 31368 33554432000 4194304 4196468 140726711087824 140130241182736 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16240] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16240/stat : 16240 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096834 27969658880 31368 33554432000 4194304 4196468 140726711087824 140129420114032 140130429110914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16241] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16241/stat : 16241 (java) S 16227 16227 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510096835 27969658880 31368 33554432000 4194304 4196468 140726711087824 140128341189408 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16242] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16242/stat : 16242 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096835 27969658880 31368 33554432000 4194304 4196468 140726711087824 140128072754288 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16243] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16243/stat : 16243 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096837 27969658880 31368 33554432000 4194304 4196468 140726711087824 140127698245712 140130429118363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16244] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16244/stat : 16244 (java) S 16227 16227 15640 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 20 0 510096837 27969658880 31368 33554432000 4194304 4196468 140726711087824 140129419061872 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16245] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16245/stat : 16245 (java) S 16227 16227 15640 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 31368 33554432000 4194304 4196468 140726711087824 140129418009072 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16246] ppid=16227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16230/task/16246/stat : 16246 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 31368 33554432000 4194304 4196468 140726711087824 140129416956784 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16247] ppid=16227 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16230/task/16247/stat : 16247 (java) S 16227 16227 15640 0 -1 1077944384 437 0 0 0 2 0 0 0 20 0 20 0 510096838 27969658880 31368 33554432000 4194304 4196468 140726711087824 140129347824368 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16248] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16248/stat : 16248 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 31368 33554432000 4194304 4196468 140726711087824 140127200340320 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16249] ppid=16227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16230/task/16249/stat : 16249 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 31368 33554432000 4194304 4196468 140726711087824 140129346771248 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126868 KiB

[startup+0.310362 s]*
/proc/loadavg: 5.24 6.60 5.27 2/211 16249
/proc/meminfo: memFree=25463324/32770624 swapFree=66999796/67108860
[pid=16227] ppid=16224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16227/stat : 16227 (scop.sh) S 16224 16227 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510096830 115843072 349 33554432000 4194304 5098028 140734614610416 140734614607672 139915481072252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27983872 140734614618917 140734614619244 140734614619244 140734614622157 0
/proc/16227/statm: 28282 349 296 221 0 87 0
[pid=16230] ppid=16227 vsize=27314120 memory=129600 CPUtime=0.42 cores=0-7
/proc/16230/stat : 16230 (java) S 16227 16227 15640 0 -1 1077944320 12810 0 0 0 38 4 0 0 20 0 20 0 510096830 27969658880 32400 33554432000 4194304 4196468 140726711087824 140726711070368 140130429099767 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
/proc/16230/statm: 6828530 32400 3024 1 0 6790935 0
[pid=16230/tid=16231] ppid=16227 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16230/task/16231/stat : 16231 (java) R 16227 16227 15640 0 -1 4202560 10320 0 0 0 26 3 0 0 20 0 20 0 510096830 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130400912112 140130409375147 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16232] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16232/stat : 16232 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130433341840 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16233] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16233/stat : 16233 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130247498000 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16234] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16234/stat : 16234 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130246445712 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16235] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16235/stat : 16235 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130245392912 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16236] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16236/stat : 16236 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130244340624 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16237] ppid=16227 vsize=27314120 memory=140702658947759 CPUtime=0 cores=0-7
/proc/16230/task/16237/stat : 16237 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130243287824 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16238] ppid=16227 vsize=27314120 memory=140702658950064 CPUtime=0 cores=0-7
/proc/16230/task/16238/stat : 16238 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130242235536 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16239] ppid=16227 vsize=27314120 memory=140702658952368 CPUtime=0 cores=0-7
/proc/16230/task/16239/stat : 16239 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27969658880 32400 33554432000 4194304 4196468 140726711087824 140130241182736 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16240] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16240/stat : 16240 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096834 27969658880 32400 33554432000 4194304 4196468 140726711087824 140129420114032 140130429110914 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16241] ppid=16227 vsize=27314120 memory=281405317918608 CPUtime=0 cores=0-7
/proc/16230/task/16241/stat : 16241 (java) S 16227 16227 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510096835 27969658880 32400 33554432000 4194304 4196468 140726711087824 140128341189408 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16242] ppid=16227 vsize=27314120 memory=281405317916304 CPUtime=0 cores=0-7
/proc/16230/task/16242/stat : 16242 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096835 27969658880 32400 33554432000 4194304 4196468 140726711087824 140128072754288 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16243] ppid=16227 vsize=27314120 memory=281405317923216 CPUtime=0 cores=0-7
/proc/16230/task/16243/stat : 16243 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096837 27969658880 32400 33554432000 4194304 4196468 140726711087824 140127698245712 140130429118363 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16244] ppid=16227 vsize=27314120 memory=281405317864496 CPUtime=0.01 cores=0-7
/proc/16230/task/16244/stat : 16244 (java) S 16227 16227 15640 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 20 0 510096837 27969658880 32400 33554432000 4194304 4196468 140726711087824 140129419061872 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16245] ppid=16227 vsize=27314120 memory=281405317937040 CPUtime=0.01 cores=0-7
/proc/16230/task/16245/stat : 16245 (java) R 16227 16227 15640 0 -1 4202560 130 0 0 0 1 0 0 0 20 0 20 0 510096838 27969658880 32400 33554432000 4194304 4196468 140726711087824 140129418009072 140130410622254 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16246] ppid=16227 vsize=27314120 memory=281405317943952 CPUtime=0 cores=0-7
/proc/16230/task/16246/stat : 16246 (java) S 16227 16227 15640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 32400 33554432000 4194304 4196468 140726711087824 140129416956784 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16247] ppid=16227 vsize=27314120 memory=281405317941648 CPUtime=0.07 cores=0-7
/proc/16230/task/16247/stat : 16247 (java) S 16227 16227 15640 0 -1 1077944384 487 0 0 0 7 0 0 0 20 0 20 0 510096838 27969658880 32400 33554432000 4194304 4196468 140726711087824 140129347824368 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16248] ppid=16227 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16248/stat : 16248 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 32400 33554432000 4194304 4196468 140726711087824 140127200340320 140130429109973 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16249] ppid=16227 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16230/task/16249/stat : 16249 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096838 27969658880 32400 33554432000 4194304 4196468 140726711087824 140129346771248 140130429110914 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130996 KiB

[startup+0.700934 s]
/proc/loadavg: 5.24 6.60 5.27 3/211 16249
/proc/meminfo: memFree=25442572/32770624 swapFree=66999796/67108860
[pid=16227] ppid=16224 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16227/stat : 16227 (scop.sh) S 16224 16227 15640 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 510096830 115843072 349 33554432000 4194304 5098028 140734614610416 140734614607672 139915481072252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27983872 140734614618917 140734614619244 140734614619244 140734614622157 0
/proc/16227/statm: 28282 349 296 221 0 87 0
[pid=16230] ppid=16227 vsize=27320392 memory=165320 CPUtime=0.99 cores=0-7
/proc/16230/stat : 16230 (java) S 16227 16227 15640 0 -1 1077944320 20449 0 0 0 92 7 0 0 20 0 20 0 510096830 27976081408 41330 33554432000 4194304 4196468 140726711087824 140726711070368 140130429099767 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
/proc/16230/statm: 6830098 41330 3184 1 0 6791447 0
[pid=16230/tid=16231] ppid=16227 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/16230/task/16231/stat : 16231 (java) R 16227 16227 15640 0 -1 4202560 17381 0 0 0 62 5 0 0 20 0 20 0 510096830 27976081408 41330 33554432000 4194304 4196468 140726711087824 140130400937296 140130429111702 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16232] ppid=16227 vsize=27320392 memory=140702659158896 CPUtime=0 cores=0-7
/proc/16230/task/16232/stat : 16232 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27976081408 41330 33554432000 4194304 4196468 140726711087824 140130433341840 140130429109973 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16233] ppid=16227 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16230/task/16233/stat : 16233 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510096833 27976081408 41330 33554432000 4194304 4196468 140726711087824 140130247498000 140130429109973 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0
[pid=16230/tid=16234] ppid=16227 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/16230/task/16234/stat : 16234 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510096833 27976081408 41330 33554432000 4194304 4196468 140726711087824 140130246445712 140130429109973 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8626176 140726711096043 140726711096470 140726711096470 140726711099343 0

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

[pid=16250/tid=16251] ppid=16227 vsize=8414124 memory=1398722017469774279 CPUtime=0.84 cores=0-7
/proc/16250/task/16251/stat : 16251 (java) S 16227 16227 15640 0 -1 1077944384 16938 0 0 0 76 8 0 0 20 0 24 0 510098654 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651844120480 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16252] ppid=16227 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16250/task/16252/stat : 16252 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510098655 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651876522896 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16253] ppid=16227 vsize=8414124 memory=7228928657758118464 CPUtime=0 cores=0-7
/proc/16250/task/16253/stat : 16253 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510098655 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651676691216 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16254] ppid=16227 vsize=8414124 memory=5931329015123165280 CPUtime=0 cores=0-7
/proc/16250/task/16254/stat : 16254 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510098655 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651675638928 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16255] ppid=16227 vsize=8414124 memory=5931329015123165280 CPUtime=0 cores=0-7
/proc/16250/task/16255/stat : 16255 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510098655 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651674586128 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16256] ppid=16227 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16250/task/16256/stat : 16256 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510098655 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651673532816 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16257] ppid=16227 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16250/task/16257/stat : 16257 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510098655 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651672480016 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16258] ppid=16227 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16250/task/16258/stat : 16258 (java) S 16227 16227 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510098656 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651671427728 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16259] ppid=16227 vsize=8414124 memory=104524 CPUtime=0 cores=0-7
/proc/16250/task/16259/stat : 16259 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510098656 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651670374928 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16260] ppid=16227 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/16250/task/16260/stat : 16260 (java) S 16227 16227 15640 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510098657 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651099241072 140651872291458 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16261] ppid=16227 vsize=8414124 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/16250/task/16261/stat : 16261 (java) S 16227 16227 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510098657 8616062976 30623 33554432000 4194304 4196468 140728975789136 140650179716384 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16262] ppid=16227 vsize=8414124 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16250/task/16262/stat : 16262 (java) S 16227 16227 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510098658 8616062976 30623 33554432000 4194304 4196468 140728975789136 140650045494896 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16263] ppid=16227 vsize=8414124 memory=6096 CPUtime=0 cores=0-7
/proc/16250/task/16263/stat : 16263 (java) S 16227 16227 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510098660 8616062976 30623 33554432000 4194304 4196468 140728975789136 140649670990416 140651872298907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16264] ppid=16227 vsize=8414124 memory=1544 CPUtime=0.12 cores=0-7
/proc/16250/task/16264/stat : 16264 (java) S 16227 16227 15640 0 -1 1077944384 748 0 0 0 12 0 0 0 20 0 24 0 510098660 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651098187888 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16265] ppid=16227 vsize=8414124 memory=776 CPUtime=0.11 cores=0-7
/proc/16250/task/16265/stat : 16265 (java) S 16227 16227 15640 0 -1 1077944384 282 0 0 0 11 0 0 0 20 0 24 0 510098660 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651097135088 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16266] ppid=16227 vsize=8414124 memory=33 CPUtime=0.17 cores=0-7
/proc/16250/task/16266/stat : 16266 (java) S 16227 16227 15640 0 -1 1077944384 610 0 0 0 17 0 0 0 20 0 24 0 510098660 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651096082800 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16267] ppid=16227 vsize=8414124 memory=-4695052241013923951 CPUtime=0.23 cores=0-7
/proc/16250/task/16267/stat : 16267 (java) S 16227 16227 15640 0 -1 1077944384 610 0 0 0 23 0 0 0 20 0 24 0 510098660 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651095030000 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16268] ppid=16227 vsize=8414124 memory=62968 CPUtime=0 cores=0-7
/proc/16250/task/16268/stat : 16268 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510098660 8616062976 30623 33554432000 4194304 4196468 140728975789136 140649173085024 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16269] ppid=16227 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16250/task/16269/stat : 16269 (java) S 16227 16227 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510098661 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651093977904 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16271] ppid=16227 vsize=8414124 memory=56 CPUtime=0 cores=0-7
/proc/16250/task/16271/stat : 16271 (java) S 16227 16227 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510098735 8616062976 30623 33554432000 4194304 4196468 140728975789136 140651086501696 140651872304921 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16273] ppid=16227 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/16250/task/16273/stat : 16273 (java) S 16227 16227 15640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 510098735 8616062976 30623 33554432000 4194304 4196468 140728975789136 140648501984688 140651872302237 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16274] ppid=16227 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/16250/task/16274/stat : 16274 (java) S 16227 16227 15640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510098735 8616062976 30623 33554432000 4194304 4196468 140728975789136 140648770420016 140651872302237 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16275] ppid=16227 vsize=8414124 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/16250/task/16275/stat : 16275 (java) S 16227 16227 15640 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510098737 8616062976 30623 33554432000 4194304 4196468 140728975789136 140648233557296 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
Current children cumulated CPU time: 48.88 s
Current children cumulated vsize: 10509000 KiB
Current children cumulated memory: 1510872 KiB

[startup+24.8012 s]
/proc/loadavg: 3.96 6.20 5.17 8/225 16285
/proc/meminfo: memFree=24033248/32770624 swapFree=66999796/67108860
[pid=16227] ppid=16224 vsize=113128 memory=1476 CPUtime=37.55 cores=0-7
/proc/16227/stat : 16227 (scop.sh) S 16224 16227 15640 0 -1 4202496 582 54397 0 0 0 0 3575 180 20 0 1 0 510096830 115843072 369 33554432000 4194304 5098028 140734614610416 140734614607160 139915481072252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27983872 140734614618917 140734614619244 140734614619244 140734614622157 0
/proc/16227/statm: 28282 369 311 221 0 87 0
[pid=16250] ppid=16227 vsize=8283048 memory=154720 CPUtime=16.25 cores=0-7
/proc/16250/stat : 16250 (java) S 16227 16227 15640 0 -1 1077944320 21517 351668 0 0 177 11 1331 106 20 0 22 0 510098654 8481841152 38680 33554432000 4194304 4196468 140728975789136 140728975771680 140651872280311 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
/proc/16250/statm: 2070762 38680 3231 1 0 2032106 0
[pid=16250/tid=16251] ppid=16227 vsize=8283048 memory=-7824251494391044201 CPUtime=15.22 cores=0-7
/proc/16250/task/16251/stat : 16251 (java) R 16227 16227 15640 0 -1 4202560 17015 351668 0 0 77 8 1331 106 20 0 22 0 510098654 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651844100656 140651855472108 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16252] ppid=16227 vsize=8283048 memory=6944656592455359580 CPUtime=14.37 cores=0-7
/proc/16250/task/16252/stat : 16252 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651876522896 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16253] ppid=16227 vsize=8283048 memory=6656426216303648864 CPUtime=14.37 cores=0-7
/proc/16250/task/16253/stat : 16253 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651676691216 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16254] ppid=16227 vsize=8283048 memory=6655300316396806240 CPUtime=14.37 cores=0-7
/proc/16250/task/16254/stat : 16254 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651675638928 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16255] ppid=16227 vsize=8283048 memory=5450874569657387562 CPUtime=14.37 cores=0-7
/proc/16250/task/16255/stat : 16255 (java) S 16227 16227 15640 0 -1 1077944384 1 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651674586128 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16256] ppid=16227 vsize=8283048 memory=8546823402028195750 CPUtime=14.37 cores=0-7
/proc/16250/task/16256/stat : 16256 (java) S 16227 16227 15640 0 -1 1077944384 1 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651673532816 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16257] ppid=16227 vsize=8283048 memory=4639059903658348624 CPUtime=14.37 cores=0-7
/proc/16250/task/16257/stat : 16257 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651672480016 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16258] ppid=16227 vsize=8283048 memory=7956005031678667109 CPUtime=14.37 cores=0-7
/proc/16250/task/16258/stat : 16258 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098656 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651671427728 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16259] ppid=16227 vsize=8283048 memory=1476 CPUtime=14.37 cores=0-7
/proc/16250/task/16259/stat : 16259 (java) S 16227 16227 15640 0 -1 1077944384 3 351668 0 0 0 0 1331 106 20 0 22 0 510098656 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651670374928 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16260] ppid=16227 vsize=8283048 memory=122492 CPUtime=14.37 cores=0-7
/proc/16250/task/16260/stat : 16260 (java) S 16227 16227 15640 0 -1 1077944384 7 351668 0 0 0 0 1331 106 20 0 22 0 510098657 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651099241072 140651872291458 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16261] ppid=16227 vsize=8283048 memory=1352164 CPUtime=14.37 cores=0-7
/proc/16250/task/16261/stat : 16261 (java) S 16227 16227 15640 0 -1 1077944384 13 351668 0 0 0 0 1331 106 20 0 22 0 510098657 8481841152 38680 33554432000 4194304 4196468 140728975789136 140650179716384 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16262] ppid=16227 vsize=8283048 memory=2832 CPUtime=14.37 cores=0-7
/proc/16250/task/16262/stat : 16262 (java) S 16227 16227 15640 0 -1 1077944384 21 351668 0 0 0 0 1331 106 20 0 22 0 510098658 8481841152 38680 33554432000 4194304 4196468 140728975789136 140650045494896 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16263] ppid=16227 vsize=8283048 memory=1552 CPUtime=14.37 cores=0-7
/proc/16250/task/16263/stat : 16263 (java) S 16227 16227 15640 0 -1 1077944384 1 351668 0 0 0 0 1331 106 20 0 22 0 510098660 8481841152 38680 33554432000 4194304 4196468 140728975789136 140649670990416 140651872298907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16264] ppid=16227 vsize=8283048 memory=1204 CPUtime=14.55 cores=0-7
/proc/16250/task/16264/stat : 16264 (java) S 16227 16227 15640 0 -1 1077944384 981 351668 0 0 18 0 1331 106 20 0 22 0 510098660 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651098187888 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16265] ppid=16227 vsize=8283048 memory=1072 CPUtime=14.53 cores=0-7
/proc/16250/task/16265/stat : 16265 (java) S 16227 16227 15640 0 -1 1077944384 309 351668 0 0 16 0 1331 106 20 0 22 0 510098660 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651097135088 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16266] ppid=16227 vsize=8283048 memory=6096 CPUtime=14.6 cores=0-7
/proc/16250/task/16266/stat : 16266 (java) S 16227 16227 15640 0 -1 1077944384 634 351668 0 0 23 0 1331 106 20 0 22 0 510098660 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651096082800 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16267] ppid=16227 vsize=8283048 memory=1544 CPUtime=14.66 cores=0-7
/proc/16250/task/16267/stat : 16267 (java) S 16227 16227 15640 0 -1 1077944384 1094 351668 0 0 29 0 1331 106 20 0 22 0 510098660 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651095030000 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16268] ppid=16227 vsize=8283048 memory=288230574492221466 CPUtime=14.37 cores=0-7
/proc/16250/task/16268/stat : 16268 (java) S 16227 16227 15640 0 -1 1077944384 3 351668 0 0 0 0 1331 106 20 0 22 0 510098660 8481841152 38680 33554432000 4194304 4196468 140728975789136 140649173085024 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16269] ppid=16227 vsize=8283048 memory=288230596050944315 CPUtime=14.37 cores=0-7
/proc/16250/task/16269/stat : 16269 (java) S 16227 16227 15640 0 -1 1077944384 3 351668 0 0 0 0 1331 106 20 0 22 0 510098661 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651093977904 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16271] ppid=16227 vsize=8283048 memory=14413717844530249 CPUtime=14.37 cores=0-7
/proc/16250/task/16271/stat : 16271 (java) S 16227 16227 15640 0 -1 1077944384 24 351668 0 0 0 0 1331 106 20 0 22 0 510098735 8481841152 38680 33554432000 4194304 4196468 140728975789136 140651086500880 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16275] ppid=16227 vsize=8283048 memory=111632 CPUtime=14.37 cores=0-7
/proc/16250/task/16275/stat : 16275 (java) S 16227 16227 15640 0 -1 1077944384 10 351668 0 0 0 0 1331 106 20 0 22 0 510098737 8481841152 38680 33554432000 4194304 4196468 140728975789136 140648233559088 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
Current children cumulated CPU time: 53.8 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 156196 KiB

[startup+25.0009 s]*
/proc/loadavg: 3.96 6.20 5.17 6/214 16285
/proc/meminfo: memFree=25365628/32770624 swapFree=66999796/67108860
[pid=16227] ppid=16224 vsize=113128 memory=1476 CPUtime=37.55 cores=0-7
/proc/16227/stat : 16227 (scop.sh) S 16224 16227 15640 0 -1 4202496 582 54397 0 0 0 0 3575 180 20 0 1 0 510096830 115843072 369 33554432000 4194304 5098028 140734614610416 140734614607160 139915481072252 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27983872 140734614618917 140734614619244 140734614619244 140734614622157 0
/proc/16227/statm: 28282 369 311 221 0 87 0
[pid=16250] ppid=16227 vsize=8283048 memory=178084 CPUtime=16.88 cores=0-7
/proc/16250/stat : 16250 (java) S 16227 16227 15640 0 -1 1077944320 25385 351668 0 0 238 13 1331 106 20 0 22 0 510098654 8481841152 44521 33554432000 4194304 4196468 140728975789136 140728975771680 140651872280311 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
/proc/16250/statm: 2070762 44521 3237 1 0 2032106 0
[pid=16250/tid=16251] ppid=16227 vsize=8283048 memory=1398722017469774279 CPUtime=15.42 cores=0-7
/proc/16250/task/16251/stat : 16251 (java) R 16227 16227 15640 0 -1 4202560 18294 351668 0 0 96 9 1331 106 20 0 22 0 510098654 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651844112928 140651864965943 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16252] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16252/stat : 16252 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651876522896 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16253] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16253/stat : 16253 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651676691216 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16254] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16254/stat : 16254 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651675638928 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16255] ppid=16227 vsize=8283048 memory=-1 CPUtime=14.37 cores=0-7
/proc/16250/task/16255/stat : 16255 (java) S 16227 16227 15640 0 -1 1077944384 1 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651674586128 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16256] ppid=16227 vsize=8283048 memory=-1 CPUtime=14.37 cores=0-7
/proc/16250/task/16256/stat : 16256 (java) S 16227 16227 15640 0 -1 1077944384 1 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651673532816 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16257] ppid=16227 vsize=8283048 memory=-1 CPUtime=14.37 cores=0-7
/proc/16250/task/16257/stat : 16257 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098655 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651672480016 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16258] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16258/stat : 16258 (java) S 16227 16227 15640 0 -1 1077944384 2 351668 0 0 0 0 1331 106 20 0 22 0 510098656 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651671427728 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16259] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16259/stat : 16259 (java) S 16227 16227 15640 0 -1 1077944384 3 351668 0 0 0 0 1331 106 20 0 22 0 510098656 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651670374928 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16260] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16260/stat : 16260 (java) S 16227 16227 15640 0 -1 1077944384 7 351668 0 0 0 0 1331 106 20 0 22 0 510098657 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651099241072 140651872291458 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16261] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16261/stat : 16261 (java) S 16227 16227 15640 0 -1 1077944384 13 351668 0 0 0 0 1331 106 20 0 22 0 510098657 8481841152 44521 33554432000 4194304 4196468 140728975789136 140650179716384 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16262] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16262/stat : 16262 (java) S 16227 16227 15640 0 -1 1077944384 21 351668 0 0 0 0 1331 106 20 0 22 0 510098658 8481841152 44521 33554432000 4194304 4196468 140728975789136 140650045494896 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16263] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16263/stat : 16263 (java) S 16227 16227 15640 0 -1 1077944384 1 351668 0 0 0 0 1331 106 20 0 22 0 510098660 8481841152 44521 33554432000 4194304 4196468 140728975789136 140649670990416 140651872298907 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16264] ppid=16227 vsize=8283048 memory=0 CPUtime=14.66 cores=0-7
/proc/16250/task/16264/stat : 16264 (java) R 16227 16227 15640 0 -1 4202560 2133 351668 0 0 29 0 1331 106 20 0 22 0 510098660 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651098173912 140651853801702 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16265] ppid=16227 vsize=8283048 memory=0 CPUtime=14.63 cores=0-7
/proc/16250/task/16265/stat : 16265 (java) R 16227 16227 15640 0 -1 4202560 988 351668 0 0 26 0 1331 106 20 0 22 0 510098660 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651097122640 140651853824464 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16266] ppid=16227 vsize=8283048 memory=0 CPUtime=14.69 cores=0-7
/proc/16250/task/16266/stat : 16266 (java) R 16227 16227 15640 0 -1 4202560 945 351668 0 0 32 0 1331 106 20 0 22 0 510098660 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651096072592 140651851430364 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16267] ppid=16227 vsize=8283048 memory=0 CPUtime=14.77 cores=0-7
/proc/16250/task/16267/stat : 16267 (java) S 16227 16227 15640 0 -1 1077944384 1541 351668 0 0 40 0 1331 106 20 0 22 0 510098660 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651095030000 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16268] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16268/stat : 16268 (java) S 16227 16227 15640 0 -1 1077944384 3 351668 0 0 0 0 1331 106 20 0 22 0 510098660 8481841152 44521 33554432000 4194304 4196468 140728975789136 140649173085024 140651872290517 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16269] ppid=16227 vsize=8283048 memory=-1 CPUtime=14.37 cores=0-7
/proc/16250/task/16269/stat : 16269 (java) S 16227 16227 15640 0 -1 1077944384 3 351668 0 0 0 0 1331 106 20 0 22 0 510098661 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651093977904 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16271] ppid=16227 vsize=8283048 memory=-1 CPUtime=14.37 cores=0-7
/proc/16250/task/16271/stat : 16271 (java) S 16227 16227 15640 0 -1 1077944384 24 351668 0 0 0 0 1331 106 20 0 22 0 510098735 8481841152 44521 33554432000 4194304 4196468 140728975789136 140651086500880 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
[pid=16250/tid=16275] ppid=16227 vsize=8283048 memory=0 CPUtime=14.37 cores=0-7
/proc/16250/task/16275/stat : 16275 (java) S 16227 16227 15640 0 -1 1077944384 10 351668 0 0 0 0 1331 106 20 0 22 0 510098737 8481841152 44521 33554432000 4194304 4196468 140728975789136 140648233559088 140651872291458 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13275136 140728975795191 140728975795350 140728975795350 140728975798223 0
Current children cumulated CPU time: 54.43 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 179560 KiB

Child status: 0
Real time (s): 25.0385
CPU time (s): 54.5109
CPU user time (s): 51.492
CPU system time (s): 3.01894
CPU usage (%): 217.708
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6071752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 51.492
system time used= 3.01894
maximum resident set size= 6070712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432112
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42100
involuntary context switches= 126


# summary of solver processes directly reported to runsolver:
#   pid: 16227
#   total CPU time (s): 54.5109
#   total CPU user time (s): 51.492
#   total CPU system time (s): 3.01894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.224936 second user time and 0.308172 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-24 17:18:01
IDJOB=4405250
IDBENCH=128073
IDSOLVER=2867
FILE ID=node123/4405250-1569338320
RUNJOBID= node123-1569335939-15667
PBS_JOBID= 21705062
Free space on /tmp= 25920 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-01.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405250-1569338320/watcher-4405250-1569338320 -o /tmp/evaluation-result-4405250-1569338320/solver-4405250-1569338320 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405250-1569338320.xml

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

MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318
RANDOM SEED=693132921

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25582488 kB
MemAvailable:   31835000 kB
Buffers:           86288 kB
Cached:          6319928 kB
SwapCached:         6628 kB
Active:          3180292 kB
Inactive:        3237436 kB
Active(anon):       4320 kB
Inactive(anon):    64000 kB
Active(file):    3175972 kB
Inactive(file):  3173436 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66999796 kB
Dirty:             20536 kB
Writeback:             0 kB
AnonPages:        139104 kB
Mapped:            56784 kB
Shmem:             47928 kB
Slab:             361828 kB
SReclaimable:     331564 kB
SUnreclaim:        30264 kB
KernelStack:        3728 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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