Trace number 4392601

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-65-10.xml
MD5SUMc4baa3ff261117e16f7eeec964fc150b
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 benchmark1.89381
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1395
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree68
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":19},"...",{"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":3}, {"degree":68,"count":71}]
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":50,"count":1},{"arity":53,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":62,"count":1},{"arity":65,"count":1},{"arity":68,"count":1},{"arity":71,"count":1},{"arity":72,"count":1},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":1},{"arity":78,"count":1},{"arity":80,"count":4},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":2},{"arity":86,"count":3},{"arity":88,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1194},{"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-22658-serial-file.bin HOME/instance-4392601-1568430874.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 05:13:55 CEST 2019
0.66/0.57	c PID: 22661
0.66/0.57	c IP: 172.20.3.135
0.66/0.57	c HOST: node135.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.00/1.40	c (0,0) Parsing End
3.34/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1395 ctr, max domain size 25
3.34/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.34/1.41	c (0,0) Constraint Name Generate Begin
3.34/1.43	c (0,0) Ctr:HOME/instance-4392601-1568430874.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.34/1.43	c (0,0) Constraint Name Generate End
3.34/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.34/1.43	c (0,0) CSP to CSPinCNF Begin
11.83/4.73	c (4,4) translated 140 (10%) constraints
12.50/5.33	c (4,4) translated 279 (20%) constraints
12.50/5.35	c (4,4) translated 419 (30%) constraints
12.50/5.37	c (4,4) translated 558 (40%) constraints
12.50/5.39	c (4,4) translated 698 (50%) constraints
12.89/5.41	c (4,4) translated 837 (60%) constraints
12.89/5.42	c (4,4) translated 977 (70%) constraints
12.89/5.44	c (4,4) translated 1116 (80%) constraints
14.72/6.84	c (6,6) translated 1256 (90%) constraints
16.55/8.62	c (8,8) translated 1395 (100%) constraints
16.55/8.64	c (8,8) ===========================================
16.55/8.69	c (8,8) Hybrid: #OE=10800, #LE=6000
16.55/8.69	c (8,8) Hybrid
16.55/8.69	c (8,8) ===========================================
17.77/9.28	c (8,8) translated 5802 (10%) constraints
18.22/9.53	c (8,8) translated 11604 (20%) constraints
18.59/9.67	c (9,9) translated 17406 (30%) constraints
18.79/9.80	c (9,9) translated 23208 (40%) constraints
18.89/9.93	c (9,9) translated 29010 (50%) constraints
18.99/10.06	c (9,9) translated 34812 (60%) constraints
19.10/10.18	c (9,9) translated 40614 (70%) constraints
19.29/10.31	c (9,9) translated 46416 (80%) constraints
19.39/10.44	c (9,9) translated 52218 (90%) constraints
20.72/11.62	c (11,11) translated 58019 (100%) constraints
20.72/11.63	c (11,11) CSP to CSPinCNF End
20.72/11.64	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 68044 ctr, max domain size 25
20.72/11.64	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.72/11.64	c (11,11) CSPinCNF Propagation Begin
22.01/12.35	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.01/12.35	c (11,11) CSPinCNF Propagation End
22.01/12.36	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67644 ctr, max domain size 25
22.01/12.36	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.27/12.41	c (11,11) Hybrid: #OE=15800, #LE=6000
22.27/12.41	c (11,11) Simplify CSPinCNF Begin
22.72/12.61	c (12,12) Simplify CSPinCNF End
22.72/12.61	c (12,12) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67644 ctr, max domain size 25
22.72/12.61	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.72/12.61	c (12,12) Calculate Precise Domain Begin
22.72/12.61	c (12,12) 0 values are removed by re-calculation
22.72/12.61	c (12,12) Calculate Precise Domain End
22.72/12.62	c (12,12) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67644 ctr, max domain size 25
22.72/12.62	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.72/12.62	c (12,12) CSPinCNF to SatSolver Begin
25.17/13.56	c (13,12) 6765 (10 %) CSP clauses are encoded (0 SAT variables, 218564 SAT clauses)
25.96/13.72	c (13,13) 13529 (20 %) CSP clauses are encoded (0 SAT variables, 225328 SAT clauses)
26.30/13.80	c (13,13) 20294 (30 %) CSP clauses are encoded (0 SAT variables, 232093 SAT clauses)
26.63/13.91	c (13,13) 27058 (40 %) CSP clauses are encoded (0 SAT variables, 238857 SAT clauses)
26.63/13.99	c (13,13) 33822 (50 %) CSP clauses are encoded (0 SAT variables, 245621 SAT clauses)
26.77/14.07	c (13,13) 40587 (60 %) CSP clauses are encoded (0 SAT variables, 252386 SAT clauses)
26.87/14.15	c (13,13) 47351 (70 %) CSP clauses are encoded (0 SAT variables, 259150 SAT clauses)
26.96/14.23	c (13,13) 54116 (80 %) CSP clauses are encoded (0 SAT variables, 265915 SAT clauses)
27.06/14.31	c (13,13) 60880 (90 %) CSP clauses are encoded (0 SAT variables, 272679 SAT clauses)
31.87/17.96	c (17,17) 67644 (100 %) CSP clauses are encoded (0 SAT variables, 2353328 SAT clauses)
31.87/17.99	c (17,17) CSPinCNF to SatSolver End
31.87/17.99	c (17,17) Heap : 3542 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.87/17.99	c (17,17) 809545 bool, 2369205 clause
31.87/17.99	c (17,17) Export Begin
32.22/18.20	c (17,17) Export to HOME/scop-22658-serial-file.bin
32.22/18.20	c (17,17) Export End
32.47/18.20	c (17,17) Export File Size: 0.47 MB
32.47/18.20	c (17,17) 0,0,11,11,12,12,17,STOP-AFTER(DIMACS)
32.47/18.20	c END-Prog: Sat Sep 14 05:14:12 CEST 2019
32.47/18.24	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-22658-serial-file.bin
32.51/18.70	c (0,0) Read Serial File Begin
32.51/18.70	c (0,0) HOME/scop-22658-serial-file.bin
33.76/19.06	c (0,0) Read Serial File End
34.08/19.16	
34.08/19.16	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
34.08/19.16	(Solving Process)
34.08/19.16	
34.08/19.16	c BEGIN-Prog: Sat Sep 14 05:14:13 CEST 2019
34.08/19.16	c PID: 22683
34.08/19.16	c IP: 172.20.3.135
34.08/19.16	c HOST: node135.alineos.net
34.08/19.16	c (0,0) SatSolver.solve Begin
34.08/19.16	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392601-1568430874.xml-scop-22661.cnf
34.08/19.16	c (0,0) c
34.08/19.16	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)
34.08/19.16	c (0,0) c
34.08/19.16	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
34.08/19.16	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
34.08/19.16	c (0,0) c ========================================[ Problem Statistics ]===========================================
34.08/19.16	c (0,0) c |                                                                                                       |
35.32/20.21	c (1,0) c |  Number of variables:        809545                                                                   |
35.32/20.21	c (1,0) c |  Number of clauses:         2368369                                                                   |
35.32/20.21	c (1,0) c |  Parse time:                   0.93 s                                                                 |
35.32/20.21	c (1,0) c |                                                                                                       |
36.93/21.83	c (3,0) c |  Simplification time:          1.57 s                                                                 |
36.93/21.83	c (3,0) c |                                                                                                       |
36.93/21.83	c (3,0) c |  Generating clones                                                                                    |
38.02/22.93	c (4,0) c |  all clones generated. Memory =  2159.05Mb.                                                           |
38.02/22.93	c (4,0) c ========================================================================================================|
38.02/22.94	c (4,0) c
38.02/22.94	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
38.02/22.94	c (4,0) c
38.02/22.94	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.02/22.94	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.02/22.94	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.02/22.94	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
38.02/22.94	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
38.02/22.94	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
38.02/22.94	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
38.02/22.94	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
38.02/22.94	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
38.02/22.94	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
38.02/22.94	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
38.02/22.94	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
38.02/22.94	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
38.02/22.94	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
38.02/22.94	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
38.02/22.94	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
38.02/22.94	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
38.02/22.94	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
38.02/22.94	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c
117.72/33.87	c (15,0) c real time : 14.7442 s
117.72/33.87	c (15,0) c cpu time  : 80.7984 s
117.72/33.87	c (15,0) c
117.72/33.87	c (15,0) c
117.72/33.87	c (15,0) c
117.72/33.87	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
117.72/33.87	c (15,0) c
117.72/33.87	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
117.72/33.87	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c | Conflicts     |          172669 |      12244 |      21553 |      15046 |      21247 |      14297 |      19826 |      28351 |      40105 |
117.72/33.87	c (15,0) c | Decisions     |         6923325 |    1142195 |     296673 |    1134114 |     819813 |     791128 |     867862 |    1124448 |     747092 |
117.72/33.87	c (15,0) c | Propagations  |       257304348 |   30047385 |   29868559 |   30784438 |   32276880 |   32588591 |   32525951 |   34022202 |   35190342 |
117.72/33.87	c (15,0) c | ReduceDBs     |              26 |          2 |          3 |          3 |          3 |          3 |          3 |          4 |          5 |
117.72/33.87	c (15,0) c | SimpDBs       |              24 |          3 |          2 |          3 |          2 |          3 |          3 |          3 |          5 |
117.72/33.87	c (15,0) c | Restarts      |             316 |         17 |         31 |         32 |         47 |         59 |         47 |         29 |         54 |
117.72/33.87	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
117.72/33.87	c (15,0) c | PropBinClauses|        59529555 |    5808730 |    7351744 |    6364521 |    7798628 |    7525840 |    7045792 |    8315002 |    9319298 |
117.72/33.87	c (15,0) c | PropPreBlocker|       594264767 |   72951218 |   69127961 |   70437784 |   75297893 |   72208565 |   73493103 |   79292700 |   81455543 |
117.72/33.87	c (15,0) c | PropNotBlocker|       292577540 |   33859847 |   34619089 |   34919910 |   37327784 |   36759108 |   36485548 |   37345496 |   41260758 |
117.72/33.87	c (15,0) c | LitFullScans  |      1377905049 |  161229492 |  156020499 |  161223402 |  166766465 |  168031714 |  169856555 |  184670386 |  210106536 |
117.72/33.87	c (15,0) c | LitScanFracts |          392548 |      44649 |       9582 |      49838 |      11378 |      23877 |      41871 |     116994 |      94359 |
117.72/33.87	c (15,0) c | DecisionLevel0|             325 |         18 |         31 |         33 |         47 |         60 |         48 |         30 |         58 |
117.72/33.87	c (15,0) c | Periods       |             226 |         26 |         26 |         26 |         27 |         28 |         28 |         30 |         35 |
117.72/33.87	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
117.72/33.87	c (15,0) c | Avg_Trail     |                 |      49235 |      38095 |      30094 |      21720 |      28971 |      44028 |      38899 |      34894 |
117.72/33.87	c (15,0) c | Avg_DL        |                 |       2992 |        307 |        645 |        432 |        841 |        514 |        565 |        379 |
117.72/33.87	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
117.72/33.87	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
117.72/33.87	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c | Exported      |           39148 |       1940 |       5390 |       3247 |       4772 |       3427 |       4169 |       6936 |       9267 |
117.72/33.87	c (15,0) c | Imported      |           20590 |        431 |        386 |        290 |       1138 |       2883 |       2796 |       4286 |       8380 |
117.72/33.87	c (15,0) c | Good          |            3108 |        183 |        160 |        130 |        237 |        368 |        344 |        567 |       1119 |
117.72/33.87	c (15,0) c | Purge         |           17482 |        248 |        226 |        160 |        901 |       2515 |       2452 |       3719 |       7261 |
117.72/33.87	c (15,0) c | Promoted      |              45 |          0 |          2 |          0 |          0 |          0 |         11 |          5 |         27 |
117.72/33.87	c (15,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
117.72/33.87	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
117.72/33.87	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c | Unaries       |                 |          1 |          0 |          1 |          0 |          1 |          1 |          1 |          4 |
117.72/33.87	c (15,0) c | Binaries      |                 |        210 |        188 |        437 |        481 |        579 |        220 |        217 |        362 |
117.72/33.87	c (15,0) c | Glues         |                 |        399 |        847 |        887 |       1206 |       1226 |        824 |        934 |       1782 |
117.72/33.87	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c | Orig_Seen     |             2 % |      39952 |      36102 |      61321 |      57691 |      55101 |      51269 |      39407 |      38957 |
117.72/33.87	c (15,0) c | Diff Orig seen|                 | -    21369 | -    25219 |      X     | -     3630 | -     6220 | -    10052 | -    21914 | -    22364 |
117.72/33.87	c (15,0) c | Hamming       |            24 % |     216562 |     171283 |      X     |     194055 |     210658 |     159471 |     206567 |     203511 |
117.72/33.87	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c | RunningTime   |                 |   10.9 100%|   10.4 100%|   10.0 100%|   10.1 100%|   10.1 100%|   10.1 100%|   10.0 100%|   10.2 100%|
117.72/33.87	c (15,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
117.72/33.87	c (15,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
117.72/33.87	c (15,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%|
117.72/33.87	c (15,0) c | SolvingTime   |                 |   10.9     |   10.4     |   10.0     |   10.1     |   10.1     |   10.1     |   10.0     |   10.2     |
117.72/33.87	c (15,0) c | PropagationTim|                 |    9.7  89%|    9.2  88%|    8.7  87%|    8.7  86%|    8.7  87%|    8.6  86%|    8.6  85%|    8.6  84%|
117.72/33.87	c (15,0) c | AnalysisTime  |                 |    0.2   2%|    0.4   4%|    0.3   3%|    0.3   3%|    0.3   3%|    0.4   4%|    0.5   5%|    0.5   5%|
117.72/33.87	c (15,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
117.72/33.87	c (15,0) c | SimplifyTime  |                 |    0.1   1%|    0.0   0%|    0.1   1%|    0.0   0%|    0.1   1%|    0.1   1%|    0.1   1%|    0.2   2%|
117.72/33.87	c (15,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%|
117.72/33.87	c (15,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%|
117.72/33.87	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.87	c (15,0) c
117.72/33.87	c (15,0) c
117.72/33.87	c (15,0) c Threads : 8
117.72/33.87	c (15,0) c Winner : 2
117.72/33.87	c (15,0) c Conflicts_0 : 12244
117.72/33.87	c (15,0) c Conflicts_1 : 21553
117.72/33.87	c (15,0) c Conflicts_2 : 15046
117.72/33.87	c (15,0) c Conflicts_3 : 21247
117.72/33.87	c (15,0) c Conflicts_4 : 14297
117.72/33.87	c (15,0) c Conflicts_5 : 19826
117.72/33.87	c (15,0) c Conflicts_6 : 28351
117.72/33.87	c (15,0) c Conflicts_7 : 40105
117.72/33.87	c (15,0) c Conflicts_total : 172669
117.72/33.87	c (15,0) c Conflicts_winner : 15046
117.72/33.87	c (15,0) c Decisions_0 : 1142195
117.72/33.87	c (15,0) c Decisions_1 : 296673
117.72/33.87	c (15,0) c Decisions_2 : 1134114
117.72/33.87	c (15,0) c Decisions_3 : 819813
117.72/33.87	c (15,0) c Decisions_4 : 791128
117.72/33.87	c (15,0) c Decisions_5 : 867862
117.72/33.87	c (15,0) c Decisions_6 : 1124448
117.72/33.87	c (15,0) c Decisions_7 : 747092
117.72/33.87	c (15,0) c Decisions_total : 6923325
117.72/33.87	c (15,0) c Decisions_winner : 1134114
117.72/33.87	c (15,0) c Propagations_0 : 30047385
117.72/33.87	c (15,0) c Propagations_1 : 29868559
117.72/33.87	c (15,0) c Propagations_2 : 30784438
117.72/33.87	c (15,0) c Propagations_3 : 32276880
117.72/33.87	c (15,0) c Propagations_4 : 32588591
117.72/33.87	c (15,0) c Propagations_5 : 32525951
117.72/33.87	c (15,0) c Propagations_6 : 34022202
117.72/33.87	c (15,0) c Propagations_7 : 35190342
117.72/33.87	c (15,0) c Propagations_total : 257304348
117.72/33.87	c (15,0) c Propagations_winner : 30784438
117.72/33.87	c (15,0) c ReduceDBs_0 : 2
117.72/33.87	c (15,0) c ReduceDBs_1 : 3
117.72/33.87	c (15,0) c ReduceDBs_2 : 3
117.72/33.87	c (15,0) c ReduceDBs_3 : 3
117.72/33.87	c (15,0) c ReduceDBs_4 : 3
117.72/33.87	c (15,0) c ReduceDBs_5 : 3
117.72/33.87	c (15,0) c ReduceDBs_6 : 4
117.72/33.87	c (15,0) c ReduceDBs_7 : 5
117.72/33.87	c (15,0) c ReduceDBs_total : 26
117.72/33.87	c (15,0) c ReduceDBs_winner : 3
117.72/33.87	c (15,0) c SimpDBs_0 : 3
117.72/33.87	c (15,0) c SimpDBs_1 : 2
117.72/33.87	c (15,0) c SimpDBs_2 : 3
117.72/33.87	c (15,0) c SimpDBs_3 : 2
117.72/33.87	c (15,0) c SimpDBs_4 : 3
117.72/33.87	c (15,0) c SimpDBs_5 : 3
117.72/33.87	c (15,0) c SimpDBs_6 : 3
117.72/33.87	c (15,0) c SimpDBs_7 : 5
117.72/33.87	c (15,0) c SimpDBs_total : 24
117.72/33.87	c (15,0) c SimpDBs_winner : 3
117.72/33.87	c (15,0) c Restarts_0 : 17
117.72/33.87	c (15,0) c Restarts_1 : 31
117.72/33.87	c (15,0) c Restarts_2 : 32
117.72/33.87	c (15,0) c Restarts_3 : 47
117.72/33.87	c (15,0) c Restarts_4 : 59
117.72/33.87	c (15,0) c Restarts_5 : 47
117.72/33.87	c (15,0) c Restarts_6 : 29
117.72/33.87	c (15,0) c Restarts_7 : 54
117.72/33.87	c (15,0) c Restarts_total : 316
117.72/33.87	c (15,0) c Restarts_winner : 32
117.72/33.87	c (15,0) c ForcedImports_0 : 0
117.72/33.87	c (15,0) c ForcedImports_1 : 0
117.72/33.87	c (15,0) c ForcedImports_2 : 0
117.72/33.87	c (15,0) c ForcedImports_3 : 0
117.72/33.87	c (15,0) c ForcedImports_4 : 0
117.72/33.87	c (15,0) c ForcedImports_5 : 0
117.72/33.87	c (15,0) c ForcedImports_6 : 0
117.72/33.87	c (15,0) c ForcedImports_7 : 0
117.72/33.87	c (15,0) c ForcedImports_total : 0
117.72/33.87	c (15,0) c ForcedImports_winner : 0
117.72/33.87	c (15,0) c PropsBinClauses_0 : 5808730
117.72/33.87	c (15,0) c PropsBinClauses_1 : 7351744
117.72/33.87	c (15,0) c PropsBinClauses_2 : 6364521
117.72/33.87	c (15,0) c PropsBinClauses_3 : 7798628
117.72/33.87	c (15,0) c PropsBinClauses_4 : 7525840
117.72/33.87	c (15,0) c PropsBinClauses_5 : 7045792
117.72/33.87	c (15,0) c PropsBinClauses_6 : 8315002
117.72/33.87	c (15,0) c PropsBinClauses_7 : 9319298
117.72/33.87	c (15,0) c PropsBinClauses_total : 59529555
117.72/33.87	c (15,0) c PropsBinClauses_winner : 6364521
117.72/33.87	c (15,0) c PropsPreBlocker_0 : 72951218
117.72/33.87	c (15,0) c PropsPreBlocker_1 : 69127961
117.72/33.87	c (15,0) c PropsPreBlocker_2 : 70437784
117.72/33.87	c (15,0) c PropsPreBlocker_3 : 75297893
117.72/33.87	c (15,0) c PropsPreBlocker_4 : 72208565
117.72/33.87	c (15,0) c PropsPreBlocker_5 : 73493103
117.72/33.87	c (15,0) c PropsPreBlocker_6 : 79292700
117.72/33.87	c (15,0) c PropsPreBlocker_7 : 81455543
117.72/33.87	c (15,0) c PropsPreBlocker_total : 594264767
117.72/33.87	c (15,0) c PropsPreBlocker_winner : 70437784
117.72/33.87	c (15,0) c PropsNotBlocker_0 : 33859847
117.72/33.87	c (15,0) c PropsNotBlocker_1 : 34619089
117.72/33.87	c (15,0) c PropsNotBlocker_2 : 34919910
117.72/33.87	c (15,0) c PropsNotBlocker_3 : 37327784
117.72/33.87	c (15,0) c PropsNotBlocker_4 : 36759108
117.72/33.87	c (15,0) c PropsNotBlocker_5 : 36485548
117.72/33.87	c (15,0) c PropsNotBlocker_6 : 37345496
117.72/33.87	c (15,0) c PropsNotBlocker_7 : 41260758
117.72/33.87	c (15,0) c PropsNotBlocker_total : 292577540
117.72/33.87	c (15,0) c PropsNotBlocker_winner : 34919910
117.72/33.87	c (15,0) c PropsLitFullScans_0 : 161229492
117.72/33.87	c (15,0) c PropsLitFullScans_1 : 156020499
117.72/33.87	c (15,0) c PropsLitFullScans_2 : 161223402
117.72/33.87	c (15,0) c PropsLitFullScans_3 : 166766465
117.72/33.87	c (15,0) c PropsLitFullScans_4 : 168031714
117.72/33.87	c (15,0) c PropsLitFullScans_5 : 169856555
117.72/33.87	c (15,0) c PropsLitFullScans_6 : 184670386
117.72/33.87	c (15,0) c PropsLitFullScans_7 : 210106536
117.72/33.87	c (15,0) c PropsLitFullScans_total : 1377905049
117.72/33.87	c (15,0) c PropsLitFullScans_winner : 161223402
117.72/33.87	c (15,0) c LitScanFractions_0 : 44649
117.72/33.87	c (15,0) c LitScanFractions_1 : 9582
117.72/33.87	c (15,0) c LitScanFractions_2 : 49838
117.72/33.87	c (15,0) c LitScanFractions_3 : 11378
117.72/33.87	c (15,0) c LitScanFractions_4 : 23877
117.72/33.87	c (15,0) c LitScanFractions_5 : 41871
117.72/33.87	c (15,0) c LitScanFractions_6 : 116994
117.72/33.87	c (15,0) c LitScanFractions_7 : 94359
117.72/33.87	c (15,0) c LitScanFractions_total : 392548
117.72/33.87	c (15,0) c LitScanFractions_winner : 49838
117.72/33.87	c (15,0) c DecisionLevel0_0 : 18
117.72/33.87	c (15,0) c DecisionLevel0_1 : 31
117.72/33.87	c (15,0) c DecisionLevel0_2 : 33
117.72/33.87	c (15,0) c DecisionLevel0_3 : 47
117.72/33.87	c (15,0) c DecisionLevel0_4 : 60
117.72/33.87	c (15,0) c DecisionLevel0_5 : 48
117.72/33.87	c (15,0) c DecisionLevel0_6 : 30
117.72/33.87	c (15,0) c DecisionLevel0_7 : 58
117.72/33.87	c (15,0) c DecisionLevel0_total : 325
117.72/33.87	c (15,0) c DecisionLevel0_winner : 33
117.72/33.87	c (15,0) c Periods_0 : 26
117.72/33.87	c (15,0) c Periods_1 : 26
117.72/33.87	c (15,0) c Periods_2 : 26
117.72/33.88	c (15,0) c Periods_3 : 27
117.72/33.88	c (15,0) c Periods_4 : 28
117.72/33.88	c (15,0) c Periods_5 : 28
117.72/33.88	c (15,0) c Periods_6 : 30
117.72/33.88	c (15,0) c Periods_7 : 35
117.72/33.88	c (15,0) c Periods_total : 226
117.72/33.88	c (15,0) c Periods_winner : 26
117.72/33.88	c (15,0) c Margin_0 : 20
117.72/33.88	c (15,0) c Margin_1 : 20
117.72/33.88	c (15,0) c Margin_2 : 20
117.72/33.88	c (15,0) c Margin_3 : 20
117.72/33.88	c (15,0) c Margin_4 : 20
117.72/33.88	c (15,0) c Margin_5 : 20
117.72/33.88	c (15,0) c Margin_6 : 20
117.72/33.88	c (15,0) c Margin_7 : 20
117.72/33.88	c (15,0) c Margin_total : 160
117.72/33.88	c (15,0) c Margin_winner : 20
117.72/33.88	c (15,0) c Exported_0 : 1940
117.72/33.88	c (15,0) c Exported_1 : 5390
117.72/33.88	c (15,0) c Exported_2 : 3247
117.72/33.88	c (15,0) c Exported_3 : 4772
117.72/33.88	c (15,0) c Exported_4 : 3427
117.72/33.88	c (15,0) c Exported_5 : 4169
117.72/33.88	c (15,0) c Exported_6 : 6936
117.72/33.88	c (15,0) c Exported_7 : 9267
117.72/33.88	c (15,0) c Exported_total : 39148
117.72/33.88	c (15,0) c Exported_winner : 3247
117.72/33.88	c (15,0) c Imported_0 : 431
117.72/33.88	c (15,0) c Imported_1 : 386
117.72/33.88	c (15,0) c Imported_2 : 290
117.72/33.88	c (15,0) c Imported_3 : 1138
117.72/33.88	c (15,0) c Imported_4 : 2883
117.72/33.88	c (15,0) c Imported_5 : 2796
117.72/33.88	c (15,0) c Imported_6 : 4286
117.72/33.88	c (15,0) c Imported_7 : 8380
117.72/33.88	c (15,0) c Imported_total : 20590
117.72/33.88	c (15,0) c Imported_winner : 290
117.72/33.88	c (15,0) c Good_0 : 183
117.72/33.88	c (15,0) c Good_1 : 160
117.72/33.88	c (15,0) c Good_2 : 130
117.72/33.88	c (15,0) c Good_3 : 237
117.72/33.88	c (15,0) c Good_4 : 368
117.72/33.88	c (15,0) c Good_5 : 344
117.72/33.88	c (15,0) c Good_6 : 567
117.72/33.88	c (15,0) c Good_7 : 1119
117.72/33.88	c (15,0) c Good_total : 3108
117.72/33.88	c (15,0) c Good_winner : 130
117.72/33.88	c (15,0) c Purge_0 : 248
117.72/33.88	c (15,0) c Purge_1 : 226
117.72/33.88	c (15,0) c Purge_2 : 160
117.72/33.88	c (15,0) c Purge_3 : 901
117.72/33.88	c (15,0) c Purge_4 : 2515
117.72/33.88	c (15,0) c Purge_5 : 2452
117.72/33.88	c (15,0) c Purge_6 : 3719
117.72/33.88	c (15,0) c Purge_7 : 7261
117.72/33.88	c (15,0) c Purge_total : 17482
117.72/33.88	c (15,0) c Purge_winner : 160
117.72/33.88	c (15,0) c Promoted_0 : 0
117.72/33.88	c (15,0) c Promoted_1 : 2
117.72/33.88	c (15,0) c Promoted_2 : 0
117.72/33.88	c (15,0) c Promoted_3 : 0
117.72/33.88	c (15,0) c Promoted_4 : 0
117.72/33.88	c (15,0) c Promoted_5 : 11
117.72/33.88	c (15,0) c Promoted_6 : 5
117.72/33.88	c (15,0) c Promoted_7 : 27
117.72/33.88	c (15,0) c Promoted_total : 45
117.72/33.88	c (15,0) c Promoted_winner : 0
117.72/33.88	c (15,0) c Remove_Imp_0 : 0
117.72/33.88	c (15,0) c Remove_Imp_1 : 0
117.72/33.88	c (15,0) c Remove_Imp_2 : 0
117.72/33.88	c (15,0) c Remove_Imp_3 : 0
117.72/33.88	c (15,0) c Remove_Imp_4 : 0
117.72/33.88	c (15,0) c Remove_Imp_5 : 0
117.72/33.88	c (15,0) c Remove_Imp_6 : 0
117.72/33.88	c (15,0) c Remove_Imp_7 : 0
117.72/33.88	c (15,0) c Remove_Imp_total : 0
117.72/33.88	c (15,0) c Remove_Imp_winner : 0
117.72/33.88	c (15,0) c Blocked_Reuse_0 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_1 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_2 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_3 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_4 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_5 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_6 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_7 : 0
117.72/33.88	c (15,0) c Blocked_Reuse_total : 0
117.72/33.88	c (15,0) c Blocked_Reuse_winner : 0
117.72/33.88	c (15,0) c Unaries_0 : 1
117.72/33.88	c (15,0) c Unaries_1 : 0
117.72/33.88	c (15,0) c Unaries_2 : 1
117.72/33.88	c (15,0) c Unaries_3 : 0
117.72/33.88	c (15,0) c Unaries_4 : 1
117.72/33.88	c (15,0) c Unaries_5 : 1
117.72/33.88	c (15,0) c Unaries_6 : 1
117.72/33.88	c (15,0) c Unaries_7 : 4
117.72/33.88	c (15,0) c Unaries_total : 9
117.72/33.88	c (15,0) c Unaries_winner : 1
117.72/33.88	c (15,0) c Binaries_0 : 210
117.72/33.88	c (15,0) c Binaries_1 : 188
117.72/33.88	c (15,0) c Binaries_2 : 437
117.72/33.88	c (15,0) c Binaries_3 : 481
117.72/33.88	c (15,0) c Binaries_4 : 579
117.72/33.88	c (15,0) c Binaries_5 : 220
117.72/33.88	c (15,0) c Binaries_6 : 217
117.72/33.88	c (15,0) c Binaries_7 : 362
117.72/33.88	c (15,0) c Binaries_total : 2694
117.72/33.88	c (15,0) c Binaries_winner : 437
117.72/33.88	c (15,0) c Glues_0 : 399
117.72/33.88	c (15,0) c Glues_1 : 847
117.72/33.88	c (15,0) c Glues_2 : 887
117.72/33.88	c (15,0) c Glues_3 : 1206
117.72/33.88	c (15,0) c Glues_4 : 1226
117.72/33.88	c (15,0) c Glues_5 : 824
117.72/33.88	c (15,0) c Glues_6 : 934
117.72/33.88	c (15,0) c Glues_7 : 1782
117.72/33.88	c (15,0) c Glues_total : 8105
117.72/33.88	c (15,0) c Glues_winner : 887
117.72/33.88	c (15,0) c RunningTime_0 : 10.898251
117.72/33.88	c (15,0) c RunningTime_1 : 10.443117
117.72/33.88	c (15,0) c RunningTime_2 : 10.003972
117.72/33.88	c (15,0) c RunningTime_3 : 10.122825
117.72/33.88	c (15,0) c RunningTime_4 : 10.076997
117.72/33.88	c (15,0) c RunningTime_5 : 10.052215
117.72/33.88	c (15,0) c RunningTime_6 : 10.030907
117.72/33.88	c (15,0) c RunningTime_7 : 10.200327
117.72/33.88	c (15,0) c RunningTime_total : 81.828611
117.72/33.88	c (15,0) c RunningTime_winner : 10.003972
117.72/33.88	c (15,0) c WaitingTime_0 : 0.000009
117.72/33.88	c (15,0) c WaitingTime_1 : 0.000027
117.72/33.88	c (15,0) c WaitingTime_2 : 0.000015
117.72/33.88	c (15,0) c WaitingTime_3 : 0.000012
117.72/33.88	c (15,0) c WaitingTime_4 : 0.000014
117.72/33.88	c (15,0) c WaitingTime_5 : 0.000018
117.72/33.88	c (15,0) c WaitingTime_6 : 0.000023
117.72/33.88	c (15,0) c WaitingTime_7 : 0.000067
117.72/33.88	c (15,0) c WaitingTime_total : 0.000185
117.72/33.88	c (15,0) c WaitingTime_winner : 0.000015
117.72/33.88	c (15,0) c ExchangingTime_0 : 0.001948
117.72/33.88	c (15,0) c ExchangingTime_1 : 0.003189
117.72/33.88	c (15,0) c ExchangingTime_2 : 0.005069
117.72/33.88	c (15,0) c ExchangingTime_3 : 0.003985
117.72/33.88	c (15,0) c ExchangingTime_4 : 0.004504
117.72/33.88	c (15,0) c ExchangingTime_5 : 0.004297
117.72/33.88	c (15,0) c ExchangingTime_6 : 0.005978
117.72/33.88	c (15,0) c ExchangingTime_7 : 0.008662
117.72/33.88	c (15,0) c ExchangingTime_total : 0.037632
117.72/33.88	c (15,0) c ExchangingTime_winner : 0.005069
117.72/33.88	c (15,0) c PeriodProcTime_0 : 0.000385
117.72/33.88	c (15,0) c PeriodProcTime_1 : 0.000272
117.72/33.88	c (15,0) c PeriodProcTime_2 : 0.000330
117.72/33.88	c (15,0) c PeriodProcTime_3 : 0.000384
117.72/33.88	c (15,0) c PeriodProcTime_4 : 0.000324
117.72/33.88	c (15,0) c PeriodProcTime_5 : 0.000302
117.72/33.88	c (15,0) c PeriodProcTime_6 : 0.000608
117.72/33.88	c (15,0) c PeriodProcTime_7 : 0.000418
117.72/33.88	c (15,0) c PeriodProcTime_total : 0.003024
117.72/33.88	c (15,0) c PeriodProcTime_winner : 0.000330
117.72/33.88	c (15,0) c SolvingTime_0 : 10.900593
117.72/33.88	c (15,0) c SolvingTime_1 : 10.446604
117.72/33.88	c (15,0) c SolvingTime_2 : 10.009387
117.72/33.88	c (15,0) c SolvingTime_3 : 10.127206
117.72/33.88	c (15,0) c SolvingTime_4 : 10.081839
117.72/33.88	c (15,0) c SolvingTime_5 : 10.056833
117.72/33.88	c (15,0) c SolvingTime_6 : 10.037517
117.72/33.88	c (15,0) c SolvingTime_7 : 10.209474
117.72/33.88	c (15,0) c SolvingTime_total : 81.869453
117.72/33.88	c (15,0) c SolvingTime_winner : 10.009387
117.72/33.88	c (15,0) c PropagationTime_0 : 9.680937
117.72/33.88	c (15,0) c PropagationTime_1 : 9.178522
117.72/33.88	c (15,0) c PropagationTime_2 : 8.688877
117.72/33.88	c (15,0) c PropagationTime_3 : 8.743338
117.72/33.88	c (15,0) c PropagationTime_4 : 8.743898
117.72/33.88	c (15,0) c PropagationTime_5 : 8.641285
117.72/33.88	c (15,0) c PropagationTime_6 : 8.565637
117.72/33.88	c (15,0) c PropagationTime_7 : 8.616529
117.72/33.88	c (15,0) c PropagationTime_total : 70.859022
117.72/33.88	c (15,0) c PropagationTime_winner : 8.688877
117.72/33.88	c (15,0) c AnalysisTime_0 : 0.225240
117.72/33.88	c (15,0) c AnalysisTime_1 : 0.395632
117.72/33.88	c (15,0) c AnalysisTime_2 : 0.283127
117.72/33.88	c (15,0) c AnalysisTime_3 : 0.315306
117.72/33.88	c (15,0) c AnalysisTime_4 : 0.266467
117.72/33.88	c (15,0) c AnalysisTime_5 : 0.366238
117.72/33.88	c (15,0) c AnalysisTime_6 : 0.469640
117.72/33.88	c (15,0) c AnalysisTime_7 : 0.530388
117.72/33.88	c (15,0) c AnalysisTime_total : 2.852038
117.72/33.88	c (15,0) c AnalysisTime_winner : 0.283127
117.72/33.88	c (15,0) c ReductionTime_0 : 0.001781
117.72/33.88	c (15,0) c ReductionTime_1 : 0.003522
117.72/33.88	c (15,0) c ReductionTime_2 : 0.004398
117.72/33.88	c (15,0) c ReductionTime_3 : 0.003507
117.72/33.88	c (15,0) c ReductionTime_4 : 0.003647
117.72/33.88	c (15,0) c ReductionTime_5 : 0.003572
117.72/33.88	c (15,0) c ReductionTime_6 : 0.007709
117.72/33.88	c (15,0) c ReductionTime_7 : 0.012068
117.72/33.88	c (15,0) c ReductionTime_total : 0.040203
117.72/33.88	c (15,0) c ReductionTime_winner : 0.004398
117.72/33.88	c (15,0) c SimplifyTime_0 : 0.091573
117.72/33.88	c (15,0) c SimplifyTime_1 : 0.041036
117.72/33.88	c (15,0) c SimplifyTime_2 : 0.102824
117.72/33.88	c (15,0) c SimplifyTime_3 : 0.049320
117.72/33.88	c (15,0) c SimplifyTime_4 : 0.098776
117.72/33.88	c (15,0) c SimplifyTime_5 : 0.105127
117.72/33.88	c (15,0) c SimplifyTime_6 : 0.100032
117.72/33.88	c (15,0) c SimplifyTime_7 : 0.197184
117.72/33.88	c (15,0) c SimplifyTime_total : 0.785872
117.72/33.88	c (15,0) c SimplifyTime_winner : 0.102824
117.72/33.88	c (15,0) c UsedRateTime_0 : 0.000000
117.72/33.88	c (15,0) c UsedRateTime_1 : 0.000000
117.72/33.88	c (15,0) c UsedRateTime_2 : 0.000000
117.72/33.88	c (15,0) c UsedRateTime_3 : 0.000000
117.72/33.88	c (15,0) c UsedRateTime_4 : 0.000000
117.72/33.88	c (15,0) c UsedRateTime_5 : 0.000000
117.72/33.88	c (15,0) c UsedRateTime_6 : 0.000000
117.72/33.88	c (15,0) c UsedRateTime_7 : 0.000000
117.72/33.89	c (15,0) c UsedRateTime_total : 0.000000
117.72/33.89	c (15,0) c UsedRateTime_winner : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_0 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_1 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_2 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_3 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_4 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_5 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_6 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_7 : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_total : 0.000000
117.72/33.89	c (15,0) c OverlapRateTime_winner : 0.000000
117.72/33.89	c (15,0) c
117.72/33.89	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
117.72/33.89	c (15,0) c
117.72/33.89	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.89	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
117.72/33.89	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.89	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
117.72/33.89	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
117.72/33.89	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
117.72/33.89	c (15,0) c | Initial random_seed   | 1663513081 |  303346633 | 1788424985 |  603292447 | 1886544592 |  956821965 | 2122431554 | 1283589563 |
117.72/33.89	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
117.72/33.89	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
117.72/33.89	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
117.72/33.89	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
117.72/33.89	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
117.72/33.89	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
117.72/33.89	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
117.72/33.89	c (15,0) c | var_decay             |     0.8200 |     0.8400 |     0.8300 |     0.8400 |     0.8200 |     0.8300 |     0.8500 |     0.8800 |
117.72/33.89	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
117.72/33.89	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
117.72/33.89	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
117.72/33.89	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
117.72/33.89	c (15,0) 
117.72/33.89	c (15,0) s SATISFIABLE
118.64/34.31	c (15,0) SatSolver.solve End
118.64/34.31	c (15,0) Heap : 291 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
118.64/34.31	c (15,0) Show results Begin
119.09/34.51	c (15,0) cls[0] = 3
119.09/34.51	c (15,0) cls[1] = 13
119.09/34.51	c (15,0) cls[2] = 16
119.09/34.51	c (15,0) cls[3] = 16
119.09/34.51	c (15,0) cls[4] = 14
119.09/34.51	c (15,0) cls[5] = 22
119.09/34.51	c (15,0) cls[6] = 14
119.09/34.51	c (15,0) cls[7] = 4
119.09/34.51	c (15,0) cls[8] = 11
119.09/34.51	c (15,0) cls[9] = 4
119.09/34.51	c (15,0) cls[10] = 6
119.09/34.51	c (15,0) cls[11] = 2
119.09/34.51	c (15,0) cls[12] = 4
119.09/34.51	c (15,0) cls[13] = 13
119.09/34.51	c (15,0) cls[14] = 4
119.09/34.51	c (15,0) cls[15] = 13
119.09/34.51	c (15,0) cls[16] = 4
119.09/34.51	c (15,0) cls[17] = 12
119.09/34.51	c (15,0) cls[18] = 7
119.09/34.51	c (15,0) cls[19] = 4
119.09/34.51	c (15,0) cls[20] = 13
119.09/34.51	c (15,0) cls[21] = 4
119.09/34.51	c (15,0) cls[22] = 4
119.09/34.51	c (15,0) cls[23] = 18
119.09/34.51	c (15,0) cls[24] = 4
119.09/34.51	c (15,0) cls[25] = 4
119.09/34.51	c (15,0) cls[26] = 13
119.09/34.51	c (15,0) cls[27] = 19
119.09/34.51	c (15,0) cls[28] = 14
119.09/34.51	c (15,0) cls[29] = 4
119.09/34.51	c (15,0) cls[30] = 15
119.09/34.51	c (15,0) cls[31] = 13
119.09/34.51	c (15,0) cls[32] = 16
119.09/34.51	c (15,0) cls[33] = 16
119.09/34.51	c (15,0) cls[34] = 13
119.09/34.51	c (15,0) cls[35] = 4
119.09/34.51	c (15,0) cls[36] = 4
119.09/34.51	c (15,0) cls[37] = 16
119.09/34.51	c (15,0) cls[38] = 4
119.09/34.51	c (15,0) cls[39] = 5
119.09/34.51	c (15,0) cls[40] = 13
119.09/34.51	c (15,0) cls[41] = 15
119.09/34.51	c (15,0) cls[42] = 14
119.09/34.51	c (15,0) cls[43] = 4
119.09/34.51	c (15,0) cls[44] = 13
119.09/34.51	c (15,0) cls[45] = 4
119.09/34.51	c (15,0) cls[46] = 17
119.09/34.51	c (15,0) cls[47] = 6
119.09/34.51	c (15,0) cls[48] = 21
119.09/34.51	c (15,0) cls[49] = 11
119.09/34.51	c (15,0) cls[50] = 4
119.09/34.51	c (15,0) cls[51] = 14
119.09/34.51	c (15,0) cls[52] = 15
119.09/34.51	c (15,0) cls[53] = 13
119.09/34.51	c (15,0) cls[54] = 4
119.09/34.51	c (15,0) cls[55] = 16
119.09/34.51	c (15,0) cls[56] = 15
119.09/34.51	c (15,0) cls[57] = 14
119.09/34.51	c (15,0) cls[58] = 4
119.09/34.51	c (15,0) cls[59] = 8
119.09/34.51	c (15,0) cls[60] = 4
119.09/34.51	c (15,0) cls[61] = 4
119.09/34.51	c (15,0) cls[62] = 13
119.09/34.51	c (15,0) cls[63] = 16
119.09/34.51	c (15,0) cls[64] = 15
119.09/34.51	c (15,0) cls[65] = 21
119.09/34.51	c (15,0) cls[66] = 5
119.09/34.51	c (15,0) cls[67] = 13
119.09/34.51	c (15,0) cls[68] = 19
119.09/34.51	c (15,0) cls[69] = 4
119.09/34.51	c (15,0) cls[70] = 13
119.09/34.51	c (15,0) cls[71] = 15
119.09/34.51	c (15,0) cls[72] = 16
119.09/34.51	c (15,0) cls[73] = 20
119.09/34.51	c (15,0) cls[74] = 4
119.09/34.51	c (15,0) cls[75] = 13
119.09/34.51	c (15,0) cls[76] = 5
119.09/34.51	c (15,0) cls[77] = 13
119.09/34.51	c (15,0) cls[78] = 4
119.09/34.51	c (15,0) cls[79] = 15
119.09/34.51	c (15,0) cls[80] = 14
119.09/34.51	c (15,0) cls[81] = 4
119.09/34.51	c (15,0) cls[82] = 13
119.09/34.51	c (15,0) cls[83] = 4
119.09/34.51	c (15,0) cls[84] = 7
119.09/34.51	c (15,0) cls[85] = 4
119.09/34.51	c (15,0) cls[86] = 8
119.09/34.51	c (15,0) cls[87] = 4
119.09/34.51	c (15,0) cls[88] = 15
119.09/34.51	c (15,0) cls[89] = 14
119.09/34.51	c (15,0) cls[90] = 21
119.09/34.51	c (15,0) cls[91] = 13
119.09/34.51	c (15,0) cls[92] = 4
119.09/34.51	c (15,0) cls[93] = 1
119.09/34.51	c (15,0) cls[94] = 16
119.09/34.51	c (15,0) cls[95] = 14
119.09/34.51	c (15,0) cls[96] = 4
119.09/34.51	c (15,0) cls[97] = 16
119.09/34.51	c (15,0) cls[98] = 14
119.09/34.51	c (15,0) cls[99] = 4
119.09/34.51	c (15,0) cls[100] = 15
119.09/34.51	c (15,0) cls[101] = 6
119.09/34.51	c (15,0) cls[102] = 4
119.09/34.51	c (15,0) cls[103] = 21
119.09/34.51	c (15,0) cls[104] = 13
119.09/34.51	c (15,0) cls[105] = 4
119.09/34.51	c (15,0) cls[106] = 16
119.09/34.51	c (15,0) cls[107] = 24
119.09/34.51	c (15,0) cls[108] = 4
119.09/34.51	c (15,0) cls[109] = 16
119.09/34.51	c (15,0) cls[110] = 24
119.09/34.51	c (15,0) cls[111] = 23
119.09/34.51	c (15,0) cls[112] = 16
119.09/34.51	c (15,0) cls[113] = 4
119.09/34.51	c (15,0) cls[114] = 7
119.09/34.51	c (15,0) cls[115] = 4
119.09/34.51	c (15,0) cls[116] = 14
119.09/34.51	c (15,0) cls[117] = 19
119.09/34.51	c (15,0) cls[118] = 13
119.09/34.51	c (15,0) cls[119] = 4
119.09/34.51	c (15,0) cls[120] = 23
119.09/34.51	c (15,0) cls[121] = 4
119.09/34.51	c (15,0) cls[122] = 7
119.09/34.51	c (15,0) cls[123] = 4
119.09/34.51	c (15,0) cls[124] = 13
119.09/34.51	c (15,0) cls[125] = 19
119.09/34.51	c (15,0) cls[126] = 4
119.09/34.51	c (15,0) cls[127] = 4
119.09/34.51	c (15,0) cls[128] = 13
119.09/34.51	c (15,0) cls[129] = 4
119.09/34.51	c (15,0) cls[130] = 16
119.09/34.51	c (15,0) cls[131] = 20
119.09/34.51	c (15,0) cls[132] = 15
119.09/34.51	c (15,0) cls[133] = 4
119.09/34.51	c (15,0) cls[134] = 13
119.09/34.51	c (15,0) cls[135] = 17
119.09/34.51	c (15,0) cls[136] = 23
119.09/34.51	c (15,0) cls[137] = 4
119.09/34.51	c (15,0) cls[138] = 17
119.09/34.51	c (15,0) cls[139] = 16
119.09/34.51	c (15,0) cls[140] = 16
119.09/34.51	c (15,0) cls[141] = 4
119.09/34.51	c (15,0) cls[142] = 23
119.09/34.51	c (15,0) cls[143] = 4
119.09/34.51	c (15,0) cls[144] = 20
119.09/34.51	c (15,0) cls[145] = 15
119.09/34.51	c (15,0) cls[146] = 4
119.09/34.51	c (15,0) cls[147] = 13
119.09/34.51	c (15,0) cls[148] = 4
119.09/34.51	c (15,0) cls[149] = 13
119.09/34.51	c (15,0) cls[150] = 0
119.09/34.51	c (15,0) cls[151] = 14
119.09/34.51	c (15,0) cls[152] = 4
119.09/34.51	c (15,0) cls[153] = 16
119.09/34.51	c (15,0) cls[154] = 4
119.09/34.51	c (15,0) cls[155] = 4
119.09/34.51	c (15,0) cls[156] = 15
119.09/34.51	c (15,0) cls[157] = 10
119.09/34.51	c (15,0) cls[158] = 5
119.09/34.51	c (15,0) cls[159] = 16
119.09/34.51	c (15,0) cls[160] = 4
119.09/34.51	c (15,0) cls[161] = 11
119.09/34.51	c (15,0) cls[162] = 4
119.09/34.51	c (15,0) cls[163] = 14
119.09/34.51	c (15,0) cls[164] = 15
119.09/34.51	c (15,0) cls[165] = 16
119.09/34.51	c (15,0) cls[166] = 4
119.09/34.51	c (15,0) cls[167] = 3
119.09/34.51	c (15,0) cls[168] = 16
119.09/34.51	c (15,0) cls[169] = 14
119.09/34.51	c (15,0) cls[170] = 16
119.09/34.51	c (15,0) cls[171] = 4
119.09/34.51	c (15,0) cls[172] = 23
119.09/34.51	c (15,0) cls[173] = 14
119.09/34.51	c (15,0) cls[174] = 4
119.09/34.51	c (15,0) cls[175] = 13
119.09/34.51	c (15,0) cls[176] = 15
119.09/34.51	c (15,0) cls[177] = 4
119.09/34.51	c (15,0) cls[178] = 23
119.09/34.51	c (15,0) cls[179] = 20
119.09/34.51	c (15,0) cls[180] = 4
119.09/34.51	c (15,0) cls[181] = 16
119.09/34.51	c (15,0) cls[182] = 17
119.09/34.51	c (15,0) cls[183] = 4
119.09/34.51	c (15,0) cls[184] = 8
119.09/34.51	c (15,0) cls[185] = 16
119.09/34.51	c (15,0) cls[186] = 9
119.09/34.51	c (15,0) cls[187] = 4
119.09/34.51	c (15,0) cls[188] = 16
119.09/34.51	c (15,0) cls[189] = 11
119.09/34.51	c (15,0) cls[190] = 4
119.09/34.51	c (15,0) cls[191] = 14
119.09/34.51	c (15,0) cls[192] = 6
119.09/34.51	c (15,0) cls[193] = 9
119.09/34.51	c (15,0) cls[194] = 4
119.09/34.51	c (15,0) cls[195] = 13
119.09/34.51	c (15,0) cls[196] = 4
119.09/34.51	c (15,0) cls[197] = 4
119.09/34.51	c (15,0) cls[198] = 7
119.09/34.51	c (15,0) cls[199] = 16
119.09/34.51	c (15,0) opt[0][0] = 0
119.09/34.51	c (15,0) opt[0][1] = 1
119.09/34.51	c (15,0) opt[0][2] = 1
119.09/34.51	c (15,0) opt[0][3] = 0
119.09/34.51	c (15,0) opt[0][4] = 1
119.09/34.51	c (15,0) opt[1][0] = 1
119.09/34.51	c (15,0) opt[1][1] = 0
119.09/34.51	c (15,0) opt[1][2] = 0
119.09/34.51	c (15,0) opt[1][3] = 0
119.09/34.51	c (15,0) opt[1][4] = 0
119.09/34.51	c (15,0) opt[2][0] = 0
119.09/34.51	c (15,0) opt[2][1] = 0
119.09/34.51	c (15,0) opt[2][2] = 0
119.09/34.51	c (15,0) opt[2][3] = 1
119.09/34.51	c (15,0) opt[2][4] = 0
119.09/34.51	c (15,0) opt[3][0] = 0
119.09/34.51	c (15,0) opt[3][1] = 0
119.09/34.51	c (15,0) opt[3][2] = 0
119.09/34.51	c (15,0) opt[3][3] = 1
119.09/34.51	c (15,0) opt[3][4] = 0
119.09/34.51	c (15,0) opt[4][0] = 1
119.09/34.51	c (15,0) opt[4][1] = 1
119.09/34.51	c (15,0) opt[4][2] = 0
119.09/34.51	c (15,0) opt[4][3] = 0
119.09/34.51	c (15,0) opt[4][4] = 0
119.09/34.51	c (15,0) opt[5][0] = 0
119.09/34.51	c (15,0) opt[5][1] = 0
119.09/34.51	c (15,0) opt[5][2] = 1
119.09/34.51	c (15,0) opt[5][3] = 0
119.09/34.51	c (15,0) opt[5][4] = 1
119.09/34.51	c (15,0) opt[6][0] = 1
119.09/34.51	c (15,0) opt[6][1] = 1
119.09/34.51	c (15,0) opt[6][2] = 0
119.09/34.51	c (15,0) opt[6][3] = 0
119.09/34.51	c (15,0) opt[6][4] = 0
119.09/34.51	c (15,0) opt[7][0] = 0
119.09/34.51	c (15,0) opt[7][1] = 1
119.09/34.51	c (15,0) opt[7][2] = 0
119.09/34.51	c (15,0) opt[7][3] = 0
119.09/34.51	c (15,0) opt[7][4] = 0
119.09/34.51	c (15,0) opt[8][0] = 1
119.09/34.51	c (15,0) opt[8][1] = 0
119.09/34.51	c (15,0) opt[8][2] = 1
119.09/34.51	c (15,0) opt[8][3] = 0
119.09/34.51	c (15,0) opt[8][4] = 0
119.09/34.51	c (15,0) opt[9][0] = 0
119.09/34.51	c (15,0) opt[9][1] = 1
119.09/34.51	c (15,0) opt[9][2] = 0
119.09/34.51	c (15,0) opt[9][3] = 0
119.09/34.51	c (15,0) opt[9][4] = 0
119.09/34.51	c (15,0) opt[10][0] = 0
119.09/34.51	c (15,0) opt[10][1] = 0
119.09/34.51	c (15,0) opt[10][2] = 0
119.09/34.51	c (15,0) opt[10][3] = 1
119.09/34.51	c (15,0) opt[10][4] = 1
119.09/34.51	c (15,0) opt[11][0] = 0
119.09/34.51	c (15,0) opt[11][1] = 1
119.09/34.51	c (15,0) opt[11][2] = 1
119.09/34.51	c (15,0) opt[11][3] = 1
119.09/34.51	c (15,0) opt[11][4] = 0
119.09/34.51	c (15,0) opt[12][0] = 0
119.09/34.51	c (15,0) opt[12][1] = 1
119.09/34.51	c (15,0) opt[12][2] = 0
119.09/34.51	c (15,0) opt[12][3] = 0
119.09/34.51	c (15,0) opt[12][4] = 0
119.09/34.51	c (15,0) opt[13][0] = 1
119.09/34.51	c (15,0) opt[13][1] = 0
119.09/34.51	c (15,0) opt[13][2] = 0
119.09/34.51	c (15,0) opt[13][3] = 0
119.09/34.51	c (15,0) opt[13][4] = 0
119.09/34.51	c (15,0) opt[14][0] = 0
119.09/34.51	c (15,0) opt[14][1] = 1
119.09/34.51	c (15,0) opt[14][2] = 0
119.09/34.51	c (15,0) opt[14][3] = 0
119.09/34.51	c (15,0) opt[14][4] = 0
119.09/34.51	c (15,0) opt[15][0] = 1
119.09/34.51	c (15,0) opt[15][1] = 0
119.09/34.51	c (15,0) opt[15][2] = 0
119.09/34.51	c (15,0) opt[15][3] = 0
119.09/34.51	c (15,0) opt[15][4] = 0
119.09/34.51	c (15,0) opt[16][0] = 0
119.09/34.51	c (15,0) opt[16][1] = 1
119.09/34.51	c (15,0) opt[16][2] = 0
119.09/34.51	c (15,0) opt[16][3] = 0
119.09/34.51	c (15,0) opt[16][4] = 0
119.09/34.51	c (15,0) opt[17][0] = 0
119.09/34.51	c (15,0) opt[17][1] = 1
119.09/34.51	c (15,0) opt[17][2] = 0
119.09/34.51	c (15,0) opt[17][3] = 1
119.09/34.51	c (15,0) opt[17][4] = 1
119.09/34.51	c (15,0) opt[18][0] = 1
119.09/34.51	c (15,0) opt[18][1] = 0
119.09/34.51	c (15,0) opt[18][2] = 1
119.09/34.51	c (15,0) opt[18][3] = 1
119.09/34.51	c (15,0) opt[18][4] = 0
119.09/34.51	c (15,0) opt[19][0] = 0
119.09/34.51	c (15,0) opt[19][1] = 1
119.09/34.51	c (15,0) opt[19][2] = 0
119.09/34.51	c (15,0) opt[19][3] = 0
119.09/34.51	c (15,0) opt[19][4] = 0
119.09/34.51	c (15,0) opt[20][0] = 1
119.09/34.51	c (15,0) opt[20][1] = 0
119.09/34.51	c (15,0) opt[20][2] = 0
119.09/34.51	c (15,0) opt[20][3] = 0
119.09/34.51	c (15,0) opt[20][4] = 0
119.09/34.51	c (15,0) opt[21][0] = 0
119.09/34.51	c (15,0) opt[21][1] = 1
119.09/34.51	c (15,0) opt[21][2] = 0
119.09/34.51	c (15,0) opt[21][3] = 0
119.09/34.51	c (15,0) opt[21][4] = 0
119.09/34.51	c (15,0) opt[22][0] = 0
119.09/34.51	c (15,0) opt[22][1] = 1
119.09/34.51	c (15,0) opt[22][2] = 0
119.09/34.51	c (15,0) opt[22][3] = 0
119.09/34.51	c (15,0) opt[22][4] = 0
119.09/34.51	c (15,0) opt[23][0] = 1
119.09/34.51	c (15,0) opt[23][1] = 0
119.09/34.51	c (15,0) opt[23][2] = 0
119.09/34.51	c (15,0) opt[23][3] = 1
119.09/34.51	c (15,0) opt[23][4] = 1
119.09/34.51	c (15,0) opt[24][0] = 0
119.09/34.51	c (15,0) opt[24][1] = 1
119.09/34.51	c (15,0) opt[24][2] = 0
119.09/34.51	c (15,0) opt[24][3] = 0
119.09/34.51	c (15,0) opt[24][4] = 0
119.09/34.51	c (15,0) opt[25][0] = 0
119.09/34.51	c (15,0) opt[25][1] = 1
119.09/34.51	c (15,0) opt[25][2] = 0
119.09/34.51	c (15,0) opt[25][3] = 0
119.09/34.51	c (15,0) opt[25][4] = 0
119.09/34.51	c (15,0) opt[26][0] = 1
119.09/34.51	c (15,0) opt[26][1] = 0
119.09/34.51	c (15,0) opt[26][2] = 0
119.09/34.51	c (15,0) opt[26][3] = 0
119.09/34.51	c (15,0) opt[26][4] = 0
119.09/34.51	c (15,0) opt[27][0] = 0
119.09/34.51	c (15,0) opt[27][1] = 0
119.09/34.51	c (15,0) opt[27][2] = 1
119.09/34.51	c (15,0) opt[27][3] = 1
119.09/34.51	c (15,0) opt[27][4] = 0
119.09/34.51	c (15,0) opt[28][0] = 1
119.09/34.51	c (15,0) opt[28][1] = 1
119.09/34.51	c (15,0) opt[28][2] = 0
119.09/34.51	c (15,0) opt[28][3] = 0
119.09/34.51	c (15,0) opt[28][4] = 0
119.09/34.51	c (15,0) opt[29][0] = 0
119.09/34.51	c (15,0) opt[29][1] = 1
119.09/34.51	c (15,0) opt[29][2] = 0
119.09/34.51	c (15,0) opt[29][3] = 0
119.09/34.51	c (15,0) opt[29][4] = 0
119.09/34.51	c (15,0) opt[30][0] = 0
119.09/34.51	c (15,0) opt[30][1] = 0
119.09/34.51	c (15,0) opt[30][2] = 1
119.09/34.51	c (15,0) opt[30][3] = 0
119.09/34.51	c (15,0) opt[30][4] = 0
119.09/34.51	c (15,0) opt[31][0] = 1
119.09/34.51	c (15,0) opt[31][1] = 0
119.09/34.51	c (15,0) opt[31][2] = 0
119.09/34.51	c (15,0) opt[31][3] = 0
119.09/34.51	c (15,0) opt[31][4] = 0
119.09/34.51	c (15,0) opt[32][0] = 0
119.09/34.51	c (15,0) opt[32][1] = 0
119.09/34.51	c (15,0) opt[32][2] = 0
119.09/34.51	c (15,0) opt[32][3] = 1
119.09/34.51	c (15,0) opt[32][4] = 0
119.09/34.51	c (15,0) opt[33][0] = 0
119.09/34.51	c (15,0) opt[33][1] = 0
119.09/34.51	c (15,0) opt[33][2] = 0
119.09/34.51	c (15,0) opt[33][3] = 1
119.09/34.51	c (15,0) opt[33][4] = 0
119.09/34.51	c (15,0) opt[34][0] = 1
119.09/34.51	c (15,0) opt[34][1] = 0
119.09/34.51	c (15,0) opt[34][2] = 0
119.09/34.51	c (15,0) opt[34][3] = 0
119.09/34.51	c (15,0) opt[34][4] = 0
119.09/34.51	c (15,0) opt[35][0] = 0
119.09/34.51	c (15,0) opt[35][1] = 1
119.09/34.51	c (15,0) opt[35][2] = 0
119.09/34.51	c (15,0) opt[35][3] = 0
119.09/34.51	c (15,0) opt[35][4] = 0
119.09/34.51	c (15,0) opt[36][0] = 0
119.09/34.51	c (15,0) opt[36][1] = 1
119.09/34.51	c (15,0) opt[36][2] = 0
119.09/34.51	c (15,0) opt[36][3] = 0
119.09/34.51	c (15,0) opt[36][4] = 0
119.09/34.51	c (15,0) opt[37][0] = 0
119.09/34.51	c (15,0) opt[37][1] = 0
119.09/34.51	c (15,0) opt[37][2] = 0
119.09/34.51	c (15,0) opt[37][3] = 1
119.09/34.51	c (15,0) opt[37][4] = 0
119.09/34.51	c (15,0) opt[38][0] = 0
119.09/34.51	c (15,0) opt[38][1] = 1
119.09/34.51	c (15,0) opt[38][2] = 0
119.09/34.51	c (15,0) opt[38][3] = 0
119.09/34.51	c (15,0) opt[38][4] = 0
119.09/34.51	c (15,0) opt[39][0] = 0
119.09/34.51	c (15,0) opt[39][1] = 1
119.09/34.51	c (15,0) opt[39][2] = 0
119.09/34.51	c (15,0) opt[39][3] = 0
119.09/34.51	c (15,0) opt[39][4] = 1
119.09/34.51	c (15,0) opt[40][0] = 1
119.09/34.51	c (15,0) opt[40][1] = 0
119.09/34.51	c (15,0) opt[40][2] = 0
119.09/34.51	c (15,0) opt[40][3] = 0
119.09/34.51	c (15,0) opt[40][4] = 0
119.09/34.51	c (15,0) opt[41][0] = 0
119.09/34.51	c (15,0) opt[41][1] = 0
119.09/34.51	c (15,0) opt[41][2] = 1
119.09/34.51	c (15,0) opt[41][3] = 0
119.09/34.51	c (15,0) opt[41][4] = 0
119.09/34.51	c (15,0) opt[42][0] = 1
119.09/34.51	c (15,0) opt[42][1] = 1
119.09/34.51	c (15,0) opt[42][2] = 0
119.09/34.51	c (15,0) opt[42][3] = 0
119.09/34.51	c (15,0) opt[42][4] = 0
119.09/34.51	c (15,0) opt[43][0] = 0
119.09/34.52	c (15,0) opt[43][1] = 1
119.09/34.52	c (15,0) opt[43][2] = 0
119.09/34.52	c (15,0) opt[43][3] = 0
119.09/34.52	c (15,0) opt[43][4] = 0
119.09/34.52	c (15,0) opt[44][0] = 1
119.09/34.52	c (15,0) opt[44][1] = 0
119.09/34.52	c (15,0) opt[44][2] = 0
119.09/34.52	c (15,0) opt[44][3] = 0
119.09/34.52	c (15,0) opt[44][4] = 0
119.09/34.52	c (15,0) opt[45][0] = 0
119.09/34.52	c (15,0) opt[45][1] = 1
119.09/34.52	c (15,0) opt[45][2] = 0
119.09/34.52	c (15,0) opt[45][3] = 0
119.09/34.52	c (15,0) opt[45][4] = 0
119.09/34.52	c (15,0) opt[46][0] = 0
119.09/34.52	c (15,0) opt[46][1] = 1
119.09/34.52	c (15,0) opt[46][2] = 1
119.09/34.52	c (15,0) opt[46][3] = 0
119.09/34.52	c (15,0) opt[46][4] = 0
119.09/34.52	c (15,0) opt[47][0] = 0
119.09/34.52	c (15,0) opt[47][1] = 0
119.09/34.52	c (15,0) opt[47][2] = 0
119.09/34.52	c (15,0) opt[47][3] = 1
119.09/34.52	c (15,0) opt[47][4] = 1
119.09/34.52	c (15,0) opt[48][0] = 0
119.09/34.52	c (15,0) opt[48][1] = 1
119.09/34.52	c (15,0) opt[48][2] = 0
119.09/34.52	c (15,0) opt[48][3] = 1
119.09/34.52	c (15,0) opt[48][4] = 0
119.09/34.52	c (15,0) opt[49][0] = 1
119.09/34.52	c (15,0) opt[49][1] = 0
119.09/34.52	c (15,0) opt[49][2] = 1
119.09/34.52	c (15,0) opt[49][3] = 0
119.09/34.52	c (15,0) opt[49][4] = 0
119.09/34.52	c (15,0) opt[50][0] = 0
119.09/34.52	c (15,0) opt[50][1] = 1
119.09/34.52	c (15,0) opt[50][2] = 0
119.09/34.52	c (15,0) opt[50][3] = 0
119.09/34.52	c (15,0) opt[50][4] = 0
119.09/34.52	c (15,0) opt[51][0] = 1
119.09/34.52	c (15,0) opt[51][1] = 1
119.09/34.52	c (15,0) opt[51][2] = 0
119.09/34.52	c (15,0) opt[51][3] = 0
119.09/34.52	c (15,0) opt[51][4] = 0
119.09/34.52	c (15,0) opt[52][0] = 0
119.09/34.52	c (15,0) opt[52][1] = 0
119.09/34.52	c (15,0) opt[52][2] = 1
119.09/34.52	c (15,0) opt[52][3] = 0
119.09/34.52	c (15,0) opt[52][4] = 0
119.09/34.52	c (15,0) opt[53][0] = 1
119.09/34.52	c (15,0) opt[53][1] = 0
119.09/34.52	c (15,0) opt[53][2] = 0
119.09/34.52	c (15,0) opt[53][3] = 0
119.09/34.52	c (15,0) opt[53][4] = 0
119.09/34.52	c (15,0) opt[54][0] = 0
119.09/34.52	c (15,0) opt[54][1] = 1
119.09/34.52	c (15,0) opt[54][2] = 0
119.09/34.52	c (15,0) opt[54][3] = 0
119.09/34.52	c (15,0) opt[54][4] = 0
119.09/34.52	c (15,0) opt[55][0] = 0
119.09/34.52	c (15,0) opt[55][1] = 0
119.09/34.52	c (15,0) opt[55][2] = 0
119.09/34.52	c (15,0) opt[55][3] = 1
119.09/34.52	c (15,0) opt[55][4] = 0
119.09/34.52	c (15,0) opt[56][0] = 0
119.09/34.52	c (15,0) opt[56][1] = 0
119.09/34.52	c (15,0) opt[56][2] = 1
119.09/34.52	c (15,0) opt[56][3] = 0
119.09/34.52	c (15,0) opt[56][4] = 0
119.09/34.52	c (15,0) opt[57][0] = 1
119.09/34.52	c (15,0) opt[57][1] = 1
119.09/34.52	c (15,0) opt[57][2] = 0
119.09/34.52	c (15,0) opt[57][3] = 0
119.09/34.52	c (15,0) opt[57][4] = 0
119.09/34.52	c (15,0) opt[58][0] = 0
119.09/34.52	c (15,0) opt[58][1] = 1
119.09/34.52	c (15,0) opt[58][2] = 0
119.09/34.52	c (15,0) opt[58][3] = 0
119.09/34.52	c (15,0) opt[58][4] = 0
119.09/34.52	c (15,0) opt[59][0] = 1
119.09/34.52	c (15,0) opt[59][1] = 0
119.09/34.52	c (15,0) opt[59][2] = 0
119.09/34.52	c (15,0) opt[59][3] = 0
119.09/34.52	c (15,0) opt[59][4] = 1
119.09/34.52	c (15,0) opt[60][0] = 0
119.09/34.52	c (15,0) opt[60][1] = 1
119.09/34.52	c (15,0) opt[60][2] = 0
119.09/34.52	c (15,0) opt[60][3] = 0
119.09/34.52	c (15,0) opt[60][4] = 0
119.09/34.52	c (15,0) opt[61][0] = 0
119.09/34.52	c (15,0) opt[61][1] = 1
119.09/34.52	c (15,0) opt[61][2] = 0
119.09/34.52	c (15,0) opt[61][3] = 0
119.09/34.52	c (15,0) opt[61][4] = 0
119.09/34.52	c (15,0) opt[62][0] = 1
119.09/34.52	c (15,0) opt[62][1] = 0
119.09/34.52	c (15,0) opt[62][2] = 0
119.09/34.52	c (15,0) opt[62][3] = 0
119.09/34.52	c (15,0) opt[62][4] = 0
119.09/34.52	c (15,0) opt[63][0] = 0
119.09/34.52	c (15,0) opt[63][1] = 0
119.09/34.52	c (15,0) opt[63][2] = 0
119.09/34.52	c (15,0) opt[63][3] = 1
119.09/34.52	c (15,0) opt[63][4] = 0
119.09/34.52	c (15,0) opt[64][0] = 0
119.09/34.52	c (15,0) opt[64][1] = 0
119.09/34.52	c (15,0) opt[64][2] = 1
119.09/34.52	c (15,0) opt[64][3] = 0
119.09/34.52	c (15,0) opt[64][4] = 0
119.09/34.52	c (15,0) opt[65][0] = 0
119.09/34.52	c (15,0) opt[65][1] = 1
119.09/34.52	c (15,0) opt[65][2] = 0
119.09/34.52	c (15,0) opt[65][3] = 1
119.09/34.52	c (15,0) opt[65][4] = 0
119.09/34.52	c (15,0) opt[66][0] = 0
119.09/34.52	c (15,0) opt[66][1] = 1
119.09/34.52	c (15,0) opt[66][2] = 0
119.09/34.52	c (15,0) opt[66][3] = 0
119.09/34.52	c (15,0) opt[66][4] = 1
119.09/34.52	c (15,0) opt[67][0] = 1
119.09/34.52	c (15,0) opt[67][1] = 0
119.09/34.52	c (15,0) opt[67][2] = 0
119.09/34.52	c (15,0) opt[67][3] = 0
119.09/34.52	c (15,0) opt[67][4] = 0
119.09/34.52	c (15,0) opt[68][0] = 0
119.09/34.52	c (15,0) opt[68][1] = 0
119.09/34.52	c (15,0) opt[68][2] = 1
119.09/34.52	c (15,0) opt[68][3] = 1
119.09/34.52	c (15,0) opt[68][4] = 0
119.09/34.52	c (15,0) opt[69][0] = 0
119.09/34.52	c (15,0) opt[69][1] = 1
119.09/34.52	c (15,0) opt[69][2] = 0
119.09/34.52	c (15,0) opt[69][3] = 0
119.09/34.52	c (15,0) opt[69][4] = 0
119.09/34.52	c (15,0) opt[70][0] = 1
119.09/34.52	c (15,0) opt[70][1] = 0
119.09/34.52	c (15,0) opt[70][2] = 0
119.09/34.52	c (15,0) opt[70][3] = 0
119.09/34.52	c (15,0) opt[70][4] = 0
119.09/34.52	c (15,0) opt[71][0] = 0
119.09/34.52	c (15,0) opt[71][1] = 0
119.09/34.52	c (15,0) opt[71][2] = 1
119.09/34.52	c (15,0) opt[71][3] = 0
119.09/34.52	c (15,0) opt[71][4] = 0
119.09/34.52	c (15,0) opt[72][0] = 0
119.09/34.52	c (15,0) opt[72][1] = 0
119.09/34.52	c (15,0) opt[72][2] = 0
119.09/34.52	c (15,0) opt[72][3] = 1
119.09/34.52	c (15,0) opt[72][4] = 0
119.09/34.52	c (15,0) opt[73][0] = 1
119.09/34.52	c (15,0) opt[73][1] = 0
119.09/34.52	c (15,0) opt[73][2] = 0
119.09/34.52	c (15,0) opt[73][3] = 1
119.09/34.52	c (15,0) opt[73][4] = 0
119.09/34.52	c (15,0) opt[74][0] = 0
119.09/34.52	c (15,0) opt[74][1] = 1
119.09/34.52	c (15,0) opt[74][2] = 0
119.09/34.52	c (15,0) opt[74][3] = 0
119.09/34.52	c (15,0) opt[74][4] = 0
119.09/34.52	c (15,0) opt[75][0] = 1
119.09/34.52	c (15,0) opt[75][1] = 0
119.09/34.52	c (15,0) opt[75][2] = 0
119.09/34.52	c (15,0) opt[75][3] = 0
119.09/34.52	c (15,0) opt[75][4] = 0
119.09/34.52	c (15,0) opt[76][0] = 0
119.09/34.52	c (15,0) opt[76][1] = 1
119.09/34.52	c (15,0) opt[76][2] = 0
119.09/34.52	c (15,0) opt[76][3] = 0
119.09/34.52	c (15,0) opt[76][4] = 1
119.09/34.52	c (15,0) opt[77][0] = 1
119.09/34.52	c (15,0) opt[77][1] = 0
119.09/34.52	c (15,0) opt[77][2] = 0
119.09/34.52	c (15,0) opt[77][3] = 0
119.09/34.52	c (15,0) opt[77][4] = 0
119.09/34.52	c (15,0) opt[78][0] = 0
119.09/34.52	c (15,0) opt[78][1] = 1
119.09/34.52	c (15,0) opt[78][2] = 0
119.09/34.52	c (15,0) opt[78][3] = 0
119.09/34.52	c (15,0) opt[78][4] = 0
119.09/34.52	c (15,0) opt[79][0] = 0
119.09/34.52	c (15,0) opt[79][1] = 0
119.09/34.52	c (15,0) opt[79][2] = 1
119.09/34.52	c (15,0) opt[79][3] = 0
119.09/34.52	c (15,0) opt[79][4] = 0
119.09/34.52	c (15,0) opt[80][0] = 1
119.09/34.52	c (15,0) opt[80][1] = 1
119.09/34.52	c (15,0) opt[80][2] = 0
119.09/34.52	c (15,0) opt[80][3] = 0
119.09/34.52	c (15,0) opt[80][4] = 0
119.09/34.52	c (15,0) opt[81][0] = 0
119.09/34.52	c (15,0) opt[81][1] = 1
119.09/34.52	c (15,0) opt[81][2] = 0
119.09/34.52	c (15,0) opt[81][3] = 0
119.09/34.52	c (15,0) opt[81][4] = 0
119.09/34.52	c (15,0) opt[82][0] = 1
119.09/34.52	c (15,0) opt[82][1] = 0
119.09/34.52	c (15,0) opt[82][2] = 0
119.09/34.52	c (15,0) opt[82][3] = 0
119.09/34.52	c (15,0) opt[82][4] = 0
119.09/34.52	c (15,0) opt[83][0] = 0
119.09/34.52	c (15,0) opt[83][1] = 1
119.09/34.52	c (15,0) opt[83][2] = 0
119.09/34.52	c (15,0) opt[83][3] = 0
119.09/34.52	c (15,0) opt[83][4] = 0
119.09/34.52	c (15,0) opt[84][0] = 1
119.09/34.52	c (15,0) opt[84][1] = 0
119.09/34.52	c (15,0) opt[84][2] = 1
119.09/34.52	c (15,0) opt[84][3] = 1
119.09/34.52	c (15,0) opt[84][4] = 0
119.09/34.52	c (15,0) opt[85][0] = 0
119.09/34.52	c (15,0) opt[85][1] = 1
119.09/34.52	c (15,0) opt[85][2] = 0
119.09/34.52	c (15,0) opt[85][3] = 0
119.09/34.52	c (15,0) opt[85][4] = 0
119.09/34.52	c (15,0) opt[86][0] = 1
119.09/34.52	c (15,0) opt[86][1] = 0
119.09/34.52	c (15,0) opt[86][2] = 0
119.09/34.52	c (15,0) opt[86][3] = 0
119.09/34.52	c (15,0) opt[86][4] = 1
119.09/34.52	c (15,0) opt[87][0] = 0
119.09/34.52	c (15,0) opt[87][1] = 1
119.09/34.52	c (15,0) opt[87][2] = 0
119.09/34.52	c (15,0) opt[87][3] = 0
119.09/34.52	c (15,0) opt[87][4] = 0
119.09/34.52	c (15,0) opt[88][0] = 0
119.09/34.52	c (15,0) opt[88][1] = 0
119.09/34.52	c (15,0) opt[88][2] = 1
119.09/34.52	c (15,0) opt[88][3] = 0
119.09/34.52	c (15,0) opt[88][4] = 0
119.09/34.52	c (15,0) opt[89][0] = 1
119.09/34.52	c (15,0) opt[89][1] = 1
119.09/34.52	c (15,0) opt[89][2] = 0
119.09/34.52	c (15,0) opt[89][3] = 0
119.09/34.52	c (15,0) opt[89][4] = 0
119.09/34.52	c (15,0) opt[90][0] = 0
119.09/34.52	c (15,0) opt[90][1] = 1
119.09/34.52	c (15,0) opt[90][2] = 0
119.09/34.52	c (15,0) opt[90][3] = 1
119.09/34.52	c (15,0) opt[90][4] = 0
119.09/34.52	c (15,0) opt[91][0] = 1
119.09/34.52	c (15,0) opt[91][1] = 0
119.09/34.52	c (15,0) opt[91][2] = 0
119.09/34.52	c (15,0) opt[91][3] = 0
119.09/34.52	c (15,0) opt[91][4] = 0
119.09/34.52	c (15,0) opt[92][0] = 0
119.09/34.52	c (15,0) opt[92][1] = 1
119.09/34.52	c (15,0) opt[92][2] = 0
119.09/34.52	c (15,0) opt[92][3] = 0
119.09/34.52	c (15,0) opt[92][4] = 0
119.09/34.52	c (15,0) opt[93][0] = 1
119.09/34.52	c (15,0) opt[93][1] = 1
119.09/34.52	c (15,0) opt[93][2] = 1
119.09/34.52	c (15,0) opt[93][3] = 0
119.09/34.52	c (15,0) opt[93][4] = 1
119.09/34.52	c (15,0) opt[94][0] = 0
119.09/34.52	c (15,0) opt[94][1] = 0
119.09/34.52	c (15,0) opt[94][2] = 0
119.09/34.52	c (15,0) opt[94][3] = 1
119.09/34.52	c (15,0) opt[94][4] = 0
119.09/34.52	c (15,0) opt[95][0] = 1
119.09/34.52	c (15,0) opt[95][1] = 1
119.09/34.52	c (15,0) opt[95][2] = 0
119.09/34.52	c (15,0) opt[95][3] = 0
119.09/34.52	c (15,0) opt[95][4] = 0
119.09/34.52	c (15,0) opt[96][0] = 0
119.09/34.52	c (15,0) opt[96][1] = 1
119.09/34.52	c (15,0) opt[96][2] = 0
119.09/34.52	c (15,0) opt[96][3] = 0
119.09/34.52	c (15,0) opt[96][4] = 0
119.09/34.52	c (15,0) opt[97][0] = 0
119.09/34.52	c (15,0) opt[97][1] = 0
119.09/34.52	c (15,0) opt[97][2] = 0
119.09/34.52	c (15,0) opt[97][3] = 1
119.09/34.52	c (15,0) opt[97][4] = 0
119.09/34.52	c (15,0) opt[98][0] = 1
119.09/34.52	c (15,0) opt[98][1] = 1
119.09/34.52	c (15,0) opt[98][2] = 0
119.09/34.52	c (15,0) opt[98][3] = 0
119.09/34.52	c (15,0) opt[98][4] = 0
119.09/34.52	c (15,0) opt[99][0] = 0
119.09/34.52	c (15,0) opt[99][1] = 1
119.09/34.52	c (15,0) opt[99][2] = 0
119.09/34.52	c (15,0) opt[99][3] = 0
119.09/34.52	c (15,0) opt[99][4] = 0
119.09/34.52	c (15,0) opt[100][0] = 0
119.09/34.52	c (15,0) opt[100][1] = 0
119.09/34.52	c (15,0) opt[100][2] = 1
119.09/34.52	c (15,0) opt[100][3] = 0
119.09/34.52	c (15,0) opt[100][4] = 0
119.09/34.52	c (15,0) opt[101][0] = 0
119.09/34.52	c (15,0) opt[101][1] = 0
119.09/34.52	c (15,0) opt[101][2] = 0
119.09/34.52	c (15,0) opt[101][3] = 1
119.09/34.52	c (15,0) opt[101][4] = 1
119.09/34.52	c (15,0) opt[102][0] = 0
119.09/34.52	c (15,0) opt[102][1] = 1
119.09/34.52	c (15,0) opt[102][2] = 0
119.09/34.52	c (15,0) opt[102][3] = 0
119.09/34.52	c (15,0) opt[102][4] = 0
119.09/34.52	c (15,0) opt[103][0] = 0
119.09/34.52	c (15,0) opt[103][1] = 1
119.09/34.52	c (15,0) opt[103][2] = 0
119.09/34.52	c (15,0) opt[103][3] = 1
119.09/34.52	c (15,0) opt[103][4] = 0
119.09/34.52	c (15,0) opt[104][0] = 1
119.09/34.52	c (15,0) opt[104][1] = 0
119.09/34.52	c (15,0) opt[104][2] = 0
119.09/34.52	c (15,0) opt[104][3] = 0
119.09/34.52	c (15,0) opt[104][4] = 0
119.09/34.52	c (15,0) opt[105][0] = 0
119.09/34.52	c (15,0) opt[105][1] = 1
119.09/34.52	c (15,0) opt[105][2] = 0
119.09/34.52	c (15,0) opt[105][3] = 0
119.09/34.52	c (15,0) opt[105][4] = 0
119.09/34.52	c (15,0) opt[106][0] = 0
119.09/34.52	c (15,0) opt[106][1] = 0
119.09/34.52	c (15,0) opt[106][2] = 0
119.09/34.52	c (15,0) opt[106][3] = 1
119.09/34.52	c (15,0) opt[106][4] = 0
119.09/34.52	c (15,0) opt[107][0] = 1
119.09/34.52	c (15,0) opt[107][1] = 1
119.09/34.52	c (15,0) opt[107][2] = 1
119.09/34.52	c (15,0) opt[107][3] = 0
119.09/34.52	c (15,0) opt[107][4] = 0
119.09/34.52	c (15,0) opt[108][0] = 0
119.09/34.52	c (15,0) opt[108][1] = 1
119.09/34.52	c (15,0) opt[108][2] = 0
119.09/34.52	c (15,0) opt[108][3] = 0
119.09/34.52	c (15,0) opt[108][4] = 0
119.09/34.52	c (15,0) opt[109][0] = 0
119.09/34.52	c (15,0) opt[109][1] = 0
119.09/34.52	c (15,0) opt[109][2] = 0
119.09/34.52	c (15,0) opt[109][3] = 1
119.09/34.52	c (15,0) opt[109][4] = 0
119.09/34.52	c (15,0) opt[110][0] = 1
119.09/34.52	c (15,0) opt[110][1] = 1
119.09/34.52	c (15,0) opt[110][2] = 1
119.09/34.52	c (15,0) opt[110][3] = 0
119.09/34.52	c (15,0) opt[110][4] = 0
119.09/34.52	c (15,0) opt[111][0] = 0
119.09/34.52	c (15,0) opt[111][1] = 0
119.09/34.52	c (15,0) opt[111][2] = 0
119.09/34.52	c (15,0) opt[111][3] = 0
119.09/34.52	c (15,0) opt[111][4] = 1
119.09/34.52	c (15,0) opt[112][0] = 0
119.09/34.52	c (15,0) opt[112][1] = 0
119.09/34.52	c (15,0) opt[112][2] = 0
119.09/34.52	c (15,0) opt[112][3] = 1
119.09/34.52	c (15,0) opt[112][4] = 0
119.09/34.52	c (15,0) opt[113][0] = 0
119.09/34.52	c (15,0) opt[113][1] = 1
119.09/34.52	c (15,0) opt[113][2] = 0
119.09/34.52	c (15,0) opt[113][3] = 0
119.09/34.52	c (15,0) opt[113][4] = 0
119.09/34.52	c (15,0) opt[114][0] = 1
119.09/34.52	c (15,0) opt[114][1] = 0
119.09/34.52	c (15,0) opt[114][2] = 1
119.09/34.52	c (15,0) opt[114][3] = 1
119.09/34.52	c (15,0) opt[114][4] = 0
119.09/34.52	c (15,0) opt[115][0] = 0
119.09/34.52	c (15,0) opt[115][1] = 1
119.09/34.52	c (15,0) opt[115][2] = 0
119.09/34.52	c (15,0) opt[115][3] = 0
119.09/34.52	c (15,0) opt[115][4] = 0
119.09/34.52	c (15,0) opt[116][0] = 1
119.09/34.52	c (15,0) opt[116][1] = 1
119.09/34.52	c (15,0) opt[116][2] = 0
119.09/34.52	c (15,0) opt[116][3] = 0
119.09/34.52	c (15,0) opt[116][4] = 0
119.09/34.52	c (15,0) opt[117][0] = 0
119.09/34.52	c (15,0) opt[117][1] = 0
119.09/34.52	c (15,0) opt[117][2] = 1
119.09/34.52	c (15,0) opt[117][3] = 1
119.09/34.52	c (15,0) opt[117][4] = 0
119.09/34.52	c (15,0) opt[118][0] = 1
119.09/34.52	c (15,0) opt[118][1] = 0
119.09/34.52	c (15,0) opt[118][2] = 0
119.09/34.52	c (15,0) opt[118][3] = 0
119.09/34.52	c (15,0) opt[118][4] = 0
119.09/34.52	c (15,0) opt[119][0] = 0
119.09/34.52	c (15,0) opt[119][1] = 1
119.09/34.52	c (15,0) opt[119][2] = 0
119.09/34.52	c (15,0) opt[119][3] = 0
119.09/34.52	c (15,0) opt[119][4] = 0
119.09/34.52	c (15,0) opt[120][0] = 0
119.09/34.52	c (15,0) opt[120][1] = 0
119.09/34.52	c (15,0) opt[120][2] = 0
119.09/34.52	c (15,0) opt[120][3] = 0
119.09/34.52	c (15,0) opt[120][4] = 1
119.09/34.52	c (15,0) opt[121][0] = 0
119.09/34.52	c (15,0) opt[121][1] = 1
119.09/34.52	c (15,0) opt[121][2] = 0
119.09/34.52	c (15,0) opt[121][3] = 0
119.09/34.52	c (15,0) opt[121][4] = 0
119.09/34.52	c (15,0) opt[122][0] = 1
119.09/34.52	c (15,0) opt[122][1] = 0
119.09/34.52	c (15,0) opt[122][2] = 1
119.09/34.52	c (15,0) opt[122][3] = 1
119.09/34.52	c (15,0) opt[122][4] = 0
119.09/34.52	c (15,0) opt[123][0] = 0
119.09/34.52	c (15,0) opt[123][1] = 1
119.09/34.52	c (15,0) opt[123][2] = 0
119.09/34.52	c (15,0) opt[123][3] = 0
119.09/34.52	c (15,0) opt[123][4] = 0
119.09/34.52	c (15,0) opt[124][0] = 1
119.09/34.52	c (15,0) opt[124][1] = 0
119.09/34.52	c (15,0) opt[124][2] = 0
119.09/34.52	c (15,0) opt[124][3] = 0
119.09/34.52	c (15,0) opt[124][4] = 0
119.09/34.52	c (15,0) opt[125][0] = 0
119.09/34.52	c (15,0) opt[125][1] = 0
119.09/34.52	c (15,0) opt[125][2] = 1
119.09/34.52	c (15,0) opt[125][3] = 1
119.09/34.52	c (15,0) opt[125][4] = 0
119.09/34.52	c (15,0) opt[126][0] = 0
119.09/34.52	c (15,0) opt[126][1] = 1
119.09/34.52	c (15,0) opt[126][2] = 0
119.09/34.52	c (15,0) opt[126][3] = 0
119.09/34.52	c (15,0) opt[126][4] = 0
119.09/34.52	c (15,0) opt[127][0] = 0
119.09/34.52	c (15,0) opt[127][1] = 1
119.09/34.52	c (15,0) opt[127][2] = 0
119.09/34.52	c (15,0) opt[127][3] = 0
119.09/34.52	c (15,0) opt[127][4] = 0
119.09/34.52	c (15,0) opt[128][0] = 1
119.09/34.52	c (15,0) opt[128][1] = 0
119.09/34.52	c (15,0) opt[128][2] = 0
119.09/34.52	c (15,0) opt[128][3] = 0
119.09/34.52	c (15,0) opt[128][4] = 0
119.09/34.52	c (15,0) opt[129][0] = 0
119.09/34.52	c (15,0) opt[129][1] = 1
119.09/34.52	c (15,0) opt[129][2] = 0
119.09/34.52	c (15,0) opt[129][3] = 0
119.09/34.52	c (15,0) opt[129][4] = 0
119.09/34.52	c (15,0) opt[130][0] = 0
119.09/34.52	c (15,0) opt[130][1] = 0
119.09/34.52	c (15,0) opt[130][2] = 0
119.09/34.52	c (15,0) opt[130][3] = 1
119.09/34.52	c (15,0) opt[130][4] = 0
119.09/34.52	c (15,0) opt[131][0] = 1
119.09/34.52	c (15,0) opt[131][1] = 0
119.09/34.52	c (15,0) opt[131][2] = 0
119.09/34.52	c (15,0) opt[131][3] = 1
119.09/34.52	c (15,0) opt[131][4] = 0
119.09/34.52	c (15,0) opt[132][0] = 0
119.09/34.52	c (15,0) opt[132][1] = 0
119.09/34.52	c (15,0) opt[132][2] = 1
119.09/34.52	c (15,0) opt[132][3] = 0
119.09/34.52	c (15,0) opt[132][4] = 0
119.09/34.52	c (15,0) opt[133][0] = 0
119.09/34.52	c (15,0) opt[133][1] = 1
119.09/34.52	c (15,0) opt[133][2] = 0
119.09/34.52	c (15,0) opt[133][3] = 0
119.09/34.52	c (15,0) opt[133][4] = 0
119.09/34.52	c (15,0) opt[134][0] = 1
119.09/34.52	c (15,0) opt[134][1] = 0
119.09/34.52	c (15,0) opt[134][2] = 0
119.09/34.52	c (15,0) opt[134][3] = 0
119.09/34.52	c (15,0) opt[134][4] = 0
119.09/34.52	c (15,0) opt[135][0] = 0
119.09/34.52	c (15,0) opt[135][1] = 1
119.09/34.52	c (15,0) opt[135][2] = 1
119.09/34.52	c (15,0) opt[135][3] = 0
119.09/34.52	c (15,0) opt[135][4] = 0
119.09/34.52	c (15,0) opt[136][0] = 0
119.09/34.52	c (15,0) opt[136][1] = 0
119.09/34.52	c (15,0) opt[136][2] = 0
119.09/34.52	c (15,0) opt[136][3] = 0
119.09/34.52	c (15,0) opt[136][4] = 1
119.09/34.52	c (15,0) opt[137][0] = 0
119.09/34.52	c (15,0) opt[137][1] = 1
119.09/34.52	c (15,0) opt[137][2] = 0
119.09/34.52	c (15,0) opt[137][3] = 0
119.09/34.52	c (15,0) opt[137][4] = 0
119.09/34.52	c (15,0) opt[138][0] = 0
119.09/34.52	c (15,0) opt[138][1] = 1
119.09/34.52	c (15,0) opt[138][2] = 1
119.09/34.52	c (15,0) opt[138][3] = 0
119.09/34.52	c (15,0) opt[138][4] = 0
119.09/34.52	c (15,0) opt[139][0] = 0
119.09/34.52	c (15,0) opt[139][1] = 0
119.09/34.52	c (15,0) opt[139][2] = 0
119.09/34.52	c (15,0) opt[139][3] = 1
119.09/34.52	c (15,0) opt[139][4] = 0
119.09/34.52	c (15,0) opt[140][0] = 0
119.09/34.52	c (15,0) opt[140][1] = 0
119.09/34.52	c (15,0) opt[140][2] = 0
119.09/34.52	c (15,0) opt[140][3] = 1
119.09/34.52	c (15,0) opt[140][4] = 0
119.09/34.52	c (15,0) opt[141][0] = 0
119.09/34.52	c (15,0) opt[141][1] = 1
119.09/34.52	c (15,0) opt[141][2] = 0
119.09/34.52	c (15,0) opt[141][3] = 0
119.09/34.52	c (15,0) opt[141][4] = 0
119.09/34.52	c (15,0) opt[142][0] = 0
119.09/34.52	c (15,0) opt[142][1] = 0
119.09/34.52	c (15,0) opt[142][2] = 0
119.09/34.52	c (15,0) opt[142][3] = 0
119.09/34.52	c (15,0) opt[142][4] = 1
119.09/34.52	c (15,0) opt[143][0] = 0
119.09/34.52	c (15,0) opt[143][1] = 1
119.09/34.52	c (15,0) opt[143][2] = 0
119.09/34.52	c (15,0) opt[143][3] = 0
119.09/34.52	c (15,0) opt[143][4] = 0
119.09/34.52	c (15,0) opt[144][0] = 1
119.09/34.52	c (15,0) opt[144][1] = 0
119.09/34.52	c (15,0) opt[144][2] = 0
119.09/34.52	c (15,0) opt[144][3] = 1
119.09/34.52	c (15,0) opt[144][4] = 0
119.09/34.52	c (15,0) opt[145][0] = 0
119.09/34.52	c (15,0) opt[145][1] = 0
119.09/34.52	c (15,0) opt[145][2] = 1
119.09/34.52	c (15,0) opt[145][3] = 0
119.09/34.52	c (15,0) opt[145][4] = 0
119.09/34.52	c (15,0) opt[146][0] = 0
119.09/34.52	c (15,0) opt[146][1] = 1
119.09/34.52	c (15,0) opt[146][2] = 0
119.09/34.52	c (15,0) opt[146][3] = 0
119.09/34.52	c (15,0) opt[146][4] = 0
119.09/34.52	c (15,0) opt[147][0] = 1
119.09/34.52	c (15,0) opt[147][1] = 0
119.09/34.52	c (15,0) opt[147][2] = 0
119.09/34.52	c (15,0) opt[147][3] = 0
119.09/34.52	c (15,0) opt[147][4] = 0
119.09/34.52	c (15,0) opt[148][0] = 0
119.09/34.52	c (15,0) opt[148][1] = 1
119.09/34.52	c (15,0) opt[148][2] = 0
119.09/34.52	c (15,0) opt[148][3] = 0
119.09/34.52	c (15,0) opt[148][4] = 0
119.09/34.52	c (15,0) opt[149][0] = 1
119.09/34.52	c (15,0) opt[149][1] = 0
119.09/34.52	c (15,0) opt[149][2] = 0
119.09/34.52	c (15,0) opt[149][3] = 0
119.09/34.52	c (15,0) opt[149][4] = 0
119.09/34.52	c (15,0) opt[150][0] = 0
119.09/34.52	c (15,0) opt[150][1] = 0
119.09/34.52	c (15,0) opt[150][2] = 1
119.09/34.52	c (15,0) opt[150][3] = 1
119.09/34.52	c (15,0) opt[150][4] = 1
119.09/34.52	c (15,0) opt[151][0] = 1
119.09/34.52	c (15,0) opt[151][1] = 1
119.09/34.52	c (15,0) opt[151][2] = 0
119.09/34.52	c (15,0) opt[151][3] = 0
119.09/34.52	c (15,0) opt[151][4] = 0
119.09/34.52	c (15,0) opt[152][0] = 0
119.09/34.52	c (15,0) opt[152][1] = 1
119.09/34.52	c (15,0) opt[152][2] = 0
119.09/34.52	c (15,0) opt[152][3] = 0
119.09/34.52	c (15,0) opt[152][4] = 0
119.09/34.52	c (15,0) opt[153][0] = 0
119.09/34.52	c (15,0) opt[153][1] = 0
119.09/34.52	c (15,0) opt[153][2] = 0
119.09/34.52	c (15,0) opt[153][3] = 1
119.09/34.52	c (15,0) opt[153][4] = 0
119.09/34.52	c (15,0) opt[154][0] = 0
119.09/34.52	c (15,0) opt[154][1] = 1
119.09/34.52	c (15,0) opt[154][2] = 0
119.09/34.52	c (15,0) opt[154][3] = 0
119.09/34.52	c (15,0) opt[154][4] = 0
119.09/34.52	c (15,0) opt[155][0] = 0
119.09/34.52	c (15,0) opt[155][1] = 1
119.09/34.52	c (15,0) opt[155][2] = 0
119.09/34.52	c (15,0) opt[155][3] = 0
119.09/34.52	c (15,0) opt[155][4] = 0
119.09/34.52	c (15,0) opt[156][0] = 0
119.09/34.52	c (15,0) opt[156][1] = 0
119.09/34.52	c (15,0) opt[156][2] = 1
119.09/34.52	c (15,0) opt[156][3] = 0
119.09/34.52	c (15,0) opt[156][4] = 0
119.09/34.52	c (15,0) opt[157][0] = 1
119.09/34.52	c (15,0) opt[157][1] = 1
119.09/34.52	c (15,0) opt[157][2] = 0
119.09/34.52	c (15,0) opt[157][3] = 1
119.09/34.52	c (15,0) opt[157][4] = 0
119.09/34.52	c (15,0) opt[158][0] = 0
119.09/34.52	c (15,0) opt[158][1] = 1
119.09/34.52	c (15,0) opt[158][2] = 0
119.09/34.52	c (15,0) opt[158][3] = 0
119.09/34.52	c (15,0) opt[158][4] = 1
119.09/34.52	c (15,0) opt[159][0] = 0
119.09/34.52	c (15,0) opt[159][1] = 0
119.09/34.52	c (15,0) opt[159][2] = 0
119.09/34.52	c (15,0) opt[159][3] = 1
119.09/34.52	c (15,0) opt[159][4] = 0
119.09/34.52	c (15,0) opt[160][0] = 0
119.09/34.52	c (15,0) opt[160][1] = 1
119.09/34.52	c (15,0) opt[160][2] = 0
119.09/34.52	c (15,0) opt[160][3] = 0
119.09/34.52	c (15,0) opt[160][4] = 0
119.09/34.52	c (15,0) opt[161][0] = 1
119.09/34.52	c (15,0) opt[161][1] = 0
119.09/34.52	c (15,0) opt[161][2] = 1
119.09/34.52	c (15,0) opt[161][3] = 0
119.09/34.52	c (15,0) opt[161][4] = 0
119.09/34.52	c (15,0) opt[162][0] = 0
119.09/34.52	c (15,0) opt[162][1] = 1
119.09/34.52	c (15,0) opt[162][2] = 0
119.09/34.52	c (15,0) opt[162][3] = 0
119.09/34.52	c (15,0) opt[162][4] = 0
119.09/34.52	c (15,0) opt[163][0] = 1
119.09/34.52	c (15,0) opt[163][1] = 1
119.09/34.52	c (15,0) opt[163][2] = 0
119.09/34.52	c (15,0) opt[163][3] = 0
119.09/34.52	c (15,0) opt[163][4] = 0
119.09/34.52	c (15,0) opt[164][0] = 0
119.09/34.52	c (15,0) opt[164][1] = 0
119.09/34.52	c (15,0) opt[164][2] = 1
119.09/34.52	c (15,0) opt[164][3] = 0
119.09/34.52	c (15,0) opt[164][4] = 0
119.09/34.52	c (15,0) opt[165][0] = 0
119.09/34.52	c (15,0) opt[165][1] = 0
119.09/34.52	c (15,0) opt[165][2] = 0
119.09/34.52	c (15,0) opt[165][3] = 1
119.09/34.52	c (15,0) opt[165][4] = 0
119.09/34.52	c (15,0) opt[166][0] = 0
119.09/34.52	c (15,0) opt[166][1] = 1
119.09/34.52	c (15,0) opt[166][2] = 0
119.09/34.52	c (15,0) opt[166][3] = 0
119.09/34.52	c (15,0) opt[166][4] = 0
119.09/34.52	c (15,0) opt[167][0] = 0
119.09/34.52	c (15,0) opt[167][1] = 1
119.09/34.52	c (15,0) opt[167][2] = 1
119.09/34.52	c (15,0) opt[167][3] = 0
119.09/34.52	c (15,0) opt[167][4] = 1
119.09/34.52	c (15,0) opt[168][0] = 0
119.09/34.52	c (15,0) opt[168][1] = 0
119.09/34.52	c (15,0) opt[168][2] = 0
119.09/34.52	c (15,0) opt[168][3] = 1
119.09/34.52	c (15,0) opt[168][4] = 0
119.09/34.52	c (15,0) opt[169][0] = 1
119.09/34.52	c (15,0) opt[169][1] = 1
119.09/34.52	c (15,0) opt[169][2] = 0
119.09/34.52	c (15,0) opt[169][3] = 0
119.09/34.52	c (15,0) opt[169][4] = 0
119.09/34.52	c (15,0) opt[170][0] = 0
119.09/34.52	c (15,0) opt[170][1] = 0
119.09/34.52	c (15,0) opt[170][2] = 0
119.09/34.52	c (15,0) opt[170][3] = 1
119.09/34.52	c (15,0) opt[170][4] = 0
119.09/34.52	c (15,0) opt[171][0] = 0
119.09/34.52	c (15,0) opt[171][1] = 1
119.09/34.52	c (15,0) opt[171][2] = 0
119.09/34.52	c (15,0) opt[171][3] = 0
119.09/34.52	c (15,0) opt[171][4] = 0
119.09/34.52	c (15,0) opt[172][0] = 0
119.09/34.52	c (15,0) opt[172][1] = 0
119.09/34.52	c (15,0) opt[172][2] = 0
119.09/34.52	c (15,0) opt[172][3] = 0
119.09/34.52	c (15,0) opt[172][4] = 1
119.09/34.52	c (15,0) opt[173][0] = 1
119.09/34.52	c (15,0) opt[173][1] = 1
119.09/34.52	c (15,0) opt[173][2] = 0
119.09/34.52	c (15,0) opt[173][3] = 0
119.09/34.52	c (15,0) opt[173][4] = 0
119.09/34.52	c (15,0) opt[174][0] = 0
119.09/34.52	c (15,0) opt[174][1] = 1
119.09/34.52	c (15,0) opt[174][2] = 0
119.09/34.52	c (15,0) opt[174][3] = 0
119.09/34.52	c (15,0) opt[174][4] = 0
119.09/34.52	c (15,0) opt[175][0] = 1
119.09/34.52	c (15,0) opt[175][1] = 0
119.09/34.52	c (15,0) opt[175][2] = 0
119.09/34.52	c (15,0) opt[175][3] = 0
119.09/34.52	c (15,0) opt[175][4] = 0
119.09/34.52	c (15,0) opt[176][0] = 0
119.09/34.52	c (15,0) opt[176][1] = 0
119.09/34.52	c (15,0) opt[176][2] = 1
119.09/34.52	c (15,0) opt[176][3] = 0
119.09/34.52	c (15,0) opt[176][4] = 0
119.09/34.52	c (15,0) opt[177][0] = 0
119.09/34.52	c (15,0) opt[177][1] = 1
119.09/34.52	c (15,0) opt[177][2] = 0
119.09/34.52	c (15,0) opt[177][3] = 0
119.09/34.52	c (15,0) opt[177][4] = 0
119.09/34.52	c (15,0) opt[178][0] = 0
119.09/34.52	c (15,0) opt[178][1] = 0
119.09/34.52	c (15,0) opt[178][2] = 0
119.09/34.52	c (15,0) opt[178][3] = 0
119.09/34.52	c (15,0) opt[178][4] = 1
119.09/34.52	c (15,0) opt[179][0] = 1
119.09/34.52	c (15,0) opt[179][1] = 0
119.09/34.52	c (15,0) opt[179][2] = 0
119.09/34.52	c (15,0) opt[179][3] = 1
119.09/34.52	c (15,0) opt[179][4] = 0
119.09/34.52	c (15,0) opt[180][0] = 0
119.09/34.52	c (15,0) opt[180][1] = 1
119.09/34.52	c (15,0) opt[180][2] = 0
119.09/34.52	c (15,0) opt[180][3] = 0
119.09/34.52	c (15,0) opt[180][4] = 0
119.09/34.52	c (15,0) opt[181][0] = 0
119.09/34.52	c (15,0) opt[181][1] = 0
119.09/34.52	c (15,0) opt[181][2] = 0
119.09/34.52	c (15,0) opt[181][3] = 1
119.09/34.52	c (15,0) opt[181][4] = 0
119.09/34.52	c (15,0) opt[182][0] = 0
119.09/34.52	c (15,0) opt[182][1] = 1
119.09/34.52	c (15,0) opt[182][2] = 1
119.09/34.52	c (15,0) opt[182][3] = 0
119.09/34.52	c (15,0) opt[182][4] = 0
119.09/34.52	c (15,0) opt[183][0] = 0
119.09/34.52	c (15,0) opt[183][1] = 1
119.09/34.52	c (15,0) opt[183][2] = 0
119.09/34.52	c (15,0) opt[183][3] = 0
119.09/34.52	c (15,0) opt[183][4] = 0
119.09/34.52	c (15,0) opt[184][0] = 1
119.09/34.52	c (15,0) opt[184][1] = 0
119.09/34.52	c (15,0) opt[184][2] = 0
119.09/34.52	c (15,0) opt[184][3] = 0
119.09/34.52	c (15,0) opt[184][4] = 1
119.09/34.52	c (15,0) opt[185][0] = 0
119.09/34.52	c (15,0) opt[185][1] = 0
119.09/34.52	c (15,0) opt[185][2] = 0
119.09/34.52	c (15,0) opt[185][3] = 1
119.09/34.52	c (15,0) opt[185][4] = 0
119.09/34.52	c (15,0) opt[186][0] = 1
119.09/34.52	c (15,0) opt[186][1] = 1
119.09/34.52	c (15,0) opt[186][2] = 1
119.09/34.52	c (15,0) opt[186][3] = 0
119.09/34.52	c (15,0) opt[186][4] = 0
119.09/34.52	c (15,0) opt[187][0] = 0
119.09/34.52	c (15,0) opt[187][1] = 1
119.09/34.52	c (15,0) opt[187][2] = 0
119.09/34.52	c (15,0) opt[187][3] = 0
119.09/34.52	c (15,0) opt[187][4] = 0
119.09/34.52	c (15,0) opt[188][0] = 0
119.09/34.52	c (15,0) opt[188][1] = 0
119.09/34.52	c (15,0) opt[188][2] = 0
119.09/34.52	c (15,0) opt[188][3] = 1
119.09/34.52	c (15,0) opt[188][4] = 0
119.09/34.52	c (15,0) opt[189][0] = 1
119.09/34.52	c (15,0) opt[189][1] = 0
119.09/34.52	c (15,0) opt[189][2] = 1
119.09/34.52	c (15,0) opt[189][3] = 0
119.09/34.52	c (15,0) opt[189][4] = 0
119.09/34.52	c (15,0) opt[190][0] = 0
119.09/34.52	c (15,0) opt[190][1] = 1
119.09/34.52	c (15,0) opt[190][2] = 0
119.09/34.52	c (15,0) opt[190][3] = 0
119.09/34.52	c (15,0) opt[190][4] = 0
119.09/34.52	c (15,0) opt[191][0] = 1
119.09/34.52	c (15,0) opt[191][1] = 1
119.09/34.52	c (15,0) opt[191][2] = 0
119.09/34.52	c (15,0) opt[191][3] = 0
119.09/34.52	c (15,0) opt[191][4] = 0
119.09/34.52	c (15,0) opt[192][0] = 0
119.09/34.52	c (15,0) opt[192][1] = 0
119.09/34.52	c (15,0) opt[192][2] = 0
119.09/34.52	c (15,0) opt[192][3] = 1
119.09/34.52	c (15,0) opt[192][4] = 1
119.09/34.52	c (15,0) opt[193][0] = 1
119.09/34.52	c (15,0) opt[193][1] = 1
119.09/34.52	c (15,0) opt[193][2] = 1
119.09/34.52	c (15,0) opt[193][3] = 0
119.09/34.52	c (15,0) opt[193][4] = 0
119.09/34.52	c (15,0) opt[194][0] = 0
119.09/34.52	c (15,0) opt[194][1] = 1
119.09/34.52	c (15,0) opt[194][2] = 0
119.09/34.52	c (15,0) opt[194][3] = 0
119.09/34.52	c (15,0) opt[194][4] = 0
119.09/34.52	c (15,0) opt[195][0] = 1
119.09/34.52	c (15,0) opt[195][1] = 0
119.09/34.52	c (15,0) opt[195][2] = 0
119.09/34.52	c (15,0) opt[195][3] = 0
119.09/34.52	c (15,0) opt[195][4] = 0
119.09/34.52	c (15,0) opt[196][0] = 0
119.09/34.52	c (15,0) opt[196][1] = 1
119.09/34.52	c (15,0) opt[196][2] = 0
119.09/34.52	c (15,0) opt[196][3] = 0
119.09/34.52	c (15,0) opt[196][4] = 0
119.09/34.52	c (15,0) opt[197][0] = 0
119.09/34.52	c (15,0) opt[197][1] = 1
119.09/34.52	c (15,0) opt[197][2] = 0
119.09/34.52	c (15,0) opt[197][3] = 0
119.09/34.52	c (15,0) opt[197][4] = 0
119.09/34.52	c (15,0) opt[198][0] = 1
119.09/34.52	c (15,0) opt[198][1] = 0
119.09/34.52	c (15,0) opt[198][2] = 1
119.09/34.52	c (15,0) opt[198][3] = 1
119.09/34.52	c (15,0) opt[198][4] = 0
119.09/34.52	c (15,0) opt[199][0] = 0
119.09/34.52	c (15,0) opt[199][1] = 0
119.09/34.52	c (15,0) opt[199][2] = 0
119.09/34.52	c (15,0) opt[199][3] = 1
119.09/34.52	c (15,0) opt[199][4] = 0
119.09/34.52	s SATISFIABLE
119.09/34.52	v <instantiation>
119.09/34.52	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>
119.09/34.53	v     <values>3 13 16 16 14 22 14 4 11 4 6 2 4 13 4 13 4 12 7 4 13 4 4 18 4 4 13 19 14 4 15 13 16 16 13 4 4 16 4 5 13 15 14 4 13 4 17 6 21 11 4 14 15 13 4 16 15 14 4 8 4 4 13 16 15 21 5 13 19 4 13 15 16 20 4 13 5 13 4 15 14 4 13 4 7 4 8 4 15 14 21 13 4 1 16 14 4 16 14 4 15 6 4 21 13 4 16 24 4 16 24 23 16 4 7 4 14 19 13 4 23 4 7 4 13 19 4 4 13 4 16 20 15 4 13 17 23 4 17 16 16 4 23 4 20 15 4 13 4 13 0 14 4 16 4 4 15 10 5 16 4 11 4 14 15 16 4 3 16 14 16 4 23 14 4 13 15 4 23 20 4 16 17 4 8 16 9 4 16 11 4 14 6 9 4 13 4 4 7 16 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0</values>
119.09/34.53	v </instantiation>
119.09/34.53	c (15,0) Show results End
119.09/34.53	c (15,0) Heap : 291 MiB used (max 3925 MiB), NonHeap : 20 MiB used (max 0 MiB)
119.09/34.53	c (15,0) 15,15,STOP-AFTER(ALL)
119.09/34.53	c END-Prog: Sat Sep 14 05:14:29 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 (15106 MiB free)
  memory of node 1: 16384 MiB (14989 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392601-1568430874/watcher-4392601-1568430874 -o /tmp/evaluation-result-4392601-1568430874/solver-4392601-1568430874 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --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-4392601-1568430874.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22658, runsolver pid=22655
Current StackSize limit: 8192 KiB


[startup+0.100159 s]*
/proc/loadavg: 5.01 5.04 5.10 2/216 22680
/proc/meminfo: memFree=30723716/32770624 swapFree=66968356/67108860
[pid=22658] ppid=22655 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22658/stat : 22658 (scop.sh) S 22655 22658 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419336979 115843072 349 33554432000 4194304 5098028 140724731918144 140724731915400 140135715308156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24006656 140724731925284 140724731925612 140724731925612 140724731928525 0
/proc/22658/statm: 28282 349 296 221 0 87 0
[pid=22661] ppid=22658 vsize=27314120 memory=107080 CPUtime=0.11 cores=0-7
/proc/22661/stat : 22661 (java) S 22658 22658 22116 0 -1 1077944320 6840 0 0 0 8 3 0 0 20 0 20 0 419336979 27969658880 26770 33554432000 4194304 4196468 140730941992464 140730941975008 139843064004343 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
/proc/22661/statm: 6828530 26770 2801 1 0 6790935 0
[pid=22661/tid=22662] ppid=22658 vsize=27314120 memory=8112842686382119581 CPUtime=0.09 cores=0-7
/proc/22661/task/22662/stat : 22662 (java) R 22658 22658 22116 0 -1 4202560 4940 0 0 0 7 2 0 0 20 0 20 0 419336980 27969658880 26770 33554432000 4194304 4196468 140730941992464 139843035829200 139843064026269 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22663] ppid=22658 vsize=27314120 memory=732370802867284965 CPUtime=0 cores=0-7
/proc/22661/task/22663/stat : 22663 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139843068246544 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22664] ppid=22658 vsize=27314120 memory=140664529831552 CPUtime=0 cores=0-7
/proc/22661/task/22664/stat : 22664 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842882402960 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22665] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22665/stat : 22665 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842881349904 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22666] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22666/stat : 22666 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842880297360 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22667] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22667/stat : 22667 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842879245328 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22668] ppid=22658 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22661/task/22668/stat : 22668 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842878192784 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22669] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22669/stat : 22669 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842877139728 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22670] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22670/stat : 22670 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842876087184 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22671] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22671/stat : 22671 (java) S 22658 22658 22116 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842054777072 139843064015490 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22672] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22672/stat : 22672 (java) S 22658 22658 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 26770 33554432000 4194304 4196468 140730941992464 139840913925280 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22673] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22673/stat : 22673 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 26770 33554432000 4194304 4196468 140730941992464 139840645489392 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22674] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22674/stat : 22674 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 26770 33554432000 4194304 4196468 140730941992464 139840270981072 139843064022939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22675] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22675/stat : 22675 (java) S 22658 22658 22116 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842053724912 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22676] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22676/stat : 22676 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842052672368 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22677] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22677/stat : 22677 (java) S 22658 22658 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842051619312 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22678] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22678/stat : 22678 (java) S 22658 22658 22116 0 -1 1077944384 252 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842050566768 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22679] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22679/stat : 22679 (java) S 22658 22658 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 26770 33554432000 4194304 4196468 140730941992464 139839773075936 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22680] ppid=22658 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22661/task/22680/stat : 22680 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 26770 33554432000 4194304 4196468 140730941992464 139842049514160 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108476 KiB

[startup+0.210913 s]*
/proc/loadavg: 5.01 5.04 5.10 2/216 22680
/proc/meminfo: memFree=30704624/32770624 swapFree=66968356/67108860
[pid=22658] ppid=22655 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22658/stat : 22658 (scop.sh) S 22655 22658 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419336979 115843072 349 33554432000 4194304 5098028 140724731918144 140724731915400 140135715308156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24006656 140724731925284 140724731925612 140724731925612 140724731928525 0
/proc/22658/statm: 28282 349 296 221 0 87 0
[pid=22661] ppid=22658 vsize=27314120 memory=123936 CPUtime=0.25 cores=0-7
/proc/22661/stat : 22661 (java) S 22658 22658 22116 0 -1 1077944320 11848 0 0 0 20 5 0 0 20 0 20 0 419336979 27969658880 30984 33554432000 4194304 4196468 140730941992464 140730941975008 139843064004343 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
/proc/22661/statm: 6828530 30984 2953 1 0 6790935 0
[pid=22661/tid=22662] ppid=22658 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/22661/task/22662/stat : 22662 (java) R 22658 22658 22116 0 -1 4202560 9559 0 0 0 16 3 0 0 20 0 20 0 419336980 27969658880 30984 33554432000 4194304 4196468 140730941992464 139843035803728 139843045377792 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22663] ppid=22658 vsize=27314120 memory=281328936634104 CPUtime=0 cores=0-7
/proc/22661/task/22663/stat : 22663 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139843068246544 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22664] ppid=22658 vsize=27314120 memory=140664529831552 CPUtime=0 cores=0-7
/proc/22661/task/22664/stat : 22664 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842882402960 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22665] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22665/stat : 22665 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842881349904 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22666] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22666/stat : 22666 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842880297360 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22667] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22667/stat : 22667 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842879245328 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22668] ppid=22658 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22661/task/22668/stat : 22668 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842878192784 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22669] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22669/stat : 22669 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842877139728 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22670] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22670/stat : 22670 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842876087184 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22671] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22671/stat : 22671 (java) S 22658 22658 22116 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842054777072 139843064015490 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22672] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22672/stat : 22672 (java) S 22658 22658 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 30984 33554432000 4194304 4196468 140730941992464 139840913925280 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22673] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22673/stat : 22673 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 30984 33554432000 4194304 4196468 140730941992464 139840645489392 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22674] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22674/stat : 22674 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 30984 33554432000 4194304 4196468 140730941992464 139840270981072 139843064022939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22675] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22675/stat : 22675 (java) S 22658 22658 22116 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842053724912 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22676] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22676/stat : 22676 (java) S 22658 22658 22116 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842052672368 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22677] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22677/stat : 22677 (java) S 22658 22658 22116 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842051619312 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22678] ppid=22658 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/22661/task/22678/stat : 22678 (java) S 22658 22658 22116 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 20 0 419336987 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842050566768 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22679] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22679/stat : 22679 (java) S 22658 22658 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 30984 33554432000 4194304 4196468 140730941992464 139839773075936 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22680] ppid=22658 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22661/task/22680/stat : 22680 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 30984 33554432000 4194304 4196468 140730941992464 139842049514160 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125332 KiB

[startup+0.310741 s]*
/proc/loadavg: 5.01 5.04 5.10 2/216 22680
/proc/meminfo: memFree=30701584/32770624 swapFree=66968356/67108860
[pid=22658] ppid=22655 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22658/stat : 22658 (scop.sh) S 22655 22658 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419336979 115843072 349 33554432000 4194304 5098028 140724731918144 140724731915400 140135715308156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24006656 140724731925284 140724731925612 140724731925612 140724731928525 0
/proc/22658/statm: 28282 349 296 221 0 87 0
[pid=22661] ppid=22658 vsize=27314120 memory=127876 CPUtime=0.43 cores=0-7
/proc/22661/stat : 22661 (java) S 22658 22658 22116 0 -1 1077944320 12287 0 0 0 38 5 0 0 20 0 20 0 419336979 27969658880 31969 33554432000 4194304 4196468 140730941992464 140730941975008 139843064004343 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
/proc/22661/statm: 6828530 31969 3065 1 0 6790935 0
[pid=22661/tid=22662] ppid=22658 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22661/task/22662/stat : 22662 (java) R 22658 22658 22116 0 -1 4202560 9830 0 0 0 26 3 0 0 20 0 20 0 419336980 27969658880 31969 33554432000 4194304 4196468 140730941992464 139843035807568 139843064018192 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22663] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22663/stat : 22663 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139843068246544 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22664] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22664/stat : 22664 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842882402960 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22665] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22665/stat : 22665 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842881349904 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22666] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22666/stat : 22666 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842880297360 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22667] ppid=22658 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/22661/task/22667/stat : 22667 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842879245328 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22668] ppid=22658 vsize=27314120 memory=140664406897583 CPUtime=0 cores=0-7
/proc/22661/task/22668/stat : 22668 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842878192784 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22669] ppid=22658 vsize=27314120 memory=140664406899888 CPUtime=0 cores=0-7
/proc/22661/task/22669/stat : 22669 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842877139728 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22670] ppid=22658 vsize=27314120 memory=140664406902192 CPUtime=0 cores=0-7
/proc/22661/task/22670/stat : 22670 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842876087184 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22671] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22671/stat : 22671 (java) S 22658 22658 22116 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842054777072 139843064015490 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22672] ppid=22658 vsize=27314120 memory=281328813811344 CPUtime=0 cores=0-7
/proc/22661/task/22672/stat : 22672 (java) S 22658 22658 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 31969 33554432000 4194304 4196468 140730941992464 139840913925280 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22673] ppid=22658 vsize=27314120 memory=281328813818256 CPUtime=0 cores=0-7
/proc/22661/task/22673/stat : 22673 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336984 27969658880 31969 33554432000 4194304 4196468 140730941992464 139840645489392 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22674] ppid=22658 vsize=27314120 memory=281328813759536 CPUtime=0 cores=0-7
/proc/22661/task/22674/stat : 22674 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 31969 33554432000 4194304 4196468 140730941992464 139840270981072 139843064022939 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22675] ppid=22658 vsize=27314120 memory=281328813832080 CPUtime=0.02 cores=0-7
/proc/22661/task/22675/stat : 22675 (java) S 22658 22658 22116 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 419336987 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842053724912 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22676] ppid=22658 vsize=27314120 memory=281328813838992 CPUtime=0.01 cores=0-7
/proc/22661/task/22676/stat : 22676 (java) S 22658 22658 22116 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 419336987 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842052672368 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22677] ppid=22658 vsize=27314120 memory=281328813836688 CPUtime=0.01 cores=0-7
/proc/22661/task/22677/stat : 22677 (java) S 22658 22658 22116 0 -1 1077944384 138 0 0 0 1 0 0 0 20 0 20 0 419336987 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842051619312 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22678] ppid=22658 vsize=27314120 memory=281328813852848 CPUtime=0.07 cores=0-7
/proc/22661/task/22678/stat : 22678 (java) S 22658 22658 22116 0 -1 1077944384 492 0 0 0 7 0 0 0 20 0 20 0 419336987 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842050566768 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22679] ppid=22658 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/22661/task/22679/stat : 22679 (java) S 22658 22658 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 31969 33554432000 4194304 4196468 140730941992464 139839773075936 139843064014549 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22680] ppid=22658 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/22661/task/22680/stat : 22680 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336987 27969658880 31969 33554432000 4194304 4196468 140730941992464 139842049514160 139843064015490 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129272 KiB

[startup+0.701007 s]
/proc/loadavg: 5.01 5.04 5.10 2/216 22680
/proc/meminfo: memFree=30678020/32770624 swapFree=66968356/67108860
[pid=22658] ppid=22655 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/22658/stat : 22658 (scop.sh) S 22655 22658 22116 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419336979 115843072 349 33554432000 4194304 5098028 140724731918144 140724731915400 140135715308156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24006656 140724731925284 140724731925612 140724731925612 140724731928525 0
/proc/22658/statm: 28282 349 296 221 0 87 0
[pid=22661] ppid=22658 vsize=27320392 memory=165680 CPUtime=1.01 cores=0-7
/proc/22661/stat : 22661 (java) S 22658 22658 22116 0 -1 1077944320 20504 0 0 0 93 8 0 0 20 0 20 0 419336979 27976081408 41420 33554432000 4194304 4196468 140730941992464 140730941975008 139843064004343 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
/proc/22661/statm: 6830098 41420 3182 1 0 6791447 0
[pid=22661/tid=22662] ppid=22658 vsize=27320392 memory=281328814147712 CPUtime=0.67 cores=0-7
/proc/22661/task/22662/stat : 22662 (java) R 22658 22658 22116 0 -1 4202560 17401 0 0 0 61 6 0 0 20 0 20 0 419336980 27976081408 41420 33554432000 4194304 4196468 140730941992464 139843035842040 139842541653408 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22663] ppid=22658 vsize=27320392 memory=3928 CPUtime=0 cores=0-7
/proc/22661/task/22663/stat : 22663 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27976081408 41420 33554432000 4194304 4196468 140730941992464 139843068246544 139843064014549 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22664] ppid=22658 vsize=27320392 memory=716 CPUtime=0 cores=0-7
/proc/22661/task/22664/stat : 22664 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419336982 27976081408 41420 33554432000 4194304 4196468 140730941992464 139842882402960 139843064014549 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0
[pid=22661/tid=22665] ppid=22658 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/22661/task/22665/stat : 22665 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419336982 27976081408 41420 33554432000 4194304 4196468 140730941992464 139842881349904 139843064014549 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140730941993706 140730941994134 140730941994134 140730941997007 0

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

[pid=22683/tid=22684] ppid=22658 vsize=8414124 memory=-7824251494390846821 CPUtime=0.91 cores=0-7
/proc/22683/task/22684/stat : 22684 (java) S 22658 22658 22116 0 -1 1077944384 17501 0 0 0 78 13 0 0 20 0 24 0 419338804 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616534785952 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22685] ppid=22658 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/22683/task/22685/stat : 22685 (java) S 22658 22658 22116 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616567188240 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22686] ppid=22658 vsize=8414124 memory=2404440 CPUtime=0 cores=0-7
/proc/22683/task/22686/stat : 22686 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616367356816 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22687] ppid=22658 vsize=8414124 memory=7686721470284340117 CPUtime=0 cores=0-7
/proc/22683/task/22687/stat : 22687 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616366304272 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22688] ppid=22658 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/22683/task/22688/stat : 22688 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616365251728 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22689] ppid=22658 vsize=8414124 memory=2404 CPUtime=0 cores=0-7
/proc/22683/task/22689/stat : 22689 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616364198160 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22690] ppid=22658 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/22683/task/22690/stat : 22690 (java) S 22658 22658 22116 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616363145616 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22691] ppid=22658 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/22683/task/22691/stat : 22691 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616362093072 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22692] ppid=22658 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/22683/task/22692/stat : 22692 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419338805 8616062976 38082 33554432000 4194304 4196468 140723573512160 140616361040528 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22693] ppid=22658 vsize=8414124 memory=1632 CPUtime=0 cores=0-7
/proc/22683/task/22693/stat : 22693 (java) S 22658 22658 22116 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419338806 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615656393200 140616562956930 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22694] ppid=22658 vsize=8414124 memory=2404 CPUtime=0 cores=0-7
/proc/22683/task/22694/stat : 22694 (java) S 22658 22658 22116 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419338807 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615148889504 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22695] ppid=22658 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/22683/task/22695/stat : 22695 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419338807 8616062976 38082 33554432000 4194304 4196468 140723573512160 140614880454128 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22696] ppid=22658 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/22683/task/22696/stat : 22696 (java) S 22658 22658 22116 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419338809 8616062976 38082 33554432000 4194304 4196468 140723573512160 140614505945808 140616562964379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22697] ppid=22658 vsize=8414124 memory=800 CPUtime=0.29 cores=0-7
/proc/22683/task/22697/stat : 22697 (java) S 22658 22658 22116 0 -1 1077944384 1607 0 0 0 29 0 0 0 20 0 24 0 419338809 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615655340016 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22698] ppid=22658 vsize=8414124 memory=1632 CPUtime=0.16 cores=0-7
/proc/22683/task/22698/stat : 22698 (java) S 22658 22658 22116 0 -1 1077944384 333 0 0 0 16 0 0 0 20 0 24 0 419338809 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615654287472 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22699] ppid=22658 vsize=8414124 memory=1804 CPUtime=0.22 cores=0-7
/proc/22683/task/22699/stat : 22699 (java) S 22658 22658 22116 0 -1 1077944384 580 0 0 0 22 0 0 0 20 0 24 0 419338810 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615653234928 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22700] ppid=22658 vsize=8414124 memory=920 CPUtime=0.28 cores=0-7
/proc/22683/task/22700/stat : 22700 (java) S 22658 22658 22116 0 -1 1077944384 1152 0 0 0 28 0 0 0 20 0 24 0 419338810 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615652182384 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22701] ppid=22658 vsize=8414124 memory=281328815542032 CPUtime=0 cores=0-7
/proc/22683/task/22701/stat : 22701 (java) S 22658 22658 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419338810 8616062976 38082 33554432000 4194304 4196468 140723573512160 140614008040160 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22702] ppid=22658 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/22683/task/22702/stat : 22702 (java) S 22658 22658 22116 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419338810 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615651130288 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22704] ppid=22658 vsize=8414124 memory=-8412656567318647667 CPUtime=0 cores=0-7
/proc/22683/task/22704/stat : 22704 (java) S 22658 22658 22116 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419338892 8616062976 38082 33554432000 4194304 4196468 140723573512160 140615640999616 140616562970393 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22706] ppid=22658 vsize=8414124 memory=8514701219730522529 CPUtime=0.08 cores=0-7
/proc/22683/task/22706/stat : 22706 (java) S 22658 22658 22116 0 -1 4202560 1696 0 0 0 6 2 0 0 20 0 24 0 419338892 8616062976 38082 33554432000 4194304 4196468 140723573512160 140613336939776 140616562967709 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22707] ppid=22658 vsize=8414124 memory=7822038051842261661 CPUtime=0 cores=0-7
/proc/22683/task/22707/stat : 22707 (java) S 22658 22658 22116 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 24 0 419338892 8616062976 38082 33554432000 4194304 4196468 140723573512160 140613605375408 140616562967709 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22708] ppid=22658 vsize=8414124 memory=4427205132082312746 CPUtime=0 cores=0-7
/proc/22683/task/22708/stat : 22708 (java) S 22658 22658 22116 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419338894 8616062976 38082 33554432000 4194304 4196468 140723573512160 140613068512432 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
Current children cumulated CPU time: 118.1 s
Current children cumulated vsize: 11303672 KiB
Current children cumulated memory: 2598956 KiB

[startup+34.401 s]
/proc/loadavg: 4.74 4.96 5.07 3/221 22716
/proc/meminfo: memFree=28172620/32770624 swapFree=66968356/67108860
[pid=22658] ppid=22655 vsize=113128 memory=1476 CPUtime=32.51 cores=0-7
/proc/22658/stat : 22658 (scop.sh) S 22655 22658 22116 0 -1 4202496 583 42609 0 0 0 0 3098 153 20 0 1 0 419336979 115843072 369 33554432000 4194304 5098028 140724731918144 140724731914888 140135715308156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24006656 140724731925284 140724731925612 140724731925612 140724731928525 0
/proc/22658/statm: 28282 369 311 221 0 87 0
[pid=22683] ppid=22658 vsize=8283048 memory=299456 CPUtime=86.31 cores=0-7
/proc/22683/stat : 22683 (java) S 22658 22658 22116 0 -1 1077944320 24732 1252227 0 0 235 20 8098 278 20 0 22 0 419338803 8481841152 74864 33554432000 4194304 4196468 140723573512160 140723573494704 140616562945783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
/proc/22683/statm: 2070762 74864 3229 1 0 2032106 0
[pid=22683/tid=22684] ppid=22658 vsize=8283048 memory=180 CPUtime=84.75 cores=0-7
/proc/22683/task/22684/stat : 22684 (java) R 22658 22658 22116 0 -1 4202560 17643 1252227 0 0 86 13 8098 278 20 0 22 0 419338804 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616534785064 140616042472519 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22685] ppid=22658 vsize=8283048 memory=6791534058613427641 CPUtime=83.76 cores=0-7
/proc/22683/task/22685/stat : 22685 (java) S 22658 22658 22116 0 -1 1077944384 4 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616567188240 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22686] ppid=22658 vsize=8283048 memory=6944656592455359580 CPUtime=83.76 cores=0-7
/proc/22683/task/22686/stat : 22686 (java) S 22658 22658 22116 0 -1 1077944384 2 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616367356816 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22687] ppid=22658 vsize=8283048 memory=140664407468033 CPUtime=83.76 cores=0-7
/proc/22683/task/22687/stat : 22687 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616366304272 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22688] ppid=22658 vsize=8283048 memory=3905800868494311456 CPUtime=83.76 cores=0-7
/proc/22683/task/22688/stat : 22688 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616365251728 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22689] ppid=22658 vsize=8283048 memory=140664407492267 CPUtime=83.76 cores=0-7
/proc/22683/task/22689/stat : 22689 (java) S 22658 22658 22116 0 -1 1077944384 2 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616364198160 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22690] ppid=22658 vsize=8283048 memory=1476 CPUtime=83.76 cores=0-7
/proc/22683/task/22690/stat : 22690 (java) S 22658 22658 22116 0 -1 1077944384 2 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616363145616 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22691] ppid=22658 vsize=8283048 memory=128452 CPUtime=83.76 cores=0-7
/proc/22683/task/22691/stat : 22691 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616362093072 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22692] ppid=22658 vsize=8283048 memory=2430248 CPUtime=83.76 cores=0-7
/proc/22683/task/22692/stat : 22692 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 74864 33554432000 4194304 4196468 140723573512160 140616361040528 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22693] ppid=22658 vsize=8283048 memory=128452 CPUtime=83.76 cores=0-7
/proc/22683/task/22693/stat : 22693 (java) S 22658 22658 22116 0 -1 1077944384 5 1252227 0 0 0 0 8098 278 20 0 22 0 419338806 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615656393200 140616562956930 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22694] ppid=22658 vsize=8283048 memory=2443748 CPUtime=83.76 cores=0-7
/proc/22683/task/22694/stat : 22694 (java) S 22658 22658 22116 0 -1 1077944384 13 1252227 0 0 0 0 8098 278 20 0 22 0 419338807 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615148889504 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22695] ppid=22658 vsize=8283048 memory=1408 CPUtime=83.76 cores=0-7
/proc/22683/task/22695/stat : 22695 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338807 8481841152 74864 33554432000 4194304 4196468 140723573512160 140614880454128 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22696] ppid=22658 vsize=8283048 memory=2434768 CPUtime=83.76 cores=0-7
/proc/22683/task/22696/stat : 22696 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338809 8481841152 74864 33554432000 4194304 4196468 140723573512160 140614505945808 140616562964379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22697] ppid=22658 vsize=8283048 memory=1424 CPUtime=84.09 cores=0-7
/proc/22683/task/22697/stat : 22697 (java) S 22658 22658 22116 0 -1 1077944384 1625 1252227 0 0 33 0 8098 278 20 0 22 0 419338809 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615655340016 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22698] ppid=22658 vsize=8283048 memory=1448 CPUtime=83.95 cores=0-7
/proc/22683/task/22698/stat : 22698 (java) S 22658 22658 22116 0 -1 1077944384 348 1252227 0 0 19 0 8098 278 20 0 22 0 419338809 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615654287472 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22699] ppid=22658 vsize=8283048 memory=916 CPUtime=84.04 cores=0-7
/proc/22683/task/22699/stat : 22699 (java) S 22658 22658 22116 0 -1 1077944384 600 1252227 0 0 28 0 8098 278 20 0 22 0 419338810 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615653234928 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22700] ppid=22658 vsize=8283048 memory=1980 CPUtime=84.11 cores=0-7
/proc/22683/task/22700/stat : 22700 (java) R 22658 22658 22116 0 -1 4202560 1322 1252227 0 0 35 0 8098 278 20 0 22 0 419338810 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615652182384 140616556042619 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22701] ppid=22658 vsize=8283048 memory=2404 CPUtime=83.76 cores=0-7
/proc/22683/task/22701/stat : 22701 (java) S 22658 22658 22116 0 -1 1077944384 3 1252227 0 0 0 0 8098 278 20 0 22 0 419338810 8481841152 74864 33554432000 4194304 4196468 140723573512160 140614008040160 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22702] ppid=22658 vsize=8283048 memory=1764 CPUtime=83.76 cores=0-7
/proc/22683/task/22702/stat : 22702 (java) S 22658 22658 22116 0 -1 1077944384 3 1252227 0 0 0 0 8098 278 20 0 22 0 419338810 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615651130288 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22704] ppid=22658 vsize=8283048 memory=111632 CPUtime=83.76 cores=0-7
/proc/22683/task/22704/stat : 22704 (java) S 22658 22658 22116 0 -1 1077944384 24 1252227 0 0 0 0 8098 278 20 0 22 0 419338892 8481841152 74864 33554432000 4194304 4196468 140723573512160 140615640998800 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22708] ppid=22658 vsize=8283048 memory=1632 CPUtime=83.76 cores=0-7
/proc/22683/task/22708/stat : 22708 (java) S 22658 22658 22116 0 -1 1077944384 14 1252227 0 0 0 0 8098 278 20 0 22 0 419338894 8481841152 74864 33554432000 4194304 4196468 140723573512160 140613068514224 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
Current children cumulated CPU time: 118.82 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 300932 KiB

[startup+34.5018 s]
/proc/loadavg: 4.74 4.96 5.07 3/221 22716
/proc/meminfo: memFree=28172620/32770624 swapFree=66968356/67108860
[pid=22658] ppid=22655 vsize=113128 memory=1476 CPUtime=32.51 cores=0-7
/proc/22658/stat : 22658 (scop.sh) S 22655 22658 22116 0 -1 4202496 583 42609 0 0 0 0 3098 153 20 0 1 0 419336979 115843072 369 33554432000 4194304 5098028 140724731918144 140724731914888 140135715308156 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 24006656 140724731925284 140724731925612 140724731925612 140724731928525 0
/proc/22658/statm: 28282 369 311 221 0 87 0
[pid=22683] ppid=22658 vsize=8283048 memory=308792 CPUtime=86.58 cores=0-7
/proc/22683/stat : 22683 (java) S 22658 22658 22116 0 -1 1077944320 26088 1252227 0 0 262 20 8098 278 20 0 22 0 419338803 8481841152 77198 33554432000 4194304 4196468 140723573512160 140723573494704 140616562945783 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
/proc/22683/statm: 2070762 77198 3234 1 0 2032106 0
[pid=22683/tid=22684] ppid=22658 vsize=8283048 memory=294152 CPUtime=84.85 cores=0-7
/proc/22683/task/22684/stat : 22684 (java) R 22658 22658 22116 0 -1 4202560 17755 1252227 0 0 96 13 8098 278 20 0 22 0 419338804 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616534784240 140616042461872 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22685] ppid=22658 vsize=8283048 memory=195051644825955 CPUtime=83.76 cores=0-7
/proc/22683/task/22685/stat : 22685 (java) S 22658 22658 22116 0 -1 1077944384 4 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616567188240 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22686] ppid=22658 vsize=8283048 memory=187144 CPUtime=83.76 cores=0-7
/proc/22683/task/22686/stat : 22686 (java) S 22658 22658 22116 0 -1 1077944384 2 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616367356816 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22687] ppid=22658 vsize=8283048 memory=14008 CPUtime=83.76 cores=0-7
/proc/22683/task/22687/stat : 22687 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616366304272 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22688] ppid=22658 vsize=8283048 memory=8028 CPUtime=83.76 cores=0-7
/proc/22683/task/22688/stat : 22688 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616365251728 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22689] ppid=22658 vsize=8283048 memory=2948 CPUtime=83.76 cores=0-7
/proc/22683/task/22689/stat : 22689 (java) S 22658 22658 22116 0 -1 1077944384 2 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616364198160 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22690] ppid=22658 vsize=8283048 memory=1476 CPUtime=83.76 cores=0-7
/proc/22683/task/22690/stat : 22690 (java) S 22658 22658 22116 0 -1 1077944384 2 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616363145616 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22691] ppid=22658 vsize=8283048 memory=7686721470284340117 CPUtime=83.76 cores=0-7
/proc/22683/task/22691/stat : 22691 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616362093072 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22692] ppid=22658 vsize=8283048 memory=128452 CPUtime=83.76 cores=0-7
/proc/22683/task/22692/stat : 22692 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338805 8481841152 77198 33554432000 4194304 4196468 140723573512160 140616361040528 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22693] ppid=22658 vsize=8283048 memory=0 CPUtime=83.76 cores=0-7
/proc/22683/task/22693/stat : 22693 (java) S 22658 22658 22116 0 -1 1077944384 5 1252227 0 0 0 0 8098 278 20 0 22 0 419338806 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615656393200 140616562956930 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22694] ppid=22658 vsize=8283048 memory=0 CPUtime=83.76 cores=0-7
/proc/22683/task/22694/stat : 22694 (java) S 22658 22658 22116 0 -1 1077944384 13 1252227 0 0 0 0 8098 278 20 0 22 0 419338807 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615148889504 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22695] ppid=22658 vsize=8283048 memory=3624 CPUtime=83.76 cores=0-7
/proc/22683/task/22695/stat : 22695 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338807 8481841152 77198 33554432000 4194304 4196468 140723573512160 140614880454128 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22696] ppid=22658 vsize=8283048 memory=24112 CPUtime=83.76 cores=0-7
/proc/22683/task/22696/stat : 22696 (java) S 22658 22658 22116 0 -1 1077944384 1 1252227 0 0 0 0 8098 278 20 0 22 0 419338809 8481841152 77198 33554432000 4194304 4196468 140723573512160 140614505945808 140616562964379 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22697] ppid=22658 vsize=8283048 memory=984 CPUtime=84.12 cores=0-7
/proc/22683/task/22697/stat : 22697 (java) R 22658 22658 22116 0 -1 4202560 2020 1252227 0 0 36 0 8098 278 20 0 22 0 419338809 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615655325984 140616544489506 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22698] ppid=22658 vsize=8283048 memory=1476 CPUtime=83.99 cores=0-7
/proc/22683/task/22698/stat : 22698 (java) R 22658 22658 22116 0 -1 4202560 699 1252227 0 0 23 0 8098 278 20 0 22 0 419338809 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615654272464 140616555235232 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22699] ppid=22658 vsize=8283048 memory=128452 CPUtime=84.08 cores=0-7
/proc/22683/task/22699/stat : 22699 (java) R 22658 22658 22116 0 -1 4202560 858 1252227 0 0 32 0 8098 278 20 0 22 0 419338810 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615653220808 140616544490414 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22700] ppid=22658 vsize=8283048 memory=2443596 CPUtime=84.17 cores=0-7
/proc/22683/task/22700/stat : 22700 (java) R 22658 22658 22116 0 -1 4202560 1600 1252227 0 0 41 0 8098 278 20 0 22 0 419338810 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615652182384 140616555182910 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22701] ppid=22658 vsize=8283048 memory=2048 CPUtime=83.76 cores=0-7
/proc/22683/task/22701/stat : 22701 (java) S 22658 22658 22116 0 -1 1077944384 3 1252227 0 0 0 0 8098 278 20 0 22 0 419338810 8481841152 77198 33554432000 4194304 4196468 140723573512160 140614008040160 140616562955989 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22702] ppid=22658 vsize=8283048 memory=1240 CPUtime=83.76 cores=0-7
/proc/22683/task/22702/stat : 22702 (java) S 22658 22658 22116 0 -1 1077944384 3 1252227 0 0 0 0 8098 278 20 0 22 0 419338810 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615651130288 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22704] ppid=22658 vsize=8283048 memory=1476 CPUtime=83.76 cores=0-7
/proc/22683/task/22704/stat : 22704 (java) S 22658 22658 22116 0 -1 1077944384 24 1252227 0 0 0 0 8098 278 20 0 22 0 419338892 8481841152 77198 33554432000 4194304 4196468 140723573512160 140615640998800 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
[pid=22683/tid=22708] ppid=22658 vsize=8283048 memory=0 CPUtime=83.76 cores=0-7
/proc/22683/task/22708/stat : 22708 (java) S 22658 22658 22116 0 -1 1077944384 14 1252227 0 0 0 0 8098 278 20 0 22 0 419338894 8481841152 77198 33554432000 4194304 4196468 140723573512160 140613068514224 140616562956930 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12562432 140723573515255 140723573515414 140723573515414 140723573518287 0
Current children cumulated CPU time: 119.09 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 310268 KiB

Child status: 0
Real time (s): 34.5583
CPU time (s): 119.299
CPU user time (s): 114.754
CPU system time (s): 4.545
CPU usage (%): 345.211
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6022992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 114.754
system time used= 4.545
maximum resident set size= 6021596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1322989
page faults= 0
swaps= 0
block input operations= 0
block output operations= 106072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60182
involuntary context switches= 878


# summary of solver processes directly reported to runsolver:
#   pid: 22658
#   total CPU time (s): 119.299
#   total CPU user time (s): 114.754
#   total CPU system time (s): 4.545

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.291771 second user time and 0.453816 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-14 05:13:54
IDJOB=4392601
IDBENCH=128096
IDSOLVER=2839
FILE ID=node135/4392601-1568430874
RUNJOBID= node135-1568428312-22143
PBS_JOBID= 21702304
Free space on /tmp= 61376 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-65-10.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-4392601-1568430874/watcher-4392601-1568430874 -o /tmp/evaluation-result-4392601-1568430874/solver-4392601-1568430874 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568428312-22143 --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-4392601-1568430874.xml

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

MD5SUM BENCH= c4baa3ff261117e16f7eeec964fc150b
RANDOM SEED=1670713115

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30818708 kB
MemAvailable:   31864052 kB
Buffers:          167568 kB
Cached:          1146400 kB
SwapCached:        34660 kB
Active:           558440 kB
Inactive:         793744 kB
Active(anon):      10628 kB
Inactive(anon):    60360 kB
Active(file):     547812 kB
Inactive(file):   733384 kB
Unevictable:      110024 kB
Mlocked:          110024 kB
SwapTotal:      67108860 kB
SwapFree:       66968356 kB
Dirty:             20372 kB
Writeback:             0 kB
AnonPages:        114324 kB
Mapped:            37160 kB
Shmem:             24292 kB
Slab:             190532 kB
SReclaimable:     159964 kB
SUnreclaim:        30568 kB
KernelStack:        3456 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61356 MiB
End job on node135 at 2019-09-14 05:14:29