Trace number 4392642

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-80-07.xml
MD5SUM551365d3bcc7e6d8199baaf77d133a5e
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 benchmark53.4289
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1428
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree76
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":52,"count":8}, {"degree":53,"count":8}, {"degree":54,"count":9}, {"degree":55,"count":9}, {"degree":56,"count":51}, {"degree":57,"count":6}, {"degree":58,"count":41}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":3}, {"degree":76,"count":55}]
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":41,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":47,"count":2},{"arity":50,"count":3},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":3},{"arity":58,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":3},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":2},{"arity":71,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1227},{"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-5108-serial-file.bin HOME/instance-4392642-1568431199.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.56	c BEGIN-Prog: Sat Sep 14 05:19:21 CEST 2019
0.65/0.56	c PID: 5111
0.65/0.56	c IP: 172.20.3.123
0.65/0.56	c HOST: node123.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.01/1.39	c (0,0) Parsing End
3.34/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1428 ctr, max domain size 24
3.34/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.34/1.40	c (0,0) Constraint Name Generate Begin
3.34/1.43	c (0,0) Ctr:HOME/instance-4392642-1568431199.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.34/1.43	c (0,0) Constraint Name Generate End
3.34/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.34/1.43	c (0,0) CSP to CSPinCNF Begin
11.51/4.64	c (4,4) translated 143 (10%) constraints
12.26/5.21	c (4,4) translated 286 (20%) constraints
12.26/5.24	c (4,4) translated 429 (30%) constraints
13.00/5.49	c (4,4) translated 572 (40%) constraints
13.00/5.49	c (4,4) translated 714 (50%) constraints
13.00/5.49	c (4,4) translated 857 (60%) constraints
13.00/5.49	c (4,4) translated 1000 (70%) constraints
13.00/5.49	c (4,4) translated 1143 (80%) constraints
15.24/7.36	c (6,6) translated 1286 (90%) constraints
16.74/8.84	c (8,8) translated 1428 (100%) constraints
16.74/8.86	c (8,8) ===========================================
16.86/8.91	c (8,8) Hybrid: #OE=10400, #LE=5800
16.86/8.91	c (8,8) Hybrid
16.86/8.91	c (8,8) ===========================================
17.94/9.47	c (8,8) translated 5586 (10%) constraints
18.47/9.72	c (9,9) translated 11171 (20%) constraints
18.81/9.86	c (9,9) translated 16756 (30%) constraints
18.91/9.98	c (9,9) translated 22341 (40%) constraints
19.12/10.11	c (9,9) translated 27926 (50%) constraints
19.21/10.23	c (9,9) translated 33511 (60%) constraints
19.32/10.36	c (9,9) translated 39096 (70%) constraints
19.41/10.48	c (9,9) translated 44681 (80%) constraints
19.62/10.60	c (10,10) translated 50266 (90%) constraints
21.13/12.05	c (11,11) translated 55851 (100%) constraints
21.13/12.06	c (11,11) CSP to CSPinCNF End
21.13/12.07	c (11,11) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65475 ctr, max domain size 24
21.13/12.07	c (11,11) Heap : 4280 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
21.13/12.07	c (11,11) CSPinCNF Propagation Begin
22.37/12.73	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.37/12.73	c (12,12) CSPinCNF Propagation End
22.37/12.73	c (12,12) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
22.37/12.73	c (12,12) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.37/12.79	c (12,12) Hybrid: #OE=15200, #LE=5800
22.37/12.79	c (12,12) Simplify CSPinCNF Begin
22.90/12.98	c (12,12) Simplify CSPinCNF End
22.90/12.98	c (12,12) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
22.90/12.98	c (12,12) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.90/12.98	c (12,12) Calculate Precise Domain Begin
22.90/12.98	c (12,12) 0 values are removed by re-calculation
22.90/12.98	c (12,12) Calculate Precise Domain End
22.90/12.99	c (12,12) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
22.90/12.99	c (12,12) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.90/12.99	c (12,12) CSPinCNF to SatSolver Begin
25.44/13.92	c (13,13) 6508 (10 %) CSP clauses are encoded (0 SAT variables, 234951 SAT clauses)
25.87/14.05	c (13,13) 13015 (20 %) CSP clauses are encoded (0 SAT variables, 241458 SAT clauses)
26.25/14.14	c (13,13) 19523 (30 %) CSP clauses are encoded (0 SAT variables, 247966 SAT clauses)
26.58/14.25	c (13,13) 26030 (40 %) CSP clauses are encoded (0 SAT variables, 254473 SAT clauses)
26.76/14.33	c (13,13) 32538 (50 %) CSP clauses are encoded (0 SAT variables, 260981 SAT clauses)
26.86/14.40	c (13,13) 39045 (60 %) CSP clauses are encoded (0 SAT variables, 267488 SAT clauses)
26.86/14.48	c (13,13) 45553 (70 %) CSP clauses are encoded (0 SAT variables, 273996 SAT clauses)
26.97/14.56	c (14,14) 52060 (80 %) CSP clauses are encoded (0 SAT variables, 280503 SAT clauses)
27.06/14.64	c (14,14) 58568 (90 %) CSP clauses are encoded (0 SAT variables, 287011 SAT clauses)
33.12/19.47	c (18,18) 65075 (100 %) CSP clauses are encoded (0 SAT variables, 2711723 SAT clauses)
33.22/19.50	c (18,18) CSPinCNF to SatSolver End
33.22/19.50	c (18,18) Heap : 4133 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
33.22/19.50	c (18,18) 930339 bool, 2729118 clause
33.22/19.50	c (18,18) Export Begin
33.72/19.72	c (19,18) Export to HOME/scop-5108-serial-file.bin
33.72/19.72	c (19,18) Export End
33.72/19.72	c (19,18) Export File Size: 0.47 MB
33.72/19.72	c (19,18) 0,0,11,12,12,12,18,STOP-AFTER(DIMACS)
33.72/19.72	c END-Prog: Sat Sep 14 05:19:40 CEST 2019
33.72/19.77	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-5108-serial-file.bin
34.38/20.23	c (0,0) Read Serial File Begin
34.38/20.23	c (0,0) HOME/scop-5108-serial-file.bin
34.97/20.59	c (0,0) Read Serial File End
35.23/20.60	
35.23/20.60	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
35.23/20.60	(Solving Process)
35.23/20.60	
35.23/20.63	c BEGIN-Prog: Sat Sep 14 05:19:41 CEST 2019
35.23/20.63	c PID: 5131
35.23/20.63	c IP: 172.20.3.123
35.23/20.63	c HOST: node123.alineos.net
35.23/20.63	c (0,0) SatSolver.solve Begin
35.23/20.63	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392642-1568431199.xml-scop-5111.cnf
35.23/20.66	c (0,0) c
35.23/20.66	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.23/20.66	c (0,0) c
35.23/20.66	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.23/20.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.23/20.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.23/20.66	c (0,0) c |                                                                                                       |
36.77/22.05	c (1,0) c |  Number of variables:        930339                                                                   |
36.77/22.05	c (1,0) c |  Number of clauses:         2728246                                                                   |
36.77/22.05	c (1,0) c |  Parse time:                   1.06 s                                                                 |
36.77/22.05	c (1,0) c |                                                                                                       |
38.66/23.95	c (3,0) c |  Simplification time:          1.83 s                                                                 |
38.66/23.95	c (3,0) c |                                                                                                       |
38.66/23.95	c (3,0) c |  Generating clones                                                                                    |
39.87/25.17	c (5,0) c |  all clones generated. Memory =  2308.64Mb.                                                           |
39.87/25.17	c (5,0) c ========================================================================================================|
39.87/25.17	c (5,0) c
39.87/25.17	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.87/25.17	c (5,0) c
39.87/25.17	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.87/25.17	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.87/25.17	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.87/25.17	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.87/25.17	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.87/25.17	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.87/25.17	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
39.87/25.17	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.87/25.17	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.87/25.17	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.87/25.17	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.87/25.17	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.87/25.17	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.87/25.17	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.87/25.17	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
39.87/25.17	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.87/25.17	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.87/25.18	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.87/25.18	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
270.60/55.03	c (34,0) c
270.60/55.03	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
270.60/55.03	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
270.60/55.03	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
270.60/55.03	c (34,0) c |  0 |    155 |     619981 |      87972 |   119740 |    34446 |    15971 |    62071 |       16 |       92 |  20 |  0.130 |
270.60/55.03	c (34,0) c |  1 |     82 |     647618 |      45088 |   114944 |    18996 |     9496 |    86975 |      657 |      111 |  20 |  0.172 |
270.60/55.03	c (34,0) c |  2 |    163 |    1489510 |     101897 |   161820 |    30742 |    23280 |    77659 |     1816 |      111 |  20 |  0.169 |
270.60/55.03	c (34,0) c |  3 |    191 |    1199361 |      80274 |   118576 |    26716 |    15596 |    64443 |      772 |       93 |  20 |  0.149 |
270.60/55.03	c (34,0) c |  4 |    172 |     565552 |      83596 |   177701 |    25088 |    16765 |    84058 |     2449 |      111 |  20 |  0.173 |
270.60/55.03	c (34,0) c |  5 |    141 |    1023515 |      54100 |   171683 |    15574 |    13036 |    88542 |      674 |      112 |  20 |  0.169 |
270.60/55.03	c (34,0) c |  6 |    134 |     880858 |      91726 |   133255 |    21782 |    20249 |    80772 |      776 |      112 |  20 |  0.169 |
270.60/55.03	c (34,0) c |  7 |    103 |     714609 |      46740 |   170596 |    20654 |    10587 |    75937 |      145 |      105 |  20 |  0.166 |
270.60/55.03	c (34,0) c 
270.60/55.03	c (34,0) c synthesis      591398 conflicts   855937244 propagations     2551 conflicts/sec  3692654 propagations/sec
270.60/55.03	c (34,0) c real: 34.3734 s, cpu: 231.795 s, memory: 2902.88 Mb
496.46/85.03	c (64,0) c
496.46/85.03	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
496.46/85.03	c (64,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
496.46/85.03	c (64,0) c |------------------------------------------------------------------------------------------------------------------------|
496.46/85.03	c (64,0) c |  0 |    384 |    1064031 |     167435 |   210381 |    28248 |    28783 |   174507 |     1722 |      192 |  20 |  0.219 |
496.46/85.03	c (64,0) c |  1 |    269 |    1027810 |     165872 |   172494 |    26330 |    33658 |   183288 |     3650 |      212 |  20 |  0.220 |
496.46/85.03	c (64,0) c |  2 |    338 |    2042987 |     231219 |   177348 |    57726 |    40618 |   177695 |     3901 |      212 |  20 |  0.223 |
496.46/85.03	c (64,0) c |  3 |    478 |    1602909 |     167674 |   175327 |    28959 |    28262 |   180212 |     1813 |      200 |  20 |  0.208 |
496.46/85.03	c (64,0) c |  4 |    435 |     885367 |     146351 |   266368 |    40758 |    24172 |   194467 |     4488 |      212 |  20 |  0.213 |
496.46/85.03	c (64,0) c |  5 |    297 |    1877796 |     126402 |   247971 |    35056 |    23901 |   192187 |     1586 |      212 |  20 |  0.219 |
496.46/85.03	c (64,0) c |  6 |    368 |    1193931 |     129986 |   229261 |    34722 |    23277 |   194014 |     1484 |      212 |  20 |  0.220 |
496.46/85.03	c (64,0) c |  7 |    303 |    1145592 |     110128 |   273598 |    38956 |    20708 |   195257 |     1988 |      212 |  20 |  0.221 |
496.46/85.03	c (64,0) c 
496.46/85.03	c (64,0) c synthesis     1245076 conflicts  1635806973 propagations     2730 conflicts/sec  3586244 propagations/sec
496.46/85.03	c (64,0) c real: 64.3796 s, cpu: 456.134 s, memory: 3159.62 Mb
704.52/115.69	c (95,0) c
704.52/115.69	c (95,0) c real time : 95.039 s
704.52/115.69	c (95,0) c cpu time  : 662.263 s
704.52/115.69	c (95,0) c
704.52/115.69	c (95,0) c
704.52/115.69	c (95,0) c
704.52/115.69	c (95,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
704.52/115.69	c (95,0) c
704.52/115.69	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.52/115.69	c (95,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
704.52/115.69	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.52/115.69	c (95,0) c | Conflicts     |         1663335 |     216126 |     224314 |     291028 |     217638 |     202838 |     162132 |     159836 |     189423 |
704.52/115.69	c (95,0) c | Decisions     |        13316498 |    1331350 |    1238099 |    2638926 |    1883152 |    1330171 |    2090414 |    1432636 |    1371750 |
704.52/115.69	c (95,0) c | Propagations  |      2375179575 |  301842859 |  276756686 |  280162188 |  306625678 |  303478035 |  306825911 |  300285575 |  299202643 |
704.52/115.69	c (95,0) c | ReduceDBs     |              92 |         12 |         12 |         14 |         12 |         11 |         10 |         10 |         11 |
704.52/115.69	c (95,0) c | SimpDBs       |             175 |         22 |         18 |         22 |         25 |         24 |         21 |         25 |         18 |
704.52/115.69	c (95,0) c | Restarts      |            4320 |        620 |        466 |        482 |        754 |        573 |        473 |        544 |        408 |
704.52/115.69	c (95,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
704.52/115.69	c (95,0) c | PropBinClauses|       554888757 |   70176285 |   69235566 |   72612909 |   78197499 |   72963684 |   64818154 |   60796597 |   66088063 |
704.52/115.69	c (95,0) c | PropPreBlocker|      6071419637 |  763119266 |  730381172 |  750480163 |  751559896 |  756750466 |  771734210 |  761336175 |  786058289 |
704.52/115.69	c (95,0) c | PropNotBlocker|      2679663260 |  339244284 |  316031200 |  327294252 |  345730947 |  337201650 |  337457745 |  334040196 |  342662986 |
704.52/115.69	c (95,0) c | LitFullScans  |     14665764827 | 1830579433 | 1830598176 | 1832167370 | 1836947542 | 1830955073 | 1831202761 | 1836815754 | 1836498718 |
704.52/115.69	c (95,0) c | LitScanFracts |         6187173 |     571035 |     590469 |     743470 |     837849 |     942016 |    1196175 |     812304 |     493855 |
704.52/115.69	c (95,0) c | DecisionLevel0|            4403 |        638 |        475 |        492 |        764 |        578 |        480 |        560 |        416 |
704.52/115.69	c (95,0) c | Periods       |            2443 |        305 |        305 |        305 |        306 |        305 |        305 |        306 |        306 |
704.52/115.69	c (95,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
704.52/115.69	c (95,0) c | Avg_Trail     |                 |      35279 |      28314 |      28089 |      32928 |      31892 |      38010 |      40563 |      39097 |
704.52/115.69	c (95,0) c | Avg_DL        |                 |        225 |        261 |        309 |        221 |        220 |        319 |        347 |        290 |
704.52/115.69	c (95,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
704.52/115.69	c (95,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
704.52/115.69	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.52/115.69	c (95,0) c | Exported      |          277725 |      34232 |      40758 |      49852 |      35456 |      31586 |      27884 |      26666 |      31291 |
704.52/115.69	c (95,0) c | Imported      |         1848853 |     233424 |     226224 |     215979 |     231357 |     235299 |     239668 |     239634 |     227268 |
704.52/115.69	c (95,0) c | Good          |           95728 |      12044 |      12384 |      12012 |      11892 |      11451 |      12144 |      12097 |      11704 |
704.52/115.69	c (95,0) c | Purge         |         1753125 |     221380 |     213840 |     203967 |     219465 |     223848 |     227524 |     227537 |     215564 |
704.52/115.70	c (95,0) c | Promoted      |           30417 |       2883 |       4586 |       5112 |       3708 |       5993 |       2534 |       2119 |       3482 |
704.52/115.70	c (95,0) c | Remove_Imp    |         1231907 |     164761 |     141963 |     116924 |     151754 |     158392 |     162690 |     159120 |     176303 |
704.52/115.70	c (95,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
704.52/115.70	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.52/115.70	c (95,0) c | Unaries       |                 |         18 |          9 |         10 |         10 |          5 |          7 |         16 |          8 |
704.52/115.70	c (95,0) c | Binaries      |                 |       1756 |       1462 |       1830 |       1975 |       2398 |       1689 |       1773 |       1312 |
704.52/115.70	c (95,0) c | Glues         |                 |       6882 |       6489 |       8282 |       7449 |       8048 |       4795 |       5482 |       4571 |
704.52/115.70	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.52/115.70	c (95,0) c | Orig_Seen     |            11 % |     306793 |     242423 |     272388 |     303522 |     316199 |     305211 |     314324 |     328551 |
704.52/115.70	c (95,0) c | Diff Orig seen|                 |      34405 | -    29965 |      X     |      31134 |      43811 |      32823 |      41936 |      56163 |
704.52/115.70	c (95,0) c | Hamming       |            22 % |     212396 |     200313 |      X     |     218458 |     191500 |     204602 |     216523 |     223689 |
704.52/115.70	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.52/115.70	c (95,0) c | RunningTime   |                 |   90.4 100%|   82.5  94%|   79.7  92%|   87.1 100%|   84.4  97%|   79.7  92%|   82.2  95%|   81.2  94%|
704.52/115.70	c (95,0) c | WaitingTime   |                 |    0.0   0%|    5.3   6%|    6.7   8%|    0.0   0%|    2.1   2%|    6.7   8%|    4.4   5%|    5.3   6%|
704.52/115.70	c (95,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
704.52/115.70	c (95,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%|
704.52/115.70	c (95,0) c | SolvingTime   |                 |   90.5     |   87.9     |   86.4     |   87.2     |   86.5     |   86.5     |   86.7     |   86.7     |
704.52/115.70	c (95,0) c | PropagationTim|                 |   77.0  85%|   73.9  84%|   70.4  81%|   73.6  84%|   72.6  84%|   71.8  83%|   72.2  83%|   73.5  85%|
704.52/115.70	c (95,0) c | AnalysisTime  |                 |    4.6   5%|    6.1   7%|    6.1   7%|    4.6   5%|    4.6   5%|    5.1   6%|    4.5   5%|    4.8   5%|
704.52/115.70	c (95,0) c | ReductionTime |                 |    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.5   1%|    0.4   1%|    0.5   1%|    0.5   1%|
704.52/115.70	c (95,0) c | SimplifyTime  |                 |    1.3   1%|    1.8   2%|    3.0   3%|    1.4   2%|    1.7   2%|    2.4   3%|    2.6   3%|    1.4   2%|
704.52/115.70	c (95,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%|
704.52/115.70	c (95,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%|
704.52/115.70	c (95,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.52/115.70	c (95,0) c
704.52/115.70	c (95,0) c
704.52/115.70	c (95,0) c Threads : 8
704.52/115.70	c (95,0) c Winner : 2
704.52/115.70	c (95,0) c Conflicts_0 : 216126
704.52/115.70	c (95,0) c Conflicts_1 : 224314
704.52/115.70	c (95,0) c Conflicts_2 : 291028
704.52/115.70	c (95,0) c Conflicts_3 : 217638
704.52/115.70	c (95,0) c Conflicts_4 : 202838
704.52/115.70	c (95,0) c Conflicts_5 : 162132
704.52/115.70	c (95,0) c Conflicts_6 : 159836
704.52/115.70	c (95,0) c Conflicts_7 : 189423
704.52/115.70	c (95,0) c Conflicts_total : 1663335
704.52/115.70	c (95,0) c Conflicts_winner : 291028
704.52/115.70	c (95,0) c Decisions_0 : 1331350
704.52/115.70	c (95,0) c Decisions_1 : 1238099
704.52/115.70	c (95,0) c Decisions_2 : 2638926
704.52/115.70	c (95,0) c Decisions_3 : 1883152
704.52/115.70	c (95,0) c Decisions_4 : 1330171
704.52/115.70	c (95,0) c Decisions_5 : 2090414
704.52/115.70	c (95,0) c Decisions_6 : 1432636
704.52/115.70	c (95,0) c Decisions_7 : 1371750
704.63/115.70	c (95,0) c Decisions_total : 13316498
704.63/115.70	c (95,0) c Decisions_winner : 2638926
704.63/115.70	c (95,0) c Propagations_0 : 301842859
704.63/115.70	c (95,0) c Propagations_1 : 276756686
704.63/115.70	c (95,0) c Propagations_2 : 280162188
704.63/115.70	c (95,0) c Propagations_3 : 306625678
704.63/115.70	c (95,0) c Propagations_4 : 303478035
704.63/115.70	c (95,0) c Propagations_5 : 306825911
704.63/115.70	c (95,0) c Propagations_6 : 300285575
704.63/115.70	c (95,0) c Propagations_7 : 299202643
704.63/115.70	c (95,0) c Propagations_total : 2375179575
704.63/115.70	c (95,0) c Propagations_winner : 280162188
704.63/115.70	c (95,0) c ReduceDBs_0 : 12
704.63/115.70	c (95,0) c ReduceDBs_1 : 12
704.63/115.70	c (95,0) c ReduceDBs_2 : 14
704.63/115.70	c (95,0) c ReduceDBs_3 : 12
704.63/115.70	c (95,0) c ReduceDBs_4 : 11
704.63/115.70	c (95,0) c ReduceDBs_5 : 10
704.63/115.70	c (95,0) c ReduceDBs_6 : 10
704.63/115.70	c (95,0) c ReduceDBs_7 : 11
704.63/115.70	c (95,0) c ReduceDBs_total : 92
704.63/115.70	c (95,0) c ReduceDBs_winner : 14
704.63/115.70	c (95,0) c SimpDBs_0 : 22
704.63/115.70	c (95,0) c SimpDBs_1 : 18
704.63/115.70	c (95,0) c SimpDBs_2 : 22
704.63/115.70	c (95,0) c SimpDBs_3 : 25
704.63/115.70	c (95,0) c SimpDBs_4 : 24
704.63/115.70	c (95,0) c SimpDBs_5 : 21
704.63/115.70	c (95,0) c SimpDBs_6 : 25
704.63/115.70	c (95,0) c SimpDBs_7 : 18
704.63/115.70	c (95,0) c SimpDBs_total : 175
704.63/115.70	c (95,0) c SimpDBs_winner : 22
704.63/115.70	c (95,0) c Restarts_0 : 620
704.63/115.70	c (95,0) c Restarts_1 : 466
704.63/115.70	c (95,0) c Restarts_2 : 482
704.63/115.70	c (95,0) c Restarts_3 : 754
704.63/115.70	c (95,0) c Restarts_4 : 573
704.63/115.70	c (95,0) c Restarts_5 : 473
704.63/115.70	c (95,0) c Restarts_6 : 544
704.63/115.70	c (95,0) c Restarts_7 : 408
704.63/115.70	c (95,0) c Restarts_total : 4320
704.63/115.70	c (95,0) c Restarts_winner : 482
704.63/115.70	c (95,0) c ForcedImports_0 : 0
704.63/115.70	c (95,0) c ForcedImports_1 : 0
704.63/115.70	c (95,0) c ForcedImports_2 : 0
704.63/115.70	c (95,0) c ForcedImports_3 : 0
704.63/115.70	c (95,0) c ForcedImports_4 : 0
704.63/115.70	c (95,0) c ForcedImports_5 : 0
704.63/115.70	c (95,0) c ForcedImports_6 : 0
704.63/115.70	c (95,0) c ForcedImports_7 : 0
704.63/115.70	c (95,0) c ForcedImports_total : 0
704.63/115.70	c (95,0) c ForcedImports_winner : 0
704.63/115.70	c (95,0) c PropsBinClauses_0 : 70176285
704.63/115.70	c (95,0) c PropsBinClauses_1 : 69235566
704.63/115.70	c (95,0) c PropsBinClauses_2 : 72612909
704.63/115.70	c (95,0) c PropsBinClauses_3 : 78197499
704.63/115.70	c (95,0) c PropsBinClauses_4 : 72963684
704.63/115.70	c (95,0) c PropsBinClauses_5 : 64818154
704.63/115.70	c (95,0) c PropsBinClauses_6 : 60796597
704.63/115.70	c (95,0) c PropsBinClauses_7 : 66088063
704.63/115.70	c (95,0) c PropsBinClauses_total : 554888757
704.63/115.70	c (95,0) c PropsBinClauses_winner : 72612909
704.63/115.70	c (95,0) c PropsPreBlocker_0 : 763119266
704.63/115.70	c (95,0) c PropsPreBlocker_1 : 730381172
704.63/115.70	c (95,0) c PropsPreBlocker_2 : 750480163
704.63/115.70	c (95,0) c PropsPreBlocker_3 : 751559896
704.63/115.70	c (95,0) c PropsPreBlocker_4 : 756750466
704.63/115.70	c (95,0) c PropsPreBlocker_5 : 771734210
704.63/115.70	c (95,0) c PropsPreBlocker_6 : 761336175
704.63/115.70	c (95,0) c PropsPreBlocker_7 : 786058289
704.63/115.70	c (95,0) c PropsPreBlocker_total : 6071419637
704.63/115.70	c (95,0) c PropsPreBlocker_winner : 750480163
704.63/115.70	c (95,0) c PropsNotBlocker_0 : 339244284
704.63/115.70	c (95,0) c PropsNotBlocker_1 : 316031200
704.63/115.70	c (95,0) c PropsNotBlocker_2 : 327294252
704.63/115.70	c (95,0) c PropsNotBlocker_3 : 345730947
704.63/115.70	c (95,0) c PropsNotBlocker_4 : 337201650
704.63/115.70	c (95,0) c PropsNotBlocker_5 : 337457745
704.63/115.70	c (95,0) c PropsNotBlocker_6 : 334040196
704.63/115.70	c (95,0) c PropsNotBlocker_7 : 342662986
704.63/115.70	c (95,0) c PropsNotBlocker_total : 2679663260
704.63/115.70	c (95,0) c PropsNotBlocker_winner : 327294252
704.63/115.70	c (95,0) c PropsLitFullScans_0 : 1830579433
704.63/115.70	c (95,0) c PropsLitFullScans_1 : 1830598176
704.63/115.70	c (95,0) c PropsLitFullScans_2 : 1832167370
704.63/115.70	c (95,0) c PropsLitFullScans_3 : 1836947542
704.63/115.70	c (95,0) c PropsLitFullScans_4 : 1830955073
704.63/115.70	c (95,0) c PropsLitFullScans_5 : 1831202761
704.63/115.70	c (95,0) c PropsLitFullScans_6 : 1836815754
704.63/115.70	c (95,0) c PropsLitFullScans_7 : 1836498718
704.63/115.70	c (95,0) c PropsLitFullScans_total : 14665764827
704.63/115.70	c (95,0) c PropsLitFullScans_winner : 1832167370
704.63/115.70	c (95,0) c LitScanFractions_0 : 571035
704.63/115.70	c (95,0) c LitScanFractions_1 : 590469
704.63/115.70	c (95,0) c LitScanFractions_2 : 743470
704.63/115.70	c (95,0) c LitScanFractions_3 : 837849
704.63/115.70	c (95,0) c LitScanFractions_4 : 942016
704.63/115.70	c (95,0) c LitScanFractions_5 : 1196175
704.63/115.70	c (95,0) c LitScanFractions_6 : 812304
704.63/115.70	c (95,0) c LitScanFractions_7 : 493855
704.63/115.70	c (95,0) c LitScanFractions_total : 6187173
704.63/115.70	c (95,0) c LitScanFractions_winner : 743470
704.63/115.70	c (95,0) c DecisionLevel0_0 : 638
704.63/115.70	c (95,0) c DecisionLevel0_1 : 475
704.63/115.70	c (95,0) c DecisionLevel0_2 : 492
704.63/115.70	c (95,0) c DecisionLevel0_3 : 764
704.63/115.70	c (95,0) c DecisionLevel0_4 : 578
704.63/115.70	c (95,0) c DecisionLevel0_5 : 480
704.63/115.70	c (95,0) c DecisionLevel0_6 : 560
704.63/115.70	c (95,0) c DecisionLevel0_7 : 416
704.63/115.70	c (95,0) c DecisionLevel0_total : 4403
704.63/115.70	c (95,0) c DecisionLevel0_winner : 492
704.63/115.70	c (95,0) c Periods_0 : 305
704.63/115.70	c (95,0) c Periods_1 : 305
704.63/115.70	c (95,0) c Periods_2 : 305
704.63/115.70	c (95,0) c Periods_3 : 306
704.63/115.70	c (95,0) c Periods_4 : 305
704.63/115.70	c (95,0) c Periods_5 : 305
704.63/115.70	c (95,0) c Periods_6 : 306
704.63/115.70	c (95,0) c Periods_7 : 306
704.63/115.70	c (95,0) c Periods_total : 2443
704.63/115.70	c (95,0) c Periods_winner : 305
704.63/115.70	c (95,0) c Margin_0 : 20
704.63/115.70	c (95,0) c Margin_1 : 20
704.63/115.70	c (95,0) c Margin_2 : 20
704.63/115.70	c (95,0) c Margin_3 : 20
704.63/115.70	c (95,0) c Margin_4 : 20
704.63/115.70	c (95,0) c Margin_5 : 20
704.63/115.70	c (95,0) c Margin_6 : 20
704.63/115.70	c (95,0) c Margin_7 : 20
704.63/115.70	c (95,0) c Margin_total : 160
704.63/115.70	c (95,0) c Margin_winner : 20
704.63/115.70	c (95,0) c Exported_0 : 34232
704.63/115.70	c (95,0) c Exported_1 : 40758
704.63/115.70	c (95,0) c Exported_2 : 49852
704.63/115.70	c (95,0) c Exported_3 : 35456
704.63/115.70	c (95,0) c Exported_4 : 31586
704.63/115.70	c (95,0) c Exported_5 : 27884
704.63/115.70	c (95,0) c Exported_6 : 26666
704.63/115.70	c (95,0) c Exported_7 : 31291
704.63/115.70	c (95,0) c Exported_total : 277725
704.63/115.70	c (95,0) c Exported_winner : 49852
704.63/115.70	c (95,0) c Imported_0 : 233424
704.63/115.70	c (95,0) c Imported_1 : 226224
704.63/115.70	c (95,0) c Imported_2 : 215979
704.63/115.70	c (95,0) c Imported_3 : 231357
704.63/115.70	c (95,0) c Imported_4 : 235299
704.63/115.70	c (95,0) c Imported_5 : 239668
704.63/115.70	c (95,0) c Imported_6 : 239634
704.63/115.70	c (95,0) c Imported_7 : 227268
704.63/115.70	c (95,0) c Imported_total : 1848853
704.63/115.70	c (95,0) c Imported_winner : 215979
704.63/115.70	c (95,0) c Good_0 : 12044
704.63/115.70	c (95,0) c Good_1 : 12384
704.63/115.70	c (95,0) c Good_2 : 12012
704.63/115.70	c (95,0) c Good_3 : 11892
704.63/115.70	c (95,0) c Good_4 : 11451
704.63/115.70	c (95,0) c Good_5 : 12144
704.63/115.70	c (95,0) c Good_6 : 12097
704.63/115.70	c (95,0) c Good_7 : 11704
704.63/115.70	c (95,0) c Good_total : 95728
704.63/115.70	c (95,0) c Good_winner : 12012
704.63/115.70	c (95,0) c Purge_0 : 221380
704.63/115.70	c (95,0) c Purge_1 : 213840
704.63/115.70	c (95,0) c Purge_2 : 203967
704.63/115.70	c (95,0) c Purge_3 : 219465
704.63/115.70	c (95,0) c Purge_4 : 223848
704.63/115.70	c (95,0) c Purge_5 : 227524
704.63/115.70	c (95,0) c Purge_6 : 227537
704.63/115.70	c (95,0) c Purge_7 : 215564
704.63/115.70	c (95,0) c Purge_total : 1753125
704.63/115.70	c (95,0) c Purge_winner : 203967
704.63/115.70	c (95,0) c Promoted_0 : 2883
704.63/115.70	c (95,0) c Promoted_1 : 4586
704.63/115.70	c (95,0) c Promoted_2 : 5112
704.63/115.70	c (95,0) c Promoted_3 : 3708
704.63/115.70	c (95,0) c Promoted_4 : 5993
704.63/115.70	c (95,0) c Promoted_5 : 2534
704.63/115.70	c (95,0) c Promoted_6 : 2119
704.63/115.70	c (95,0) c Promoted_7 : 3482
704.63/115.70	c (95,0) c Promoted_total : 30417
704.63/115.70	c (95,0) c Promoted_winner : 5112
704.63/115.70	c (95,0) c Remove_Imp_0 : 164761
704.63/115.70	c (95,0) c Remove_Imp_1 : 141963
704.63/115.70	c (95,0) c Remove_Imp_2 : 116924
704.63/115.70	c (95,0) c Remove_Imp_3 : 151754
704.63/115.70	c (95,0) c Remove_Imp_4 : 158392
704.63/115.70	c (95,0) c Remove_Imp_5 : 162690
704.63/115.70	c (95,0) c Remove_Imp_6 : 159120
704.63/115.70	c (95,0) c Remove_Imp_7 : 176303
704.63/115.70	c (95,0) c Remove_Imp_total : 1231907
704.63/115.70	c (95,0) c Remove_Imp_winner : 116924
704.63/115.70	c (95,0) c Blocked_Reuse_0 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_1 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_2 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_3 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_4 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_5 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_6 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_7 : 0
704.63/115.70	c (95,0) c Blocked_Reuse_total : 0
704.63/115.70	c (95,0) c Blocked_Reuse_winner : 0
704.63/115.70	c (95,0) c Unaries_0 : 18
704.63/115.70	c (95,0) c Unaries_1 : 9
704.63/115.70	c (95,0) c Unaries_2 : 10
704.63/115.70	c (95,0) c Unaries_3 : 10
704.63/115.70	c (95,0) c Unaries_4 : 5
704.63/115.70	c (95,0) c Unaries_5 : 7
704.63/115.70	c (95,0) c Unaries_6 : 16
704.63/115.70	c (95,0) c Unaries_7 : 8
704.63/115.71	c (95,0) c Unaries_total : 83
704.63/115.71	c (95,0) c Unaries_winner : 10
704.63/115.71	c (95,0) c Binaries_0 : 1756
704.63/115.71	c (95,0) c Binaries_1 : 1462
704.63/115.71	c (95,0) c Binaries_2 : 1830
704.63/115.71	c (95,0) c Binaries_3 : 1975
704.63/115.71	c (95,0) c Binaries_4 : 2398
704.63/115.71	c (95,0) c Binaries_5 : 1689
704.63/115.71	c (95,0) c Binaries_6 : 1773
704.63/115.71	c (95,0) c Binaries_7 : 1312
704.63/115.71	c (95,0) c Binaries_total : 14195
704.63/115.71	c (95,0) c Binaries_winner : 1830
704.63/115.71	c (95,0) c Glues_0 : 6882
704.63/115.71	c (95,0) c Glues_1 : 6489
704.63/115.71	c (95,0) c Glues_2 : 8282
704.63/115.71	c (95,0) c Glues_3 : 7449
704.63/115.71	c (95,0) c Glues_4 : 8048
704.63/115.71	c (95,0) c Glues_5 : 4795
704.63/115.71	c (95,0) c Glues_6 : 5482
704.63/115.71	c (95,0) c Glues_7 : 4571
704.63/115.71	c (95,0) c Glues_total : 51998
704.63/115.71	c (95,0) c Glues_winner : 8282
704.63/115.71	c (95,0) c RunningTime_0 : 90.352088
704.63/115.71	c (95,0) c RunningTime_1 : 82.490359
704.63/115.71	c (95,0) c RunningTime_2 : 79.653659
704.63/115.71	c (95,0) c RunningTime_3 : 87.104301
704.63/115.71	c (95,0) c RunningTime_4 : 84.354162
704.63/115.71	c (95,0) c RunningTime_5 : 79.706106
704.63/115.71	c (95,0) c RunningTime_6 : 82.235590
704.63/115.71	c (95,0) c RunningTime_7 : 81.249034
704.63/115.71	c (95,0) c RunningTime_total : 667.145299
704.63/115.71	c (95,0) c RunningTime_winner : 79.653659
704.63/115.71	c (95,0) c WaitingTime_0 : 0.000421
704.63/115.71	c (95,0) c WaitingTime_1 : 5.252177
704.63/115.71	c (95,0) c WaitingTime_2 : 6.665673
704.63/115.71	c (95,0) c WaitingTime_3 : 0.000551
704.63/115.71	c (95,0) c WaitingTime_4 : 2.070434
704.63/115.71	c (95,0) c WaitingTime_5 : 6.651150
704.63/115.71	c (95,0) c WaitingTime_6 : 4.350430
704.63/115.71	c (95,0) c WaitingTime_7 : 5.343289
704.63/115.71	c (95,0) c WaitingTime_total : 30.334124
704.63/115.71	c (95,0) c WaitingTime_winner : 6.665673
704.63/115.71	c (95,0) c ExchangingTime_0 : 0.108883
704.63/115.71	c (95,0) c ExchangingTime_1 : 0.110322
704.63/115.71	c (95,0) c ExchangingTime_2 : 0.113452
704.63/115.71	c (95,0) c ExchangingTime_3 : 0.110826
704.63/115.71	c (95,0) c ExchangingTime_4 : 0.114699
704.63/115.71	c (95,0) c ExchangingTime_5 : 0.103229
704.63/115.71	c (95,0) c ExchangingTime_6 : 0.113577
704.63/115.71	c (95,0) c ExchangingTime_7 : 0.100674
704.63/115.71	c (95,0) c ExchangingTime_total : 0.875663
704.63/115.71	c (95,0) c ExchangingTime_winner : 0.113452
704.63/115.71	c (95,0) c PeriodProcTime_0 : 0.004101
704.63/115.71	c (95,0) c PeriodProcTime_1 : 0.003060
704.63/115.71	c (95,0) c PeriodProcTime_2 : 0.003115
704.63/115.71	c (95,0) c PeriodProcTime_3 : 0.003300
704.63/115.71	c (95,0) c PeriodProcTime_4 : 0.003000
704.63/115.71	c (95,0) c PeriodProcTime_5 : 0.002928
704.63/115.71	c (95,0) c PeriodProcTime_6 : 0.002993
704.63/115.71	c (95,0) c PeriodProcTime_7 : 0.004559
704.63/115.71	c (95,0) c PeriodProcTime_total : 0.027056
704.63/115.71	c (95,0) c PeriodProcTime_winner : 0.003115
704.63/115.71	c (95,0) c SolvingTime_0 : 90.465493
704.63/115.71	c (95,0) c SolvingTime_1 : 87.855917
704.63/115.71	c (95,0) c SolvingTime_2 : 86.435899
704.63/115.71	c (95,0) c SolvingTime_3 : 87.218978
704.63/115.71	c (95,0) c SolvingTime_4 : 86.542295
704.63/115.71	c (95,0) c SolvingTime_5 : 86.463413
704.63/115.71	c (95,0) c SolvingTime_6 : 86.702590
704.63/115.71	c (95,0) c SolvingTime_7 : 86.697556
704.63/115.71	c (95,0) c SolvingTime_total : 698.382142
704.63/115.71	c (95,0) c SolvingTime_winner : 86.435899
704.63/115.71	c (95,0) c PropagationTime_0 : 76.953338
704.63/115.71	c (95,0) c PropagationTime_1 : 73.901398
704.63/115.71	c (95,0) c PropagationTime_2 : 70.407463
704.63/115.71	c (95,0) c PropagationTime_3 : 73.557627
704.63/115.71	c (95,0) c PropagationTime_4 : 72.605958
704.63/115.71	c (95,0) c PropagationTime_5 : 71.768020
704.63/115.71	c (95,0) c PropagationTime_6 : 72.231748
704.63/115.71	c (95,0) c PropagationTime_7 : 73.460182
704.63/115.71	c (95,0) c PropagationTime_total : 584.885734
704.63/115.71	c (95,0) c PropagationTime_winner : 70.407463
704.63/115.71	c (95,0) c AnalysisTime_0 : 4.559189
704.63/115.71	c (95,0) c AnalysisTime_1 : 6.105985
704.63/115.71	c (95,0) c AnalysisTime_2 : 6.061931
704.63/115.71	c (95,0) c AnalysisTime_3 : 4.598677
704.63/115.71	c (95,0) c AnalysisTime_4 : 4.634115
704.63/115.71	c (95,0) c AnalysisTime_5 : 5.086100
704.63/115.71	c (95,0) c AnalysisTime_6 : 4.512338
704.63/115.71	c (95,0) c AnalysisTime_7 : 4.754834
704.63/115.71	c (95,0) c AnalysisTime_total : 40.313169
704.63/115.71	c (95,0) c AnalysisTime_winner : 6.061931
704.63/115.71	c (95,0) c ReductionTime_0 : 0.455614
704.63/115.71	c (95,0) c ReductionTime_1 : 0.535189
704.63/115.71	c (95,0) c ReductionTime_2 : 0.545542
704.63/115.71	c (95,0) c ReductionTime_3 : 0.467056
704.63/115.71	c (95,0) c ReductionTime_4 : 0.520221
704.63/115.71	c (95,0) c ReductionTime_5 : 0.443977
704.63/115.71	c (95,0) c ReductionTime_6 : 0.469784
704.63/115.71	c (95,0) c ReductionTime_7 : 0.468267
704.63/115.71	c (95,0) c ReductionTime_total : 3.905649
704.63/115.71	c (95,0) c ReductionTime_winner : 0.545542
704.63/115.71	c (95,0) c SimplifyTime_0 : 1.320987
704.63/115.71	c (95,0) c SimplifyTime_1 : 1.833222
704.63/115.71	c (95,0) c SimplifyTime_2 : 2.956037
704.63/115.71	c (95,0) c SimplifyTime_3 : 1.420906
704.63/115.71	c (95,0) c SimplifyTime_4 : 1.666107
704.63/115.71	c (95,0) c SimplifyTime_5 : 2.408333
704.63/115.71	c (95,0) c SimplifyTime_6 : 2.616350
704.63/115.71	c (95,0) c SimplifyTime_7 : 1.408877
704.63/115.71	c (95,0) c SimplifyTime_total : 15.630819
704.63/115.71	c (95,0) c SimplifyTime_winner : 2.956037
704.63/115.71	c (95,0) c UsedRateTime_0 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_1 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_2 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_3 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_4 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_5 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_6 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_7 : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_total : 0.000000
704.63/115.71	c (95,0) c UsedRateTime_winner : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_0 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_1 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_2 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_3 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_4 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_5 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_6 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_7 : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_total : 0.000000
704.63/115.71	c (95,0) c OverlapRateTime_winner : 0.000000
704.63/115.71	c (95,0) c
704.63/115.71	c (95,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
704.63/115.71	c (95,0) c
704.63/115.71	c (95,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.63/115.71	c (95,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
704.63/115.71	c (95,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.63/115.71	c (95,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
704.63/115.71	c (95,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
704.63/115.71	c (95,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
704.63/115.71	c (95,0) c | Initial random_seed   | 1352229988 | 1366332467 | 2065260863 |  751690816 | 1376976341 | 1550262874 | 1922421697 | 1870922442 |
704.63/115.71	c (95,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
704.63/115.71	c (95,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
704.63/115.71	c (95,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
704.63/115.71	c (95,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
704.63/115.71	c (95,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
704.63/115.71	c (95,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
704.63/115.71	c (95,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
704.63/115.71	c (95,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
704.63/115.71	c (95,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
704.63/115.71	c (95,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
704.63/115.71	c (95,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
704.63/115.71	c (95,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
704.63/115.71	c (95,0) 
704.63/115.71	c (95,0) s SATISFIABLE
705.51/116.17	c (96,0) SatSolver.solve End
705.51/116.17	c (96,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
705.51/116.17	c (96,0) Show results Begin
705.84/116.36	c (96,0) cls[0] = 7
705.84/116.36	c (96,0) cls[1] = 16
705.84/116.36	c (96,0) cls[2] = 18
705.84/116.36	c (96,0) cls[3] = 0
705.84/116.36	c (96,0) cls[4] = 6
705.84/116.36	c (96,0) cls[5] = 0
705.84/116.36	c (96,0) cls[6] = 15
705.84/116.36	c (96,0) cls[7] = 22
705.84/116.36	c (96,0) cls[8] = 17
705.84/116.36	c (96,0) cls[9] = 1
705.84/116.36	c (96,0) cls[10] = 15
705.84/116.36	c (96,0) cls[11] = 8
705.84/116.36	c (96,0) cls[12] = 16
705.84/116.36	c (96,0) cls[13] = 14
705.84/116.36	c (96,0) cls[14] = 8
705.84/116.36	c (96,0) cls[15] = 2
705.84/116.36	c (96,0) cls[16] = 7
705.84/116.36	c (96,0) cls[17] = 16
705.84/116.36	c (96,0) cls[18] = 15
705.84/116.36	c (96,0) cls[19] = 0
705.84/116.36	c (96,0) cls[20] = 5
705.84/116.36	c (96,0) cls[21] = 15
705.84/116.36	c (96,0) cls[22] = 1
705.84/116.36	c (96,0) cls[23] = 14
705.84/116.36	c (96,0) cls[24] = 16
705.84/116.36	c (96,0) cls[25] = 15
705.84/116.36	c (96,0) cls[26] = 22
705.84/116.36	c (96,0) cls[27] = 15
705.84/116.36	c (96,0) cls[28] = 2
705.84/116.36	c (96,0) cls[29] = 14
705.84/116.36	c (96,0) cls[30] = 0
705.84/116.36	c (96,0) cls[31] = 20
705.84/116.36	c (96,0) cls[32] = 0
705.84/116.36	c (96,0) cls[33] = 14
705.84/116.36	c (96,0) cls[34] = 12
705.84/116.36	c (96,0) cls[35] = 8
705.84/116.36	c (96,0) cls[36] = 13
705.84/116.36	c (96,0) cls[37] = 5
705.84/116.36	c (96,0) cls[38] = 15
705.84/116.36	c (96,0) cls[39] = 0
705.84/116.36	c (96,0) cls[40] = 12
705.84/116.36	c (96,0) cls[41] = 13
705.84/116.36	c (96,0) cls[42] = 0
705.84/116.36	c (96,0) cls[43] = 15
705.84/116.36	c (96,0) cls[44] = 0
705.84/116.36	c (96,0) cls[45] = 0
705.84/116.36	c (96,0) cls[46] = 12
705.84/116.36	c (96,0) cls[47] = 0
705.84/116.36	c (96,0) cls[48] = 21
705.84/116.36	c (96,0) cls[49] = 18
705.84/116.36	c (96,0) cls[50] = 16
705.84/116.36	c (96,0) cls[51] = 15
705.84/116.36	c (96,0) cls[52] = 0
705.84/116.36	c (96,0) cls[53] = 17
705.84/116.36	c (96,0) cls[54] = 8
705.84/116.36	c (96,0) cls[55] = 22
705.84/116.37	c (96,0) cls[56] = 12
705.84/116.37	c (96,0) cls[57] = 0
705.84/116.37	c (96,0) cls[58] = 2
705.84/116.37	c (96,0) cls[59] = 3
705.84/116.37	c (96,0) cls[60] = 8
705.84/116.37	c (96,0) cls[61] = 22
705.84/116.37	c (96,0) cls[62] = 12
705.84/116.37	c (96,0) cls[63] = 0
705.84/116.37	c (96,0) cls[64] = 15
705.84/116.37	c (96,0) cls[65] = 22
705.84/116.37	c (96,0) cls[66] = 8
705.84/116.37	c (96,0) cls[67] = 22
705.84/116.37	c (96,0) cls[68] = 15
705.84/116.37	c (96,0) cls[69] = 4
705.84/116.37	c (96,0) cls[70] = 8
705.84/116.37	c (96,0) cls[71] = 22
705.84/116.37	c (96,0) cls[72] = 11
705.84/116.37	c (96,0) cls[73] = 0
705.84/116.37	c (96,0) cls[74] = 15
705.84/116.37	c (96,0) cls[75] = 10
705.84/116.37	c (96,0) cls[76] = 15
705.84/116.37	c (96,0) cls[77] = 8
705.84/116.37	c (96,0) cls[78] = 0
705.84/116.37	c (96,0) cls[79] = 17
705.84/116.37	c (96,0) cls[80] = 2
705.84/116.37	c (96,0) cls[81] = 8
705.84/116.37	c (96,0) cls[82] = 5
705.84/116.37	c (96,0) cls[83] = 0
705.84/116.37	c (96,0) cls[84] = 15
705.84/116.37	c (96,0) cls[85] = 4
705.84/116.37	c (96,0) cls[86] = 12
705.84/116.37	c (96,0) cls[87] = 14
705.84/116.37	c (96,0) cls[88] = 0
705.84/116.37	c (96,0) cls[89] = 12
705.84/116.37	c (96,0) cls[90] = 2
705.84/116.37	c (96,0) cls[91] = 22
705.84/116.37	c (96,0) cls[92] = 19
705.84/116.37	c (96,0) cls[93] = 0
705.84/116.37	c (96,0) cls[94] = 14
705.84/116.37	c (96,0) cls[95] = 19
705.84/116.37	c (96,0) cls[96] = 22
705.84/116.37	c (96,0) cls[97] = 9
705.84/116.37	c (96,0) cls[98] = 12
705.84/116.37	c (96,0) cls[99] = 0
705.84/116.37	c (96,0) cls[100] = 15
705.84/116.37	c (96,0) cls[101] = 0
705.84/116.37	c (96,0) cls[102] = 2
705.84/116.37	c (96,0) cls[103] = 0
705.84/116.37	c (96,0) cls[104] = 8
705.84/116.37	c (96,0) cls[105] = 5
705.84/116.37	c (96,0) cls[106] = 15
705.84/116.37	c (96,0) cls[107] = 4
705.84/116.37	c (96,0) cls[108] = 15
705.84/116.37	c (96,0) cls[109] = 8
705.84/116.37	c (96,0) cls[110] = 14
705.84/116.37	c (96,0) cls[111] = 0
705.84/116.37	c (96,0) cls[112] = 11
705.84/116.37	c (96,0) cls[113] = 0
705.84/116.37	c (96,0) cls[114] = 9
705.84/116.37	c (96,0) cls[115] = 8
705.84/116.37	c (96,0) cls[116] = 22
705.84/116.37	c (96,0) cls[117] = 11
705.84/116.37	c (96,0) cls[118] = 0
705.84/116.37	c (96,0) cls[119] = 23
705.84/116.37	c (96,0) cls[120] = 12
705.84/116.37	c (96,0) cls[121] = 15
705.84/116.37	c (96,0) cls[122] = 0
705.84/116.37	c (96,0) cls[123] = 15
705.84/116.37	c (96,0) cls[124] = 2
705.84/116.37	c (96,0) cls[125] = 16
705.84/116.37	c (96,0) cls[126] = 14
705.84/116.37	c (96,0) cls[127] = 8
705.84/116.37	c (96,0) cls[128] = 3
705.84/116.37	c (96,0) cls[129] = 2
705.84/116.37	c (96,0) cls[130] = 14
705.84/116.37	c (96,0) cls[131] = 0
705.84/116.37	c (96,0) cls[132] = 8
705.84/116.37	c (96,0) cls[133] = 11
705.84/116.37	c (96,0) cls[134] = 4
705.84/116.37	c (96,0) cls[135] = 7
705.84/116.37	c (96,0) cls[136] = 12
705.84/116.37	c (96,0) cls[137] = 0
705.84/116.37	c (96,0) cls[138] = 14
705.84/116.37	c (96,0) cls[139] = 10
705.84/116.37	c (96,0) cls[140] = 7
705.84/116.37	c (96,0) cls[141] = 0
705.84/116.37	c (96,0) cls[142] = 15
705.84/116.37	c (96,0) cls[143] = 16
705.84/116.37	c (96,0) cls[144] = 1
705.84/116.37	c (96,0) cls[145] = 0
705.84/116.37	c (96,0) cls[146] = 11
705.84/116.37	c (96,0) cls[147] = 8
705.84/116.37	c (96,0) cls[148] = 0
705.84/116.37	c (96,0) cls[149] = 13
705.84/116.37	c (96,0) cls[150] = 8
705.84/116.37	c (96,0) cls[151] = 17
705.84/116.37	c (96,0) cls[152] = 0
705.84/116.37	c (96,0) cls[153] = 15
705.84/116.37	c (96,0) cls[154] = 4
705.84/116.37	c (96,0) cls[155] = 12
705.84/116.37	c (96,0) cls[156] = 7
705.84/116.37	c (96,0) cls[157] = 0
705.84/116.37	c (96,0) cls[158] = 12
705.84/116.37	c (96,0) cls[159] = 2
705.84/116.38	c (96,0) cls[160] = 7
705.84/116.38	c (96,0) cls[161] = 16
705.84/116.38	c (96,0) cls[162] = 18
705.84/116.38	c (96,0) cls[163] = 0
705.84/116.38	c (96,0) cls[164] = 23
705.84/116.38	c (96,0) cls[165] = 16
705.84/116.38	c (96,0) cls[166] = 18
705.84/116.38	c (96,0) cls[167] = 22
705.84/116.38	c (96,0) cls[168] = 19
705.84/116.38	c (96,0) cls[169] = 13
705.84/116.38	c (96,0) cls[170] = 0
705.84/116.38	c (96,0) cls[171] = 12
705.84/116.38	c (96,0) cls[172] = 7
705.84/116.38	c (96,0) cls[173] = 0
705.84/116.38	c (96,0) cls[174] = 6
705.84/116.38	c (96,0) cls[175] = 0
705.84/116.38	c (96,0) cls[176] = 8
705.84/116.38	c (96,0) cls[177] = 17
705.84/116.38	c (96,0) cls[178] = 0
705.84/116.38	c (96,0) cls[179] = 23
705.84/116.38	c (96,0) cls[180] = 12
705.84/116.38	c (96,0) cls[181] = 0
705.84/116.38	c (96,0) cls[182] = 0
705.84/116.38	c (96,0) cls[183] = 11
705.84/116.38	c (96,0) cls[184] = 4
705.84/116.38	c (96,0) cls[185] = 18
705.84/116.38	c (96,0) cls[186] = 22
705.84/116.38	c (96,0) cls[187] = 17
705.84/116.38	c (96,0) cls[188] = 8
705.84/116.38	c (96,0) cls[189] = 4
705.84/116.38	c (96,0) cls[190] = 8
705.84/116.38	c (96,0) cls[191] = 11
705.84/116.38	c (96,0) cls[192] = 22
705.84/116.38	c (96,0) cls[193] = 14
705.84/116.38	c (96,0) cls[194] = 2
705.84/116.38	c (96,0) cls[195] = 20
705.84/116.38	c (96,0) cls[196] = 0
705.84/116.38	c (96,0) cls[197] = 22
705.84/116.38	c (96,0) cls[198] = 20
705.84/116.38	c (96,0) cls[199] = 2
705.84/116.38	c (96,0) opt[0][0] = 1
705.84/116.38	c (96,0) opt[0][1] = 1
705.84/116.38	c (96,0) opt[0][2] = 0
705.84/116.38	c (96,0) opt[0][3] = 1
705.84/116.38	c (96,0) opt[0][4] = 0
705.84/116.38	c (96,0) opt[1][0] = 0
705.84/116.38	c (96,0) opt[1][1] = 1
705.84/116.38	c (96,0) opt[1][2] = 1
705.84/116.38	c (96,0) opt[1][3] = 0
705.84/116.38	c (96,0) opt[1][4] = 0
705.84/116.38	c (96,0) opt[2][0] = 1
705.84/116.38	c (96,0) opt[2][1] = 0
705.84/116.38	c (96,0) opt[2][2] = 0
705.84/116.38	c (96,0) opt[2][3] = 1
705.84/116.38	c (96,0) opt[2][4] = 0
705.84/116.38	c (96,0) opt[3][0] = 0
705.84/116.38	c (96,0) opt[3][1] = 1
705.84/116.38	c (96,0) opt[3][2] = 0
705.84/116.38	c (96,0) opt[3][3] = 0
705.84/116.38	c (96,0) opt[3][4] = 0
705.84/116.38	c (96,0) opt[4][0] = 1
705.84/116.38	c (96,0) opt[4][1] = 0
705.84/116.38	c (96,0) opt[4][2] = 1
705.84/116.38	c (96,0) opt[4][3] = 0
705.84/116.38	c (96,0) opt[4][4] = 1
705.84/116.38	c (96,0) opt[5][0] = 0
705.84/116.38	c (96,0) opt[5][1] = 1
705.84/116.38	c (96,0) opt[5][2] = 0
705.84/116.38	c (96,0) opt[5][3] = 0
705.84/116.38	c (96,0) opt[5][4] = 0
705.84/116.38	c (96,0) opt[6][0] = 1
705.84/116.38	c (96,0) opt[6][1] = 0
705.84/116.38	c (96,0) opt[6][2] = 0
705.84/116.38	c (96,0) opt[6][3] = 0
705.84/116.38	c (96,0) opt[6][4] = 0
705.84/116.38	c (96,0) opt[7][0] = 0
705.84/116.38	c (96,0) opt[7][1] = 1
705.84/116.38	c (96,0) opt[7][2] = 0
705.84/116.38	c (96,0) opt[7][3] = 0
705.84/116.38	c (96,0) opt[7][4] = 0
705.84/116.38	c (96,0) opt[8][0] = 1
705.84/116.38	c (96,0) opt[8][1] = 1
705.84/116.38	c (96,0) opt[8][2] = 1
705.84/116.38	c (96,0) opt[8][3] = 0
705.84/116.38	c (96,0) opt[8][4] = 0
705.84/116.38	c (96,0) opt[9][0] = 0
705.84/116.38	c (96,0) opt[9][1] = 0
705.84/116.38	c (96,0) opt[9][2] = 0
705.84/116.38	c (96,0) opt[9][3] = 1
705.84/116.38	c (96,0) opt[9][4] = 1
705.84/116.38	c (96,0) opt[10][0] = 1
705.84/116.38	c (96,0) opt[10][1] = 0
705.84/116.38	c (96,0) opt[10][2] = 0
705.84/116.38	c (96,0) opt[10][3] = 0
705.84/116.38	c (96,0) opt[10][4] = 0
705.84/116.38	c (96,0) opt[11][0] = 0
705.84/116.38	c (96,0) opt[11][1] = 0
705.84/116.38	c (96,0) opt[11][2] = 0
705.84/116.38	c (96,0) opt[11][3] = 1
705.84/116.38	c (96,0) opt[11][4] = 0
705.84/116.38	c (96,0) opt[12][0] = 0
705.84/116.38	c (96,0) opt[12][1] = 1
705.84/116.38	c (96,0) opt[12][2] = 1
705.84/116.38	c (96,0) opt[12][3] = 0
705.84/116.38	c (96,0) opt[12][4] = 0
705.84/116.38	c (96,0) opt[13][0] = 1
705.84/116.38	c (96,0) opt[13][1] = 1
705.84/116.38	c (96,0) opt[13][2] = 0
705.84/116.38	c (96,0) opt[13][3] = 0
705.84/116.38	c (96,0) opt[13][4] = 0
705.84/116.38	c (96,0) opt[14][0] = 0
705.84/116.38	c (96,0) opt[14][1] = 0
705.84/116.38	c (96,0) opt[14][2] = 0
705.84/116.38	c (96,0) opt[14][3] = 1
705.84/116.38	c (96,0) opt[14][4] = 0
705.84/116.38	c (96,0) opt[15][0] = 0
705.84/116.38	c (96,0) opt[15][1] = 0
705.84/116.38	c (96,0) opt[15][2] = 0
705.84/116.38	c (96,0) opt[15][3] = 0
705.84/116.38	c (96,0) opt[15][4] = 1
705.84/116.38	c (96,0) opt[16][0] = 1
705.84/116.38	c (96,0) opt[16][1] = 1
705.84/116.38	c (96,0) opt[16][2] = 0
705.84/116.38	c (96,0) opt[16][3] = 1
705.84/116.38	c (96,0) opt[16][4] = 0
705.84/116.38	c (96,0) opt[17][0] = 0
705.84/116.38	c (96,0) opt[17][1] = 1
705.84/116.38	c (96,0) opt[17][2] = 1
705.84/116.38	c (96,0) opt[17][3] = 0
705.84/116.38	c (96,0) opt[17][4] = 0
705.84/116.38	c (96,0) opt[18][0] = 1
705.84/116.38	c (96,0) opt[18][1] = 0
705.84/116.38	c (96,0) opt[18][2] = 0
705.84/116.38	c (96,0) opt[18][3] = 0
705.84/116.38	c (96,0) opt[18][4] = 0
705.84/116.38	c (96,0) opt[19][0] = 0
705.84/116.38	c (96,0) opt[19][1] = 1
705.84/116.38	c (96,0) opt[19][2] = 0
705.84/116.38	c (96,0) opt[19][3] = 0
705.84/116.38	c (96,0) opt[19][4] = 0
705.84/116.38	c (96,0) opt[20][0] = 0
705.84/116.38	c (96,0) opt[20][1] = 1
705.84/116.38	c (96,0) opt[20][2] = 1
705.84/116.38	c (96,0) opt[20][3] = 1
705.84/116.38	c (96,0) opt[20][4] = 0
705.84/116.38	c (96,0) opt[21][0] = 1
705.84/116.38	c (96,0) opt[21][1] = 0
705.84/116.38	c (96,0) opt[21][2] = 0
705.84/116.38	c (96,0) opt[21][3] = 0
705.84/116.38	c (96,0) opt[21][4] = 0
705.84/116.38	c (96,0) opt[22][0] = 0
705.84/116.38	c (96,0) opt[22][1] = 0
705.84/116.38	c (96,0) opt[22][2] = 0
705.84/116.38	c (96,0) opt[22][3] = 1
705.84/116.38	c (96,0) opt[22][4] = 1
705.84/116.38	c (96,0) opt[23][0] = 1
705.84/116.38	c (96,0) opt[23][1] = 1
705.84/116.38	c (96,0) opt[23][2] = 0
705.84/116.38	c (96,0) opt[23][3] = 0
705.84/116.38	c (96,0) opt[23][4] = 0
705.84/116.38	c (96,0) opt[24][0] = 0
705.84/116.38	c (96,0) opt[24][1] = 1
705.84/116.38	c (96,0) opt[24][2] = 1
705.84/116.38	c (96,0) opt[24][3] = 0
705.84/116.38	c (96,0) opt[24][4] = 0
705.84/116.38	c (96,0) opt[25][0] = 1
705.84/116.38	c (96,0) opt[25][1] = 0
705.84/116.38	c (96,0) opt[25][2] = 0
705.84/116.38	c (96,0) opt[25][3] = 0
705.84/116.38	c (96,0) opt[25][4] = 0
705.84/116.38	c (96,0) opt[26][0] = 0
705.84/116.38	c (96,0) opt[26][1] = 1
705.84/116.38	c (96,0) opt[26][2] = 0
705.84/116.38	c (96,0) opt[26][3] = 0
705.84/116.38	c (96,0) opt[26][4] = 0
705.84/116.38	c (96,0) opt[27][0] = 1
705.84/116.38	c (96,0) opt[27][1] = 0
705.84/116.38	c (96,0) opt[27][2] = 0
705.84/116.38	c (96,0) opt[27][3] = 0
705.84/116.38	c (96,0) opt[27][4] = 0
705.84/116.38	c (96,0) opt[28][0] = 0
705.84/116.38	c (96,0) opt[28][1] = 0
705.84/116.38	c (96,0) opt[28][2] = 0
705.84/116.38	c (96,0) opt[28][3] = 0
705.84/116.38	c (96,0) opt[28][4] = 1
705.84/116.38	c (96,0) opt[29][0] = 1
705.84/116.38	c (96,0) opt[29][1] = 1
705.84/116.38	c (96,0) opt[29][2] = 0
705.84/116.38	c (96,0) opt[29][3] = 0
705.84/116.38	c (96,0) opt[29][4] = 0
705.84/116.38	c (96,0) opt[30][0] = 0
705.84/116.38	c (96,0) opt[30][1] = 1
705.84/116.38	c (96,0) opt[30][2] = 0
705.84/116.38	c (96,0) opt[30][3] = 0
705.84/116.38	c (96,0) opt[30][4] = 0
705.84/116.38	c (96,0) opt[31][0] = 1
705.84/116.38	c (96,0) opt[31][1] = 0
705.84/116.38	c (96,0) opt[31][2] = 1
705.84/116.38	c (96,0) opt[31][3] = 1
705.84/116.38	c (96,0) opt[31][4] = 0
705.84/116.38	c (96,0) opt[32][0] = 0
705.84/116.38	c (96,0) opt[32][1] = 1
705.84/116.38	c (96,0) opt[32][2] = 0
705.84/116.38	c (96,0) opt[32][3] = 0
705.84/116.38	c (96,0) opt[32][4] = 0
705.84/116.38	c (96,0) opt[33][0] = 1
705.84/116.38	c (96,0) opt[33][1] = 1
705.84/116.38	c (96,0) opt[33][2] = 0
705.84/116.38	c (96,0) opt[33][3] = 0
705.84/116.38	c (96,0) opt[33][4] = 0
705.84/116.38	c (96,0) opt[34][0] = 0
705.84/116.38	c (96,0) opt[34][1] = 0
705.84/116.38	c (96,0) opt[34][2] = 1
705.84/116.38	c (96,0) opt[34][3] = 0
705.84/116.38	c (96,0) opt[34][4] = 0
705.84/116.38	c (96,0) opt[35][0] = 0
705.84/116.38	c (96,0) opt[35][1] = 0
705.84/116.38	c (96,0) opt[35][2] = 0
705.84/116.38	c (96,0) opt[35][3] = 1
705.84/116.38	c (96,0) opt[35][4] = 0
705.84/116.38	c (96,0) opt[36][0] = 1
705.84/116.38	c (96,0) opt[36][1] = 1
705.84/116.38	c (96,0) opt[36][2] = 0
705.84/116.38	c (96,0) opt[36][3] = 0
705.84/116.38	c (96,0) opt[36][4] = 1
705.84/116.38	c (96,0) opt[37][0] = 0
705.84/116.38	c (96,0) opt[37][1] = 1
705.84/116.38	c (96,0) opt[37][2] = 1
705.84/116.38	c (96,0) opt[37][3] = 1
705.84/116.38	c (96,0) opt[37][4] = 0
705.84/116.38	c (96,0) opt[38][0] = 1
705.84/116.38	c (96,0) opt[38][1] = 0
705.84/116.38	c (96,0) opt[38][2] = 0
705.84/116.38	c (96,0) opt[38][3] = 0
705.84/116.38	c (96,0) opt[38][4] = 0
705.84/116.38	c (96,0) opt[39][0] = 0
705.84/116.38	c (96,0) opt[39][1] = 1
705.84/116.38	c (96,0) opt[39][2] = 0
705.84/116.38	c (96,0) opt[39][3] = 0
705.84/116.38	c (96,0) opt[39][4] = 0
705.84/116.38	c (96,0) opt[40][0] = 0
705.84/116.38	c (96,0) opt[40][1] = 0
705.84/116.38	c (96,0) opt[40][2] = 1
705.84/116.38	c (96,0) opt[40][3] = 0
705.84/116.38	c (96,0) opt[40][4] = 0
705.84/116.38	c (96,0) opt[41][0] = 1
705.84/116.38	c (96,0) opt[41][1] = 1
705.84/116.38	c (96,0) opt[41][2] = 0
705.84/116.38	c (96,0) opt[41][3] = 0
705.84/116.38	c (96,0) opt[41][4] = 1
705.84/116.38	c (96,0) opt[42][0] = 0
705.84/116.38	c (96,0) opt[42][1] = 1
705.84/116.38	c (96,0) opt[42][2] = 0
705.84/116.38	c (96,0) opt[42][3] = 0
705.84/116.38	c (96,0) opt[42][4] = 0
705.84/116.38	c (96,0) opt[43][0] = 1
705.84/116.38	c (96,0) opt[43][1] = 0
705.84/116.38	c (96,0) opt[43][2] = 0
705.84/116.38	c (96,0) opt[43][3] = 0
705.84/116.38	c (96,0) opt[43][4] = 0
705.84/116.38	c (96,0) opt[44][0] = 0
705.84/116.38	c (96,0) opt[44][1] = 1
705.84/116.38	c (96,0) opt[44][2] = 0
705.84/116.38	c (96,0) opt[44][3] = 0
705.84/116.38	c (96,0) opt[44][4] = 0
705.84/116.38	c (96,0) opt[45][0] = 0
705.84/116.38	c (96,0) opt[45][1] = 1
705.84/116.38	c (96,0) opt[45][2] = 0
705.84/116.38	c (96,0) opt[45][3] = 0
705.84/116.38	c (96,0) opt[45][4] = 0
705.84/116.38	c (96,0) opt[46][0] = 0
705.84/116.38	c (96,0) opt[46][1] = 0
705.84/116.38	c (96,0) opt[46][2] = 1
705.84/116.38	c (96,0) opt[46][3] = 0
705.84/116.38	c (96,0) opt[46][4] = 0
705.84/116.38	c (96,0) opt[47][0] = 0
705.84/116.38	c (96,0) opt[47][1] = 1
705.84/116.38	c (96,0) opt[47][2] = 0
705.84/116.38	c (96,0) opt[47][3] = 0
705.84/116.38	c (96,0) opt[47][4] = 0
705.84/116.38	c (96,0) opt[48][0] = 0
705.84/116.38	c (96,0) opt[48][1] = 1
705.84/116.38	c (96,0) opt[48][2] = 0
705.84/116.38	c (96,0) opt[48][3] = 1
705.84/116.38	c (96,0) opt[48][4] = 1
705.84/116.38	c (96,0) opt[49][0] = 1
705.84/116.38	c (96,0) opt[49][1] = 0
705.84/116.38	c (96,0) opt[49][2] = 0
705.84/116.38	c (96,0) opt[49][3] = 1
705.84/116.38	c (96,0) opt[49][4] = 0
705.84/116.38	c (96,0) opt[50][0] = 0
705.84/116.38	c (96,0) opt[50][1] = 1
705.84/116.38	c (96,0) opt[50][2] = 1
705.84/116.38	c (96,0) opt[50][3] = 0
705.84/116.38	c (96,0) opt[50][4] = 0
705.84/116.38	c (96,0) opt[51][0] = 1
705.84/116.38	c (96,0) opt[51][1] = 0
705.84/116.38	c (96,0) opt[51][2] = 0
705.84/116.38	c (96,0) opt[51][3] = 0
705.84/116.38	c (96,0) opt[51][4] = 0
705.84/116.38	c (96,0) opt[52][0] = 0
705.84/116.38	c (96,0) opt[52][1] = 1
705.84/116.38	c (96,0) opt[52][2] = 0
705.84/116.38	c (96,0) opt[52][3] = 0
705.84/116.38	c (96,0) opt[52][4] = 0
705.84/116.38	c (96,0) opt[53][0] = 1
705.84/116.38	c (96,0) opt[53][1] = 1
705.84/116.38	c (96,0) opt[53][2] = 1
705.84/116.38	c (96,0) opt[53][3] = 0
705.84/116.38	c (96,0) opt[53][4] = 0
705.84/116.38	c (96,0) opt[54][0] = 0
705.84/116.38	c (96,0) opt[54][1] = 0
705.84/116.38	c (96,0) opt[54][2] = 0
705.84/116.38	c (96,0) opt[54][3] = 1
705.84/116.38	c (96,0) opt[54][4] = 0
705.84/116.38	c (96,0) opt[55][0] = 0
705.84/116.38	c (96,0) opt[55][1] = 1
705.84/116.38	c (96,0) opt[55][2] = 0
705.84/116.38	c (96,0) opt[55][3] = 0
705.84/116.38	c (96,0) opt[55][4] = 0
705.84/116.38	c (96,0) opt[56][0] = 0
705.84/116.38	c (96,0) opt[56][1] = 0
705.84/116.38	c (96,0) opt[56][2] = 1
705.84/116.38	c (96,0) opt[56][3] = 0
705.84/116.38	c (96,0) opt[56][4] = 0
705.84/116.38	c (96,0) opt[57][0] = 0
705.84/116.38	c (96,0) opt[57][1] = 1
705.84/116.38	c (96,0) opt[57][2] = 0
705.84/116.38	c (96,0) opt[57][3] = 0
705.84/116.38	c (96,0) opt[57][4] = 0
705.84/116.38	c (96,0) opt[58][0] = 0
705.84/116.38	c (96,0) opt[58][1] = 0
705.84/116.38	c (96,0) opt[58][2] = 0
705.84/116.38	c (96,0) opt[58][3] = 0
705.84/116.38	c (96,0) opt[58][4] = 1
705.84/116.38	c (96,0) opt[59][0] = 1
705.84/116.38	c (96,0) opt[59][1] = 1
705.84/116.38	c (96,0) opt[59][2] = 1
705.84/116.38	c (96,0) opt[59][3] = 1
705.84/116.38	c (96,0) opt[59][4] = 0
705.84/116.38	c (96,0) opt[60][0] = 0
705.84/116.38	c (96,0) opt[60][1] = 0
705.84/116.38	c (96,0) opt[60][2] = 0
705.84/116.38	c (96,0) opt[60][3] = 1
705.84/116.38	c (96,0) opt[60][4] = 0
705.84/116.38	c (96,0) opt[61][0] = 0
705.84/116.38	c (96,0) opt[61][1] = 1
705.84/116.38	c (96,0) opt[61][2] = 0
705.84/116.38	c (96,0) opt[61][3] = 0
705.84/116.38	c (96,0) opt[61][4] = 0
705.84/116.38	c (96,0) opt[62][0] = 0
705.84/116.38	c (96,0) opt[62][1] = 0
705.84/116.38	c (96,0) opt[62][2] = 1
705.84/116.38	c (96,0) opt[62][3] = 0
705.84/116.38	c (96,0) opt[62][4] = 0
705.84/116.38	c (96,0) opt[63][0] = 0
705.84/116.38	c (96,0) opt[63][1] = 1
705.84/116.38	c (96,0) opt[63][2] = 0
705.84/116.38	c (96,0) opt[63][3] = 0
705.84/116.38	c (96,0) opt[63][4] = 0
705.84/116.38	c (96,0) opt[64][0] = 1
705.84/116.38	c (96,0) opt[64][1] = 0
705.84/116.38	c (96,0) opt[64][2] = 0
705.84/116.38	c (96,0) opt[64][3] = 0
705.84/116.38	c (96,0) opt[64][4] = 0
705.84/116.38	c (96,0) opt[65][0] = 0
705.84/116.38	c (96,0) opt[65][1] = 1
705.84/116.38	c (96,0) opt[65][2] = 0
705.84/116.38	c (96,0) opt[65][3] = 0
705.84/116.38	c (96,0) opt[65][4] = 0
705.84/116.38	c (96,0) opt[66][0] = 0
705.84/116.38	c (96,0) opt[66][1] = 0
705.84/116.38	c (96,0) opt[66][2] = 0
705.84/116.38	c (96,0) opt[66][3] = 1
705.84/116.38	c (96,0) opt[66][4] = 0
705.84/116.38	c (96,0) opt[67][0] = 0
705.84/116.38	c (96,0) opt[67][1] = 1
705.84/116.38	c (96,0) opt[67][2] = 0
705.84/116.38	c (96,0) opt[67][3] = 0
705.84/116.38	c (96,0) opt[67][4] = 0
705.84/116.38	c (96,0) opt[68][0] = 1
705.84/116.38	c (96,0) opt[68][1] = 0
705.84/116.38	c (96,0) opt[68][2] = 0
705.84/116.38	c (96,0) opt[68][3] = 0
705.84/116.38	c (96,0) opt[68][4] = 0
705.84/116.38	c (96,0) opt[69][0] = 0
705.84/116.38	c (96,0) opt[69][1] = 1
705.84/116.38	c (96,0) opt[69][2] = 0
705.84/116.38	c (96,0) opt[69][3] = 0
705.84/116.38	c (96,0) opt[69][4] = 1
705.84/116.38	c (96,0) opt[70][0] = 0
705.84/116.38	c (96,0) opt[70][1] = 0
705.84/116.38	c (96,0) opt[70][2] = 0
705.84/116.38	c (96,0) opt[70][3] = 1
705.84/116.38	c (96,0) opt[70][4] = 0
705.84/116.38	c (96,0) opt[71][0] = 0
705.84/116.38	c (96,0) opt[71][1] = 1
705.84/116.38	c (96,0) opt[71][2] = 0
705.84/116.38	c (96,0) opt[71][3] = 0
705.84/116.38	c (96,0) opt[71][4] = 0
705.84/116.38	c (96,0) opt[72][0] = 1
705.84/116.38	c (96,0) opt[72][1] = 0
705.84/116.38	c (96,0) opt[72][2] = 1
705.84/116.38	c (96,0) opt[72][3] = 0
705.84/116.38	c (96,0) opt[72][4] = 0
705.84/116.38	c (96,0) opt[73][0] = 0
705.84/116.38	c (96,0) opt[73][1] = 1
705.84/116.38	c (96,0) opt[73][2] = 0
705.84/116.38	c (96,0) opt[73][3] = 0
705.84/116.38	c (96,0) opt[73][4] = 0
705.84/116.38	c (96,0) opt[74][0] = 1
705.84/116.38	c (96,0) opt[74][1] = 0
705.84/116.38	c (96,0) opt[74][2] = 0
705.84/116.38	c (96,0) opt[74][3] = 0
705.84/116.38	c (96,0) opt[74][4] = 0
705.84/116.38	c (96,0) opt[75][0] = 0
705.84/116.38	c (96,0) opt[75][1] = 0
705.84/116.38	c (96,0) opt[75][2] = 1
705.84/116.38	c (96,0) opt[75][3] = 1
705.84/116.38	c (96,0) opt[75][4] = 1
705.84/116.38	c (96,0) opt[76][0] = 1
705.84/116.38	c (96,0) opt[76][1] = 0
705.84/116.38	c (96,0) opt[76][2] = 0
705.84/116.38	c (96,0) opt[76][3] = 0
705.84/116.38	c (96,0) opt[76][4] = 0
705.84/116.38	c (96,0) opt[77][0] = 0
705.84/116.38	c (96,0) opt[77][1] = 0
705.84/116.38	c (96,0) opt[77][2] = 0
705.84/116.38	c (96,0) opt[77][3] = 1
705.84/116.38	c (96,0) opt[77][4] = 0
705.84/116.38	c (96,0) opt[78][0] = 0
705.84/116.38	c (96,0) opt[78][1] = 1
705.84/116.38	c (96,0) opt[78][2] = 0
705.84/116.38	c (96,0) opt[78][3] = 0
705.84/116.38	c (96,0) opt[78][4] = 0
705.84/116.38	c (96,0) opt[79][0] = 1
705.84/116.38	c (96,0) opt[79][1] = 1
705.84/116.38	c (96,0) opt[79][2] = 1
705.84/116.38	c (96,0) opt[79][3] = 0
705.84/116.38	c (96,0) opt[79][4] = 0
705.84/116.38	c (96,0) opt[80][0] = 0
705.84/116.38	c (96,0) opt[80][1] = 0
705.84/116.38	c (96,0) opt[80][2] = 0
705.84/116.38	c (96,0) opt[80][3] = 0
705.84/116.38	c (96,0) opt[80][4] = 1
705.84/116.38	c (96,0) opt[81][0] = 0
705.84/116.38	c (96,0) opt[81][1] = 0
705.84/116.38	c (96,0) opt[81][2] = 0
705.84/116.38	c (96,0) opt[81][3] = 1
705.84/116.38	c (96,0) opt[81][4] = 0
705.84/116.38	c (96,0) opt[82][0] = 0
705.84/116.38	c (96,0) opt[82][1] = 1
705.84/116.38	c (96,0) opt[82][2] = 1
705.84/116.38	c (96,0) opt[82][3] = 1
705.84/116.38	c (96,0) opt[82][4] = 0
705.84/116.38	c (96,0) opt[83][0] = 0
705.84/116.38	c (96,0) opt[83][1] = 1
705.84/116.38	c (96,0) opt[83][2] = 0
705.84/116.38	c (96,0) opt[83][3] = 0
705.84/116.38	c (96,0) opt[83][4] = 0
705.84/116.38	c (96,0) opt[84][0] = 1
705.84/116.38	c (96,0) opt[84][1] = 0
705.84/116.38	c (96,0) opt[84][2] = 0
705.84/116.38	c (96,0) opt[84][3] = 0
705.84/116.38	c (96,0) opt[84][4] = 0
705.84/116.38	c (96,0) opt[85][0] = 0
705.84/116.38	c (96,0) opt[85][1] = 1
705.84/116.38	c (96,0) opt[85][2] = 0
705.84/116.38	c (96,0) opt[85][3] = 0
705.84/116.38	c (96,0) opt[85][4] = 1
705.84/116.38	c (96,0) opt[86][0] = 0
705.84/116.38	c (96,0) opt[86][1] = 0
705.84/116.38	c (96,0) opt[86][2] = 1
705.84/116.38	c (96,0) opt[86][3] = 0
705.84/116.38	c (96,0) opt[86][4] = 0
705.84/116.38	c (96,0) opt[87][0] = 1
705.84/116.38	c (96,0) opt[87][1] = 1
705.84/116.38	c (96,0) opt[87][2] = 0
705.84/116.38	c (96,0) opt[87][3] = 0
705.84/116.38	c (96,0) opt[87][4] = 0
705.84/116.38	c (96,0) opt[88][0] = 0
705.84/116.38	c (96,0) opt[88][1] = 1
705.84/116.38	c (96,0) opt[88][2] = 0
705.84/116.38	c (96,0) opt[88][3] = 0
705.84/116.38	c (96,0) opt[88][4] = 0
705.84/116.38	c (96,0) opt[89][0] = 0
705.84/116.38	c (96,0) opt[89][1] = 0
705.84/116.38	c (96,0) opt[89][2] = 1
705.84/116.38	c (96,0) opt[89][3] = 0
705.84/116.38	c (96,0) opt[89][4] = 0
705.84/116.38	c (96,0) opt[90][0] = 0
705.84/116.38	c (96,0) opt[90][1] = 0
705.84/116.38	c (96,0) opt[90][2] = 0
705.84/116.38	c (96,0) opt[90][3] = 0
705.84/116.38	c (96,0) opt[90][4] = 1
705.84/116.38	c (96,0) opt[91][0] = 0
705.84/116.38	c (96,0) opt[91][1] = 1
705.84/116.38	c (96,0) opt[91][2] = 0
705.84/116.38	c (96,0) opt[91][3] = 0
705.84/116.38	c (96,0) opt[91][4] = 0
705.84/116.38	c (96,0) opt[92][0] = 0
705.84/116.38	c (96,0) opt[92][1] = 0
705.84/116.38	c (96,0) opt[92][2] = 1
705.84/116.38	c (96,0) opt[92][3] = 1
705.84/116.38	c (96,0) opt[92][4] = 0
705.84/116.38	c (96,0) opt[93][0] = 0
705.84/116.38	c (96,0) opt[93][1] = 1
705.84/116.38	c (96,0) opt[93][2] = 0
705.84/116.38	c (96,0) opt[93][3] = 0
705.84/116.38	c (96,0) opt[93][4] = 0
705.84/116.38	c (96,0) opt[94][0] = 1
705.84/116.38	c (96,0) opt[94][1] = 1
705.84/116.38	c (96,0) opt[94][2] = 0
705.84/116.38	c (96,0) opt[94][3] = 0
705.84/116.38	c (96,0) opt[94][4] = 0
705.84/116.38	c (96,0) opt[95][0] = 0
705.84/116.38	c (96,0) opt[95][1] = 0
705.84/116.38	c (96,0) opt[95][2] = 1
705.84/116.38	c (96,0) opt[95][3] = 1
705.84/116.38	c (96,0) opt[95][4] = 0
705.84/116.38	c (96,0) opt[96][0] = 0
705.84/116.38	c (96,0) opt[96][1] = 1
705.84/116.38	c (96,0) opt[96][2] = 0
705.84/116.38	c (96,0) opt[96][3] = 0
705.84/116.38	c (96,0) opt[96][4] = 0
705.84/116.38	c (96,0) opt[97][0] = 1
705.84/116.38	c (96,0) opt[97][1] = 1
705.84/116.38	c (96,0) opt[97][2] = 0
705.84/116.38	c (96,0) opt[97][3] = 1
705.84/116.38	c (96,0) opt[97][4] = 1
705.84/116.38	c (96,0) opt[98][0] = 0
705.84/116.38	c (96,0) opt[98][1] = 0
705.84/116.38	c (96,0) opt[98][2] = 1
705.84/116.38	c (96,0) opt[98][3] = 0
705.84/116.38	c (96,0) opt[98][4] = 0
705.84/116.38	c (96,0) opt[99][0] = 0
705.84/116.38	c (96,0) opt[99][1] = 1
705.84/116.38	c (96,0) opt[99][2] = 0
705.84/116.38	c (96,0) opt[99][3] = 0
705.84/116.38	c (96,0) opt[99][4] = 0
705.84/116.38	c (96,0) opt[100][0] = 1
705.84/116.38	c (96,0) opt[100][1] = 0
705.84/116.38	c (96,0) opt[100][2] = 0
705.84/116.38	c (96,0) opt[100][3] = 0
705.84/116.38	c (96,0) opt[100][4] = 0
705.84/116.38	c (96,0) opt[101][0] = 0
705.84/116.38	c (96,0) opt[101][1] = 1
705.84/116.38	c (96,0) opt[101][2] = 0
705.84/116.38	c (96,0) opt[101][3] = 0
705.84/116.38	c (96,0) opt[101][4] = 0
705.84/116.38	c (96,0) opt[102][0] = 0
705.84/116.38	c (96,0) opt[102][1] = 0
705.84/116.38	c (96,0) opt[102][2] = 0
705.84/116.38	c (96,0) opt[102][3] = 0
705.84/116.38	c (96,0) opt[102][4] = 1
705.84/116.38	c (96,0) opt[103][0] = 0
705.84/116.38	c (96,0) opt[103][1] = 1
705.84/116.38	c (96,0) opt[103][2] = 0
705.84/116.38	c (96,0) opt[103][3] = 0
705.84/116.38	c (96,0) opt[103][4] = 0
705.84/116.38	c (96,0) opt[104][0] = 0
705.84/116.38	c (96,0) opt[104][1] = 0
705.84/116.38	c (96,0) opt[104][2] = 0
705.84/116.38	c (96,0) opt[104][3] = 1
705.84/116.38	c (96,0) opt[104][4] = 0
705.84/116.38	c (96,0) opt[105][0] = 0
705.84/116.38	c (96,0) opt[105][1] = 1
705.84/116.38	c (96,0) opt[105][2] = 1
705.84/116.38	c (96,0) opt[105][3] = 1
705.84/116.38	c (96,0) opt[105][4] = 0
705.84/116.38	c (96,0) opt[106][0] = 1
705.84/116.38	c (96,0) opt[106][1] = 0
705.84/116.38	c (96,0) opt[106][2] = 0
705.84/116.38	c (96,0) opt[106][3] = 0
705.84/116.38	c (96,0) opt[106][4] = 0
705.84/116.38	c (96,0) opt[107][0] = 0
705.84/116.38	c (96,0) opt[107][1] = 1
705.84/116.38	c (96,0) opt[107][2] = 0
705.84/116.38	c (96,0) opt[107][3] = 0
705.84/116.38	c (96,0) opt[107][4] = 1
705.84/116.38	c (96,0) opt[108][0] = 1
705.84/116.38	c (96,0) opt[108][1] = 0
705.84/116.38	c (96,0) opt[108][2] = 0
705.84/116.38	c (96,0) opt[108][3] = 0
705.84/116.38	c (96,0) opt[108][4] = 0
705.84/116.38	c (96,0) opt[109][0] = 0
705.84/116.38	c (96,0) opt[109][1] = 0
705.84/116.38	c (96,0) opt[109][2] = 0
705.84/116.38	c (96,0) opt[109][3] = 1
705.84/116.38	c (96,0) opt[109][4] = 0
705.84/116.38	c (96,0) opt[110][0] = 1
705.84/116.38	c (96,0) opt[110][1] = 1
705.84/116.38	c (96,0) opt[110][2] = 0
705.84/116.38	c (96,0) opt[110][3] = 0
705.84/116.38	c (96,0) opt[110][4] = 0
705.84/116.38	c (96,0) opt[111][0] = 0
705.84/116.38	c (96,0) opt[111][1] = 1
705.84/116.38	c (96,0) opt[111][2] = 0
705.84/116.38	c (96,0) opt[111][3] = 0
705.84/116.38	c (96,0) opt[111][4] = 0
705.84/116.38	c (96,0) opt[112][0] = 1
705.84/116.38	c (96,0) opt[112][1] = 0
705.84/116.38	c (96,0) opt[112][2] = 1
705.84/116.38	c (96,0) opt[112][3] = 0
705.84/116.38	c (96,0) opt[112][4] = 0
705.84/116.38	c (96,0) opt[113][0] = 0
705.84/116.38	c (96,0) opt[113][1] = 1
705.84/116.38	c (96,0) opt[113][2] = 0
705.84/116.38	c (96,0) opt[113][3] = 0
705.84/116.38	c (96,0) opt[113][4] = 0
705.84/116.38	c (96,0) opt[114][0] = 1
705.84/116.38	c (96,0) opt[114][1] = 1
705.84/116.38	c (96,0) opt[114][2] = 0
705.84/116.38	c (96,0) opt[114][3] = 1
705.84/116.38	c (96,0) opt[114][4] = 1
705.84/116.38	c (96,0) opt[115][0] = 0
705.84/116.38	c (96,0) opt[115][1] = 0
705.84/116.38	c (96,0) opt[115][2] = 0
705.84/116.38	c (96,0) opt[115][3] = 1
705.84/116.38	c (96,0) opt[115][4] = 0
705.84/116.38	c (96,0) opt[116][0] = 0
705.84/116.38	c (96,0) opt[116][1] = 1
705.84/116.38	c (96,0) opt[116][2] = 0
705.84/116.38	c (96,0) opt[116][3] = 0
705.84/116.38	c (96,0) opt[116][4] = 0
705.84/116.38	c (96,0) opt[117][0] = 1
705.84/116.38	c (96,0) opt[117][1] = 0
705.84/116.38	c (96,0) opt[117][2] = 1
705.84/116.38	c (96,0) opt[117][3] = 0
705.84/116.38	c (96,0) opt[117][4] = 0
705.84/116.38	c (96,0) opt[118][0] = 0
705.84/116.38	c (96,0) opt[118][1] = 1
705.84/116.38	c (96,0) opt[118][2] = 0
705.84/116.38	c (96,0) opt[118][3] = 0
705.84/116.38	c (96,0) opt[118][4] = 0
705.84/116.38	c (96,0) opt[119][0] = 1
705.84/116.38	c (96,0) opt[119][1] = 0
705.84/116.38	c (96,0) opt[119][2] = 0
705.84/116.38	c (96,0) opt[119][3] = 0
705.84/116.38	c (96,0) opt[119][4] = 1
705.84/116.38	c (96,0) opt[120][0] = 0
705.84/116.38	c (96,0) opt[120][1] = 0
705.84/116.38	c (96,0) opt[120][2] = 1
705.84/116.38	c (96,0) opt[120][3] = 0
705.84/116.38	c (96,0) opt[120][4] = 0
705.84/116.38	c (96,0) opt[121][0] = 1
705.84/116.38	c (96,0) opt[121][1] = 0
705.84/116.38	c (96,0) opt[121][2] = 0
705.84/116.38	c (96,0) opt[121][3] = 0
705.84/116.38	c (96,0) opt[121][4] = 0
705.84/116.38	c (96,0) opt[122][0] = 0
705.84/116.38	c (96,0) opt[122][1] = 1
705.84/116.38	c (96,0) opt[122][2] = 0
705.84/116.38	c (96,0) opt[122][3] = 0
705.84/116.38	c (96,0) opt[122][4] = 0
705.84/116.38	c (96,0) opt[123][0] = 1
705.84/116.38	c (96,0) opt[123][1] = 0
705.84/116.38	c (96,0) opt[123][2] = 0
705.84/116.38	c (96,0) opt[123][3] = 0
705.84/116.38	c (96,0) opt[123][4] = 0
705.84/116.38	c (96,0) opt[124][0] = 0
705.84/116.38	c (96,0) opt[124][1] = 0
705.84/116.38	c (96,0) opt[124][2] = 0
705.84/116.38	c (96,0) opt[124][3] = 0
705.84/116.38	c (96,0) opt[124][4] = 1
705.84/116.38	c (96,0) opt[125][0] = 0
705.84/116.38	c (96,0) opt[125][1] = 1
705.84/116.38	c (96,0) opt[125][2] = 1
705.84/116.38	c (96,0) opt[125][3] = 0
705.84/116.38	c (96,0) opt[125][4] = 0
705.84/116.38	c (96,0) opt[126][0] = 1
705.84/116.38	c (96,0) opt[126][1] = 1
705.84/116.38	c (96,0) opt[126][2] = 0
705.84/116.38	c (96,0) opt[126][3] = 0
705.84/116.38	c (96,0) opt[126][4] = 0
705.84/116.38	c (96,0) opt[127][0] = 0
705.84/116.38	c (96,0) opt[127][1] = 0
705.84/116.38	c (96,0) opt[127][2] = 0
705.84/116.38	c (96,0) opt[127][3] = 1
705.84/116.38	c (96,0) opt[127][4] = 0
705.84/116.38	c (96,0) opt[128][0] = 1
705.84/116.38	c (96,0) opt[128][1] = 1
705.84/116.38	c (96,0) opt[128][2] = 1
705.84/116.38	c (96,0) opt[128][3] = 1
705.84/116.38	c (96,0) opt[128][4] = 0
705.84/116.38	c (96,0) opt[129][0] = 0
705.84/116.38	c (96,0) opt[129][1] = 0
705.84/116.38	c (96,0) opt[129][2] = 0
705.84/116.38	c (96,0) opt[129][3] = 0
705.84/116.38	c (96,0) opt[129][4] = 1
705.84/116.38	c (96,0) opt[130][0] = 1
705.84/116.38	c (96,0) opt[130][1] = 1
705.84/116.38	c (96,0) opt[130][2] = 0
705.84/116.38	c (96,0) opt[130][3] = 0
705.84/116.38	c (96,0) opt[130][4] = 0
705.84/116.38	c (96,0) opt[131][0] = 0
705.84/116.38	c (96,0) opt[131][1] = 1
705.84/116.38	c (96,0) opt[131][2] = 0
705.84/116.38	c (96,0) opt[131][3] = 0
705.84/116.38	c (96,0) opt[131][4] = 0
705.84/116.38	c (96,0) opt[132][0] = 0
705.84/116.38	c (96,0) opt[132][1] = 0
705.84/116.38	c (96,0) opt[132][2] = 0
705.84/116.38	c (96,0) opt[132][3] = 1
705.84/116.38	c (96,0) opt[132][4] = 0
705.84/116.38	c (96,0) opt[133][0] = 1
705.84/116.38	c (96,0) opt[133][1] = 0
705.84/116.38	c (96,0) opt[133][2] = 1
705.84/116.38	c (96,0) opt[133][3] = 0
705.84/116.38	c (96,0) opt[133][4] = 0
705.84/116.38	c (96,0) opt[134][0] = 0
705.84/116.38	c (96,0) opt[134][1] = 1
705.84/116.38	c (96,0) opt[134][2] = 0
705.84/116.38	c (96,0) opt[134][3] = 0
705.84/116.38	c (96,0) opt[134][4] = 1
705.84/116.38	c (96,0) opt[135][0] = 1
705.84/116.38	c (96,0) opt[135][1] = 1
705.84/116.38	c (96,0) opt[135][2] = 0
705.84/116.38	c (96,0) opt[135][3] = 1
705.84/116.38	c (96,0) opt[135][4] = 0
705.84/116.38	c (96,0) opt[136][0] = 0
705.84/116.38	c (96,0) opt[136][1] = 0
705.84/116.38	c (96,0) opt[136][2] = 1
705.84/116.38	c (96,0) opt[136][3] = 0
705.84/116.38	c (96,0) opt[136][4] = 0
705.84/116.38	c (96,0) opt[137][0] = 0
705.84/116.38	c (96,0) opt[137][1] = 1
705.84/116.38	c (96,0) opt[137][2] = 0
705.84/116.38	c (96,0) opt[137][3] = 0
705.84/116.38	c (96,0) opt[137][4] = 0
705.84/116.38	c (96,0) opt[138][0] = 1
705.84/116.38	c (96,0) opt[138][1] = 1
705.84/116.38	c (96,0) opt[138][2] = 0
705.84/116.38	c (96,0) opt[138][3] = 0
705.84/116.38	c (96,0) opt[138][4] = 0
705.84/116.38	c (96,0) opt[139][0] = 0
705.84/116.38	c (96,0) opt[139][1] = 0
705.84/116.38	c (96,0) opt[139][2] = 1
705.84/116.38	c (96,0) opt[139][3] = 1
705.84/116.38	c (96,0) opt[139][4] = 1
705.84/116.38	c (96,0) opt[140][0] = 1
705.84/116.38	c (96,0) opt[140][1] = 1
705.84/116.38	c (96,0) opt[140][2] = 0
705.84/116.38	c (96,0) opt[140][3] = 1
705.84/116.38	c (96,0) opt[140][4] = 0
705.84/116.38	c (96,0) opt[141][0] = 0
705.84/116.38	c (96,0) opt[141][1] = 1
705.84/116.38	c (96,0) opt[141][2] = 0
705.84/116.38	c (96,0) opt[141][3] = 0
705.84/116.38	c (96,0) opt[141][4] = 0
705.84/116.38	c (96,0) opt[142][0] = 1
705.84/116.38	c (96,0) opt[142][1] = 0
705.84/116.38	c (96,0) opt[142][2] = 0
705.84/116.38	c (96,0) opt[142][3] = 0
705.84/116.38	c (96,0) opt[142][4] = 0
705.84/116.38	c (96,0) opt[143][0] = 0
705.84/116.38	c (96,0) opt[143][1] = 1
705.84/116.38	c (96,0) opt[143][2] = 1
705.84/116.38	c (96,0) opt[143][3] = 0
705.84/116.38	c (96,0) opt[143][4] = 0
705.84/116.38	c (96,0) opt[144][0] = 0
705.84/116.38	c (96,0) opt[144][1] = 0
705.84/116.38	c (96,0) opt[144][2] = 0
705.84/116.38	c (96,0) opt[144][3] = 1
705.84/116.38	c (96,0) opt[144][4] = 1
705.84/116.38	c (96,0) opt[145][0] = 0
705.84/116.38	c (96,0) opt[145][1] = 1
705.84/116.38	c (96,0) opt[145][2] = 0
705.84/116.38	c (96,0) opt[145][3] = 0
705.84/116.38	c (96,0) opt[145][4] = 0
705.84/116.38	c (96,0) opt[146][0] = 1
705.84/116.38	c (96,0) opt[146][1] = 0
705.84/116.38	c (96,0) opt[146][2] = 1
705.84/116.38	c (96,0) opt[146][3] = 0
705.84/116.38	c (96,0) opt[146][4] = 0
705.84/116.38	c (96,0) opt[147][0] = 0
705.84/116.38	c (96,0) opt[147][1] = 0
705.84/116.38	c (96,0) opt[147][2] = 0
705.84/116.38	c (96,0) opt[147][3] = 1
705.84/116.38	c (96,0) opt[147][4] = 0
705.84/116.38	c (96,0) opt[148][0] = 0
705.84/116.38	c (96,0) opt[148][1] = 1
705.84/116.38	c (96,0) opt[148][2] = 0
705.84/116.38	c (96,0) opt[148][3] = 0
705.84/116.38	c (96,0) opt[148][4] = 0
705.84/116.38	c (96,0) opt[149][0] = 1
705.84/116.38	c (96,0) opt[149][1] = 1
705.84/116.38	c (96,0) opt[149][2] = 0
705.84/116.38	c (96,0) opt[149][3] = 0
705.84/116.38	c (96,0) opt[149][4] = 1
705.84/116.38	c (96,0) opt[150][0] = 0
705.84/116.38	c (96,0) opt[150][1] = 0
705.84/116.38	c (96,0) opt[150][2] = 0
705.84/116.38	c (96,0) opt[150][3] = 1
705.84/116.38	c (96,0) opt[150][4] = 0
705.84/116.38	c (96,0) opt[151][0] = 1
705.84/116.38	c (96,0) opt[151][1] = 1
705.84/116.38	c (96,0) opt[151][2] = 1
705.84/116.38	c (96,0) opt[151][3] = 0
705.84/116.38	c (96,0) opt[151][4] = 0
705.84/116.38	c (96,0) opt[152][0] = 0
705.84/116.38	c (96,0) opt[152][1] = 1
705.84/116.38	c (96,0) opt[152][2] = 0
705.84/116.38	c (96,0) opt[152][3] = 0
705.84/116.38	c (96,0) opt[152][4] = 0
705.84/116.38	c (96,0) opt[153][0] = 1
705.84/116.38	c (96,0) opt[153][1] = 0
705.84/116.38	c (96,0) opt[153][2] = 0
705.84/116.38	c (96,0) opt[153][3] = 0
705.84/116.38	c (96,0) opt[153][4] = 0
705.84/116.38	c (96,0) opt[154][0] = 0
705.84/116.38	c (96,0) opt[154][1] = 1
705.84/116.38	c (96,0) opt[154][2] = 0
705.84/116.38	c (96,0) opt[154][3] = 0
705.84/116.38	c (96,0) opt[154][4] = 1
705.84/116.38	c (96,0) opt[155][0] = 0
705.84/116.38	c (96,0) opt[155][1] = 0
705.84/116.38	c (96,0) opt[155][2] = 1
705.84/116.38	c (96,0) opt[155][3] = 0
705.84/116.38	c (96,0) opt[155][4] = 0
705.84/116.38	c (96,0) opt[156][0] = 1
705.84/116.38	c (96,0) opt[156][1] = 1
705.84/116.38	c (96,0) opt[156][2] = 0
705.84/116.38	c (96,0) opt[156][3] = 1
705.84/116.38	c (96,0) opt[156][4] = 0
705.84/116.38	c (96,0) opt[157][0] = 0
705.84/116.38	c (96,0) opt[157][1] = 1
705.84/116.38	c (96,0) opt[157][2] = 0
705.84/116.38	c (96,0) opt[157][3] = 0
705.84/116.38	c (96,0) opt[157][4] = 0
705.84/116.38	c (96,0) opt[158][0] = 0
705.84/116.38	c (96,0) opt[158][1] = 0
705.84/116.38	c (96,0) opt[158][2] = 1
705.84/116.38	c (96,0) opt[158][3] = 0
705.84/116.38	c (96,0) opt[158][4] = 0
705.84/116.38	c (96,0) opt[159][0] = 0
705.84/116.38	c (96,0) opt[159][1] = 0
705.84/116.38	c (96,0) opt[159][2] = 0
705.84/116.38	c (96,0) opt[159][3] = 0
705.84/116.38	c (96,0) opt[159][4] = 1
705.84/116.38	c (96,0) opt[160][0] = 1
705.84/116.38	c (96,0) opt[160][1] = 1
705.84/116.38	c (96,0) opt[160][2] = 0
705.84/116.38	c (96,0) opt[160][3] = 1
705.84/116.38	c (96,0) opt[160][4] = 0
705.84/116.38	c (96,0) opt[161][0] = 0
705.84/116.38	c (96,0) opt[161][1] = 1
705.84/116.38	c (96,0) opt[161][2] = 1
705.84/116.38	c (96,0) opt[161][3] = 0
705.84/116.38	c (96,0) opt[161][4] = 0
705.84/116.38	c (96,0) opt[162][0] = 1
705.84/116.38	c (96,0) opt[162][1] = 0
705.84/116.38	c (96,0) opt[162][2] = 0
705.84/116.38	c (96,0) opt[162][3] = 1
705.84/116.38	c (96,0) opt[162][4] = 0
705.84/116.38	c (96,0) opt[163][0] = 0
705.84/116.38	c (96,0) opt[163][1] = 1
705.84/116.38	c (96,0) opt[163][2] = 0
705.84/116.38	c (96,0) opt[163][3] = 0
705.84/116.38	c (96,0) opt[163][4] = 0
705.84/116.38	c (96,0) opt[164][0] = 1
705.84/116.38	c (96,0) opt[164][1] = 0
705.84/116.38	c (96,0) opt[164][2] = 0
705.84/116.38	c (96,0) opt[164][3] = 0
705.84/116.38	c (96,0) opt[164][4] = 1
705.84/116.38	c (96,0) opt[165][0] = 0
705.84/116.38	c (96,0) opt[165][1] = 1
705.84/116.38	c (96,0) opt[165][2] = 1
705.84/116.38	c (96,0) opt[165][3] = 0
705.84/116.38	c (96,0) opt[165][4] = 0
705.84/116.38	c (96,0) opt[166][0] = 1
705.84/116.38	c (96,0) opt[166][1] = 0
705.84/116.38	c (96,0) opt[166][2] = 0
705.84/116.38	c (96,0) opt[166][3] = 1
705.84/116.38	c (96,0) opt[166][4] = 0
705.84/116.38	c (96,0) opt[167][0] = 0
705.84/116.38	c (96,0) opt[167][1] = 1
705.84/116.38	c (96,0) opt[167][2] = 0
705.84/116.38	c (96,0) opt[167][3] = 0
705.84/116.38	c (96,0) opt[167][4] = 0
705.84/116.38	c (96,0) opt[168][0] = 0
705.84/116.38	c (96,0) opt[168][1] = 0
705.84/116.38	c (96,0) opt[168][2] = 1
705.84/116.38	c (96,0) opt[168][3] = 1
705.84/116.38	c (96,0) opt[168][4] = 0
705.84/116.38	c (96,0) opt[169][0] = 1
705.84/116.38	c (96,0) opt[169][1] = 1
705.84/116.38	c (96,0) opt[169][2] = 0
705.84/116.38	c (96,0) opt[169][3] = 0
705.84/116.38	c (96,0) opt[169][4] = 1
705.84/116.38	c (96,0) opt[170][0] = 0
705.84/116.38	c (96,0) opt[170][1] = 1
705.84/116.38	c (96,0) opt[170][2] = 0
705.84/116.38	c (96,0) opt[170][3] = 0
705.84/116.38	c (96,0) opt[170][4] = 0
705.84/116.38	c (96,0) opt[171][0] = 0
705.84/116.38	c (96,0) opt[171][1] = 0
705.84/116.38	c (96,0) opt[171][2] = 1
705.84/116.38	c (96,0) opt[171][3] = 0
705.84/116.38	c (96,0) opt[171][4] = 0
705.84/116.38	c (96,0) opt[172][0] = 1
705.84/116.38	c (96,0) opt[172][1] = 1
705.84/116.38	c (96,0) opt[172][2] = 0
705.84/116.38	c (96,0) opt[172][3] = 1
705.84/116.38	c (96,0) opt[172][4] = 0
705.84/116.38	c (96,0) opt[173][0] = 0
705.84/116.38	c (96,0) opt[173][1] = 1
705.84/116.38	c (96,0) opt[173][2] = 0
705.84/116.38	c (96,0) opt[173][3] = 0
705.84/116.38	c (96,0) opt[173][4] = 0
705.84/116.38	c (96,0) opt[174][0] = 1
705.84/116.38	c (96,0) opt[174][1] = 0
705.84/116.38	c (96,0) opt[174][2] = 1
705.84/116.38	c (96,0) opt[174][3] = 0
705.84/116.38	c (96,0) opt[174][4] = 1
705.84/116.38	c (96,0) opt[175][0] = 0
705.84/116.38	c (96,0) opt[175][1] = 1
705.84/116.38	c (96,0) opt[175][2] = 0
705.84/116.38	c (96,0) opt[175][3] = 0
705.84/116.38	c (96,0) opt[175][4] = 0
705.84/116.38	c (96,0) opt[176][0] = 0
705.84/116.38	c (96,0) opt[176][1] = 0
705.84/116.38	c (96,0) opt[176][2] = 0
705.84/116.38	c (96,0) opt[176][3] = 1
705.84/116.38	c (96,0) opt[176][4] = 0
705.84/116.38	c (96,0) opt[177][0] = 1
705.84/116.38	c (96,0) opt[177][1] = 1
705.84/116.38	c (96,0) opt[177][2] = 1
705.84/116.38	c (96,0) opt[177][3] = 0
705.84/116.38	c (96,0) opt[177][4] = 0
705.84/116.38	c (96,0) opt[178][0] = 0
705.84/116.38	c (96,0) opt[178][1] = 1
705.84/116.38	c (96,0) opt[178][2] = 0
705.84/116.38	c (96,0) opt[178][3] = 0
705.84/116.38	c (96,0) opt[178][4] = 0
705.84/116.38	c (96,0) opt[179][0] = 1
705.84/116.38	c (96,0) opt[179][1] = 0
705.84/116.38	c (96,0) opt[179][2] = 0
705.84/116.38	c (96,0) opt[179][3] = 0
705.84/116.38	c (96,0) opt[179][4] = 1
705.84/116.38	c (96,0) opt[180][0] = 0
705.84/116.38	c (96,0) opt[180][1] = 0
705.84/116.38	c (96,0) opt[180][2] = 1
705.84/116.38	c (96,0) opt[180][3] = 0
705.84/116.38	c (96,0) opt[180][4] = 0
705.84/116.38	c (96,0) opt[181][0] = 0
705.84/116.38	c (96,0) opt[181][1] = 1
705.84/116.38	c (96,0) opt[181][2] = 0
705.84/116.38	c (96,0) opt[181][3] = 0
705.84/116.38	c (96,0) opt[181][4] = 0
705.84/116.38	c (96,0) opt[182][0] = 0
705.84/116.38	c (96,0) opt[182][1] = 1
705.84/116.38	c (96,0) opt[182][2] = 0
705.84/116.38	c (96,0) opt[182][3] = 0
705.84/116.38	c (96,0) opt[182][4] = 0
705.84/116.38	c (96,0) opt[183][0] = 1
705.84/116.38	c (96,0) opt[183][1] = 0
705.84/116.38	c (96,0) opt[183][2] = 1
705.84/116.38	c (96,0) opt[183][3] = 0
705.84/116.38	c (96,0) opt[183][4] = 0
705.84/116.38	c (96,0) opt[184][0] = 0
705.84/116.38	c (96,0) opt[184][1] = 1
705.84/116.38	c (96,0) opt[184][2] = 0
705.84/116.38	c (96,0) opt[184][3] = 0
705.84/116.38	c (96,0) opt[184][4] = 1
705.84/116.38	c (96,0) opt[185][0] = 1
705.84/116.38	c (96,0) opt[185][1] = 0
705.84/116.38	c (96,0) opt[185][2] = 0
705.84/116.38	c (96,0) opt[185][3] = 1
705.84/116.38	c (96,0) opt[185][4] = 0
705.84/116.38	c (96,0) opt[186][0] = 0
705.84/116.38	c (96,0) opt[186][1] = 1
705.84/116.38	c (96,0) opt[186][2] = 0
705.84/116.38	c (96,0) opt[186][3] = 0
705.84/116.38	c (96,0) opt[186][4] = 0
705.84/116.38	c (96,0) opt[187][0] = 1
705.84/116.38	c (96,0) opt[187][1] = 1
705.84/116.38	c (96,0) opt[187][2] = 1
705.84/116.38	c (96,0) opt[187][3] = 0
705.84/116.38	c (96,0) opt[187][4] = 0
705.84/116.38	c (96,0) opt[188][0] = 0
705.84/116.38	c (96,0) opt[188][1] = 0
705.84/116.38	c (96,0) opt[188][2] = 0
705.84/116.38	c (96,0) opt[188][3] = 1
705.84/116.38	c (96,0) opt[188][4] = 0
705.84/116.38	c (96,0) opt[189][0] = 0
705.84/116.38	c (96,0) opt[189][1] = 1
705.84/116.38	c (96,0) opt[189][2] = 0
705.84/116.38	c (96,0) opt[189][3] = 0
705.84/116.38	c (96,0) opt[189][4] = 1
705.84/116.38	c (96,0) opt[190][0] = 0
705.84/116.38	c (96,0) opt[190][1] = 0
705.84/116.38	c (96,0) opt[190][2] = 0
705.84/116.38	c (96,0) opt[190][3] = 1
705.84/116.38	c (96,0) opt[190][4] = 0
705.84/116.38	c (96,0) opt[191][0] = 1
705.84/116.38	c (96,0) opt[191][1] = 0
705.84/116.38	c (96,0) opt[191][2] = 1
705.84/116.38	c (96,0) opt[191][3] = 0
705.84/116.38	c (96,0) opt[191][4] = 0
705.84/116.38	c (96,0) opt[192][0] = 0
705.84/116.38	c (96,0) opt[192][1] = 1
705.84/116.38	c (96,0) opt[192][2] = 0
705.84/116.38	c (96,0) opt[192][3] = 0
705.84/116.38	c (96,0) opt[192][4] = 0
705.84/116.38	c (96,0) opt[193][0] = 1
705.84/116.38	c (96,0) opt[193][1] = 1
705.84/116.38	c (96,0) opt[193][2] = 0
705.84/116.38	c (96,0) opt[193][3] = 0
705.84/116.38	c (96,0) opt[193][4] = 0
705.84/116.38	c (96,0) opt[194][0] = 0
705.84/116.38	c (96,0) opt[194][1] = 0
705.84/116.38	c (96,0) opt[194][2] = 0
705.84/116.38	c (96,0) opt[194][3] = 0
705.84/116.38	c (96,0) opt[194][4] = 1
705.84/116.38	c (96,0) opt[195][0] = 1
705.84/116.38	c (96,0) opt[195][1] = 0
705.84/116.38	c (96,0) opt[195][2] = 1
705.84/116.38	c (96,0) opt[195][3] = 1
705.84/116.38	c (96,0) opt[195][4] = 0
705.84/116.38	c (96,0) opt[196][0] = 0
705.84/116.38	c (96,0) opt[196][1] = 1
705.84/116.38	c (96,0) opt[196][2] = 0
705.84/116.38	c (96,0) opt[196][3] = 0
705.84/116.38	c (96,0) opt[196][4] = 0
705.84/116.38	c (96,0) opt[197][0] = 0
705.84/116.38	c (96,0) opt[197][1] = 1
705.84/116.38	c (96,0) opt[197][2] = 0
705.84/116.38	c (96,0) opt[197][3] = 0
705.84/116.38	c (96,0) opt[197][4] = 0
705.84/116.38	c (96,0) opt[198][0] = 1
705.84/116.38	c (96,0) opt[198][1] = 0
705.84/116.38	c (96,0) opt[198][2] = 1
705.84/116.38	c (96,0) opt[198][3] = 1
705.84/116.38	c (96,0) opt[198][4] = 0
705.84/116.38	c (96,0) opt[199][0] = 0
705.84/116.38	c (96,0) opt[199][1] = 0
705.84/116.38	c (96,0) opt[199][2] = 0
705.84/116.38	c (96,0) opt[199][3] = 0
705.84/116.38	c (96,0) opt[199][4] = 1
705.84/116.38	s SATISFIABLE
705.84/116.39	v <instantiation>
705.84/116.39	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>
705.84/116.39	v     <values>7 16 18 0 6 0 15 22 17 1 15 8 16 14 8 2 7 16 15 0 5 15 1 14 16 15 22 15 2 14 0 20 0 14 12 8 13 5 15 0 12 13 0 15 0 0 12 0 21 18 16 15 0 17 8 22 12 0 2 3 8 22 12 0 15 22 8 22 15 4 8 22 11 0 15 10 15 8 0 17 2 8 5 0 15 4 12 14 0 12 2 22 19 0 14 19 22 9 12 0 15 0 2 0 8 5 15 4 15 8 14 0 11 0 9 8 22 11 0 23 12 15 0 15 2 16 14 8 3 2 14 0 8 11 4 7 12 0 14 10 7 0 15 16 1 0 11 8 0 13 8 17 0 15 4 12 7 0 12 2 7 16 18 0 23 16 18 22 19 13 0 12 7 0 6 0 8 17 0 23 12 0 0 11 4 18 22 17 8 4 8 11 22 14 2 20 0 22 20 2 1 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 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 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 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 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 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 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1</values>
705.84/116.39	v </instantiation>
705.84/116.39	c (96,0) Show results End
705.84/116.39	c (96,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
705.84/116.39	c (96,0) 96,96,STOP-AFTER(ALL)
705.84/116.39	c END-Prog: Sat Sep 14 05:21:17 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 (11889 MiB free)
  memory of node 1: 16384 MiB (15547 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392642-1568431199/watcher-4392642-1568431199 -o /tmp/evaluation-result-4392642-1568431199/solver-4392642-1568431199 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --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-4392642-1568431199.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=5108, runsolver pid=5105
Current StackSize limit: 8192 KiB


[startup+0.100753 s]*
/proc/loadavg: 3.20 3.78 3.88 2/211 5130
/proc/meminfo: memFree=28002416/32770624 swapFree=66999932/67108860
[pid=5108] ppid=5105 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5108/stat : 5108 (scop.sh) S 5105 5108 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419384811 115843072 349 33554432000 4194304 5098028 140721779837504 140721779834760 140390327317116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36417536 140721779839780 140721779840108 140721779840108 140721779843021 0
/proc/5108/statm: 28282 349 296 221 0 87 0
[pid=5111] ppid=5108 vsize=27314120 memory=104872 CPUtime=0.1 cores=0-7
/proc/5111/stat : 5111 (java) S 5108 5108 4292 0 -1 1077944320 6248 0 0 0 8 2 0 0 20 0 20 0 419384812 27969658880 26218 33554432000 4194304 4196468 140730205195040 140730205177584 140568954015479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
/proc/5111/statm: 6828530 26218 2817 1 0 6790935 0
[pid=5111/tid=5112] ppid=5108 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/5111/task/5112/stat : 5112 (java) R 5108 5108 4292 0 -1 4202560 4326 0 0 0 7 2 0 0 20 0 20 0 419384812 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568925838528 140568954037405 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5113] ppid=5108 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5111/task/5113/stat : 5113 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568958257424 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5114] ppid=5108 vsize=27314120 memory=140449989744256 CPUtime=0 cores=0-7
/proc/5111/task/5114/stat : 5114 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568778553744 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5115] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5115/stat : 5115 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568374856208 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5116] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5116/stat : 5116 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568373803664 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5117] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5117/stat : 5117 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568372751120 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5118] ppid=5108 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5111/task/5118/stat : 5118 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568371698576 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5119] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5119/stat : 5119 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568370646032 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5120] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5120/stat : 5120 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568369593488 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5121] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5121/stat : 5121 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384816 27969658880 26218 33554432000 4194304 4196468 140730205195040 140568213719024 140568954026626 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5122] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5122/stat : 5122 (java) S 5108 5108 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419384816 27969658880 26218 33554432000 4194304 4196468 140730205195040 140566562071456 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5123] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5123/stat : 5123 (java) S 5108 5108 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419384817 27969658880 26730 33554432000 4194304 4196468 140730205195040 140566427849712 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5124] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5124/stat : 5124 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 26730 33554432000 4194304 4196468 140730205195040 140566053345488 140568954034075 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5125] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5125/stat : 5125 (java) S 5108 5108 4292 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 26730 33554432000 4194304 4196468 140730205195040 140568212666864 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5126] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5126/stat : 5126 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 26730 33554432000 4194304 4196468 140730205195040 140568211614320 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5127] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5127/stat : 5127 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 26730 33554432000 4194304 4196468 140730205195040 140568210561776 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5128] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5128/stat : 5128 (java) S 5108 5108 4292 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 26730 33554432000 4194304 4196468 140730205195040 140568209509232 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5129] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5129/stat : 5129 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 26730 33554432000 4194304 4196468 140730205195040 140565555439840 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5130] ppid=5108 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5111/task/5130/stat : 5130 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384820 27969658880 26730 33554432000 4194304 4196468 140730205195040 140568208456112 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106268 KiB

[startup+0.210596 s]*
/proc/loadavg: 3.20 3.78 3.88 3/211 5130
/proc/meminfo: memFree=27984084/32770624 swapFree=66999932/67108860
[pid=5108] ppid=5105 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5108/stat : 5108 (scop.sh) S 5105 5108 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419384811 115843072 349 33554432000 4194304 5098028 140721779837504 140721779834760 140390327317116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36417536 140721779839780 140721779840108 140721779840108 140721779843021 0
/proc/5108/statm: 28282 349 296 221 0 87 0
[pid=5111] ppid=5108 vsize=27314120 memory=121556 CPUtime=0.24 cores=0-7
/proc/5111/stat : 5111 (java) S 5108 5108 4292 0 -1 1077944320 11123 0 0 0 20 4 0 0 20 0 20 0 419384812 27969658880 30389 33554432000 4194304 4196468 140730205195040 140730205177584 140568954015479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
/proc/5111/statm: 6828530 30389 2922 1 0 6790935 0
[pid=5111/tid=5112] ppid=5108 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5111/task/5112/stat : 5112 (java) R 5108 5108 4292 0 -1 4202560 8804 0 0 0 17 3 0 0 20 0 20 0 419384812 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568925839440 140568934290778 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5113] ppid=5108 vsize=27314120 memory=331 CPUtime=0 cores=0-7
/proc/5111/task/5113/stat : 5113 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568958257424 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5114] ppid=5108 vsize=27314120 memory=140449989755591 CPUtime=0 cores=0-7
/proc/5111/task/5114/stat : 5114 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568778553744 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5115] ppid=5108 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5111/task/5115/stat : 5115 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568374856208 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5116] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5116/stat : 5116 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568373803664 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5117] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5117/stat : 5117 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568372751120 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5118] ppid=5108 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5111/task/5118/stat : 5118 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568371698576 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5119] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5119/stat : 5119 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568370646032 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5120] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5120/stat : 5120 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568369593488 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5121] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5121/stat : 5121 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384816 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568213719024 140568954026626 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5122] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5122/stat : 5122 (java) S 5108 5108 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419384816 27969658880 30389 33554432000 4194304 4196468 140730205195040 140566562071456 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5123] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5123/stat : 5123 (java) S 5108 5108 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419384817 27969658880 30389 33554432000 4194304 4196468 140730205195040 140566427849712 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5124] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5124/stat : 5124 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 30389 33554432000 4194304 4196468 140730205195040 140566053345488 140568954034075 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5125] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5125/stat : 5125 (java) S 5108 5108 4292 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568212666864 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5126] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5126/stat : 5126 (java) S 5108 5108 4292 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568211614320 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5127] ppid=5108 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5111/task/5127/stat : 5127 (java) S 5108 5108 4292 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568210561776 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5128] ppid=5108 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/5111/task/5128/stat : 5128 (java) S 5108 5108 4292 0 -1 1077944384 486 0 0 0 2 0 0 0 20 0 20 0 419384819 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568209509232 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5129] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5129/stat : 5129 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 30389 33554432000 4194304 4196468 140730205195040 140565555439840 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5130] ppid=5108 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5111/task/5130/stat : 5130 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384820 27969658880 30389 33554432000 4194304 4196468 140730205195040 140568208456112 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122952 KiB

[startup+0.310255 s]*
/proc/loadavg: 3.20 3.78 3.88 2/211 5130
/proc/meminfo: memFree=27980424/32770624 swapFree=66999932/67108860
[pid=5108] ppid=5105 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5108/stat : 5108 (scop.sh) S 5105 5108 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419384811 115843072 349 33554432000 4194304 5098028 140721779837504 140721779834760 140390327317116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36417536 140721779839780 140721779840108 140721779840108 140721779843021 0
/proc/5108/statm: 28282 349 296 221 0 87 0
[pid=5111] ppid=5108 vsize=27314120 memory=125980 CPUtime=0.42 cores=0-7
/proc/5111/stat : 5111 (java) S 5108 5108 4292 0 -1 1077944320 12306 0 0 0 37 5 0 0 20 0 20 0 419384812 27969658880 31495 33554432000 4194304 4196468 140730205195040 140730205177584 140568954015479 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
/proc/5111/statm: 6828530 31495 3073 1 0 6790935 0
[pid=5111/tid=5112] ppid=5108 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5111/task/5112/stat : 5112 (java) R 5108 5108 4292 0 -1 4202560 9789 0 0 0 26 3 0 0 20 0 20 0 419384812 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568925832976 140568938095966 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5113] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5113/stat : 5113 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568958257424 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5114] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5114/stat : 5114 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568778553744 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5115] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5115/stat : 5115 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568374856208 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5116] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5116/stat : 5116 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568373803664 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5117] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5117/stat : 5117 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568372751120 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5118] ppid=5108 vsize=27314120 memory=140449859857071 CPUtime=0 cores=0-7
/proc/5111/task/5118/stat : 5118 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568371698576 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5119] ppid=5108 vsize=27314120 memory=140449859859376 CPUtime=0 cores=0-7
/proc/5111/task/5119/stat : 5119 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568370646032 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5120] ppid=5108 vsize=27314120 memory=140449859861680 CPUtime=0 cores=0-7
/proc/5111/task/5120/stat : 5120 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568369593488 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5121] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5121/stat : 5121 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384816 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568213719024 140568954026626 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5122] ppid=5108 vsize=27314120 memory=280899719737232 CPUtime=0 cores=0-7
/proc/5111/task/5122/stat : 5122 (java) S 5108 5108 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419384816 27969658880 31495 33554432000 4194304 4196468 140730205195040 140566562071456 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5123] ppid=5108 vsize=27314120 memory=280899719734928 CPUtime=0 cores=0-7
/proc/5111/task/5123/stat : 5123 (java) S 5108 5108 4292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419384817 27969658880 31495 33554432000 4194304 4196468 140730205195040 140566427849712 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5124] ppid=5108 vsize=27314120 memory=280899719741840 CPUtime=0 cores=0-7
/proc/5111/task/5124/stat : 5124 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 31495 33554432000 4194304 4196468 140730205195040 140566053345488 140568954034075 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5125] ppid=5108 vsize=27314120 memory=280899719683120 CPUtime=0.01 cores=0-7
/proc/5111/task/5125/stat : 5125 (java) S 5108 5108 4292 0 -1 1077944384 412 0 0 0 1 0 0 0 20 0 20 0 419384819 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568212666864 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5126] ppid=5108 vsize=27314120 memory=280899719755664 CPUtime=0.01 cores=0-7
/proc/5111/task/5126/stat : 5126 (java) R 5108 5108 4292 0 -1 4202560 75 0 0 0 1 0 0 0 20 0 20 0 419384819 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568211614320 140568931650128 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5127] ppid=5108 vsize=27314120 memory=280899719762576 CPUtime=0.01 cores=0-7
/proc/5111/task/5127/stat : 5127 (java) S 5108 5108 4292 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 419384819 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568210561776 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5128] ppid=5108 vsize=27314120 memory=280899719760272 CPUtime=0.07 cores=0-7
/proc/5111/task/5128/stat : 5128 (java) S 5108 5108 4292 0 -1 1077944384 530 0 0 0 7 0 0 0 20 0 20 0 419384819 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568209509232 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5129] ppid=5108 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5129/stat : 5129 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419384819 27969658880 31495 33554432000 4194304 4196468 140730205195040 140565555439840 140568954025685 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5130] ppid=5108 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/5111/task/5130/stat : 5130 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384820 27969658880 31495 33554432000 4194304 4196468 140730205195040 140568208456112 140568954026626 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127376 KiB

[startup+0.70098 s]
/proc/loadavg: 3.02 3.73 3.87 2/211 5130
/proc/meminfo: memFree=27957468/32770624 swapFree=66999932/67108860
[pid=5108] ppid=5105 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/5108/stat : 5108 (scop.sh) S 5105 5108 4292 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419384811 115843072 349 33554432000 4194304 5098028 140721779837504 140721779834760 140390327317116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36417536 140721779839780 140721779840108 140721779840108 140721779843021 0
/proc/5108/statm: 28282 349 296 221 0 87 0
[pid=5111] ppid=5108 vsize=27320392 memory=163572 CPUtime=1.01 cores=0-7
/proc/5111/stat : 5111 (java) S 5108 5108 4292 0 -1 1077944320 20019 0 0 0 94 7 0 0 20 0 20 0 419384812 27976081408 40893 33554432000 4194304 4196468 140730205195040 140730205177584 140568954015479 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
/proc/5111/statm: 6830098 40893 3182 1 0 6791447 0
[pid=5111/tid=5112] ppid=5108 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/5111/task/5112/stat : 5112 (java) R 5108 5108 4292 0 -1 4202560 16874 0 0 0 62 5 0 0 20 0 20 0 419384812 27976081408 40893 33554432000 4194304 4196468 140730205195040 140568925851152 140568954027414 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5113] ppid=5108 vsize=27320392 memory=140449860068208 CPUtime=0 cores=0-7
/proc/5111/task/5113/stat : 5113 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27976081408 40893 33554432000 4194304 4196468 140730205195040 140568958257424 140568954025685 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5114] ppid=5108 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/5111/task/5114/stat : 5114 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419384814 27976081408 40893 33554432000 4194304 4196468 140730205195040 140568778553744 140568954025685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0
[pid=5111/tid=5115] ppid=5108 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/5111/task/5115/stat : 5115 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419384814 27976081408 40893 33554432000 4194304 4196468 140730205195040 140568374856208 140568954025685 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37277696 140730205201131 140730205201558 140730205201558 140730205204431 0

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

[pid=5131/tid=5134] ppid=5108 vsize=8414124 memory=1544 CPUtime=0 cores=0-7
/proc/5131/task/5134/stat : 5134 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 32706 33554432000 4194304 4196468 140728758450960 139890127084432 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5135] ppid=5108 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/5131/task/5135/stat : 5135 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 32706 33554432000 4194304 4196468 140728758450960 139890126031888 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5136] ppid=5108 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/5131/task/5136/stat : 5136 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 32706 33554432000 4194304 4196468 140728758450960 139890124979344 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5137] ppid=5108 vsize=8414124 memory=280899720139520 CPUtime=0 cores=0-7
/proc/5131/task/5137/stat : 5137 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 32706 33554432000 4194304 4196468 140728758450960 139890123925776 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5138] ppid=5108 vsize=8414124 memory=280899720798240 CPUtime=0 cores=0-7
/proc/5131/task/5138/stat : 5138 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 32706 33554432000 4194304 4196468 140728758450960 139890122873232 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5139] ppid=5108 vsize=8414124 memory=280899720798304 CPUtime=0 cores=0-7
/proc/5131/task/5139/stat : 5139 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 32706 33554432000 4194304 4196468 140728758450960 139890121820688 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5140] ppid=5108 vsize=8414124 memory=280899720798368 CPUtime=0 cores=0-7
/proc/5131/task/5140/stat : 5140 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 32706 33554432000 4194304 4196468 140728758450960 139890120768144 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5141] ppid=5108 vsize=8414124 memory=280899720798432 CPUtime=0 cores=0-7
/proc/5131/task/5141/stat : 5141 (java) S 5108 5108 4292 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419386792 8616062976 32706 33554432000 4194304 4196468 140728758450960 139889147304432 139890322684546 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5142] ppid=5108 vsize=8414124 memory=280899720798496 CPUtime=0 cores=0-7
/proc/5131/task/5142/stat : 5142 (java) S 5108 5108 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419386792 8616062976 32706 33554432000 4194304 4196468 140728758450960 139888963872160 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5143] ppid=5108 vsize=8414124 memory=-4075877051373423743 CPUtime=0 cores=0-7
/proc/5131/task/5143/stat : 5143 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386792 8616062976 32706 33554432000 4194304 4196468 140728758450960 139888695436784 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5144] ppid=5108 vsize=8414124 memory=7517468027179527010 CPUtime=0 cores=0-7
/proc/5131/task/5144/stat : 5144 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386795 8616062976 32706 33554432000 4194304 4196468 140728758450960 139888320928464 139890322691995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5145] ppid=5108 vsize=8414124 memory=280899721666272 CPUtime=0.13 cores=0-7
/proc/5131/task/5145/stat : 5145 (java) S 5108 5108 4292 0 -1 1077944384 602 0 0 0 13 0 0 0 20 0 24 0 419386795 8616062976 32706 33554432000 4194304 4196468 140728758450960 139889146251248 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5146] ppid=5108 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/5131/task/5146/stat : 5146 (java) S 5108 5108 4292 0 -1 1077944384 458 0 0 0 19 0 0 0 20 0 24 0 419386795 8616062976 32706 33554432000 4194304 4196468 140728758450960 139889145198704 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5147] ppid=5108 vsize=8414124 memory=0 CPUtime=0.26 cores=0-7
/proc/5131/task/5147/stat : 5147 (java) S 5108 5108 4292 0 -1 1077944384 1213 0 0 0 26 0 0 0 20 0 24 0 419386795 8616062976 32706 33554432000 4194304 4196468 140728758450960 139889144146160 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5148] ppid=5108 vsize=8414124 memory=0 CPUtime=0.26 cores=0-7
/proc/5131/task/5148/stat : 5148 (java) S 5108 5108 4292 0 -1 1077944384 840 0 0 0 26 0 0 0 20 0 24 0 419386795 8616062976 32706 33554432000 4194304 4196468 140728758450960 139889143093616 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5149] ppid=5108 vsize=8414124 memory=140449860854384 CPUtime=0 cores=0-7
/proc/5131/task/5149/stat : 5149 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419386795 8616062976 32706 33554432000 4194304 4196468 140728758450960 139887823022816 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5150] ppid=5108 vsize=8414124 memory=2020 CPUtime=0.04 cores=0-7
/proc/5131/task/5150/stat : 5150 (java) S 5108 5108 4292 0 -1 1077944384 7 0 0 0 3 1 0 0 20 0 24 0 419386795 8616062976 32706 33554432000 4194304 4196468 140728758450960 139889142041520 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5152] ppid=5108 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/5131/task/5152/stat : 5152 (java) S 5108 5108 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419386877 8616062976 32706 33554432000 4194304 4196468 140728758450960 139889769658048 139890322698009 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5154] ppid=5108 vsize=8414124 memory=9536 CPUtime=0 cores=0-7
/proc/5131/task/5154/stat : 5154 (java) S 5108 5108 4292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 419386877 8616062976 32706 33554432000 4194304 4196468 140728758450960 139887151922480 139890322695325 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5155] ppid=5108 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/5131/task/5155/stat : 5155 (java) S 5108 5108 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419386877 8616062976 32706 33554432000 4194304 4196468 140728758450960 139887420358064 139890322695325 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5156] ppid=5108 vsize=8414124 memory=4128 CPUtime=0 cores=0-7
/proc/5131/task/5156/stat : 5156 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419386880 8616062976 32706 33554432000 4194304 4196468 140728758450960 139886883495088 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
Current children cumulated CPU time: 704.12 s
Current children cumulated vsize: 11923188 KiB
Current children cumulated memory: 3006824 KiB

[startup+116.001 s]*
/proc/loadavg: 6.30 4.67 4.18 4/217 5176
/proc/meminfo: memFree=26400148/32770624 swapFree=66999932/67108860
[pid=5108] ppid=5105 vsize=113128 memory=1476 CPUtime=33.82 cores=0-7
/proc/5108/stat : 5108 (scop.sh) S 5105 5108 4292 0 -1 4202496 583 45244 0 0 0 0 3227 155 20 0 1 0 419384811 115843072 369 33554432000 4194304 5098028 140721779837504 140721779834248 140390327317116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36417536 140721779839780 140721779840108 140721779840108 140721779843021 0
/proc/5108/statm: 28282 369 311 221 0 87 0
[pid=5131] ppid=5108 vsize=8414124 memory=247108 CPUtime=2.23 cores=0-7
/proc/5131/stat : 5131 (java) S 5108 5108 4292 0 -1 1077944320 21906 0 0 0 203 20 0 0 20 0 24 0 419386789 8616062976 61777 33554432000 4194304 4196468 140728758450960 140728758433504 139890322673399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
/proc/5131/statm: 2103531 61777 3230 1 0 2064875 0
[pid=5131/tid=5132] ppid=5108 vsize=8414124 memory=1476 CPUtime=0.91 cores=0-7
/proc/5131/task/5132/stat : 5132 (java) S 5108 5108 4292 0 -1 1077944384 16922 0 0 0 79 12 0 0 20 0 24 0 419386789 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890294513568 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5133] ppid=5108 vsize=8414124 memory=130824 CPUtime=0 cores=0-7
/proc/5131/task/5133/stat : 5133 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890326915856 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5134] ppid=5108 vsize=8414124 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5131/task/5134/stat : 5134 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890127084432 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5135] ppid=5108 vsize=8414124 memory=4195447490462202311 CPUtime=0 cores=0-7
/proc/5131/task/5135/stat : 5135 (java) S 5108 5108 4292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890126031888 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5136] ppid=5108 vsize=8414124 memory=15823304585906089 CPUtime=0 cores=0-7
/proc/5131/task/5136/stat : 5136 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890124979344 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5137] ppid=5108 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/5131/task/5137/stat : 5137 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890123925776 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5138] ppid=5108 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/5131/task/5138/stat : 5138 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890122873232 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5139] ppid=5108 vsize=8414124 memory=9536 CPUtime=0 cores=0-7
/proc/5131/task/5139/stat : 5139 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890121820688 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5140] ppid=5108 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/5131/task/5140/stat : 5140 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419386790 8616062976 61777 33554432000 4194304 4196468 140728758450960 139890120768144 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5141] ppid=5108 vsize=8414124 memory=4128 CPUtime=0.01 cores=0-7
/proc/5131/task/5141/stat : 5141 (java) S 5108 5108 4292 0 -1 1077944384 6 0 0 0 0 1 0 0 20 0 24 0 419386792 8616062976 61777 33554432000 4194304 4196468 140728758450960 139889147304432 139890322684546 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5142] ppid=5108 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/5131/task/5142/stat : 5142 (java) S 5108 5108 4292 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419386792 8616062976 61777 33554432000 4194304 4196468 140728758450960 139888963872160 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5143] ppid=5108 vsize=8414124 memory=-4075877051373423743 CPUtime=0 cores=0-7
/proc/5131/task/5143/stat : 5143 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386792 8616062976 61777 33554432000 4194304 4196468 140728758450960 139888695436784 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5144] ppid=5108 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/5131/task/5144/stat : 5144 (java) S 5108 5108 4292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419386795 8616062976 61777 33554432000 4194304 4196468 140728758450960 139888320928464 139890322691995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5145] ppid=5108 vsize=8414124 memory=988 CPUtime=0.17 cores=0-7
/proc/5131/task/5145/stat : 5145 (java) S 5108 5108 4292 0 -1 1077944384 614 0 0 0 17 0 0 0 20 0 24 0 419386795 8616062976 61777 33554432000 4194304 4196468 140728758450960 139889146251248 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5146] ppid=5108 vsize=8414124 memory=2020 CPUtime=0.22 cores=0-7
/proc/5131/task/5146/stat : 5146 (java) S 5108 5108 4292 0 -1 1077944384 577 0 0 0 22 0 0 0 20 0 24 0 419386795 8616062976 61777 33554432000 4194304 4196468 140728758450960 139889145198704 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5147] ppid=5108 vsize=8414124 memory=1432 CPUtime=0.3 cores=0-7
/proc/5131/task/5147/stat : 5147 (java) S 5108 5108 4292 0 -1 1077944384 1249 0 0 0 30 0 0 0 20 0 24 0 419386795 8616062976 61777 33554432000 4194304 4196468 140728758450960 139889144146160 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5148] ppid=5108 vsize=8414124 memory=9536 CPUtime=0.3 cores=0-7
/proc/5131/task/5148/stat : 5148 (java) S 5108 5108 4292 0 -1 1077944384 1042 0 0 0 30 0 0 0 20 0 24 0 419386795 8616062976 61777 33554432000 4194304 4196468 140728758450960 139889143093616 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5149] ppid=5108 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/5131/task/5149/stat : 5149 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419386795 8616062976 61777 33554432000 4194304 4196468 140728758450960 139887823022816 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5150] ppid=5108 vsize=8414124 memory=4128 CPUtime=0.04 cores=0-7
/proc/5131/task/5150/stat : 5150 (java) S 5108 5108 4292 0 -1 1077944384 7 0 0 0 3 1 0 0 20 0 24 0 419386795 8616062976 61777 33554432000 4194304 4196468 140728758450960 139889142041520 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5152] ppid=5108 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/5131/task/5152/stat : 5152 (java) S 5108 5108 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419386877 8616062976 62289 33554432000 4194304 4196468 140728758450960 139889769658048 139890322698009 0 4 2 25189581 18446744071579417331 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5154] ppid=5108 vsize=8414124 memory=1712 CPUtime=0.2 cores=0-7
/proc/5131/task/5154/stat : 5154 (java) R 5108 5108 4292 0 -1 4202560 110 0 0 0 17 3 0 0 20 0 24 0 419386877 8616062976 62289 33554432000 4194304 4196468 140728758450960 139887151927528 139889786299074 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5155] ppid=5108 vsize=8414124 memory=1220 CPUtime=0 cores=0-7
/proc/5131/task/5155/stat : 5155 (java) S 5108 5108 4292 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419386877 8616062976 62289 33554432000 4194304 4196468 140728758450960 139887420358064 139890322695325 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5156] ppid=5108 vsize=8414124 memory=992 CPUtime=0 cores=0-7
/proc/5131/task/5156/stat : 5156 (java) S 5108 5108 4292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419386880 8616062976 62289 33554432000 4194304 4196468 140728758450960 139886883495088 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
Current children cumulated CPU time: 36.05 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 248584 KiB

[startup+116.401 s]
/proc/loadavg: 6.30 4.67 4.18 4/217 5176
/proc/meminfo: memFree=26400148/32770624 swapFree=66999932/67108860
[pid=5108] ppid=5105 vsize=113128 memory=1476 CPUtime=33.82 cores=0-7
/proc/5108/stat : 5108 (scop.sh) S 5105 5108 4292 0 -1 4202496 583 45244 0 0 0 0 3227 155 20 0 1 0 419384811 115843072 369 33554432000 4194304 5098028 140721779837504 140721779834248 140390327317116 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 36417536 140721779839780 140721779840108 140721779840108 140721779843021 0
/proc/5108/statm: 28282 369 311 221 0 87 0
[pid=5131] ppid=5108 vsize=8283048 memory=337156 CPUtime=672.41 cores=0-7
/proc/5131/stat : 5131 (java) S 5108 5108 4292 0 -1 1077944320 25550 6340160 0 0 288 25 66246 682 20 0 22 0 419386789 8481841152 84289 33554432000 4194304 4196468 140728758450960 140728758433504 139890322673399 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
/proc/5131/statm: 2070762 84289 3239 1 0 2032106 0
[pid=5131/tid=5132] ppid=5108 vsize=8283048 memory=-9001733975035308135 CPUtime=670.41 cores=0-7
/proc/5131/task/5132/stat : 5132 (java) R 5108 5108 4292 0 -1 4202560 18248 6340160 0 0 99 14 66246 682 20 0 22 0 419386789 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890294516984 139890315359031 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5133] ppid=5108 vsize=8283048 memory=304556157551519246 CPUtime=669.28 cores=0-7
/proc/5131/task/5133/stat : 5133 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890326915856 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5134] ppid=5108 vsize=8283048 memory=13569292864082554 CPUtime=669.28 cores=0-7
/proc/5131/task/5134/stat : 5134 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890127084432 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5135] ppid=5108 vsize=8283048 memory=1476 CPUtime=669.28 cores=0-7
/proc/5131/task/5135/stat : 5135 (java) S 5108 5108 4292 0 -1 1077944384 2 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890126031888 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5136] ppid=5108 vsize=8283048 memory=150616 CPUtime=669.28 cores=0-7
/proc/5131/task/5136/stat : 5136 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890124979344 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5137] ppid=5108 vsize=8283048 memory=2875628 CPUtime=669.28 cores=0-7
/proc/5131/task/5137/stat : 5137 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890123925776 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5138] ppid=5108 vsize=8283048 memory=1544 CPUtime=669.28 cores=0-7
/proc/5131/task/5138/stat : 5138 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890122873232 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5139] ppid=5108 vsize=8283048 memory=776 CPUtime=669.28 cores=0-7
/proc/5131/task/5139/stat : 5139 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890121820688 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5140] ppid=5108 vsize=8283048 memory=1056 CPUtime=669.28 cores=0-7
/proc/5131/task/5140/stat : 5140 (java) S 5108 5108 4292 0 -1 1077944384 3 6340160 0 0 0 0 66246 682 20 0 22 0 419386790 8481841152 84289 33554432000 4194304 4196468 140728758450960 139890120768144 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5141] ppid=5108 vsize=8283048 memory=140454284711551 CPUtime=669.29 cores=0-7
/proc/5131/task/5141/stat : 5141 (java) S 5108 5108 4292 0 -1 1077944384 6 6340160 0 0 0 1 66246 682 20 0 22 0 419386792 8481841152 84289 33554432000 4194304 4196468 140728758450960 139889147304432 139890322684546 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5142] ppid=5108 vsize=8283048 memory=6944656575208382560 CPUtime=669.28 cores=0-7
/proc/5131/task/5142/stat : 5142 (java) S 5108 5108 4292 0 -1 1077944384 13 6340160 0 0 0 0 66246 682 20 0 22 0 419386792 8481841152 84289 33554432000 4194304 4196468 140728758450960 139888963872160 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5143] ppid=5108 vsize=8283048 memory=-5628408999910123566 CPUtime=669.28 cores=0-7
/proc/5131/task/5143/stat : 5143 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386792 8481841152 84289 33554432000 4194304 4196468 140728758450960 139888695436784 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5144] ppid=5108 vsize=8283048 memory=3905100221185565820 CPUtime=669.28 cores=0-7
/proc/5131/task/5144/stat : 5144 (java) S 5108 5108 4292 0 -1 1077944384 1 6340160 0 0 0 0 66246 682 20 0 22 0 419386795 8481841152 84289 33554432000 4194304 4196468 140728758450960 139888320928464 139890322691995 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5145] ppid=5108 vsize=8283048 memory=280899722217184 CPUtime=669.57 cores=0-7
/proc/5131/task/5145/stat : 5145 (java) R 5108 5108 4292 0 -1 4202560 1346 6340160 0 0 29 0 66246 682 20 0 22 0 419386795 8481841152 84289 33554432000 4194304 4196468 140728758450960 139889146232264 139890301919279 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5146] ppid=5108 vsize=8283048 memory=140449859785109 CPUtime=669.64 cores=0-7
/proc/5131/task/5146/stat : 5146 (java) R 5108 5108 4292 0 -1 4202560 1123 6340160 0 0 35 1 66246 682 20 0 22 0 419386795 8481841152 84289 33554432000 4194304 4196468 140728758450960 139889145190032 139890303373696 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5147] ppid=5108 vsize=8283048 memory=6944656575208382560 CPUtime=669.7 cores=0-7
/proc/5131/task/5147/stat : 5147 (java) R 5108 5108 4292 0 -1 4202560 1956 6340160 0 0 41 1 66246 682 20 0 22 0 419386795 8481841152 84289 33554432000 4194304 4196468 140728758450960 139889144139352 139890322694746 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5148] ppid=5108 vsize=8283048 memory=-6657000309100945312 CPUtime=669.71 cores=0-7
/proc/5131/task/5148/stat : 5148 (java) S 5108 5108 4292 0 -1 1077944384 1344 6340160 0 0 43 0 66246 682 20 0 22 0 419386795 8481841152 84289 33554432000 4194304 4196468 140728758450960 139889143093616 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5149] ppid=5108 vsize=8283048 memory=-4866526899798303339 CPUtime=669.28 cores=0-7
/proc/5131/task/5149/stat : 5149 (java) S 5108 5108 4292 0 -1 1077944384 3 6340160 0 0 0 0 66246 682 20 0 22 0 419386795 8481841152 84289 33554432000 4194304 4196468 140728758450960 139887823022816 139890322683605 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5150] ppid=5108 vsize=8283048 memory=-4695052241013923951 CPUtime=669.33 cores=0-7
/proc/5131/task/5150/stat : 5150 (java) S 5108 5108 4292 0 -1 1077944384 7 6340160 0 0 4 1 66246 682 20 0 22 0 419386795 8481841152 84289 33554432000 4194304 4196468 140728758450960 139889142041520 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5152] ppid=5108 vsize=8283048 memory=8112282956445269571 CPUtime=669.28 cores=0-7
/proc/5131/task/5152/stat : 5152 (java) S 5108 5108 4292 0 -1 1077944384 24 6340160 0 0 0 0 66246 682 20 0 22 0 419386877 8481841152 84289 33554432000 4194304 4196468 140728758450960 139889769657232 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
[pid=5131/tid=5156] ppid=5108 vsize=8283048 memory=2772252 CPUtime=669.28 cores=0-7
/proc/5131/task/5156/stat : 5156 (java) S 5108 5108 4292 0 -1 1077944384 8 6340160 0 0 0 0 66246 682 20 0 22 0 419386880 8481841152 84289 33554432000 4194304 4196468 140728758450960 139886883496880 139890322684546 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37707776 140728758457336 140728758457494 140728758457494 140728758460367 0
Current children cumulated CPU time: 706.23 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 338632 KiB

Child status: 0
Real time (s): 116.421
CPU time (s): 706.279
CPU user time (s): 697.64
CPU system time (s): 8.6386
CPU usage (%): 606.658
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6029336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 697.64
system time used= 8.6386
maximum resident set size= 6029052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6411604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52748
involuntary context switches= 6150


# summary of solver processes directly reported to runsolver:
#   pid: 5108
#   total CPU time (s): 706.279
#   total CPU user time (s): 697.64
#   total CPU system time (s): 8.6386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05701 second user time and 1.53145 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-14 05:19:20
IDJOB=4392642
IDBENCH=128127
IDSOLVER=2839
FILE ID=node123/4392642-1568431199
RUNJOBID= node123-1568427739-4319
PBS_JOBID= 21702298
Free space on /tmp= 59184 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-80-07.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392642-1568431199/watcher-4392642-1568431199 -o /tmp/evaluation-result-4392642-1568431199/solver-4392642-1568431199 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568427739-4319 --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-4392642-1568431199.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=623824021

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28097320 kB
MemAvailable:   31874496 kB
Buffers:          148972 kB
Cached:          3893264 kB
SwapCached:         7380 kB
Active:          1240444 kB
Inactive:        2813984 kB
Active(anon):       3616 kB
Inactive(anon):    49584 kB
Active(file):    1236828 kB
Inactive(file):  2764400 kB
Unevictable:      107240 kB
Mlocked:          107240 kB
SwapTotal:      67108860 kB
SwapFree:       66999932 kB
Dirty:             20788 kB
Writeback:             0 kB
AnonPages:        157796 kB
Mapped:            44900 kB
Shmem:             32684 kB
Slab:             213532 kB
SReclaimable:     183564 kB
SUnreclaim:        29968 kB
KernelStack:        3712 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59164 MiB
End job on node123 at 2019-09-14 05:21:17