Trace number 4405527

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-09-22)SAT 807.422 126.659

General information on the benchmark

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

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-32044-serial-file.bin HOME/instance-4405527-1569338367.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:18:47 CEST 2019
0.66/0.56	c PID: 32047
0.66/0.56	c IP: 172.20.3.119
0.66/0.56	c HOST: node119.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.31/1.40	c (0,0) Parsing End
3.31/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1421 ctr, max domain size 25
3.31/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.41	c (0,0) Constraint Name Generate Begin
3.31/1.44	c (0,0) Ctr:HOME/instance-4405527-1569338367.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.31/1.44	c (0,0) Constraint Name Generate End
3.31/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.44	c (0,0) CSP to CSPinCNF Begin
11.83/4.75	c (4,4) translated 143 (10%) constraints
12.47/5.33	c (4,4) translated 285 (20%) constraints
12.47/5.35	c (4,4) translated 427 (30%) constraints
12.47/5.37	c (4,4) translated 569 (40%) constraints
12.47/5.39	c (4,4) translated 711 (50%) constraints
12.85/5.41	c (4,4) translated 853 (60%) constraints
12.85/5.43	c (4,4) translated 995 (70%) constraints
12.85/5.45	c (4,4) translated 1137 (80%) constraints
15.49/7.30	c (6,6) translated 1279 (90%) constraints
16.91/8.77	c (8,8) translated 1421 (100%) constraints
16.91/8.79	c (8,8) ===========================================
17.02/8.84	c (8,8) Hybrid: #OE=10600, #LE=6000
17.02/8.84	c (8,8) Hybrid
17.02/8.84	c (8,8) ===========================================
18.37/9.42	c (8,8) translated 5725 (10%) constraints
18.70/9.68	c (9,9) translated 11449 (20%) constraints
19.19/9.82	c (9,9) translated 17174 (30%) constraints
19.29/9.94	c (9,9) translated 22898 (40%) constraints
19.40/10.07	c (9,9) translated 28623 (50%) constraints
19.50/10.19	c (9,9) translated 34347 (60%) constraints
19.69/10.32	c (9,9) translated 40072 (70%) constraints
19.80/10.45	c (9,9) translated 45796 (80%) constraints
19.89/10.57	c (10,10) translated 51521 (90%) constraints
21.40/11.78	c (11,11) translated 57245 (100%) constraints
21.40/11.79	c (11,11) CSP to CSPinCNF End
21.40/11.79	c (11,11) CSP: 200 int (0 aux), 21400 bool (20400 aux), 67270 ctr, max domain size 25
21.40/11.79	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.40/11.79	c (11,11) CSPinCNF Propagation Begin
22.58/12.46	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.58/12.46	c (11,11) CSPinCNF Propagation End
22.58/12.47	c (11,11) CSP: 200 int (0 aux), 21400 bool (20400 aux), 66870 ctr, max domain size 25
22.58/12.47	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.89/12.52	c (11,11) Hybrid: #OE=15600, #LE=6000
22.89/12.52	c (11,11) Simplify CSPinCNF Begin
23.33/12.72	c (12,12) Simplify CSPinCNF End
23.33/12.72	c (12,12) CSP: 200 int (0 aux), 21400 bool (20400 aux), 66870 ctr, max domain size 25
23.33/12.72	c (12,12) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.33/12.72	c (12,12) Calculate Precise Domain Begin
23.33/12.72	c (12,12) 0 values are removed by re-calculation
23.33/12.72	c (12,12) Calculate Precise Domain End
23.33/12.73	c (12,12) CSP: 200 int (0 aux), 21400 bool (20400 aux), 66870 ctr, max domain size 25
23.33/12.73	c (12,12) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.33/12.73	c (12,12) CSPinCNF to SatSolver Begin
26.09/13.70	c (13,13) 6687 (10 %) CSP clauses are encoded (0 SAT variables, 234038 SAT clauses)
26.49/13.84	c (13,13) 13374 (20 %) CSP clauses are encoded (0 SAT variables, 240725 SAT clauses)
26.83/13.93	c (13,13) 20061 (30 %) CSP clauses are encoded (0 SAT variables, 247412 SAT clauses)
27.18/14.03	c (13,13) 26748 (40 %) CSP clauses are encoded (0 SAT variables, 254099 SAT clauses)
27.33/14.11	c (13,13) 33435 (50 %) CSP clauses are encoded (0 SAT variables, 260786 SAT clauses)
27.33/14.19	c (13,13) 40122 (60 %) CSP clauses are encoded (0 SAT variables, 267473 SAT clauses)
27.42/14.27	c (13,13) 46809 (70 %) CSP clauses are encoded (0 SAT variables, 274160 SAT clauses)
27.52/14.35	c (13,13) 53496 (80 %) CSP clauses are encoded (0 SAT variables, 280847 SAT clauses)
27.62/14.42	c (13,13) 60183 (90 %) CSP clauses are encoded (0 SAT variables, 287534 SAT clauses)
33.03/18.53	c (17,17) 66870 (100 %) CSP clauses are encoded (0 SAT variables, 2667927 SAT clauses)
33.03/18.57	c (18,17) CSPinCNF to SatSolver End
33.03/18.57	c (18,17) Heap : 4089 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
33.03/18.57	c (18,17) 916574 bool, 2687762 clause
33.03/18.57	c (18,17) Export Begin
33.39/18.78	c (18,18) Export to HOME/scop-32044-serial-file.bin
33.39/18.78	c (18,18) Export End
33.39/18.78	c (18,18) Export File Size: 0.47 MB
33.39/18.78	c (18,18) 0,0,11,11,12,12,18,STOP-AFTER(DIMACS)
33.39/18.78	c END-Prog: Tue Sep 24 17:19:05 CEST 2019
0.00/18.82	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32044-serial-file.bin
34.29/19.30	c (0,0) Read Serial File Begin
34.29/19.30	c (0,0) HOME/scop-32044-serial-file.bin
34.91/19.66	c (0,0) Read Serial File End
34.91/19.67	
34.91/19.67	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
34.91/19.67	(Solving Process)
34.91/19.67	
34.91/19.70	c BEGIN-Prog: Tue Sep 24 17:19:06 CEST 2019
34.91/19.70	c PID: 32067
34.91/19.70	c IP: 172.20.3.119
34.91/19.70	c HOST: node119.alineos.net
35.18/19.70	c (0,0) SatSolver.solve Begin
35.18/19.70	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405527-1569338367.xml-scop-32047.cnf
35.18/19.73	c (0,0) c
35.18/19.73	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)
35.18/19.73	c (0,0) c
35.18/19.73	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.18/19.73	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.18/19.73	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.18/19.73	c (0,0) c |                                                                                                       |
36.54/20.89	c (1,0) c |  Number of variables:        916574                                                                   |
36.54/20.89	c (1,0) c |  Number of clauses:         2686898                                                                   |
36.54/20.89	c (1,0) c |  Parse time:                   1.04 s                                                                 |
36.54/20.89	c (1,0) c |                                                                                                       |
38.43/22.75	c (3,0) c |  Simplification time:          1.79 s                                                                 |
38.43/22.75	c (3,0) c |                                                                                                       |
38.43/22.75	c (3,0) c |  Generating clones                                                                                    |
39.64/23.95	c (4,0) c |  all clones generated. Memory =  2292.80Mb.                                                           |
39.64/23.95	c (4,0) c ========================================================================================================|
39.64/23.95	c (4,0) c
39.64/23.95	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.64/23.95	c (4,0) c
39.64/23.95	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.64/23.95	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.64/23.95	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.64/23.95	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.64/23.95	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.64/23.95	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.64/23.95	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
39.64/23.95	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.64/23.95	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.64/23.95	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.64/23.95	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.64/23.95	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.64/23.95	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.64/23.95	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.64/23.95	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
39.64/23.95	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.64/23.96	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.64/23.96	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.64/23.96	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
269.64/53.45	c (34,0) c
269.64/53.45	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
269.64/53.45	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
269.64/53.45	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
269.64/53.45	c (34,0) c |  0 |    169 |    1003768 |      80694 |   129922 |    23685 |    16721 |    88989 |     2699 |       89 |  20 |  0.122 |
269.64/53.45	c (34,0) c |  1 |    243 |    1031353 |     115424 |   145011 |    24054 |    21822 |   108264 |     3586 |      103 |  20 |  0.130 |
269.64/53.45	c (34,0) c |  2 |    168 |     829949 |      97960 |   166125 |    26835 |    23338 |   114734 |     1698 |      109 |  20 |  0.126 |
269.64/53.45	c (34,0) c |  3 |    255 |     703196 |      79410 |   184985 |    25881 |    14958 |   115953 |     1311 |      109 |  20 |  0.135 |
269.64/53.45	c (34,0) c |  4 |    361 |    1302144 |     107446 |   139995 |    44902 |    19169 |   110548 |     1685 |      108 |  20 |  0.146 |
269.64/53.45	c (34,0) c |  5 |    231 |    1666447 |      95107 |   150187 |    41554 |    18785 |   104132 |     1552 |      100 |  20 |  0.124 |
269.64/53.45	c (34,0) c |  6 |    155 |    1309989 |      57482 |   149800 |    18965 |    12733 |   116582 |     1082 |      109 |  20 |  0.122 |
269.64/53.45	c (34,0) c |  7 |    331 |    1225112 |     135811 |   131148 |    33989 |    26700 |   108477 |     3329 |      107 |  20 |  0.122 |
269.64/53.45	c (34,0) c 
269.64/53.45	c (34,0) c synthesis      769337 conflicts   855490110 propagations     3329 conflicts/sec  3701804 propagations/sec
269.64/53.45	c (34,0) c real: 33.7235 s, cpu: 231.101 s, memory: 3035.80 Mb
491.66/83.45	c (64,0) c
491.66/83.45	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
491.66/83.45	c (64,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
491.66/83.45	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
491.66/83.45	c (64,0) c |  0 |    443 |    1868815 |     206264 |   246296 |    73929 |    34453 |   202556 |    10573 |      202 |  20 |  0.241 |
491.66/83.45	c (64,0) c |  1 |    474 |    1703854 |     241196 |   190537 |    62165 |    40559 |   183726 |    10013 |      195 |  20 |  0.236 |
491.66/83.45	c (64,0) c |  2 |    318 |    1317724 |     191744 |   242216 |    47587 |    38603 |   224615 |     5172 |      215 |  20 |  0.247 |
491.66/83.45	c (64,0) c |  3 |    462 |    1189972 |     186451 |   247783 |    38902 |    30762 |   226062 |     4683 |      213 |  20 |  0.247 |
491.66/83.45	c (64,0) c |  4 |    605 |    1501669 |     132920 |   258428 |    45224 |    21423 |   236636 |     2263 |      214 |  20 |  0.247 |
491.66/83.45	c (64,0) c |  5 |    440 |    2020756 |     196555 |   263579 |    46288 |    34866 |   222638 |     6186 |      212 |  20 |  0.250 |
491.66/83.45	c (64,0) c |  6 |    263 |    1650996 |     187759 |   197841 |    48246 |    38927 |   225850 |     5687 |      214 |  20 |  0.247 |
491.66/83.45	c (64,0) c |  7 |    689 |    2038305 |     257853 |   219094 |    54484 |    42329 |   213749 |     9861 |      213 |  20 |  0.247 |
491.66/83.45	c (64,0) c 
491.66/83.45	c (64,0) c synthesis     1600749 conflicts  1591517994 propagations     3550 conflicts/sec  3529134 propagations/sec
491.66/83.45	c (64,0) c real: 63.7235 s, cpu: 450.966 s, memory: 3245.53 Mb
718.39/112.45	c (93,0) c
718.39/112.45	c (93,0) c |------------------------------------------------------------------------------------------------------------------------|
718.39/112.45	c (93,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
718.39/112.45	c (93,0) c |------------------------------------------------------------------------------------------------------------------------|
718.39/112.45	c (93,0) c |  0 |    654 |    2383716 |     331070 |   287844 |    83998 |    51469 |   295330 |    18286 |      303 |  20 |  0.268 |
718.39/112.45	c (93,0) c |  1 |    794 |    2185664 |     344860 |   256204 |    83741 |    52171 |   278534 |    15203 |      291 |  20 |  0.265 |
718.39/112.45	c (93,0) c |  2 |    492 |    1739487 |     278237 |   314776 |    67860 |    49166 |   301273 |     9334 |      307 |  20 |  0.266 |
718.39/112.45	c (93,0) c |  3 |    626 |    1524277 |     275641 |   279806 |    68768 |    44126 |   308695 |     7223 |      307 |  20 |  0.266 |
718.39/112.45	c (93,0) c |  4 |    717 |    1709458 |     223241 |   297418 |    48258 |    31485 |   320158 |     3201 |      309 |  20 |  0.266 |
718.39/112.45	c (93,0) c |  5 |    708 |    2639149 |     295909 |   306061 |    76119 |    48083 |   303972 |    10194 |      310 |  20 |  0.271 |
718.39/112.45	c (93,0) c |  6 |    331 |    1991052 |     241801 |   232952 |    37129 |    41311 |   308909 |     6791 |      310 |  20 |  0.266 |
718.39/112.45	c (93,0) c |  7 |    972 |    2303490 |     346054 |   286309 |    97943 |    50063 |   303814 |    13298 |      311 |  20 |  0.266 |
718.39/112.45	c (93,0) c 
718.39/112.45	c (93,0) c synthesis     2336840 conflicts  2323453242 propagations     3451 conflicts/sec  3431727 propagations/sec
718.39/112.45	c (93,0) c real: 92.7235 s, cpu: 677.051 s, memory: 3386.34 Mb
805.77/125.90	c (106,0) c
805.77/125.90	c (106,0) c real time : 106.18 s
805.77/125.90	c (106,0) c cpu time  : 763.746 s
805.77/125.90	c (106,0) c
805.77/125.90	c (106,0) c
805.77/125.90	c (106,0) c
805.77/125.90	c (106,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
805.77/125.90	c (106,0) c
805.77/125.90	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.90	c (106,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
805.77/125.90	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.90	c (106,0) c | Conflicts     |         2663182 |     377750 |     394659 |     305852 |     326389 |     261216 |     329130 |     287785 |     380401 |
805.77/125.91	c (106,0) c | Decisions     |        18029017 |    2637440 |    2331096 |    2169413 |    1892383 |    1792238 |    2759103 |    2071839 |    2375505 |
805.77/125.91	c (106,0) c | Propagations  |      2603895251 |  309488799 |  315522021 |  325226834 |  330042310 |  341883218 |  334908836 |  326138071 |  320685162 |
805.77/125.91	c (106,0) c | ReduceDBs     |             111 |         14 |         15 |         14 |         14 |         12 |         14 |         14 |         14 |
805.77/125.91	c (106,0) c | SimpDBs       |             184 |         23 |         21 |         22 |         26 |         25 |         25 |         19 |         23 |
805.77/125.91	c (106,0) c | Restarts      |            5919 |        749 |        925 |        579 |        694 |        758 |        791 |        365 |       1058 |
805.77/125.91	c (106,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
805.77/125.91	c (106,0) c | PropBinClauses|       760941185 |   99229294 |   98809815 |   89098009 |  101470661 |   84174971 |   98984701 |   90816785 |   98356949 |
805.77/125.91	c (106,0) c | PropPreBlocker|      6870287744 |  849852199 |  855702983 |  841003450 |  841895727 |  859343756 |  855293741 |  902342998 |  864852890 |
805.77/125.91	c (106,0) c | PropNotBlocker|      2984112858 |  368163908 |  373422667 |  368942244 |  372216338 |  376343556 |  379202060 |  364261382 |  381560703 |
805.77/125.91	c (106,0) c | LitFullScans  |     16617492243 | 2072413681 | 2070794109 | 2073027547 | 2076761040 | 2073948498 | 2088706469 | 2082936371 | 2078904528 |
805.77/125.91	c (106,0) c | LitScanFracts |         6915637 |     652483 |     784916 |     883660 |     839976 |    1022030 |    1001440 |     926536 |     804596 |
805.77/125.91	c (106,0) c | DecisionLevel0|            5992 |        756 |        937 |        584 |        704 |        779 |        806 |        365 |       1061 |
805.77/125.91	c (106,0) c | Periods       |            2765 |        345 |        345 |        345 |        345 |        345 |        347 |        347 |        346 |
805.77/125.91	c (106,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
805.77/125.91	c (106,0) c | Avg_Trail     |                 |      23270 |      25826 |      26857 |      27034 |      29975 |      25248 |      34779 |      25263 |
805.77/125.91	c (106,0) c | Avg_DL        |                 |        210 |        201 |        243 |        200 |        191 |        225 |        341 |        188 |
805.77/125.91	c (106,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
805.77/125.91	c (106,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
805.77/125.91	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.91	c (106,0) c | Exported      |          412222 |      56868 |      56494 |      51733 |      51914 |      38038 |      49555 |      54515 |      53105 |
805.77/125.91	c (106,0) c | Imported      |         2716640 |     333353 |     332152 |     333470 |     339087 |     353154 |     342542 |     344051 |     338831 |
805.77/125.91	c (106,0) c | Good          |          151566 |      17534 |      18198 |      19257 |      19326 |      19536 |      18851 |      20365 |      18499 |
805.77/125.91	c (106,0) c | Purge         |         2565074 |     315819 |     313954 |     314213 |     319761 |     333618 |     323691 |     323686 |     320332 |
805.77/125.91	c (106,0) c | Promoted      |           93078 |      20264 |      17562 |      10291 |       8393 |       4007 |      10980 |       7879 |      13702 |
805.77/125.91	c (106,0) c | Remove_Imp    |         1715926 |     177007 |     176842 |     214374 |     229927 |     263546 |     214798 |     257546 |     181886 |
805.77/125.91	c (106,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
805.77/125.91	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.91	c (106,0) c | Unaries       |                 |          7 |         12 |          5 |         10 |         21 |         15 |          0 |          3 |
805.77/125.91	c (106,0) c | Binaries      |                 |       4451 |       3447 |       2338 |       2522 |       2145 |       3002 |       1525 |       3337 |
805.77/125.91	c (106,0) c | Glues         |                 |      18691 |      15986 |      10211 |      12193 |       8789 |      13287 |       7849 |      16084 |
805.77/125.91	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.91	c (106,0) c | Orig_Seen     |            11 % |     303231 |     288234 |     329037 |     298097 |     303432 |     329442 |     245074 |     290935 |
805.77/125.91	c (106,0) c | Diff Orig seen|                 | -    25806 | -    40803 |      X     | -    30940 | -    25605 |        405 | -    83963 | -    38102 |
805.77/125.91	c (106,0) c | Hamming       |            19 % |     166649 |     162843 |      X     |     179133 |     206996 |     183555 |     199972 |     168333 |
805.77/125.91	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.91	c (106,0) c | RunningTime   |                 |   99.2 100%|  101.6 100%|   93.7  95%|   96.8  98%|   94.8  96%|   95.2  96%|   90.9  92%|   96.9  98%|
805.77/125.91	c (106,0) c | WaitingTime   |                 |    0.0   0%|    0.1   0%|    5.2   5%|    2.2   2%|    4.1   4%|    3.8   4%|    8.0   8%|    2.1   2%|
805.77/125.91	c (106,0) c | ExchangingTime|                 |    0.1   0%|    0.2   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
805.77/125.91	c (106,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%|
805.77/125.91	c (106,0) c | SolvingTime   |                 |   99.3     |  101.9     |   99.1     |   99.1     |   99.1     |   99.1     |   99.1     |   99.1     |
805.77/125.91	c (106,0) c | PropagationTim|                 |   83.9  85%|   85.2  84%|   81.3  82%|   82.7  83%|   82.6  83%|   82.0  83%|   80.8  82%|   82.5  83%|
805.77/125.91	c (106,0) c | AnalysisTime  |                 |    5.4   5%|    6.7   7%|    6.1   6%|    5.8   6%|    6.0   6%|    6.7   7%|    6.4   6%|    6.4   6%|
805.77/125.91	c (106,0) c | ReductionTime |                 |    0.9   1%|    1.0   1%|    0.9   1%|    0.9   1%|    0.6   1%|    0.9   1%|    0.9   1%|    0.7   1%|
805.77/125.91	c (106,0) c | SimplifyTime  |                 |    1.3   1%|    1.3   1%|    3.1   3%|    2.2   2%|    2.7   3%|    1.9   2%|    3.9   4%|    1.7   2%|
805.77/125.91	c (106,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%|
805.77/125.91	c (106,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%|
805.77/125.91	c (106,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.91	c (106,0) c
805.77/125.91	c (106,0) c
805.77/125.91	c (106,0) c Threads : 8
805.77/125.91	c (106,0) c Winner : 2
805.77/125.91	c (106,0) c Conflicts_0 : 377750
805.77/125.91	c (106,0) c Conflicts_1 : 394659
805.77/125.91	c (106,0) c Conflicts_2 : 305852
805.77/125.91	c (106,0) c Conflicts_3 : 326389
805.77/125.91	c (106,0) c Conflicts_4 : 261216
805.77/125.91	c (106,0) c Conflicts_5 : 329130
805.77/125.91	c (106,0) c Conflicts_6 : 287785
805.77/125.91	c (106,0) c Conflicts_7 : 380401
805.77/125.91	c (106,0) c Conflicts_total : 2663182
805.77/125.91	c (106,0) c Conflicts_winner : 305852
805.77/125.91	c (106,0) c Decisions_0 : 2637440
805.77/125.91	c (106,0) c Decisions_1 : 2331096
805.77/125.91	c (106,0) c Decisions_2 : 2169413
805.77/125.91	c (106,0) c Decisions_3 : 1892383
805.77/125.91	c (106,0) c Decisions_4 : 1792238
805.77/125.91	c (106,0) c Decisions_5 : 2759103
805.77/125.91	c (106,0) c Decisions_6 : 2071839
805.77/125.91	c (106,0) c Decisions_7 : 2375505
805.77/125.91	c (106,0) c Decisions_total : 18029017
805.77/125.91	c (106,0) c Decisions_winner : 2169413
805.77/125.91	c (106,0) c Propagations_0 : 309488799
805.77/125.91	c (106,0) c Propagations_1 : 315522021
805.77/125.91	c (106,0) c Propagations_2 : 325226834
805.77/125.91	c (106,0) c Propagations_3 : 330042310
805.77/125.91	c (106,0) c Propagations_4 : 341883218
805.77/125.91	c (106,0) c Propagations_5 : 334908836
805.77/125.91	c (106,0) c Propagations_6 : 326138071
805.77/125.91	c (106,0) c Propagations_7 : 320685162
805.77/125.91	c (106,0) c Propagations_total : 2603895251
805.77/125.91	c (106,0) c Propagations_winner : 325226834
805.77/125.91	c (106,0) c ReduceDBs_0 : 14
805.77/125.91	c (106,0) c ReduceDBs_1 : 15
805.77/125.91	c (106,0) c ReduceDBs_2 : 14
805.77/125.91	c (106,0) c ReduceDBs_3 : 14
805.77/125.91	c (106,0) c ReduceDBs_4 : 12
805.77/125.91	c (106,0) c ReduceDBs_5 : 14
805.77/125.91	c (106,0) c ReduceDBs_6 : 14
805.77/125.91	c (106,0) c ReduceDBs_7 : 14
805.77/125.91	c (106,0) c ReduceDBs_total : 111
805.77/125.91	c (106,0) c ReduceDBs_winner : 14
805.77/125.91	c (106,0) c SimpDBs_0 : 23
805.77/125.91	c (106,0) c SimpDBs_1 : 21
805.77/125.91	c (106,0) c SimpDBs_2 : 22
805.77/125.91	c (106,0) c SimpDBs_3 : 26
805.77/125.91	c (106,0) c SimpDBs_4 : 25
805.77/125.91	c (106,0) c SimpDBs_5 : 25
805.77/125.91	c (106,0) c SimpDBs_6 : 19
805.77/125.91	c (106,0) c SimpDBs_7 : 23
805.77/125.91	c (106,0) c SimpDBs_total : 184
805.77/125.91	c (106,0) c SimpDBs_winner : 22
805.77/125.91	c (106,0) c Restarts_0 : 749
805.77/125.91	c (106,0) c Restarts_1 : 925
805.77/125.91	c (106,0) c Restarts_2 : 579
805.77/125.91	c (106,0) c Restarts_3 : 694
805.77/125.91	c (106,0) c Restarts_4 : 758
805.77/125.91	c (106,0) c Restarts_5 : 791
805.77/125.91	c (106,0) c Restarts_6 : 365
805.77/125.91	c (106,0) c Restarts_7 : 1058
805.77/125.91	c (106,0) c Restarts_total : 5919
805.77/125.91	c (106,0) c Restarts_winner : 579
805.77/125.91	c (106,0) c ForcedImports_0 : 0
805.77/125.91	c (106,0) c ForcedImports_1 : 0
805.77/125.91	c (106,0) c ForcedImports_2 : 0
805.77/125.91	c (106,0) c ForcedImports_3 : 0
805.77/125.91	c (106,0) c ForcedImports_4 : 0
805.77/125.91	c (106,0) c ForcedImports_5 : 0
805.77/125.91	c (106,0) c ForcedImports_6 : 0
805.77/125.91	c (106,0) c ForcedImports_7 : 0
805.77/125.91	c (106,0) c ForcedImports_total : 0
805.77/125.91	c (106,0) c ForcedImports_winner : 0
805.77/125.91	c (106,0) c PropsBinClauses_0 : 99229294
805.77/125.91	c (106,0) c PropsBinClauses_1 : 98809815
805.77/125.91	c (106,0) c PropsBinClauses_2 : 89098009
805.77/125.91	c (106,0) c PropsBinClauses_3 : 101470661
805.77/125.91	c (106,0) c PropsBinClauses_4 : 84174971
805.77/125.91	c (106,0) c PropsBinClauses_5 : 98984701
805.77/125.91	c (106,0) c PropsBinClauses_6 : 90816785
805.77/125.91	c (106,0) c PropsBinClauses_7 : 98356949
805.77/125.91	c (106,0) c PropsBinClauses_total : 760941185
805.77/125.91	c (106,0) c PropsBinClauses_winner : 89098009
805.77/125.91	c (106,0) c PropsPreBlocker_0 : 849852199
805.77/125.91	c (106,0) c PropsPreBlocker_1 : 855702983
805.77/125.91	c (106,0) c PropsPreBlocker_2 : 841003450
805.77/125.91	c (106,0) c PropsPreBlocker_3 : 841895727
805.77/125.91	c (106,0) c PropsPreBlocker_4 : 859343756
805.77/125.91	c (106,0) c PropsPreBlocker_5 : 855293741
805.77/125.91	c (106,0) c PropsPreBlocker_6 : 902342998
805.77/125.91	c (106,0) c PropsPreBlocker_7 : 864852890
805.77/125.91	c (106,0) c PropsPreBlocker_total : 6870287744
805.77/125.91	c (106,0) c PropsPreBlocker_winner : 841003450
805.77/125.91	c (106,0) c PropsNotBlocker_0 : 368163908
805.77/125.91	c (106,0) c PropsNotBlocker_1 : 373422667
805.77/125.91	c (106,0) c PropsNotBlocker_2 : 368942244
805.77/125.91	c (106,0) c PropsNotBlocker_3 : 372216338
805.77/125.91	c (106,0) c PropsNotBlocker_4 : 376343556
805.77/125.91	c (106,0) c PropsNotBlocker_5 : 379202060
805.77/125.91	c (106,0) c PropsNotBlocker_6 : 364261382
805.77/125.91	c (106,0) c PropsNotBlocker_7 : 381560703
805.77/125.91	c (106,0) c PropsNotBlocker_total : 2984112858
805.77/125.91	c (106,0) c PropsNotBlocker_winner : 368942244
805.77/125.91	c (106,0) c PropsLitFullScans_0 : 2072413681
805.77/125.91	c (106,0) c PropsLitFullScans_1 : 2070794109
805.77/125.91	c (106,0) c PropsLitFullScans_2 : 2073027547
805.77/125.91	c (106,0) c PropsLitFullScans_3 : 2076761040
805.77/125.91	c (106,0) c PropsLitFullScans_4 : 2073948498
805.77/125.91	c (106,0) c PropsLitFullScans_5 : 2088706469
805.77/125.91	c (106,0) c PropsLitFullScans_6 : 2082936371
805.77/125.91	c (106,0) c PropsLitFullScans_7 : 2078904528
805.77/125.91	c (106,0) c PropsLitFullScans_total : 16617492243
805.77/125.91	c (106,0) c PropsLitFullScans_winner : 2073027547
805.77/125.91	c (106,0) c LitScanFractions_0 : 652483
805.77/125.91	c (106,0) c LitScanFractions_1 : 784916
805.77/125.91	c (106,0) c LitScanFractions_2 : 883660
805.77/125.91	c (106,0) c LitScanFractions_3 : 839976
805.77/125.91	c (106,0) c LitScanFractions_4 : 1022030
805.77/125.91	c (106,0) c LitScanFractions_5 : 1001440
805.77/125.91	c (106,0) c LitScanFractions_6 : 926536
805.77/125.91	c (106,0) c LitScanFractions_7 : 804596
805.77/125.91	c (106,0) c LitScanFractions_total : 6915637
805.77/125.91	c (106,0) c LitScanFractions_winner : 883660
805.77/125.91	c (106,0) c DecisionLevel0_0 : 756
805.77/125.91	c (106,0) c DecisionLevel0_1 : 937
805.77/125.91	c (106,0) c DecisionLevel0_2 : 584
805.77/125.91	c (106,0) c DecisionLevel0_3 : 704
805.77/125.91	c (106,0) c DecisionLevel0_4 : 779
805.77/125.91	c (106,0) c DecisionLevel0_5 : 806
805.77/125.91	c (106,0) c DecisionLevel0_6 : 365
805.77/125.91	c (106,0) c DecisionLevel0_7 : 1061
805.77/125.91	c (106,0) c DecisionLevel0_total : 5992
805.77/125.91	c (106,0) c DecisionLevel0_winner : 584
805.77/125.91	c (106,0) c Periods_0 : 345
805.77/125.91	c (106,0) c Periods_1 : 345
805.77/125.91	c (106,0) c Periods_2 : 345
805.77/125.91	c (106,0) c Periods_3 : 345
805.77/125.91	c (106,0) c Periods_4 : 345
805.77/125.91	c (106,0) c Periods_5 : 347
805.77/125.91	c (106,0) c Periods_6 : 347
805.77/125.91	c (106,0) c Periods_7 : 346
805.77/125.91	c (106,0) c Periods_total : 2765
805.77/125.91	c (106,0) c Periods_winner : 345
805.77/125.91	c (106,0) c Margin_0 : 20
805.77/125.91	c (106,0) c Margin_1 : 20
805.77/125.91	c (106,0) c Margin_2 : 20
805.77/125.91	c (106,0) c Margin_3 : 20
805.77/125.91	c (106,0) c Margin_4 : 20
805.77/125.91	c (106,0) c Margin_5 : 20
805.77/125.91	c (106,0) c Margin_6 : 20
805.77/125.91	c (106,0) c Margin_7 : 20
805.77/125.91	c (106,0) c Margin_total : 160
805.77/125.91	c (106,0) c Margin_winner : 20
805.77/125.91	c (106,0) c Exported_0 : 56868
805.77/125.91	c (106,0) c Exported_1 : 56494
805.77/125.91	c (106,0) c Exported_2 : 51733
805.77/125.91	c (106,0) c Exported_3 : 51914
805.77/125.91	c (106,0) c Exported_4 : 38038
805.77/125.91	c (106,0) c Exported_5 : 49555
805.77/125.91	c (106,0) c Exported_6 : 54515
805.77/125.91	c (106,0) c Exported_7 : 53105
805.77/125.91	c (106,0) c Exported_total : 412222
805.77/125.91	c (106,0) c Exported_winner : 51733
805.77/125.92	c (106,0) c Imported_0 : 333353
805.77/125.92	c (106,0) c Imported_1 : 332152
805.77/125.92	c (106,0) c Imported_2 : 333470
805.77/125.92	c (106,0) c Imported_3 : 339087
805.77/125.92	c (106,0) c Imported_4 : 353154
805.77/125.92	c (106,0) c Imported_5 : 342542
805.77/125.92	c (106,0) c Imported_6 : 344051
805.77/125.92	c (106,0) c Imported_7 : 338831
805.77/125.92	c (106,0) c Imported_total : 2716640
805.77/125.92	c (106,0) c Imported_winner : 333470
805.77/125.92	c (106,0) c Good_0 : 17534
805.77/125.92	c (106,0) c Good_1 : 18198
805.77/125.92	c (106,0) c Good_2 : 19257
805.77/125.92	c (106,0) c Good_3 : 19326
805.77/125.92	c (106,0) c Good_4 : 19536
805.77/125.92	c (106,0) c Good_5 : 18851
805.77/125.92	c (106,0) c Good_6 : 20365
805.77/125.92	c (106,0) c Good_7 : 18499
805.77/125.92	c (106,0) c Good_total : 151566
805.77/125.92	c (106,0) c Good_winner : 19257
805.77/125.92	c (106,0) c Purge_0 : 315819
805.77/125.92	c (106,0) c Purge_1 : 313954
805.77/125.92	c (106,0) c Purge_2 : 314213
805.77/125.92	c (106,0) c Purge_3 : 319761
805.77/125.92	c (106,0) c Purge_4 : 333618
805.77/125.92	c (106,0) c Purge_5 : 323691
805.77/125.92	c (106,0) c Purge_6 : 323686
805.77/125.92	c (106,0) c Purge_7 : 320332
805.77/125.92	c (106,0) c Purge_total : 2565074
805.77/125.92	c (106,0) c Purge_winner : 314213
805.77/125.92	c (106,0) c Promoted_0 : 20264
805.77/125.92	c (106,0) c Promoted_1 : 17562
805.77/125.92	c (106,0) c Promoted_2 : 10291
805.77/125.92	c (106,0) c Promoted_3 : 8393
805.77/125.92	c (106,0) c Promoted_4 : 4007
805.77/125.92	c (106,0) c Promoted_5 : 10980
805.77/125.92	c (106,0) c Promoted_6 : 7879
805.77/125.92	c (106,0) c Promoted_7 : 13702
805.77/125.92	c (106,0) c Promoted_total : 93078
805.77/125.92	c (106,0) c Promoted_winner : 10291
805.77/125.92	c (106,0) c Remove_Imp_0 : 177007
805.77/125.92	c (106,0) c Remove_Imp_1 : 176842
805.77/125.92	c (106,0) c Remove_Imp_2 : 214374
805.77/125.92	c (106,0) c Remove_Imp_3 : 229927
805.77/125.92	c (106,0) c Remove_Imp_4 : 263546
805.77/125.92	c (106,0) c Remove_Imp_5 : 214798
805.77/125.92	c (106,0) c Remove_Imp_6 : 257546
805.77/125.92	c (106,0) c Remove_Imp_7 : 181886
805.77/125.92	c (106,0) c Remove_Imp_total : 1715926
805.77/125.92	c (106,0) c Remove_Imp_winner : 214374
805.77/125.92	c (106,0) c Blocked_Reuse_0 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_1 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_2 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_3 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_4 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_5 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_6 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_7 : 0
805.77/125.92	c (106,0) c Blocked_Reuse_total : 0
805.77/125.92	c (106,0) c Blocked_Reuse_winner : 0
805.77/125.92	c (106,0) c Unaries_0 : 7
805.77/125.92	c (106,0) c Unaries_1 : 12
805.77/125.92	c (106,0) c Unaries_2 : 5
805.77/125.92	c (106,0) c Unaries_3 : 10
805.77/125.92	c (106,0) c Unaries_4 : 21
805.77/125.92	c (106,0) c Unaries_5 : 15
805.77/125.92	c (106,0) c Unaries_6 : 0
805.77/125.92	c (106,0) c Unaries_7 : 3
805.77/125.92	c (106,0) c Unaries_total : 73
805.77/125.92	c (106,0) c Unaries_winner : 5
805.77/125.92	c (106,0) c Binaries_0 : 4451
805.77/125.92	c (106,0) c Binaries_1 : 3447
805.77/125.92	c (106,0) c Binaries_2 : 2338
805.77/125.92	c (106,0) c Binaries_3 : 2522
805.77/125.92	c (106,0) c Binaries_4 : 2145
805.77/125.92	c (106,0) c Binaries_5 : 3002
805.77/125.92	c (106,0) c Binaries_6 : 1525
805.77/125.92	c (106,0) c Binaries_7 : 3337
805.77/125.92	c (106,0) c Binaries_total : 22767
805.77/125.92	c (106,0) c Binaries_winner : 2338
805.77/125.92	c (106,0) c Glues_0 : 18691
805.77/125.92	c (106,0) c Glues_1 : 15986
805.77/125.92	c (106,0) c Glues_2 : 10211
805.77/125.92	c (106,0) c Glues_3 : 12193
805.77/125.92	c (106,0) c Glues_4 : 8789
805.77/125.92	c (106,0) c Glues_5 : 13287
805.77/125.92	c (106,0) c Glues_6 : 7849
805.77/125.92	c (106,0) c Glues_7 : 16084
805.77/125.92	c (106,0) c Glues_total : 103090
805.77/125.92	c (106,0) c Glues_winner : 10211
805.77/125.92	c (106,0) c RunningTime_0 : 99.155984
805.77/125.92	c (106,0) c RunningTime_1 : 101.617783
805.77/125.92	c (106,0) c RunningTime_2 : 93.721423
805.77/125.92	c (106,0) c RunningTime_3 : 96.814113
805.77/125.92	c (106,0) c RunningTime_4 : 94.835040
805.77/125.92	c (106,0) c RunningTime_5 : 95.150206
805.77/125.92	c (106,0) c RunningTime_6 : 90.940658
805.77/125.92	c (106,0) c RunningTime_7 : 96.856305
805.77/125.92	c (106,0) c RunningTime_total : 769.091512
805.77/125.92	c (106,0) c RunningTime_winner : 93.721423
805.77/125.92	c (106,0) c WaitingTime_0 : 0.000497
805.77/125.92	c (106,0) c WaitingTime_1 : 0.101729
805.77/125.92	c (106,0) c WaitingTime_2 : 5.227094
805.77/125.92	c (106,0) c WaitingTime_3 : 2.167176
805.77/125.92	c (106,0) c WaitingTime_4 : 4.119587
805.77/125.92	c (106,0) c WaitingTime_5 : 3.806197
805.77/125.92	c (106,0) c WaitingTime_6 : 8.016320
805.77/125.92	c (106,0) c WaitingTime_7 : 2.119793
805.77/125.92	c (106,0) c WaitingTime_total : 25.558393
805.77/125.92	c (106,0) c WaitingTime_winner : 5.227094
805.77/125.92	c (106,0) c ExchangingTime_0 : 0.142036
805.77/125.92	c (106,0) c ExchangingTime_1 : 0.153908
805.77/125.92	c (106,0) c ExchangingTime_2 : 0.142426
805.77/125.92	c (106,0) c ExchangingTime_3 : 0.142454
805.77/125.92	c (106,0) c ExchangingTime_4 : 0.143846
805.77/125.92	c (106,0) c ExchangingTime_5 : 0.141869
805.77/125.92	c (106,0) c ExchangingTime_6 : 0.128888
805.77/125.92	c (106,0) c ExchangingTime_7 : 0.146617
805.77/125.92	c (106,0) c ExchangingTime_total : 1.142043
805.77/125.92	c (106,0) c ExchangingTime_winner : 0.142426
805.77/125.92	c (106,0) c PeriodProcTime_0 : 0.003421
805.77/125.92	c (106,0) c PeriodProcTime_1 : 0.003755
805.77/125.92	c (106,0) c PeriodProcTime_2 : 0.003747
805.77/125.92	c (106,0) c PeriodProcTime_3 : 0.003698
805.77/125.92	c (106,0) c PeriodProcTime_4 : 0.003736
805.77/125.92	c (106,0) c PeriodProcTime_5 : 0.003155
805.77/125.92	c (106,0) c PeriodProcTime_6 : 0.003859
805.77/125.92	c (106,0) c PeriodProcTime_7 : 0.003598
805.77/125.92	c (106,0) c PeriodProcTime_total : 0.028969
805.77/125.92	c (106,0) c PeriodProcTime_winner : 0.003747
805.77/125.92	c (106,0) c SolvingTime_0 : 99.301938
805.77/125.92	c (106,0) c SolvingTime_1 : 101.877175
805.77/125.92	c (106,0) c SolvingTime_2 : 99.094691
805.77/125.92	c (106,0) c SolvingTime_3 : 99.127441
805.77/125.92	c (106,0) c SolvingTime_4 : 99.102209
805.77/125.92	c (106,0) c SolvingTime_5 : 99.101428
805.77/125.92	c (106,0) c SolvingTime_6 : 99.089724
805.77/125.92	c (106,0) c SolvingTime_7 : 99.126313
805.77/125.92	c (106,0) c SolvingTime_total : 795.820918
805.77/125.92	c (106,0) c SolvingTime_winner : 99.094691
805.77/125.92	c (106,0) c PropagationTime_0 : 83.937449
805.77/125.92	c (106,0) c PropagationTime_1 : 85.221308
805.77/125.92	c (106,0) c PropagationTime_2 : 81.282717
805.77/125.93	c (106,0) c PropagationTime_3 : 82.672606
805.77/125.93	c (106,0) c PropagationTime_4 : 82.550804
805.77/125.93	c (106,0) c PropagationTime_5 : 82.015377
805.77/125.93	c (106,0) c PropagationTime_6 : 80.774254
805.77/125.93	c (106,0) c PropagationTime_7 : 82.516457
805.77/125.93	c (106,0) c PropagationTime_total : 660.970972
805.77/125.93	c (106,0) c PropagationTime_winner : 81.282717
805.77/125.93	c (106,0) c AnalysisTime_0 : 5.395115
805.77/125.93	c (106,0) c AnalysisTime_1 : 6.697978
805.77/125.93	c (106,0) c AnalysisTime_2 : 6.109009
805.77/125.93	c (106,0) c AnalysisTime_3 : 5.778030
805.77/125.93	c (106,0) c AnalysisTime_4 : 6.042860
805.77/125.93	c (106,0) c AnalysisTime_5 : 6.745366
805.77/125.93	c (106,0) c AnalysisTime_6 : 6.381847
805.77/125.93	c (106,0) c AnalysisTime_7 : 6.355212
805.77/125.93	c (106,0) c AnalysisTime_total : 49.505418
805.77/125.93	c (106,0) c AnalysisTime_winner : 6.109009
805.77/125.93	c (106,0) c ReductionTime_0 : 0.931309
805.77/125.93	c (106,0) c ReductionTime_1 : 0.955369
805.77/125.93	c (106,0) c ReductionTime_2 : 0.903114
805.77/125.93	c (106,0) c ReductionTime_3 : 0.874267
805.77/125.93	c (106,0) c ReductionTime_4 : 0.576070
805.77/125.93	c (106,0) c ReductionTime_5 : 0.921302
805.77/125.93	c (106,0) c ReductionTime_6 : 0.896180
805.77/125.93	c (106,0) c ReductionTime_7 : 0.695175
805.77/125.93	c (106,0) c ReductionTime_total : 6.752785
805.77/125.93	c (106,0) c ReductionTime_winner : 0.903114
805.77/125.93	c (106,0) c SimplifyTime_0 : 1.331034
805.77/125.93	c (106,0) c SimplifyTime_1 : 1.279300
805.77/125.93	c (106,0) c SimplifyTime_2 : 3.057345
805.77/125.93	c (106,0) c SimplifyTime_3 : 2.230078
805.77/125.93	c (106,0) c SimplifyTime_4 : 2.655021
805.77/125.93	c (106,0) c SimplifyTime_5 : 1.866575
805.77/125.93	c (106,0) c SimplifyTime_6 : 3.937748
805.77/125.93	c (106,0) c SimplifyTime_7 : 1.715635
805.77/125.93	c (106,0) c SimplifyTime_total : 18.072735
805.77/125.93	c (106,0) c SimplifyTime_winner : 3.057345
805.77/125.93	c (106,0) c UsedRateTime_0 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_1 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_2 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_3 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_4 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_5 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_6 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_7 : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_total : 0.000000
805.77/125.93	c (106,0) c UsedRateTime_winner : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_0 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_1 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_2 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_3 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_4 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_5 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_6 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_7 : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_total : 0.000000
805.77/125.93	c (106,0) c OverlapRateTime_winner : 0.000000
805.77/125.93	c (106,0) c
805.77/125.93	c (106,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
805.77/125.93	c (106,0) c
805.77/125.93	c (106,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.93	c (106,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
805.77/125.93	c (106,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.93	c (106,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
805.77/125.93	c (106,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
805.77/125.93	c (106,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
805.77/125.93	c (106,0) c | Initial random_seed   | 1037360519 | 1955062595 | 1503280805 | 1053098348 |  509886543 |  143142746 |   89379814 |  275139570 |
805.77/125.93	c (106,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
805.77/125.93	c (106,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
805.77/125.93	c (106,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
805.77/125.93	c (106,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
805.77/125.93	c (106,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
805.77/125.93	c (106,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
805.77/125.93	c (106,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
805.77/125.93	c (106,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
805.77/125.93	c (106,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
805.77/125.93	c (106,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
805.77/125.93	c (106,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
805.77/125.93	c (106,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
805.77/125.93	c (106,0) 
805.77/125.93	c (106,0) s SATISFIABLE
806.77/126.40	c (107,0) SatSolver.solve End
806.77/126.41	c (107,0) Heap : 316 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
806.77/126.41	c (107,0) Show results Begin
807.23/126.61	c (107,0) cls[0] = 5
807.23/126.61	c (107,0) cls[1] = 20
807.23/126.61	c (107,0) cls[2] = 22
807.23/126.61	c (107,0) cls[3] = 0
807.23/126.61	c (107,0) cls[4] = 23
807.23/126.61	c (107,0) cls[5] = 16
807.23/126.61	c (107,0) cls[6] = 6
807.23/126.61	c (107,0) cls[7] = 16
807.23/126.61	c (107,0) cls[8] = 15
807.23/126.61	c (107,0) cls[9] = 6
807.23/126.61	c (107,0) cls[10] = 2
807.23/126.61	c (107,0) cls[11] = 6
807.23/126.61	c (107,0) cls[12] = 16
807.23/126.61	c (107,0) cls[13] = 5
807.23/126.61	c (107,0) cls[14] = 10
807.23/126.61	c (107,0) cls[15] = 2
807.23/126.61	c (107,0) cls[16] = 10
807.23/126.61	c (107,0) cls[17] = 20
807.23/126.61	c (107,0) cls[18] = 18
807.23/126.61	c (107,0) cls[19] = 13
807.23/126.61	c (107,0) cls[20] = 18
807.23/126.61	c (107,0) cls[21] = 6
807.23/126.61	c (107,0) cls[22] = 0
807.23/126.61	c (107,0) cls[23] = 3
807.23/126.61	c (107,0) cls[24] = 6
807.23/126.61	c (107,0) cls[25] = 0
807.23/126.61	c (107,0) cls[26] = 6
807.23/126.61	c (107,0) cls[27] = 18
807.23/126.61	c (107,0) cls[28] = 2
807.23/126.61	c (107,0) cls[29] = 16
807.23/126.61	c (107,0) cls[30] = 7
807.23/126.61	c (107,0) cls[31] = 5
807.23/126.61	c (107,0) cls[32] = 22
807.23/126.61	c (107,0) cls[33] = 16
807.23/126.61	c (107,0) cls[34] = 2
807.23/126.61	c (107,0) cls[35] = 6
807.23/126.61	c (107,0) cls[36] = 5
807.23/126.61	c (107,0) cls[37] = 3
807.23/126.61	c (107,0) cls[38] = 10
807.23/126.61	c (107,0) cls[39] = 2
807.23/126.61	c (107,0) cls[40] = 0
807.23/126.61	c (107,0) cls[41] = 16
807.23/126.61	c (107,0) cls[42] = 23
807.23/126.61	c (107,0) cls[43] = 0
807.23/126.61	c (107,0) cls[44] = 18
807.23/126.61	c (107,0) cls[45] = 7
807.23/126.61	c (107,0) cls[46] = 16
807.23/126.61	c (107,0) cls[47] = 2
807.23/126.61	c (107,0) cls[48] = 4
807.23/126.61	c (107,0) cls[49] = 16
807.23/126.61	c (107,0) cls[50] = 23
807.23/126.61	c (107,0) cls[51] = 17
807.23/126.61	c (107,0) cls[52] = 16
807.23/126.61	c (107,0) cls[53] = 2
807.23/126.61	c (107,0) cls[54] = 13
807.23/126.61	c (107,0) cls[55] = 2
807.23/126.61	c (107,0) cls[56] = 16
807.23/126.61	c (107,0) cls[57] = 16
807.23/126.61	c (107,0) cls[58] = 6
807.23/126.61	c (107,0) cls[59] = 16
807.23/126.61	c (107,0) cls[60] = 8
807.23/126.61	c (107,0) cls[61] = 20
807.23/126.61	c (107,0) cls[62] = 6
807.23/126.61	c (107,0) cls[63] = 21
807.23/126.61	c (107,0) cls[64] = 16
807.23/126.61	c (107,0) cls[65] = 2
807.23/126.61	c (107,0) cls[66] = 4
807.23/126.61	c (107,0) cls[67] = 16
807.23/126.61	c (107,0) cls[68] = 2
807.23/126.61	c (107,0) cls[69] = 10
807.23/126.61	c (107,0) cls[70] = 1
807.23/126.61	c (107,0) cls[71] = 6
807.23/126.61	c (107,0) cls[72] = 16
807.23/126.61	c (107,0) cls[73] = 5
807.23/126.61	c (107,0) cls[74] = 18
807.23/126.61	c (107,0) cls[75] = 6
807.23/126.61	c (107,0) cls[76] = 16
807.23/126.61	c (107,0) cls[77] = 2
807.23/126.61	c (107,0) cls[78] = 0
807.23/126.61	c (107,0) cls[79] = 10
807.23/126.61	c (107,0) cls[80] = 2
807.23/126.61	c (107,0) cls[81] = 20
807.23/126.61	c (107,0) cls[82] = 6
807.23/126.61	c (107,0) cls[83] = 18
807.23/126.61	c (107,0) cls[84] = 5
807.23/126.61	c (107,0) cls[85] = 2
807.23/126.61	c (107,0) cls[86] = 20
807.23/126.61	c (107,0) cls[87] = 6
807.23/126.61	c (107,0) cls[88] = 18
807.23/126.61	c (107,0) cls[89] = 5
807.23/126.61	c (107,0) cls[90] = 6
807.23/126.61	c (107,0) cls[91] = 16
807.23/126.61	c (107,0) cls[92] = 18
807.23/126.61	c (107,0) cls[93] = 20
807.23/126.61	c (107,0) cls[94] = 0
807.23/126.61	c (107,0) cls[95] = 6
807.23/126.61	c (107,0) cls[96] = 2
807.23/126.61	c (107,0) cls[97] = 21
807.23/126.61	c (107,0) cls[98] = 20
807.23/126.61	c (107,0) cls[99] = 6
807.23/126.61	c (107,0) cls[100] = 5
807.23/126.61	c (107,0) cls[101] = 18
807.23/126.61	c (107,0) cls[102] = 6
807.23/126.61	c (107,0) cls[103] = 5
807.23/126.61	c (107,0) cls[104] = 3
807.23/126.61	c (107,0) cls[105] = 6
807.23/126.61	c (107,0) cls[106] = 2
807.23/126.61	c (107,0) cls[107] = 0
807.23/126.61	c (107,0) cls[108] = 10
807.23/126.61	c (107,0) cls[109] = 2
807.23/126.61	c (107,0) cls[110] = 0
807.23/126.61	c (107,0) cls[111] = 20
807.23/126.61	c (107,0) cls[112] = 10
807.23/126.61	c (107,0) cls[113] = 11
807.23/126.61	c (107,0) cls[114] = 10
807.23/126.61	c (107,0) cls[115] = 2
807.23/126.61	c (107,0) cls[116] = 10
807.23/126.61	c (107,0) cls[117] = 5
807.23/126.61	c (107,0) cls[118] = 20
807.23/126.61	c (107,0) cls[119] = 2
807.23/126.61	c (107,0) cls[120] = 16
807.23/126.61	c (107,0) cls[121] = 6
807.23/126.61	c (107,0) cls[122] = 0
807.23/126.61	c (107,0) cls[123] = 23
807.23/126.61	c (107,0) cls[124] = 16
807.23/126.61	c (107,0) cls[125] = 13
807.23/126.61	c (107,0) cls[126] = 16
807.23/126.61	c (107,0) cls[127] = 2
807.23/126.61	c (107,0) cls[128] = 10
807.23/126.61	c (107,0) cls[129] = 17
807.23/126.61	c (107,0) cls[130] = 2
807.23/126.61	c (107,0) cls[131] = 16
807.23/126.61	c (107,0) cls[132] = 5
807.23/126.61	c (107,0) cls[133] = 16
807.23/126.61	c (107,0) cls[134] = 19
807.23/126.61	c (107,0) cls[135] = 2
807.23/126.61	c (107,0) cls[136] = 10
807.23/126.61	c (107,0) cls[137] = 5
807.23/126.61	c (107,0) cls[138] = 10
807.23/126.61	c (107,0) cls[139] = 2
807.23/126.61	c (107,0) cls[140] = 13
807.23/126.61	c (107,0) cls[141] = 12
807.23/126.61	c (107,0) cls[142] = 2
807.23/126.61	c (107,0) cls[143] = 10
807.23/126.61	c (107,0) cls[144] = 21
807.23/126.61	c (107,0) cls[145] = 6
807.23/126.61	c (107,0) cls[146] = 16
807.23/126.61	c (107,0) cls[147] = 2
807.23/126.61	c (107,0) cls[148] = 9
807.23/126.61	c (107,0) cls[149] = 2
807.23/126.61	c (107,0) cls[150] = 5
807.23/126.61	c (107,0) cls[151] = 10
807.23/126.61	c (107,0) cls[152] = 18
807.23/126.61	c (107,0) cls[153] = 7
807.23/126.61	c (107,0) cls[154] = 18
807.23/126.61	c (107,0) cls[155] = 6
807.23/126.61	c (107,0) cls[156] = 0
807.23/126.61	c (107,0) cls[157] = 23
807.23/126.61	c (107,0) cls[158] = 16
807.23/126.61	c (107,0) cls[159] = 2
807.23/126.61	c (107,0) cls[160] = 0
807.23/126.61	c (107,0) cls[161] = 24
807.23/126.61	c (107,0) cls[162] = 10
807.23/126.61	c (107,0) cls[163] = 2
807.23/126.61	c (107,0) cls[164] = 21
807.23/126.61	c (107,0) cls[165] = 16
807.23/126.61	c (107,0) cls[166] = 7
807.23/126.61	c (107,0) cls[167] = 5
807.23/126.61	c (107,0) cls[168] = 16
807.23/126.61	c (107,0) cls[169] = 10
807.23/126.61	c (107,0) cls[170] = 11
807.23/126.61	c (107,0) cls[171] = 24
807.23/126.61	c (107,0) cls[172] = 22
807.23/126.61	c (107,0) cls[173] = 16
807.23/126.61	c (107,0) cls[174] = 5
807.23/126.61	c (107,0) cls[175] = 16
807.23/126.61	c (107,0) cls[176] = 18
807.23/126.61	c (107,0) cls[177] = 13
807.23/126.61	c (107,0) cls[178] = 2
807.23/126.61	c (107,0) cls[179] = 9
807.23/126.61	c (107,0) cls[180] = 5
807.23/126.61	c (107,0) cls[181] = 10
807.23/126.61	c (107,0) cls[182] = 2
807.23/126.61	c (107,0) cls[183] = 22
807.23/126.61	c (107,0) cls[184] = 12
807.23/126.61	c (107,0) cls[185] = 13
807.23/126.61	c (107,0) cls[186] = 16
807.23/126.61	c (107,0) cls[187] = 2
807.23/126.61	c (107,0) cls[188] = 8
807.23/126.61	c (107,0) cls[189] = 12
807.23/126.61	c (107,0) cls[190] = 10
807.23/126.61	c (107,0) cls[191] = 5
807.23/126.61	c (107,0) cls[192] = 22
807.23/126.61	c (107,0) cls[193] = 2
807.23/126.61	c (107,0) cls[194] = 14
807.23/126.61	c (107,0) cls[195] = 16
807.23/126.61	c (107,0) cls[196] = 10
807.23/126.61	c (107,0) cls[197] = 11
807.23/126.61	c (107,0) cls[198] = 2
807.23/126.61	c (107,0) cls[199] = 9
807.23/126.61	c (107,0) opt[0][0] = 0
807.23/126.61	c (107,0) opt[0][1] = 0
807.23/126.61	c (107,0) opt[0][2] = 1
807.23/126.61	c (107,0) opt[0][3] = 0
807.23/126.61	c (107,0) opt[0][4] = 0
807.23/126.61	c (107,0) opt[1][0] = 0
807.23/126.61	c (107,0) opt[1][1] = 0
807.23/126.61	c (107,0) opt[1][2] = 0
807.23/126.61	c (107,0) opt[1][3] = 0
807.23/126.61	c (107,0) opt[1][4] = 1
807.23/126.61	c (107,0) opt[2][0] = 1
807.23/126.61	c (107,0) opt[2][1] = 1
807.23/126.61	c (107,0) opt[2][2] = 0
807.23/126.61	c (107,0) opt[2][3] = 1
807.23/126.61	c (107,0) opt[2][4] = 0
807.23/126.61	c (107,0) opt[3][0] = 0
807.23/126.61	c (107,0) opt[3][1] = 1
807.23/126.61	c (107,0) opt[3][2] = 1
807.23/126.61	c (107,0) opt[3][3] = 0
807.23/126.61	c (107,0) opt[3][4] = 0
807.23/126.61	c (107,0) opt[4][0] = 1
807.23/126.61	c (107,0) opt[4][1] = 0
807.23/126.61	c (107,0) opt[4][2] = 0
807.23/126.61	c (107,0) opt[4][3] = 1
807.23/126.61	c (107,0) opt[4][4] = 0
807.23/126.61	c (107,0) opt[5][0] = 0
807.23/126.61	c (107,0) opt[5][1] = 1
807.23/126.61	c (107,0) opt[5][2] = 0
807.23/126.61	c (107,0) opt[5][3] = 0
807.23/126.61	c (107,0) opt[5][4] = 0
807.23/126.61	c (107,0) opt[6][0] = 1
807.23/126.61	c (107,0) opt[6][1] = 0
807.23/126.61	c (107,0) opt[6][2] = 0
807.23/126.61	c (107,0) opt[6][3] = 0
807.23/126.61	c (107,0) opt[6][4] = 0
807.23/126.61	c (107,0) opt[7][0] = 0
807.23/126.61	c (107,0) opt[7][1] = 1
807.23/126.61	c (107,0) opt[7][2] = 0
807.23/126.61	c (107,0) opt[7][3] = 0
807.23/126.61	c (107,0) opt[7][4] = 0
807.23/126.61	c (107,0) opt[8][0] = 0
807.23/126.61	c (107,0) opt[8][1] = 1
807.23/126.61	c (107,0) opt[8][2] = 1
807.23/126.61	c (107,0) opt[8][3] = 1
807.23/126.61	c (107,0) opt[8][4] = 1
807.23/126.61	c (107,0) opt[9][0] = 1
807.23/126.61	c (107,0) opt[9][1] = 0
807.23/126.61	c (107,0) opt[9][2] = 0
807.23/126.61	c (107,0) opt[9][3] = 0
807.23/126.61	c (107,0) opt[9][4] = 0
807.23/126.61	c (107,0) opt[10][0] = 0
807.23/126.61	c (107,0) opt[10][1] = 0
807.23/126.61	c (107,0) opt[10][2] = 0
807.23/126.61	c (107,0) opt[10][3] = 1
807.23/126.61	c (107,0) opt[10][4] = 0
807.23/126.61	c (107,0) opt[11][0] = 1
807.23/126.61	c (107,0) opt[11][1] = 0
807.23/126.61	c (107,0) opt[11][2] = 0
807.23/126.61	c (107,0) opt[11][3] = 0
807.23/126.61	c (107,0) opt[11][4] = 0
807.23/126.61	c (107,0) opt[12][0] = 0
807.23/126.61	c (107,0) opt[12][1] = 1
807.23/126.61	c (107,0) opt[12][2] = 0
807.23/126.61	c (107,0) opt[12][3] = 0
807.23/126.61	c (107,0) opt[12][4] = 0
807.23/126.61	c (107,0) opt[13][0] = 0
807.23/126.61	c (107,0) opt[13][1] = 0
807.23/126.61	c (107,0) opt[13][2] = 1
807.23/126.61	c (107,0) opt[13][3] = 0
807.23/126.61	c (107,0) opt[13][4] = 0
807.23/126.61	c (107,0) opt[14][0] = 1
807.23/126.61	c (107,0) opt[14][1] = 1
807.23/126.61	c (107,0) opt[14][2] = 0
807.23/126.61	c (107,0) opt[14][3] = 0
807.23/126.61	c (107,0) opt[14][4] = 0
807.23/126.61	c (107,0) opt[15][0] = 0
807.23/126.61	c (107,0) opt[15][1] = 0
807.23/126.61	c (107,0) opt[15][2] = 0
807.23/126.61	c (107,0) opt[15][3] = 1
807.23/126.61	c (107,0) opt[15][4] = 0
807.23/126.61	c (107,0) opt[16][0] = 1
807.23/126.61	c (107,0) opt[16][1] = 1
807.23/126.61	c (107,0) opt[16][2] = 0
807.23/126.61	c (107,0) opt[16][3] = 0
807.23/126.61	c (107,0) opt[16][4] = 0
807.23/126.61	c (107,0) opt[17][0] = 0
807.23/126.61	c (107,0) opt[17][1] = 0
807.23/126.61	c (107,0) opt[17][2] = 0
807.23/126.61	c (107,0) opt[17][3] = 0
807.23/126.61	c (107,0) opt[17][4] = 1
807.23/126.61	c (107,0) opt[18][0] = 0
807.23/126.61	c (107,0) opt[18][1] = 1
807.23/126.61	c (107,0) opt[18][2] = 0
807.23/126.61	c (107,0) opt[18][3] = 1
807.23/126.61	c (107,0) opt[18][4] = 0
807.23/126.61	c (107,0) opt[19][0] = 1
807.23/126.61	c (107,0) opt[19][1] = 0
807.23/126.61	c (107,0) opt[19][2] = 1
807.23/126.61	c (107,0) opt[19][3] = 0
807.23/126.61	c (107,0) opt[19][4] = 0
807.23/126.61	c (107,0) opt[20][0] = 0
807.23/126.61	c (107,0) opt[20][1] = 1
807.23/126.61	c (107,0) opt[20][2] = 0
807.23/126.61	c (107,0) opt[20][3] = 1
807.23/126.61	c (107,0) opt[20][4] = 0
807.23/126.61	c (107,0) opt[21][0] = 1
807.23/126.61	c (107,0) opt[21][1] = 0
807.23/126.61	c (107,0) opt[21][2] = 0
807.23/126.61	c (107,0) opt[21][3] = 0
807.23/126.61	c (107,0) opt[21][4] = 0
807.23/126.61	c (107,0) opt[22][0] = 0
807.23/126.61	c (107,0) opt[22][1] = 1
807.23/126.61	c (107,0) opt[22][2] = 1
807.23/126.61	c (107,0) opt[22][3] = 0
807.23/126.61	c (107,0) opt[22][4] = 0
807.23/126.61	c (107,0) opt[23][0] = 0
807.23/126.61	c (107,0) opt[23][1] = 1
807.23/126.61	c (107,0) opt[23][2] = 0
807.23/126.61	c (107,0) opt[23][3] = 1
807.23/126.61	c (107,0) opt[23][4] = 1
807.23/126.61	c (107,0) opt[24][0] = 1
807.23/126.61	c (107,0) opt[24][1] = 0
807.23/126.61	c (107,0) opt[24][2] = 0
807.23/126.61	c (107,0) opt[24][3] = 0
807.23/126.61	c (107,0) opt[24][4] = 0
807.23/126.61	c (107,0) opt[25][0] = 0
807.23/126.61	c (107,0) opt[25][1] = 1
807.23/126.61	c (107,0) opt[25][2] = 1
807.23/126.61	c (107,0) opt[25][3] = 0
807.23/126.61	c (107,0) opt[25][4] = 0
807.23/126.61	c (107,0) opt[26][0] = 1
807.23/126.61	c (107,0) opt[26][1] = 0
807.23/126.61	c (107,0) opt[26][2] = 0
807.23/126.61	c (107,0) opt[26][3] = 0
807.23/126.61	c (107,0) opt[26][4] = 0
807.23/126.61	c (107,0) opt[27][0] = 0
807.23/126.61	c (107,0) opt[27][1] = 1
807.23/126.61	c (107,0) opt[27][2] = 0
807.23/126.61	c (107,0) opt[27][3] = 1
807.23/126.61	c (107,0) opt[27][4] = 0
807.23/126.61	c (107,0) opt[28][0] = 0
807.23/126.61	c (107,0) opt[28][1] = 0
807.23/126.61	c (107,0) opt[28][2] = 0
807.23/126.61	c (107,0) opt[28][3] = 1
807.23/126.61	c (107,0) opt[28][4] = 0
807.23/126.61	c (107,0) opt[29][0] = 0
807.23/126.61	c (107,0) opt[29][1] = 1
807.23/126.61	c (107,0) opt[29][2] = 0
807.23/126.61	c (107,0) opt[29][3] = 0
807.23/126.61	c (107,0) opt[29][4] = 0
807.23/126.61	c (107,0) opt[30][0] = 1
807.23/126.61	c (107,0) opt[30][1] = 0
807.23/126.61	c (107,0) opt[30][2] = 0
807.23/126.61	c (107,0) opt[30][3] = 0
807.23/126.61	c (107,0) opt[30][4] = 1
807.23/126.61	c (107,0) opt[31][0] = 0
807.23/126.61	c (107,0) opt[31][1] = 0
807.23/126.61	c (107,0) opt[31][2] = 1
807.23/126.61	c (107,0) opt[31][3] = 0
807.23/126.61	c (107,0) opt[31][4] = 0
807.23/126.61	c (107,0) opt[32][0] = 1
807.23/126.61	c (107,0) opt[32][1] = 1
807.23/126.61	c (107,0) opt[32][2] = 0
807.23/126.61	c (107,0) opt[32][3] = 1
807.23/126.61	c (107,0) opt[32][4] = 0
807.23/126.61	c (107,0) opt[33][0] = 0
807.23/126.61	c (107,0) opt[33][1] = 1
807.23/126.61	c (107,0) opt[33][2] = 0
807.23/126.61	c (107,0) opt[33][3] = 0
807.23/126.61	c (107,0) opt[33][4] = 0
807.23/126.61	c (107,0) opt[34][0] = 0
807.23/126.61	c (107,0) opt[34][1] = 0
807.23/126.61	c (107,0) opt[34][2] = 0
807.23/126.61	c (107,0) opt[34][3] = 1
807.23/126.61	c (107,0) opt[34][4] = 0
807.23/126.61	c (107,0) opt[35][0] = 1
807.23/126.61	c (107,0) opt[35][1] = 0
807.23/126.61	c (107,0) opt[35][2] = 0
807.23/126.61	c (107,0) opt[35][3] = 0
807.23/126.61	c (107,0) opt[35][4] = 0
807.23/126.61	c (107,0) opt[36][0] = 0
807.23/126.61	c (107,0) opt[36][1] = 0
807.23/126.61	c (107,0) opt[36][2] = 1
807.23/126.61	c (107,0) opt[36][3] = 0
807.23/126.61	c (107,0) opt[36][4] = 0
807.23/126.61	c (107,0) opt[37][0] = 0
807.23/126.61	c (107,0) opt[37][1] = 1
807.23/126.61	c (107,0) opt[37][2] = 0
807.23/126.61	c (107,0) opt[37][3] = 1
807.23/126.61	c (107,0) opt[37][4] = 1
807.23/126.61	c (107,0) opt[38][0] = 1
807.23/126.61	c (107,0) opt[38][1] = 1
807.23/126.61	c (107,0) opt[38][2] = 0
807.23/126.61	c (107,0) opt[38][3] = 0
807.23/126.61	c (107,0) opt[38][4] = 0
807.23/126.61	c (107,0) opt[39][0] = 0
807.23/126.61	c (107,0) opt[39][1] = 0
807.23/126.61	c (107,0) opt[39][2] = 0
807.23/126.61	c (107,0) opt[39][3] = 1
807.23/126.61	c (107,0) opt[39][4] = 0
807.23/126.61	c (107,0) opt[40][0] = 0
807.23/126.61	c (107,0) opt[40][1] = 1
807.23/126.61	c (107,0) opt[40][2] = 1
807.23/126.61	c (107,0) opt[40][3] = 0
807.23/126.61	c (107,0) opt[40][4] = 0
807.23/126.61	c (107,0) opt[41][0] = 0
807.23/126.61	c (107,0) opt[41][1] = 1
807.23/126.61	c (107,0) opt[41][2] = 0
807.23/126.61	c (107,0) opt[41][3] = 0
807.23/126.61	c (107,0) opt[41][4] = 0
807.23/126.61	c (107,0) opt[42][0] = 1
807.23/126.61	c (107,0) opt[42][1] = 0
807.23/126.61	c (107,0) opt[42][2] = 0
807.23/126.61	c (107,0) opt[42][3] = 1
807.23/126.61	c (107,0) opt[42][4] = 0
807.23/126.61	c (107,0) opt[43][0] = 0
807.23/126.61	c (107,0) opt[43][1] = 1
807.23/126.61	c (107,0) opt[43][2] = 1
807.23/126.61	c (107,0) opt[43][3] = 0
807.23/126.61	c (107,0) opt[43][4] = 0
807.23/126.61	c (107,0) opt[44][0] = 0
807.23/126.61	c (107,0) opt[44][1] = 1
807.23/126.61	c (107,0) opt[44][2] = 0
807.23/126.61	c (107,0) opt[44][3] = 1
807.23/126.61	c (107,0) opt[44][4] = 0
807.23/126.61	c (107,0) opt[45][0] = 1
807.23/126.61	c (107,0) opt[45][1] = 0
807.23/126.61	c (107,0) opt[45][2] = 0
807.23/126.61	c (107,0) opt[45][3] = 0
807.23/126.61	c (107,0) opt[45][4] = 1
807.23/126.61	c (107,0) opt[46][0] = 0
807.23/126.61	c (107,0) opt[46][1] = 1
807.23/126.61	c (107,0) opt[46][2] = 0
807.23/126.61	c (107,0) opt[46][3] = 0
807.23/126.61	c (107,0) opt[46][4] = 0
807.23/126.61	c (107,0) opt[47][0] = 0
807.23/126.61	c (107,0) opt[47][1] = 0
807.23/126.61	c (107,0) opt[47][2] = 0
807.23/126.61	c (107,0) opt[47][3] = 1
807.23/126.61	c (107,0) opt[47][4] = 0
807.23/126.61	c (107,0) opt[48][0] = 1
807.23/126.61	c (107,0) opt[48][1] = 1
807.23/126.61	c (107,0) opt[48][2] = 1
807.23/126.61	c (107,0) opt[48][3] = 0
807.23/126.61	c (107,0) opt[48][4] = 0
807.23/126.61	c (107,0) opt[49][0] = 0
807.23/126.61	c (107,0) opt[49][1] = 1
807.23/126.61	c (107,0) opt[49][2] = 0
807.23/126.61	c (107,0) opt[49][3] = 0
807.23/126.61	c (107,0) opt[49][4] = 0
807.23/126.61	c (107,0) opt[50][0] = 1
807.23/126.61	c (107,0) opt[50][1] = 0
807.23/126.61	c (107,0) opt[50][2] = 0
807.23/126.61	c (107,0) opt[50][3] = 1
807.23/126.61	c (107,0) opt[50][4] = 0
807.23/126.61	c (107,0) opt[51][0] = 0
807.23/126.61	c (107,0) opt[51][1] = 0
807.23/126.61	c (107,0) opt[51][2] = 1
807.23/126.61	c (107,0) opt[51][3] = 0
807.23/126.61	c (107,0) opt[51][4] = 1
807.23/126.61	c (107,0) opt[52][0] = 0
807.23/126.61	c (107,0) opt[52][1] = 1
807.23/126.61	c (107,0) opt[52][2] = 0
807.23/126.61	c (107,0) opt[52][3] = 0
807.23/126.61	c (107,0) opt[52][4] = 0
807.23/126.61	c (107,0) opt[53][0] = 0
807.23/126.61	c (107,0) opt[53][1] = 0
807.23/126.61	c (107,0) opt[53][2] = 0
807.23/126.61	c (107,0) opt[53][3] = 1
807.23/126.61	c (107,0) opt[53][4] = 0
807.23/126.61	c (107,0) opt[54][0] = 1
807.23/126.61	c (107,0) opt[54][1] = 0
807.23/126.61	c (107,0) opt[54][2] = 1
807.23/126.61	c (107,0) opt[54][3] = 0
807.23/126.61	c (107,0) opt[54][4] = 0
807.23/126.61	c (107,0) opt[55][0] = 0
807.23/126.61	c (107,0) opt[55][1] = 0
807.23/126.61	c (107,0) opt[55][2] = 0
807.23/126.61	c (107,0) opt[55][3] = 1
807.23/126.61	c (107,0) opt[55][4] = 0
807.23/126.61	c (107,0) opt[56][0] = 0
807.23/126.61	c (107,0) opt[56][1] = 1
807.23/126.61	c (107,0) opt[56][2] = 0
807.23/126.61	c (107,0) opt[56][3] = 0
807.23/126.61	c (107,0) opt[56][4] = 0
807.23/126.61	c (107,0) opt[57][0] = 0
807.23/126.61	c (107,0) opt[57][1] = 1
807.23/126.61	c (107,0) opt[57][2] = 0
807.23/126.61	c (107,0) opt[57][3] = 0
807.23/126.61	c (107,0) opt[57][4] = 0
807.23/126.61	c (107,0) opt[58][0] = 1
807.23/126.61	c (107,0) opt[58][1] = 0
807.23/126.61	c (107,0) opt[58][2] = 0
807.23/126.61	c (107,0) opt[58][3] = 0
807.23/126.61	c (107,0) opt[58][4] = 0
807.23/126.61	c (107,0) opt[59][0] = 0
807.23/126.61	c (107,0) opt[59][1] = 1
807.23/126.61	c (107,0) opt[59][2] = 0
807.23/126.61	c (107,0) opt[59][3] = 0
807.23/126.61	c (107,0) opt[59][4] = 0
807.23/126.61	c (107,0) opt[60][0] = 1
807.23/126.61	c (107,0) opt[60][1] = 0
807.23/126.61	c (107,0) opt[60][2] = 1
807.23/126.61	c (107,0) opt[60][3] = 1
807.23/126.61	c (107,0) opt[60][4] = 0
807.23/126.61	c (107,0) opt[61][0] = 0
807.23/126.61	c (107,0) opt[61][1] = 0
807.23/126.61	c (107,0) opt[61][2] = 0
807.23/126.61	c (107,0) opt[61][3] = 0
807.23/126.61	c (107,0) opt[61][4] = 1
807.23/126.61	c (107,0) opt[62][0] = 1
807.23/126.61	c (107,0) opt[62][1] = 0
807.23/126.61	c (107,0) opt[62][2] = 0
807.23/126.61	c (107,0) opt[62][3] = 0
807.23/126.61	c (107,0) opt[62][4] = 0
807.23/126.61	c (107,0) opt[63][0] = 0
807.23/126.61	c (107,0) opt[63][1] = 1
807.23/126.61	c (107,0) opt[63][2] = 1
807.23/126.61	c (107,0) opt[63][3] = 1
807.23/126.61	c (107,0) opt[63][4] = 0
807.23/126.61	c (107,0) opt[64][0] = 0
807.23/126.61	c (107,0) opt[64][1] = 1
807.23/126.61	c (107,0) opt[64][2] = 0
807.23/126.61	c (107,0) opt[64][3] = 0
807.23/126.61	c (107,0) opt[64][4] = 0
807.23/126.61	c (107,0) opt[65][0] = 0
807.23/126.61	c (107,0) opt[65][1] = 0
807.23/126.61	c (107,0) opt[65][2] = 0
807.23/126.61	c (107,0) opt[65][3] = 1
807.23/126.61	c (107,0) opt[65][4] = 0
807.23/126.61	c (107,0) opt[66][0] = 1
807.23/126.61	c (107,0) opt[66][1] = 1
807.23/126.61	c (107,0) opt[66][2] = 1
807.23/126.61	c (107,0) opt[66][3] = 0
807.23/126.61	c (107,0) opt[66][4] = 0
807.23/126.61	c (107,0) opt[67][0] = 0
807.23/126.61	c (107,0) opt[67][1] = 1
807.23/126.61	c (107,0) opt[67][2] = 0
807.23/126.61	c (107,0) opt[67][3] = 0
807.23/126.61	c (107,0) opt[67][4] = 0
807.23/126.61	c (107,0) opt[68][0] = 0
807.23/126.61	c (107,0) opt[68][1] = 0
807.23/126.61	c (107,0) opt[68][2] = 0
807.23/126.61	c (107,0) opt[68][3] = 1
807.23/126.61	c (107,0) opt[68][4] = 0
807.23/126.61	c (107,0) opt[69][0] = 1
807.23/126.61	c (107,0) opt[69][1] = 1
807.23/126.61	c (107,0) opt[69][2] = 0
807.23/126.61	c (107,0) opt[69][3] = 0
807.23/126.61	c (107,0) opt[69][4] = 0
807.23/126.61	c (107,0) opt[70][0] = 0
807.23/126.61	c (107,0) opt[70][1] = 0
807.23/126.61	c (107,0) opt[70][2] = 1
807.23/126.61	c (107,0) opt[70][3] = 1
807.23/126.61	c (107,0) opt[70][4] = 1
807.23/126.61	c (107,0) opt[71][0] = 1
807.23/126.61	c (107,0) opt[71][1] = 0
807.23/126.61	c (107,0) opt[71][2] = 0
807.23/126.61	c (107,0) opt[71][3] = 0
807.23/126.61	c (107,0) opt[71][4] = 0
807.23/126.61	c (107,0) opt[72][0] = 0
807.23/126.61	c (107,0) opt[72][1] = 1
807.23/126.61	c (107,0) opt[72][2] = 0
807.23/126.61	c (107,0) opt[72][3] = 0
807.23/126.61	c (107,0) opt[72][4] = 0
807.23/126.61	c (107,0) opt[73][0] = 0
807.23/126.61	c (107,0) opt[73][1] = 0
807.23/126.61	c (107,0) opt[73][2] = 1
807.23/126.61	c (107,0) opt[73][3] = 0
807.23/126.61	c (107,0) opt[73][4] = 0
807.23/126.61	c (107,0) opt[74][0] = 0
807.23/126.61	c (107,0) opt[74][1] = 1
807.23/126.61	c (107,0) opt[74][2] = 0
807.23/126.61	c (107,0) opt[74][3] = 1
807.23/126.61	c (107,0) opt[74][4] = 0
807.23/126.61	c (107,0) opt[75][0] = 1
807.23/126.61	c (107,0) opt[75][1] = 0
807.23/126.61	c (107,0) opt[75][2] = 0
807.23/126.61	c (107,0) opt[75][3] = 0
807.23/126.61	c (107,0) opt[75][4] = 0
807.23/126.61	c (107,0) opt[76][0] = 0
807.23/126.61	c (107,0) opt[76][1] = 1
807.23/126.61	c (107,0) opt[76][2] = 0
807.23/126.61	c (107,0) opt[76][3] = 0
807.23/126.61	c (107,0) opt[76][4] = 0
807.23/126.61	c (107,0) opt[77][0] = 0
807.23/126.61	c (107,0) opt[77][1] = 0
807.23/126.61	c (107,0) opt[77][2] = 0
807.23/126.61	c (107,0) opt[77][3] = 1
807.23/126.61	c (107,0) opt[77][4] = 0
807.23/126.61	c (107,0) opt[78][0] = 0
807.23/126.61	c (107,0) opt[78][1] = 1
807.23/126.61	c (107,0) opt[78][2] = 1
807.23/126.61	c (107,0) opt[78][3] = 0
807.23/126.61	c (107,0) opt[78][4] = 0
807.23/126.61	c (107,0) opt[79][0] = 1
807.23/126.61	c (107,0) opt[79][1] = 1
807.23/126.61	c (107,0) opt[79][2] = 0
807.23/126.61	c (107,0) opt[79][3] = 0
807.23/126.61	c (107,0) opt[79][4] = 0
807.23/126.61	c (107,0) opt[80][0] = 0
807.23/126.61	c (107,0) opt[80][1] = 0
807.23/126.61	c (107,0) opt[80][2] = 0
807.23/126.61	c (107,0) opt[80][3] = 1
807.23/126.61	c (107,0) opt[80][4] = 0
807.23/126.61	c (107,0) opt[81][0] = 0
807.23/126.61	c (107,0) opt[81][1] = 0
807.23/126.61	c (107,0) opt[81][2] = 0
807.23/126.61	c (107,0) opt[81][3] = 0
807.23/126.61	c (107,0) opt[81][4] = 1
807.23/126.61	c (107,0) opt[82][0] = 1
807.23/126.61	c (107,0) opt[82][1] = 0
807.23/126.61	c (107,0) opt[82][2] = 0
807.23/126.61	c (107,0) opt[82][3] = 0
807.23/126.61	c (107,0) opt[82][4] = 0
807.23/126.61	c (107,0) opt[83][0] = 0
807.23/126.61	c (107,0) opt[83][1] = 1
807.23/126.61	c (107,0) opt[83][2] = 0
807.23/126.61	c (107,0) opt[83][3] = 1
807.23/126.61	c (107,0) opt[83][4] = 0
807.23/126.61	c (107,0) opt[84][0] = 0
807.23/126.61	c (107,0) opt[84][1] = 0
807.23/126.61	c (107,0) opt[84][2] = 1
807.23/126.61	c (107,0) opt[84][3] = 0
807.23/126.61	c (107,0) opt[84][4] = 0
807.23/126.61	c (107,0) opt[85][0] = 0
807.23/126.61	c (107,0) opt[85][1] = 0
807.23/126.61	c (107,0) opt[85][2] = 0
807.23/126.61	c (107,0) opt[85][3] = 1
807.23/126.61	c (107,0) opt[85][4] = 0
807.23/126.61	c (107,0) opt[86][0] = 0
807.23/126.61	c (107,0) opt[86][1] = 0
807.23/126.61	c (107,0) opt[86][2] = 0
807.23/126.61	c (107,0) opt[86][3] = 0
807.23/126.61	c (107,0) opt[86][4] = 1
807.23/126.61	c (107,0) opt[87][0] = 1
807.23/126.61	c (107,0) opt[87][1] = 0
807.23/126.61	c (107,0) opt[87][2] = 0
807.23/126.61	c (107,0) opt[87][3] = 0
807.23/126.61	c (107,0) opt[87][4] = 0
807.23/126.61	c (107,0) opt[88][0] = 0
807.23/126.61	c (107,0) opt[88][1] = 1
807.23/126.61	c (107,0) opt[88][2] = 0
807.23/126.61	c (107,0) opt[88][3] = 1
807.23/126.61	c (107,0) opt[88][4] = 0
807.23/126.61	c (107,0) opt[89][0] = 0
807.23/126.61	c (107,0) opt[89][1] = 0
807.23/126.61	c (107,0) opt[89][2] = 1
807.23/126.61	c (107,0) opt[89][3] = 0
807.23/126.61	c (107,0) opt[89][4] = 0
807.23/126.61	c (107,0) opt[90][0] = 1
807.23/126.61	c (107,0) opt[90][1] = 0
807.23/126.61	c (107,0) opt[90][2] = 0
807.23/126.61	c (107,0) opt[90][3] = 0
807.23/126.61	c (107,0) opt[90][4] = 0
807.23/126.61	c (107,0) opt[91][0] = 0
807.23/126.61	c (107,0) opt[91][1] = 1
807.23/126.61	c (107,0) opt[91][2] = 0
807.23/126.61	c (107,0) opt[91][3] = 0
807.23/126.61	c (107,0) opt[91][4] = 0
807.23/126.61	c (107,0) opt[92][0] = 0
807.23/126.61	c (107,0) opt[92][1] = 1
807.23/126.61	c (107,0) opt[92][2] = 0
807.23/126.61	c (107,0) opt[92][3] = 1
807.23/126.61	c (107,0) opt[92][4] = 0
807.23/126.61	c (107,0) opt[93][0] = 0
807.23/126.61	c (107,0) opt[93][1] = 0
807.23/126.61	c (107,0) opt[93][2] = 0
807.23/126.61	c (107,0) opt[93][3] = 0
807.23/126.61	c (107,0) opt[93][4] = 1
807.23/126.61	c (107,0) opt[94][0] = 0
807.23/126.61	c (107,0) opt[94][1] = 1
807.23/126.61	c (107,0) opt[94][2] = 1
807.23/126.61	c (107,0) opt[94][3] = 0
807.23/126.61	c (107,0) opt[94][4] = 0
807.23/126.61	c (107,0) opt[95][0] = 1
807.23/126.61	c (107,0) opt[95][1] = 0
807.23/126.61	c (107,0) opt[95][2] = 0
807.23/126.61	c (107,0) opt[95][3] = 0
807.23/126.61	c (107,0) opt[95][4] = 0
807.23/126.61	c (107,0) opt[96][0] = 0
807.23/126.61	c (107,0) opt[96][1] = 0
807.23/126.61	c (107,0) opt[96][2] = 0
807.23/126.61	c (107,0) opt[96][3] = 1
807.23/126.61	c (107,0) opt[96][4] = 0
807.23/126.61	c (107,0) opt[97][0] = 0
807.23/126.61	c (107,0) opt[97][1] = 1
807.23/126.61	c (107,0) opt[97][2] = 1
807.23/126.61	c (107,0) opt[97][3] = 1
807.23/126.61	c (107,0) opt[97][4] = 0
807.23/126.61	c (107,0) opt[98][0] = 0
807.23/126.61	c (107,0) opt[98][1] = 0
807.23/126.61	c (107,0) opt[98][2] = 0
807.23/126.61	c (107,0) opt[98][3] = 0
807.23/126.61	c (107,0) opt[98][4] = 1
807.23/126.61	c (107,0) opt[99][0] = 1
807.23/126.61	c (107,0) opt[99][1] = 0
807.23/126.61	c (107,0) opt[99][2] = 0
807.23/126.61	c (107,0) opt[99][3] = 0
807.23/126.61	c (107,0) opt[99][4] = 0
807.23/126.61	c (107,0) opt[100][0] = 0
807.23/126.61	c (107,0) opt[100][1] = 0
807.23/126.61	c (107,0) opt[100][2] = 1
807.23/126.61	c (107,0) opt[100][3] = 0
807.23/126.61	c (107,0) opt[100][4] = 0
807.23/126.61	c (107,0) opt[101][0] = 0
807.23/126.61	c (107,0) opt[101][1] = 1
807.23/126.61	c (107,0) opt[101][2] = 0
807.23/126.61	c (107,0) opt[101][3] = 1
807.23/126.61	c (107,0) opt[101][4] = 0
807.23/126.61	c (107,0) opt[102][0] = 1
807.23/126.61	c (107,0) opt[102][1] = 0
807.23/126.61	c (107,0) opt[102][2] = 0
807.23/126.61	c (107,0) opt[102][3] = 0
807.23/126.61	c (107,0) opt[102][4] = 0
807.23/126.61	c (107,0) opt[103][0] = 0
807.23/126.61	c (107,0) opt[103][1] = 0
807.23/126.61	c (107,0) opt[103][2] = 1
807.23/126.61	c (107,0) opt[103][3] = 0
807.23/126.61	c (107,0) opt[103][4] = 0
807.23/126.61	c (107,0) opt[104][0] = 0
807.23/126.61	c (107,0) opt[104][1] = 1
807.23/126.61	c (107,0) opt[104][2] = 0
807.23/126.61	c (107,0) opt[104][3] = 1
807.23/126.61	c (107,0) opt[104][4] = 1
807.23/126.61	c (107,0) opt[105][0] = 1
807.23/126.61	c (107,0) opt[105][1] = 0
807.23/126.61	c (107,0) opt[105][2] = 0
807.23/126.61	c (107,0) opt[105][3] = 0
807.23/126.61	c (107,0) opt[105][4] = 0
807.23/126.61	c (107,0) opt[106][0] = 0
807.23/126.61	c (107,0) opt[106][1] = 0
807.23/126.61	c (107,0) opt[106][2] = 0
807.23/126.61	c (107,0) opt[106][3] = 1
807.23/126.61	c (107,0) opt[106][4] = 0
807.23/126.61	c (107,0) opt[107][0] = 0
807.23/126.61	c (107,0) opt[107][1] = 1
807.23/126.61	c (107,0) opt[107][2] = 1
807.23/126.61	c (107,0) opt[107][3] = 0
807.23/126.61	c (107,0) opt[107][4] = 0
807.23/126.61	c (107,0) opt[108][0] = 1
807.23/126.61	c (107,0) opt[108][1] = 1
807.23/126.61	c (107,0) opt[108][2] = 0
807.23/126.61	c (107,0) opt[108][3] = 0
807.23/126.61	c (107,0) opt[108][4] = 0
807.23/126.61	c (107,0) opt[109][0] = 0
807.23/126.61	c (107,0) opt[109][1] = 0
807.23/126.61	c (107,0) opt[109][2] = 0
807.23/126.61	c (107,0) opt[109][3] = 1
807.23/126.61	c (107,0) opt[109][4] = 0
807.23/126.61	c (107,0) opt[110][0] = 0
807.23/126.61	c (107,0) opt[110][1] = 1
807.23/126.61	c (107,0) opt[110][2] = 1
807.23/126.61	c (107,0) opt[110][3] = 0
807.23/126.61	c (107,0) opt[110][4] = 0
807.23/126.61	c (107,0) opt[111][0] = 0
807.23/126.61	c (107,0) opt[111][1] = 0
807.23/126.61	c (107,0) opt[111][2] = 0
807.23/126.61	c (107,0) opt[111][3] = 0
807.23/126.61	c (107,0) opt[111][4] = 1
807.23/126.61	c (107,0) opt[112][0] = 1
807.23/126.61	c (107,0) opt[112][1] = 1
807.23/126.61	c (107,0) opt[112][2] = 0
807.23/126.61	c (107,0) opt[112][3] = 0
807.23/126.61	c (107,0) opt[112][4] = 0
807.23/126.61	c (107,0) opt[113][0] = 0
807.23/126.61	c (107,0) opt[113][1] = 0
807.23/126.61	c (107,0) opt[113][2] = 1
807.23/126.61	c (107,0) opt[113][3] = 1
807.23/126.61	c (107,0) opt[113][4] = 0
807.23/126.61	c (107,0) opt[114][0] = 1
807.23/126.61	c (107,0) opt[114][1] = 1
807.23/126.61	c (107,0) opt[114][2] = 0
807.23/126.61	c (107,0) opt[114][3] = 0
807.23/126.61	c (107,0) opt[114][4] = 0
807.23/126.61	c (107,0) opt[115][0] = 0
807.23/126.61	c (107,0) opt[115][1] = 0
807.23/126.61	c (107,0) opt[115][2] = 0
807.23/126.61	c (107,0) opt[115][3] = 1
807.23/126.61	c (107,0) opt[115][4] = 0
807.23/126.61	c (107,0) opt[116][0] = 1
807.23/126.61	c (107,0) opt[116][1] = 1
807.23/126.61	c (107,0) opt[116][2] = 0
807.23/126.61	c (107,0) opt[116][3] = 0
807.23/126.61	c (107,0) opt[116][4] = 0
807.23/126.61	c (107,0) opt[117][0] = 0
807.23/126.61	c (107,0) opt[117][1] = 0
807.23/126.61	c (107,0) opt[117][2] = 1
807.23/126.61	c (107,0) opt[117][3] = 0
807.23/126.61	c (107,0) opt[117][4] = 0
807.23/126.61	c (107,0) opt[118][0] = 0
807.23/126.61	c (107,0) opt[118][1] = 0
807.23/126.61	c (107,0) opt[118][2] = 0
807.23/126.61	c (107,0) opt[118][3] = 0
807.23/126.61	c (107,0) opt[118][4] = 1
807.23/126.61	c (107,0) opt[119][0] = 0
807.23/126.61	c (107,0) opt[119][1] = 0
807.23/126.61	c (107,0) opt[119][2] = 0
807.23/126.61	c (107,0) opt[119][3] = 1
807.23/126.61	c (107,0) opt[119][4] = 0
807.23/126.61	c (107,0) opt[120][0] = 0
807.23/126.61	c (107,0) opt[120][1] = 1
807.23/126.61	c (107,0) opt[120][2] = 0
807.23/126.61	c (107,0) opt[120][3] = 0
807.23/126.61	c (107,0) opt[120][4] = 0
807.23/126.61	c (107,0) opt[121][0] = 1
807.23/126.61	c (107,0) opt[121][1] = 0
807.23/126.61	c (107,0) opt[121][2] = 0
807.23/126.61	c (107,0) opt[121][3] = 0
807.23/126.61	c (107,0) opt[121][4] = 0
807.23/126.61	c (107,0) opt[122][0] = 0
807.23/126.61	c (107,0) opt[122][1] = 1
807.23/126.61	c (107,0) opt[122][2] = 1
807.23/126.61	c (107,0) opt[122][3] = 0
807.23/126.61	c (107,0) opt[122][4] = 0
807.23/126.61	c (107,0) opt[123][0] = 1
807.23/126.61	c (107,0) opt[123][1] = 0
807.23/126.61	c (107,0) opt[123][2] = 0
807.23/126.61	c (107,0) opt[123][3] = 1
807.23/126.61	c (107,0) opt[123][4] = 0
807.23/126.61	c (107,0) opt[124][0] = 0
807.23/126.61	c (107,0) opt[124][1] = 1
807.23/126.61	c (107,0) opt[124][2] = 0
807.23/126.61	c (107,0) opt[124][3] = 0
807.23/126.61	c (107,0) opt[124][4] = 0
807.23/126.61	c (107,0) opt[125][0] = 1
807.23/126.61	c (107,0) opt[125][1] = 0
807.23/126.61	c (107,0) opt[125][2] = 1
807.23/126.61	c (107,0) opt[125][3] = 0
807.23/126.61	c (107,0) opt[125][4] = 0
807.23/126.61	c (107,0) opt[126][0] = 0
807.23/126.61	c (107,0) opt[126][1] = 1
807.23/126.61	c (107,0) opt[126][2] = 0
807.23/126.61	c (107,0) opt[126][3] = 0
807.23/126.61	c (107,0) opt[126][4] = 0
807.23/126.61	c (107,0) opt[127][0] = 0
807.23/126.61	c (107,0) opt[127][1] = 0
807.23/126.61	c (107,0) opt[127][2] = 0
807.23/126.61	c (107,0) opt[127][3] = 1
807.23/126.61	c (107,0) opt[127][4] = 0
807.23/126.61	c (107,0) opt[128][0] = 1
807.23/126.61	c (107,0) opt[128][1] = 1
807.23/126.61	c (107,0) opt[128][2] = 0
807.23/126.61	c (107,0) opt[128][3] = 0
807.23/126.61	c (107,0) opt[128][4] = 0
807.23/126.61	c (107,0) opt[129][0] = 0
807.23/126.61	c (107,0) opt[129][1] = 0
807.23/126.61	c (107,0) opt[129][2] = 1
807.23/126.61	c (107,0) opt[129][3] = 0
807.23/126.61	c (107,0) opt[129][4] = 1
807.23/126.61	c (107,0) opt[130][0] = 0
807.23/126.61	c (107,0) opt[130][1] = 0
807.23/126.61	c (107,0) opt[130][2] = 0
807.23/126.61	c (107,0) opt[130][3] = 1
807.23/126.61	c (107,0) opt[130][4] = 0
807.23/126.61	c (107,0) opt[131][0] = 0
807.23/126.61	c (107,0) opt[131][1] = 1
807.23/126.61	c (107,0) opt[131][2] = 0
807.23/126.61	c (107,0) opt[131][3] = 0
807.23/126.61	c (107,0) opt[131][4] = 0
807.23/126.61	c (107,0) opt[132][0] = 0
807.23/126.61	c (107,0) opt[132][1] = 0
807.23/126.61	c (107,0) opt[132][2] = 1
807.23/126.61	c (107,0) opt[132][3] = 0
807.23/126.61	c (107,0) opt[132][4] = 0
807.23/126.61	c (107,0) opt[133][0] = 0
807.23/126.61	c (107,0) opt[133][1] = 1
807.23/126.61	c (107,0) opt[133][2] = 0
807.23/126.61	c (107,0) opt[133][3] = 0
807.23/126.61	c (107,0) opt[133][4] = 0
807.23/126.61	c (107,0) opt[134][0] = 1
807.23/126.61	c (107,0) opt[134][1] = 1
807.23/126.61	c (107,0) opt[134][2] = 0
807.23/126.61	c (107,0) opt[134][3] = 1
807.23/126.61	c (107,0) opt[134][4] = 1
807.23/126.61	c (107,0) opt[135][0] = 0
807.23/126.61	c (107,0) opt[135][1] = 0
807.23/126.61	c (107,0) opt[135][2] = 0
807.23/126.61	c (107,0) opt[135][3] = 1
807.23/126.61	c (107,0) opt[135][4] = 0
807.23/126.61	c (107,0) opt[136][0] = 1
807.23/126.61	c (107,0) opt[136][1] = 1
807.23/126.61	c (107,0) opt[136][2] = 0
807.23/126.61	c (107,0) opt[136][3] = 0
807.23/126.61	c (107,0) opt[136][4] = 0
807.23/126.61	c (107,0) opt[137][0] = 0
807.23/126.61	c (107,0) opt[137][1] = 0
807.23/126.61	c (107,0) opt[137][2] = 1
807.23/126.61	c (107,0) opt[137][3] = 0
807.23/126.61	c (107,0) opt[137][4] = 0
807.23/126.61	c (107,0) opt[138][0] = 1
807.23/126.61	c (107,0) opt[138][1] = 1
807.23/126.61	c (107,0) opt[138][2] = 0
807.23/126.61	c (107,0) opt[138][3] = 0
807.23/126.61	c (107,0) opt[138][4] = 0
807.23/126.61	c (107,0) opt[139][0] = 0
807.23/126.61	c (107,0) opt[139][1] = 0
807.23/126.61	c (107,0) opt[139][2] = 0
807.23/126.61	c (107,0) opt[139][3] = 1
807.23/126.61	c (107,0) opt[139][4] = 0
807.23/126.61	c (107,0) opt[140][0] = 1
807.23/126.61	c (107,0) opt[140][1] = 0
807.23/126.61	c (107,0) opt[140][2] = 1
807.23/126.61	c (107,0) opt[140][3] = 0
807.23/126.61	c (107,0) opt[140][4] = 0
807.23/126.61	c (107,0) opt[141][0] = 0
807.23/126.61	c (107,0) opt[141][1] = 1
807.23/126.61	c (107,0) opt[141][2] = 0
807.23/126.61	c (107,0) opt[141][3] = 0
807.23/126.61	c (107,0) opt[141][4] = 1
807.23/126.61	c (107,0) opt[142][0] = 0
807.23/126.61	c (107,0) opt[142][1] = 0
807.23/126.61	c (107,0) opt[142][2] = 0
807.23/126.61	c (107,0) opt[142][3] = 1
807.23/126.61	c (107,0) opt[142][4] = 0
807.23/126.61	c (107,0) opt[143][0] = 1
807.23/126.61	c (107,0) opt[143][1] = 1
807.23/126.61	c (107,0) opt[143][2] = 0
807.23/126.61	c (107,0) opt[143][3] = 0
807.23/126.61	c (107,0) opt[143][4] = 0
807.23/126.61	c (107,0) opt[144][0] = 0
807.23/126.61	c (107,0) opt[144][1] = 1
807.23/126.61	c (107,0) opt[144][2] = 1
807.23/126.61	c (107,0) opt[144][3] = 1
807.23/126.61	c (107,0) opt[144][4] = 0
807.23/126.61	c (107,0) opt[145][0] = 1
807.23/126.61	c (107,0) opt[145][1] = 0
807.23/126.61	c (107,0) opt[145][2] = 0
807.23/126.61	c (107,0) opt[145][3] = 0
807.23/126.61	c (107,0) opt[145][4] = 0
807.23/126.61	c (107,0) opt[146][0] = 0
807.23/126.61	c (107,0) opt[146][1] = 1
807.23/126.61	c (107,0) opt[146][2] = 0
807.23/126.61	c (107,0) opt[146][3] = 0
807.23/126.61	c (107,0) opt[146][4] = 0
807.23/126.61	c (107,0) opt[147][0] = 0
807.23/126.61	c (107,0) opt[147][1] = 0
807.23/126.61	c (107,0) opt[147][2] = 0
807.23/126.61	c (107,0) opt[147][3] = 1
807.23/126.61	c (107,0) opt[147][4] = 0
807.23/126.61	c (107,0) opt[148][0] = 1
807.23/126.61	c (107,0) opt[148][1] = 1
807.23/126.61	c (107,0) opt[148][2] = 0
807.23/126.61	c (107,0) opt[148][3] = 0
807.23/126.61	c (107,0) opt[148][4] = 1
807.23/126.61	c (107,0) opt[149][0] = 0
807.23/126.61	c (107,0) opt[149][1] = 0
807.23/126.61	c (107,0) opt[149][2] = 0
807.23/126.61	c (107,0) opt[149][3] = 1
807.23/126.61	c (107,0) opt[149][4] = 0
807.23/126.61	c (107,0) opt[150][0] = 0
807.23/126.61	c (107,0) opt[150][1] = 0
807.23/126.61	c (107,0) opt[150][2] = 1
807.23/126.61	c (107,0) opt[150][3] = 0
807.23/126.61	c (107,0) opt[150][4] = 0
807.23/126.61	c (107,0) opt[151][0] = 1
807.23/126.61	c (107,0) opt[151][1] = 1
807.23/126.61	c (107,0) opt[151][2] = 0
807.23/126.61	c (107,0) opt[151][3] = 0
807.23/126.61	c (107,0) opt[151][4] = 0
807.23/126.61	c (107,0) opt[152][0] = 0
807.23/126.61	c (107,0) opt[152][1] = 1
807.23/126.61	c (107,0) opt[152][2] = 0
807.23/126.61	c (107,0) opt[152][3] = 1
807.23/126.61	c (107,0) opt[152][4] = 0
807.23/126.61	c (107,0) opt[153][0] = 1
807.23/126.61	c (107,0) opt[153][1] = 0
807.23/126.61	c (107,0) opt[153][2] = 0
807.23/126.61	c (107,0) opt[153][3] = 0
807.23/126.61	c (107,0) opt[153][4] = 1
807.23/126.61	c (107,0) opt[154][0] = 0
807.23/126.61	c (107,0) opt[154][1] = 1
807.23/126.61	c (107,0) opt[154][2] = 0
807.23/126.61	c (107,0) opt[154][3] = 1
807.23/126.61	c (107,0) opt[154][4] = 0
807.23/126.61	c (107,0) opt[155][0] = 1
807.23/126.61	c (107,0) opt[155][1] = 0
807.23/126.61	c (107,0) opt[155][2] = 0
807.23/126.61	c (107,0) opt[155][3] = 0
807.23/126.61	c (107,0) opt[155][4] = 0
807.23/126.61	c (107,0) opt[156][0] = 0
807.23/126.61	c (107,0) opt[156][1] = 1
807.23/126.61	c (107,0) opt[156][2] = 1
807.23/126.61	c (107,0) opt[156][3] = 0
807.23/126.61	c (107,0) opt[156][4] = 0
807.23/126.61	c (107,0) opt[157][0] = 1
807.23/126.61	c (107,0) opt[157][1] = 0
807.23/126.61	c (107,0) opt[157][2] = 0
807.23/126.61	c (107,0) opt[157][3] = 1
807.23/126.61	c (107,0) opt[157][4] = 0
807.23/126.61	c (107,0) opt[158][0] = 0
807.23/126.61	c (107,0) opt[158][1] = 1
807.23/126.61	c (107,0) opt[158][2] = 0
807.23/126.61	c (107,0) opt[158][3] = 0
807.23/126.61	c (107,0) opt[158][4] = 0
807.23/126.61	c (107,0) opt[159][0] = 0
807.23/126.61	c (107,0) opt[159][1] = 0
807.23/126.61	c (107,0) opt[159][2] = 0
807.23/126.61	c (107,0) opt[159][3] = 1
807.23/126.61	c (107,0) opt[159][4] = 0
807.23/126.61	c (107,0) opt[160][0] = 0
807.23/126.61	c (107,0) opt[160][1] = 1
807.23/126.61	c (107,0) opt[160][2] = 1
807.23/126.61	c (107,0) opt[160][3] = 0
807.23/126.61	c (107,0) opt[160][4] = 0
807.23/126.61	c (107,0) opt[161][0] = 0
807.23/126.61	c (107,0) opt[161][1] = 0
807.23/126.61	c (107,0) opt[161][2] = 0
807.23/126.61	c (107,0) opt[161][3] = 0
807.23/126.61	c (107,0) opt[161][4] = 1
807.23/126.61	c (107,0) opt[162][0] = 1
807.23/126.61	c (107,0) opt[162][1] = 1
807.23/126.61	c (107,0) opt[162][2] = 0
807.23/126.61	c (107,0) opt[162][3] = 0
807.23/126.61	c (107,0) opt[162][4] = 0
807.23/126.61	c (107,0) opt[163][0] = 0
807.23/126.61	c (107,0) opt[163][1] = 0
807.23/126.61	c (107,0) opt[163][2] = 0
807.23/126.61	c (107,0) opt[163][3] = 1
807.23/126.61	c (107,0) opt[163][4] = 0
807.23/126.61	c (107,0) opt[164][0] = 0
807.23/126.61	c (107,0) opt[164][1] = 1
807.23/126.61	c (107,0) opt[164][2] = 1
807.23/126.61	c (107,0) opt[164][3] = 1
807.23/126.61	c (107,0) opt[164][4] = 0
807.23/126.61	c (107,0) opt[165][0] = 0
807.23/126.61	c (107,0) opt[165][1] = 1
807.23/126.61	c (107,0) opt[165][2] = 0
807.23/126.61	c (107,0) opt[165][3] = 0
807.23/126.61	c (107,0) opt[165][4] = 0
807.23/126.61	c (107,0) opt[166][0] = 1
807.23/126.61	c (107,0) opt[166][1] = 0
807.23/126.61	c (107,0) opt[166][2] = 0
807.23/126.61	c (107,0) opt[166][3] = 0
807.23/126.61	c (107,0) opt[166][4] = 1
807.23/126.61	c (107,0) opt[167][0] = 0
807.23/126.61	c (107,0) opt[167][1] = 0
807.23/126.61	c (107,0) opt[167][2] = 1
807.23/126.61	c (107,0) opt[167][3] = 0
807.23/126.61	c (107,0) opt[167][4] = 0
807.23/126.61	c (107,0) opt[168][0] = 0
807.23/126.61	c (107,0) opt[168][1] = 1
807.23/126.61	c (107,0) opt[168][2] = 0
807.23/126.61	c (107,0) opt[168][3] = 0
807.23/126.61	c (107,0) opt[168][4] = 0
807.23/126.61	c (107,0) opt[169][0] = 1
807.23/126.61	c (107,0) opt[169][1] = 1
807.23/126.61	c (107,0) opt[169][2] = 0
807.23/126.61	c (107,0) opt[169][3] = 0
807.23/126.61	c (107,0) opt[169][4] = 0
807.23/126.61	c (107,0) opt[170][0] = 0
807.23/126.61	c (107,0) opt[170][1] = 0
807.23/126.61	c (107,0) opt[170][2] = 1
807.23/126.61	c (107,0) opt[170][3] = 1
807.23/126.61	c (107,0) opt[170][4] = 0
807.23/126.61	c (107,0) opt[171][0] = 0
807.23/126.61	c (107,0) opt[171][1] = 0
807.23/126.61	c (107,0) opt[171][2] = 0
807.23/126.61	c (107,0) opt[171][3] = 0
807.23/126.61	c (107,0) opt[171][4] = 1
807.23/126.61	c (107,0) opt[172][0] = 1
807.23/126.61	c (107,0) opt[172][1] = 1
807.23/126.61	c (107,0) opt[172][2] = 0
807.23/126.61	c (107,0) opt[172][3] = 1
807.23/126.61	c (107,0) opt[172][4] = 0
807.23/126.61	c (107,0) opt[173][0] = 0
807.23/126.61	c (107,0) opt[173][1] = 1
807.23/126.61	c (107,0) opt[173][2] = 0
807.23/126.61	c (107,0) opt[173][3] = 0
807.23/126.61	c (107,0) opt[173][4] = 0
807.23/126.61	c (107,0) opt[174][0] = 0
807.23/126.61	c (107,0) opt[174][1] = 0
807.23/126.61	c (107,0) opt[174][2] = 1
807.23/126.61	c (107,0) opt[174][3] = 0
807.23/126.61	c (107,0) opt[174][4] = 0
807.23/126.61	c (107,0) opt[175][0] = 0
807.23/126.61	c (107,0) opt[175][1] = 1
807.23/126.61	c (107,0) opt[175][2] = 0
807.23/126.61	c (107,0) opt[175][3] = 0
807.23/126.61	c (107,0) opt[175][4] = 0
807.23/126.61	c (107,0) opt[176][0] = 0
807.23/126.61	c (107,0) opt[176][1] = 1
807.23/126.61	c (107,0) opt[176][2] = 0
807.23/126.61	c (107,0) opt[176][3] = 1
807.23/126.61	c (107,0) opt[176][4] = 0
807.23/126.61	c (107,0) opt[177][0] = 1
807.23/126.61	c (107,0) opt[177][1] = 0
807.23/126.61	c (107,0) opt[177][2] = 1
807.23/126.61	c (107,0) opt[177][3] = 0
807.23/126.61	c (107,0) opt[177][4] = 0
807.23/126.61	c (107,0) opt[178][0] = 0
807.23/126.61	c (107,0) opt[178][1] = 0
807.23/126.61	c (107,0) opt[178][2] = 0
807.23/126.61	c (107,0) opt[178][3] = 1
807.23/126.61	c (107,0) opt[178][4] = 0
807.23/126.61	c (107,0) opt[179][0] = 1
807.23/126.61	c (107,0) opt[179][1] = 1
807.23/126.61	c (107,0) opt[179][2] = 0
807.23/126.61	c (107,0) opt[179][3] = 0
807.23/126.61	c (107,0) opt[179][4] = 1
807.23/126.61	c (107,0) opt[180][0] = 0
807.23/126.61	c (107,0) opt[180][1] = 0
807.23/126.61	c (107,0) opt[180][2] = 1
807.23/126.61	c (107,0) opt[180][3] = 0
807.23/126.61	c (107,0) opt[180][4] = 0
807.23/126.61	c (107,0) opt[181][0] = 1
807.23/126.61	c (107,0) opt[181][1] = 1
807.23/126.61	c (107,0) opt[181][2] = 0
807.23/126.61	c (107,0) opt[181][3] = 0
807.23/126.61	c (107,0) opt[181][4] = 0
807.23/126.61	c (107,0) opt[182][0] = 0
807.23/126.61	c (107,0) opt[182][1] = 0
807.23/126.61	c (107,0) opt[182][2] = 0
807.23/126.61	c (107,0) opt[182][3] = 1
807.23/126.61	c (107,0) opt[182][4] = 0
807.23/126.61	c (107,0) opt[183][0] = 1
807.23/126.61	c (107,0) opt[183][1] = 1
807.23/126.61	c (107,0) opt[183][2] = 0
807.23/126.61	c (107,0) opt[183][3] = 1
807.23/126.61	c (107,0) opt[183][4] = 0
807.23/126.61	c (107,0) opt[184][0] = 0
807.23/126.61	c (107,0) opt[184][1] = 1
807.23/126.61	c (107,0) opt[184][2] = 0
807.23/126.61	c (107,0) opt[184][3] = 0
807.23/126.61	c (107,0) opt[184][4] = 1
807.23/126.61	c (107,0) opt[185][0] = 1
807.23/126.61	c (107,0) opt[185][1] = 0
807.23/126.61	c (107,0) opt[185][2] = 1
807.23/126.61	c (107,0) opt[185][3] = 0
807.23/126.61	c (107,0) opt[185][4] = 0
807.23/126.61	c (107,0) opt[186][0] = 0
807.23/126.61	c (107,0) opt[186][1] = 1
807.23/126.61	c (107,0) opt[186][2] = 0
807.23/126.61	c (107,0) opt[186][3] = 0
807.23/126.61	c (107,0) opt[186][4] = 0
807.23/126.61	c (107,0) opt[187][0] = 0
807.23/126.61	c (107,0) opt[187][1] = 0
807.23/126.61	c (107,0) opt[187][2] = 0
807.23/126.61	c (107,0) opt[187][3] = 1
807.23/126.61	c (107,0) opt[187][4] = 0
807.23/126.61	c (107,0) opt[188][0] = 1
807.23/126.61	c (107,0) opt[188][1] = 0
807.23/126.61	c (107,0) opt[188][2] = 1
807.23/126.61	c (107,0) opt[188][3] = 1
807.23/126.61	c (107,0) opt[188][4] = 0
807.23/126.61	c (107,0) opt[189][0] = 0
807.23/126.61	c (107,0) opt[189][1] = 1
807.23/126.61	c (107,0) opt[189][2] = 0
807.23/126.61	c (107,0) opt[189][3] = 0
807.23/126.61	c (107,0) opt[189][4] = 1
807.23/126.61	c (107,0) opt[190][0] = 1
807.23/126.61	c (107,0) opt[190][1] = 1
807.23/126.61	c (107,0) opt[190][2] = 0
807.23/126.61	c (107,0) opt[190][3] = 0
807.23/126.61	c (107,0) opt[190][4] = 0
807.23/126.61	c (107,0) opt[191][0] = 0
807.23/126.61	c (107,0) opt[191][1] = 0
807.23/126.61	c (107,0) opt[191][2] = 1
807.23/126.61	c (107,0) opt[191][3] = 0
807.23/126.61	c (107,0) opt[191][4] = 0
807.23/126.61	c (107,0) opt[192][0] = 1
807.23/126.61	c (107,0) opt[192][1] = 1
807.23/126.61	c (107,0) opt[192][2] = 0
807.23/126.61	c (107,0) opt[192][3] = 1
807.23/126.61	c (107,0) opt[192][4] = 0
807.23/126.61	c (107,0) opt[193][0] = 0
807.23/126.61	c (107,0) opt[193][1] = 0
807.23/126.61	c (107,0) opt[193][2] = 0
807.23/126.61	c (107,0) opt[193][3] = 1
807.23/126.61	c (107,0) opt[193][4] = 0
807.23/126.61	c (107,0) opt[194][0] = 1
807.23/126.61	c (107,0) opt[194][1] = 0
807.23/126.61	c (107,0) opt[194][2] = 1
807.23/126.61	c (107,0) opt[194][3] = 0
807.23/126.61	c (107,0) opt[194][4] = 1
807.23/126.61	c (107,0) opt[195][0] = 0
807.23/126.61	c (107,0) opt[195][1] = 1
807.23/126.61	c (107,0) opt[195][2] = 0
807.23/126.61	c (107,0) opt[195][3] = 0
807.23/126.61	c (107,0) opt[195][4] = 0
807.23/126.61	c (107,0) opt[196][0] = 1
807.23/126.61	c (107,0) opt[196][1] = 1
807.23/126.61	c (107,0) opt[196][2] = 0
807.23/126.61	c (107,0) opt[196][3] = 0
807.23/126.61	c (107,0) opt[196][4] = 0
807.23/126.61	c (107,0) opt[197][0] = 0
807.23/126.61	c (107,0) opt[197][1] = 0
807.23/126.61	c (107,0) opt[197][2] = 1
807.23/126.61	c (107,0) opt[197][3] = 1
807.23/126.61	c (107,0) opt[197][4] = 0
807.23/126.61	c (107,0) opt[198][0] = 0
807.23/126.61	c (107,0) opt[198][1] = 0
807.23/126.61	c (107,0) opt[198][2] = 0
807.23/126.61	c (107,0) opt[198][3] = 1
807.23/126.61	c (107,0) opt[198][4] = 0
807.23/126.62	c (107,0) opt[199][0] = 1
807.23/126.62	c (107,0) opt[199][1] = 1
807.23/126.62	c (107,0) opt[199][2] = 0
807.23/126.62	c (107,0) opt[199][3] = 0
807.23/126.62	c (107,0) opt[199][4] = 1
807.23/126.62	s SATISFIABLE
807.23/126.62	v <instantiation>
807.23/126.62	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>
807.23/126.62	v     <values>5 20 22 0 23 16 6 16 15 6 2 6 16 5 10 2 10 20 18 13 18 6 0 3 6 0 6 18 2 16 7 5 22 16 2 6 5 3 10 2 0 16 23 0 18 7 16 2 4 16 23 17 16 2 13 2 16 16 6 16 8 20 6 21 16 2 4 16 2 10 1 6 16 5 18 6 16 2 0 10 2 20 6 18 5 2 20 6 18 5 6 16 18 20 0 6 2 21 20 6 5 18 6 5 3 6 2 0 10 2 0 20 10 11 10 2 10 5 20 2 16 6 0 23 16 13 16 2 10 17 2 16 5 16 19 2 10 5 10 2 13 12 2 10 21 6 16 2 9 2 5 10 18 7 18 6 0 23 16 2 0 24 10 2 21 16 7 5 16 10 11 24 22 16 5 16 18 13 2 9 5 10 2 22 12 13 16 2 8 12 10 5 22 2 14 16 10 11 2 9 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1</values>
807.23/126.62	v </instantiation>
807.23/126.62	c (107,0) Show results End
807.23/126.62	c (107,0) Heap : 316 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
807.23/126.62	c (107,0) 107,107,STOP-AFTER(ALL)
807.23/126.62	c END-Prog: Tue Sep 24 17:20:53 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 (13384 MiB free)
  memory of node 1: 16384 MiB (11702 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405527-1569338367/watcher-4405527-1569338367 -o /var/tmp/evaluation-result-4405527-1569338367/solver-4405527-1569338367 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405527-1569338367.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=32044, runsolver pid=32041
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 7.73 7.64 5.76 2/211 32066
/proc/meminfo: memFree=25593592/32770624 swapFree=66953492/67108860
[pid=32044] ppid=32041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32044/stat : 32044 (scop.sh) S 32041 32044 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509751470 115843072 349 33554432000 4194304 5098028 140729369007936 140729369005192 140218640138876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26816512 140729369015036 140729369015384 140729369015384 140729369018313 0
/proc/32044/statm: 28282 349 296 221 0 87 0
[pid=32047] ppid=32044 vsize=27314120 memory=108176 CPUtime=0.1 cores=0-7
/proc/32047/stat : 32047 (java) S 32044 32044 31589 0 -1 1077944320 6116 0 0 0 8 2 0 0 20 0 20 0 509751470 27969658880 27044 33554432000 4194304 4196468 140734573355840 140734573338384 140039780470519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
/proc/32047/statm: 6828530 27044 2799 1 0 6790935 0
[pid=32047/tid=32048] ppid=32044 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32047/task/32048/stat : 32048 (java) R 32044 32044 31589 0 -1 4202560 4216 0 0 0 7 2 0 0 20 0 20 0 509751470 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039752283760 140039764551006 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32049] ppid=32044 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/32047/task/32049/stat : 32049 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039784712464 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32050] ppid=32044 vsize=27314120 memory=139651579811456 CPUtime=0 cores=0-7
/proc/32047/task/32050/stat : 32050 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039568107920 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32051] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32051/stat : 32051 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039567055376 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32052] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32052/stat : 32052 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039566002832 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32053] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32053/stat : 32053 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039564950288 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32054] ppid=32044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32047/task/32054/stat : 32054 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039563897744 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32055] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32055/stat : 32055 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039562845200 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32056] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32056/stat : 32056 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 27044 33554432000 4194304 4196468 140734573355840 140039561792656 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32057] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32057/stat : 32057 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751474 27969658880 27044 33554432000 4194304 4196468 140734573355840 140038837884912 140039780481666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32058] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32058/stat : 32058 (java) S 32044 32044 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509751475 27969658880 27044 33554432000 4194304 4196468 140734573355840 140037744223136 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32059] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32059/stat : 32059 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751475 27969658880 27044 33554432000 4194304 4196468 140734573355840 140037475787760 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32060] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32060/stat : 32060 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 27044 33554432000 4194304 4196468 140734573355840 140037101279440 140039780489115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32061] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32061/stat : 32061 (java) S 32044 32044 31589 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 27044 33554432000 4194304 4196468 140734573355840 140038836832752 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32062] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32062/stat : 32062 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 27044 33554432000 4194304 4196468 140734573355840 140038835780208 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32063] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32063/stat : 32063 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 27044 33554432000 4194304 4196468 140734573355840 140038834727664 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32064] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32064/stat : 32064 (java) S 32044 32044 31589 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 27044 33554432000 4194304 4196468 140734573355840 140038833675120 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32065] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32065/stat : 32065 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751478 27969658880 27044 33554432000 4194304 4196468 140734573355840 140036603373792 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32066] ppid=32044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32047/task/32066/stat : 32066 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751478 27969658880 27044 33554432000 4194304 4196468 140734573355840 140038832622000 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109572 KiB

[startup+0.217062 s]*
/proc/loadavg: 7.73 7.64 5.76 2/211 32066
/proc/meminfo: memFree=25572288/32770624 swapFree=66953492/67108860
[pid=32044] ppid=32041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32044/stat : 32044 (scop.sh) S 32041 32044 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509751470 115843072 349 33554432000 4194304 5098028 140729369007936 140729369005192 140218640138876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26816512 140729369015036 140729369015384 140729369015384 140729369018313 0
/proc/32044/statm: 28282 349 296 221 0 87 0
[pid=32047] ppid=32044 vsize=27314120 memory=125728 CPUtime=0.25 cores=0-7
/proc/32047/stat : 32047 (java) S 32044 32044 31589 0 -1 1077944320 11757 0 0 0 21 4 0 0 20 0 20 0 509751470 27969658880 31432 33554432000 4194304 4196468 140734573355840 140734573338384 140039780470519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
/proc/32047/statm: 6828530 31432 2963 1 0 6790935 0
[pid=32047/tid=32048] ppid=32044 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32047/task/32048/stat : 32048 (java) R 32044 32044 31589 0 -1 4202560 9458 0 0 0 16 4 0 0 20 0 20 0 509751470 27969658880 31432 33554432000 4194304 4196468 140734573355840 140039752254080 140039764551006 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32049] ppid=32044 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/32047/task/32049/stat : 32049 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039784712464 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32050] ppid=32044 vsize=27314120 memory=139651583597588 CPUtime=0 cores=0-7
/proc/32047/task/32050/stat : 32050 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039568107920 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32051] ppid=32044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32047/task/32051/stat : 32051 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039567055376 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32052] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32052/stat : 32052 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039566002832 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32053] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32053/stat : 32053 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039564950288 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32054] ppid=32044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32047/task/32054/stat : 32054 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039563897744 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32055] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32055/stat : 32055 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039562845200 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32056] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32056/stat : 32056 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 31497 33554432000 4194304 4196468 140734573355840 140039561792656 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32057] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32057/stat : 32057 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751474 27969658880 31497 33554432000 4194304 4196468 140734573355840 140038837884912 140039780481666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32058] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32058/stat : 32058 (java) S 32044 32044 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509751475 27969658880 31497 33554432000 4194304 4196468 140734573355840 140037744223136 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32059] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32059/stat : 32059 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751475 27969658880 31497 33554432000 4194304 4196468 140734573355840 140037475787760 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32060] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32060/stat : 32060 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 31497 33554432000 4194304 4196468 140734573355840 140037101279440 140039780489115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32061] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32061/stat : 32061 (java) S 32044 32044 31589 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 31497 33554432000 4194304 4196468 140734573355840 140038836832752 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32062] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32062/stat : 32062 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 31497 33554432000 4194304 4196468 140734573355840 140038835780208 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32063] ppid=32044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32047/task/32063/stat : 32063 (java) S 32044 32044 31589 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 31497 33554432000 4194304 4196468 140734573355840 140038834727664 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32064] ppid=32044 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32047/task/32064/stat : 32064 (java) S 32044 32044 31589 0 -1 1077944384 467 0 0 0 2 0 0 0 20 0 20 0 509751477 27969658880 31497 33554432000 4194304 4196468 140734573355840 140038833675120 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32065] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32065/stat : 32065 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751478 27969658880 31497 33554432000 4194304 4196468 140734573355840 140036603373792 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32066] ppid=32044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32047/task/32066/stat : 32066 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751478 27969658880 31497 33554432000 4194304 4196468 140734573355840 140038832622000 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127124 KiB

[startup+0.31036 s]*
/proc/loadavg: 7.73 7.64 5.76 2/211 32066
/proc/meminfo: memFree=25569348/32770624 swapFree=66953492/67108860
[pid=32044] ppid=32041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32044/stat : 32044 (scop.sh) S 32041 32044 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509751470 115843072 349 33554432000 4194304 5098028 140729369007936 140729369005192 140218640138876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26816512 140729369015036 140729369015384 140729369015384 140729369018313 0
/proc/32044/statm: 28282 349 296 221 0 87 0
[pid=32047] ppid=32044 vsize=27314120 memory=129784 CPUtime=0.42 cores=0-7
/proc/32047/stat : 32047 (java) S 32044 32044 31589 0 -1 1077944320 12306 0 0 0 38 4 0 0 20 0 20 0 509751470 27969658880 32446 33554432000 4194304 4196468 140734573355840 140734573338384 140039780470519 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
/proc/32047/statm: 6828530 32446 3045 1 0 6790935 0
[pid=32047/tid=32048] ppid=32044 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/32047/task/32048/stat : 32048 (java) R 32044 32044 31589 0 -1 4202560 9789 0 0 0 26 4 0 0 20 0 20 0 509751470 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039752291520 140039765636105 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32049] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32049/stat : 32049 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039784712464 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32050] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32050/stat : 32050 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039568107920 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32051] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32051/stat : 32051 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039567055376 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32052] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32052/stat : 32052 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039566002832 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32053] ppid=32044 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32047/task/32053/stat : 32053 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039564950288 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32054] ppid=32044 vsize=27314120 memory=139651465704367 CPUtime=0 cores=0-7
/proc/32047/task/32054/stat : 32054 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039563897744 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32055] ppid=32044 vsize=27314120 memory=139651465706672 CPUtime=0 cores=0-7
/proc/32047/task/32055/stat : 32055 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039562845200 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32056] ppid=32044 vsize=27314120 memory=139651465708976 CPUtime=0 cores=0-7
/proc/32047/task/32056/stat : 32056 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751473 27969658880 32446 33554432000 4194304 4196468 140734573355840 140039561792656 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32057] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32057/stat : 32057 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751474 27969658880 32446 33554432000 4194304 4196468 140734573355840 140038837884912 140039780481666 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32058] ppid=32044 vsize=27314120 memory=279302931424912 CPUtime=0 cores=0-7
/proc/32047/task/32058/stat : 32058 (java) S 32044 32044 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509751475 27969658880 32446 33554432000 4194304 4196468 140734573355840 140037744223136 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32059] ppid=32044 vsize=27314120 memory=279302931431824 CPUtime=0 cores=0-7
/proc/32047/task/32059/stat : 32059 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751475 27969658880 32446 33554432000 4194304 4196468 140734573355840 140037475787760 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32060] ppid=32044 vsize=27314120 memory=279302931373104 CPUtime=0 cores=0-7
/proc/32047/task/32060/stat : 32060 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751477 27969658880 32446 33554432000 4194304 4196468 140734573355840 140037101279440 140039780489115 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32061] ppid=32044 vsize=27314120 memory=279302931445648 CPUtime=0.01 cores=0-7
/proc/32047/task/32061/stat : 32061 (java) R 32044 32044 31589 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 20 0 509751477 27969658880 32446 33554432000 4194304 4196468 140734573355840 140038836832752 140039772759968 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32062] ppid=32044 vsize=27314120 memory=279302931452560 CPUtime=0.01 cores=0-7
/proc/32047/task/32062/stat : 32062 (java) S 32044 32044 31589 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 509751477 27969658880 32446 33554432000 4194304 4196468 140734573355840 140038835780208 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32063] ppid=32044 vsize=27314120 memory=279302931450256 CPUtime=0.01 cores=0-7
/proc/32047/task/32063/stat : 32063 (java) S 32044 32044 31589 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 509751477 27969658880 32446 33554432000 4194304 4196468 140734573355840 140038834727664 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32064] ppid=32044 vsize=27314120 memory=279302931466416 CPUtime=0.07 cores=0-7
/proc/32047/task/32064/stat : 32064 (java) S 32044 32044 31589 0 -1 1077944384 507 0 0 0 7 0 0 0 20 0 20 0 509751477 27969658880 32446 33554432000 4194304 4196468 140734573355840 140038833675120 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32065] ppid=32044 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32065/stat : 32065 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509751478 27969658880 32446 33554432000 4194304 4196468 140734573355840 140036603373792 140039780480725 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32066] ppid=32044 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32047/task/32066/stat : 32066 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751478 27969658880 32446 33554432000 4194304 4196468 140734573355840 140038832622000 140039780481666 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131180 KiB

[startup+0.701069 s]
/proc/loadavg: 7.73 7.64 5.76 2/211 32066
/proc/meminfo: memFree=25547880/32770624 swapFree=66953492/67108860
[pid=32044] ppid=32041 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32044/stat : 32044 (scop.sh) S 32041 32044 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509751470 115843072 349 33554432000 4194304 5098028 140729369007936 140729369005192 140218640138876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26816512 140729369015036 140729369015384 140729369015384 140729369018313 0
/proc/32044/statm: 28282 349 296 221 0 87 0
[pid=32047] ppid=32044 vsize=27320392 memory=165516 CPUtime=1 cores=0-7
/proc/32047/stat : 32047 (java) S 32044 32044 31589 0 -1 1077944320 19938 0 0 0 94 6 0 0 20 0 20 0 509751470 27976081408 41379 33554432000 4194304 4196468 140734573355840 140734573338384 140039780470519 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
/proc/32047/statm: 6830098 41379 3186 1 0 6791447 0
[pid=32047/tid=32048] ppid=32044 vsize=27320392 memory=279302931824304 CPUtime=0.67 cores=0-7
/proc/32047/task/32048/stat : 32048 (java) R 32044 32044 31589 0 -1 4202560 16851 0 0 0 62 5 0 0 20 0 20 0 509751470 27976081408 41379 33554432000 4194304 4196468 140734573355840 140039752305216 140039237529351 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32049] ppid=32044 vsize=27320392 memory=139651465913200 CPUtime=0 cores=0-7
/proc/32047/task/32049/stat : 32049 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27976081408 41379 33554432000 4194304 4196468 140734573355840 140039784712464 140039780480725 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32050] ppid=32044 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32047/task/32050/stat : 32050 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509751473 27976081408 41379 33554432000 4194304 4196468 140734573355840 140039568107920 140039780480725 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0
[pid=32047/tid=32051] ppid=32044 vsize=27320392 memory=668 CPUtime=0 cores=0-7
/proc/32047/task/32051/stat : 32051 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509751473 27976081408 41379 33554432000 4194304 4196468 140734573355840 140039567055376 140039780480725 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23867392 140734573363910 140734573364358 140734573364358 140734573367247 0

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

[pid=32067/tid=32069] ppid=32044 vsize=8414124 memory=3640 CPUtime=0 cores=0-7
/proc/32067/task/32069/stat : 32069 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140354266950416 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32070] ppid=32044 vsize=8414124 memory=1548 CPUtime=0 cores=0-7
/proc/32067/task/32070/stat : 32070 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353747717008 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32071] ppid=32044 vsize=8414124 memory=1728 CPUtime=0 cores=0-7
/proc/32067/task/32071/stat : 32071 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353746664464 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32072] ppid=32044 vsize=8414124 memory=8204 CPUtime=0 cores=0-7
/proc/32067/task/32072/stat : 32072 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353745611920 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32073] ppid=32044 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/32067/task/32073/stat : 32073 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353744558352 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32074] ppid=32044 vsize=8414124 memory=808 CPUtime=0 cores=0-7
/proc/32067/task/32074/stat : 32074 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353743505808 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32075] ppid=32044 vsize=8414124 memory=1652 CPUtime=0 cores=0-7
/proc/32067/task/32075/stat : 32075 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353742453264 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32076] ppid=32044 vsize=8414124 memory=4100 CPUtime=0 cores=0-7
/proc/32067/task/32076/stat : 32076 (java) S 32044 32044 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 509753354 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353741400720 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32077] ppid=32044 vsize=8414124 memory=1804 CPUtime=0 cores=0-7
/proc/32067/task/32077/stat : 32077 (java) S 32044 32044 31589 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 509753355 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353490377200 140354262719106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32078] ppid=32044 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/32067/task/32078/stat : 32078 (java) S 32044 32044 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 509753356 8616062976 33101 33554432000 4194304 4196468 140725809877600 140352686122400 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32079] ppid=32044 vsize=8414124 memory=4736 CPUtime=0 cores=0-7
/proc/32067/task/32079/stat : 32079 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509753356 8616062976 33101 33554432000 4194304 4196468 140725809877600 140352417687024 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32080] ppid=32044 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/32067/task/32080/stat : 32080 (java) S 32044 32044 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 509753359 8616062976 33101 33554432000 4194304 4196468 140725809877600 140352043178704 140354262726555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32081] ppid=32044 vsize=8414124 memory=3584 CPUtime=0.23 cores=0-7
/proc/32067/task/32081/stat : 32081 (java) S 32044 32044 31589 0 -1 1077944384 1361 0 0 0 23 0 0 0 20 0 24 0 509753360 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353489324016 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32082] ppid=32044 vsize=8414124 memory=1476 CPUtime=0.19 cores=0-7
/proc/32067/task/32082/stat : 32082 (java) S 32044 32044 31589 0 -1 1077944384 756 0 0 0 19 0 0 0 20 0 24 0 509753360 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353488271472 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32083] ppid=32044 vsize=8414124 memory=9580 CPUtime=0.14 cores=0-7
/proc/32067/task/32083/stat : 32083 (java) S 32044 32044 31589 0 -1 1077944384 443 0 0 0 14 0 0 0 20 0 24 0 509753360 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353487218928 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32084] ppid=32044 vsize=8414124 memory=1052 CPUtime=0.26 cores=0-7
/proc/32067/task/32084/stat : 32084 (java) S 32044 32044 31589 0 -1 1077944384 1051 0 0 0 26 0 0 0 20 0 24 0 509753360 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353486166384 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32085] ppid=32044 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/32067/task/32085/stat : 32085 (java) S 32044 32044 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 509753360 8616062976 33101 33554432000 4194304 4196468 140725809877600 140351545273056 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32086] ppid=32044 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7
/proc/32067/task/32086/stat : 32086 (java) S 32044 32044 31589 0 -1 1077944384 9 0 0 0 5 1 0 0 20 0 24 0 509753361 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353485114288 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32088] ppid=32044 vsize=8414124 memory=668 CPUtime=0 cores=0-7
/proc/32067/task/32088/stat : 32088 (java) S 32044 32044 31589 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509753443 8616062976 33101 33554432000 4194304 4196468 140725809877600 140353474983616 140354262732569 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32090] ppid=32044 vsize=8414124 memory=1264 CPUtime=0 cores=0-7
/proc/32067/task/32090/stat : 32090 (java) S 32044 32044 31589 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 509753443 8616062976 33101 33554432000 4194304 4196468 140725809877600 140350874172720 140354262729885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32091] ppid=32044 vsize=8414124 memory=1096 CPUtime=0 cores=0-7
/proc/32067/task/32091/stat : 32091 (java) S 32044 32044 31589 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 509753443 8616062976 33101 33554432000 4194304 4196468 140725809877600 140351142608304 140354262729885 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32092] ppid=32044 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/32067/task/32092/stat : 32092 (java) S 32044 32044 31589 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 509753445 8616062976 33101 33554432000 4194304 4196468 140725809877600 140350605745328 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
Current children cumulated CPU time: 805.48 s
Current children cumulated vsize: 11869928 KiB
Current children cumulated memory: 2991472 KiB

[startup+126.401 s]
/proc/loadavg: 7.42 7.46 5.92 3/218 32115
/proc/meminfo: memFree=22630236/32770624 swapFree=66953492/67108860
[pid=32044] ppid=32041 vsize=113128 memory=1476 CPUtime=33.69 cores=0-7
/proc/32044/stat : 32044 (scop.sh) S 32041 32044 31589 0 -1 4202496 582 43927 0 0 0 0 3226 143 20 0 1 0 509751470 115843072 369 33554432000 4194304 5098028 140729369007936 140729369004680 140218640138876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26816512 140729369015036 140729369015384 140729369015384 140729369018313 0
/proc/32044/statm: 28282 369 311 221 0 87 0
[pid=32067] ppid=32044 vsize=8414124 memory=315296 CPUtime=773.08 cores=0-7
/proc/32067/stat : 32067 (java) S 32044 32044 31589 0 -1 1077944320 25368 4713165 0 0 228 20 76394 666 20 0 23 0 509753352 8616062976 78824 33554432000 4194304 4196468 140725809877600 140725809860144 140354262707959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
/proc/32067/statm: 2103531 78824 3230 1 0 2064875 0
[pid=32067/tid=32068] ppid=32044 vsize=8414124 memory=3504 CPUtime=771.51 cores=0-7
/proc/32067/task/32068/stat : 32068 (java) S 32044 32044 31589 0 -1 1077944384 18062 4713165 0 0 79 12 76394 666 20 0 23 0 509753353 8616062976 79336 33554432000 4194304 4196468 140725809877600 140354234548128 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32069] ppid=32044 vsize=8414124 memory=64140 CPUtime=770.6 cores=0-7
/proc/32067/task/32069/stat : 32069 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140354266950416 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32070] ppid=32044 vsize=8414124 memory=988 CPUtime=770.6 cores=0-7
/proc/32067/task/32070/stat : 32070 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353747717008 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32071] ppid=32044 vsize=8414124 memory=2008 CPUtime=770.6 cores=0-7
/proc/32067/task/32071/stat : 32071 (java) S 32044 32044 31589 0 -1 1077944384 3 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353746664464 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32072] ppid=32044 vsize=8414124 memory=1424 CPUtime=770.6 cores=0-7
/proc/32067/task/32072/stat : 32072 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353745611920 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32073] ppid=32044 vsize=8414124 memory=3640 CPUtime=770.6 cores=0-7
/proc/32067/task/32073/stat : 32073 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353744558352 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32074] ppid=32044 vsize=8414124 memory=288230574492221466 CPUtime=770.6 cores=0-7
/proc/32067/task/32074/stat : 32074 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353743505808 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32075] ppid=32044 vsize=8414124 memory=288230596050944315 CPUtime=770.6 cores=0-7
/proc/32067/task/32075/stat : 32075 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353742453264 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32076] ppid=32044 vsize=8414124 memory=14131130454511009 CPUtime=770.6 cores=0-7
/proc/32067/task/32076/stat : 32076 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 23 0 509753354 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353741400720 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32077] ppid=32044 vsize=8414124 memory=3640 CPUtime=770.6 cores=0-7
/proc/32067/task/32077/stat : 32077 (java) S 32044 32044 31589 0 -1 1077944384 7 4713165 0 0 0 0 76394 666 20 0 23 0 509753355 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353490377200 140354262719106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32078] ppid=32044 vsize=8414124 memory=1548 CPUtime=770.6 cores=0-7
/proc/32067/task/32078/stat : 32078 (java) S 32044 32044 31589 0 -1 1077944384 13 4713165 0 0 0 0 76394 666 20 0 23 0 509753356 8616062976 79336 33554432000 4194304 4196468 140725809877600 140352686122400 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32079] ppid=32044 vsize=8414124 memory=1728 CPUtime=770.6 cores=0-7
/proc/32067/task/32079/stat : 32079 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 23 0 509753356 8616062976 79336 33554432000 4194304 4196468 140725809877600 140352417687024 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32080] ppid=32044 vsize=8414124 memory=8204 CPUtime=770.6 cores=0-7
/proc/32067/task/32080/stat : 32080 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 23 0 509753359 8616062976 79336 33554432000 4194304 4196468 140725809877600 140352043178704 140354262726555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32081] ppid=32044 vsize=8414124 memory=9580 CPUtime=770.9 cores=0-7
/proc/32067/task/32081/stat : 32081 (java) S 32044 32044 31589 0 -1 1077944384 1390 4713165 0 0 30 0 76394 666 20 0 23 0 509753360 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353489324016 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32082] ppid=32044 vsize=8414124 memory=-8671516612828098962 CPUtime=770.85 cores=0-7
/proc/32067/task/32082/stat : 32082 (java) S 32044 32044 31589 0 -1 1077944384 770 4713165 0 0 25 0 76394 666 20 0 23 0 509753360 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353488271472 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32083] ppid=32044 vsize=8414124 memory=132404 CPUtime=770.81 cores=0-7
/proc/32067/task/32083/stat : 32083 (java) S 32044 32044 31589 0 -1 1077944384 603 4713165 0 0 21 0 76394 666 20 0 23 0 509753360 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353487218928 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32084] ppid=32044 vsize=8414124 memory=2903984 CPUtime=770.91 cores=0-7
/proc/32067/task/32084/stat : 32084 (java) S 32044 32044 31589 0 -1 1077944384 1333 4713165 0 0 31 0 76394 666 20 0 23 0 509753360 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353486166384 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32085] ppid=32044 vsize=8414124 memory=-8671516612828098962 CPUtime=770.6 cores=0-7
/proc/32067/task/32085/stat : 32085 (java) S 32044 32044 31589 0 -1 1077944384 3 4713165 0 0 0 0 76394 666 20 0 23 0 509753360 8616062976 79336 33554432000 4194304 4196468 140725809877600 140351545273056 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32086] ppid=32044 vsize=8414124 memory=4872558044660077418 CPUtime=770.66 cores=0-7
/proc/32067/task/32086/stat : 32086 (java) S 32044 32044 31589 0 -1 1077944384 9 4713165 0 0 5 1 76394 666 20 0 23 0 509753361 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353485114288 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32088] ppid=32044 vsize=8414124 memory=2897924 CPUtime=770.6 cores=0-7
/proc/32067/task/32088/stat : 32088 (java) S 32044 32044 31589 0 -1 1077944384 24 4713165 0 0 0 0 76394 666 20 0 23 0 509753443 8616062976 79336 33554432000 4194304 4196468 140725809877600 140353474982800 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32090] ppid=32044 vsize=8414124 memory=1440 CPUtime=770.97 cores=0-7
/proc/32067/task/32090/stat : 32090 (java) R 32044 32044 31589 0 -1 4202560 1804 4713165 0 0 32 5 76394 666 20 0 23 0 509753443 8616062976 79336 33554432000 4194304 4196468 140725809877600 140350874178272 140354244356907 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32092] ppid=32044 vsize=8414124 memory=808 CPUtime=770.6 cores=0-7
/proc/32067/task/32092/stat : 32092 (java) S 32044 32044 31589 0 -1 1077944384 8 4713165 0 0 0 0 76394 666 20 0 23 0 509753445 8616062976 79336 33554432000 4194304 4196468 140725809877600 140350605745088 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
Current children cumulated CPU time: 806.77 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 316772 KiB

[startup+126.601 s]
/proc/loadavg: 7.42 7.46 5.92 3/218 32115
/proc/meminfo: memFree=22630236/32770624 swapFree=66953492/67108860
[pid=32044] ppid=32041 vsize=113128 memory=1476 CPUtime=33.69 cores=0-7
/proc/32044/stat : 32044 (scop.sh) S 32041 32044 31589 0 -1 4202496 582 43927 0 0 0 0 3226 143 20 0 1 0 509751470 115843072 369 33554432000 4194304 5098028 140729369007936 140729369004680 140218640138876 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 26816512 140729369015036 140729369015384 140729369015384 140729369018313 0
/proc/32044/statm: 28282 369 311 221 0 87 0
[pid=32067] ppid=32044 vsize=8283048 memory=329020 CPUtime=773.54 cores=0-7
/proc/32067/stat : 32067 (java) S 32044 32044 31589 0 -1 1077944320 26365 4713165 0 0 273 21 76394 666 20 0 22 0 509753352 8481841152 82255 33554432000 4194304 4196468 140725809877600 140725809860144 140354262707959 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
/proc/32067/statm: 2070762 82255 3239 1 0 2032106 0
[pid=32067/tid=32068] ppid=32044 vsize=8283048 memory=2874768 CPUtime=771.7 cores=0-7
/proc/32067/task/32068/stat : 32068 (java) R 32044 32044 31589 0 -1 4202560 18301 4713165 0 0 98 12 76394 666 20 0 22 0 509753353 8481841152 82255 33554432000 4194304 4196468 140725809877600 140354234545952 140353765741200 0 4 2 25189581 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32069] ppid=32044 vsize=8283048 memory=6791534058613427641 CPUtime=770.6 cores=0-7
/proc/32067/task/32069/stat : 32069 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140354266950416 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32070] ppid=32044 vsize=8283048 memory=1728 CPUtime=770.6 cores=0-7
/proc/32067/task/32070/stat : 32070 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353747717008 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32071] ppid=32044 vsize=8283048 memory=8204 CPUtime=770.6 cores=0-7
/proc/32067/task/32071/stat : 32071 (java) S 32044 32044 31589 0 -1 1077944384 3 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353746664464 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32072] ppid=32044 vsize=8283048 memory=9580 CPUtime=770.6 cores=0-7
/proc/32067/task/32072/stat : 32072 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353745611920 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32073] ppid=32044 vsize=8283048 memory=1052 CPUtime=770.6 cores=0-7
/proc/32067/task/32073/stat : 32073 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353744558352 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32074] ppid=32044 vsize=8283048 memory=776 CPUtime=770.6 cores=0-7
/proc/32067/task/32074/stat : 32074 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353743505808 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32075] ppid=32044 vsize=8283048 memory=2832 CPUtime=770.6 cores=0-7
/proc/32067/task/32075/stat : 32075 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353742453264 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32076] ppid=32044 vsize=8283048 memory=668 CPUtime=770.6 cores=0-7
/proc/32067/task/32076/stat : 32076 (java) S 32044 32044 31589 0 -1 1077944384 2 4713165 0 0 0 0 76394 666 20 0 22 0 509753354 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353741400720 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32077] ppid=32044 vsize=8283048 memory=1264 CPUtime=770.6 cores=0-7
/proc/32067/task/32077/stat : 32077 (java) S 32044 32044 31589 0 -1 1077944384 7 4713165 0 0 0 0 76394 666 20 0 22 0 509753355 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353490377200 140354262719106 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32078] ppid=32044 vsize=8283048 memory=1096 CPUtime=770.6 cores=0-7
/proc/32067/task/32078/stat : 32078 (java) S 32044 32044 31589 0 -1 1077944384 13 4713165 0 0 0 0 76394 666 20 0 22 0 509753356 8481841152 82255 33554432000 4194304 4196468 140725809877600 140352686122400 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32079] ppid=32044 vsize=8283048 memory=1476 CPUtime=770.6 cores=0-7
/proc/32067/task/32079/stat : 32079 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 22 0 509753356 8481841152 82255 33554432000 4194304 4196468 140725809877600 140352417687024 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32080] ppid=32044 vsize=8283048 memory=1984 CPUtime=770.6 cores=0-7
/proc/32067/task/32080/stat : 32080 (java) S 32044 32044 31589 0 -1 1077944384 1 4713165 0 0 0 0 76394 666 20 0 22 0 509753359 8481841152 82255 33554432000 4194304 4196468 140725809877600 140352043178704 140354262726555 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32081] ppid=32044 vsize=8283048 memory=1440 CPUtime=770.96 cores=0-7
/proc/32067/task/32081/stat : 32081 (java) R 32044 32044 31589 0 -1 4202560 1421 4713165 0 0 36 0 76394 666 20 0 22 0 509753360 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353489315056 140354246701035 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32082] ppid=32044 vsize=8283048 memory=808 CPUtime=770.9 cores=0-7
/proc/32067/task/32082/stat : 32082 (java) R 32044 32044 31589 0 -1 4202560 878 4713165 0 0 30 0 76394 666 20 0 22 0 509753360 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353488257352 140354247815666 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32083] ppid=32044 vsize=8283048 memory=1476 CPUtime=770.86 cores=0-7
/proc/32067/task/32083/stat : 32083 (java) R 32044 32044 31589 0 -1 4202560 947 4713165 0 0 26 0 76394 666 20 0 22 0 509753360 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353487202944 140354244252072 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32084] ppid=32044 vsize=8283048 memory=132404 CPUtime=771 cores=0-7
/proc/32067/task/32084/stat : 32084 (java) R 32044 32044 31589 0 -1 4202560 1601 4713165 0 0 40 0 76394 666 20 0 22 0 509753360 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353486166384 140354262729306 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32085] ppid=32044 vsize=8283048 memory=1476 CPUtime=770.6 cores=0-7
/proc/32067/task/32085/stat : 32085 (java) S 32044 32044 31589 0 -1 1077944384 3 4713165 0 0 0 0 76394 666 20 0 22 0 509753360 8481841152 82255 33554432000 4194304 4196468 140725809877600 140351545273056 140354262718165 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32086] ppid=32044 vsize=8283048 memory=132404 CPUtime=770.66 cores=0-7
/proc/32067/task/32086/stat : 32086 (java) S 32044 32044 31589 0 -1 1077944384 9 4713165 0 0 5 1 76394 666 20 0 22 0 509753361 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353485114288 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32088] ppid=32044 vsize=8283048 memory=2856464 CPUtime=770.6 cores=0-7
/proc/32067/task/32088/stat : 32088 (java) S 32044 32044 31589 0 -1 1077944384 24 4713165 0 0 0 0 76394 666 20 0 22 0 509753443 8481841152 82255 33554432000 4194304 4196468 140725809877600 140353474982800 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
[pid=32067/tid=32092] ppid=32044 vsize=8283048 memory=4100 CPUtime=770.6 cores=0-7
/proc/32067/task/32092/stat : 32092 (java) S 32044 32044 31589 0 -1 1077944384 13 4713165 0 0 0 0 76394 666 20 0 22 0 509753445 8481841152 82255 33554432000 4194304 4196468 140725809877600 140350605747120 140354262719106 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8548352 140725809882079 140725809882246 140725809882246 140725809885135 0
Current children cumulated CPU time: 807.23 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 330496 KiB

Child status: 0
Real time (s): 126.659
CPU time (s): 807.422
CPU user time (s): 799.092
CPU system time (s): 8.33031
CPU usage (%): 637.478
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6026432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 799.092
system time used= 8.33032
maximum resident set size= 6025900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4784512
page faults= 0
swaps= 0
block input operations= 16
block output operations= 120440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66454
involuntary context switches= 7692


# summary of solver processes directly reported to runsolver:
#   pid: 32044
#   total CPU time (s): 807.422
#   total CPU user time (s): 799.092
#   total CPU system time (s): 8.33031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14166 second user time and 1.6914 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-24 17:18:46
IDJOB=4405527
IDBENCH=128075
IDSOLVER=2868
FILE ID=node119/4405527-1569338367
RUNJOBID= node119-1569335938-31616
PBS_JOBID= 21705065
Free space on /var/tmp= 13512 MiB

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

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

MD5SUM BENCH= 3e3af1bae7de9ef5515b71e9dbb47d41
RANDOM SEED=1849938884

node119.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.47
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.47
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.47
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.47
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:        25687368 kB
MemAvailable:   31796972 kB
Buffers:          123208 kB
Cached:          6085648 kB
SwapCached:        46744 kB
Active:          3087500 kB
Inactive:        3174088 kB
Active(anon):       5724 kB
Inactive(anon):   104076 kB
Active(file):    3081776 kB
Inactive(file):  3070012 kB
Unevictable:      107592 kB
Mlocked:          107592 kB
SwapTotal:      67108860 kB
SwapFree:       66953492 kB
Dirty:             20628 kB
Writeback:             0 kB
AnonPages:        173028 kB
Mapped:            56624 kB
Shmem:             48536 kB
Slab:             414788 kB
SReclaimable:     386276 kB
SUnreclaim:        28512 kB
KernelStack:        3776 kB
PageTables:         6220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node119 at 2019-09-24 17:20:53