Trace number 4405502

Some explanations

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

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

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

Solver answer on this benchmark

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

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-9941-serial-file.bin HOME/instance-4405502-1569338503.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: Tue Sep 24 17:21:03 CEST 2019
0.65/0.56	c PID: 9944
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.03/1.40	c (0,0) Parsing End
3.36/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1428 ctr, max domain size 24
3.60/1.84	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.60/1.84	c (0,0) Constraint Name Generate Begin
3.60/1.84	c (0,0) Ctr:HOME/instance-4405502-1569338503.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.60/1.84	c (0,0) Constraint Name Generate End
3.60/1.84	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.60/1.84	c (0,0) CSP to CSPinCNF Begin
11.82/4.68	c (4,4) translated 143 (10%) constraints
12.46/5.25	c (4,4) translated 286 (20%) constraints
12.46/5.27	c (4,4) translated 429 (30%) constraints
12.46/5.29	c (4,4) translated 572 (40%) constraints
12.83/5.31	c (4,4) translated 714 (50%) constraints
12.83/5.34	c (4,4) translated 857 (60%) constraints
12.83/5.35	c (4,4) translated 1000 (70%) constraints
12.83/5.37	c (4,4) translated 1143 (80%) constraints
15.74/7.26	c (6,6) translated 1286 (90%) constraints
17.14/8.62	c (8,8) translated 1428 (100%) constraints
17.14/8.64	c (8,8) ===========================================
17.14/8.68	c (8,8) Hybrid: #OE=10400, #LE=5800
17.14/8.68	c (8,8) Hybrid
17.14/8.68	c (8,8) ===========================================
18.78/9.31	c (8,8) translated 5586 (10%) constraints
19.10/9.56	c (9,9) translated 11171 (20%) constraints
19.71/9.70	c (9,9) translated 16756 (30%) constraints
19.91/9.83	c (9,9) translated 22341 (40%) constraints
20.01/9.95	c (9,9) translated 27926 (50%) constraints
20.12/10.07	c (9,9) translated 33511 (60%) constraints
20.22/10.20	c (9,9) translated 39096 (70%) constraints
20.43/10.32	c (9,9) translated 44681 (80%) constraints
20.53/10.44	c (9,9) translated 50266 (90%) constraints
22.10/11.64	c (11,11) translated 55851 (100%) constraints
22.10/11.64	c (11,11) CSP to CSPinCNF End
22.10/11.65	c (11,11) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65475 ctr, max domain size 24
22.10/11.65	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.10/11.65	c (11,11) CSPinCNF Propagation Begin
23.41/12.31	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.41/12.31	c (11,11) CSPinCNF Propagation End
23.41/12.31	c (11,11) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
23.41/12.31	c (11,11) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
23.41/12.37	c (11,11) Hybrid: #OE=15200, #LE=5800
23.41/12.37	c (11,11) Simplify CSPinCNF Begin
23.91/12.56	c (12,12) Simplify CSPinCNF End
23.91/12.56	c (12,12) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
23.91/12.56	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
23.91/12.56	c (12,12) Calculate Precise Domain Begin
23.91/12.56	c (12,12) 0 values are removed by re-calculation
23.91/12.56	c (12,12) Calculate Precise Domain End
23.91/12.57	c (12,12) CSP: 200 int (0 aux), 20800 bool (19800 aux), 65075 ctr, max domain size 24
23.91/12.57	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
23.91/12.57	c (12,12) CSPinCNF to SatSolver Begin
26.24/13.49	c (12,12) 6508 (10 %) CSP clauses are encoded (0 SAT variables, 234951 SAT clauses)
27.00/13.62	c (13,13) 13015 (20 %) CSP clauses are encoded (0 SAT variables, 241458 SAT clauses)
27.32/13.70	c (13,13) 19523 (30 %) CSP clauses are encoded (0 SAT variables, 247966 SAT clauses)
27.67/13.80	c (13,13) 26030 (40 %) CSP clauses are encoded (0 SAT variables, 254473 SAT clauses)
27.67/13.88	c (13,13) 32538 (50 %) CSP clauses are encoded (0 SAT variables, 260981 SAT clauses)
27.81/13.96	c (13,13) 39045 (60 %) CSP clauses are encoded (0 SAT variables, 267488 SAT clauses)
27.92/14.03	c (13,13) 45553 (70 %) CSP clauses are encoded (0 SAT variables, 273996 SAT clauses)
28.02/14.10	c (13,13) 52060 (80 %) CSP clauses are encoded (0 SAT variables, 280503 SAT clauses)
28.02/14.18	c (13,13) 58568 (90 %) CSP clauses are encoded (0 SAT variables, 287011 SAT clauses)
33.63/19.16	c (18,17) 65075 (100 %) CSP clauses are encoded (0 SAT variables, 2711723 SAT clauses)
33.63/19.19	c (18,17) CSPinCNF to SatSolver End
33.63/19.19	c (18,17) Heap : 4088 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
33.63/19.19	c (18,17) 930339 bool, 2729118 clause
33.63/19.19	c (18,17) Export Begin
34.02/19.40	c (18,18) Export to HOME/scop-9941-serial-file.bin
34.02/19.40	c (18,18) Export End
34.02/19.40	c (18,18) Export File Size: 0.47 MB
34.02/19.40	c (18,18) 0,0,11,11,12,12,18,STOP-AFTER(DIMACS)
34.02/19.40	c END-Prog: Tue Sep 24 17:21:22 CEST 2019
34.28/19.45	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9941-serial-file.bin
34.31/19.91	c (0,0) Read Serial File Begin
34.31/19.91	c (0,0) HOME/scop-9941-serial-file.bin
34.31/20.27	c (0,0) Read Serial File End
34.31/20.29	
34.31/20.29	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
34.31/20.29	(Solving Process)
34.31/20.29	
35.76/20.31	c BEGIN-Prog: Tue Sep 24 17:21:23 CEST 2019
35.76/20.31	c PID: 9964
35.76/20.31	c IP: 172.20.3.151
35.76/20.31	c HOST: node151.alineos.net
35.76/20.31	c (0,0) SatSolver.solve Begin
35.76/20.31	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405502-1569338503.xml-scop-9944.cnf
35.76/20.34	c (0,0) c
35.76/20.34	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.76/20.34	c (0,0) c
35.76/20.34	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.76/20.34	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.76/20.34	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.76/20.34	c (0,0) c |                                                                                                       |
37.10/21.52	c (1,0) c |  Number of variables:        930339                                                                   |
37.10/21.52	c (1,0) c |  Number of clauses:         2728246                                                                   |
37.10/21.52	c (1,0) c |  Parse time:                   1.06 s                                                                 |
37.10/21.52	c (1,0) c |                                                                                                       |
39.00/23.42	c (3,0) c |  Simplification time:          1.86 s                                                                 |
39.00/23.43	c (3,0) c |                                                                                                       |
39.00/23.43	c (3,0) c |  Generating clones                                                                                    |
40.20/24.66	c (4,0) c |  all clones generated. Memory =  2308.64Mb.                                                           |
40.20/24.66	c (4,0) c ========================================================================================================|
40.20/24.66	c (4,0) c
40.20/24.66	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
40.20/24.66	c (4,0) c
40.20/24.66	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.20/24.66	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
40.20/24.66	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.20/24.66	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
40.20/24.66	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
40.20/24.66	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
40.20/24.66	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
40.20/24.66	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
40.20/24.66	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
40.20/24.66	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
40.20/24.66	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
40.20/24.66	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
40.20/24.66	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
40.20/24.66	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
40.20/24.66	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
40.20/24.66	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
40.20/24.66	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
40.20/24.66	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
40.20/24.66	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
272.26/54.57	c (34,0) c
272.26/54.57	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
272.26/54.57	c (34,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
272.26/54.57	c (34,0) c |------------------------------------------------------------------------------------------------------------------------|
272.26/54.57	c (34,0) c |  0 |    155 |     615945 |      84567 |   119711 |    31041 |    15801 |    62071 |       16 |       89 |  20 |  0.130 |
272.26/54.57	c (34,0) c |  1 |     79 |     628315 |      41093 |   107456 |    15001 |     7879 |    84245 |      496 |      107 |  20 |  0.172 |
272.26/54.57	c (34,0) c |  2 |    141 |    1455457 |      83832 |   150695 |    30294 |    20082 |    66971 |     1017 |       99 |  20 |  0.166 |
272.26/54.57	c (34,0) c |  3 |    183 |    1192929 |      77807 |   118129 |    24249 |    15310 |    61588 |      754 |       90 |  20 |  0.130 |
272.26/54.57	c (34,0) c |  4 |    161 |     479528 |      72432 |   174567 |    30926 |    14868 |    73006 |     2227 |      103 |  20 |  0.173 |
272.26/54.57	c (34,0) c |  5 |    139 |    1014089 |      49260 |   166614 |    23179 |    11495 |    81032 |      559 |      108 |  20 |  0.166 |
272.26/54.57	c (34,0) c |  6 |    126 |     868474 |      85361 |   132955 |    31818 |    19289 |    76209 |      695 |      109 |  20 |  0.169 |
272.26/54.57	c (34,0) c |  7 |    112 |     722484 |      47417 |   174068 |    21331 |    10697 |    78368 |      174 |      106 |  20 |  0.166 |
272.26/54.57	c (34,0) c 
272.26/54.57	c (34,0) c synthesis      541774 conflicts   824696000 propagations     2338 conflicts/sec  3559347 propagations/sec
272.26/54.57	c (34,0) c real: 34.2301 s, cpu: 231.699 s, memory: 2901.97 Mb
493.14/83.57	c (63,0) c
493.14/83.57	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
493.14/83.57	c (63,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
493.14/83.57	c (63,0) c |------------------------------------------------------------------------------------------------------------------------|
493.14/83.57	c (63,0) c |  0 |    364 |    1029682 |     165887 |   201427 |    26704 |    28637 |   166305 |     1687 |      184 |  20 |  0.198 |
493.14/83.57	c (63,0) c |  1 |    254 |    1020084 |     163918 |   168245 |    49736 |    33518 |   178381 |     3627 |      204 |  20 |  0.201 |
493.14/83.57	c (63,0) c |  2 |    310 |    2023686 |     223018 |   173310 |    49527 |    39890 |   172411 |     3859 |      202 |  20 |  0.201 |
493.14/83.57	c (63,0) c |  3 |    456 |    1586503 |     165001 |   166654 |    26287 |    28034 |   176056 |     1764 |      191 |  20 |  0.198 |
493.14/83.57	c (63,0) c |  4 |    417 |     861253 |     139536 |   264047 |    33943 |    23300 |   190937 |     4124 |      204 |  20 |  0.201 |
493.14/83.57	c (63,0) c |  5 |    292 |    1857605 |     123897 |   243156 |    32555 |    23602 |   186801 |     1581 |      204 |  20 |  0.204 |
493.14/83.57	c (63,0) c |  6 |    358 |    1186693 |     127561 |   225468 |    32297 |    23085 |   186705 |     1479 |      204 |  20 |  0.202 |
493.14/83.57	c (63,0) c |  7 |    293 |    1125081 |     109135 |   266653 |    37967 |    20657 |   191618 |     1975 |      204 |  20 |  0.203 |
493.14/83.57	c (63,0) c 
493.14/83.57	c (63,0) c synthesis     1217956 conflicts  1577674976 propagations     2699 conflicts/sec  3495904 propagations/sec
493.14/83.57	c (63,0) c real: 63.2301 s, cpu: 451.292 s, memory: 3159.07 Mb
716.80/112.57	c (92,0) c
716.80/112.57	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
716.80/112.57	c (92,0) c | id | starts | decisions  |  confls    |  Init T  |  learnts | exported | imported | promoted |  period  | mrg |    %   | 
716.80/112.57	c (92,0) c |------------------------------------------------------------------------------------------------------------------------|
716.80/112.57	c (92,0) c |  0 |    588 |    1278562 |     195219 |   304440 |    55996 |    31756 |   221752 |     2700 |      285 |  20 |  0.308 |
716.80/112.57	c (92,0) c |  1 |    448 |    1227007 |     221626 |   240452 |    54470 |    40524 |   223204 |     4508 |      301 |  20 |  0.307 |
716.80/112.57	c (92,0) c |  2 |    481 |    2478044 |     290977 |   270548 |    52469 |    49850 |   213435 |     5109 |      303 |  20 |  0.303 |
716.80/112.57	c (92,0) c |  3 |    741 |    1873408 |     215453 |   300688 |    48386 |    35199 |   229929 |     3590 |      301 |  20 |  0.312 |
716.80/112.57	c (92,0) c |  4 |    572 |    1329812 |     202674 |   315339 |    47213 |    31584 |   234210 |     5992 |      304 |  20 |  0.303 |
716.80/112.57	c (92,0) c |  5 |    466 |    2080555 |     161429 |   300812 |    47285 |    27834 |   236063 |     2521 |      301 |  20 |  0.303 |
716.80/112.57	c (92,0) c |  6 |    530 |    1404691 |     157604 |   293509 |    36428 |    26409 |   233997 |     2033 |      294 |  20 |  0.303 |
716.80/112.57	c (92,0) c |  7 |    408 |    1371750 |     189423 |   328551 |    49865 |    31291 |   227268 |     3482 |      305 |  20 |  0.288 |
716.80/112.57	c (92,0) c 
716.80/112.57	c (92,0) c synthesis     1634408 conflicts  2332769001 propagations     2431 conflicts/sec  3470366 propagations/sec
716.80/112.57	c (92,0) c real: 92.2302 s, cpu: 672.197 s, memory: 3266.64 Mb
728.93/117.01	c (97,0) c
728.93/117.01	c (97,0) c real time : 96.6747 s
728.93/117.01	c (97,0) c cpu time  : 683.81 s
728.93/117.01	c (97,0) c
728.93/117.01	c (97,0) c
728.93/117.01	c (97,0) c
728.93/117.01	c (97,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
728.93/117.01	c (97,0) c
728.93/117.01	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.01	c (97,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
728.93/117.01	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.01	c (97,0) c | Conflicts     |         1666005 |     216126 |     224314 |     291028 |     217638 |     203319 |     162132 |     159748 |     191700 |
728.93/117.01	c (97,0) c | Decisions     |        13316589 |    1331350 |    1238099 |    2638926 |    1883152 |    1332267 |    2090414 |    1427512 |    1374869 |
728.93/117.01	c (97,0) c | Propagations  |      2376488186 |  301842859 |  276756686 |  280162188 |  306625678 |  304905917 |  306825911 |  299221929 |  300147018 |
728.93/117.01	c (97,0) c | ReduceDBs     |              92 |         12 |         12 |         14 |         12 |         11 |         10 |         10 |         11 |
728.93/117.01	c (97,0) c | SimpDBs       |             175 |         22 |         18 |         22 |         25 |         24 |         21 |         25 |         18 |
728.93/117.01	c (97,0) c | Restarts      |            4324 |        620 |        466 |        482 |        754 |        577 |        473 |        544 |        408 |
728.93/117.01	c (97,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
728.93/117.01	c (97,0) c | PropBinClauses|       555274633 |   70176285 |   69235566 |   72612909 |   78197499 |   73213203 |   64818154 |   60661453 |   66359564 |
728.93/117.01	c (97,0) c | PropPreBlocker|      6078976221 |  763119266 |  730381172 |  750480163 |  751559896 |  760530560 |  771734210 |  758769009 |  792401945 |
728.93/117.01	c (97,0) c | PropNotBlocker|      2682330564 |  339244284 |  316031200 |  327294252 |  345730947 |  338775742 |  337457745 |  332959072 |  344837322 |
728.93/117.01	c (97,0) c | LitFullScans  |     14679340682 | 1830579433 | 1830598176 | 1832167370 | 1836947542 | 1838530447 | 1831202761 | 1830817074 | 1848497879 |
728.93/117.01	c (97,0) c | LitScanFracts |         6187434 |     571035 |     590469 |     743470 |     837849 |     942036 |    1196175 |     812292 |     494108 |
728.93/117.01	c (97,0) c | DecisionLevel0|            4407 |        638 |        475 |        492 |        764 |        582 |        480 |        560 |        416 |
728.93/117.01	c (97,0) c | Periods       |            2445 |        305 |        305 |        305 |        306 |        306 |        305 |        305 |        308 |
728.93/117.01	c (97,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
728.93/117.01	c (97,0) c | Avg_Trail     |                 |      35279 |      28314 |      28089 |      32928 |      31954 |      38010 |      40521 |      38964 |
728.93/117.01	c (97,0) c | Avg_DL        |                 |        225 |        261 |        309 |        221 |        220 |        319 |        347 |        290 |
728.93/117.01	c (97,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
728.93/117.01	c (97,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
728.93/117.01	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.01	c (97,0) c | Exported      |          277937 |      34232 |      40758 |      49852 |      35456 |      31604 |      27884 |      26661 |      31490 |
728.93/117.01	c (97,0) c | Imported      |         1850218 |     233424 |     226224 |     215979 |     231357 |     236664 |     239668 |     239634 |     227268 |
728.93/117.01	c (97,0) c | Good          |           95773 |      12044 |      12384 |      12012 |      11892 |      11496 |      12144 |      12097 |      11704 |
728.93/117.01	c (97,0) c | Purge         |         1754445 |     221380 |     213840 |     203967 |     219465 |     225168 |     227524 |     227537 |     215564 |
728.93/117.01	c (97,0) c | Promoted      |           30432 |       2883 |       4586 |       5112 |       3708 |       6007 |       2534 |       2119 |       3483 |
728.93/117.01	c (97,0) c | Remove_Imp    |         1231907 |     164761 |     141963 |     116924 |     151754 |     158392 |     162690 |     159120 |     176303 |
728.93/117.01	c (97,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
728.93/117.01	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.01	c (97,0) c | Unaries       |                 |         18 |          9 |         10 |         10 |          5 |          7 |         16 |          8 |
728.93/117.01	c (97,0) c | Binaries      |                 |       1756 |       1462 |       1830 |       1975 |       2398 |       1689 |       1769 |       1313 |
728.93/117.01	c (97,0) c | Glues         |                 |       6882 |       6489 |       8282 |       7449 |       8056 |       4795 |       5478 |       4576 |
728.93/117.01	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.01	c (97,0) c | Orig_Seen     |            11 % |     306793 |     242423 |     272388 |     303522 |     316997 |     305211 |     312721 |     328555 |
728.93/117.01	c (97,0) c | Diff Orig seen|                 |      34405 | -    29965 |      X     |      31134 |      44609 |      32823 |      40333 |      56167 |
728.93/117.01	c (97,0) c | Hamming       |            22 % |     212396 |     200313 |      X     |     218458 |     186618 |     204602 |     218791 |     223682 |
728.93/117.01	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.01	c (97,0) c | RunningTime   |                 |   92.2 100%|   83.7  94%|   87.4  99%|   88.7 100%|   86.4  98%|   83.8  94%|   87.5  97%|   81.2  92%|
728.93/117.01	c (97,0) c | WaitingTime   |                 |    0.0   0%|    5.3   6%|    0.8   1%|    0.0   0%|    1.9   2%|    4.9   6%|    2.8   3%|    7.4   8%|
728.93/117.01	c (97,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%|
728.93/117.01	c (97,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%|
728.93/117.01	c (97,0) c | SolvingTime   |                 |   92.3     |   89.2     |   88.4     |   88.8     |   88.4     |   88.9     |   90.4     |   88.7     |
728.93/117.01	c (97,0) c | PropagationTim|                 |   78.5  85%|   75.3  84%|   73.4  83%|   75.0  84%|   74.4  84%|   73.7  83%|   75.9  84%|   74.8  84%|
728.93/117.01	c (97,0) c | AnalysisTime  |                 |    4.6   5%|    5.8   7%|    6.0   7%|    4.7   5%|    4.6   5%|    5.2   6%|    4.6   5%|    5.0   6%|
728.93/117.01	c (97,0) c | ReductionTime |                 |    0.5   1%|    0.5   1%|    0.6   1%|    0.5   1%|    0.5   1%|    0.4   1%|    0.5   1%|    0.5   1%|
728.93/117.01	c (97,0) c | SimplifyTime  |                 |    1.3   1%|    1.8   2%|    1.4   2%|    1.4   2%|    1.6   2%|    2.4   3%|    2.5   3%|    1.7   2%|
728.93/117.01	c (97,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%|
728.93/117.01	c (97,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%|
728.93/117.01	c (97,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.01	c (97,0) c
728.93/117.01	c (97,0) c
728.93/117.01	c (97,0) c Threads : 8
728.93/117.01	c (97,0) c Winner : 2
728.93/117.01	c (97,0) c Conflicts_0 : 216126
728.93/117.01	c (97,0) c Conflicts_1 : 224314
728.93/117.01	c (97,0) c Conflicts_2 : 291028
728.93/117.01	c (97,0) c Conflicts_3 : 217638
728.93/117.01	c (97,0) c Conflicts_4 : 203319
728.93/117.01	c (97,0) c Conflicts_5 : 162132
728.93/117.01	c (97,0) c Conflicts_6 : 159748
728.93/117.01	c (97,0) c Conflicts_7 : 191700
728.93/117.01	c (97,0) c Conflicts_total : 1666005
728.93/117.01	c (97,0) c Conflicts_winner : 291028
728.93/117.01	c (97,0) c Decisions_0 : 1331350
728.93/117.01	c (97,0) c Decisions_1 : 1238099
728.93/117.01	c (97,0) c Decisions_2 : 2638926
728.93/117.01	c (97,0) c Decisions_3 : 1883152
728.93/117.01	c (97,0) c Decisions_4 : 1332267
728.93/117.01	c (97,0) c Decisions_5 : 2090414
728.93/117.01	c (97,0) c Decisions_6 : 1427512
728.93/117.01	c (97,0) c Decisions_7 : 1374869
728.93/117.01	c (97,0) c Decisions_total : 13316589
728.93/117.01	c (97,0) c Decisions_winner : 2638926
728.93/117.01	c (97,0) c Propagations_0 : 301842859
728.93/117.01	c (97,0) c Propagations_1 : 276756686
728.93/117.01	c (97,0) c Propagations_2 : 280162188
728.93/117.01	c (97,0) c Propagations_3 : 306625678
728.93/117.01	c (97,0) c Propagations_4 : 304905917
728.93/117.01	c (97,0) c Propagations_5 : 306825911
728.93/117.02	c (97,0) c Propagations_6 : 299221929
728.93/117.02	c (97,0) c Propagations_7 : 300147018
728.93/117.02	c (97,0) c Propagations_total : 2376488186
728.93/117.02	c (97,0) c Propagations_winner : 280162188
728.93/117.02	c (97,0) c ReduceDBs_0 : 12
728.93/117.02	c (97,0) c ReduceDBs_1 : 12
728.93/117.02	c (97,0) c ReduceDBs_2 : 14
728.93/117.02	c (97,0) c ReduceDBs_3 : 12
728.93/117.02	c (97,0) c ReduceDBs_4 : 11
728.93/117.02	c (97,0) c ReduceDBs_5 : 10
728.93/117.02	c (97,0) c ReduceDBs_6 : 10
728.93/117.02	c (97,0) c ReduceDBs_7 : 11
728.93/117.02	c (97,0) c ReduceDBs_total : 92
728.93/117.02	c (97,0) c ReduceDBs_winner : 14
728.93/117.02	c (97,0) c SimpDBs_0 : 22
728.93/117.02	c (97,0) c SimpDBs_1 : 18
728.93/117.02	c (97,0) c SimpDBs_2 : 22
728.93/117.02	c (97,0) c SimpDBs_3 : 25
728.93/117.02	c (97,0) c SimpDBs_4 : 24
728.93/117.02	c (97,0) c SimpDBs_5 : 21
728.93/117.02	c (97,0) c SimpDBs_6 : 25
728.93/117.02	c (97,0) c SimpDBs_7 : 18
728.93/117.02	c (97,0) c SimpDBs_total : 175
728.93/117.02	c (97,0) c SimpDBs_winner : 22
728.93/117.02	c (97,0) c Restarts_0 : 620
728.93/117.02	c (97,0) c Restarts_1 : 466
728.93/117.02	c (97,0) c Restarts_2 : 482
728.93/117.02	c (97,0) c Restarts_3 : 754
728.93/117.02	c (97,0) c Restarts_4 : 577
728.93/117.02	c (97,0) c Restarts_5 : 473
728.93/117.02	c (97,0) c Restarts_6 : 544
728.93/117.02	c (97,0) c Restarts_7 : 408
728.93/117.02	c (97,0) c Restarts_total : 4324
728.93/117.02	c (97,0) c Restarts_winner : 482
728.93/117.02	c (97,0) c ForcedImports_0 : 0
728.93/117.02	c (97,0) c ForcedImports_1 : 0
728.93/117.02	c (97,0) c ForcedImports_2 : 0
728.93/117.02	c (97,0) c ForcedImports_3 : 0
728.93/117.02	c (97,0) c ForcedImports_4 : 0
728.93/117.02	c (97,0) c ForcedImports_5 : 0
728.93/117.02	c (97,0) c ForcedImports_6 : 0
728.93/117.02	c (97,0) c ForcedImports_7 : 0
728.93/117.02	c (97,0) c ForcedImports_total : 0
728.93/117.02	c (97,0) c ForcedImports_winner : 0
728.93/117.02	c (97,0) c PropsBinClauses_0 : 70176285
728.93/117.02	c (97,0) c PropsBinClauses_1 : 69235566
728.93/117.02	c (97,0) c PropsBinClauses_2 : 72612909
728.93/117.02	c (97,0) c PropsBinClauses_3 : 78197499
728.93/117.02	c (97,0) c PropsBinClauses_4 : 73213203
728.93/117.02	c (97,0) c PropsBinClauses_5 : 64818154
728.93/117.02	c (97,0) c PropsBinClauses_6 : 60661453
728.93/117.02	c (97,0) c PropsBinClauses_7 : 66359564
728.93/117.02	c (97,0) c PropsBinClauses_total : 555274633
728.93/117.02	c (97,0) c PropsBinClauses_winner : 72612909
728.93/117.02	c (97,0) c PropsPreBlocker_0 : 763119266
728.93/117.02	c (97,0) c PropsPreBlocker_1 : 730381172
728.93/117.02	c (97,0) c PropsPreBlocker_2 : 750480163
728.93/117.02	c (97,0) c PropsPreBlocker_3 : 751559896
728.93/117.02	c (97,0) c PropsPreBlocker_4 : 760530560
728.93/117.02	c (97,0) c PropsPreBlocker_5 : 771734210
728.93/117.02	c (97,0) c PropsPreBlocker_6 : 758769009
728.93/117.02	c (97,0) c PropsPreBlocker_7 : 792401945
728.93/117.02	c (97,0) c PropsPreBlocker_total : 6078976221
728.93/117.02	c (97,0) c PropsPreBlocker_winner : 750480163
728.93/117.02	c (97,0) c PropsNotBlocker_0 : 339244284
728.93/117.02	c (97,0) c PropsNotBlocker_1 : 316031200
728.93/117.02	c (97,0) c PropsNotBlocker_2 : 327294252
728.93/117.02	c (97,0) c PropsNotBlocker_3 : 345730947
728.93/117.02	c (97,0) c PropsNotBlocker_4 : 338775742
728.93/117.02	c (97,0) c PropsNotBlocker_5 : 337457745
728.93/117.02	c (97,0) c PropsNotBlocker_6 : 332959072
728.93/117.02	c (97,0) c PropsNotBlocker_7 : 344837322
728.93/117.02	c (97,0) c PropsNotBlocker_total : 2682330564
728.93/117.02	c (97,0) c PropsNotBlocker_winner : 327294252
728.93/117.02	c (97,0) c PropsLitFullScans_0 : 1830579433
728.93/117.02	c (97,0) c PropsLitFullScans_1 : 1830598176
728.93/117.02	c (97,0) c PropsLitFullScans_2 : 1832167370
728.93/117.02	c (97,0) c PropsLitFullScans_3 : 1836947542
728.93/117.02	c (97,0) c PropsLitFullScans_4 : 1838530447
728.93/117.02	c (97,0) c PropsLitFullScans_5 : 1831202761
728.93/117.02	c (97,0) c PropsLitFullScans_6 : 1830817074
728.93/117.02	c (97,0) c PropsLitFullScans_7 : 1848497879
728.93/117.02	c (97,0) c PropsLitFullScans_total : 14679340682
728.93/117.02	c (97,0) c PropsLitFullScans_winner : 1832167370
728.93/117.02	c (97,0) c LitScanFractions_0 : 571035
728.93/117.02	c (97,0) c LitScanFractions_1 : 590469
728.93/117.02	c (97,0) c LitScanFractions_2 : 743470
728.93/117.02	c (97,0) c LitScanFractions_3 : 837849
728.93/117.02	c (97,0) c LitScanFractions_4 : 942036
728.93/117.02	c (97,0) c LitScanFractions_5 : 1196175
728.93/117.02	c (97,0) c LitScanFractions_6 : 812292
728.93/117.02	c (97,0) c LitScanFractions_7 : 494108
728.93/117.02	c (97,0) c LitScanFractions_total : 6187434
728.93/117.02	c (97,0) c LitScanFractions_winner : 743470
728.93/117.02	c (97,0) c DecisionLevel0_0 : 638
728.93/117.02	c (97,0) c DecisionLevel0_1 : 475
728.93/117.02	c (97,0) c DecisionLevel0_2 : 492
728.93/117.02	c (97,0) c DecisionLevel0_3 : 764
728.93/117.02	c (97,0) c DecisionLevel0_4 : 582
728.93/117.02	c (97,0) c DecisionLevel0_5 : 480
728.93/117.02	c (97,0) c DecisionLevel0_6 : 560
728.93/117.02	c (97,0) c DecisionLevel0_7 : 416
728.93/117.02	c (97,0) c DecisionLevel0_total : 4407
728.93/117.02	c (97,0) c DecisionLevel0_winner : 492
728.93/117.02	c (97,0) c Periods_0 : 305
728.93/117.02	c (97,0) c Periods_1 : 305
728.93/117.02	c (97,0) c Periods_2 : 305
728.93/117.02	c (97,0) c Periods_3 : 306
728.93/117.02	c (97,0) c Periods_4 : 306
728.93/117.02	c (97,0) c Periods_5 : 305
728.93/117.02	c (97,0) c Periods_6 : 305
728.93/117.02	c (97,0) c Periods_7 : 308
728.93/117.02	c (97,0) c Periods_total : 2445
728.93/117.02	c (97,0) c Periods_winner : 305
728.93/117.02	c (97,0) c Margin_0 : 20
728.93/117.02	c (97,0) c Margin_1 : 20
728.93/117.02	c (97,0) c Margin_2 : 20
728.93/117.02	c (97,0) c Margin_3 : 20
728.93/117.02	c (97,0) c Margin_4 : 20
728.93/117.02	c (97,0) c Margin_5 : 20
728.93/117.02	c (97,0) c Margin_6 : 20
728.93/117.02	c (97,0) c Margin_7 : 20
728.93/117.02	c (97,0) c Margin_total : 160
728.93/117.02	c (97,0) c Margin_winner : 20
728.93/117.02	c (97,0) c Exported_0 : 34232
728.93/117.02	c (97,0) c Exported_1 : 40758
728.93/117.02	c (97,0) c Exported_2 : 49852
728.93/117.02	c (97,0) c Exported_3 : 35456
728.93/117.02	c (97,0) c Exported_4 : 31604
728.93/117.02	c (97,0) c Exported_5 : 27884
728.93/117.02	c (97,0) c Exported_6 : 26661
728.93/117.02	c (97,0) c Exported_7 : 31490
728.93/117.02	c (97,0) c Exported_total : 277937
728.93/117.02	c (97,0) c Exported_winner : 49852
728.93/117.02	c (97,0) c Imported_0 : 233424
728.93/117.02	c (97,0) c Imported_1 : 226224
728.93/117.02	c (97,0) c Imported_2 : 215979
728.93/117.02	c (97,0) c Imported_3 : 231357
728.93/117.02	c (97,0) c Imported_4 : 236664
728.93/117.02	c (97,0) c Imported_5 : 239668
728.93/117.02	c (97,0) c Imported_6 : 239634
728.93/117.02	c (97,0) c Imported_7 : 227268
728.93/117.02	c (97,0) c Imported_total : 1850218
728.93/117.02	c (97,0) c Imported_winner : 215979
728.93/117.02	c (97,0) c Good_0 : 12044
728.93/117.02	c (97,0) c Good_1 : 12384
728.93/117.02	c (97,0) c Good_2 : 12012
728.93/117.02	c (97,0) c Good_3 : 11892
728.93/117.02	c (97,0) c Good_4 : 11496
728.93/117.02	c (97,0) c Good_5 : 12144
728.93/117.02	c (97,0) c Good_6 : 12097
728.93/117.02	c (97,0) c Good_7 : 11704
728.93/117.02	c (97,0) c Good_total : 95773
728.93/117.02	c (97,0) c Good_winner : 12012
728.93/117.02	c (97,0) c Purge_0 : 221380
728.93/117.02	c (97,0) c Purge_1 : 213840
728.93/117.02	c (97,0) c Purge_2 : 203967
728.93/117.02	c (97,0) c Purge_3 : 219465
728.93/117.02	c (97,0) c Purge_4 : 225168
728.93/117.02	c (97,0) c Purge_5 : 227524
728.93/117.02	c (97,0) c Purge_6 : 227537
728.93/117.02	c (97,0) c Purge_7 : 215564
728.93/117.02	c (97,0) c Purge_total : 1754445
728.93/117.02	c (97,0) c Purge_winner : 203967
728.93/117.02	c (97,0) c Promoted_0 : 2883
728.93/117.02	c (97,0) c Promoted_1 : 4586
728.93/117.02	c (97,0) c Promoted_2 : 5112
728.93/117.02	c (97,0) c Promoted_3 : 3708
728.93/117.02	c (97,0) c Promoted_4 : 6007
728.93/117.02	c (97,0) c Promoted_5 : 2534
728.93/117.02	c (97,0) c Promoted_6 : 2119
728.93/117.02	c (97,0) c Promoted_7 : 3483
728.93/117.02	c (97,0) c Promoted_total : 30432
728.93/117.02	c (97,0) c Promoted_winner : 5112
728.93/117.02	c (97,0) c Remove_Imp_0 : 164761
728.93/117.02	c (97,0) c Remove_Imp_1 : 141963
728.93/117.02	c (97,0) c Remove_Imp_2 : 116924
728.93/117.02	c (97,0) c Remove_Imp_3 : 151754
728.93/117.02	c (97,0) c Remove_Imp_4 : 158392
728.93/117.02	c (97,0) c Remove_Imp_5 : 162690
728.93/117.02	c (97,0) c Remove_Imp_6 : 159120
728.93/117.02	c (97,0) c Remove_Imp_7 : 176303
728.93/117.02	c (97,0) c Remove_Imp_total : 1231907
728.93/117.02	c (97,0) c Remove_Imp_winner : 116924
728.93/117.02	c (97,0) c Blocked_Reuse_0 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_1 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_2 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_3 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_4 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_5 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_6 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_7 : 0
728.93/117.02	c (97,0) c Blocked_Reuse_total : 0
728.93/117.02	c (97,0) c Blocked_Reuse_winner : 0
728.93/117.02	c (97,0) c Unaries_0 : 18
728.93/117.02	c (97,0) c Unaries_1 : 9
728.93/117.02	c (97,0) c Unaries_2 : 10
728.93/117.02	c (97,0) c Unaries_3 : 10
728.93/117.02	c (97,0) c Unaries_4 : 5
728.93/117.02	c (97,0) c Unaries_5 : 7
728.93/117.02	c (97,0) c Unaries_6 : 16
728.93/117.02	c (97,0) c Unaries_7 : 8
728.93/117.02	c (97,0) c Unaries_total : 83
728.93/117.02	c (97,0) c Unaries_winner : 10
728.93/117.02	c (97,0) c Binaries_0 : 1756
728.93/117.02	c (97,0) c Binaries_1 : 1462
728.93/117.02	c (97,0) c Binaries_2 : 1830
728.93/117.02	c (97,0) c Binaries_3 : 1975
728.93/117.02	c (97,0) c Binaries_4 : 2398
728.93/117.02	c (97,0) c Binaries_5 : 1689
728.93/117.02	c (97,0) c Binaries_6 : 1769
728.93/117.02	c (97,0) c Binaries_7 : 1313
728.93/117.02	c (97,0) c Binaries_total : 14192
728.93/117.02	c (97,0) c Binaries_winner : 1830
728.93/117.02	c (97,0) c Glues_0 : 6882
728.93/117.02	c (97,0) c Glues_1 : 6489
728.93/117.02	c (97,0) c Glues_2 : 8282
728.93/117.02	c (97,0) c Glues_3 : 7449
728.93/117.02	c (97,0) c Glues_4 : 8056
728.93/117.02	c (97,0) c Glues_5 : 4795
728.93/117.02	c (97,0) c Glues_6 : 5478
728.93/117.02	c (97,0) c Glues_7 : 4576
728.93/117.02	c (97,0) c Glues_total : 52007
728.93/117.02	c (97,0) c Glues_winner : 8282
728.93/117.02	c (97,0) c RunningTime_0 : 92.174575
728.93/117.02	c (97,0) c RunningTime_1 : 83.719492
728.93/117.02	c (97,0) c RunningTime_2 : 87.438911
728.93/117.02	c (97,0) c RunningTime_3 : 88.680790
728.93/117.02	c (97,0) c RunningTime_4 : 86.371020
728.93/117.02	c (97,0) c RunningTime_5 : 83.848458
728.93/117.02	c (97,0) c RunningTime_6 : 87.477359
728.93/117.02	c (97,0) c RunningTime_7 : 81.220291
728.93/117.02	c (97,0) c RunningTime_total : 690.930896
728.93/117.02	c (97,0) c RunningTime_winner : 87.438911
728.93/117.02	c (97,0) c WaitingTime_0 : 0.000377
728.93/117.02	c (97,0) c WaitingTime_1 : 5.348087
728.93/117.02	c (97,0) c WaitingTime_2 : 0.829165
728.93/117.02	c (97,0) c WaitingTime_3 : 0.000607
728.93/117.02	c (97,0) c WaitingTime_4 : 1.926068
728.93/117.02	c (97,0) c WaitingTime_5 : 4.928463
728.93/117.02	c (97,0) c WaitingTime_6 : 2.799464
728.93/117.02	c (97,0) c WaitingTime_7 : 7.357611
728.93/117.02	c (97,0) c WaitingTime_total : 23.189844
728.93/117.02	c (97,0) c WaitingTime_winner : 0.829165
728.93/117.02	c (97,0) c ExchangingTime_0 : 0.116334
728.93/117.02	c (97,0) c ExchangingTime_1 : 0.115360
728.93/117.02	c (97,0) c ExchangingTime_2 : 0.128751
728.93/117.02	c (97,0) c ExchangingTime_3 : 0.126676
728.93/117.02	c (97,0) c ExchangingTime_4 : 0.111642
728.93/117.02	c (97,0) c ExchangingTime_5 : 0.118528
728.93/117.02	c (97,0) c ExchangingTime_6 : 0.126295
728.93/117.02	c (97,0) c ExchangingTime_7 : 0.103812
728.93/117.02	c (97,0) c ExchangingTime_total : 0.947398
728.93/117.02	c (97,0) c ExchangingTime_winner : 0.128751
728.93/117.02	c (97,0) c PeriodProcTime_0 : 0.004357
728.93/117.02	c (97,0) c PeriodProcTime_1 : 0.003419
728.93/117.02	c (97,0) c PeriodProcTime_2 : 0.003330
728.93/117.02	c (97,0) c PeriodProcTime_3 : 0.002956
728.93/117.02	c (97,0) c PeriodProcTime_4 : 0.002897
728.93/117.02	c (97,0) c PeriodProcTime_5 : 0.007841
728.93/117.02	c (97,0) c PeriodProcTime_6 : 0.003495
728.93/117.02	c (97,0) c PeriodProcTime_7 : 0.003245
728.93/117.02	c (97,0) c PeriodProcTime_total : 0.031540
728.93/117.02	c (97,0) c PeriodProcTime_winner : 0.003330
728.93/117.02	c (97,0) c SolvingTime_0 : 92.295644
728.93/117.02	c (97,0) c SolvingTime_1 : 89.186359
728.93/117.02	c (97,0) c SolvingTime_2 : 88.400157
728.93/117.02	c (97,0) c SolvingTime_3 : 88.811029
728.93/117.02	c (97,0) c SolvingTime_4 : 88.411627
728.93/117.02	c (97,0) c SolvingTime_5 : 88.903291
728.93/117.02	c (97,0) c SolvingTime_6 : 90.406613
728.93/117.02	c (97,0) c SolvingTime_7 : 88.684959
728.93/117.02	c (97,0) c SolvingTime_total : 715.099678
728.93/117.02	c (97,0) c SolvingTime_winner : 88.400157
728.93/117.02	c (97,0) c PropagationTime_0 : 78.502835
728.93/117.02	c (97,0) c PropagationTime_1 : 75.342521
728.93/117.02	c (97,0) c PropagationTime_2 : 73.380624
728.93/117.04	c (97,0) c PropagationTime_3 : 74.988918
728.93/117.04	c (97,0) c PropagationTime_4 : 74.428964
728.93/117.04	c (97,0) c PropagationTime_5 : 73.650059
728.93/117.04	c (97,0) c PropagationTime_6 : 75.897048
728.93/117.04	c (97,0) c PropagationTime_7 : 74.763185
728.93/117.04	c (97,0) c PropagationTime_total : 600.954154
728.93/117.04	c (97,0) c PropagationTime_winner : 73.380624
728.93/117.04	c (97,0) c AnalysisTime_0 : 4.648453
728.93/117.04	c (97,0) c AnalysisTime_1 : 5.824665
728.93/117.04	c (97,0) c AnalysisTime_2 : 5.954928
728.93/117.04	c (97,0) c AnalysisTime_3 : 4.672130
728.93/117.04	c (97,0) c AnalysisTime_4 : 4.615415
728.93/117.04	c (97,0) c AnalysisTime_5 : 5.177549
728.93/117.04	c (97,0) c AnalysisTime_6 : 4.616600
728.93/117.04	c (97,0) c AnalysisTime_7 : 5.044128
728.93/117.04	c (97,0) c AnalysisTime_total : 40.553866
728.93/117.04	c (97,0) c AnalysisTime_winner : 5.954928
728.93/117.04	c (97,0) c ReductionTime_0 : 0.469963
728.93/117.04	c (97,0) c ReductionTime_1 : 0.537975
728.93/117.04	c (97,0) c ReductionTime_2 : 0.556895
728.93/117.04	c (97,0) c ReductionTime_3 : 0.495415
728.93/117.04	c (97,0) c ReductionTime_4 : 0.513844
728.93/117.04	c (97,0) c ReductionTime_5 : 0.448481
728.93/117.04	c (97,0) c ReductionTime_6 : 0.452619
728.93/117.04	c (97,0) c ReductionTime_7 : 0.483123
728.93/117.04	c (97,0) c ReductionTime_total : 3.958315
728.93/117.04	c (97,0) c ReductionTime_winner : 0.556895
728.93/117.04	c (97,0) c SimplifyTime_0 : 1.305799
728.93/117.04	c (97,0) c SimplifyTime_1 : 1.769676
728.93/117.04	c (97,0) c SimplifyTime_2 : 1.426201
728.93/117.04	c (97,0) c SimplifyTime_3 : 1.430922
728.93/117.04	c (97,0) c SimplifyTime_4 : 1.583736
728.93/117.04	c (97,0) c SimplifyTime_5 : 2.351103
728.93/117.04	c (97,0) c SimplifyTime_6 : 2.458669
728.93/117.04	c (97,0) c SimplifyTime_7 : 1.730837
728.93/117.04	c (97,0) c SimplifyTime_total : 14.056942
728.93/117.04	c (97,0) c SimplifyTime_winner : 1.426201
728.93/117.04	c (97,0) c UsedRateTime_0 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_1 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_2 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_3 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_4 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_5 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_6 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_7 : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_total : 0.000000
728.93/117.04	c (97,0) c UsedRateTime_winner : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_0 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_1 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_2 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_3 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_4 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_5 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_6 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_7 : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_total : 0.000000
728.93/117.04	c (97,0) c OverlapRateTime_winner : 0.000000
728.93/117.04	c (97,0) c
728.93/117.04	c (97,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
728.93/117.04	c (97,0) c
728.93/117.04	c (97,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.04	c (97,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
728.93/117.04	c (97,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.04	c (97,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
728.93/117.04	c (97,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
728.93/117.04	c (97,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
728.93/117.04	c (97,0) c | Initial random_seed   | 1352229988 | 1366332467 | 2065260863 |  751690816 |  326902404 | 1550262874 | 2009905044 |  396215719 |
728.93/117.04	c (97,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
728.93/117.04	c (97,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
728.93/117.04	c (97,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
728.93/117.04	c (97,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
728.93/117.04	c (97,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
728.93/117.04	c (97,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
728.93/117.04	c (97,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
728.93/117.04	c (97,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
728.93/117.04	c (97,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
728.93/117.04	c (97,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
728.93/117.04	c (97,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
728.93/117.04	c (97,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
728.93/117.04	c (97,0) 
728.93/117.04	c (97,0) s SATISFIABLE
729.95/117.50	c (97,0) SatSolver.solve End
729.95/117.50	c (97,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
729.95/117.50	c (97,0) Show results Begin
730.45/117.70	c (97,0) cls[0] = 7
730.45/117.70	c (97,0) cls[1] = 16
730.45/117.70	c (97,0) cls[2] = 18
730.45/117.70	c (97,0) cls[3] = 0
730.45/117.70	c (97,0) cls[4] = 6
730.45/117.70	c (97,0) cls[5] = 0
730.45/117.70	c (97,0) cls[6] = 15
730.45/117.70	c (97,0) cls[7] = 22
730.45/117.70	c (97,0) cls[8] = 17
730.45/117.70	c (97,0) cls[9] = 1
730.45/117.70	c (97,0) cls[10] = 15
730.45/117.70	c (97,0) cls[11] = 8
730.45/117.70	c (97,0) cls[12] = 16
730.45/117.70	c (97,0) cls[13] = 14
730.45/117.70	c (97,0) cls[14] = 8
730.45/117.70	c (97,0) cls[15] = 2
730.45/117.70	c (97,0) cls[16] = 7
730.45/117.70	c (97,0) cls[17] = 16
730.45/117.70	c (97,0) cls[18] = 15
730.45/117.70	c (97,0) cls[19] = 0
730.45/117.70	c (97,0) cls[20] = 5
730.45/117.70	c (97,0) cls[21] = 15
730.45/117.70	c (97,0) cls[22] = 1
730.45/117.70	c (97,0) cls[23] = 14
730.45/117.70	c (97,0) cls[24] = 16
730.45/117.70	c (97,0) cls[25] = 15
730.45/117.70	c (97,0) cls[26] = 22
730.45/117.70	c (97,0) cls[27] = 15
730.45/117.70	c (97,0) cls[28] = 2
730.45/117.70	c (97,0) cls[29] = 14
730.45/117.70	c (97,0) cls[30] = 0
730.45/117.70	c (97,0) cls[31] = 20
730.45/117.70	c (97,0) cls[32] = 0
730.45/117.70	c (97,0) cls[33] = 14
730.45/117.70	c (97,0) cls[34] = 12
730.45/117.70	c (97,0) cls[35] = 8
730.45/117.70	c (97,0) cls[36] = 13
730.45/117.70	c (97,0) cls[37] = 5
730.45/117.70	c (97,0) cls[38] = 15
730.45/117.70	c (97,0) cls[39] = 0
730.45/117.70	c (97,0) cls[40] = 12
730.45/117.70	c (97,0) cls[41] = 13
730.45/117.70	c (97,0) cls[42] = 0
730.45/117.70	c (97,0) cls[43] = 15
730.45/117.70	c (97,0) cls[44] = 0
730.45/117.70	c (97,0) cls[45] = 0
730.45/117.70	c (97,0) cls[46] = 12
730.45/117.70	c (97,0) cls[47] = 0
730.45/117.70	c (97,0) cls[48] = 21
730.45/117.70	c (97,0) cls[49] = 18
730.45/117.70	c (97,0) cls[50] = 16
730.45/117.70	c (97,0) cls[51] = 15
730.45/117.70	c (97,0) cls[52] = 0
730.45/117.70	c (97,0) cls[53] = 17
730.45/117.70	c (97,0) cls[54] = 8
730.45/117.70	c (97,0) cls[55] = 22
730.45/117.70	c (97,0) cls[56] = 12
730.45/117.70	c (97,0) cls[57] = 0
730.45/117.70	c (97,0) cls[58] = 2
730.45/117.70	c (97,0) cls[59] = 3
730.45/117.70	c (97,0) cls[60] = 8
730.45/117.70	c (97,0) cls[61] = 22
730.45/117.70	c (97,0) cls[62] = 12
730.45/117.70	c (97,0) cls[63] = 0
730.45/117.70	c (97,0) cls[64] = 15
730.45/117.70	c (97,0) cls[65] = 22
730.45/117.70	c (97,0) cls[66] = 8
730.45/117.70	c (97,0) cls[67] = 22
730.45/117.70	c (97,0) cls[68] = 15
730.45/117.70	c (97,0) cls[69] = 4
730.45/117.70	c (97,0) cls[70] = 8
730.45/117.70	c (97,0) cls[71] = 22
730.45/117.70	c (97,0) cls[72] = 11
730.45/117.70	c (97,0) cls[73] = 0
730.45/117.70	c (97,0) cls[74] = 15
730.45/117.70	c (97,0) cls[75] = 10
730.45/117.70	c (97,0) cls[76] = 15
730.45/117.70	c (97,0) cls[77] = 8
730.45/117.70	c (97,0) cls[78] = 0
730.45/117.70	c (97,0) cls[79] = 17
730.45/117.70	c (97,0) cls[80] = 2
730.45/117.70	c (97,0) cls[81] = 8
730.45/117.70	c (97,0) cls[82] = 5
730.45/117.70	c (97,0) cls[83] = 0
730.45/117.70	c (97,0) cls[84] = 15
730.45/117.70	c (97,0) cls[85] = 4
730.45/117.70	c (97,0) cls[86] = 12
730.45/117.70	c (97,0) cls[87] = 14
730.45/117.70	c (97,0) cls[88] = 0
730.45/117.70	c (97,0) cls[89] = 12
730.45/117.70	c (97,0) cls[90] = 2
730.45/117.70	c (97,0) cls[91] = 22
730.45/117.70	c (97,0) cls[92] = 19
730.45/117.70	c (97,0) cls[93] = 0
730.45/117.70	c (97,0) cls[94] = 14
730.45/117.70	c (97,0) cls[95] = 19
730.45/117.70	c (97,0) cls[96] = 22
730.45/117.70	c (97,0) cls[97] = 9
730.45/117.70	c (97,0) cls[98] = 12
730.45/117.70	c (97,0) cls[99] = 0
730.45/117.70	c (97,0) cls[100] = 15
730.45/117.70	c (97,0) cls[101] = 0
730.45/117.70	c (97,0) cls[102] = 2
730.45/117.70	c (97,0) cls[103] = 0
730.45/117.70	c (97,0) cls[104] = 8
730.45/117.70	c (97,0) cls[105] = 5
730.45/117.70	c (97,0) cls[106] = 15
730.45/117.70	c (97,0) cls[107] = 4
730.45/117.70	c (97,0) cls[108] = 15
730.45/117.70	c (97,0) cls[109] = 8
730.45/117.70	c (97,0) cls[110] = 14
730.45/117.70	c (97,0) cls[111] = 0
730.45/117.70	c (97,0) cls[112] = 11
730.45/117.70	c (97,0) cls[113] = 0
730.45/117.70	c (97,0) cls[114] = 9
730.45/117.70	c (97,0) cls[115] = 8
730.45/117.70	c (97,0) cls[116] = 22
730.45/117.70	c (97,0) cls[117] = 11
730.45/117.70	c (97,0) cls[118] = 0
730.45/117.70	c (97,0) cls[119] = 23
730.45/117.70	c (97,0) cls[120] = 12
730.45/117.70	c (97,0) cls[121] = 15
730.45/117.70	c (97,0) cls[122] = 0
730.45/117.70	c (97,0) cls[123] = 15
730.45/117.70	c (97,0) cls[124] = 2
730.45/117.70	c (97,0) cls[125] = 16
730.45/117.70	c (97,0) cls[126] = 14
730.45/117.70	c (97,0) cls[127] = 8
730.45/117.70	c (97,0) cls[128] = 3
730.45/117.70	c (97,0) cls[129] = 2
730.45/117.70	c (97,0) cls[130] = 14
730.45/117.70	c (97,0) cls[131] = 0
730.45/117.70	c (97,0) cls[132] = 8
730.45/117.70	c (97,0) cls[133] = 11
730.45/117.70	c (97,0) cls[134] = 4
730.45/117.70	c (97,0) cls[135] = 7
730.45/117.70	c (97,0) cls[136] = 12
730.45/117.70	c (97,0) cls[137] = 0
730.45/117.70	c (97,0) cls[138] = 14
730.45/117.70	c (97,0) cls[139] = 10
730.45/117.70	c (97,0) cls[140] = 7
730.45/117.70	c (97,0) cls[141] = 0
730.45/117.70	c (97,0) cls[142] = 15
730.45/117.70	c (97,0) cls[143] = 16
730.45/117.70	c (97,0) cls[144] = 1
730.45/117.70	c (97,0) cls[145] = 0
730.45/117.70	c (97,0) cls[146] = 11
730.45/117.70	c (97,0) cls[147] = 8
730.45/117.70	c (97,0) cls[148] = 0
730.45/117.70	c (97,0) cls[149] = 13
730.45/117.70	c (97,0) cls[150] = 8
730.45/117.70	c (97,0) cls[151] = 17
730.45/117.70	c (97,0) cls[152] = 0
730.45/117.70	c (97,0) cls[153] = 15
730.45/117.70	c (97,0) cls[154] = 4
730.45/117.70	c (97,0) cls[155] = 12
730.45/117.70	c (97,0) cls[156] = 7
730.45/117.70	c (97,0) cls[157] = 0
730.45/117.70	c (97,0) cls[158] = 12
730.45/117.70	c (97,0) cls[159] = 2
730.45/117.70	c (97,0) cls[160] = 7
730.45/117.70	c (97,0) cls[161] = 16
730.45/117.70	c (97,0) cls[162] = 18
730.45/117.70	c (97,0) cls[163] = 0
730.45/117.70	c (97,0) cls[164] = 23
730.45/117.70	c (97,0) cls[165] = 16
730.45/117.70	c (97,0) cls[166] = 18
730.45/117.70	c (97,0) cls[167] = 22
730.45/117.70	c (97,0) cls[168] = 19
730.45/117.70	c (97,0) cls[169] = 13
730.45/117.70	c (97,0) cls[170] = 0
730.45/117.70	c (97,0) cls[171] = 12
730.45/117.70	c (97,0) cls[172] = 7
730.45/117.70	c (97,0) cls[173] = 0
730.45/117.70	c (97,0) cls[174] = 6
730.45/117.70	c (97,0) cls[175] = 0
730.45/117.70	c (97,0) cls[176] = 8
730.45/117.70	c (97,0) cls[177] = 17
730.45/117.70	c (97,0) cls[178] = 0
730.45/117.70	c (97,0) cls[179] = 23
730.45/117.70	c (97,0) cls[180] = 12
730.45/117.70	c (97,0) cls[181] = 0
730.45/117.70	c (97,0) cls[182] = 0
730.45/117.70	c (97,0) cls[183] = 11
730.45/117.70	c (97,0) cls[184] = 4
730.45/117.70	c (97,0) cls[185] = 18
730.45/117.70	c (97,0) cls[186] = 22
730.45/117.70	c (97,0) cls[187] = 17
730.45/117.70	c (97,0) cls[188] = 8
730.45/117.70	c (97,0) cls[189] = 4
730.45/117.70	c (97,0) cls[190] = 8
730.45/117.70	c (97,0) cls[191] = 11
730.45/117.70	c (97,0) cls[192] = 22
730.45/117.70	c (97,0) cls[193] = 14
730.45/117.70	c (97,0) cls[194] = 2
730.45/117.70	c (97,0) cls[195] = 20
730.45/117.70	c (97,0) cls[196] = 0
730.45/117.70	c (97,0) cls[197] = 22
730.45/117.70	c (97,0) cls[198] = 20
730.45/117.70	c (97,0) cls[199] = 2
730.45/117.70	c (97,0) opt[0][0] = 1
730.45/117.70	c (97,0) opt[0][1] = 1
730.45/117.70	c (97,0) opt[0][2] = 0
730.45/117.70	c (97,0) opt[0][3] = 1
730.45/117.70	c (97,0) opt[0][4] = 0
730.45/117.70	c (97,0) opt[1][0] = 0
730.45/117.70	c (97,0) opt[1][1] = 1
730.45/117.70	c (97,0) opt[1][2] = 1
730.45/117.70	c (97,0) opt[1][3] = 0
730.45/117.70	c (97,0) opt[1][4] = 0
730.45/117.70	c (97,0) opt[2][0] = 1
730.45/117.70	c (97,0) opt[2][1] = 0
730.45/117.70	c (97,0) opt[2][2] = 0
730.45/117.70	c (97,0) opt[2][3] = 1
730.45/117.70	c (97,0) opt[2][4] = 0
730.45/117.70	c (97,0) opt[3][0] = 0
730.45/117.70	c (97,0) opt[3][1] = 1
730.45/117.70	c (97,0) opt[3][2] = 0
730.45/117.70	c (97,0) opt[3][3] = 0
730.45/117.70	c (97,0) opt[3][4] = 0
730.45/117.70	c (97,0) opt[4][0] = 1
730.45/117.70	c (97,0) opt[4][1] = 0
730.45/117.70	c (97,0) opt[4][2] = 1
730.45/117.70	c (97,0) opt[4][3] = 0
730.45/117.70	c (97,0) opt[4][4] = 1
730.45/117.70	c (97,0) opt[5][0] = 0
730.45/117.70	c (97,0) opt[5][1] = 1
730.45/117.70	c (97,0) opt[5][2] = 0
730.45/117.70	c (97,0) opt[5][3] = 0
730.45/117.70	c (97,0) opt[5][4] = 0
730.45/117.70	c (97,0) opt[6][0] = 1
730.45/117.70	c (97,0) opt[6][1] = 0
730.45/117.70	c (97,0) opt[6][2] = 0
730.45/117.70	c (97,0) opt[6][3] = 0
730.45/117.70	c (97,0) opt[6][4] = 0
730.45/117.70	c (97,0) opt[7][0] = 0
730.45/117.70	c (97,0) opt[7][1] = 1
730.45/117.70	c (97,0) opt[7][2] = 0
730.45/117.70	c (97,0) opt[7][3] = 0
730.45/117.70	c (97,0) opt[7][4] = 0
730.45/117.70	c (97,0) opt[8][0] = 1
730.45/117.70	c (97,0) opt[8][1] = 1
730.45/117.70	c (97,0) opt[8][2] = 1
730.45/117.70	c (97,0) opt[8][3] = 0
730.45/117.70	c (97,0) opt[8][4] = 0
730.45/117.70	c (97,0) opt[9][0] = 0
730.45/117.70	c (97,0) opt[9][1] = 0
730.45/117.70	c (97,0) opt[9][2] = 0
730.45/117.70	c (97,0) opt[9][3] = 1
730.45/117.70	c (97,0) opt[9][4] = 1
730.45/117.70	c (97,0) opt[10][0] = 1
730.45/117.70	c (97,0) opt[10][1] = 0
730.45/117.70	c (97,0) opt[10][2] = 0
730.45/117.70	c (97,0) opt[10][3] = 0
730.45/117.70	c (97,0) opt[10][4] = 0
730.45/117.70	c (97,0) opt[11][0] = 0
730.45/117.70	c (97,0) opt[11][1] = 0
730.45/117.70	c (97,0) opt[11][2] = 0
730.45/117.70	c (97,0) opt[11][3] = 1
730.45/117.70	c (97,0) opt[11][4] = 0
730.45/117.70	c (97,0) opt[12][0] = 0
730.45/117.70	c (97,0) opt[12][1] = 1
730.45/117.70	c (97,0) opt[12][2] = 1
730.45/117.70	c (97,0) opt[12][3] = 0
730.45/117.70	c (97,0) opt[12][4] = 0
730.45/117.70	c (97,0) opt[13][0] = 1
730.45/117.70	c (97,0) opt[13][1] = 1
730.45/117.70	c (97,0) opt[13][2] = 0
730.45/117.70	c (97,0) opt[13][3] = 0
730.45/117.70	c (97,0) opt[13][4] = 0
730.45/117.70	c (97,0) opt[14][0] = 0
730.45/117.70	c (97,0) opt[14][1] = 0
730.45/117.70	c (97,0) opt[14][2] = 0
730.45/117.70	c (97,0) opt[14][3] = 1
730.45/117.70	c (97,0) opt[14][4] = 0
730.45/117.70	c (97,0) opt[15][0] = 0
730.45/117.70	c (97,0) opt[15][1] = 0
730.45/117.70	c (97,0) opt[15][2] = 0
730.45/117.70	c (97,0) opt[15][3] = 0
730.45/117.70	c (97,0) opt[15][4] = 1
730.45/117.70	c (97,0) opt[16][0] = 1
730.45/117.70	c (97,0) opt[16][1] = 1
730.45/117.70	c (97,0) opt[16][2] = 0
730.45/117.70	c (97,0) opt[16][3] = 1
730.45/117.70	c (97,0) opt[16][4] = 0
730.45/117.70	c (97,0) opt[17][0] = 0
730.45/117.70	c (97,0) opt[17][1] = 1
730.45/117.70	c (97,0) opt[17][2] = 1
730.45/117.70	c (97,0) opt[17][3] = 0
730.45/117.70	c (97,0) opt[17][4] = 0
730.45/117.70	c (97,0) opt[18][0] = 1
730.45/117.70	c (97,0) opt[18][1] = 0
730.45/117.70	c (97,0) opt[18][2] = 0
730.45/117.70	c (97,0) opt[18][3] = 0
730.45/117.70	c (97,0) opt[18][4] = 0
730.45/117.70	c (97,0) opt[19][0] = 0
730.45/117.70	c (97,0) opt[19][1] = 1
730.45/117.70	c (97,0) opt[19][2] = 0
730.45/117.70	c (97,0) opt[19][3] = 0
730.45/117.70	c (97,0) opt[19][4] = 0
730.45/117.70	c (97,0) opt[20][0] = 0
730.45/117.70	c (97,0) opt[20][1] = 1
730.45/117.70	c (97,0) opt[20][2] = 1
730.45/117.70	c (97,0) opt[20][3] = 1
730.45/117.70	c (97,0) opt[20][4] = 0
730.45/117.70	c (97,0) opt[21][0] = 1
730.45/117.70	c (97,0) opt[21][1] = 0
730.45/117.70	c (97,0) opt[21][2] = 0
730.45/117.70	c (97,0) opt[21][3] = 0
730.45/117.70	c (97,0) opt[21][4] = 0
730.45/117.70	c (97,0) opt[22][0] = 0
730.45/117.70	c (97,0) opt[22][1] = 0
730.45/117.70	c (97,0) opt[22][2] = 0
730.45/117.70	c (97,0) opt[22][3] = 1
730.45/117.70	c (97,0) opt[22][4] = 1
730.45/117.70	c (97,0) opt[23][0] = 1
730.45/117.70	c (97,0) opt[23][1] = 1
730.45/117.70	c (97,0) opt[23][2] = 0
730.45/117.70	c (97,0) opt[23][3] = 0
730.45/117.70	c (97,0) opt[23][4] = 0
730.45/117.70	c (97,0) opt[24][0] = 0
730.45/117.70	c (97,0) opt[24][1] = 1
730.45/117.70	c (97,0) opt[24][2] = 1
730.45/117.70	c (97,0) opt[24][3] = 0
730.45/117.70	c (97,0) opt[24][4] = 0
730.45/117.70	c (97,0) opt[25][0] = 1
730.45/117.70	c (97,0) opt[25][1] = 0
730.45/117.70	c (97,0) opt[25][2] = 0
730.45/117.70	c (97,0) opt[25][3] = 0
730.45/117.70	c (97,0) opt[25][4] = 0
730.45/117.70	c (97,0) opt[26][0] = 0
730.45/117.70	c (97,0) opt[26][1] = 1
730.45/117.70	c (97,0) opt[26][2] = 0
730.45/117.70	c (97,0) opt[26][3] = 0
730.45/117.70	c (97,0) opt[26][4] = 0
730.45/117.70	c (97,0) opt[27][0] = 1
730.45/117.70	c (97,0) opt[27][1] = 0
730.45/117.70	c (97,0) opt[27][2] = 0
730.45/117.70	c (97,0) opt[27][3] = 0
730.45/117.70	c (97,0) opt[27][4] = 0
730.45/117.70	c (97,0) opt[28][0] = 0
730.45/117.70	c (97,0) opt[28][1] = 0
730.45/117.71	c (97,0) opt[28][2] = 0
730.45/117.71	c (97,0) opt[28][3] = 0
730.45/117.71	c (97,0) opt[28][4] = 1
730.45/117.71	c (97,0) opt[29][0] = 1
730.45/117.71	c (97,0) opt[29][1] = 1
730.45/117.71	c (97,0) opt[29][2] = 0
730.45/117.71	c (97,0) opt[29][3] = 0
730.45/117.71	c (97,0) opt[29][4] = 0
730.45/117.71	c (97,0) opt[30][0] = 0
730.45/117.71	c (97,0) opt[30][1] = 1
730.45/117.71	c (97,0) opt[30][2] = 0
730.45/117.71	c (97,0) opt[30][3] = 0
730.45/117.71	c (97,0) opt[30][4] = 0
730.45/117.71	c (97,0) opt[31][0] = 1
730.45/117.71	c (97,0) opt[31][1] = 0
730.45/117.71	c (97,0) opt[31][2] = 1
730.45/117.71	c (97,0) opt[31][3] = 1
730.45/117.71	c (97,0) opt[31][4] = 0
730.45/117.71	c (97,0) opt[32][0] = 0
730.45/117.71	c (97,0) opt[32][1] = 1
730.45/117.71	c (97,0) opt[32][2] = 0
730.45/117.71	c (97,0) opt[32][3] = 0
730.45/117.71	c (97,0) opt[32][4] = 0
730.45/117.71	c (97,0) opt[33][0] = 1
730.45/117.71	c (97,0) opt[33][1] = 1
730.45/117.71	c (97,0) opt[33][2] = 0
730.45/117.71	c (97,0) opt[33][3] = 0
730.45/117.71	c (97,0) opt[33][4] = 0
730.45/117.71	c (97,0) opt[34][0] = 0
730.45/117.71	c (97,0) opt[34][1] = 0
730.45/117.71	c (97,0) opt[34][2] = 1
730.45/117.71	c (97,0) opt[34][3] = 0
730.45/117.71	c (97,0) opt[34][4] = 0
730.45/117.71	c (97,0) opt[35][0] = 0
730.45/117.71	c (97,0) opt[35][1] = 0
730.45/117.71	c (97,0) opt[35][2] = 0
730.45/117.71	c (97,0) opt[35][3] = 1
730.45/117.71	c (97,0) opt[35][4] = 0
730.45/117.71	c (97,0) opt[36][0] = 1
730.45/117.71	c (97,0) opt[36][1] = 1
730.45/117.71	c (97,0) opt[36][2] = 0
730.45/117.71	c (97,0) opt[36][3] = 0
730.45/117.71	c (97,0) opt[36][4] = 1
730.45/117.71	c (97,0) opt[37][0] = 0
730.45/117.71	c (97,0) opt[37][1] = 1
730.45/117.71	c (97,0) opt[37][2] = 1
730.45/117.71	c (97,0) opt[37][3] = 1
730.45/117.71	c (97,0) opt[37][4] = 0
730.45/117.71	c (97,0) opt[38][0] = 1
730.45/117.71	c (97,0) opt[38][1] = 0
730.45/117.71	c (97,0) opt[38][2] = 0
730.45/117.71	c (97,0) opt[38][3] = 0
730.45/117.71	c (97,0) opt[38][4] = 0
730.45/117.71	c (97,0) opt[39][0] = 0
730.45/117.71	c (97,0) opt[39][1] = 1
730.45/117.71	c (97,0) opt[39][2] = 0
730.45/117.71	c (97,0) opt[39][3] = 0
730.45/117.71	c (97,0) opt[39][4] = 0
730.45/117.71	c (97,0) opt[40][0] = 0
730.45/117.71	c (97,0) opt[40][1] = 0
730.45/117.71	c (97,0) opt[40][2] = 1
730.45/117.71	c (97,0) opt[40][3] = 0
730.45/117.71	c (97,0) opt[40][4] = 0
730.45/117.71	c (97,0) opt[41][0] = 1
730.45/117.71	c (97,0) opt[41][1] = 1
730.45/117.71	c (97,0) opt[41][2] = 0
730.45/117.71	c (97,0) opt[41][3] = 0
730.45/117.71	c (97,0) opt[41][4] = 1
730.45/117.71	c (97,0) opt[42][0] = 0
730.45/117.71	c (97,0) opt[42][1] = 1
730.45/117.71	c (97,0) opt[42][2] = 0
730.45/117.71	c (97,0) opt[42][3] = 0
730.45/117.71	c (97,0) opt[42][4] = 0
730.45/117.71	c (97,0) opt[43][0] = 1
730.45/117.71	c (97,0) opt[43][1] = 0
730.45/117.71	c (97,0) opt[43][2] = 0
730.45/117.71	c (97,0) opt[43][3] = 0
730.45/117.71	c (97,0) opt[43][4] = 0
730.45/117.71	c (97,0) opt[44][0] = 0
730.45/117.71	c (97,0) opt[44][1] = 1
730.45/117.71	c (97,0) opt[44][2] = 0
730.45/117.71	c (97,0) opt[44][3] = 0
730.45/117.71	c (97,0) opt[44][4] = 0
730.45/117.71	c (97,0) opt[45][0] = 0
730.45/117.71	c (97,0) opt[45][1] = 1
730.45/117.71	c (97,0) opt[45][2] = 0
730.45/117.71	c (97,0) opt[45][3] = 0
730.45/117.71	c (97,0) opt[45][4] = 0
730.45/117.71	c (97,0) opt[46][0] = 0
730.45/117.71	c (97,0) opt[46][1] = 0
730.45/117.71	c (97,0) opt[46][2] = 1
730.45/117.71	c (97,0) opt[46][3] = 0
730.45/117.71	c (97,0) opt[46][4] = 0
730.45/117.71	c (97,0) opt[47][0] = 0
730.45/117.71	c (97,0) opt[47][1] = 1
730.45/117.71	c (97,0) opt[47][2] = 0
730.45/117.71	c (97,0) opt[47][3] = 0
730.45/117.71	c (97,0) opt[47][4] = 0
730.45/117.71	c (97,0) opt[48][0] = 0
730.45/117.71	c (97,0) opt[48][1] = 1
730.45/117.71	c (97,0) opt[48][2] = 0
730.45/117.71	c (97,0) opt[48][3] = 1
730.45/117.71	c (97,0) opt[48][4] = 1
730.45/117.71	c (97,0) opt[49][0] = 1
730.45/117.71	c (97,0) opt[49][1] = 0
730.45/117.71	c (97,0) opt[49][2] = 0
730.45/117.71	c (97,0) opt[49][3] = 1
730.45/117.71	c (97,0) opt[49][4] = 0
730.45/117.71	c (97,0) opt[50][0] = 0
730.45/117.71	c (97,0) opt[50][1] = 1
730.45/117.71	c (97,0) opt[50][2] = 1
730.45/117.71	c (97,0) opt[50][3] = 0
730.45/117.71	c (97,0) opt[50][4] = 0
730.45/117.71	c (97,0) opt[51][0] = 1
730.45/117.71	c (97,0) opt[51][1] = 0
730.45/117.71	c (97,0) opt[51][2] = 0
730.45/117.71	c (97,0) opt[51][3] = 0
730.45/117.71	c (97,0) opt[51][4] = 0
730.45/117.71	c (97,0) opt[52][0] = 0
730.45/117.71	c (97,0) opt[52][1] = 1
730.45/117.71	c (97,0) opt[52][2] = 0
730.45/117.71	c (97,0) opt[52][3] = 0
730.45/117.71	c (97,0) opt[52][4] = 0
730.45/117.71	c (97,0) opt[53][0] = 1
730.45/117.71	c (97,0) opt[53][1] = 1
730.45/117.71	c (97,0) opt[53][2] = 1
730.45/117.71	c (97,0) opt[53][3] = 0
730.45/117.71	c (97,0) opt[53][4] = 0
730.45/117.71	c (97,0) opt[54][0] = 0
730.45/117.71	c (97,0) opt[54][1] = 0
730.45/117.71	c (97,0) opt[54][2] = 0
730.45/117.71	c (97,0) opt[54][3] = 1
730.45/117.71	c (97,0) opt[54][4] = 0
730.45/117.71	c (97,0) opt[55][0] = 0
730.45/117.71	c (97,0) opt[55][1] = 1
730.45/117.71	c (97,0) opt[55][2] = 0
730.45/117.71	c (97,0) opt[55][3] = 0
730.45/117.71	c (97,0) opt[55][4] = 0
730.45/117.71	c (97,0) opt[56][0] = 0
730.45/117.71	c (97,0) opt[56][1] = 0
730.45/117.71	c (97,0) opt[56][2] = 1
730.45/117.71	c (97,0) opt[56][3] = 0
730.45/117.71	c (97,0) opt[56][4] = 0
730.45/117.71	c (97,0) opt[57][0] = 0
730.45/117.71	c (97,0) opt[57][1] = 1
730.45/117.71	c (97,0) opt[57][2] = 0
730.45/117.71	c (97,0) opt[57][3] = 0
730.45/117.71	c (97,0) opt[57][4] = 0
730.45/117.71	c (97,0) opt[58][0] = 0
730.45/117.71	c (97,0) opt[58][1] = 0
730.45/117.71	c (97,0) opt[58][2] = 0
730.45/117.71	c (97,0) opt[58][3] = 0
730.45/117.71	c (97,0) opt[58][4] = 1
730.45/117.71	c (97,0) opt[59][0] = 1
730.45/117.71	c (97,0) opt[59][1] = 1
730.45/117.71	c (97,0) opt[59][2] = 1
730.45/117.71	c (97,0) opt[59][3] = 1
730.45/117.71	c (97,0) opt[59][4] = 0
730.45/117.71	c (97,0) opt[60][0] = 0
730.45/117.71	c (97,0) opt[60][1] = 0
730.45/117.71	c (97,0) opt[60][2] = 0
730.45/117.71	c (97,0) opt[60][3] = 1
730.45/117.71	c (97,0) opt[60][4] = 0
730.45/117.71	c (97,0) opt[61][0] = 0
730.45/117.71	c (97,0) opt[61][1] = 1
730.45/117.71	c (97,0) opt[61][2] = 0
730.45/117.71	c (97,0) opt[61][3] = 0
730.45/117.71	c (97,0) opt[61][4] = 0
730.45/117.71	c (97,0) opt[62][0] = 0
730.45/117.71	c (97,0) opt[62][1] = 0
730.45/117.71	c (97,0) opt[62][2] = 1
730.45/117.71	c (97,0) opt[62][3] = 0
730.45/117.71	c (97,0) opt[62][4] = 0
730.45/117.71	c (97,0) opt[63][0] = 0
730.45/117.71	c (97,0) opt[63][1] = 1
730.45/117.71	c (97,0) opt[63][2] = 0
730.45/117.71	c (97,0) opt[63][3] = 0
730.45/117.71	c (97,0) opt[63][4] = 0
730.45/117.71	c (97,0) opt[64][0] = 1
730.45/117.71	c (97,0) opt[64][1] = 0
730.45/117.71	c (97,0) opt[64][2] = 0
730.45/117.71	c (97,0) opt[64][3] = 0
730.45/117.71	c (97,0) opt[64][4] = 0
730.45/117.71	c (97,0) opt[65][0] = 0
730.45/117.71	c (97,0) opt[65][1] = 1
730.45/117.71	c (97,0) opt[65][2] = 0
730.45/117.71	c (97,0) opt[65][3] = 0
730.45/117.71	c (97,0) opt[65][4] = 0
730.45/117.71	c (97,0) opt[66][0] = 0
730.45/117.71	c (97,0) opt[66][1] = 0
730.45/117.71	c (97,0) opt[66][2] = 0
730.45/117.71	c (97,0) opt[66][3] = 1
730.45/117.71	c (97,0) opt[66][4] = 0
730.45/117.71	c (97,0) opt[67][0] = 0
730.45/117.71	c (97,0) opt[67][1] = 1
730.45/117.71	c (97,0) opt[67][2] = 0
730.45/117.71	c (97,0) opt[67][3] = 0
730.45/117.71	c (97,0) opt[67][4] = 0
730.45/117.71	c (97,0) opt[68][0] = 1
730.45/117.71	c (97,0) opt[68][1] = 0
730.45/117.71	c (97,0) opt[68][2] = 0
730.45/117.71	c (97,0) opt[68][3] = 0
730.45/117.71	c (97,0) opt[68][4] = 0
730.45/117.71	c (97,0) opt[69][0] = 0
730.45/117.71	c (97,0) opt[69][1] = 1
730.45/117.71	c (97,0) opt[69][2] = 0
730.45/117.71	c (97,0) opt[69][3] = 0
730.45/117.71	c (97,0) opt[69][4] = 1
730.45/117.71	c (97,0) opt[70][0] = 0
730.45/117.71	c (97,0) opt[70][1] = 0
730.45/117.71	c (97,0) opt[70][2] = 0
730.45/117.71	c (97,0) opt[70][3] = 1
730.45/117.71	c (97,0) opt[70][4] = 0
730.45/117.71	c (97,0) opt[71][0] = 0
730.45/117.71	c (97,0) opt[71][1] = 1
730.45/117.71	c (97,0) opt[71][2] = 0
730.45/117.71	c (97,0) opt[71][3] = 0
730.45/117.71	c (97,0) opt[71][4] = 0
730.45/117.71	c (97,0) opt[72][0] = 1
730.45/117.71	c (97,0) opt[72][1] = 0
730.45/117.71	c (97,0) opt[72][2] = 1
730.45/117.71	c (97,0) opt[72][3] = 0
730.45/117.71	c (97,0) opt[72][4] = 0
730.45/117.71	c (97,0) opt[73][0] = 0
730.45/117.71	c (97,0) opt[73][1] = 1
730.45/117.71	c (97,0) opt[73][2] = 0
730.45/117.71	c (97,0) opt[73][3] = 0
730.45/117.71	c (97,0) opt[73][4] = 0
730.45/117.71	c (97,0) opt[74][0] = 1
730.45/117.71	c (97,0) opt[74][1] = 0
730.45/117.71	c (97,0) opt[74][2] = 0
730.45/117.71	c (97,0) opt[74][3] = 0
730.45/117.71	c (97,0) opt[74][4] = 0
730.45/117.71	c (97,0) opt[75][0] = 0
730.45/117.71	c (97,0) opt[75][1] = 0
730.45/117.71	c (97,0) opt[75][2] = 1
730.45/117.71	c (97,0) opt[75][3] = 1
730.45/117.71	c (97,0) opt[75][4] = 1
730.45/117.71	c (97,0) opt[76][0] = 1
730.45/117.71	c (97,0) opt[76][1] = 0
730.45/117.71	c (97,0) opt[76][2] = 0
730.45/117.71	c (97,0) opt[76][3] = 0
730.45/117.71	c (97,0) opt[76][4] = 0
730.45/117.71	c (97,0) opt[77][0] = 0
730.45/117.71	c (97,0) opt[77][1] = 0
730.45/117.71	c (97,0) opt[77][2] = 0
730.45/117.71	c (97,0) opt[77][3] = 1
730.45/117.71	c (97,0) opt[77][4] = 0
730.45/117.71	c (97,0) opt[78][0] = 0
730.45/117.71	c (97,0) opt[78][1] = 1
730.45/117.71	c (97,0) opt[78][2] = 0
730.45/117.71	c (97,0) opt[78][3] = 0
730.45/117.71	c (97,0) opt[78][4] = 0
730.45/117.71	c (97,0) opt[79][0] = 1
730.45/117.71	c (97,0) opt[79][1] = 1
730.45/117.71	c (97,0) opt[79][2] = 1
730.45/117.71	c (97,0) opt[79][3] = 0
730.45/117.71	c (97,0) opt[79][4] = 0
730.45/117.71	c (97,0) opt[80][0] = 0
730.45/117.71	c (97,0) opt[80][1] = 0
730.45/117.71	c (97,0) opt[80][2] = 0
730.45/117.71	c (97,0) opt[80][3] = 0
730.45/117.71	c (97,0) opt[80][4] = 1
730.45/117.71	c (97,0) opt[81][0] = 0
730.45/117.71	c (97,0) opt[81][1] = 0
730.45/117.71	c (97,0) opt[81][2] = 0
730.45/117.71	c (97,0) opt[81][3] = 1
730.45/117.71	c (97,0) opt[81][4] = 0
730.45/117.71	c (97,0) opt[82][0] = 0
730.45/117.71	c (97,0) opt[82][1] = 1
730.45/117.71	c (97,0) opt[82][2] = 1
730.45/117.71	c (97,0) opt[82][3] = 1
730.45/117.71	c (97,0) opt[82][4] = 0
730.45/117.71	c (97,0) opt[83][0] = 0
730.45/117.71	c (97,0) opt[83][1] = 1
730.45/117.71	c (97,0) opt[83][2] = 0
730.45/117.71	c (97,0) opt[83][3] = 0
730.45/117.71	c (97,0) opt[83][4] = 0
730.45/117.71	c (97,0) opt[84][0] = 1
730.45/117.71	c (97,0) opt[84][1] = 0
730.45/117.71	c (97,0) opt[84][2] = 0
730.45/117.71	c (97,0) opt[84][3] = 0
730.45/117.71	c (97,0) opt[84][4] = 0
730.45/117.71	c (97,0) opt[85][0] = 0
730.45/117.71	c (97,0) opt[85][1] = 1
730.45/117.71	c (97,0) opt[85][2] = 0
730.45/117.71	c (97,0) opt[85][3] = 0
730.45/117.71	c (97,0) opt[85][4] = 1
730.45/117.71	c (97,0) opt[86][0] = 0
730.45/117.71	c (97,0) opt[86][1] = 0
730.45/117.71	c (97,0) opt[86][2] = 1
730.45/117.71	c (97,0) opt[86][3] = 0
730.45/117.71	c (97,0) opt[86][4] = 0
730.45/117.71	c (97,0) opt[87][0] = 1
730.45/117.71	c (97,0) opt[87][1] = 1
730.45/117.71	c (97,0) opt[87][2] = 0
730.45/117.71	c (97,0) opt[87][3] = 0
730.45/117.71	c (97,0) opt[87][4] = 0
730.45/117.71	c (97,0) opt[88][0] = 0
730.45/117.71	c (97,0) opt[88][1] = 1
730.45/117.71	c (97,0) opt[88][2] = 0
730.45/117.71	c (97,0) opt[88][3] = 0
730.45/117.71	c (97,0) opt[88][4] = 0
730.45/117.71	c (97,0) opt[89][0] = 0
730.45/117.71	c (97,0) opt[89][1] = 0
730.45/117.71	c (97,0) opt[89][2] = 1
730.45/117.71	c (97,0) opt[89][3] = 0
730.45/117.71	c (97,0) opt[89][4] = 0
730.45/117.71	c (97,0) opt[90][0] = 0
730.45/117.71	c (97,0) opt[90][1] = 0
730.45/117.71	c (97,0) opt[90][2] = 0
730.45/117.71	c (97,0) opt[90][3] = 0
730.45/117.71	c (97,0) opt[90][4] = 1
730.45/117.71	c (97,0) opt[91][0] = 0
730.45/117.71	c (97,0) opt[91][1] = 1
730.45/117.71	c (97,0) opt[91][2] = 0
730.45/117.71	c (97,0) opt[91][3] = 0
730.45/117.71	c (97,0) opt[91][4] = 0
730.45/117.71	c (97,0) opt[92][0] = 0
730.45/117.71	c (97,0) opt[92][1] = 0
730.45/117.71	c (97,0) opt[92][2] = 1
730.45/117.71	c (97,0) opt[92][3] = 1
730.45/117.71	c (97,0) opt[92][4] = 0
730.45/117.71	c (97,0) opt[93][0] = 0
730.45/117.71	c (97,0) opt[93][1] = 1
730.45/117.71	c (97,0) opt[93][2] = 0
730.45/117.71	c (97,0) opt[93][3] = 0
730.45/117.71	c (97,0) opt[93][4] = 0
730.45/117.71	c (97,0) opt[94][0] = 1
730.45/117.71	c (97,0) opt[94][1] = 1
730.45/117.71	c (97,0) opt[94][2] = 0
730.45/117.71	c (97,0) opt[94][3] = 0
730.45/117.71	c (97,0) opt[94][4] = 0
730.45/117.71	c (97,0) opt[95][0] = 0
730.45/117.71	c (97,0) opt[95][1] = 0
730.45/117.71	c (97,0) opt[95][2] = 1
730.45/117.71	c (97,0) opt[95][3] = 1
730.45/117.71	c (97,0) opt[95][4] = 0
730.45/117.71	c (97,0) opt[96][0] = 0
730.45/117.71	c (97,0) opt[96][1] = 1
730.45/117.71	c (97,0) opt[96][2] = 0
730.45/117.71	c (97,0) opt[96][3] = 0
730.45/117.71	c (97,0) opt[96][4] = 0
730.45/117.71	c (97,0) opt[97][0] = 1
730.45/117.71	c (97,0) opt[97][1] = 1
730.45/117.71	c (97,0) opt[97][2] = 0
730.45/117.71	c (97,0) opt[97][3] = 1
730.45/117.71	c (97,0) opt[97][4] = 1
730.45/117.71	c (97,0) opt[98][0] = 0
730.45/117.71	c (97,0) opt[98][1] = 0
730.45/117.71	c (97,0) opt[98][2] = 1
730.45/117.71	c (97,0) opt[98][3] = 0
730.45/117.71	c (97,0) opt[98][4] = 0
730.45/117.71	c (97,0) opt[99][0] = 0
730.45/117.71	c (97,0) opt[99][1] = 1
730.45/117.71	c (97,0) opt[99][2] = 0
730.45/117.71	c (97,0) opt[99][3] = 0
730.45/117.71	c (97,0) opt[99][4] = 0
730.45/117.71	c (97,0) opt[100][0] = 1
730.45/117.71	c (97,0) opt[100][1] = 0
730.45/117.71	c (97,0) opt[100][2] = 0
730.45/117.71	c (97,0) opt[100][3] = 0
730.45/117.71	c (97,0) opt[100][4] = 0
730.45/117.71	c (97,0) opt[101][0] = 0
730.45/117.71	c (97,0) opt[101][1] = 1
730.45/117.71	c (97,0) opt[101][2] = 0
730.45/117.71	c (97,0) opt[101][3] = 0
730.45/117.71	c (97,0) opt[101][4] = 0
730.45/117.71	c (97,0) opt[102][0] = 0
730.45/117.71	c (97,0) opt[102][1] = 0
730.45/117.71	c (97,0) opt[102][2] = 0
730.45/117.71	c (97,0) opt[102][3] = 0
730.45/117.71	c (97,0) opt[102][4] = 1
730.45/117.71	c (97,0) opt[103][0] = 0
730.45/117.71	c (97,0) opt[103][1] = 1
730.45/117.71	c (97,0) opt[103][2] = 0
730.45/117.71	c (97,0) opt[103][3] = 0
730.45/117.71	c (97,0) opt[103][4] = 0
730.45/117.71	c (97,0) opt[104][0] = 0
730.45/117.71	c (97,0) opt[104][1] = 0
730.45/117.71	c (97,0) opt[104][2] = 0
730.45/117.71	c (97,0) opt[104][3] = 1
730.45/117.71	c (97,0) opt[104][4] = 0
730.45/117.71	c (97,0) opt[105][0] = 0
730.45/117.71	c (97,0) opt[105][1] = 1
730.45/117.71	c (97,0) opt[105][2] = 1
730.45/117.71	c (97,0) opt[105][3] = 1
730.45/117.71	c (97,0) opt[105][4] = 0
730.45/117.71	c (97,0) opt[106][0] = 1
730.45/117.71	c (97,0) opt[106][1] = 0
730.45/117.71	c (97,0) opt[106][2] = 0
730.45/117.71	c (97,0) opt[106][3] = 0
730.45/117.71	c (97,0) opt[106][4] = 0
730.45/117.71	c (97,0) opt[107][0] = 0
730.45/117.71	c (97,0) opt[107][1] = 1
730.45/117.71	c (97,0) opt[107][2] = 0
730.45/117.71	c (97,0) opt[107][3] = 0
730.45/117.71	c (97,0) opt[107][4] = 1
730.45/117.71	c (97,0) opt[108][0] = 1
730.45/117.71	c (97,0) opt[108][1] = 0
730.45/117.71	c (97,0) opt[108][2] = 0
730.45/117.71	c (97,0) opt[108][3] = 0
730.45/117.71	c (97,0) opt[108][4] = 0
730.45/117.71	c (97,0) opt[109][0] = 0
730.45/117.71	c (97,0) opt[109][1] = 0
730.45/117.71	c (97,0) opt[109][2] = 0
730.45/117.71	c (97,0) opt[109][3] = 1
730.45/117.71	c (97,0) opt[109][4] = 0
730.45/117.71	c (97,0) opt[110][0] = 1
730.45/117.71	c (97,0) opt[110][1] = 1
730.45/117.71	c (97,0) opt[110][2] = 0
730.45/117.71	c (97,0) opt[110][3] = 0
730.45/117.71	c (97,0) opt[110][4] = 0
730.45/117.71	c (97,0) opt[111][0] = 0
730.45/117.71	c (97,0) opt[111][1] = 1
730.45/117.71	c (97,0) opt[111][2] = 0
730.45/117.71	c (97,0) opt[111][3] = 0
730.45/117.71	c (97,0) opt[111][4] = 0
730.45/117.71	c (97,0) opt[112][0] = 1
730.45/117.71	c (97,0) opt[112][1] = 0
730.45/117.71	c (97,0) opt[112][2] = 1
730.45/117.71	c (97,0) opt[112][3] = 0
730.45/117.71	c (97,0) opt[112][4] = 0
730.45/117.71	c (97,0) opt[113][0] = 0
730.45/117.71	c (97,0) opt[113][1] = 1
730.45/117.71	c (97,0) opt[113][2] = 0
730.45/117.71	c (97,0) opt[113][3] = 0
730.45/117.71	c (97,0) opt[113][4] = 0
730.45/117.71	c (97,0) opt[114][0] = 1
730.45/117.71	c (97,0) opt[114][1] = 1
730.45/117.71	c (97,0) opt[114][2] = 0
730.45/117.71	c (97,0) opt[114][3] = 1
730.45/117.71	c (97,0) opt[114][4] = 1
730.45/117.71	c (97,0) opt[115][0] = 0
730.45/117.71	c (97,0) opt[115][1] = 0
730.45/117.71	c (97,0) opt[115][2] = 0
730.45/117.71	c (97,0) opt[115][3] = 1
730.45/117.71	c (97,0) opt[115][4] = 0
730.45/117.71	c (97,0) opt[116][0] = 0
730.45/117.71	c (97,0) opt[116][1] = 1
730.45/117.71	c (97,0) opt[116][2] = 0
730.45/117.71	c (97,0) opt[116][3] = 0
730.45/117.71	c (97,0) opt[116][4] = 0
730.45/117.71	c (97,0) opt[117][0] = 1
730.45/117.71	c (97,0) opt[117][1] = 0
730.45/117.71	c (97,0) opt[117][2] = 1
730.45/117.71	c (97,0) opt[117][3] = 0
730.45/117.71	c (97,0) opt[117][4] = 0
730.45/117.71	c (97,0) opt[118][0] = 0
730.45/117.71	c (97,0) opt[118][1] = 1
730.45/117.71	c (97,0) opt[118][2] = 0
730.45/117.71	c (97,0) opt[118][3] = 0
730.45/117.71	c (97,0) opt[118][4] = 0
730.45/117.71	c (97,0) opt[119][0] = 1
730.45/117.71	c (97,0) opt[119][1] = 0
730.45/117.71	c (97,0) opt[119][2] = 0
730.45/117.71	c (97,0) opt[119][3] = 0
730.45/117.71	c (97,0) opt[119][4] = 1
730.45/117.71	c (97,0) opt[120][0] = 0
730.45/117.71	c (97,0) opt[120][1] = 0
730.45/117.71	c (97,0) opt[120][2] = 1
730.45/117.71	c (97,0) opt[120][3] = 0
730.45/117.71	c (97,0) opt[120][4] = 0
730.45/117.71	c (97,0) opt[121][0] = 1
730.45/117.71	c (97,0) opt[121][1] = 0
730.45/117.71	c (97,0) opt[121][2] = 0
730.45/117.71	c (97,0) opt[121][3] = 0
730.45/117.71	c (97,0) opt[121][4] = 0
730.45/117.71	c (97,0) opt[122][0] = 0
730.45/117.71	c (97,0) opt[122][1] = 1
730.45/117.71	c (97,0) opt[122][2] = 0
730.45/117.71	c (97,0) opt[122][3] = 0
730.45/117.71	c (97,0) opt[122][4] = 0
730.45/117.71	c (97,0) opt[123][0] = 1
730.45/117.71	c (97,0) opt[123][1] = 0
730.45/117.71	c (97,0) opt[123][2] = 0
730.45/117.71	c (97,0) opt[123][3] = 0
730.45/117.71	c (97,0) opt[123][4] = 0
730.45/117.71	c (97,0) opt[124][0] = 0
730.45/117.71	c (97,0) opt[124][1] = 0
730.45/117.71	c (97,0) opt[124][2] = 0
730.45/117.71	c (97,0) opt[124][3] = 0
730.45/117.71	c (97,0) opt[124][4] = 1
730.45/117.71	c (97,0) opt[125][0] = 0
730.45/117.71	c (97,0) opt[125][1] = 1
730.45/117.71	c (97,0) opt[125][2] = 1
730.45/117.71	c (97,0) opt[125][3] = 0
730.45/117.71	c (97,0) opt[125][4] = 0
730.45/117.71	c (97,0) opt[126][0] = 1
730.45/117.71	c (97,0) opt[126][1] = 1
730.45/117.71	c (97,0) opt[126][2] = 0
730.45/117.71	c (97,0) opt[126][3] = 0
730.45/117.71	c (97,0) opt[126][4] = 0
730.45/117.71	c (97,0) opt[127][0] = 0
730.45/117.71	c (97,0) opt[127][1] = 0
730.45/117.71	c (97,0) opt[127][2] = 0
730.45/117.71	c (97,0) opt[127][3] = 1
730.45/117.71	c (97,0) opt[127][4] = 0
730.45/117.71	c (97,0) opt[128][0] = 1
730.45/117.71	c (97,0) opt[128][1] = 1
730.45/117.71	c (97,0) opt[128][2] = 1
730.45/117.71	c (97,0) opt[128][3] = 1
730.45/117.71	c (97,0) opt[128][4] = 0
730.45/117.71	c (97,0) opt[129][0] = 0
730.45/117.71	c (97,0) opt[129][1] = 0
730.45/117.71	c (97,0) opt[129][2] = 0
730.45/117.71	c (97,0) opt[129][3] = 0
730.45/117.71	c (97,0) opt[129][4] = 1
730.45/117.71	c (97,0) opt[130][0] = 1
730.45/117.71	c (97,0) opt[130][1] = 1
730.45/117.71	c (97,0) opt[130][2] = 0
730.45/117.71	c (97,0) opt[130][3] = 0
730.45/117.71	c (97,0) opt[130][4] = 0
730.45/117.71	c (97,0) opt[131][0] = 0
730.45/117.71	c (97,0) opt[131][1] = 1
730.45/117.71	c (97,0) opt[131][2] = 0
730.45/117.71	c (97,0) opt[131][3] = 0
730.45/117.71	c (97,0) opt[131][4] = 0
730.45/117.71	c (97,0) opt[132][0] = 0
730.45/117.71	c (97,0) opt[132][1] = 0
730.45/117.71	c (97,0) opt[132][2] = 0
730.45/117.71	c (97,0) opt[132][3] = 1
730.45/117.71	c (97,0) opt[132][4] = 0
730.45/117.71	c (97,0) opt[133][0] = 1
730.45/117.71	c (97,0) opt[133][1] = 0
730.45/117.71	c (97,0) opt[133][2] = 1
730.45/117.71	c (97,0) opt[133][3] = 0
730.45/117.71	c (97,0) opt[133][4] = 0
730.45/117.71	c (97,0) opt[134][0] = 0
730.45/117.71	c (97,0) opt[134][1] = 1
730.45/117.71	c (97,0) opt[134][2] = 0
730.45/117.71	c (97,0) opt[134][3] = 0
730.45/117.71	c (97,0) opt[134][4] = 1
730.45/117.71	c (97,0) opt[135][0] = 1
730.45/117.71	c (97,0) opt[135][1] = 1
730.45/117.71	c (97,0) opt[135][2] = 0
730.45/117.71	c (97,0) opt[135][3] = 1
730.45/117.71	c (97,0) opt[135][4] = 0
730.45/117.71	c (97,0) opt[136][0] = 0
730.45/117.71	c (97,0) opt[136][1] = 0
730.45/117.71	c (97,0) opt[136][2] = 1
730.45/117.71	c (97,0) opt[136][3] = 0
730.45/117.71	c (97,0) opt[136][4] = 0
730.45/117.71	c (97,0) opt[137][0] = 0
730.45/117.71	c (97,0) opt[137][1] = 1
730.45/117.71	c (97,0) opt[137][2] = 0
730.45/117.71	c (97,0) opt[137][3] = 0
730.45/117.71	c (97,0) opt[137][4] = 0
730.45/117.71	c (97,0) opt[138][0] = 1
730.45/117.71	c (97,0) opt[138][1] = 1
730.45/117.71	c (97,0) opt[138][2] = 0
730.45/117.71	c (97,0) opt[138][3] = 0
730.45/117.71	c (97,0) opt[138][4] = 0
730.45/117.71	c (97,0) opt[139][0] = 0
730.45/117.71	c (97,0) opt[139][1] = 0
730.45/117.71	c (97,0) opt[139][2] = 1
730.45/117.71	c (97,0) opt[139][3] = 1
730.45/117.71	c (97,0) opt[139][4] = 1
730.45/117.71	c (97,0) opt[140][0] = 1
730.45/117.71	c (97,0) opt[140][1] = 1
730.45/117.71	c (97,0) opt[140][2] = 0
730.45/117.71	c (97,0) opt[140][3] = 1
730.45/117.71	c (97,0) opt[140][4] = 0
730.45/117.71	c (97,0) opt[141][0] = 0
730.45/117.71	c (97,0) opt[141][1] = 1
730.45/117.71	c (97,0) opt[141][2] = 0
730.45/117.71	c (97,0) opt[141][3] = 0
730.45/117.71	c (97,0) opt[141][4] = 0
730.45/117.71	c (97,0) opt[142][0] = 1
730.45/117.71	c (97,0) opt[142][1] = 0
730.45/117.71	c (97,0) opt[142][2] = 0
730.45/117.71	c (97,0) opt[142][3] = 0
730.45/117.71	c (97,0) opt[142][4] = 0
730.45/117.71	c (97,0) opt[143][0] = 0
730.45/117.71	c (97,0) opt[143][1] = 1
730.45/117.71	c (97,0) opt[143][2] = 1
730.45/117.71	c (97,0) opt[143][3] = 0
730.45/117.71	c (97,0) opt[143][4] = 0
730.45/117.71	c (97,0) opt[144][0] = 0
730.45/117.71	c (97,0) opt[144][1] = 0
730.45/117.71	c (97,0) opt[144][2] = 0
730.45/117.71	c (97,0) opt[144][3] = 1
730.45/117.71	c (97,0) opt[144][4] = 1
730.45/117.71	c (97,0) opt[145][0] = 0
730.45/117.71	c (97,0) opt[145][1] = 1
730.45/117.71	c (97,0) opt[145][2] = 0
730.45/117.71	c (97,0) opt[145][3] = 0
730.45/117.71	c (97,0) opt[145][4] = 0
730.45/117.71	c (97,0) opt[146][0] = 1
730.45/117.71	c (97,0) opt[146][1] = 0
730.45/117.71	c (97,0) opt[146][2] = 1
730.45/117.71	c (97,0) opt[146][3] = 0
730.45/117.71	c (97,0) opt[146][4] = 0
730.45/117.71	c (97,0) opt[147][0] = 0
730.45/117.71	c (97,0) opt[147][1] = 0
730.45/117.71	c (97,0) opt[147][2] = 0
730.45/117.71	c (97,0) opt[147][3] = 1
730.45/117.71	c (97,0) opt[147][4] = 0
730.45/117.71	c (97,0) opt[148][0] = 0
730.45/117.71	c (97,0) opt[148][1] = 1
730.45/117.71	c (97,0) opt[148][2] = 0
730.45/117.71	c (97,0) opt[148][3] = 0
730.45/117.71	c (97,0) opt[148][4] = 0
730.45/117.71	c (97,0) opt[149][0] = 1
730.45/117.71	c (97,0) opt[149][1] = 1
730.45/117.71	c (97,0) opt[149][2] = 0
730.45/117.71	c (97,0) opt[149][3] = 0
730.45/117.71	c (97,0) opt[149][4] = 1
730.45/117.71	c (97,0) opt[150][0] = 0
730.45/117.71	c (97,0) opt[150][1] = 0
730.45/117.71	c (97,0) opt[150][2] = 0
730.45/117.71	c (97,0) opt[150][3] = 1
730.45/117.71	c (97,0) opt[150][4] = 0
730.45/117.71	c (97,0) opt[151][0] = 1
730.45/117.71	c (97,0) opt[151][1] = 1
730.45/117.71	c (97,0) opt[151][2] = 1
730.45/117.71	c (97,0) opt[151][3] = 0
730.45/117.71	c (97,0) opt[151][4] = 0
730.45/117.71	c (97,0) opt[152][0] = 0
730.45/117.71	c (97,0) opt[152][1] = 1
730.45/117.71	c (97,0) opt[152][2] = 0
730.45/117.71	c (97,0) opt[152][3] = 0
730.45/117.71	c (97,0) opt[152][4] = 0
730.45/117.71	c (97,0) opt[153][0] = 1
730.45/117.71	c (97,0) opt[153][1] = 0
730.45/117.71	c (97,0) opt[153][2] = 0
730.45/117.71	c (97,0) opt[153][3] = 0
730.45/117.71	c (97,0) opt[153][4] = 0
730.45/117.71	c (97,0) opt[154][0] = 0
730.45/117.71	c (97,0) opt[154][1] = 1
730.45/117.71	c (97,0) opt[154][2] = 0
730.45/117.71	c (97,0) opt[154][3] = 0
730.45/117.71	c (97,0) opt[154][4] = 1
730.45/117.71	c (97,0) opt[155][0] = 0
730.45/117.71	c (97,0) opt[155][1] = 0
730.45/117.71	c (97,0) opt[155][2] = 1
730.45/117.71	c (97,0) opt[155][3] = 0
730.45/117.71	c (97,0) opt[155][4] = 0
730.45/117.71	c (97,0) opt[156][0] = 1
730.45/117.71	c (97,0) opt[156][1] = 1
730.45/117.71	c (97,0) opt[156][2] = 0
730.45/117.71	c (97,0) opt[156][3] = 1
730.45/117.71	c (97,0) opt[156][4] = 0
730.45/117.71	c (97,0) opt[157][0] = 0
730.45/117.71	c (97,0) opt[157][1] = 1
730.45/117.71	c (97,0) opt[157][2] = 0
730.45/117.71	c (97,0) opt[157][3] = 0
730.45/117.71	c (97,0) opt[157][4] = 0
730.45/117.71	c (97,0) opt[158][0] = 0
730.45/117.71	c (97,0) opt[158][1] = 0
730.45/117.71	c (97,0) opt[158][2] = 1
730.45/117.71	c (97,0) opt[158][3] = 0
730.45/117.71	c (97,0) opt[158][4] = 0
730.45/117.71	c (97,0) opt[159][0] = 0
730.45/117.71	c (97,0) opt[159][1] = 0
730.45/117.71	c (97,0) opt[159][2] = 0
730.45/117.71	c (97,0) opt[159][3] = 0
730.45/117.71	c (97,0) opt[159][4] = 1
730.45/117.71	c (97,0) opt[160][0] = 1
730.45/117.71	c (97,0) opt[160][1] = 1
730.45/117.71	c (97,0) opt[160][2] = 0
730.45/117.71	c (97,0) opt[160][3] = 1
730.45/117.71	c (97,0) opt[160][4] = 0
730.45/117.71	c (97,0) opt[161][0] = 0
730.45/117.71	c (97,0) opt[161][1] = 1
730.45/117.71	c (97,0) opt[161][2] = 1
730.45/117.71	c (97,0) opt[161][3] = 0
730.45/117.71	c (97,0) opt[161][4] = 0
730.45/117.71	c (97,0) opt[162][0] = 1
730.45/117.71	c (97,0) opt[162][1] = 0
730.45/117.71	c (97,0) opt[162][2] = 0
730.45/117.71	c (97,0) opt[162][3] = 1
730.45/117.71	c (97,0) opt[162][4] = 0
730.45/117.71	c (97,0) opt[163][0] = 0
730.45/117.71	c (97,0) opt[163][1] = 1
730.45/117.71	c (97,0) opt[163][2] = 0
730.45/117.71	c (97,0) opt[163][3] = 0
730.45/117.71	c (97,0) opt[163][4] = 0
730.45/117.71	c (97,0) opt[164][0] = 1
730.45/117.71	c (97,0) opt[164][1] = 0
730.45/117.71	c (97,0) opt[164][2] = 0
730.45/117.71	c (97,0) opt[164][3] = 0
730.45/117.71	c (97,0) opt[164][4] = 1
730.45/117.71	c (97,0) opt[165][0] = 0
730.45/117.71	c (97,0) opt[165][1] = 1
730.45/117.71	c (97,0) opt[165][2] = 1
730.45/117.71	c (97,0) opt[165][3] = 0
730.45/117.71	c (97,0) opt[165][4] = 0
730.45/117.71	c (97,0) opt[166][0] = 1
730.45/117.71	c (97,0) opt[166][1] = 0
730.45/117.71	c (97,0) opt[166][2] = 0
730.45/117.71	c (97,0) opt[166][3] = 1
730.45/117.71	c (97,0) opt[166][4] = 0
730.45/117.71	c (97,0) opt[167][0] = 0
730.45/117.71	c (97,0) opt[167][1] = 1
730.45/117.71	c (97,0) opt[167][2] = 0
730.45/117.71	c (97,0) opt[167][3] = 0
730.45/117.71	c (97,0) opt[167][4] = 0
730.45/117.71	c (97,0) opt[168][0] = 0
730.45/117.71	c (97,0) opt[168][1] = 0
730.45/117.71	c (97,0) opt[168][2] = 1
730.45/117.71	c (97,0) opt[168][3] = 1
730.45/117.71	c (97,0) opt[168][4] = 0
730.45/117.71	c (97,0) opt[169][0] = 1
730.45/117.71	c (97,0) opt[169][1] = 1
730.45/117.71	c (97,0) opt[169][2] = 0
730.45/117.71	c (97,0) opt[169][3] = 0
730.45/117.71	c (97,0) opt[169][4] = 1
730.45/117.71	c (97,0) opt[170][0] = 0
730.45/117.71	c (97,0) opt[170][1] = 1
730.45/117.71	c (97,0) opt[170][2] = 0
730.45/117.71	c (97,0) opt[170][3] = 0
730.45/117.71	c (97,0) opt[170][4] = 0
730.45/117.71	c (97,0) opt[171][0] = 0
730.45/117.71	c (97,0) opt[171][1] = 0
730.45/117.71	c (97,0) opt[171][2] = 1
730.45/117.71	c (97,0) opt[171][3] = 0
730.45/117.71	c (97,0) opt[171][4] = 0
730.45/117.71	c (97,0) opt[172][0] = 1
730.45/117.71	c (97,0) opt[172][1] = 1
730.45/117.71	c (97,0) opt[172][2] = 0
730.45/117.71	c (97,0) opt[172][3] = 1
730.45/117.71	c (97,0) opt[172][4] = 0
730.45/117.71	c (97,0) opt[173][0] = 0
730.45/117.71	c (97,0) opt[173][1] = 1
730.45/117.71	c (97,0) opt[173][2] = 0
730.45/117.71	c (97,0) opt[173][3] = 0
730.45/117.71	c (97,0) opt[173][4] = 0
730.45/117.71	c (97,0) opt[174][0] = 1
730.45/117.71	c (97,0) opt[174][1] = 0
730.45/117.71	c (97,0) opt[174][2] = 1
730.45/117.71	c (97,0) opt[174][3] = 0
730.45/117.71	c (97,0) opt[174][4] = 1
730.45/117.71	c (97,0) opt[175][0] = 0
730.45/117.71	c (97,0) opt[175][1] = 1
730.45/117.71	c (97,0) opt[175][2] = 0
730.45/117.71	c (97,0) opt[175][3] = 0
730.45/117.71	c (97,0) opt[175][4] = 0
730.45/117.71	c (97,0) opt[176][0] = 0
730.45/117.71	c (97,0) opt[176][1] = 0
730.45/117.71	c (97,0) opt[176][2] = 0
730.45/117.71	c (97,0) opt[176][3] = 1
730.45/117.71	c (97,0) opt[176][4] = 0
730.45/117.71	c (97,0) opt[177][0] = 1
730.45/117.71	c (97,0) opt[177][1] = 1
730.45/117.71	c (97,0) opt[177][2] = 1
730.45/117.71	c (97,0) opt[177][3] = 0
730.45/117.71	c (97,0) opt[177][4] = 0
730.45/117.71	c (97,0) opt[178][0] = 0
730.45/117.71	c (97,0) opt[178][1] = 1
730.45/117.71	c (97,0) opt[178][2] = 0
730.45/117.71	c (97,0) opt[178][3] = 0
730.45/117.71	c (97,0) opt[178][4] = 0
730.45/117.71	c (97,0) opt[179][0] = 1
730.45/117.71	c (97,0) opt[179][1] = 0
730.45/117.71	c (97,0) opt[179][2] = 0
730.45/117.71	c (97,0) opt[179][3] = 0
730.45/117.71	c (97,0) opt[179][4] = 1
730.45/117.71	c (97,0) opt[180][0] = 0
730.45/117.71	c (97,0) opt[180][1] = 0
730.45/117.71	c (97,0) opt[180][2] = 1
730.45/117.71	c (97,0) opt[180][3] = 0
730.45/117.71	c (97,0) opt[180][4] = 0
730.45/117.71	c (97,0) opt[181][0] = 0
730.45/117.71	c (97,0) opt[181][1] = 1
730.45/117.71	c (97,0) opt[181][2] = 0
730.45/117.71	c (97,0) opt[181][3] = 0
730.45/117.71	c (97,0) opt[181][4] = 0
730.45/117.71	c (97,0) opt[182][0] = 0
730.45/117.71	c (97,0) opt[182][1] = 1
730.45/117.71	c (97,0) opt[182][2] = 0
730.45/117.71	c (97,0) opt[182][3] = 0
730.45/117.71	c (97,0) opt[182][4] = 0
730.45/117.71	c (97,0) opt[183][0] = 1
730.45/117.71	c (97,0) opt[183][1] = 0
730.45/117.71	c (97,0) opt[183][2] = 1
730.45/117.71	c (97,0) opt[183][3] = 0
730.45/117.71	c (97,0) opt[183][4] = 0
730.45/117.71	c (97,0) opt[184][0] = 0
730.45/117.71	c (97,0) opt[184][1] = 1
730.45/117.71	c (97,0) opt[184][2] = 0
730.45/117.71	c (97,0) opt[184][3] = 0
730.45/117.71	c (97,0) opt[184][4] = 1
730.45/117.71	c (97,0) opt[185][0] = 1
730.45/117.71	c (97,0) opt[185][1] = 0
730.45/117.71	c (97,0) opt[185][2] = 0
730.45/117.71	c (97,0) opt[185][3] = 1
730.45/117.71	c (97,0) opt[185][4] = 0
730.45/117.71	c (97,0) opt[186][0] = 0
730.45/117.71	c (97,0) opt[186][1] = 1
730.45/117.71	c (97,0) opt[186][2] = 0
730.45/117.71	c (97,0) opt[186][3] = 0
730.45/117.71	c (97,0) opt[186][4] = 0
730.45/117.71	c (97,0) opt[187][0] = 1
730.45/117.71	c (97,0) opt[187][1] = 1
730.45/117.71	c (97,0) opt[187][2] = 1
730.45/117.71	c (97,0) opt[187][3] = 0
730.45/117.71	c (97,0) opt[187][4] = 0
730.45/117.71	c (97,0) opt[188][0] = 0
730.45/117.71	c (97,0) opt[188][1] = 0
730.45/117.71	c (97,0) opt[188][2] = 0
730.45/117.71	c (97,0) opt[188][3] = 1
730.45/117.71	c (97,0) opt[188][4] = 0
730.45/117.71	c (97,0) opt[189][0] = 0
730.45/117.71	c (97,0) opt[189][1] = 1
730.45/117.71	c (97,0) opt[189][2] = 0
730.45/117.71	c (97,0) opt[189][3] = 0
730.45/117.71	c (97,0) opt[189][4] = 1
730.45/117.71	c (97,0) opt[190][0] = 0
730.45/117.71	c (97,0) opt[190][1] = 0
730.45/117.71	c (97,0) opt[190][2] = 0
730.45/117.71	c (97,0) opt[190][3] = 1
730.45/117.71	c (97,0) opt[190][4] = 0
730.45/117.71	c (97,0) opt[191][0] = 1
730.45/117.71	c (97,0) opt[191][1] = 0
730.45/117.71	c (97,0) opt[191][2] = 1
730.45/117.71	c (97,0) opt[191][3] = 0
730.45/117.71	c (97,0) opt[191][4] = 0
730.45/117.71	c (97,0) opt[192][0] = 0
730.45/117.71	c (97,0) opt[192][1] = 1
730.45/117.71	c (97,0) opt[192][2] = 0
730.45/117.71	c (97,0) opt[192][3] = 0
730.45/117.71	c (97,0) opt[192][4] = 0
730.45/117.71	c (97,0) opt[193][0] = 1
730.45/117.71	c (97,0) opt[193][1] = 1
730.45/117.71	c (97,0) opt[193][2] = 0
730.45/117.71	c (97,0) opt[193][3] = 0
730.45/117.71	c (97,0) opt[193][4] = 0
730.45/117.71	c (97,0) opt[194][0] = 0
730.45/117.71	c (97,0) opt[194][1] = 0
730.45/117.71	c (97,0) opt[194][2] = 0
730.45/117.71	c (97,0) opt[194][3] = 0
730.45/117.71	c (97,0) opt[194][4] = 1
730.45/117.71	c (97,0) opt[195][0] = 1
730.45/117.71	c (97,0) opt[195][1] = 0
730.45/117.71	c (97,0) opt[195][2] = 1
730.45/117.71	c (97,0) opt[195][3] = 1
730.45/117.71	c (97,0) opt[195][4] = 0
730.45/117.71	c (97,0) opt[196][0] = 0
730.45/117.71	c (97,0) opt[196][1] = 1
730.45/117.71	c (97,0) opt[196][2] = 0
730.45/117.71	c (97,0) opt[196][3] = 0
730.45/117.71	c (97,0) opt[196][4] = 0
730.45/117.71	c (97,0) opt[197][0] = 0
730.45/117.71	c (97,0) opt[197][1] = 1
730.45/117.71	c (97,0) opt[197][2] = 0
730.45/117.71	c (97,0) opt[197][3] = 0
730.45/117.71	c (97,0) opt[197][4] = 0
730.45/117.71	c (97,0) opt[198][0] = 1
730.45/117.71	c (97,0) opt[198][1] = 0
730.45/117.71	c (97,0) opt[198][2] = 1
730.45/117.71	c (97,0) opt[198][3] = 1
730.45/117.71	c (97,0) opt[198][4] = 0
730.45/117.71	c (97,0) opt[199][0] = 0
730.45/117.71	c (97,0) opt[199][1] = 0
730.45/117.71	c (97,0) opt[199][2] = 0
730.45/117.71	c (97,0) opt[199][3] = 0
730.45/117.71	c (97,0) opt[199][4] = 1
730.45/117.71	s SATISFIABLE
730.45/117.72	v <instantiation>
730.45/117.72	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>
730.45/117.72	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>
730.45/117.72	v </instantiation>
730.45/117.72	c (97,0) Show results End
730.45/117.72	c (97,0) Heap : 317 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
730.45/117.72	c (97,0) 97,97,STOP-AFTER(ALL)
730.45/117.72	c END-Prog: Tue Sep 24 17:23:01 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12756 MiB free)
  memory of node 1: 16384 MiB (10071 MiB free)
  node distances:
     10  21
     21  10

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

solver pid=9941, runsolver pid=9938

[startup+0.100142 s]*
/proc/loadavg: 3.41 2.03 1.36 3/213 9963
/proc/meminfo: memFree=23282052/32770624 swapFree=66956484/67108860
[pid=9941] ppid=9938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9941/stat : 9941 (scop.sh) S 9938 9941 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510121658 115843072 349 33554432000 4194304 5098028 140727062003120 140727062000376 139737315545724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18710528 140727062008612 140727062008940 140727062008940 140727062011853 0
/proc/9941/statm: 28282 349 296 221 0 87 0
[pid=9944] ppid=9941 vsize=27314120 memory=105284 CPUtime=0.1 cores=0-7
/proc/9944/stat : 9944 (java) S 9941 9941 8819 0 -1 1077944320 6928 0 0 0 8 2 0 0 20 0 20 0 510121658 27969658880 26321 33554432000 4194304 4196468 140729307675568 140729307658112 140677608840951 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
/proc/9944/statm: 6828530 26321 2795 1 0 6790935 0
[pid=9944/tid=9945] ppid=9941 vsize=27314120 memory=4428055974299988891 CPUtime=0.09 cores=0-7
/proc/9944/task/9945/stat : 9945 (java) R 9941 9941 8819 0 -1 4202560 5018 0 0 0 7 2 0 0 20 0 20 0 510121659 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677580663232 140677608862877 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9946] ppid=9941 vsize=27314120 memory=732369954093980645 CPUtime=0 cores=0-7
/proc/9944/task/9946/stat : 9946 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677613083792 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9947] ppid=9941 vsize=27314120 memory=139815756527232 CPUtime=0 cores=0-7
/proc/9944/task/9947/stat : 9947 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677427239952 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9948] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9948/stat : 9948 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677030247312 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9949] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9949/stat : 9949 (java) S 9941 9941 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677029194512 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9950] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9950/stat : 9950 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677028141712 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9951] ppid=9941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9944/task/9951/stat : 9951 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677027088912 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9952] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9952/stat : 9952 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677026036112 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9953] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9953/stat : 9953 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 26321 33554432000 4194304 4196468 140729307675568 140677024983312 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9954] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9954/stat : 9954 (java) S 9941 9941 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510121662 27969658880 26321 33554432000 4194304 4196468 140729307675568 140676801530736 140677608852098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9955] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9955/stat : 9955 (java) S 9941 9941 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510121663 27969658880 26321 33554432000 4194304 4196468 140729307675568 140675412649504 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9956] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9956/stat : 9956 (java) S 9941 9941 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510121663 27969658880 26321 33554432000 4194304 4196468 140729307675568 140675278427504 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9957] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9957/stat : 9957 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 26321 33554432000 4194304 4196468 140729307675568 140674903923024 140677608859547 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9958] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9958/stat : 9958 (java) S 9941 9941 8819 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 26321 33554432000 4194304 4196468 140729307675568 140676800477552 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9959] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9959/stat : 9959 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 26321 33554432000 4194304 4196468 140729307675568 140676799424752 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9960] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9960/stat : 9960 (java) S 9941 9941 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 26321 33554432000 4194304 4196468 140729307675568 140676798371952 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9961] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9961/stat : 9961 (java) S 9941 9941 8819 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 26321 33554432000 4194304 4196468 140729307675568 140676797319152 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9962] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9962/stat : 9962 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 26321 33554432000 4194304 4196468 140729307675568 140674406018144 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9963] ppid=9941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9944/task/9963/stat : 9963 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 26321 33554432000 4194304 4196468 140729307675568 140676796267568 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106680 KiB

[startup+0.210317 s]*
/proc/loadavg: 3.41 2.03 1.36 2/213 9963
/proc/meminfo: memFree=23263708/32770624 swapFree=66956484/67108860
[pid=9941] ppid=9938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9941/stat : 9941 (scop.sh) S 9938 9941 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510121658 115843072 349 33554432000 4194304 5098028 140727062003120 140727062000376 139737315545724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18710528 140727062008612 140727062008940 140727062008940 140727062011853 0
/proc/9941/statm: 28282 349 296 221 0 87 0
[pid=9944] ppid=9941 vsize=27314120 memory=122128 CPUtime=0.24 cores=0-7
/proc/9944/stat : 9944 (java) S 9941 9941 8819 0 -1 1077944320 11935 0 0 0 20 4 0 0 20 0 20 0 510121658 27969658880 30532 33554432000 4194304 4196468 140729307675568 140729307658112 140677608840951 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
/proc/9944/statm: 6828530 30532 2924 1 0 6790935 0
[pid=9944/tid=9945] ppid=9941 vsize=27314120 memory=0 CPUtime=0.2 cores=0-7
/proc/9944/task/9945/stat : 9945 (java) R 9941 9941 8819 0 -1 4202560 9619 0 0 0 16 4 0 0 20 0 20 0 510121659 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677580661856 140677590404507 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9946] ppid=9941 vsize=27314120 memory=732369954093980645 CPUtime=0 cores=0-7
/proc/9944/task/9946/stat : 9946 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677613083792 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9947] ppid=9941 vsize=27314120 memory=139815756527232 CPUtime=0 cores=0-7
/proc/9944/task/9947/stat : 9947 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677427239952 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9948] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9948/stat : 9948 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677030247312 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9949] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9949/stat : 9949 (java) S 9941 9941 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677029194512 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9950] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9950/stat : 9950 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677028141712 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9951] ppid=9941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9944/task/9951/stat : 9951 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677027088912 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9952] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9952/stat : 9952 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677026036112 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9953] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9953/stat : 9953 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 30532 33554432000 4194304 4196468 140729307675568 140677024983312 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9954] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9954/stat : 9954 (java) S 9941 9941 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510121662 27969658880 30532 33554432000 4194304 4196468 140729307675568 140676801530736 140677608852098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9955] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9955/stat : 9955 (java) S 9941 9941 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510121663 27969658880 30532 33554432000 4194304 4196468 140729307675568 140675412649504 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9956] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9956/stat : 9956 (java) S 9941 9941 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510121663 27969658880 30532 33554432000 4194304 4196468 140729307675568 140675278427504 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9957] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9957/stat : 9957 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 30532 33554432000 4194304 4196468 140729307675568 140674903923024 140677608859547 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9958] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9958/stat : 9958 (java) S 9941 9941 8819 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 30532 33554432000 4194304 4196468 140729307675568 140676800477552 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9959] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9959/stat : 9959 (java) S 9941 9941 8819 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 30532 33554432000 4194304 4196468 140729307675568 140676799424752 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9960] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9960/stat : 9960 (java) S 9941 9941 8819 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 30532 33554432000 4194304 4196468 140729307675568 140676798371952 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9961] ppid=9941 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/9944/task/9961/stat : 9961 (java) S 9941 9941 8819 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 20 0 510121666 27969658880 30532 33554432000 4194304 4196468 140729307675568 140676797319152 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9962] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9962/stat : 9962 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 30532 33554432000 4194304 4196468 140729307675568 140674406018144 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9963] ppid=9941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9944/task/9963/stat : 9963 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 30532 33554432000 4194304 4196468 140729307675568 140676796267568 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123524 KiB

[startup+0.309798 s]*
/proc/loadavg: 3.41 2.03 1.36 2/213 9963
/proc/meminfo: memFree=23260916/32770624 swapFree=66956484/67108860
[pid=9941] ppid=9938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9941/stat : 9941 (scop.sh) S 9938 9941 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510121658 115843072 349 33554432000 4194304 5098028 140727062003120 140727062000376 139737315545724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18710528 140727062008612 140727062008940 140727062008940 140727062011853 0
/proc/9941/statm: 28282 349 296 221 0 87 0
[pid=9944] ppid=9941 vsize=27314120 memory=125804 CPUtime=0.42 cores=0-7
/proc/9944/stat : 9944 (java) S 9941 9941 8819 0 -1 1077944320 12856 0 0 0 37 5 0 0 20 0 20 0 510121658 27969658880 31451 33554432000 4194304 4196468 140729307675568 140729307658112 140677608840951 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
/proc/9944/statm: 6828530 31451 3035 1 0 6790935 0
[pid=9944/tid=9945] ppid=9941 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9944/task/9945/stat : 9945 (java) R 9941 9941 8819 0 -1 4202560 10386 0 0 0 25 4 0 0 20 0 20 0 510121659 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677580671024 140677592921438 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9946] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9946/stat : 9946 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677613083792 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9947] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9947/stat : 9947 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677427239952 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9948] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9948/stat : 9948 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677030247312 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9949] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9949/stat : 9949 (java) S 9941 9941 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677029194512 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9950] ppid=9941 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9944/task/9950/stat : 9950 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677028141712 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9951] ppid=9941 vsize=27314120 memory=139815613985711 CPUtime=0 cores=0-7
/proc/9944/task/9951/stat : 9951 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677027088912 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9952] ppid=9941 vsize=27314120 memory=139815613988016 CPUtime=0 cores=0-7
/proc/9944/task/9952/stat : 9952 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677026036112 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9953] ppid=9941 vsize=27314120 memory=139815613990320 CPUtime=0 cores=0-7
/proc/9944/task/9953/stat : 9953 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27969658880 31451 33554432000 4194304 4196468 140729307675568 140677024983312 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9954] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9954/stat : 9954 (java) S 9941 9941 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510121662 27969658880 31451 33554432000 4194304 4196468 140729307675568 140676801530736 140677608852098 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9955] ppid=9941 vsize=27314120 memory=279631227987600 CPUtime=0 cores=0-7
/proc/9944/task/9955/stat : 9955 (java) S 9941 9941 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510121663 27969658880 31451 33554432000 4194304 4196468 140729307675568 140675412649504 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9956] ppid=9941 vsize=27314120 memory=279631227994512 CPUtime=0 cores=0-7
/proc/9944/task/9956/stat : 9956 (java) S 9941 9941 8819 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510121663 27969658880 31451 33554432000 4194304 4196468 140729307675568 140675278427504 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9957] ppid=9941 vsize=27314120 memory=279631227935792 CPUtime=0 cores=0-7
/proc/9944/task/9957/stat : 9957 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 31451 33554432000 4194304 4196468 140729307675568 140674903923024 140677608859547 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9958] ppid=9941 vsize=27314120 memory=279631228008336 CPUtime=0 cores=0-7
/proc/9944/task/9958/stat : 9958 (java) S 9941 9941 8819 0 -1 1077944384 332 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 31451 33554432000 4194304 4196468 140729307675568 140676800477552 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9959] ppid=9941 vsize=27314120 memory=279631228015248 CPUtime=0.02 cores=0-7
/proc/9944/task/9959/stat : 9959 (java) S 9941 9941 8819 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 510121666 27969658880 31451 33554432000 4194304 4196468 140729307675568 140676799424752 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9960] ppid=9941 vsize=27314120 memory=279631228012944 CPUtime=0.01 cores=0-7
/proc/9944/task/9960/stat : 9960 (java) R 9941 9941 8819 0 -1 4202560 160 0 0 0 1 0 0 0 20 0 20 0 510121666 27969658880 31451 33554432000 4194304 4196468 140729307675568 140676798371952 140677601082341 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9961] ppid=9941 vsize=27314120 memory=279631228029104 CPUtime=0.07 cores=0-7
/proc/9944/task/9961/stat : 9961 (java) S 9941 9941 8819 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 20 0 510121666 27969658880 31451 33554432000 4194304 4196468 140729307675568 140676797319152 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9962] ppid=9941 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9962/stat : 9962 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 31451 33554432000 4194304 4196468 140729307675568 140674406018144 140677608851157 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9963] ppid=9941 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9944/task/9963/stat : 9963 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121666 27969658880 31451 33554432000 4194304 4196468 140729307675568 140676796267568 140677608852098 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127200 KiB

[startup+0.700941 s]
/proc/loadavg: 3.41 2.03 1.36 2/213 9963
/proc/meminfo: memFree=23236732/32770624 swapFree=66956484/67108860
[pid=9941] ppid=9938 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9941/stat : 9941 (scop.sh) S 9938 9941 8819 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510121658 115843072 349 33554432000 4194304 5098028 140727062003120 140727062000376 139737315545724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18710528 140727062008612 140727062008940 140727062008940 140727062011853 0
/proc/9941/statm: 28282 349 296 221 0 87 0
[pid=9944] ppid=9941 vsize=27320392 memory=165388 CPUtime=1 cores=0-7
/proc/9944/stat : 9944 (java) S 9941 9941 8819 0 -1 1077944320 20450 0 0 0 92 8 0 0 20 0 20 0 510121658 27976081408 41347 33554432000 4194304 4196468 140729307675568 140729307658112 140677608840951 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
/proc/9944/statm: 6830098 41347 3193 1 0 6791447 0
[pid=9944/tid=9945] ppid=9941 vsize=27320392 memory=279631228324032 CPUtime=0.68 cores=0-7
/proc/9944/task/9945/stat : 9945 (java) R 9941 9941 8819 0 -1 4202560 17331 0 0 0 61 7 0 0 20 0 20 0 510121659 27976081408 41347 33554432000 4194304 4196468 140729307675568 140677580679632 140677107300016 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9946] ppid=9941 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/9944/task/9946/stat : 9946 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27976081408 41347 33554432000 4194304 4196468 140729307675568 140677613083792 140677608851157 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9947] ppid=9941 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9947/stat : 9947 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27976081408 41347 33554432000 4194304 4196468 140729307675568 140677427239952 140677608851157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0
[pid=9944/tid=9948] ppid=9941 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9944/task/9948/stat : 9948 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510121661 27976081408 41347 33554432000 4194304 4196468 140729307675568 140677030247312 140677608851157 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25341952 140729307677419 140729307677846 140729307677846 140729307680719 0

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

[pid=9964/tid=9966] ppid=9941 vsize=8414124 memory=128892 CPUtime=0 cores=0-7
/proc/9964/task/9966/stat : 9966 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884637481616 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9967] ppid=9941 vsize=8414124 memory=2545604 CPUtime=0 cores=0-7
/proc/9964/task/9967/stat : 9967 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884468730384 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9968] ppid=9941 vsize=8414124 memory=129408 CPUtime=0 cores=0-7
/proc/9964/task/9968/stat : 9968 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884117731728 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9969] ppid=9941 vsize=8414124 memory=2872832 CPUtime=0 cores=0-7
/proc/9964/task/9969/stat : 9969 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884116678928 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9970] ppid=9941 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9964/task/9970/stat : 9970 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884115627152 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9971] ppid=9941 vsize=8414124 memory=-5059952977386882957 CPUtime=0 cores=0-7
/proc/9964/task/9971/stat : 9971 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884114574352 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9972] ppid=9941 vsize=8414124 memory=7020322714685172843 CPUtime=0 cores=0-7
/proc/9964/task/9972/stat : 9972 (java) S 9941 9941 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884113521552 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9973] ppid=9941 vsize=8414124 memory=7234862829723216492 CPUtime=0 cores=0-7
/proc/9964/task/9973/stat : 9973 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123605 8616062976 35935 33554432000 4194304 4196468 140729443545520 139884112468752 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9974] ppid=9941 vsize=8414124 memory=7956001745775388015 CPUtime=0 cores=0-7
/proc/9964/task/9974/stat : 9974 (java) S 9941 9941 8819 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510123606 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883592006000 139884633250434 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9975] ppid=9941 vsize=8414124 memory=7594287696355683689 CPUtime=0 cores=0-7
/proc/9964/task/9975/stat : 9975 (java) S 9941 9941 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510123607 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883259618336 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9976] ppid=9941 vsize=8414124 memory=139815615308641 CPUtime=0 cores=0-7
/proc/9964/task/9976/stat : 9976 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123607 8616062976 35935 33554432000 4194304 4196468 140729443545520 139882991182704 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9977] ppid=9941 vsize=8414124 memory=-4075877051373423740 CPUtime=0 cores=0-7
/proc/9964/task/9977/stat : 9977 (java) S 9941 9941 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510123609 8616062976 35935 33554432000 4194304 4196468 140729443545520 139882616674128 139884633257883 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9978] ppid=9941 vsize=8414124 memory=1772 CPUtime=0.17 cores=0-7
/proc/9964/task/9978/stat : 9978 (java) S 9941 9941 8819 0 -1 1077944384 813 0 0 0 17 0 0 0 20 0 24 0 510123609 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883590953840 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9979] ppid=9941 vsize=8414124 memory=111632 CPUtime=0.16 cores=0-7
/proc/9964/task/9979/stat : 9979 (java) S 9941 9941 8819 0 -1 1077944384 465 0 0 0 16 0 0 0 20 0 24 0 510123610 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883589901040 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9980] ppid=9941 vsize=8414124 memory=804 CPUtime=0.2 cores=0-7
/proc/9964/task/9980/stat : 9980 (java) S 9941 9941 8819 0 -1 1077944384 676 0 0 0 20 0 0 0 20 0 24 0 510123610 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883588848240 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9981] ppid=9941 vsize=8414124 memory=1724 CPUtime=0.29 cores=0-7
/proc/9964/task/9981/stat : 9981 (java) S 9941 9941 8819 0 -1 1077944384 1203 0 0 0 29 0 0 0 20 0 24 0 510123610 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883587795440 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9982] ppid=9941 vsize=8414124 memory=4108 CPUtime=0 cores=0-7
/proc/9964/task/9982/stat : 9982 (java) S 9941 9941 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510123610 8616062976 35935 33554432000 4194304 4196468 140729443545520 139882118769248 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9983] ppid=9941 vsize=8414124 memory=1808 CPUtime=0.06 cores=0-7
/proc/9964/task/9983/stat : 9983 (java) S 9941 9941 8819 0 -1 1077944384 9 0 0 0 5 1 0 0 20 0 24 0 510123610 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883586742832 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9985] ppid=9941 vsize=8414124 memory=920 CPUtime=0 cores=0-7
/proc/9964/task/9985/stat : 9985 (java) S 9941 9941 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510123692 8616062976 35935 33554432000 4194304 4196468 140729443545520 139883931194432 139884633263897 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9987] ppid=9941 vsize=8414124 memory=2826868 CPUtime=0.06 cores=0-7
/proc/9964/task/9987/stat : 9987 (java) S 9941 9941 8819 0 -1 4202560 1705 0 0 0 5 1 0 0 20 0 24 0 510123692 8616062976 35935 33554432000 4194304 4196468 140729443545520 139881447669888 139884633261213 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9988] ppid=9941 vsize=8414124 memory=129408 CPUtime=0 cores=0-7
/proc/9964/task/9988/stat : 9988 (java) S 9941 9941 8819 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510123692 8616062976 35935 33554432000 4194304 4196468 140729443545520 139881716105264 139884633261213 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9989] ppid=9941 vsize=8414124 memory=2817828 CPUtime=0 cores=0-7
/proc/9964/task/9989/stat : 9989 (java) S 9941 9941 8819 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510123694 8616062976 35935 33554432000 4194304 4196468 140729443545520 139881179242032 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
Current children cumulated CPU time: 729.19 s
Current children cumulated vsize: 11891444 KiB
Current children cumulated memory: 3022520 KiB

[startup+117.501 s]
/proc/loadavg: 6.39 3.43 1.94 3/218 10003
/proc/meminfo: memFree=20933844/32770624 swapFree=66956484/67108860
[pid=9941] ppid=9938 vsize=113128 memory=1476 CPUtime=34.31 cores=0-7
/proc/9941/stat : 9941 (scop.sh) S 9938 9941 8819 0 -1 4202496 582 44847 0 0 0 0 3288 143 20 0 1 0 510121658 115843072 369 33554432000 4194304 5098028 140727062003120 140727061999864 139737315545724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18710528 140727062008612 140727062008940 140727062008940 140727062011853 0
/proc/9941/statm: 28282 369 311 221 0 87 0
[pid=9964] ppid=9941 vsize=8414124 memory=315980 CPUtime=695.64 cores=0-7
/proc/9964/stat : 9964 (java) S 9941 9941 8819 0 -1 1077944320 24535 5092685 0 0 215 18 68401 930 20 0 23 0 510123603 8616062976 78995 33554432000 4194304 4196468 140729443545520 140729443528064 139884633239287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
/proc/9964/statm: 2103531 78995 3230 1 0 2064875 0
[pid=9964/tid=9965] ppid=9941 vsize=8414124 memory=8112282956445269571 CPUtime=694.23 cores=0-7
/proc/9964/task/9965/stat : 9965 (java) S 9941 9941 8819 0 -1 1077944384 18099 5092685 0 0 81 11 68401 930 20 0 23 0 510123604 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884605079456 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9966] ppid=9941 vsize=8414124 memory=129408 CPUtime=693.31 cores=0-7
/proc/9964/task/9966/stat : 9966 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884637481616 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9967] ppid=9941 vsize=8414124 memory=2876356 CPUtime=693.31 cores=0-7
/proc/9964/task/9967/stat : 9967 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884468730384 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9968] ppid=9941 vsize=8414124 memory=800 CPUtime=693.31 cores=0-7
/proc/9964/task/9968/stat : 9968 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884117731728 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9969] ppid=9941 vsize=8414124 memory=1772 CPUtime=693.31 cores=0-7
/proc/9964/task/9969/stat : 9969 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884116678928 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9970] ppid=9941 vsize=8414124 memory=111632 CPUtime=693.31 cores=0-7
/proc/9964/task/9970/stat : 9970 (java) S 9941 9941 8819 0 -1 1077944384 3 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884115627152 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9971] ppid=9941 vsize=8414124 memory=0 CPUtime=693.31 cores=0-7
/proc/9964/task/9971/stat : 9971 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884114574352 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9972] ppid=9941 vsize=8414124 memory=279631228258384 CPUtime=693.31 cores=0-7
/proc/9964/task/9972/stat : 9972 (java) S 9941 9941 8819 0 -1 1077944384 2 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884113521552 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9973] ppid=9941 vsize=8414124 memory=139815613983868 CPUtime=693.31 cores=0-7
/proc/9964/task/9973/stat : 9973 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123605 8616062976 78995 33554432000 4194304 4196468 140729443545520 139884112468752 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9974] ppid=9941 vsize=8414124 memory=1808 CPUtime=693.31 cores=0-7
/proc/9964/task/9974/stat : 9974 (java) S 9941 9941 8819 0 -1 1077944384 9 5092685 0 0 0 0 68401 930 20 0 23 0 510123606 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883592006000 139884633250434 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9975] ppid=9941 vsize=8414124 memory=920 CPUtime=693.31 cores=0-7
/proc/9964/task/9975/stat : 9975 (java) S 9941 9941 8819 0 -1 1077944384 13 5092685 0 0 0 0 68401 930 20 0 23 0 510123607 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883259618336 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9976] ppid=9941 vsize=8414124 memory=4500 CPUtime=693.31 cores=0-7
/proc/9964/task/9976/stat : 9976 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123607 8616062976 78995 33554432000 4194304 4196468 140729443545520 139882991182704 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9977] ppid=9941 vsize=8414124 memory=1412 CPUtime=693.31 cores=0-7
/proc/9964/task/9977/stat : 9977 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 23 0 510123609 8616062976 78995 33554432000 4194304 4196468 140729443545520 139882616674128 139884633257883 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9978] ppid=9941 vsize=8414124 memory=3716 CPUtime=693.51 cores=0-7
/proc/9964/task/9978/stat : 9978 (java) S 9941 9941 8819 0 -1 1077944384 822 5092685 0 0 20 0 68401 930 20 0 23 0 510123609 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883590953840 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9979] ppid=9941 vsize=8414124 memory=291045324259328026 CPUtime=693.49 cores=0-7
/proc/9964/task/9979/stat : 9979 (java) S 9941 9941 8819 0 -1 1077944384 475 5092685 0 0 18 0 68401 930 20 0 23 0 510123610 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883589901040 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9980] ppid=9941 vsize=8414124 memory=288230583166042426 CPUtime=693.55 cores=0-7
/proc/9964/task/9980/stat : 9980 (java) S 9941 9941 8819 0 -1 1077944384 688 5092685 0 0 24 0 68401 930 20 0 23 0 510123610 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883588848240 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9981] ppid=9941 vsize=8414124 memory=14978858180937137 CPUtime=693.62 cores=0-7
/proc/9964/task/9981/stat : 9981 (java) S 9941 9941 8819 0 -1 1077944384 1233 5092685 0 0 31 0 68401 930 20 0 23 0 510123610 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883587795440 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9982] ppid=9941 vsize=8414124 memory=1420 CPUtime=693.31 cores=0-7
/proc/9964/task/9982/stat : 9982 (java) S 9941 9941 8819 0 -1 1077944384 3 5092685 0 0 0 0 68401 930 20 0 23 0 510123610 8616062976 78995 33554432000 4194304 4196468 140729443545520 139882118769248 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9983] ppid=9941 vsize=8414124 memory=1984 CPUtime=693.37 cores=0-7
/proc/9964/task/9983/stat : 9983 (java) S 9941 9941 8819 0 -1 1077944384 9 5092685 0 0 5 1 68401 930 20 0 23 0 510123610 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883586742832 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9985] ppid=9941 vsize=8414124 memory=2532 CPUtime=693.31 cores=0-7
/proc/9964/task/9985/stat : 9985 (java) S 9941 9941 8819 0 -1 1077944384 24 5092685 0 0 0 0 68401 930 20 0 23 0 510123692 8616062976 78995 33554432000 4194304 4196468 140729443545520 139883931193616 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9987] ppid=9941 vsize=8414124 memory=1440 CPUtime=693.67 cores=0-7
/proc/9964/task/9987/stat : 9987 (java) R 9941 9941 8819 0 -1 4202560 1813 5092685 0 0 32 4 68401 930 20 0 23 0 510123692 8616062976 78995 33554432000 4194304 4196468 140729443545520 139881447675904 139884139533684 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9989] ppid=9941 vsize=8414124 memory=1772 CPUtime=693.31 cores=0-7
/proc/9964/task/9989/stat : 9989 (java) S 9941 9941 8819 0 -1 1077944384 9 5092685 0 0 0 0 68401 930 20 0 23 0 510123694 8616062976 78995 33554432000 4194304 4196468 140729443545520 139881179241792 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
Current children cumulated CPU time: 729.95 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 317456 KiB

[startup+117.705 s]
/proc/loadavg: 6.39 3.43 1.94 3/218 10003
/proc/meminfo: memFree=20933844/32770624 swapFree=66956484/67108860
[pid=9941] ppid=9938 vsize=113128 memory=1476 CPUtime=34.31 cores=0-7
/proc/9941/stat : 9941 (scop.sh) S 9938 9941 8819 0 -1 4202496 582 44847 0 0 0 0 3288 143 20 0 1 0 510121658 115843072 369 33554432000 4194304 5098028 140727062003120 140727061999864 139737315545724 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18710528 140727062008612 140727062008940 140727062008940 140727062011853 0
/proc/9941/statm: 28282 369 311 221 0 87 0
[pid=9964] ppid=9941 vsize=8283048 memory=328696 CPUtime=696.14 cores=0-7
/proc/9964/stat : 9964 (java) S 9941 9941 8819 0 -1 1077944320 26199 5092685 0 0 264 19 68401 930 20 0 22 0 510123603 8481841152 82174 33554432000 4194304 4196468 140729443545520 140729443528064 139884633239287 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
/proc/9964/statm: 2070762 82174 3239 1 0 2032106 0
[pid=9964/tid=9965] ppid=9941 vsize=8283048 memory=804 CPUtime=694.42 cores=0-7
/proc/9964/task/9965/stat : 9965 (java) R 9941 9941 8819 0 -1 4202560 18345 5092685 0 0 100 11 68401 930 20 0 22 0 510123604 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884605077600 139884140519484 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9966] ppid=9941 vsize=8283048 memory=1724 CPUtime=693.31 cores=0-7
/proc/9964/task/9966/stat : 9966 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884637481616 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9967] ppid=9941 vsize=8283048 memory=4108 CPUtime=693.31 cores=0-7
/proc/9964/task/9967/stat : 9967 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884468730384 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9968] ppid=9941 vsize=8283048 memory=1808 CPUtime=693.31 cores=0-7
/proc/9964/task/9968/stat : 9968 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884117731728 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9969] ppid=9941 vsize=8283048 memory=8444 CPUtime=693.31 cores=0-7
/proc/9964/task/9969/stat : 9969 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884116678928 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9970] ppid=9941 vsize=8283048 memory=6172 CPUtime=693.31 cores=0-7
/proc/9964/task/9970/stat : 9970 (java) S 9941 9941 8819 0 -1 1077944384 3 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884115627152 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9971] ppid=9941 vsize=8283048 memory=1124 CPUtime=693.31 cores=0-7
/proc/9964/task/9971/stat : 9971 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884114574352 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9972] ppid=9941 vsize=8283048 memory=14008 CPUtime=693.31 cores=0-7
/proc/9964/task/9972/stat : 9972 (java) S 9941 9941 8819 0 -1 1077944384 2 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884113521552 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9973] ppid=9941 vsize=8283048 memory=12024 CPUtime=693.31 cores=0-7
/proc/9964/task/9973/stat : 9973 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123605 8481841152 82174 33554432000 4194304 4196468 140729443545520 139884112468752 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9974] ppid=9941 vsize=8283048 memory=2124 CPUtime=693.31 cores=0-7
/proc/9964/task/9974/stat : 9974 (java) S 9941 9941 8819 0 -1 1077944384 9 5092685 0 0 0 0 68401 930 20 0 22 0 510123606 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883592006000 139884633250434 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9975] ppid=9941 vsize=8283048 memory=21932 CPUtime=693.31 cores=0-7
/proc/9964/task/9975/stat : 9975 (java) S 9941 9941 8819 0 -1 1077944384 13 5092685 0 0 0 0 68401 930 20 0 22 0 510123607 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883259618336 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9976] ppid=9941 vsize=8283048 memory=128892 CPUtime=693.31 cores=0-7
/proc/9964/task/9976/stat : 9976 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123607 8481841152 82174 33554432000 4194304 4196468 140729443545520 139882991182704 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9977] ppid=9941 vsize=8283048 memory=2765712 CPUtime=693.31 cores=0-7
/proc/9964/task/9977/stat : 9977 (java) S 9941 9941 8819 0 -1 1077944384 1 5092685 0 0 0 0 68401 930 20 0 22 0 510123609 8481841152 82174 33554432000 4194304 4196468 140729443545520 139882616674128 139884633257883 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9978] ppid=9941 vsize=8283048 memory=-4075877051373423740 CPUtime=693.58 cores=0-7
/proc/9964/task/9978/stat : 9978 (java) R 9941 9941 8819 0 -1 4202560 1140 5092685 0 0 27 0 68401 930 20 0 22 0 510123609 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883590941952 139884613939584 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9979] ppid=9941 vsize=8283048 memory=-7003737579269690708 CPUtime=693.55 cores=0-7
/proc/9964/task/9979/stat : 9979 (java) R 9941 9941 8819 0 -1 4202560 977 5092685 0 0 24 0 68401 930 20 0 22 0 510123610 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883589887608 139884611653304 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9980] ppid=9941 vsize=8283048 memory=3620 CPUtime=693.61 cores=0-7
/proc/9964/task/9980/stat : 9980 (java) R 9941 9941 8819 0 -1 4202560 948 5092685 0 0 30 0 68401 930 20 0 22 0 510123610 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883588846640 139884633260634 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9981] ppid=9941 vsize=8283048 memory=1476 CPUtime=693.72 cores=0-7
/proc/9964/task/9981/stat : 9981 (java) R 9941 9941 8819 0 -1 4202560 1571 5092685 0 0 41 0 68401 930 20 0 22 0 510123610 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883587793232 139884633251222 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9982] ppid=9941 vsize=8283048 memory=128892 CPUtime=693.31 cores=0-7
/proc/9964/task/9982/stat : 9982 (java) S 9941 9941 8819 0 -1 1077944384 3 5092685 0 0 0 0 68401 930 20 0 22 0 510123610 8481841152 82174 33554432000 4194304 4196468 140729443545520 139882118769248 139884633249493 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9983] ppid=9941 vsize=8283048 memory=2731256 CPUtime=693.37 cores=0-7
/proc/9964/task/9983/stat : 9983 (java) S 9941 9941 8819 0 -1 1077944384 9 5092685 0 0 5 1 68401 930 20 0 22 0 510123610 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883586742832 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9985] ppid=9941 vsize=8283048 memory=291045324259328026 CPUtime=693.31 cores=0-7
/proc/9964/task/9985/stat : 9985 (java) S 9941 9941 8819 0 -1 1077944384 24 5092685 0 0 0 0 68401 930 20 0 22 0 510123692 8481841152 82174 33554432000 4194304 4196468 140729443545520 139883931193616 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
[pid=9964/tid=9989] ppid=9941 vsize=8283048 memory=288230583166042426 CPUtime=693.31 cores=0-7
/proc/9964/task/9989/stat : 9989 (java) S 9941 9941 8819 0 -1 1077944384 13 5092685 0 0 0 0 68401 930 20 0 22 0 510123694 8481841152 82174 33554432000 4194304 4196468 140729443545520 139881179243824 139884633250434 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16551936 140729443550200 140729443550358 140729443550358 140729443553231 0
Current children cumulated CPU time: 730.45 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 330172 KiB

Child status: 0
Real time (s): 117.752
CPU time (s): 730.628
CPU user time (s): 719.653
CPU system time (s): 10.9747
CPU usage (%): 620.477
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6014340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 719.653
system time used= 10.9747
maximum resident set size= 6013876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5164575
page faults= 0
swaps= 0
block input operations= 0
block output operations= 122272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60528
involuntary context switches= 6792


# summary of solver processes directly reported to runsolver:
#   pid: 9941
#   total CPU time (s): 730.628
#   total CPU user time (s): 719.653
#   total CPU system time (s): 10.9747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04596 second user time and 1.58052 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 17:21:03
IDJOB=4405502
IDBENCH=128127
IDSOLVER=2868
FILE ID=node151/4405502-1569338503
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-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-4405502-1569338503/watcher-4405502-1569338503 -o /tmp/evaluation-result-4405502-1569338503/solver-4405502-1569338503 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405502-1569338503.xml

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

MD5SUM BENCH= 551365d3bcc7e6d8199baaf77d133a5e
RANDOM SEED=1193125568

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23376392 kB
MemAvailable:   31795156 kB
Buffers:           88712 kB
Cached:          8490616 kB
SwapCached:        50756 kB
Active:          2726484 kB
Inactive:        5907548 kB
Active(anon):       1956 kB
Inactive(anon):   107572 kB
Active(file):    2724528 kB
Inactive(file):  5799976 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956484 kB
Dirty:             20860 kB
Writeback:             0 kB
AnonPages:        117704 kB
Mapped:            53924 kB
Shmem:             45948 kB
Slab:             351892 kB
SReclaimable:     322720 kB
SUnreclaim:        29172 kB
KernelStack:        3728 kB
PageTables:         5704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

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