Trace number 4405240

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-70-05.xml
MD5SUMd843be5d5ecd152a475a61904cced3da
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 benchmark31.7231
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1412
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree85
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":3}, {"degree":85,"count":37}]
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":38,"count":1},{"arity":40,"count":1},{"arity":42,"count":1},{"arity":44,"count":1},{"arity":46,"count":1},{"arity":48,"count":1},{"arity":50,"count":2},{"arity":52,"count":1},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":60,"count":3},{"arity":62,"count":1},{"arity":64,"count":1},{"arity":65,"count":2},{"arity":66,"count":1},{"arity":68,"count":1},{"arity":70,"count":3},{"arity":72,"count":1},{"arity":74,"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":1211},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15966-serial-file.bin HOME/instance-4405240-1569338245.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Tue Sep 24 17:16:46 CEST 2019
0.65/0.57	c PID: 15969
0.65/0.57	c IP: 172.20.3.123
0.65/0.57	c HOST: node123.alineos.net
0.65/0.58	c (0,0) Parsing Begin
3.31/1.41	c (0,0) Parsing End
3.31/1.42	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1412 ctr, max domain size 24
3.31/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.42	c (0,0) Constraint Name Generate Begin
3.31/1.45	c (0,0) Ctr:HOME/instance-4405240-1569338245.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.31/1.45	c (0,0) Constraint Name Generate End
3.31/1.45	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.45	c (0,0) CSP to CSPinCNF Begin
12.40/4.71	c (4,4) translated 142 (10%) constraints
13.04/5.32	c (4,4) translated 283 (20%) constraints
13.04/5.34	c (4,4) translated 424 (30%) constraints
13.04/5.36	c (4,4) translated 565 (40%) constraints
13.04/5.38	c (4,4) translated 706 (50%) constraints
13.47/5.40	c (4,4) translated 848 (60%) constraints
13.47/5.41	c (4,4) translated 989 (70%) constraints
13.47/5.43	c (4,4) translated 1130 (80%) constraints
15.38/6.95	c (6,6) translated 1271 (90%) constraints
16.69/8.25	c (7,7) translated 1412 (100%) constraints
16.69/8.25	c (7,7) ===========================================
16.69/8.25	c (7,7) Order
16.69/8.25	c (7,7) ===========================================
18.57/8.94	c (8,8) translated 5744 (10%) constraints
19.46/9.20	c (8,8) translated 11487 (20%) constraints
19.82/9.33	c (8,8) translated 17231 (30%) constraints
20.03/9.46	c (8,8) translated 22974 (40%) constraints
20.23/9.59	c (9,9) translated 28718 (50%) constraints
20.43/9.71	c (9,9) translated 34461 (60%) constraints
20.53/9.84	c (9,9) translated 40205 (70%) constraints
20.63/9.96	c (9,9) translated 45948 (80%) constraints
20.74/10.09	c (9,9) translated 51692 (90%) constraints
25.54/11.67	c (11,11) translated 57435 (100%) constraints
25.54/11.68	c (11,11) CSP to CSPinCNF End
25.54/11.69	c (11,11) CSP: 8782 int (8582 aux), 21254 bool (20254 aux), 76811 ctr, max domain size 68
25.54/11.69	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.54/11.69	c (11,11) CSPinCNF Propagation Begin
27.13/12.17	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.13/12.17	c (11,11) CSPinCNF Propagation End
27.13/12.18	c (11,11) CSP: 8782 int (8582 aux), 21254 bool (20254 aux), 76411 ctr, max domain size 68
27.13/12.18	c (11,11) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.13/12.18	c (11,11) Simplify CSPinCNF Begin
27.70/12.39	c (11,11) Simplify CSPinCNF End
27.70/12.40	c (11,11) CSP: 8782 int (8582 aux), 21254 bool (20254 aux), 76411 ctr, max domain size 68
27.70/12.40	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.70/12.40	c (11,11) Calculate Precise Domain Begin
27.91/12.48	c (11,11) 0 values are removed by re-calculation
27.91/12.48	c (11,11) Calculate Precise Domain End
27.91/12.49	c (11,11) CSP: 8782 int (8582 aux), 21254 bool (20254 aux), 76411 ctr, max domain size 68
27.91/12.49	c (11,11) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.91/12.49	c (11,11) CSPinCNF to SatSolver Begin
32.23/14.06	c (13,13) 7642 (10 %) CSP clauses are encoded (0 SAT variables, 598709 SAT clauses)
32.63/14.14	c (13,13) 15283 (20 %) CSP clauses are encoded (0 SAT variables, 606350 SAT clauses)
32.74/14.22	c (13,13) 22924 (30 %) CSP clauses are encoded (0 SAT variables, 613991 SAT clauses)
32.74/14.29	c (13,13) 30565 (40 %) CSP clauses are encoded (0 SAT variables, 621632 SAT clauses)
32.91/14.36	c (13,13) 38206 (50 %) CSP clauses are encoded (0 SAT variables, 629273 SAT clauses)
33.02/14.43	c (13,13) 45847 (60 %) CSP clauses are encoded (0 SAT variables, 636914 SAT clauses)
33.12/14.50	c (13,13) 53488 (70 %) CSP clauses are encoded (0 SAT variables, 644555 SAT clauses)
33.12/14.57	c (14,13) 61129 (80 %) CSP clauses are encoded (0 SAT variables, 652196 SAT clauses)
33.60/14.82	c (14,14) 68770 (90 %) CSP clauses are encoded (0 SAT variables, 729161 SAT clauses)
36.73/18.47	c (17,17) 76411 (100 %) CSP clauses are encoded (0 SAT variables, 2399416 SAT clauses)
36.73/18.47	c (17,17) CSPinCNF to SatSolver End
36.73/18.47	c (17,17) Heap : 3678 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
36.73/18.47	c (17,17) 144104 bool, 2399536 clause
36.73/18.47	c (17,17) Export Begin
37.10/18.63	c (18,17) Export to HOME/scop-15966-serial-file.bin
37.10/18.63	c (18,17) Export End
37.10/18.63	c (18,17) Export File Size: 0.25 MB
37.10/18.63	c (18,17) 0,0,11,11,11,11,17,STOP-AFTER(DIMACS)
37.10/18.63	c END-Prog: Tue Sep 24 17:17:05 CEST 2019
0.00/18.70	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15966-serial-file.bin
37.85/19.15	c (0,0) Read Serial File Begin
37.85/19.15	c (0,0) HOME/scop-15966-serial-file.bin
38.38/19.45	c (0,0) Read Serial File End
38.38/19.46	
38.38/19.46	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
38.38/19.46	(Solving Process)
38.38/19.46	
38.38/19.48	c BEGIN-Prog: Tue Sep 24 17:17:05 CEST 2019
38.38/19.48	c PID: 15991
38.38/19.48	c IP: 172.20.3.123
38.38/19.48	c HOST: node123.alineos.net
38.38/19.49	c (0,0) SatSolver.solve Begin
38.38/19.49	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405240-1569338245.xml-scop-15969.cnf
38.66/19.52	c (0,0) c
38.66/19.52	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
38.66/19.52	c (0,0) c
38.66/19.52	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.66/19.52	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.66/19.52	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.66/19.52	c (0,0) c |                                                                                                       |
39.59/20.37	c (1,0) c |  Number of variables:        144104                                                                   |
39.59/20.37	c (1,0) c |  Number of clauses:         2399284                                                                   |
39.59/20.37	c (1,0) c |  Parse time:                   0.77 s                                                                 |
39.59/20.37	c (1,0) c |                                                                                                       |
42.89/23.68	c (4,0) c |  Simplification time:          3.23 s                                                                 |
42.89/23.68	c (4,0) c |                                                                                                       |
42.89/23.68	c (4,0) c |  Generating clones                                                                                    |
43.59/24.32	c (5,0) c |  all clones generated. Memory =  1362.43Mb.                                                           |
43.59/24.32	c (5,0) c ========================================================================================================|
43.59/24.32	c (5,0) c
43.59/24.32	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.59/24.32	c (5,0) c
43.59/24.32	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.59/24.32	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.59/24.32	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.59/24.32	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
43.59/24.33	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
43.59/24.33	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
43.59/24.33	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
43.59/24.33	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
43.59/24.33	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.59/24.33	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
43.59/24.33	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.59/24.33	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.59/24.33	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
43.59/24.33	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.59/24.33	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
43.59/24.33	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.59/24.33	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
43.59/24.33	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
43.59/24.33	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c
70.78/28.30	c (9,0) c real time : 8.78597 s
70.78/28.30	c (9,0) c cpu time  : 30.9711 s
70.78/28.30	c (9,0) c
70.78/28.30	c (9,0) c
70.78/28.30	c (9,0) c
70.78/28.30	c (9,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
70.78/28.30	c (9,0) c
70.78/28.30	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
70.78/28.30	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c | Conflicts     |            6669 |        861 |        713 |        915 |        851 |        838 |       1013 |        778 |        700 |
70.78/28.30	c (9,0) c | Decisions     |          320265 |      32534 |      40110 |      43829 |      34034 |      45985 |      42125 |      37499 |      44149 |
70.78/28.30	c (9,0) c | Propagations  |        32124700 |    4235955 |    4007443 |    4291004 |    3669253 |    4195916 |    3562335 |    4078137 |    4084657 |
70.78/28.30	c (9,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
70.78/28.30	c (9,0) c | Restarts      |              66 |          9 |          9 |          9 |          7 |         10 |          9 |          9 |          4 |
70.78/28.30	c (9,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | PropBinClauses|        55673947 |    7314286 |    6854478 |    7379390 |    6502374 |    7345773 |    6307030 |    6866271 |    7104345 |
70.78/28.30	c (9,0) c | PropPreBlocker|       367534564 |   49234165 |   44077373 |   48154250 |   44507709 |   47239177 |   44075549 |   45103386 |   45142955 |
70.78/28.30	c (9,0) c | PropNotBlocker|       113002817 |   13986999 |   14125401 |   14759553 |   14138397 |   14955263 |   14531411 |   13422535 |   13083258 |
70.78/28.30	c (9,0) c | LitFullScans  |       642097324 |   84084926 |   78084593 |   84088315 |   78096188 |   83412414 |   78080127 |   78112998 |   78137763 |
70.78/28.30	c (9,0) c | LitScanFracts |          274981 |      21595 |      11069 |      38954 |      41721 |      16846 |      16755 |      40038 |      88003 |
70.78/28.30	c (9,0) c | DecisionLevel0|              80 |          9 |         12 |         12 |          8 |         12 |         11 |         10 |          6 |
70.78/28.30	c (9,0) c | Periods       |             106 |         14 |         13 |         14 |         13 |         13 |         13 |         13 |         13 |
70.78/28.30	c (9,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
70.78/28.30	c (9,0) c | Avg_Trail     |                 |      54140 |      61684 |      53556 |      47798 |      52095 |      49015 |      52777 |      55318 |
70.78/28.30	c (9,0) c | Avg_DL        |                 |        397 |        466 |        393 |        455 |        446 |        374 |        452 |        494 |
70.78/28.30	c (9,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c | Exported      |             422 |         60 |         32 |         50 |         60 |         56 |         37 |         62 |         65 |
70.78/28.30	c (9,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
70.78/28.30	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c | Unaries       |                 |          0 |          3 |          3 |          1 |          2 |          2 |          1 |          2 |
70.78/28.30	c (9,0) c | Binaries      |                 |         58 |         30 |         49 |         57 |         49 |         33 |         55 |         56 |
70.78/28.30	c (9,0) c | Glues         |                 |         60 |         32 |         50 |         60 |         56 |         37 |         62 |         65 |
70.78/28.30	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c | Orig_Seen     |             0 % |       8204 |       7948 |       8873 |       6153 |       7702 |       6717 |       6879 |       6604 |
70.78/28.30	c (9,0) c | Diff Orig seen|                 |        502 |        246 |       1171 | -     1549 |      X     | -      985 | -      823 | -     1098 |
70.78/28.30	c (9,0) c | Hamming       |            12 % |      16487 |      18146 |      17773 |      16085 |      X     |      17345 |      18365 |      16931 |
70.78/28.30	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c | RunningTime   |                 |    3.2 100%|    4.0 100%|    3.2 100%|    3.5 100%|    3.1 100%|    3.7 100%|    3.8 100%|    3.3 100%|
70.78/28.30	c (9,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%|
70.78/28.30	c (9,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%|
70.78/28.30	c (9,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%|
70.78/28.30	c (9,0) c | SolvingTime   |                 |    3.2     |    4.0     |    3.2     |    3.5     |    3.1     |    3.7     |    3.8     |    3.3     |
70.78/28.30	c (9,0) c | PropagationTim|                 |    3.1  94%|    3.8  95%|    3.0  94%|    3.3  94%|    2.9  94%|    3.5  95%|    3.6  95%|    3.1  94%|
70.78/28.30	c (9,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
70.78/28.30	c (9,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%|
70.78/28.30	c (9,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
70.78/28.30	c (9,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%|
70.78/28.30	c (9,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%|
70.78/28.30	c (9,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.78/28.30	c (9,0) c
70.78/28.30	c (9,0) c
70.78/28.30	c (9,0) c Threads : 8
70.78/28.30	c (9,0) c Winner : 4
70.78/28.30	c (9,0) c Conflicts_0 : 861
70.78/28.30	c (9,0) c Conflicts_1 : 713
70.78/28.30	c (9,0) c Conflicts_2 : 915
70.78/28.30	c (9,0) c Conflicts_3 : 851
70.78/28.30	c (9,0) c Conflicts_4 : 838
70.78/28.30	c (9,0) c Conflicts_5 : 1013
70.78/28.30	c (9,0) c Conflicts_6 : 778
70.78/28.30	c (9,0) c Conflicts_7 : 700
70.78/28.30	c (9,0) c Conflicts_total : 6669
70.78/28.30	c (9,0) c Conflicts_winner : 838
70.78/28.30	c (9,0) c Decisions_0 : 32534
70.78/28.30	c (9,0) c Decisions_1 : 40110
70.78/28.30	c (9,0) c Decisions_2 : 43829
70.89/28.30	c (9,0) c Decisions_3 : 34034
70.89/28.30	c (9,0) c Decisions_4 : 45985
70.89/28.30	c (9,0) c Decisions_5 : 42125
70.89/28.30	c (9,0) c Decisions_6 : 37499
70.89/28.30	c (9,0) c Decisions_7 : 44149
70.89/28.30	c (9,0) c Decisions_total : 320265
70.89/28.30	c (9,0) c Decisions_winner : 45985
70.89/28.30	c (9,0) c Propagations_0 : 4235955
70.89/28.30	c (9,0) c Propagations_1 : 4007443
70.89/28.30	c (9,0) c Propagations_2 : 4291004
70.89/28.30	c (9,0) c Propagations_3 : 3669253
70.89/28.30	c (9,0) c Propagations_4 : 4195916
70.89/28.30	c (9,0) c Propagations_5 : 3562335
70.89/28.30	c (9,0) c Propagations_6 : 4078137
70.89/28.30	c (9,0) c Propagations_7 : 4084657
70.89/28.30	c (9,0) c Propagations_total : 32124700
70.89/28.30	c (9,0) c Propagations_winner : 4195916
70.89/28.30	c (9,0) c ReduceDBs_0 : 0
70.89/28.30	c (9,0) c ReduceDBs_1 : 0
70.89/28.30	c (9,0) c ReduceDBs_2 : 0
70.89/28.30	c (9,0) c ReduceDBs_3 : 0
70.89/28.30	c (9,0) c ReduceDBs_4 : 0
70.89/28.30	c (9,0) c ReduceDBs_5 : 0
70.89/28.30	c (9,0) c ReduceDBs_6 : 0
70.89/28.30	c (9,0) c ReduceDBs_7 : 0
70.89/28.30	c (9,0) c ReduceDBs_total : 0
70.89/28.30	c (9,0) c ReduceDBs_winner : 0
70.89/28.30	c (9,0) c SimpDBs_0 : 1
70.89/28.30	c (9,0) c SimpDBs_1 : 1
70.89/28.30	c (9,0) c SimpDBs_2 : 1
70.89/28.30	c (9,0) c SimpDBs_3 : 1
70.89/28.30	c (9,0) c SimpDBs_4 : 1
70.89/28.30	c (9,0) c SimpDBs_5 : 1
70.89/28.30	c (9,0) c SimpDBs_6 : 1
70.89/28.30	c (9,0) c SimpDBs_7 : 1
70.89/28.30	c (9,0) c SimpDBs_total : 8
70.89/28.30	c (9,0) c SimpDBs_winner : 1
70.89/28.30	c (9,0) c Restarts_0 : 9
70.89/28.30	c (9,0) c Restarts_1 : 9
70.89/28.30	c (9,0) c Restarts_2 : 9
70.89/28.30	c (9,0) c Restarts_3 : 7
70.89/28.30	c (9,0) c Restarts_4 : 10
70.89/28.30	c (9,0) c Restarts_5 : 9
70.89/28.30	c (9,0) c Restarts_6 : 9
70.89/28.30	c (9,0) c Restarts_7 : 4
70.89/28.30	c (9,0) c Restarts_total : 66
70.89/28.30	c (9,0) c Restarts_winner : 10
70.89/28.30	c (9,0) c ForcedImports_0 : 0
70.89/28.30	c (9,0) c ForcedImports_1 : 0
70.89/28.30	c (9,0) c ForcedImports_2 : 0
70.89/28.30	c (9,0) c ForcedImports_3 : 0
70.89/28.30	c (9,0) c ForcedImports_4 : 0
70.89/28.30	c (9,0) c ForcedImports_5 : 0
70.89/28.30	c (9,0) c ForcedImports_6 : 0
70.89/28.30	c (9,0) c ForcedImports_7 : 0
70.89/28.30	c (9,0) c ForcedImports_total : 0
70.89/28.30	c (9,0) c ForcedImports_winner : 0
70.89/28.30	c (9,0) c PropsBinClauses_0 : 7314286
70.89/28.30	c (9,0) c PropsBinClauses_1 : 6854478
70.89/28.30	c (9,0) c PropsBinClauses_2 : 7379390
70.89/28.30	c (9,0) c PropsBinClauses_3 : 6502374
70.89/28.30	c (9,0) c PropsBinClauses_4 : 7345773
70.89/28.30	c (9,0) c PropsBinClauses_5 : 6307030
70.89/28.30	c (9,0) c PropsBinClauses_6 : 6866271
70.89/28.30	c (9,0) c PropsBinClauses_7 : 7104345
70.89/28.30	c (9,0) c PropsBinClauses_total : 55673947
70.89/28.30	c (9,0) c PropsBinClauses_winner : 7345773
70.89/28.30	c (9,0) c PropsPreBlocker_0 : 49234165
70.89/28.30	c (9,0) c PropsPreBlocker_1 : 44077373
70.89/28.30	c (9,0) c PropsPreBlocker_2 : 48154250
70.89/28.30	c (9,0) c PropsPreBlocker_3 : 44507709
70.89/28.30	c (9,0) c PropsPreBlocker_4 : 47239177
70.89/28.30	c (9,0) c PropsPreBlocker_5 : 44075549
70.89/28.30	c (9,0) c PropsPreBlocker_6 : 45103386
70.89/28.30	c (9,0) c PropsPreBlocker_7 : 45142955
70.89/28.30	c (9,0) c PropsPreBlocker_total : 367534564
70.89/28.30	c (9,0) c PropsPreBlocker_winner : 47239177
70.89/28.30	c (9,0) c PropsNotBlocker_0 : 13986999
70.89/28.30	c (9,0) c PropsNotBlocker_1 : 14125401
70.89/28.30	c (9,0) c PropsNotBlocker_2 : 14759553
70.89/28.30	c (9,0) c PropsNotBlocker_3 : 14138397
70.89/28.30	c (9,0) c PropsNotBlocker_4 : 14955263
70.89/28.30	c (9,0) c PropsNotBlocker_5 : 14531411
70.89/28.30	c (9,0) c PropsNotBlocker_6 : 13422535
70.89/28.30	c (9,0) c PropsNotBlocker_7 : 13083258
70.89/28.30	c (9,0) c PropsNotBlocker_total : 113002817
70.89/28.30	c (9,0) c PropsNotBlocker_winner : 14955263
70.89/28.30	c (9,0) c PropsLitFullScans_0 : 84084926
70.89/28.30	c (9,0) c PropsLitFullScans_1 : 78084593
70.89/28.30	c (9,0) c PropsLitFullScans_2 : 84088315
70.89/28.30	c (9,0) c PropsLitFullScans_3 : 78096188
70.89/28.31	c (9,0) c PropsLitFullScans_4 : 83412414
70.89/28.31	c (9,0) c PropsLitFullScans_5 : 78080127
70.89/28.31	c (9,0) c PropsLitFullScans_6 : 78112998
70.89/28.31	c (9,0) c PropsLitFullScans_7 : 78137763
70.89/28.31	c (9,0) c PropsLitFullScans_total : 642097324
70.89/28.31	c (9,0) c PropsLitFullScans_winner : 83412414
70.89/28.31	c (9,0) c LitScanFractions_0 : 21595
70.89/28.31	c (9,0) c LitScanFractions_1 : 11069
70.89/28.31	c (9,0) c LitScanFractions_2 : 38954
70.89/28.31	c (9,0) c LitScanFractions_3 : 41721
70.89/28.31	c (9,0) c LitScanFractions_4 : 16846
70.89/28.31	c (9,0) c LitScanFractions_5 : 16755
70.89/28.31	c (9,0) c LitScanFractions_6 : 40038
70.89/28.31	c (9,0) c LitScanFractions_7 : 88003
70.89/28.31	c (9,0) c LitScanFractions_total : 274981
70.89/28.31	c (9,0) c LitScanFractions_winner : 16846
70.89/28.31	c (9,0) c DecisionLevel0_0 : 9
70.89/28.31	c (9,0) c DecisionLevel0_1 : 12
70.89/28.31	c (9,0) c DecisionLevel0_2 : 12
70.89/28.31	c (9,0) c DecisionLevel0_3 : 8
70.89/28.31	c (9,0) c DecisionLevel0_4 : 12
70.89/28.31	c (9,0) c DecisionLevel0_5 : 11
70.89/28.31	c (9,0) c DecisionLevel0_6 : 10
70.89/28.31	c (9,0) c DecisionLevel0_7 : 6
70.89/28.31	c (9,0) c DecisionLevel0_total : 80
70.89/28.31	c (9,0) c DecisionLevel0_winner : 12
70.89/28.31	c (9,0) c Periods_0 : 14
70.89/28.31	c (9,0) c Periods_1 : 13
70.89/28.31	c (9,0) c Periods_2 : 14
70.89/28.31	c (9,0) c Periods_3 : 13
70.89/28.31	c (9,0) c Periods_4 : 13
70.89/28.31	c (9,0) c Periods_5 : 13
70.89/28.31	c (9,0) c Periods_6 : 13
70.89/28.31	c (9,0) c Periods_7 : 13
70.89/28.31	c (9,0) c Periods_total : 106
70.89/28.31	c (9,0) c Periods_winner : 13
70.89/28.31	c (9,0) c Margin_0 : 20
70.89/28.31	c (9,0) c Margin_1 : 20
70.89/28.31	c (9,0) c Margin_2 : 20
70.89/28.31	c (9,0) c Margin_3 : 20
70.89/28.31	c (9,0) c Margin_4 : 20
70.89/28.31	c (9,0) c Margin_5 : 20
70.89/28.31	c (9,0) c Margin_6 : 20
70.89/28.31	c (9,0) c Margin_7 : 20
70.89/28.31	c (9,0) c Margin_total : 160
70.89/28.31	c (9,0) c Margin_winner : 20
70.89/28.31	c (9,0) c Exported_0 : 60
70.89/28.31	c (9,0) c Exported_1 : 32
70.89/28.31	c (9,0) c Exported_2 : 50
70.89/28.31	c (9,0) c Exported_3 : 60
70.89/28.31	c (9,0) c Exported_4 : 56
70.89/28.31	c (9,0) c Exported_5 : 37
70.89/28.31	c (9,0) c Exported_6 : 62
70.89/28.31	c (9,0) c Exported_7 : 65
70.89/28.31	c (9,0) c Exported_total : 422
70.89/28.31	c (9,0) c Exported_winner : 56
70.89/28.31	c (9,0) c Imported_0 : 0
70.89/28.31	c (9,0) c Imported_1 : 0
70.89/28.31	c (9,0) c Imported_2 : 0
70.89/28.31	c (9,0) c Imported_3 : 0
70.89/28.31	c (9,0) c Imported_4 : 0
70.89/28.31	c (9,0) c Imported_5 : 0
70.89/28.31	c (9,0) c Imported_6 : 0
70.89/28.31	c (9,0) c Imported_7 : 0
70.89/28.31	c (9,0) c Imported_total : 0
70.89/28.31	c (9,0) c Imported_winner : 0
70.89/28.31	c (9,0) c Good_0 : 0
70.89/28.31	c (9,0) c Good_1 : 0
70.89/28.31	c (9,0) c Good_2 : 0
70.89/28.31	c (9,0) c Good_3 : 0
70.89/28.31	c (9,0) c Good_4 : 0
70.89/28.31	c (9,0) c Good_5 : 0
70.89/28.31	c (9,0) c Good_6 : 0
70.89/28.31	c (9,0) c Good_7 : 0
70.89/28.31	c (9,0) c Good_total : 0
70.89/28.31	c (9,0) c Good_winner : 0
70.89/28.31	c (9,0) c Purge_0 : 0
70.89/28.31	c (9,0) c Purge_1 : 0
70.89/28.31	c (9,0) c Purge_2 : 0
70.89/28.31	c (9,0) c Purge_3 : 0
70.89/28.31	c (9,0) c Purge_4 : 0
70.89/28.31	c (9,0) c Purge_5 : 0
70.89/28.31	c (9,0) c Purge_6 : 0
70.89/28.31	c (9,0) c Purge_7 : 0
70.89/28.31	c (9,0) c Purge_total : 0
70.89/28.31	c (9,0) c Purge_winner : 0
70.89/28.31	c (9,0) c Promoted_0 : 0
70.89/28.31	c (9,0) c Promoted_1 : 0
70.89/28.31	c (9,0) c Promoted_2 : 0
70.89/28.31	c (9,0) c Promoted_3 : 0
70.89/28.31	c (9,0) c Promoted_4 : 0
70.89/28.31	c (9,0) c Promoted_5 : 0
70.89/28.31	c (9,0) c Promoted_6 : 0
70.89/28.31	c (9,0) c Promoted_7 : 0
70.89/28.31	c (9,0) c Promoted_total : 0
70.89/28.31	c (9,0) c Promoted_winner : 0
70.89/28.31	c (9,0) c Remove_Imp_0 : 0
70.89/28.31	c (9,0) c Remove_Imp_1 : 0
70.89/28.31	c (9,0) c Remove_Imp_2 : 0
70.89/28.31	c (9,0) c Remove_Imp_3 : 0
70.89/28.31	c (9,0) c Remove_Imp_4 : 0
70.89/28.31	c (9,0) c Remove_Imp_5 : 0
70.89/28.31	c (9,0) c Remove_Imp_6 : 0
70.89/28.31	c (9,0) c Remove_Imp_7 : 0
70.89/28.31	c (9,0) c Remove_Imp_total : 0
70.89/28.31	c (9,0) c Remove_Imp_winner : 0
70.89/28.31	c (9,0) c Blocked_Reuse_0 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_1 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_2 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_3 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_4 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_5 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_6 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_7 : 0
70.89/28.31	c (9,0) c Blocked_Reuse_total : 0
70.89/28.31	c (9,0) c Blocked_Reuse_winner : 0
70.89/28.31	c (9,0) c Unaries_0 : 0
70.89/28.31	c (9,0) c Unaries_1 : 3
70.89/28.31	c (9,0) c Unaries_2 : 3
70.89/28.31	c (9,0) c Unaries_3 : 1
70.89/28.31	c (9,0) c Unaries_4 : 2
70.89/28.31	c (9,0) c Unaries_5 : 2
70.89/28.31	c (9,0) c Unaries_6 : 1
70.89/28.31	c (9,0) c Unaries_7 : 2
70.89/28.31	c (9,0) c Unaries_total : 14
70.89/28.31	c (9,0) c Unaries_winner : 2
70.89/28.31	c (9,0) c Binaries_0 : 58
70.89/28.31	c (9,0) c Binaries_1 : 30
70.89/28.31	c (9,0) c Binaries_2 : 49
70.89/28.31	c (9,0) c Binaries_3 : 57
70.89/28.31	c (9,0) c Binaries_4 : 49
70.89/28.31	c (9,0) c Binaries_5 : 33
70.89/28.31	c (9,0) c Binaries_6 : 55
70.89/28.31	c (9,0) c Binaries_7 : 56
70.89/28.31	c (9,0) c Binaries_total : 387
70.89/28.31	c (9,0) c Binaries_winner : 49
70.89/28.31	c (9,0) c Glues_0 : 60
70.89/28.31	c (9,0) c Glues_1 : 32
70.89/28.31	c (9,0) c Glues_2 : 50
70.89/28.31	c (9,0) c Glues_3 : 60
70.89/28.31	c (9,0) c Glues_4 : 56
70.89/28.31	c (9,0) c Glues_5 : 37
70.89/28.31	c (9,0) c Glues_6 : 62
70.89/28.31	c (9,0) c Glues_7 : 65
70.89/28.31	c (9,0) c Glues_total : 422
70.89/28.31	c (9,0) c Glues_winner : 56
70.89/28.31	c (9,0) c RunningTime_0 : 3.245582
70.89/28.31	c (9,0) c RunningTime_1 : 3.962828
70.89/28.31	c (9,0) c RunningTime_2 : 3.200834
70.89/28.31	c (9,0) c RunningTime_3 : 3.521269
70.89/28.31	c (9,0) c RunningTime_4 : 3.129619
70.89/28.31	c (9,0) c RunningTime_5 : 3.724963
70.89/28.31	c (9,0) c RunningTime_6 : 3.828389
70.89/28.31	c (9,0) c RunningTime_7 : 3.255038
70.89/28.31	c (9,0) c RunningTime_total : 27.868521
70.89/28.31	c (9,0) c RunningTime_winner : 3.129619
70.89/28.31	c (9,0) c WaitingTime_0 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_1 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_2 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_3 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_4 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_5 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_6 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_7 : 0.000000
70.89/28.31	c (9,0) c WaitingTime_total : 0.000000
70.89/28.31	c (9,0) c WaitingTime_winner : 0.000000
70.89/28.31	c (9,0) c ExchangingTime_0 : 0.000307
70.89/28.31	c (9,0) c ExchangingTime_1 : 0.000200
70.89/28.31	c (9,0) c ExchangingTime_2 : 0.000285
70.89/28.31	c (9,0) c ExchangingTime_3 : 0.000291
70.89/28.31	c (9,0) c ExchangingTime_4 : 0.000288
70.89/28.31	c (9,0) c ExchangingTime_5 : 0.000293
70.89/28.31	c (9,0) c ExchangingTime_6 : 0.000262
70.89/28.31	c (9,0) c ExchangingTime_7 : 0.000264
70.89/28.31	c (9,0) c ExchangingTime_total : 0.002189
70.89/28.31	c (9,0) c ExchangingTime_winner : 0.000288
70.89/28.31	c (9,0) c PeriodProcTime_0 : 0.000149
70.89/28.31	c (9,0) c PeriodProcTime_1 : 0.000165
70.89/28.31	c (9,0) c PeriodProcTime_2 : 0.000167
70.89/28.31	c (9,0) c PeriodProcTime_3 : 0.000188
70.89/28.31	c (9,0) c PeriodProcTime_4 : 0.000150
70.89/28.31	c (9,0) c PeriodProcTime_5 : 0.000168
70.89/28.31	c (9,0) c PeriodProcTime_6 : 0.000160
70.89/28.31	c (9,0) c PeriodProcTime_7 : 0.000147
70.89/28.31	c (9,0) c PeriodProcTime_total : 0.001293
70.89/28.31	c (9,0) c PeriodProcTime_winner : 0.000150
70.89/28.31	c (9,0) c SolvingTime_0 : 3.246038
70.89/28.31	c (9,0) c SolvingTime_1 : 3.963192
70.89/28.31	c (9,0) c SolvingTime_2 : 3.201286
70.89/28.31	c (9,0) c SolvingTime_3 : 3.521748
70.89/28.31	c (9,0) c SolvingTime_4 : 3.130056
70.89/28.31	c (9,0) c SolvingTime_5 : 3.725424
70.89/28.31	c (9,0) c SolvingTime_6 : 3.828811
70.89/28.31	c (9,0) c SolvingTime_7 : 3.255449
70.89/28.31	c (9,0) c SolvingTime_total : 27.872003
70.89/28.31	c (9,0) c SolvingTime_winner : 3.130056
70.89/28.31	c (9,0) c PropagationTime_0 : 3.060197
70.89/28.31	c (9,0) c PropagationTime_1 : 3.752230
70.89/28.31	c (9,0) c PropagationTime_2 : 3.009474
70.89/28.31	c (9,0) c PropagationTime_3 : 3.323717
70.89/28.31	c (9,0) c PropagationTime_4 : 2.945939
70.89/28.31	c (9,0) c PropagationTime_5 : 3.521897
70.89/28.31	c (9,0) c PropagationTime_6 : 3.628658
70.89/28.31	c (9,0) c PropagationTime_7 : 3.067623
70.89/28.31	c (9,0) c PropagationTime_total : 26.309736
70.89/28.31	c (9,0) c PropagationTime_winner : 2.945939
70.89/28.31	c (9,0) c AnalysisTime_0 : 0.028228
70.89/28.31	c (9,0) c AnalysisTime_1 : 0.033151
70.89/28.31	c (9,0) c AnalysisTime_2 : 0.028882
70.89/28.31	c (9,0) c AnalysisTime_3 : 0.027322
70.89/28.31	c (9,0) c AnalysisTime_4 : 0.025690
70.89/28.31	c (9,0) c AnalysisTime_5 : 0.034216
70.89/28.31	c (9,0) c AnalysisTime_6 : 0.022812
70.89/28.31	c (9,0) c AnalysisTime_7 : 0.019423
70.89/28.31	c (9,0) c AnalysisTime_total : 0.219724
70.89/28.31	c (9,0) c AnalysisTime_winner : 0.025690
70.89/28.31	c (9,0) c ReductionTime_0 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_1 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_2 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_3 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_4 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_5 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_6 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_7 : 0.000000
70.89/28.31	c (9,0) c ReductionTime_total : 0.000000
70.89/28.31	c (9,0) c ReductionTime_winner : 0.000000
70.89/28.31	c (9,0) c SimplifyTime_0 : 0.000001
70.89/28.31	c (9,0) c SimplifyTime_1 : 0.000000
70.89/28.31	c (9,0) c SimplifyTime_2 : 0.000001
70.89/28.31	c (9,0) c SimplifyTime_3 : 0.000001
70.89/28.31	c (9,0) c SimplifyTime_4 : 0.000000
70.89/28.31	c (9,0) c SimplifyTime_5 : 0.000000
70.89/28.31	c (9,0) c SimplifyTime_6 : 0.000000
70.89/28.31	c (9,0) c SimplifyTime_7 : 0.000002
70.89/28.31	c (9,0) c SimplifyTime_total : 0.000005
70.89/28.31	c (9,0) c SimplifyTime_winner : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_0 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_1 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_2 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_3 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_4 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_5 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_6 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_7 : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_total : 0.000000
70.89/28.31	c (9,0) c UsedRateTime_winner : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_0 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_1 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_2 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_3 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_4 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_5 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_6 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_7 : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_total : 0.000000
70.89/28.31	c (9,0) c OverlapRateTime_winner : 0.000000
70.89/28.31	c (9,0) c
70.89/28.31	c (9,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
70.89/28.31	c (9,0) c
70.89/28.31	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.89/28.31	c (9,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
70.89/28.31	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.89/28.31	c (9,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
70.89/28.31	c (9,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
70.89/28.31	c (9,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
70.89/28.31	c (9,0) c | Initial random_seed   |  215857573 | 1677145621 |  888202878 |  978525632 |   69909213 | 1063654501 | 1136004569 |  773601840 |
70.89/28.31	c (9,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
70.89/28.31	c (9,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
70.89/28.31	c (9,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
70.89/28.31	c (9,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
70.89/28.31	c (9,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
70.89/28.31	c (9,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
70.89/28.31	c (9,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
70.89/28.31	c (9,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
70.89/28.31	c (9,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
70.89/28.31	c (9,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
70.89/28.31	c (9,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
70.89/28.31	c (9,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
70.89/28.31	c (9,0) 
70.89/28.31	c (9,0) s SATISFIABLE
39.07/28.43	c (9,0) SatSolver.solve End
39.07/28.43	c (9,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
39.07/28.43	c (9,0) Show results Begin
71.72/28.63	c (9,0) cls[0] = 14
71.72/28.63	c (9,0) cls[1] = 11
71.72/28.63	c (9,0) cls[2] = 18
71.72/28.63	c (9,0) cls[3] = 2
71.72/28.63	c (9,0) cls[4] = 17
71.72/28.63	c (9,0) cls[5] = 2
71.72/28.63	c (9,0) cls[6] = 6
71.72/28.63	c (9,0) cls[7] = 16
71.72/28.63	c (9,0) cls[8] = 17
71.72/28.63	c (9,0) cls[9] = 2
71.72/28.63	c (9,0) cls[10] = 17
71.72/28.63	c (9,0) cls[11] = 11
71.72/28.63	c (9,0) cls[12] = 6
71.72/28.63	c (9,0) cls[13] = 17
71.72/28.63	c (9,0) cls[14] = 22
71.72/28.63	c (9,0) cls[15] = 6
71.72/28.63	c (9,0) cls[16] = 20
71.72/28.63	c (9,0) cls[17] = 2
71.72/28.63	c (9,0) cls[18] = 17
71.72/28.63	c (9,0) cls[19] = 15
71.72/28.63	c (9,0) cls[20] = 9
71.72/28.63	c (9,0) cls[21] = 17
71.72/28.63	c (9,0) cls[22] = 2
71.72/28.63	c (9,0) cls[23] = 17
71.72/28.63	c (9,0) cls[24] = 17
71.72/28.63	c (9,0) cls[25] = 4
71.72/28.63	c (9,0) cls[26] = 6
71.72/28.63	c (9,0) cls[27] = 22
71.72/28.63	c (9,0) cls[28] = 17
71.72/28.63	c (9,0) cls[29] = 2
71.72/28.63	c (9,0) cls[30] = 18
71.72/28.63	c (9,0) cls[31] = 2
71.72/28.63	c (9,0) cls[32] = 14
71.72/28.63	c (9,0) cls[33] = 15
71.72/28.63	c (9,0) cls[34] = 17
71.72/28.63	c (9,0) cls[35] = 6
71.72/28.63	c (9,0) cls[36] = 11
71.72/28.63	c (9,0) cls[37] = 14
71.72/28.63	c (9,0) cls[38] = 17
71.72/28.63	c (9,0) cls[39] = 2
71.72/28.63	c (9,0) cls[40] = 19
71.72/28.63	c (9,0) cls[41] = 2
71.72/28.63	c (9,0) cls[42] = 0
71.72/28.63	c (9,0) cls[43] = 2
71.72/28.63	c (9,0) cls[44] = 20
71.72/28.63	c (9,0) cls[45] = 2
71.72/28.63	c (9,0) cls[46] = 18
71.72/28.63	c (9,0) cls[47] = 4
71.72/28.63	c (9,0) cls[48] = 17
71.72/28.63	c (9,0) cls[49] = 2
71.72/28.63	c (9,0) cls[50] = 14
71.72/28.63	c (9,0) cls[51] = 18
71.72/28.63	c (9,0) cls[52] = 4
71.72/28.63	c (9,0) cls[53] = 17
71.72/28.63	c (9,0) cls[54] = 17
71.72/28.63	c (9,0) cls[55] = 2
71.72/28.63	c (9,0) cls[56] = 17
71.72/28.63	c (9,0) cls[57] = 12
71.72/28.63	c (9,0) cls[58] = 6
71.72/28.63	c (9,0) cls[59] = 3
71.72/28.63	c (9,0) cls[60] = 23
71.72/28.63	c (9,0) cls[61] = 20
71.72/28.63	c (9,0) cls[62] = 2
71.72/28.63	c (9,0) cls[63] = 6
71.72/28.63	c (9,0) cls[64] = 11
71.72/28.63	c (9,0) cls[65] = 17
71.72/28.63	c (9,0) cls[66] = 6
71.72/28.63	c (9,0) cls[67] = 22
71.72/28.63	c (9,0) cls[68] = 6
71.72/28.63	c (9,0) cls[69] = 11
71.72/28.63	c (9,0) cls[70] = 17
71.72/28.63	c (9,0) cls[71] = 2
71.72/28.63	c (9,0) cls[72] = 19
71.72/28.63	c (9,0) cls[73] = 2
71.72/28.63	c (9,0) cls[74] = 18
71.72/28.63	c (9,0) cls[75] = 20
71.72/28.63	c (9,0) cls[76] = 3
71.72/28.63	c (9,0) cls[77] = 14
71.72/28.63	c (9,0) cls[78] = 17
71.72/28.63	c (9,0) cls[79] = 4
71.72/28.63	c (9,0) cls[80] = 6
71.72/28.63	c (9,0) cls[81] = 2
71.72/28.63	c (9,0) cls[82] = 17
71.72/28.63	c (9,0) cls[83] = 2
71.72/28.63	c (9,0) cls[84] = 18
71.72/28.63	c (9,0) cls[85] = 2
71.72/28.64	c (9,0) cls[86] = 7
71.72/28.64	c (9,0) cls[87] = 2
71.72/28.64	c (9,0) cls[88] = 17
71.72/28.64	c (9,0) cls[89] = 20
71.72/28.64	c (9,0) cls[90] = 3
71.72/28.64	c (9,0) cls[91] = 18
71.72/28.64	c (9,0) cls[92] = 11
71.72/28.64	c (9,0) cls[93] = 17
71.72/28.64	c (9,0) cls[94] = 10
71.72/28.64	c (9,0) cls[95] = 17
71.72/28.64	c (9,0) cls[96] = 20
71.72/28.64	c (9,0) cls[97] = 16
71.72/28.64	c (9,0) cls[98] = 17
71.72/28.64	c (9,0) cls[99] = 2
71.72/28.64	c (9,0) cls[100] = 6
71.72/28.64	c (9,0) cls[101] = 2
71.72/28.64	c (9,0) cls[102] = 14
71.72/28.64	c (9,0) cls[103] = 3
71.72/28.64	c (9,0) cls[104] = 17
71.72/28.64	c (9,0) cls[105] = 6
71.72/28.64	c (9,0) cls[106] = 11
71.72/28.64	c (9,0) cls[107] = 14
71.72/28.64	c (9,0) cls[108] = 3
71.72/28.64	c (9,0) cls[109] = 17
71.72/28.64	c (9,0) cls[110] = 6
71.72/28.64	c (9,0) cls[111] = 8
71.72/28.64	c (9,0) cls[112] = 23
71.72/28.64	c (9,0) cls[113] = 6
71.72/28.64	c (9,0) cls[114] = 17
71.72/28.64	c (9,0) cls[115] = 3
71.72/28.64	c (9,0) cls[116] = 6
71.72/28.64	c (9,0) cls[117] = 11
71.72/28.64	c (9,0) cls[118] = 14
71.72/28.64	c (9,0) cls[119] = 2
71.72/28.64	c (9,0) cls[120] = 19
71.72/28.64	c (9,0) cls[121] = 2
71.72/28.64	c (9,0) cls[122] = 6
71.72/28.64	c (9,0) cls[123] = 5
71.72/28.64	c (9,0) cls[124] = 20
71.72/28.64	c (9,0) cls[125] = 17
71.72/28.64	c (9,0) cls[126] = 16
71.72/28.64	c (9,0) cls[127] = 20
71.72/28.64	c (9,0) cls[128] = 3
71.72/28.64	c (9,0) cls[129] = 6
71.72/28.64	c (9,0) cls[130] = 3
71.72/28.64	c (9,0) cls[131] = 20
71.72/28.64	c (9,0) cls[132] = 2
71.72/28.64	c (9,0) cls[133] = 0
71.72/28.64	c (9,0) cls[134] = 2
71.72/28.64	c (9,0) cls[135] = 20
71.72/28.64	c (9,0) cls[136] = 17
71.72/28.64	c (9,0) cls[137] = 6
71.72/28.64	c (9,0) cls[138] = 3
71.72/28.64	c (9,0) cls[139] = 14
71.72/28.64	c (9,0) cls[140] = 3
71.72/28.64	c (9,0) cls[141] = 20
71.72/28.64	c (9,0) cls[142] = 6
71.72/28.64	c (9,0) cls[143] = 3
71.72/28.64	c (9,0) cls[144] = 18
71.72/28.64	c (9,0) cls[145] = 2
71.72/28.64	c (9,0) cls[146] = 21
71.72/28.64	c (9,0) cls[147] = 3
71.72/28.64	c (9,0) cls[148] = 6
71.72/28.64	c (9,0) cls[149] = 2
71.72/28.64	c (9,0) cls[150] = 19
71.72/28.64	c (9,0) cls[151] = 14
71.72/28.64	c (9,0) cls[152] = 2
71.72/28.64	c (9,0) cls[153] = 6
71.72/28.64	c (9,0) cls[154] = 2
71.72/28.64	c (9,0) cls[155] = 18
71.72/28.64	c (9,0) cls[156] = 13
71.72/28.64	c (9,0) cls[157] = 2
71.72/28.64	c (9,0) cls[158] = 18
71.72/28.64	c (9,0) cls[159] = 3
71.72/28.64	c (9,0) cls[160] = 6
71.72/28.64	c (9,0) cls[161] = 11
71.72/28.64	c (9,0) cls[162] = 23
71.72/28.64	c (9,0) cls[163] = 18
71.72/28.64	c (9,0) cls[164] = 2
71.72/28.64	c (9,0) cls[165] = 17
71.72/28.64	c (9,0) cls[166] = 2
71.72/28.64	c (9,0) cls[167] = 19
71.72/28.64	c (9,0) cls[168] = 6
71.72/28.64	c (9,0) cls[169] = 5
71.72/28.64	c (9,0) cls[170] = 1
71.72/28.64	c (9,0) cls[171] = 17
71.72/28.64	c (9,0) cls[172] = 2
71.72/28.64	c (9,0) cls[173] = 17
71.72/28.64	c (9,0) cls[174] = 0
71.72/28.64	c (9,0) cls[175] = 2
71.72/28.64	c (9,0) cls[176] = 18
71.72/28.64	c (9,0) cls[177] = 17
71.72/28.64	c (9,0) cls[178] = 2
71.72/28.64	c (9,0) cls[179] = 9
71.72/28.64	c (9,0) cls[180] = 14
71.72/28.64	c (9,0) cls[181] = 16
71.72/28.64	c (9,0) cls[182] = 17
71.72/28.64	c (9,0) cls[183] = 20
71.72/28.64	c (9,0) cls[184] = 2
71.72/28.64	c (9,0) cls[185] = 17
71.72/28.64	c (9,0) cls[186] = 5
71.72/28.64	c (9,0) cls[187] = 9
71.72/28.64	c (9,0) cls[188] = 17
71.72/28.64	c (9,0) cls[189] = 2
71.72/28.64	c (9,0) cls[190] = 6
71.72/28.64	c (9,0) cls[191] = 2
71.72/28.64	c (9,0) cls[192] = 14
71.72/28.64	c (9,0) cls[193] = 2
71.72/28.64	c (9,0) cls[194] = 20
71.72/28.64	c (9,0) cls[195] = 6
71.72/28.64	c (9,0) cls[196] = 17
71.72/28.64	c (9,0) cls[197] = 2
71.72/28.64	c (9,0) cls[198] = 13
71.72/28.64	c (9,0) cls[199] = 6
71.72/28.64	c (9,0) opt[0][0] = 0
71.72/28.64	c (9,0) opt[0][1] = 0
71.72/28.64	c (9,0) opt[0][2] = 0
71.72/28.64	c (9,0) opt[0][3] = 0
71.72/28.64	c (9,0) opt[0][4] = 1
71.72/28.64	c (9,0) opt[1][0] = 1
71.72/28.64	c (9,0) opt[1][1] = 0
71.72/28.64	c (9,0) opt[1][2] = 1
71.72/28.64	c (9,0) opt[1][3] = 0
71.72/28.64	c (9,0) opt[1][4] = 0
71.72/28.64	c (9,0) opt[2][0] = 0
71.72/28.64	c (9,0) opt[2][1] = 1
71.72/28.64	c (9,0) opt[2][2] = 0
71.72/28.64	c (9,0) opt[2][3] = 1
71.72/28.64	c (9,0) opt[2][4] = 0
71.72/28.64	c (9,0) opt[3][0] = 1
71.72/28.64	c (9,0) opt[3][1] = 0
71.72/28.64	c (9,0) opt[3][2] = 0
71.72/28.64	c (9,0) opt[3][3] = 0
71.72/28.64	c (9,0) opt[3][4] = 0
71.72/28.64	c (9,0) opt[4][0] = 0
71.72/28.64	c (9,0) opt[4][1] = 1
71.72/28.64	c (9,0) opt[4][2] = 0
71.72/28.64	c (9,0) opt[4][3] = 0
71.72/28.64	c (9,0) opt[4][4] = 0
71.72/28.64	c (9,0) opt[5][0] = 1
71.72/28.64	c (9,0) opt[5][1] = 0
71.72/28.64	c (9,0) opt[5][2] = 0
71.72/28.64	c (9,0) opt[5][3] = 0
71.72/28.64	c (9,0) opt[5][4] = 0
71.72/28.64	c (9,0) opt[6][0] = 0
71.72/28.64	c (9,0) opt[6][1] = 0
71.72/28.64	c (9,0) opt[6][2] = 0
71.72/28.64	c (9,0) opt[6][3] = 1
71.72/28.64	c (9,0) opt[6][4] = 0
71.72/28.64	c (9,0) opt[7][0] = 1
71.72/28.64	c (9,0) opt[7][1] = 1
71.72/28.64	c (9,0) opt[7][2] = 0
71.72/28.64	c (9,0) opt[7][3] = 1
71.72/28.64	c (9,0) opt[7][4] = 0
71.72/28.64	c (9,0) opt[8][0] = 0
71.72/28.64	c (9,0) opt[8][1] = 1
71.72/28.64	c (9,0) opt[8][2] = 0
71.72/28.64	c (9,0) opt[8][3] = 0
71.72/28.64	c (9,0) opt[8][4] = 0
71.72/28.64	c (9,0) opt[9][0] = 1
71.72/28.64	c (9,0) opt[9][1] = 0
71.72/28.64	c (9,0) opt[9][2] = 0
71.72/28.64	c (9,0) opt[9][3] = 0
71.72/28.64	c (9,0) opt[9][4] = 0
71.72/28.64	c (9,0) opt[10][0] = 0
71.72/28.64	c (9,0) opt[10][1] = 1
71.72/28.64	c (9,0) opt[10][2] = 0
71.72/28.64	c (9,0) opt[10][3] = 0
71.72/28.64	c (9,0) opt[10][4] = 0
71.72/28.64	c (9,0) opt[11][0] = 1
71.72/28.64	c (9,0) opt[11][1] = 0
71.72/28.64	c (9,0) opt[11][2] = 1
71.72/28.64	c (9,0) opt[11][3] = 0
71.72/28.64	c (9,0) opt[11][4] = 0
71.72/28.64	c (9,0) opt[12][0] = 0
71.72/28.64	c (9,0) opt[12][1] = 0
71.72/28.64	c (9,0) opt[12][2] = 0
71.72/28.64	c (9,0) opt[12][3] = 1
71.72/28.64	c (9,0) opt[12][4] = 0
71.72/28.64	c (9,0) opt[13][0] = 0
71.72/28.64	c (9,0) opt[13][1] = 1
71.72/28.64	c (9,0) opt[13][2] = 0
71.72/28.64	c (9,0) opt[13][3] = 0
71.72/28.64	c (9,0) opt[13][4] = 0
71.72/28.64	c (9,0) opt[14][0] = 1
71.72/28.64	c (9,0) opt[14][1] = 1
71.72/28.64	c (9,0) opt[14][2] = 0
71.72/28.64	c (9,0) opt[14][3] = 0
71.72/28.64	c (9,0) opt[14][4] = 1
71.72/28.64	c (9,0) opt[15][0] = 0
71.72/28.64	c (9,0) opt[15][1] = 0
71.72/28.64	c (9,0) opt[15][2] = 0
71.72/28.64	c (9,0) opt[15][3] = 1
71.72/28.64	c (9,0) opt[15][4] = 0
71.72/28.64	c (9,0) opt[16][0] = 0
71.72/28.64	c (9,0) opt[16][1] = 0
71.72/28.64	c (9,0) opt[16][2] = 1
71.72/28.64	c (9,0) opt[16][3] = 0
71.72/28.64	c (9,0) opt[16][4] = 0
71.72/28.64	c (9,0) opt[17][0] = 1
71.72/28.64	c (9,0) opt[17][1] = 0
71.72/28.64	c (9,0) opt[17][2] = 0
71.72/28.64	c (9,0) opt[17][3] = 0
71.72/28.64	c (9,0) opt[17][4] = 0
71.72/28.64	c (9,0) opt[18][0] = 0
71.72/28.64	c (9,0) opt[18][1] = 1
71.72/28.64	c (9,0) opt[18][2] = 0
71.72/28.64	c (9,0) opt[18][3] = 0
71.72/28.64	c (9,0) opt[18][4] = 0
71.72/28.64	c (9,0) opt[19][0] = 1
71.72/28.64	c (9,0) opt[19][1] = 0
71.72/28.64	c (9,0) opt[19][2] = 0
71.72/28.64	c (9,0) opt[19][3] = 1
71.72/28.64	c (9,0) opt[19][4] = 0
71.72/28.64	c (9,0) opt[20][0] = 0
71.72/28.64	c (9,0) opt[20][1] = 1
71.72/28.64	c (9,0) opt[20][2] = 1
71.72/28.64	c (9,0) opt[20][3] = 1
71.72/28.64	c (9,0) opt[20][4] = 0
71.72/28.64	c (9,0) opt[21][0] = 0
71.72/28.64	c (9,0) opt[21][1] = 1
71.72/28.64	c (9,0) opt[21][2] = 0
71.72/28.64	c (9,0) opt[21][3] = 0
71.72/28.64	c (9,0) opt[21][4] = 0
71.72/28.64	c (9,0) opt[22][0] = 1
71.72/28.64	c (9,0) opt[22][1] = 0
71.72/28.64	c (9,0) opt[22][2] = 0
71.72/28.64	c (9,0) opt[22][3] = 0
71.72/28.64	c (9,0) opt[22][4] = 0
71.72/28.64	c (9,0) opt[23][0] = 0
71.72/28.64	c (9,0) opt[23][1] = 1
71.72/28.64	c (9,0) opt[23][2] = 0
71.72/28.64	c (9,0) opt[23][3] = 0
71.72/28.64	c (9,0) opt[23][4] = 0
71.72/28.64	c (9,0) opt[24][0] = 0
71.72/28.64	c (9,0) opt[24][1] = 1
71.72/28.64	c (9,0) opt[24][2] = 0
71.72/28.64	c (9,0) opt[24][3] = 0
71.72/28.64	c (9,0) opt[24][4] = 0
71.72/28.64	c (9,0) opt[25][0] = 1
71.72/28.64	c (9,0) opt[25][1] = 0
71.72/28.64	c (9,0) opt[25][2] = 1
71.72/28.64	c (9,0) opt[25][3] = 1
71.72/28.64	c (9,0) opt[25][4] = 0
71.72/28.64	c (9,0) opt[26][0] = 0
71.72/28.64	c (9,0) opt[26][1] = 0
71.72/28.64	c (9,0) opt[26][2] = 0
71.72/28.64	c (9,0) opt[26][3] = 1
71.72/28.64	c (9,0) opt[26][4] = 0
71.72/28.64	c (9,0) opt[27][0] = 1
71.72/28.64	c (9,0) opt[27][1] = 1
71.72/28.64	c (9,0) opt[27][2] = 0
71.72/28.64	c (9,0) opt[27][3] = 0
71.72/28.64	c (9,0) opt[27][4] = 1
71.72/28.64	c (9,0) opt[28][0] = 0
71.72/28.64	c (9,0) opt[28][1] = 1
71.72/28.64	c (9,0) opt[28][2] = 0
71.72/28.64	c (9,0) opt[28][3] = 0
71.72/28.64	c (9,0) opt[28][4] = 0
71.72/28.64	c (9,0) opt[29][0] = 1
71.72/28.64	c (9,0) opt[29][1] = 0
71.72/28.64	c (9,0) opt[29][2] = 0
71.72/28.64	c (9,0) opt[29][3] = 0
71.72/28.64	c (9,0) opt[29][4] = 0
71.72/28.64	c (9,0) opt[30][0] = 0
71.72/28.64	c (9,0) opt[30][1] = 1
71.72/28.64	c (9,0) opt[30][2] = 0
71.72/28.64	c (9,0) opt[30][3] = 1
71.72/28.64	c (9,0) opt[30][4] = 0
71.72/28.64	c (9,0) opt[31][0] = 1
71.72/28.64	c (9,0) opt[31][1] = 0
71.72/28.64	c (9,0) opt[31][2] = 0
71.72/28.64	c (9,0) opt[31][3] = 0
71.72/28.64	c (9,0) opt[31][4] = 0
71.72/28.64	c (9,0) opt[32][0] = 0
71.72/28.64	c (9,0) opt[32][1] = 0
71.72/28.64	c (9,0) opt[32][2] = 0
71.72/28.64	c (9,0) opt[32][3] = 0
71.72/28.64	c (9,0) opt[32][4] = 1
71.72/28.64	c (9,0) opt[33][0] = 1
71.72/28.64	c (9,0) opt[33][1] = 0
71.72/28.64	c (9,0) opt[33][2] = 0
71.72/28.64	c (9,0) opt[33][3] = 1
71.72/28.64	c (9,0) opt[33][4] = 0
71.72/28.64	c (9,0) opt[34][0] = 0
71.72/28.64	c (9,0) opt[34][1] = 1
71.72/28.64	c (9,0) opt[34][2] = 0
71.72/28.64	c (9,0) opt[34][3] = 0
71.72/28.64	c (9,0) opt[34][4] = 0
71.72/28.64	c (9,0) opt[35][0] = 0
71.72/28.64	c (9,0) opt[35][1] = 0
71.72/28.64	c (9,0) opt[35][2] = 0
71.72/28.64	c (9,0) opt[35][3] = 1
71.72/28.64	c (9,0) opt[35][4] = 0
71.72/28.64	c (9,0) opt[36][0] = 1
71.72/28.64	c (9,0) opt[36][1] = 0
71.72/28.64	c (9,0) opt[36][2] = 1
71.72/28.64	c (9,0) opt[36][3] = 0
71.72/28.64	c (9,0) opt[36][4] = 0
71.72/28.64	c (9,0) opt[37][0] = 0
71.72/28.64	c (9,0) opt[37][1] = 0
71.72/28.64	c (9,0) opt[37][2] = 0
71.72/28.64	c (9,0) opt[37][3] = 0
71.72/28.64	c (9,0) opt[37][4] = 1
71.72/28.64	c (9,0) opt[38][0] = 0
71.72/28.64	c (9,0) opt[38][1] = 1
71.72/28.64	c (9,0) opt[38][2] = 0
71.72/28.64	c (9,0) opt[38][3] = 0
71.72/28.64	c (9,0) opt[38][4] = 0
71.72/28.64	c (9,0) opt[39][0] = 1
71.72/28.64	c (9,0) opt[39][1] = 0
71.72/28.64	c (9,0) opt[39][2] = 0
71.72/28.64	c (9,0) opt[39][3] = 0
71.72/28.64	c (9,0) opt[39][4] = 0
71.72/28.64	c (9,0) opt[40][0] = 0
71.72/28.64	c (9,0) opt[40][1] = 0
71.72/28.64	c (9,0) opt[40][2] = 1
71.72/28.64	c (9,0) opt[40][3] = 1
71.72/28.64	c (9,0) opt[40][4] = 0
71.72/28.64	c (9,0) opt[41][0] = 1
71.72/28.64	c (9,0) opt[41][1] = 0
71.72/28.64	c (9,0) opt[41][2] = 0
71.72/28.64	c (9,0) opt[41][3] = 0
71.72/28.64	c (9,0) opt[41][4] = 0
71.72/28.64	c (9,0) opt[42][0] = 0
71.72/28.64	c (9,0) opt[42][1] = 1
71.72/28.64	c (9,0) opt[42][2] = 0
71.72/28.64	c (9,0) opt[42][3] = 1
71.72/28.64	c (9,0) opt[42][4] = 1
71.72/28.64	c (9,0) opt[43][0] = 1
71.72/28.64	c (9,0) opt[43][1] = 0
71.72/28.64	c (9,0) opt[43][2] = 0
71.72/28.64	c (9,0) opt[43][3] = 0
71.72/28.64	c (9,0) opt[43][4] = 0
71.72/28.64	c (9,0) opt[44][0] = 0
71.72/28.64	c (9,0) opt[44][1] = 0
71.72/28.64	c (9,0) opt[44][2] = 1
71.72/28.64	c (9,0) opt[44][3] = 0
71.72/28.64	c (9,0) opt[44][4] = 0
71.72/28.64	c (9,0) opt[45][0] = 1
71.72/28.64	c (9,0) opt[45][1] = 0
71.72/28.64	c (9,0) opt[45][2] = 0
71.72/28.64	c (9,0) opt[45][3] = 0
71.72/28.64	c (9,0) opt[45][4] = 0
71.72/28.64	c (9,0) opt[46][0] = 0
71.72/28.64	c (9,0) opt[46][1] = 1
71.72/28.64	c (9,0) opt[46][2] = 0
71.72/28.64	c (9,0) opt[46][3] = 1
71.72/28.64	c (9,0) opt[46][4] = 0
71.72/28.64	c (9,0) opt[47][0] = 1
71.72/28.64	c (9,0) opt[47][1] = 0
71.72/28.64	c (9,0) opt[47][2] = 1
71.72/28.64	c (9,0) opt[47][3] = 1
71.72/28.64	c (9,0) opt[47][4] = 0
71.72/28.64	c (9,0) opt[48][0] = 0
71.72/28.64	c (9,0) opt[48][1] = 1
71.72/28.64	c (9,0) opt[48][2] = 0
71.72/28.64	c (9,0) opt[48][3] = 0
71.72/28.64	c (9,0) opt[48][4] = 0
71.72/28.64	c (9,0) opt[49][0] = 1
71.72/28.64	c (9,0) opt[49][1] = 0
71.72/28.64	c (9,0) opt[49][2] = 0
71.72/28.64	c (9,0) opt[49][3] = 0
71.72/28.64	c (9,0) opt[49][4] = 0
71.72/28.64	c (9,0) opt[50][0] = 0
71.72/28.64	c (9,0) opt[50][1] = 0
71.72/28.64	c (9,0) opt[50][2] = 0
71.72/28.64	c (9,0) opt[50][3] = 0
71.72/28.64	c (9,0) opt[50][4] = 1
71.72/28.64	c (9,0) opt[51][0] = 0
71.72/28.64	c (9,0) opt[51][1] = 1
71.72/28.64	c (9,0) opt[51][2] = 0
71.72/28.64	c (9,0) opt[51][3] = 1
71.72/28.64	c (9,0) opt[51][4] = 0
71.72/28.64	c (9,0) opt[52][0] = 1
71.72/28.64	c (9,0) opt[52][1] = 0
71.72/28.64	c (9,0) opt[52][2] = 1
71.72/28.64	c (9,0) opt[52][3] = 1
71.72/28.64	c (9,0) opt[52][4] = 0
71.72/28.64	c (9,0) opt[53][0] = 0
71.72/28.64	c (9,0) opt[53][1] = 1
71.72/28.64	c (9,0) opt[53][2] = 0
71.72/28.64	c (9,0) opt[53][3] = 0
71.72/28.64	c (9,0) opt[53][4] = 0
71.72/28.64	c (9,0) opt[54][0] = 0
71.72/28.64	c (9,0) opt[54][1] = 1
71.72/28.64	c (9,0) opt[54][2] = 0
71.72/28.64	c (9,0) opt[54][3] = 0
71.72/28.64	c (9,0) opt[54][4] = 0
71.72/28.64	c (9,0) opt[55][0] = 1
71.72/28.64	c (9,0) opt[55][1] = 0
71.72/28.64	c (9,0) opt[55][2] = 0
71.72/28.64	c (9,0) opt[55][3] = 0
71.72/28.64	c (9,0) opt[55][4] = 0
71.72/28.64	c (9,0) opt[56][0] = 0
71.72/28.64	c (9,0) opt[56][1] = 1
71.72/28.64	c (9,0) opt[56][2] = 0
71.72/28.64	c (9,0) opt[56][3] = 0
71.72/28.64	c (9,0) opt[56][4] = 0
71.72/28.64	c (9,0) opt[57][0] = 1
71.72/28.64	c (9,0) opt[57][1] = 1
71.72/28.64	c (9,0) opt[57][2] = 1
71.72/28.64	c (9,0) opt[57][3] = 1
71.72/28.64	c (9,0) opt[57][4] = 0
71.72/28.64	c (9,0) opt[58][0] = 0
71.72/28.64	c (9,0) opt[58][1] = 0
71.72/28.64	c (9,0) opt[58][2] = 0
71.72/28.64	c (9,0) opt[58][3] = 1
71.72/28.64	c (9,0) opt[58][4] = 0
71.72/28.64	c (9,0) opt[59][0] = 1
71.72/28.64	c (9,0) opt[59][1] = 1
71.72/28.64	c (9,0) opt[59][2] = 0
71.72/28.64	c (9,0) opt[59][3] = 0
71.72/28.64	c (9,0) opt[59][4] = 0
71.72/28.64	c (9,0) opt[60][0] = 0
71.72/28.64	c (9,0) opt[60][1] = 1
71.72/28.64	c (9,0) opt[60][2] = 0
71.72/28.64	c (9,0) opt[60][3] = 0
71.72/28.64	c (9,0) opt[60][4] = 1
71.72/28.64	c (9,0) opt[61][0] = 0
71.72/28.64	c (9,0) opt[61][1] = 0
71.72/28.64	c (9,0) opt[61][2] = 1
71.72/28.64	c (9,0) opt[61][3] = 0
71.72/28.64	c (9,0) opt[61][4] = 0
71.72/28.64	c (9,0) opt[62][0] = 1
71.72/28.64	c (9,0) opt[62][1] = 0
71.72/28.64	c (9,0) opt[62][2] = 0
71.72/28.64	c (9,0) opt[62][3] = 0
71.72/28.64	c (9,0) opt[62][4] = 0
71.72/28.64	c (9,0) opt[63][0] = 0
71.72/28.64	c (9,0) opt[63][1] = 0
71.72/28.64	c (9,0) opt[63][2] = 0
71.72/28.64	c (9,0) opt[63][3] = 1
71.72/28.64	c (9,0) opt[63][4] = 0
71.72/28.64	c (9,0) opt[64][0] = 1
71.72/28.64	c (9,0) opt[64][1] = 0
71.72/28.64	c (9,0) opt[64][2] = 1
71.72/28.64	c (9,0) opt[64][3] = 0
71.72/28.64	c (9,0) opt[64][4] = 0
71.72/28.64	c (9,0) opt[65][0] = 0
71.72/28.64	c (9,0) opt[65][1] = 1
71.72/28.64	c (9,0) opt[65][2] = 0
71.72/28.64	c (9,0) opt[65][3] = 0
71.72/28.64	c (9,0) opt[65][4] = 0
71.72/28.64	c (9,0) opt[66][0] = 0
71.72/28.64	c (9,0) opt[66][1] = 0
71.72/28.64	c (9,0) opt[66][2] = 0
71.72/28.64	c (9,0) opt[66][3] = 1
71.72/28.64	c (9,0) opt[66][4] = 0
71.72/28.64	c (9,0) opt[67][0] = 1
71.72/28.64	c (9,0) opt[67][1] = 1
71.72/28.64	c (9,0) opt[67][2] = 0
71.72/28.64	c (9,0) opt[67][3] = 0
71.72/28.64	c (9,0) opt[67][4] = 1
71.72/28.64	c (9,0) opt[68][0] = 0
71.72/28.64	c (9,0) opt[68][1] = 0
71.72/28.64	c (9,0) opt[68][2] = 0
71.72/28.64	c (9,0) opt[68][3] = 1
71.72/28.64	c (9,0) opt[68][4] = 0
71.72/28.64	c (9,0) opt[69][0] = 1
71.72/28.64	c (9,0) opt[69][1] = 0
71.72/28.64	c (9,0) opt[69][2] = 1
71.72/28.64	c (9,0) opt[69][3] = 0
71.72/28.64	c (9,0) opt[69][4] = 0
71.72/28.64	c (9,0) opt[70][0] = 0
71.72/28.64	c (9,0) opt[70][1] = 1
71.72/28.64	c (9,0) opt[70][2] = 0
71.72/28.64	c (9,0) opt[70][3] = 0
71.72/28.64	c (9,0) opt[70][4] = 0
71.72/28.64	c (9,0) opt[71][0] = 1
71.72/28.64	c (9,0) opt[71][1] = 0
71.72/28.64	c (9,0) opt[71][2] = 0
71.72/28.64	c (9,0) opt[71][3] = 0
71.72/28.64	c (9,0) opt[71][4] = 0
71.72/28.64	c (9,0) opt[72][0] = 0
71.72/28.64	c (9,0) opt[72][1] = 0
71.72/28.64	c (9,0) opt[72][2] = 1
71.72/28.64	c (9,0) opt[72][3] = 1
71.72/28.64	c (9,0) opt[72][4] = 0
71.72/28.64	c (9,0) opt[73][0] = 1
71.72/28.64	c (9,0) opt[73][1] = 0
71.72/28.64	c (9,0) opt[73][2] = 0
71.72/28.64	c (9,0) opt[73][3] = 0
71.72/28.64	c (9,0) opt[73][4] = 0
71.72/28.64	c (9,0) opt[74][0] = 0
71.72/28.64	c (9,0) opt[74][1] = 1
71.72/28.64	c (9,0) opt[74][2] = 0
71.72/28.64	c (9,0) opt[74][3] = 1
71.72/28.64	c (9,0) opt[74][4] = 0
71.72/28.64	c (9,0) opt[75][0] = 0
71.72/28.64	c (9,0) opt[75][1] = 0
71.72/28.64	c (9,0) opt[75][2] = 1
71.72/28.64	c (9,0) opt[75][3] = 0
71.72/28.64	c (9,0) opt[75][4] = 0
71.72/28.64	c (9,0) opt[76][0] = 1
71.72/28.64	c (9,0) opt[76][1] = 1
71.72/28.64	c (9,0) opt[76][2] = 0
71.72/28.64	c (9,0) opt[76][3] = 0
71.72/28.64	c (9,0) opt[76][4] = 0
71.72/28.64	c (9,0) opt[77][0] = 0
71.72/28.64	c (9,0) opt[77][1] = 0
71.72/28.64	c (9,0) opt[77][2] = 0
71.72/28.64	c (9,0) opt[77][3] = 0
71.72/28.64	c (9,0) opt[77][4] = 1
71.72/28.64	c (9,0) opt[78][0] = 0
71.72/28.64	c (9,0) opt[78][1] = 1
71.72/28.64	c (9,0) opt[78][2] = 0
71.72/28.64	c (9,0) opt[78][3] = 0
71.72/28.64	c (9,0) opt[78][4] = 0
71.72/28.64	c (9,0) opt[79][0] = 1
71.72/28.64	c (9,0) opt[79][1] = 0
71.72/28.64	c (9,0) opt[79][2] = 1
71.72/28.64	c (9,0) opt[79][3] = 1
71.72/28.64	c (9,0) opt[79][4] = 0
71.72/28.64	c (9,0) opt[80][0] = 0
71.72/28.64	c (9,0) opt[80][1] = 0
71.72/28.64	c (9,0) opt[80][2] = 0
71.72/28.64	c (9,0) opt[80][3] = 1
71.72/28.64	c (9,0) opt[80][4] = 0
71.72/28.64	c (9,0) opt[81][0] = 1
71.72/28.64	c (9,0) opt[81][1] = 0
71.72/28.64	c (9,0) opt[81][2] = 0
71.72/28.64	c (9,0) opt[81][3] = 0
71.72/28.64	c (9,0) opt[81][4] = 0
71.72/28.64	c (9,0) opt[82][0] = 0
71.72/28.64	c (9,0) opt[82][1] = 1
71.72/28.64	c (9,0) opt[82][2] = 0
71.72/28.64	c (9,0) opt[82][3] = 0
71.72/28.64	c (9,0) opt[82][4] = 0
71.72/28.64	c (9,0) opt[83][0] = 1
71.72/28.64	c (9,0) opt[83][1] = 0
71.72/28.64	c (9,0) opt[83][2] = 0
71.72/28.64	c (9,0) opt[83][3] = 0
71.72/28.64	c (9,0) opt[83][4] = 0
71.72/28.64	c (9,0) opt[84][0] = 0
71.72/28.65	c (9,0) opt[84][1] = 1
71.72/28.65	c (9,0) opt[84][2] = 0
71.72/28.65	c (9,0) opt[84][3] = 1
71.72/28.65	c (9,0) opt[84][4] = 0
71.72/28.65	c (9,0) opt[85][0] = 1
71.72/28.65	c (9,0) opt[85][1] = 0
71.72/28.65	c (9,0) opt[85][2] = 0
71.72/28.65	c (9,0) opt[85][3] = 0
71.72/28.65	c (9,0) opt[85][4] = 0
71.72/28.65	c (9,0) opt[86][0] = 0
71.72/28.65	c (9,0) opt[86][1] = 0
71.72/28.65	c (9,0) opt[86][2] = 1
71.72/28.65	c (9,0) opt[86][3] = 1
71.72/28.65	c (9,0) opt[86][4] = 1
71.72/28.65	c (9,0) opt[87][0] = 1
71.72/28.65	c (9,0) opt[87][1] = 0
71.72/28.65	c (9,0) opt[87][2] = 0
71.72/28.65	c (9,0) opt[87][3] = 0
71.72/28.65	c (9,0) opt[87][4] = 0
71.72/28.65	c (9,0) opt[88][0] = 0
71.72/28.65	c (9,0) opt[88][1] = 1
71.72/28.65	c (9,0) opt[88][2] = 0
71.72/28.65	c (9,0) opt[88][3] = 0
71.72/28.65	c (9,0) opt[88][4] = 0
71.72/28.65	c (9,0) opt[89][0] = 0
71.72/28.65	c (9,0) opt[89][1] = 0
71.72/28.65	c (9,0) opt[89][2] = 1
71.72/28.65	c (9,0) opt[89][3] = 0
71.72/28.65	c (9,0) opt[89][4] = 0
71.72/28.65	c (9,0) opt[90][0] = 1
71.72/28.65	c (9,0) opt[90][1] = 1
71.72/28.65	c (9,0) opt[90][2] = 0
71.72/28.65	c (9,0) opt[90][3] = 0
71.72/28.65	c (9,0) opt[90][4] = 0
71.72/28.65	c (9,0) opt[91][0] = 0
71.72/28.65	c (9,0) opt[91][1] = 1
71.72/28.65	c (9,0) opt[91][2] = 0
71.72/28.65	c (9,0) opt[91][3] = 1
71.72/28.65	c (9,0) opt[91][4] = 0
71.72/28.65	c (9,0) opt[92][0] = 1
71.72/28.65	c (9,0) opt[92][1] = 0
71.72/28.65	c (9,0) opt[92][2] = 1
71.72/28.65	c (9,0) opt[92][3] = 0
71.72/28.65	c (9,0) opt[92][4] = 0
71.72/28.65	c (9,0) opt[93][0] = 0
71.72/28.65	c (9,0) opt[93][1] = 1
71.72/28.65	c (9,0) opt[93][2] = 0
71.72/28.65	c (9,0) opt[93][3] = 0
71.72/28.65	c (9,0) opt[93][4] = 0
71.72/28.65	c (9,0) opt[94][0] = 1
71.72/28.65	c (9,0) opt[94][1] = 0
71.72/28.65	c (9,0) opt[94][2] = 0
71.72/28.65	c (9,0) opt[94][3] = 1
71.72/28.65	c (9,0) opt[94][4] = 1
71.72/28.65	c (9,0) opt[95][0] = 0
71.72/28.65	c (9,0) opt[95][1] = 1
71.72/28.65	c (9,0) opt[95][2] = 0
71.72/28.65	c (9,0) opt[95][3] = 0
71.72/28.65	c (9,0) opt[95][4] = 0
71.72/28.65	c (9,0) opt[96][0] = 0
71.72/28.65	c (9,0) opt[96][1] = 0
71.72/28.65	c (9,0) opt[96][2] = 1
71.72/28.65	c (9,0) opt[96][3] = 0
71.72/28.65	c (9,0) opt[96][4] = 0
71.72/28.65	c (9,0) opt[97][0] = 1
71.72/28.65	c (9,0) opt[97][1] = 1
71.72/28.65	c (9,0) opt[97][2] = 0
71.72/28.65	c (9,0) opt[97][3] = 1
71.72/28.65	c (9,0) opt[97][4] = 0
71.72/28.65	c (9,0) opt[98][0] = 0
71.72/28.65	c (9,0) opt[98][1] = 1
71.72/28.65	c (9,0) opt[98][2] = 0
71.72/28.65	c (9,0) opt[98][3] = 0
71.72/28.65	c (9,0) opt[98][4] = 0
71.72/28.65	c (9,0) opt[99][0] = 1
71.72/28.65	c (9,0) opt[99][1] = 0
71.72/28.65	c (9,0) opt[99][2] = 0
71.72/28.65	c (9,0) opt[99][3] = 0
71.72/28.65	c (9,0) opt[99][4] = 0
71.72/28.65	c (9,0) opt[100][0] = 0
71.72/28.65	c (9,0) opt[100][1] = 0
71.72/28.65	c (9,0) opt[100][2] = 0
71.72/28.65	c (9,0) opt[100][3] = 1
71.72/28.65	c (9,0) opt[100][4] = 0
71.72/28.65	c (9,0) opt[101][0] = 1
71.72/28.65	c (9,0) opt[101][1] = 0
71.72/28.65	c (9,0) opt[101][2] = 0
71.72/28.65	c (9,0) opt[101][3] = 0
71.72/28.65	c (9,0) opt[101][4] = 0
71.72/28.65	c (9,0) opt[102][0] = 0
71.72/28.65	c (9,0) opt[102][1] = 0
71.72/28.65	c (9,0) opt[102][2] = 0
71.72/28.65	c (9,0) opt[102][3] = 0
71.72/28.65	c (9,0) opt[102][4] = 1
71.72/28.65	c (9,0) opt[103][0] = 1
71.72/28.65	c (9,0) opt[103][1] = 1
71.72/28.65	c (9,0) opt[103][2] = 0
71.72/28.65	c (9,0) opt[103][3] = 0
71.72/28.65	c (9,0) opt[103][4] = 0
71.72/28.65	c (9,0) opt[104][0] = 0
71.72/28.65	c (9,0) opt[104][1] = 1
71.72/28.65	c (9,0) opt[104][2] = 0
71.72/28.65	c (9,0) opt[104][3] = 0
71.72/28.65	c (9,0) opt[104][4] = 0
71.72/28.65	c (9,0) opt[105][0] = 0
71.72/28.65	c (9,0) opt[105][1] = 0
71.72/28.65	c (9,0) opt[105][2] = 0
71.72/28.65	c (9,0) opt[105][3] = 1
71.72/28.65	c (9,0) opt[105][4] = 0
71.72/28.65	c (9,0) opt[106][0] = 1
71.72/28.65	c (9,0) opt[106][1] = 0
71.72/28.65	c (9,0) opt[106][2] = 1
71.72/28.65	c (9,0) opt[106][3] = 0
71.72/28.65	c (9,0) opt[106][4] = 0
71.72/28.65	c (9,0) opt[107][0] = 0
71.72/28.65	c (9,0) opt[107][1] = 0
71.72/28.65	c (9,0) opt[107][2] = 0
71.72/28.65	c (9,0) opt[107][3] = 0
71.72/28.65	c (9,0) opt[107][4] = 1
71.72/28.65	c (9,0) opt[108][0] = 1
71.72/28.65	c (9,0) opt[108][1] = 1
71.72/28.65	c (9,0) opt[108][2] = 0
71.72/28.65	c (9,0) opt[108][3] = 0
71.72/28.65	c (9,0) opt[108][4] = 0
71.72/28.65	c (9,0) opt[109][0] = 0
71.72/28.65	c (9,0) opt[109][1] = 1
71.72/28.65	c (9,0) opt[109][2] = 0
71.72/28.65	c (9,0) opt[109][3] = 0
71.72/28.65	c (9,0) opt[109][4] = 0
71.72/28.65	c (9,0) opt[110][0] = 0
71.72/28.65	c (9,0) opt[110][1] = 0
71.72/28.65	c (9,0) opt[110][2] = 0
71.72/28.65	c (9,0) opt[110][3] = 1
71.72/28.65	c (9,0) opt[110][4] = 0
71.72/28.65	c (9,0) opt[111][0] = 1
71.72/28.65	c (9,0) opt[111][1] = 1
71.72/28.65	c (9,0) opt[111][2] = 1
71.72/28.65	c (9,0) opt[111][3] = 0
71.72/28.65	c (9,0) opt[111][4] = 0
71.72/28.65	c (9,0) opt[112][0] = 0
71.72/28.65	c (9,0) opt[112][1] = 1
71.72/28.65	c (9,0) opt[112][2] = 0
71.72/28.65	c (9,0) opt[112][3] = 0
71.72/28.65	c (9,0) opt[112][4] = 1
71.72/28.65	c (9,0) opt[113][0] = 0
71.72/28.65	c (9,0) opt[113][1] = 0
71.72/28.65	c (9,0) opt[113][2] = 0
71.72/28.65	c (9,0) opt[113][3] = 1
71.72/28.65	c (9,0) opt[113][4] = 0
71.72/28.65	c (9,0) opt[114][0] = 0
71.72/28.65	c (9,0) opt[114][1] = 1
71.72/28.65	c (9,0) opt[114][2] = 0
71.72/28.65	c (9,0) opt[114][3] = 0
71.72/28.65	c (9,0) opt[114][4] = 0
71.72/28.65	c (9,0) opt[115][0] = 1
71.72/28.65	c (9,0) opt[115][1] = 1
71.72/28.65	c (9,0) opt[115][2] = 0
71.72/28.65	c (9,0) opt[115][3] = 0
71.72/28.65	c (9,0) opt[115][4] = 0
71.72/28.65	c (9,0) opt[116][0] = 0
71.72/28.65	c (9,0) opt[116][1] = 0
71.72/28.65	c (9,0) opt[116][2] = 0
71.72/28.65	c (9,0) opt[116][3] = 1
71.72/28.65	c (9,0) opt[116][4] = 0
71.72/28.65	c (9,0) opt[117][0] = 1
71.72/28.65	c (9,0) opt[117][1] = 0
71.72/28.65	c (9,0) opt[117][2] = 1
71.72/28.65	c (9,0) opt[117][3] = 0
71.72/28.65	c (9,0) opt[117][4] = 0
71.72/28.65	c (9,0) opt[118][0] = 0
71.72/28.65	c (9,0) opt[118][1] = 0
71.72/28.65	c (9,0) opt[118][2] = 0
71.72/28.65	c (9,0) opt[118][3] = 0
71.72/28.65	c (9,0) opt[118][4] = 1
71.72/28.65	c (9,0) opt[119][0] = 1
71.72/28.65	c (9,0) opt[119][1] = 0
71.72/28.65	c (9,0) opt[119][2] = 0
71.72/28.65	c (9,0) opt[119][3] = 0
71.72/28.65	c (9,0) opt[119][4] = 0
71.72/28.65	c (9,0) opt[120][0] = 0
71.72/28.65	c (9,0) opt[120][1] = 0
71.72/28.65	c (9,0) opt[120][2] = 1
71.72/28.65	c (9,0) opt[120][3] = 1
71.72/28.65	c (9,0) opt[120][4] = 0
71.72/28.65	c (9,0) opt[121][0] = 1
71.72/28.65	c (9,0) opt[121][1] = 0
71.72/28.65	c (9,0) opt[121][2] = 0
71.72/28.65	c (9,0) opt[121][3] = 0
71.72/28.65	c (9,0) opt[121][4] = 0
71.72/28.65	c (9,0) opt[122][0] = 0
71.72/28.65	c (9,0) opt[122][1] = 0
71.72/28.65	c (9,0) opt[122][2] = 0
71.72/28.65	c (9,0) opt[122][3] = 1
71.72/28.65	c (9,0) opt[122][4] = 0
71.72/28.65	c (9,0) opt[123][0] = 1
71.72/28.65	c (9,0) opt[123][1] = 0
71.72/28.65	c (9,0) opt[123][2] = 0
71.72/28.65	c (9,0) opt[123][3] = 0
71.72/28.65	c (9,0) opt[123][4] = 1
71.72/28.65	c (9,0) opt[124][0] = 0
71.72/28.65	c (9,0) opt[124][1] = 0
71.72/28.65	c (9,0) opt[124][2] = 1
71.72/28.65	c (9,0) opt[124][3] = 0
71.72/28.65	c (9,0) opt[124][4] = 0
71.72/28.65	c (9,0) opt[125][0] = 0
71.72/28.65	c (9,0) opt[125][1] = 1
71.72/28.65	c (9,0) opt[125][2] = 0
71.72/28.65	c (9,0) opt[125][3] = 0
71.72/28.65	c (9,0) opt[125][4] = 0
71.72/28.65	c (9,0) opt[126][0] = 1
71.72/28.65	c (9,0) opt[126][1] = 1
71.72/28.65	c (9,0) opt[126][2] = 0
71.72/28.65	c (9,0) opt[126][3] = 1
71.72/28.65	c (9,0) opt[126][4] = 0
71.72/28.65	c (9,0) opt[127][0] = 0
71.72/28.65	c (9,0) opt[127][1] = 0
71.72/28.65	c (9,0) opt[127][2] = 1
71.72/28.65	c (9,0) opt[127][3] = 0
71.72/28.65	c (9,0) opt[127][4] = 0
71.72/28.65	c (9,0) opt[128][0] = 1
71.72/28.65	c (9,0) opt[128][1] = 1
71.72/28.65	c (9,0) opt[128][2] = 0
71.72/28.65	c (9,0) opt[128][3] = 0
71.72/28.65	c (9,0) opt[128][4] = 0
71.72/28.65	c (9,0) opt[129][0] = 0
71.72/28.65	c (9,0) opt[129][1] = 0
71.72/28.65	c (9,0) opt[129][2] = 0
71.72/28.65	c (9,0) opt[129][3] = 1
71.72/28.65	c (9,0) opt[129][4] = 0
71.72/28.65	c (9,0) opt[130][0] = 1
71.72/28.65	c (9,0) opt[130][1] = 1
71.72/28.65	c (9,0) opt[130][2] = 0
71.72/28.65	c (9,0) opt[130][3] = 0
71.72/28.65	c (9,0) opt[130][4] = 0
71.72/28.65	c (9,0) opt[131][0] = 0
71.72/28.65	c (9,0) opt[131][1] = 0
71.72/28.65	c (9,0) opt[131][2] = 1
71.72/28.65	c (9,0) opt[131][3] = 0
71.72/28.65	c (9,0) opt[131][4] = 0
71.72/28.65	c (9,0) opt[132][0] = 1
71.72/28.65	c (9,0) opt[132][1] = 0
71.72/28.65	c (9,0) opt[132][2] = 0
71.72/28.65	c (9,0) opt[132][3] = 0
71.72/28.65	c (9,0) opt[132][4] = 0
71.72/28.65	c (9,0) opt[133][0] = 0
71.72/28.65	c (9,0) opt[133][1] = 1
71.72/28.65	c (9,0) opt[133][2] = 0
71.72/28.65	c (9,0) opt[133][3] = 1
71.72/28.65	c (9,0) opt[133][4] = 1
71.72/28.65	c (9,0) opt[134][0] = 1
71.72/28.65	c (9,0) opt[134][1] = 0
71.72/28.65	c (9,0) opt[134][2] = 0
71.72/28.65	c (9,0) opt[134][3] = 0
71.72/28.65	c (9,0) opt[134][4] = 0
71.72/28.65	c (9,0) opt[135][0] = 0
71.72/28.65	c (9,0) opt[135][1] = 0
71.72/28.65	c (9,0) opt[135][2] = 1
71.72/28.65	c (9,0) opt[135][3] = 0
71.72/28.65	c (9,0) opt[135][4] = 0
71.72/28.65	c (9,0) opt[136][0] = 0
71.72/28.65	c (9,0) opt[136][1] = 1
71.72/28.65	c (9,0) opt[136][2] = 0
71.72/28.65	c (9,0) opt[136][3] = 0
71.72/28.65	c (9,0) opt[136][4] = 0
71.72/28.65	c (9,0) opt[137][0] = 0
71.72/28.65	c (9,0) opt[137][1] = 0
71.72/28.65	c (9,0) opt[137][2] = 0
71.72/28.65	c (9,0) opt[137][3] = 1
71.72/28.65	c (9,0) opt[137][4] = 0
71.72/28.65	c (9,0) opt[138][0] = 1
71.72/28.65	c (9,0) opt[138][1] = 1
71.72/28.65	c (9,0) opt[138][2] = 0
71.72/28.65	c (9,0) opt[138][3] = 0
71.72/28.65	c (9,0) opt[138][4] = 0
71.72/28.65	c (9,0) opt[139][0] = 0
71.72/28.65	c (9,0) opt[139][1] = 0
71.72/28.65	c (9,0) opt[139][2] = 0
71.72/28.65	c (9,0) opt[139][3] = 0
71.72/28.65	c (9,0) opt[139][4] = 1
71.72/28.65	c (9,0) opt[140][0] = 1
71.72/28.65	c (9,0) opt[140][1] = 1
71.72/28.65	c (9,0) opt[140][2] = 0
71.72/28.65	c (9,0) opt[140][3] = 0
71.72/28.65	c (9,0) opt[140][4] = 0
71.72/28.65	c (9,0) opt[141][0] = 0
71.72/28.65	c (9,0) opt[141][1] = 0
71.72/28.65	c (9,0) opt[141][2] = 1
71.72/28.65	c (9,0) opt[141][3] = 0
71.72/28.65	c (9,0) opt[141][4] = 0
71.72/28.65	c (9,0) opt[142][0] = 0
71.72/28.65	c (9,0) opt[142][1] = 0
71.72/28.65	c (9,0) opt[142][2] = 0
71.72/28.65	c (9,0) opt[142][3] = 1
71.72/28.65	c (9,0) opt[142][4] = 0
71.72/28.65	c (9,0) opt[143][0] = 1
71.72/28.65	c (9,0) opt[143][1] = 1
71.72/28.65	c (9,0) opt[143][2] = 0
71.72/28.65	c (9,0) opt[143][3] = 0
71.72/28.65	c (9,0) opt[143][4] = 0
71.72/28.65	c (9,0) opt[144][0] = 0
71.72/28.65	c (9,0) opt[144][1] = 1
71.72/28.65	c (9,0) opt[144][2] = 0
71.72/28.65	c (9,0) opt[144][3] = 1
71.72/28.65	c (9,0) opt[144][4] = 0
71.72/28.65	c (9,0) opt[145][0] = 1
71.72/28.65	c (9,0) opt[145][1] = 0
71.72/28.65	c (9,0) opt[145][2] = 0
71.72/28.65	c (9,0) opt[145][3] = 0
71.72/28.65	c (9,0) opt[145][4] = 0
71.72/28.65	c (9,0) opt[146][0] = 0
71.72/28.65	c (9,0) opt[146][1] = 1
71.72/28.65	c (9,0) opt[146][2] = 1
71.72/28.65	c (9,0) opt[146][3] = 0
71.72/28.65	c (9,0) opt[146][4] = 1
71.72/28.65	c (9,0) opt[147][0] = 1
71.72/28.65	c (9,0) opt[147][1] = 1
71.72/28.65	c (9,0) opt[147][2] = 0
71.72/28.65	c (9,0) opt[147][3] = 0
71.72/28.65	c (9,0) opt[147][4] = 0
71.72/28.65	c (9,0) opt[148][0] = 0
71.72/28.65	c (9,0) opt[148][1] = 0
71.72/28.65	c (9,0) opt[148][2] = 0
71.72/28.65	c (9,0) opt[148][3] = 1
71.72/28.65	c (9,0) opt[148][4] = 0
71.72/28.65	c (9,0) opt[149][0] = 1
71.72/28.65	c (9,0) opt[149][1] = 0
71.72/28.65	c (9,0) opt[149][2] = 0
71.72/28.65	c (9,0) opt[149][3] = 0
71.72/28.65	c (9,0) opt[149][4] = 0
71.72/28.65	c (9,0) opt[150][0] = 0
71.72/28.65	c (9,0) opt[150][1] = 0
71.72/28.65	c (9,0) opt[150][2] = 1
71.72/28.65	c (9,0) opt[150][3] = 1
71.72/28.65	c (9,0) opt[150][4] = 0
71.72/28.65	c (9,0) opt[151][0] = 0
71.72/28.65	c (9,0) opt[151][1] = 0
71.72/28.65	c (9,0) opt[151][2] = 0
71.72/28.65	c (9,0) opt[151][3] = 0
71.72/28.65	c (9,0) opt[151][4] = 1
71.72/28.65	c (9,0) opt[152][0] = 1
71.72/28.65	c (9,0) opt[152][1] = 0
71.72/28.65	c (9,0) opt[152][2] = 0
71.72/28.65	c (9,0) opt[152][3] = 0
71.72/28.65	c (9,0) opt[152][4] = 0
71.72/28.65	c (9,0) opt[153][0] = 0
71.72/28.65	c (9,0) opt[153][1] = 0
71.72/28.65	c (9,0) opt[153][2] = 0
71.72/28.65	c (9,0) opt[153][3] = 1
71.72/28.65	c (9,0) opt[153][4] = 0
71.72/28.65	c (9,0) opt[154][0] = 1
71.72/28.65	c (9,0) opt[154][1] = 0
71.72/28.65	c (9,0) opt[154][2] = 0
71.72/28.65	c (9,0) opt[154][3] = 0
71.72/28.65	c (9,0) opt[154][4] = 0
71.72/28.65	c (9,0) opt[155][0] = 0
71.72/28.65	c (9,0) opt[155][1] = 1
71.72/28.65	c (9,0) opt[155][2] = 0
71.72/28.65	c (9,0) opt[155][3] = 1
71.72/28.65	c (9,0) opt[155][4] = 0
71.72/28.65	c (9,0) opt[156][0] = 0
71.72/28.65	c (9,0) opt[156][1] = 0
71.72/28.65	c (9,0) opt[156][2] = 1
71.72/28.65	c (9,0) opt[156][3] = 0
71.72/28.65	c (9,0) opt[156][4] = 1
71.72/28.65	c (9,0) opt[157][0] = 1
71.72/28.65	c (9,0) opt[157][1] = 0
71.72/28.65	c (9,0) opt[157][2] = 0
71.72/28.65	c (9,0) opt[157][3] = 0
71.72/28.65	c (9,0) opt[157][4] = 0
71.72/28.65	c (9,0) opt[158][0] = 0
71.72/28.65	c (9,0) opt[158][1] = 1
71.72/28.65	c (9,0) opt[158][2] = 0
71.72/28.65	c (9,0) opt[158][3] = 1
71.72/28.65	c (9,0) opt[158][4] = 0
71.72/28.65	c (9,0) opt[159][0] = 1
71.72/28.65	c (9,0) opt[159][1] = 1
71.72/28.65	c (9,0) opt[159][2] = 0
71.72/28.65	c (9,0) opt[159][3] = 0
71.72/28.65	c (9,0) opt[159][4] = 0
71.72/28.65	c (9,0) opt[160][0] = 0
71.72/28.65	c (9,0) opt[160][1] = 0
71.72/28.65	c (9,0) opt[160][2] = 0
71.72/28.65	c (9,0) opt[160][3] = 1
71.72/28.65	c (9,0) opt[160][4] = 0
71.72/28.65	c (9,0) opt[161][0] = 1
71.72/28.65	c (9,0) opt[161][1] = 0
71.72/28.65	c (9,0) opt[161][2] = 1
71.72/28.65	c (9,0) opt[161][3] = 0
71.72/28.65	c (9,0) opt[161][4] = 0
71.72/28.65	c (9,0) opt[162][0] = 0
71.72/28.65	c (9,0) opt[162][1] = 1
71.72/28.65	c (9,0) opt[162][2] = 0
71.72/28.65	c (9,0) opt[162][3] = 0
71.72/28.65	c (9,0) opt[162][4] = 1
71.72/28.65	c (9,0) opt[163][0] = 0
71.72/28.65	c (9,0) opt[163][1] = 1
71.72/28.65	c (9,0) opt[163][2] = 0
71.72/28.65	c (9,0) opt[163][3] = 1
71.72/28.65	c (9,0) opt[163][4] = 0
71.72/28.65	c (9,0) opt[164][0] = 1
71.72/28.65	c (9,0) opt[164][1] = 0
71.72/28.65	c (9,0) opt[164][2] = 0
71.72/28.65	c (9,0) opt[164][3] = 0
71.72/28.65	c (9,0) opt[164][4] = 0
71.72/28.65	c (9,0) opt[165][0] = 0
71.72/28.65	c (9,0) opt[165][1] = 1
71.72/28.65	c (9,0) opt[165][2] = 0
71.72/28.65	c (9,0) opt[165][3] = 0
71.72/28.65	c (9,0) opt[165][4] = 0
71.72/28.65	c (9,0) opt[166][0] = 1
71.72/28.65	c (9,0) opt[166][1] = 0
71.72/28.65	c (9,0) opt[166][2] = 0
71.72/28.65	c (9,0) opt[166][3] = 0
71.72/28.65	c (9,0) opt[166][4] = 0
71.72/28.65	c (9,0) opt[167][0] = 0
71.72/28.65	c (9,0) opt[167][1] = 0
71.72/28.65	c (9,0) opt[167][2] = 1
71.72/28.65	c (9,0) opt[167][3] = 1
71.72/28.65	c (9,0) opt[167][4] = 0
71.72/28.65	c (9,0) opt[168][0] = 0
71.72/28.65	c (9,0) opt[168][1] = 0
71.72/28.65	c (9,0) opt[168][2] = 0
71.72/28.65	c (9,0) opt[168][3] = 1
71.72/28.65	c (9,0) opt[168][4] = 0
71.72/28.65	c (9,0) opt[169][0] = 1
71.72/28.65	c (9,0) opt[169][1] = 0
71.72/28.65	c (9,0) opt[169][2] = 0
71.72/28.65	c (9,0) opt[169][3] = 0
71.72/28.65	c (9,0) opt[169][4] = 1
71.72/28.65	c (9,0) opt[170][0] = 0
71.72/28.65	c (9,0) opt[170][1] = 1
71.72/28.65	c (9,0) opt[170][2] = 1
71.72/28.65	c (9,0) opt[170][3] = 0
71.72/28.65	c (9,0) opt[170][4] = 0
71.72/28.65	c (9,0) opt[171][0] = 0
71.72/28.65	c (9,0) opt[171][1] = 1
71.72/28.65	c (9,0) opt[171][2] = 0
71.72/28.65	c (9,0) opt[171][3] = 0
71.72/28.65	c (9,0) opt[171][4] = 0
71.72/28.65	c (9,0) opt[172][0] = 1
71.72/28.65	c (9,0) opt[172][1] = 0
71.72/28.65	c (9,0) opt[172][2] = 0
71.72/28.65	c (9,0) opt[172][3] = 0
71.72/28.65	c (9,0) opt[172][4] = 0
71.72/28.65	c (9,0) opt[173][0] = 0
71.72/28.65	c (9,0) opt[173][1] = 1
71.72/28.65	c (9,0) opt[173][2] = 0
71.72/28.65	c (9,0) opt[173][3] = 0
71.72/28.65	c (9,0) opt[173][4] = 0
71.72/28.65	c (9,0) opt[174][0] = 0
71.72/28.65	c (9,0) opt[174][1] = 1
71.72/28.65	c (9,0) opt[174][2] = 0
71.72/28.65	c (9,0) opt[174][3] = 1
71.72/28.65	c (9,0) opt[174][4] = 1
71.72/28.65	c (9,0) opt[175][0] = 1
71.72/28.65	c (9,0) opt[175][1] = 0
71.72/28.65	c (9,0) opt[175][2] = 0
71.72/28.65	c (9,0) opt[175][3] = 0
71.72/28.65	c (9,0) opt[175][4] = 0
71.72/28.65	c (9,0) opt[176][0] = 0
71.72/28.65	c (9,0) opt[176][1] = 1
71.72/28.65	c (9,0) opt[176][2] = 0
71.72/28.65	c (9,0) opt[176][3] = 1
71.72/28.65	c (9,0) opt[176][4] = 0
71.72/28.65	c (9,0) opt[177][0] = 0
71.72/28.65	c (9,0) opt[177][1] = 1
71.72/28.65	c (9,0) opt[177][2] = 0
71.72/28.65	c (9,0) opt[177][3] = 0
71.72/28.65	c (9,0) opt[177][4] = 0
71.72/28.65	c (9,0) opt[178][0] = 1
71.72/28.65	c (9,0) opt[178][1] = 0
71.72/28.65	c (9,0) opt[178][2] = 0
71.72/28.65	c (9,0) opt[178][3] = 0
71.72/28.65	c (9,0) opt[178][4] = 0
71.72/28.65	c (9,0) opt[179][0] = 0
71.72/28.65	c (9,0) opt[179][1] = 1
71.72/28.65	c (9,0) opt[179][2] = 1
71.72/28.65	c (9,0) opt[179][3] = 1
71.72/28.65	c (9,0) opt[179][4] = 0
71.72/28.65	c (9,0) opt[180][0] = 0
71.72/28.65	c (9,0) opt[180][1] = 0
71.72/28.65	c (9,0) opt[180][2] = 0
71.72/28.65	c (9,0) opt[180][3] = 0
71.72/28.65	c (9,0) opt[180][4] = 1
71.72/28.65	c (9,0) opt[181][0] = 1
71.72/28.65	c (9,0) opt[181][1] = 1
71.72/28.65	c (9,0) opt[181][2] = 0
71.72/28.65	c (9,0) opt[181][3] = 1
71.72/28.65	c (9,0) opt[181][4] = 0
71.72/28.65	c (9,0) opt[182][0] = 0
71.72/28.65	c (9,0) opt[182][1] = 1
71.72/28.65	c (9,0) opt[182][2] = 0
71.72/28.65	c (9,0) opt[182][3] = 0
71.72/28.65	c (9,0) opt[182][4] = 0
71.72/28.65	c (9,0) opt[183][0] = 0
71.72/28.65	c (9,0) opt[183][1] = 0
71.72/28.65	c (9,0) opt[183][2] = 1
71.72/28.65	c (9,0) opt[183][3] = 0
71.72/28.65	c (9,0) opt[183][4] = 0
71.72/28.65	c (9,0) opt[184][0] = 1
71.72/28.65	c (9,0) opt[184][1] = 0
71.72/28.65	c (9,0) opt[184][2] = 0
71.72/28.65	c (9,0) opt[184][3] = 0
71.72/28.65	c (9,0) opt[184][4] = 0
71.72/28.65	c (9,0) opt[185][0] = 0
71.72/28.65	c (9,0) opt[185][1] = 1
71.72/28.65	c (9,0) opt[185][2] = 0
71.72/28.65	c (9,0) opt[185][3] = 0
71.72/28.65	c (9,0) opt[185][4] = 0
71.72/28.65	c (9,0) opt[186][0] = 1
71.72/28.65	c (9,0) opt[186][1] = 0
71.72/28.65	c (9,0) opt[186][2] = 0
71.72/28.65	c (9,0) opt[186][3] = 0
71.72/28.65	c (9,0) opt[186][4] = 1
71.72/28.65	c (9,0) opt[187][0] = 0
71.72/28.65	c (9,0) opt[187][1] = 1
71.72/28.65	c (9,0) opt[187][2] = 1
71.72/28.65	c (9,0) opt[187][3] = 1
71.72/28.65	c (9,0) opt[187][4] = 0
71.72/28.65	c (9,0) opt[188][0] = 0
71.72/28.65	c (9,0) opt[188][1] = 1
71.72/28.65	c (9,0) opt[188][2] = 0
71.72/28.65	c (9,0) opt[188][3] = 0
71.72/28.65	c (9,0) opt[188][4] = 0
71.72/28.65	c (9,0) opt[189][0] = 1
71.72/28.65	c (9,0) opt[189][1] = 0
71.72/28.65	c (9,0) opt[189][2] = 0
71.72/28.65	c (9,0) opt[189][3] = 0
71.72/28.65	c (9,0) opt[189][4] = 0
71.72/28.65	c (9,0) opt[190][0] = 0
71.72/28.65	c (9,0) opt[190][1] = 0
71.72/28.65	c (9,0) opt[190][2] = 0
71.72/28.65	c (9,0) opt[190][3] = 1
71.72/28.65	c (9,0) opt[190][4] = 0
71.72/28.65	c (9,0) opt[191][0] = 1
71.72/28.65	c (9,0) opt[191][1] = 0
71.72/28.65	c (9,0) opt[191][2] = 0
71.72/28.65	c (9,0) opt[191][3] = 0
71.72/28.65	c (9,0) opt[191][4] = 0
71.72/28.65	c (9,0) opt[192][0] = 0
71.72/28.65	c (9,0) opt[192][1] = 0
71.72/28.65	c (9,0) opt[192][2] = 0
71.72/28.65	c (9,0) opt[192][3] = 0
71.72/28.65	c (9,0) opt[192][4] = 1
71.72/28.65	c (9,0) opt[193][0] = 1
71.72/28.65	c (9,0) opt[193][1] = 0
71.72/28.65	c (9,0) opt[193][2] = 0
71.72/28.65	c (9,0) opt[193][3] = 0
71.72/28.65	c (9,0) opt[193][4] = 0
71.72/28.65	c (9,0) opt[194][0] = 0
71.72/28.65	c (9,0) opt[194][1] = 0
71.72/28.65	c (9,0) opt[194][2] = 1
71.72/28.65	c (9,0) opt[194][3] = 0
71.72/28.65	c (9,0) opt[194][4] = 0
71.72/28.65	c (9,0) opt[195][0] = 0
71.72/28.65	c (9,0) opt[195][1] = 0
71.72/28.65	c (9,0) opt[195][2] = 0
71.72/28.65	c (9,0) opt[195][3] = 1
71.72/28.65	c (9,0) opt[195][4] = 0
71.72/28.65	c (9,0) opt[196][0] = 0
71.72/28.65	c (9,0) opt[196][1] = 1
71.72/28.65	c (9,0) opt[196][2] = 0
71.72/28.65	c (9,0) opt[196][3] = 0
71.72/28.65	c (9,0) opt[196][4] = 0
71.72/28.65	c (9,0) opt[197][0] = 1
71.72/28.65	c (9,0) opt[197][1] = 0
71.72/28.65	c (9,0) opt[197][2] = 0
71.72/28.65	c (9,0) opt[197][3] = 0
71.72/28.65	c (9,0) opt[197][4] = 0
71.72/28.65	c (9,0) opt[198][0] = 0
71.72/28.65	c (9,0) opt[198][1] = 0
71.72/28.65	c (9,0) opt[198][2] = 1
71.72/28.65	c (9,0) opt[198][3] = 0
71.72/28.65	c (9,0) opt[198][4] = 1
71.72/28.65	c (9,0) opt[199][0] = 0
71.72/28.65	c (9,0) opt[199][1] = 0
71.72/28.65	c (9,0) opt[199][2] = 0
71.72/28.65	c (9,0) opt[199][3] = 1
71.72/28.65	c (9,0) opt[199][4] = 0
71.72/28.65	s SATISFIABLE
71.72/28.65	v <instantiation>
71.72/28.65	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>
71.72/28.65	v     <values>14 11 18 2 17 2 6 16 17 2 17 11 6 17 22 6 20 2 17 15 9 17 2 17 17 4 6 22 17 2 18 2 14 15 17 6 11 14 17 2 19 2 0 2 20 2 18 4 17 2 14 18 4 17 17 2 17 12 6 3 23 20 2 6 11 17 6 22 6 11 17 2 19 2 18 20 3 14 17 4 6 2 17 2 18 2 7 2 17 20 3 18 11 17 10 17 20 16 17 2 6 2 14 3 17 6 11 14 3 17 6 8 23 6 17 3 6 11 14 2 19 2 6 5 20 17 16 20 3 6 3 20 2 0 2 20 17 6 3 14 3 20 6 3 18 2 21 3 6 2 19 14 2 6 2 18 13 2 18 3 6 11 23 18 2 17 2 19 6 5 1 17 2 17 0 2 18 17 2 9 14 16 17 20 2 17 5 9 17 2 6 2 14 2 20 6 17 2 13 6 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 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 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 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 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0</values>
71.72/28.65	v </instantiation>
71.72/28.65	c (9,0) Show results End
71.72/28.65	c (9,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
71.72/28.66	c (9,0) 9,9,STOP-AFTER(ALL)
71.72/28.66	c END-Prog: Tue Sep 24 17:17:15 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 (10917 MiB free)
  memory of node 1: 16384 MiB (14066 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100151 s]*
/proc/loadavg: 7.90 7.40 5.40 2/211 15988
/proc/meminfo: memFree=25488184/32770624 swapFree=66999796/67108860
[pid=15966] ppid=15963 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15966/stat : 15966 (scop.sh) S 15963 15966 15640 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510089356 115843072 348 33554432000 4194304 5098028 140723781278480 140723781275736 140574837564028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33067008 140723781280549 140723781280876 140723781280876 140723781283789 0
/proc/15966/statm: 28282 348 296 221 0 87 0
[pid=15969] ppid=15966 vsize=27314120 memory=109084 CPUtime=0.1 cores=0-7
/proc/15969/stat : 15969 (java) S 15966 15966 15640 0 -1 1077944320 6765 0 0 0 7 3 0 0 20 0 20 0 510089356 27969658880 27271 33554432000 4194304 4196468 140720887396480 140720887379024 139938327584503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
/proc/15969/statm: 6828530 27271 2816 1 0 6790935 0
[pid=15969/tid=15970] ppid=15966 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/15969/task/15970/stat : 15970 (java) R 15966 15966 15640 0 -1 4202560 4864 0 0 0 6 2 0 0 20 0 20 0 510089356 27969658880 27271 33554432000 4194304 4196468 140720887396480 139938299419632 139937829490982 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15971] ppid=15966 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/15969/task/15971/stat : 15971 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139938331827216 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15972] ppid=15966 vsize=27314120 memory=140072315426432 CPUtime=0 cores=0-7
/proc/15969/task/15972/stat : 15972 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139938156469392 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15973] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15973/stat : 15973 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139937748515600 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15974] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15974/stat : 15974 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139937747463056 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15975] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15975/stat : 15975 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139937746410000 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15976] ppid=15966 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15969/task/15976/stat : 15976 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139937745357456 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15977] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15977/stat : 15977 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139937744304400 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15978] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15978/stat : 15978 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 27271 33554432000 4194304 4196468 140720887396480 139937743251856 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15979] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15979/stat : 15979 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089360 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936446454512 139938327595650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15980] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15980/stat : 15980 (java) S 15966 15966 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089361 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936275621536 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15981] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15981/stat : 15981 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089361 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936007185648 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15982] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15982/stat : 15982 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089363 27969658880 27271 33554432000 4194304 4196468 140720887396480 139935632677328 139938327603099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15983] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15983/stat : 15983 (java) S 15966 15966 15640 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936445401328 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15984] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15984/stat : 15984 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936444348784 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15985] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15985/stat : 15985 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936443295728 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15986] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15986/stat : 15986 (java) S 15966 15966 15640 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936442243184 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15987] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15987/stat : 15987 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 27271 33554432000 4194304 4196468 140720887396480 139935134772192 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15988] ppid=15966 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15969/task/15988/stat : 15988 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 27271 33554432000 4194304 4196468 140720887396480 139936441191600 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 110476 KiB

[startup+0.210565 s]*
/proc/loadavg: 7.90 7.40 5.40 2/211 15988
/proc/meminfo: memFree=25467984/32770624 swapFree=66999796/67108860
[pid=15966] ppid=15963 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15966/stat : 15966 (scop.sh) S 15963 15966 15640 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510089356 115843072 348 33554432000 4194304 5098028 140723781278480 140723781275736 140574837564028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33067008 140723781280549 140723781280876 140723781280876 140723781283789 0
/proc/15966/statm: 28282 348 296 221 0 87 0
[pid=15969] ppid=15966 vsize=27314120 memory=127780 CPUtime=0.24 cores=0-7
/proc/15969/stat : 15969 (java) S 15966 15966 15640 0 -1 1077944320 12249 0 0 0 20 4 0 0 20 0 20 0 510089356 27969658880 31945 33554432000 4194304 4196468 140720887396480 140720887379024 139938327584503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
/proc/15969/statm: 6828530 31945 2934 1 0 6790935 0
[pid=15969/tid=15970] ppid=15966 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/15969/task/15970/stat : 15970 (java) R 15966 15966 15640 0 -1 4202560 9959 0 0 0 16 3 0 0 20 0 20 0 510089356 27969658880 31945 33554432000 4194304 4196468 140720887396480 139938299398912 139938307859833 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15971] ppid=15966 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/15969/task/15971/stat : 15971 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139938331827216 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15972] ppid=15966 vsize=27314120 memory=140072319159858 CPUtime=0 cores=0-7
/proc/15969/task/15972/stat : 15972 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139938156469392 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15973] ppid=15966 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15969/task/15973/stat : 15973 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139937748515600 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15974] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15974/stat : 15974 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139937747463056 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15975] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15975/stat : 15975 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139937746410000 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15976] ppid=15966 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15969/task/15976/stat : 15976 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139937745357456 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15977] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15977/stat : 15977 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139937744304400 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15978] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15978/stat : 15978 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 31945 33554432000 4194304 4196468 140720887396480 139937743251856 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15979] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15979/stat : 15979 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089360 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936446454512 139938327595650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15980] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15980/stat : 15980 (java) S 15966 15966 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089361 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936275621536 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15981] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15981/stat : 15981 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089361 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936007185648 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15982] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15982/stat : 15982 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089363 27969658880 31945 33554432000 4194304 4196468 140720887396480 139935632677328 139938327603099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15983] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15983/stat : 15983 (java) S 15966 15966 15640 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936445401328 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15984] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15984/stat : 15984 (java) S 15966 15966 15640 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936444348784 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15985] ppid=15966 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15969/task/15985/stat : 15985 (java) S 15966 15966 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936443295728 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15986] ppid=15966 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/15969/task/15986/stat : 15986 (java) S 15966 15966 15640 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 20 0 510089364 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936442243184 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15987] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15987/stat : 15987 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 31945 33554432000 4194304 4196468 140720887396480 139935134772192 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15988] ppid=15966 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15969/task/15988/stat : 15988 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 31945 33554432000 4194304 4196468 140720887396480 139936441191600 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129172 KiB

[startup+0.312671 s]*
/proc/loadavg: 7.90 7.40 5.40 2/211 15988
/proc/meminfo: memFree=25465068/32770624 swapFree=66999796/67108860
[pid=15966] ppid=15963 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15966/stat : 15966 (scop.sh) S 15963 15966 15640 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510089356 115843072 348 33554432000 4194304 5098028 140723781278480 140723781275736 140574837564028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33067008 140723781280549 140723781280876 140723781280876 140723781283789 0
/proc/15966/statm: 28282 348 296 221 0 87 0
[pid=15969] ppid=15966 vsize=27314120 memory=131944 CPUtime=0.42 cores=0-7
/proc/15969/stat : 15969 (java) S 15966 15966 15640 0 -1 1077944320 13301 0 0 0 37 5 0 0 20 0 20 0 510089356 27969658880 32986 33554432000 4194304 4196468 140720887396480 140720887379024 139938327584503 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
/proc/15969/statm: 6828530 32986 3053 1 0 6790935 0
[pid=15969/tid=15970] ppid=15966 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/15969/task/15970/stat : 15970 (java) R 15966 15966 15640 0 -1 4202560 10816 0 0 0 26 4 0 0 20 0 20 0 510089356 27969658880 32986 33554432000 4194304 4196468 140720887396480 139938299375152 139938311664990 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15971] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15971/stat : 15971 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139938331827216 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15972] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15972/stat : 15972 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139938156469392 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15973] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15973/stat : 15973 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139937748515600 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15974] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15974/stat : 15974 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139937747463056 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15975] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15975/stat : 15975 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139937746410000 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15976] ppid=15966 vsize=27314120 memory=140072171170479 CPUtime=0 cores=0-7
/proc/15969/task/15976/stat : 15976 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139937745357456 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15977] ppid=15966 vsize=27314120 memory=140072171172784 CPUtime=0 cores=0-7
/proc/15969/task/15977/stat : 15977 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139937744304400 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15978] ppid=15966 vsize=27314120 memory=140072171175088 CPUtime=0 cores=0-7
/proc/15969/task/15978/stat : 15978 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089359 27969658880 32986 33554432000 4194304 4196468 140720887396480 139937743251856 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15979] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15979/stat : 15979 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089360 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936446454512 139938327595650 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15980] ppid=15966 vsize=27314120 memory=280144342364048 CPUtime=0 cores=0-7
/proc/15969/task/15980/stat : 15980 (java) S 15966 15966 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510089361 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936275621536 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15981] ppid=15966 vsize=27314120 memory=280144342361744 CPUtime=0 cores=0-7
/proc/15969/task/15981/stat : 15981 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089361 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936007185648 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15982] ppid=15966 vsize=27314120 memory=280144342368656 CPUtime=0 cores=0-7
/proc/15969/task/15982/stat : 15982 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089363 27969658880 32986 33554432000 4194304 4196468 140720887396480 139935632677328 139938327603099 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15983] ppid=15966 vsize=27314120 memory=280144342309936 CPUtime=0 cores=0-7
/proc/15969/task/15983/stat : 15983 (java) S 15966 15966 15640 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936445401328 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15984] ppid=15966 vsize=27314120 memory=280144342382480 CPUtime=0.02 cores=0-7
/proc/15969/task/15984/stat : 15984 (java) S 15966 15966 15640 0 -1 1077944384 231 0 0 0 2 0 0 0 20 0 20 0 510089364 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936444348784 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15985] ppid=15966 vsize=27314120 memory=280144342389392 CPUtime=0.01 cores=0-7
/proc/15969/task/15985/stat : 15985 (java) S 15966 15966 15640 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 510089364 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936443295728 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15986] ppid=15966 vsize=27314120 memory=280144342387088 CPUtime=0.07 cores=0-7
/proc/15969/task/15986/stat : 15986 (java) S 15966 15966 15640 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 20 0 510089364 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936442243184 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15987] ppid=15966 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15987/stat : 15987 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 32986 33554432000 4194304 4196468 140720887396480 139935134772192 139938327594709 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15988] ppid=15966 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15969/task/15988/stat : 15988 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089364 27969658880 32986 33554432000 4194304 4196468 140720887396480 139936441191600 139938327595650 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 133336 KiB

[startup+0.700882 s]
/proc/loadavg: 7.90 7.40 5.40 2/211 15988
/proc/meminfo: memFree=25444108/32770624 swapFree=66999796/67108860
[pid=15966] ppid=15963 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/15966/stat : 15966 (scop.sh) S 15963 15966 15640 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 510089356 115843072 348 33554432000 4194304 5098028 140723781278480 140723781275736 140574837564028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33067008 140723781280549 140723781280876 140723781280876 140723781283789 0
/proc/15966/statm: 28282 348 296 221 0 87 0
[pid=15969] ppid=15966 vsize=27320392 memory=166884 CPUtime=0.99 cores=0-7
/proc/15969/stat : 15969 (java) S 15966 15966 15640 0 -1 1077944320 20365 0 0 0 91 8 0 0 20 0 20 0 510089356 27976081408 41721 33554432000 4194304 4196468 140720887396480 140720887379024 139938327584503 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
/proc/15969/statm: 6830098 41721 3146 1 0 6791447 0
[pid=15969/tid=15970] ppid=15966 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/15969/task/15970/stat : 15970 (java) R 15966 15966 15640 0 -1 4202560 17386 0 0 0 61 6 0 0 20 0 20 0 510089356 27976081408 41721 33554432000 4194304 4196468 140720887396480 139938299422992 139938311664990 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15971] ppid=15966 vsize=27320392 memory=140072171381616 CPUtime=0 cores=0-7
/proc/15969/task/15971/stat : 15971 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510089359 27976081408 41721 33554432000 4194304 4196468 140720887396480 139938331827216 139938327594709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15972] ppid=15966 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15969/task/15972/stat : 15972 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27976081408 41721 33554432000 4194304 4196468 140720887396480 139938156469392 139938327594709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0
[pid=15969/tid=15973] ppid=15966 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/15969/task/15973/stat : 15973 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510089359 27976081408 41721 33554432000 4194304 4196468 140720887396480 139937748515600 139938327594709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38383616 140720887403243 140720887403670 140720887403670 140720887406543 0

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

[pid=15991/tid=15994] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15994/stat : 15994 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832882563472 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15995] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15995/stat : 15995 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832881510928 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15996] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15996/stat : 15996 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832880458384 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15997] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15997/stat : 15997 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832879405840 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15998] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15998/stat : 15998 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091228 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832878353296 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15999] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15999/stat : 15999 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510091228 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832877300752 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16000] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/16000/stat : 16000 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091228 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832876248208 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16001] ppid=15966 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/15991/task/16001/stat : 16001 (java) S 15966 15966 15640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510091229 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832305825776 139833078164098 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16002] ppid=15966 vsize=8414124 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/15991/task/16002/stat : 16002 (java) S 15966 15966 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510091229 8616062976 30560 33554432000 4194304 4196468 140729200054096 139831384466336 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16003] ppid=15966 vsize=8414124 memory=14413717844530249 CPUtime=0 cores=0-7
/proc/15991/task/16003/stat : 16003 (java) S 15966 15966 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510091230 8616062976 30560 33554432000 4194304 4196468 140729200054096 139831250244592 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16004] ppid=15966 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/15991/task/16004/stat : 16004 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091232 8616062976 30560 33554432000 4194304 4196468 140729200054096 139830875740368 139833078171547 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16005] ppid=15966 vsize=8414124 memory=932 CPUtime=0.1 cores=0-7
/proc/15991/task/16005/stat : 16005 (java) S 15966 15966 15640 0 -1 1077944384 600 0 0 0 10 0 0 0 20 0 24 0 510091232 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832304773616 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16006] ppid=15966 vsize=8414124 memory=1980 CPUtime=0.18 cores=0-7
/proc/15991/task/16006/stat : 16006 (java) S 15966 15966 15640 0 -1 1077944384 606 0 0 0 18 0 0 0 20 0 24 0 510091232 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832303721072 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16007] ppid=15966 vsize=8414124 memory=0 CPUtime=0.1 cores=0-7
/proc/15991/task/16007/stat : 16007 (java) S 15966 15966 15640 0 -1 1077944384 343 0 0 0 10 0 0 0 20 0 24 0 510091232 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832302668528 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16008] ppid=15966 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/15991/task/16008/stat : 16008 (java) S 15966 15966 15640 0 -1 1077944384 599 0 0 0 24 0 0 0 20 0 24 0 510091232 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832301615984 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16009] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/16009/stat : 16009 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091232 8616062976 30560 33554432000 4194304 4196468 140729200054096 139830377834720 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16010] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/16010/stat : 16010 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091233 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832300562864 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16012] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/16012/stat : 16012 (java) S 15966 15966 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510091307 8616062976 30560 33554432000 4194304 4196468 140729200054096 139832292529344 139833078177561 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16014] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/16014/stat : 16014 (java) S 15966 15966 15640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510091308 8616062976 30560 33554432000 4194304 4196468 140729200054096 139829706735408 139833078174877 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16015] ppid=15966 vsize=8414124 memory=3472592183261933599 CPUtime=0 cores=0-7
/proc/15991/task/16015/stat : 16015 (java) S 15966 15966 15640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510091308 8616062976 30560 33554432000 4194304 4196468 140729200054096 139829975170992 139833078174877 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16016] ppid=15966 vsize=8414124 memory=3689327911186542642 CPUtime=0 cores=0-7
/proc/15991/task/16016/stat : 16016 (java) S 15966 15966 15640 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510091310 8616062976 30560 33554432000 4194304 4196468 140729200054096 139829438308016 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
Current children cumulated CPU time: 70.39 s
Current children cumulated vsize: 10634444 KiB
Current children cumulated memory: 1691928 KiB

[startup+28.4011 s]
/proc/loadavg: 6.15 7.02 5.33 4/219 16024
/proc/meminfo: memFree=23848752/32770624 swapFree=66999796/67108860
[pid=15966] ppid=15963 vsize=113128 memory=1472 CPUtime=37.31 cores=0-7
/proc/15966/stat : 15966 (scop.sh) S 15963 15966 15640 0 -1 4202496 582 54036 0 0 0 0 3571 160 20 0 1 0 510089356 115843072 368 33554432000 4194304 5098028 140723781278480 140723781275224 140574837564028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33067008 140723781280549 140723781280876 140723781280876 140723781283789 0
/proc/15966/statm: 28282 368 311 221 0 87 0
[pid=15991] ppid=15966 vsize=8414124 memory=150332 CPUtime=1.76 cores=0-7
/proc/15991/stat : 15991 (java) S 15966 15966 15640 0 -1 1077944320 21439 0 0 0 165 11 0 0 20 0 24 0 510091226 8616062976 37583 33554432000 4194304 4196468 140729200054096 140729200036640 139833078152951 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
/proc/15991/statm: 2103531 37583 3226 1 0 2064875 0
[pid=15991/tid=15992] ppid=15966 vsize=8414124 memory=0 CPUtime=0.84 cores=0-7
/proc/15991/task/15992/stat : 15992 (java) S 15966 15966 15640 0 -1 1077944384 16947 0 0 0 76 8 0 0 20 0 24 0 510091226 8616062976 37583 33554432000 4194304 4196468 140729200054096 139833049993120 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15993] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15993/stat : 15993 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 37583 33554432000 4194304 4196468 140729200054096 139833082394896 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15994] ppid=15966 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15991/task/15994/stat : 15994 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832882563472 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15995] ppid=15966 vsize=8414124 memory=7686721470250851992 CPUtime=0 cores=0-7
/proc/15991/task/15995/stat : 15995 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832881510928 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15996] ppid=15966 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/15991/task/15996/stat : 15996 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832880458384 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15997] ppid=15966 vsize=8414124 memory=122240 CPUtime=0 cores=0-7
/proc/15991/task/15997/stat : 15997 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091227 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832879405840 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15998] ppid=15966 vsize=8414124 memory=3580 CPUtime=0 cores=0-7
/proc/15991/task/15998/stat : 15998 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091228 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832878353296 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15999] ppid=15966 vsize=8414124 memory=62968 CPUtime=0 cores=0-7
/proc/15991/task/15999/stat : 15999 (java) S 15966 15966 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510091228 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832877300752 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16000] ppid=15966 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/15991/task/16000/stat : 16000 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091228 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832876248208 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16001] ppid=15966 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/15991/task/16001/stat : 16001 (java) S 15966 15966 15640 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 510091229 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832305825776 139833078164098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16002] ppid=15966 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/15991/task/16002/stat : 16002 (java) S 15966 15966 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510091229 8616062976 37583 33554432000 4194304 4196468 140729200054096 139831384466336 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16003] ppid=15966 vsize=8414124 memory=9396 CPUtime=0 cores=0-7
/proc/15991/task/16003/stat : 16003 (java) S 15966 15966 15640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 510091230 8616062976 37583 33554432000 4194304 4196468 140729200054096 139831250244592 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16004] ppid=15966 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/15991/task/16004/stat : 16004 (java) S 15966 15966 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510091232 8616062976 37583 33554432000 4194304 4196468 140729200054096 139830875740368 139833078171547 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16005] ppid=15966 vsize=8414124 memory=122240 CPUtime=0.13 cores=0-7
/proc/15991/task/16005/stat : 16005 (java) S 15966 15966 15640 0 -1 1077944384 616 0 0 0 13 0 0 0 20 0 24 0 510091232 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832304773616 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16006] ppid=15966 vsize=8414124 memory=1510532 CPUtime=0.22 cores=0-7
/proc/15991/task/16006/stat : 16006 (java) S 15966 15966 15640 0 -1 1077944384 619 0 0 0 22 0 0 0 20 0 24 0 510091232 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832303721072 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16007] ppid=15966 vsize=8414124 memory=2776 CPUtime=0.14 cores=0-7
/proc/15991/task/16007/stat : 16007 (java) R 15966 15966 15640 0 -1 4202560 688 0 0 0 14 0 0 0 20 0 24 0 510091232 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832302668528 139833059684039 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16008] ppid=15966 vsize=8414124 memory=62968 CPUtime=0.28 cores=0-7
/proc/15991/task/16008/stat : 16008 (java) S 15966 15966 15640 0 -1 1077944384 1098 0 0 0 28 0 0 0 20 0 24 0 510091232 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832301615984 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16009] ppid=15966 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/15991/task/16009/stat : 16009 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091232 8616062976 37583 33554432000 4194304 4196468 140729200054096 139830377834720 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16010] ppid=15966 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/15991/task/16010/stat : 16010 (java) S 15966 15966 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510091233 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832300562864 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16012] ppid=15966 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/15991/task/16012/stat : 16012 (java) S 15966 15966 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510091307 8616062976 37583 33554432000 4194304 4196468 140729200054096 139832292529344 139833078177561 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16014] ppid=15966 vsize=8414124 memory=9396 CPUtime=0.09 cores=0-7
/proc/15991/task/16014/stat : 16014 (java) R 15966 15966 15640 0 -1 4202560 55 0 0 0 9 0 0 0 20 0 24 0 510091308 8616062976 37583 33554432000 4194304 4196468 140729200054096 139829706735472 139832542210160 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16015] ppid=15966 vsize=8414124 memory=656 CPUtime=0 cores=0-7
/proc/15991/task/16015/stat : 16015 (java) S 15966 15966 15640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510091308 8616062976 37583 33554432000 4194304 4196468 140729200054096 139829975170992 139833078174877 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16016] ppid=15966 vsize=8414124 memory=3612 CPUtime=0 cores=0-7
/proc/15991/task/16016/stat : 16016 (java) S 15966 15966 15640 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 510091310 8616062976 37583 33554432000 4194304 4196468 140729200054096 139829438308016 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
Current children cumulated CPU time: 39.07 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 151804 KiB

[startup+28.6021 s]
/proc/loadavg: 6.15 7.02 5.33 4/219 16024
/proc/meminfo: memFree=23848752/32770624 swapFree=66999796/67108860
[pid=15966] ppid=15963 vsize=113128 memory=1472 CPUtime=37.31 cores=0-7
/proc/15966/stat : 15966 (scop.sh) S 15963 15966 15640 0 -1 4202496 582 54036 0 0 0 0 3571 160 20 0 1 0 510089356 115843072 368 33554432000 4194304 5098028 140723781278480 140723781275224 140574837564028 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33067008 140723781280549 140723781280876 140723781280876 140723781283789 0
/proc/15966/statm: 28282 368 311 221 0 87 0
[pid=15991] ppid=15966 vsize=8283048 memory=170660 CPUtime=34.41 cores=0-7
/proc/15991/stat : 15991 (java) S 15966 15966 15640 0 -1 1077944320 22983 419161 0 0 213 12 3100 116 20 0 22 0 510091226 8481841152 42665 33554432000 4194304 4196468 140729200054096 140729200036640 139833078152951 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
/proc/15991/statm: 2070762 42665 3236 1 0 2032106 0
[pid=15991/tid=15992] ppid=15966 vsize=8283048 memory=1552 CPUtime=33.16 cores=0-7
/proc/15991/task/15992/stat : 15992 (java) R 15966 15966 15640 0 -1 4202560 17209 419161 0 0 92 8 3100 116 20 0 22 0 510091226 8481841152 42665 33554432000 4194304 4196468 140729200054096 139833049989952 139833078174298 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15993] ppid=15966 vsize=8283048 memory=0 CPUtime=32.16 cores=0-7
/proc/15991/task/15993/stat : 15993 (java) S 15966 15966 15640 0 -1 1077944384 1 419161 0 0 0 0 3100 116 20 0 22 0 510091227 8481841152 42665 33554432000 4194304 4196468 140729200054096 139833082394896 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15994] ppid=15966 vsize=8283048 memory=0 CPUtime=32.16 cores=0-7
/proc/15991/task/15994/stat : 15994 (java) S 15966 15966 15640 0 -1 1077944384 3 419161 0 0 0 0 3100 116 20 0 22 0 510091227 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832882563472 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15995] ppid=15966 vsize=8283048 memory=140072171939356 CPUtime=32.16 cores=0-7
/proc/15991/task/15995/stat : 15995 (java) S 15966 15966 15640 0 -1 1077944384 1 419161 0 0 0 0 3100 116 20 0 22 0 510091227 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832881510928 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15996] ppid=15966 vsize=8283048 memory=140072315426432 CPUtime=32.16 cores=0-7
/proc/15991/task/15996/stat : 15996 (java) S 15966 15966 15640 0 -1 1077944384 1 419161 0 0 0 0 3100 116 20 0 22 0 510091227 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832880458384 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15997] ppid=15966 vsize=8283048 memory=3470692292451393600 CPUtime=32.16 cores=0-7
/proc/15991/task/15997/stat : 15997 (java) S 15966 15966 15640 0 -1 1077944384 1 419161 0 0 0 0 3100 116 20 0 22 0 510091227 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832879405840 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15998] ppid=15966 vsize=8283048 memory=8099816745971569768 CPUtime=32.16 cores=0-7
/proc/15991/task/15998/stat : 15998 (java) S 15966 15966 15640 0 -1 1077944384 1 419161 0 0 0 0 3100 116 20 0 22 0 510091228 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832878353296 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=15999] ppid=15966 vsize=8283048 memory=8386028099987781169 CPUtime=32.16 cores=0-7
/proc/15991/task/15999/stat : 15999 (java) S 15966 15966 15640 0 -1 1077944384 2 419161 0 0 0 0 3100 116 20 0 22 0 510091228 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832877300752 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16000] ppid=15966 vsize=8283048 memory=0 CPUtime=32.16 cores=0-7
/proc/15991/task/16000/stat : 16000 (java) S 15966 15966 15640 0 -1 1077944384 1 419161 0 0 0 0 3100 116 20 0 22 0 510091228 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832876248208 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16001] ppid=15966 vsize=8283048 memory=49476 CPUtime=32.16 cores=0-7
/proc/15991/task/16001/stat : 16001 (java) S 15966 15966 15640 0 -1 1077944384 8 419161 0 0 0 0 3100 116 20 0 22 0 510091229 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832305825776 139833078164098 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16002] ppid=15966 vsize=8283048 memory=2244 CPUtime=32.16 cores=0-7
/proc/15991/task/16002/stat : 16002 (java) S 15966 15966 15640 0 -1 1077944384 13 419161 0 0 0 0 3100 116 20 0 22 0 510091229 8481841152 42665 33554432000 4194304 4196468 140729200054096 139831384466336 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16003] ppid=15966 vsize=8283048 memory=140072172079616 CPUtime=32.16 cores=0-7
/proc/15991/task/16003/stat : 16003 (java) S 15966 15966 15640 0 -1 1077944384 21 419161 0 0 0 0 3100 116 20 0 22 0 510091230 8481841152 42665 33554432000 4194304 4196468 140729200054096 139831250244592 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16004] ppid=15966 vsize=8283048 memory=0 CPUtime=32.16 cores=0-7
/proc/15991/task/16004/stat : 16004 (java) S 15966 15966 15640 0 -1 1077944384 1 419161 0 0 0 0 3100 116 20 0 22 0 510091232 8481841152 42665 33554432000 4194304 4196468 140729200054096 139830875740368 139833078171547 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16005] ppid=15966 vsize=8283048 memory=0 CPUtime=32.36 cores=0-7
/proc/15991/task/16005/stat : 16005 (java) R 15966 15966 15640 0 -1 4202560 1139 419161 0 0 20 0 3100 116 20 0 22 0 510091232 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832304755576 139833057989289 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16006] ppid=15966 vsize=8283048 memory=0 CPUtime=32.44 cores=0-7
/proc/15991/task/16006/stat : 16006 (java) R 15966 15966 15640 0 -1 4202560 793 419161 0 0 28 0 3100 116 20 0 22 0 510091232 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832303706872 139833071249811 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16007] ppid=15966 vsize=8283048 memory=3938285348492673056 CPUtime=32.37 cores=0-7
/proc/15991/task/16007/stat : 16007 (java) R 15966 15966 15640 0 -1 4202560 1003 419161 0 0 21 0 3100 116 20 0 22 0 510091232 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832302649432 139833061563846 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16008] ppid=15966 vsize=8283048 memory=288230613314709063 CPUtime=32.53 cores=0-7
/proc/15991/task/16008/stat : 16008 (java) R 15966 15966 15640 0 -1 4202560 1397 419161 0 0 37 0 3100 116 20 0 22 0 510091232 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832301612664 139833057276493 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16009] ppid=15966 vsize=8283048 memory=3749446 CPUtime=32.16 cores=0-7
/proc/15991/task/16009/stat : 16009 (java) S 15966 15966 15640 0 -1 1077944384 3 419161 0 0 0 0 3100 116 20 0 22 0 510091232 8481841152 42665 33554432000 4194304 4196468 140729200054096 139830377834720 139833078163157 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16010] ppid=15966 vsize=8283048 memory=0 CPUtime=32.16 cores=0-7
/proc/15991/task/16010/stat : 16010 (java) S 15966 15966 15640 0 -1 1077944384 3 419161 0 0 0 0 3100 116 20 0 22 0 510091233 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832300562864 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16012] ppid=15966 vsize=8283048 memory=0 CPUtime=32.16 cores=0-7
/proc/15991/task/16012/stat : 16012 (java) S 15966 15966 15640 0 -1 1077944384 24 419161 0 0 0 0 3100 116 20 0 22 0 510091307 8481841152 42665 33554432000 4194304 4196468 140729200054096 139832292528528 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
[pid=15991/tid=16016] ppid=15966 vsize=8283048 memory=0 CPUtime=32.16 cores=0-7
/proc/15991/task/16016/stat : 16016 (java) S 15966 15966 15640 0 -1 1077944384 15 419161 0 0 0 0 3100 116 20 0 22 0 510091310 8481841152 42665 33554432000 4194304 4196468 140729200054096 139829438309808 139833078164098 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29331456 140729200055287 140729200055446 140729200055446 140729200058319 0
Current children cumulated CPU time: 71.72 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 172132 KiB

Child status: 0
Real time (s): 28.6889
CPU time (s): 72.0696
CPU user time (s): 69.143
CPU system time (s): 2.92658
CPU usage (%): 251.21
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6074832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.143
system time used= 2.92658
maximum resident set size= 6073440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 498952
page faults= 0
swaps= 0
block input operations= 8
block output operations= 124352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51605
involuntary context switches= 256


# summary of solver processes directly reported to runsolver:
#   pid: 15966
#   total CPU time (s): 72.0696
#   total CPU user time (s): 69.143
#   total CPU system time (s): 2.92658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.243368 second user time and 0.367619 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-24 17:16:46
IDJOB=4405240
IDBENCH=128067
IDSOLVER=2867
FILE ID=node123/4405240-1569338245
RUNJOBID= node123-1569335939-15667
PBS_JOBID= 21705062
Free space on /tmp= 25920 MiB

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

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

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=969539028

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25583960 kB
MemAvailable:   31836680 kB
Buffers:           86068 kB
Cached:          6320424 kB
SwapCached:         6628 kB
Active:          3180948 kB
Inactive:        3237664 kB
Active(anon):       4900 kB
Inactive(anon):    64000 kB
Active(file):    3176048 kB
Inactive(file):  3173664 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66999796 kB
Dirty:             20752 kB
Writeback:             4 kB
AnonPages:        114044 kB
Mapped:            56592 kB
Shmem:             47928 kB
Slab:             360840 kB
SReclaimable:     331468 kB
SUnreclaim:        29372 kB
KernelStack:        3408 kB
PageTables:         5360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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