Trace number 4392690

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-01.xml
MD5SUM78ce7b18c2bc9eefd2fccfc0b2746318
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 benchmark3.47115
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1379
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 degree62
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}]
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1178},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-30482-serial-file.bin HOME/instance-4392690-1568430775.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:12:13 CEST 2019
0.65/0.57	c PID: 30485
0.65/0.57	c IP: 172.20.3.137
0.65/0.57	c HOST: node137.alineos.net
0.65/0.58	c (0,0) Parsing Begin
2.98/1.38	c (0,0) Parsing End
2.98/1.39	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1379 ctr, max domain size 24
3.59/1.73	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.59/1.73	c (0,0) Constraint Name Generate Begin
3.59/1.73	c (0,0) Ctr:HOME/instance-4392690-1568430775.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.59/1.73	c (0,0) Constraint Name Generate End
3.59/1.73	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.59/1.73	c (0,0) CSP to CSPinCNF Begin
11.95/4.60	c (4,4) translated 138 (10%) constraints
12.61/5.23	c (4,4) translated 276 (20%) constraints
12.61/5.25	c (4,4) translated 414 (30%) constraints
12.61/5.27	c (4,4) translated 552 (40%) constraints
12.61/5.29	c (4,4) translated 690 (50%) constraints
12.98/5.31	c (4,4) translated 828 (60%) constraints
12.98/5.33	c (4,4) translated 966 (70%) constraints
12.98/5.35	c (4,4) translated 1104 (80%) constraints
14.89/6.37	c (5,5) translated 1242 (90%) constraints
16.91/8.33	c (7,7) translated 1379 (100%) constraints
16.91/8.35	c (7,7) ===========================================
17.04/8.40	c (7,7) Hybrid: #OE=10800, #LE=5800
17.04/8.40	c (7,7) Hybrid
17.04/8.40	c (7,7) ===========================================
18.13/8.97	c (8,8) translated 5741 (10%) constraints
18.71/9.22	c (8,8) translated 11481 (20%) constraints
18.96/9.35	c (8,8) translated 17221 (30%) constraints
19.05/9.48	c (8,8) translated 22961 (40%) constraints
19.25/9.60	c (9,9) translated 28701 (50%) constraints
19.35/9.73	c (9,9) translated 34442 (60%) constraints
19.45/9.86	c (9,9) translated 40182 (70%) constraints
19.55/9.98	c (9,9) translated 45922 (80%) constraints
19.75/10.11	c (9,9) translated 51662 (90%) constraints
21.03/11.22	c (10,10) translated 57402 (100%) constraints
21.03/11.23	c (10,10) CSP to CSPinCNF End
21.03/11.23	c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 67026 ctr, max domain size 24
21.03/11.23	c (10,10) Heap : 4167 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
21.03/11.23	c (10,10) CSPinCNF Propagation Begin
22.10/11.87	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.10/11.87	c (11,11) CSPinCNF Propagation End
22.10/11.88	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
22.10/11.88	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.42/11.93	c (11,11) Hybrid: #OE=15600, #LE=5800
22.42/11.93	c (11,11) Simplify CSPinCNF Begin
22.85/12.13	c (11,11) Simplify CSPinCNF End
22.85/12.13	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
22.85/12.13	c (11,11) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.85/12.13	c (11,11) Calculate Precise Domain Begin
22.85/12.13	c (11,11) 0 values are removed by re-calculation
22.85/12.13	c (11,11) Calculate Precise Domain End
22.85/12.13	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66626 ctr, max domain size 24
22.85/12.13	c (11,11) Heap : 4505 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.85/12.13	c (11,11) CSPinCNF to SatSolver Begin
25.41/13.02	c (12,12) 6663 (10 %) CSP clauses are encoded (0 SAT variables, 200782 SAT clauses)
25.81/13.17	c (12,12) 13326 (20 %) CSP clauses are encoded (0 SAT variables, 207445 SAT clauses)
26.23/13.27	c (12,12) 19988 (30 %) CSP clauses are encoded (0 SAT variables, 214107 SAT clauses)
26.57/13.37	c (12,12) 26651 (40 %) CSP clauses are encoded (0 SAT variables, 220770 SAT clauses)
26.77/13.45	c (12,12) 33313 (50 %) CSP clauses are encoded (0 SAT variables, 227432 SAT clauses)
26.88/13.53	c (12,12) 39976 (60 %) CSP clauses are encoded (0 SAT variables, 234095 SAT clauses)
26.98/13.61	c (13,13) 46639 (70 %) CSP clauses are encoded (0 SAT variables, 240758 SAT clauses)
26.98/13.69	c (13,13) 53301 (80 %) CSP clauses are encoded (0 SAT variables, 247420 SAT clauses)
27.08/13.77	c (13,13) 59964 (90 %) CSP clauses are encoded (0 SAT variables, 254083 SAT clauses)
31.38/16.89	c (16,16) 66626 (100 %) CSP clauses are encoded (0 SAT variables, 2013210 SAT clauses)
31.48/16.91	c (16,16) CSPinCNF to SatSolver End
31.48/16.91	c (16,16) Heap : 2805 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
31.48/16.91	c (16,16) 694413 bool, 2029207 clause
31.48/16.91	c (16,16) Export Begin
31.94/17.12	c (16,16) Export to HOME/scop-30482-serial-file.bin
31.94/17.12	c (16,16) Export End
31.94/17.12	c (16,16) Export File Size: 0.47 MB
31.94/17.12	c (16,16) 0,0,10,11,11,11,16,STOP-AFTER(DIMACS)
31.94/17.12	c END-Prog: Sat Sep 14 05:12:30 CEST 2019
31.94/17.17	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-30482-serial-file.bin
32.61/17.63	c (0,0) Read Serial File Begin
32.61/17.63	c (0,0) HOME/scop-30482-serial-file.bin
33.18/17.99	c (0,0) Read Serial File End
33.45/18.01	
33.45/18.01	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
33.45/18.01	(Solving Process)
33.45/18.01	
33.45/18.03	c BEGIN-Prog: Sat Sep 14 05:12:31 CEST 2019
33.45/18.03	c PID: 30507
33.45/18.03	c IP: 172.20.3.137
33.45/18.03	c HOST: node137.alineos.net
33.45/18.03	c (0,0) SatSolver.solve Begin
33.45/18.03	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392690-1568430775.xml-scop-30485.cnf
33.45/18.06	c (0,0) c
33.45/18.06	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)
33.45/18.06	c (0,0) c
33.45/18.06	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
33.45/18.06	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
33.45/18.06	c (0,0) c ========================================[ Problem Statistics ]===========================================
33.45/18.06	c (0,0) c |                                                                                                       |
34.67/18.93	c (1,0) c |  Number of variables:        694413                                                                   |
34.67/18.93	c (1,0) c |  Number of clauses:         2028391                                                                   |
34.67/18.93	c (1,0) c |  Parse time:                   0.79 s                                                                 |
34.67/18.93	c (1,0) c |                                                                                                       |
36.07/20.34	c (2,0) c |  Simplification time:          1.37 s                                                                 |
36.07/20.34	c (2,0) c |                                                                                                       |
36.07/20.34	c (2,0) c |  Generating clones                                                                                    |
37.07/21.32	c (3,0) c |  all clones generated. Memory =  1963.79Mb.                                                           |
37.07/21.32	c (3,0) c ========================================================================================================|
37.07/21.32	c (3,0) c
37.07/21.32	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
37.07/21.32	c (3,0) c
37.07/21.32	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.07/21.32	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
37.07/21.32	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
37.07/21.32	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
37.07/21.32	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
37.07/21.32	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
37.07/21.32	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
37.07/21.32	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
37.07/21.32	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
37.07/21.32	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
37.07/21.32	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
37.07/21.32	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
37.07/21.32	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
37.07/21.32	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
37.07/21.32	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
37.07/21.32	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
37.07/21.32	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
37.07/21.32	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
37.07/21.32	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c
73.27/26.45	c (8,0) c real time : 8.39323 s
73.27/26.45	c (8,0) c cpu time  : 37.7931 s
73.27/26.45	c (8,0) c
73.27/26.45	c (8,0) c
73.27/26.45	c (8,0) c
73.27/26.45	c (8,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
73.27/26.45	c (8,0) c
73.27/26.45	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
73.27/26.45	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c | Conflicts     |           59372 |       1959 |      15875 |      12805 |       4786 |      16667 |       1255 |       4602 |       1423 |
73.27/26.45	c (8,0) c | Decisions     |         2166982 |     444439 |     145344 |     146005 |     274130 |     327147 |     117612 |     332698 |     379607 |
73.27/26.45	c (8,0) c | Propagations  |       109898264 |   12583052 |   13968183 |   15794203 |   14668372 |   14440655 |   11976159 |   13282675 |   13184965 |
73.27/26.45	c (8,0) c | ReduceDBs     |              10 |          0 |          3 |          2 |          1 |          3 |          0 |          1 |          0 |
73.27/26.45	c (8,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
73.27/26.45	c (8,0) c | Restarts      |              97 |          5 |         15 |          8 |         11 |         39 |          1 |          9 |          9 |
73.27/26.45	c (8,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | PropBinClauses|        21470199 |    1171484 |    3799568 |    4021622 |    2820504 |    4232229 |    1961884 |    1846335 |    1616573 |
73.27/26.45	c (8,0) c | PropPreBlocker|       281370553 |   44005276 |   33994766 |   34063150 |   30251671 |   33543953 |   36952049 |   34124007 |   34435681 |
73.27/26.45	c (8,0) c | PropNotBlocker|       135695824 |   15586979 |   17845381 |   18573499 |   16267460 |   18204783 |   15307447 |   16782337 |   17127938 |
73.27/26.45	c (8,0) c | LitFullScans  |       596411742 |   84029754 |   76167966 |   78002017 |   66036444 |   78015998 |   72037076 |   71174015 |   70948472 |
73.27/26.45	c (8,0) c | LitScanFracts |           72038 |      21009 |        324 |       1443 |      24806 |       5228 |        238 |       1234 |      17756 |
73.27/26.45	c (8,0) c | DecisionLevel0|              97 |          5 |         15 |          8 |         11 |         39 |          1 |          9 |          9 |
73.27/26.45	c (8,0) c | Periods       |              97 |         14 |         12 |         13 |         11 |         13 |         12 |         11 |         11 |
73.27/26.45	c (8,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
73.27/26.45	c (8,0) c | Avg_Trail     |                 |     134903 |      14537 |      55859 |      70045 |      15813 |     237486 |      54446 |     117555 |
73.27/26.45	c (8,0) c | Avg_DL        |                 |       2461 |        209 |        439 |        681 |        309 |      16839 |       1040 |       1876 |
73.27/26.45	c (8,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c | Exported      |           12240 |         21 |       4491 |       3055 |        184 |       4181 |         31 |        225 |         52 |
73.27/26.45	c (8,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c | Unaries       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
73.27/26.45	c (8,0) c | Binaries      |                 |         10 |        170 |         78 |         63 |        282 |          4 |        130 |         38 |
73.27/26.45	c (8,0) c | Glues         |                 |         21 |        746 |        233 |        184 |        878 |         31 |        225 |         52 |
73.27/26.45	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c | Orig_Seen     |             1 % |      12916 |      33384 |      17188 |      14347 |      36322 |       3395 |      35872 |      34398 |
73.27/26.45	c (8,0) c | Diff Orig seen|                 | -    21482 | -     1014 | -    17210 | -    20051 |       1924 | -    31003 |       1474 |      X     |
73.27/26.45	c (8,0) c | Hamming       |            21 % |     154623 |     148188 |     145926 |     150412 |     150296 |     151475 |     149195 |      X     |
73.27/26.45	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c | RunningTime   |                 |    5.0 100%|    5.0 100%|    5.0 100%|    5.1 100%|    5.0 100%|    5.0 100%|    4.8 100%|    4.8 100%|
73.27/26.45	c (8,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%|
73.27/26.45	c (8,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%|
73.27/26.45	c (8,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%|
73.27/26.45	c (8,0) c | SolvingTime   |                 |    5.0     |    5.0     |    5.0     |    5.1     |    5.0     |    5.0     |    4.8     |    4.8     |
73.27/26.45	c (8,0) c | PropagationTim|                 |    4.4  88%|    4.4  89%|    4.4  88%|    4.6  90%|    4.3  86%|    4.4  89%|    4.3  88%|    4.3  89%|
73.27/26.45	c (8,0) c | AnalysisTime  |                 |    0.2   4%|    0.2   4%|    0.2   5%|    0.2   3%|    0.2   5%|    0.2   4%|    0.1   3%|    0.1   3%|
73.27/26.45	c (8,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%|
73.27/26.45	c (8,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%|
73.27/26.45	c (8,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%|
73.27/26.45	c (8,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%|
73.27/26.45	c (8,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.45	c (8,0) c
73.27/26.45	c (8,0) c
73.27/26.45	c (8,0) c Threads : 8
73.27/26.45	c (8,0) c Winner : 7
73.27/26.45	c (8,0) c Conflicts_0 : 1959
73.27/26.45	c (8,0) c Conflicts_1 : 15875
73.27/26.45	c (8,0) c Conflicts_2 : 12805
73.27/26.45	c (8,0) c Conflicts_3 : 4786
73.27/26.45	c (8,0) c Conflicts_4 : 16667
73.27/26.45	c (8,0) c Conflicts_5 : 1255
73.27/26.45	c (8,0) c Conflicts_6 : 4602
73.27/26.45	c (8,0) c Conflicts_7 : 1423
73.27/26.45	c (8,0) c Conflicts_total : 59372
73.27/26.45	c (8,0) c Conflicts_winner : 1423
73.27/26.45	c (8,0) c Decisions_0 : 444439
73.27/26.45	c (8,0) c Decisions_1 : 145344
73.27/26.45	c (8,0) c Decisions_2 : 146005
73.27/26.45	c (8,0) c Decisions_3 : 274130
73.27/26.45	c (8,0) c Decisions_4 : 327147
73.27/26.45	c (8,0) c Decisions_5 : 117612
73.27/26.45	c (8,0) c Decisions_6 : 332698
73.27/26.45	c (8,0) c Decisions_7 : 379607
73.27/26.45	c (8,0) c Decisions_total : 2166982
73.27/26.45	c (8,0) c Decisions_winner : 379607
73.27/26.45	c (8,0) c Propagations_0 : 12583052
73.27/26.45	c (8,0) c Propagations_1 : 13968183
73.27/26.45	c (8,0) c Propagations_2 : 15794203
73.27/26.45	c (8,0) c Propagations_3 : 14668372
73.27/26.45	c (8,0) c Propagations_4 : 14440655
73.27/26.45	c (8,0) c Propagations_5 : 11976159
73.27/26.45	c (8,0) c Propagations_6 : 13282675
73.27/26.45	c (8,0) c Propagations_7 : 13184965
73.27/26.45	c (8,0) c Propagations_total : 109898264
73.27/26.45	c (8,0) c Propagations_winner : 13184965
73.27/26.45	c (8,0) c ReduceDBs_0 : 0
73.27/26.45	c (8,0) c ReduceDBs_1 : 3
73.27/26.45	c (8,0) c ReduceDBs_2 : 2
73.27/26.45	c (8,0) c ReduceDBs_3 : 1
73.27/26.45	c (8,0) c ReduceDBs_4 : 3
73.27/26.45	c (8,0) c ReduceDBs_5 : 0
73.27/26.45	c (8,0) c ReduceDBs_6 : 1
73.27/26.45	c (8,0) c ReduceDBs_7 : 0
73.27/26.45	c (8,0) c ReduceDBs_total : 10
73.27/26.45	c (8,0) c ReduceDBs_winner : 0
73.27/26.45	c (8,0) c SimpDBs_0 : 1
73.27/26.45	c (8,0) c SimpDBs_1 : 1
73.27/26.45	c (8,0) c SimpDBs_2 : 1
73.27/26.45	c (8,0) c SimpDBs_3 : 1
73.27/26.46	c (8,0) c SimpDBs_4 : 1
73.27/26.46	c (8,0) c SimpDBs_5 : 1
73.27/26.46	c (8,0) c SimpDBs_6 : 1
73.27/26.46	c (8,0) c SimpDBs_7 : 1
73.27/26.46	c (8,0) c SimpDBs_total : 8
73.27/26.46	c (8,0) c SimpDBs_winner : 1
73.27/26.46	c (8,0) c Restarts_0 : 5
73.27/26.46	c (8,0) c Restarts_1 : 15
73.27/26.46	c (8,0) c Restarts_2 : 8
73.27/26.46	c (8,0) c Restarts_3 : 11
73.27/26.46	c (8,0) c Restarts_4 : 39
73.27/26.46	c (8,0) c Restarts_5 : 1
73.27/26.46	c (8,0) c Restarts_6 : 9
73.27/26.46	c (8,0) c Restarts_7 : 9
73.27/26.46	c (8,0) c Restarts_total : 97
73.27/26.46	c (8,0) c Restarts_winner : 9
73.27/26.46	c (8,0) c ForcedImports_0 : 0
73.27/26.46	c (8,0) c ForcedImports_1 : 0
73.27/26.46	c (8,0) c ForcedImports_2 : 0
73.27/26.46	c (8,0) c ForcedImports_3 : 0
73.27/26.46	c (8,0) c ForcedImports_4 : 0
73.27/26.46	c (8,0) c ForcedImports_5 : 0
73.27/26.46	c (8,0) c ForcedImports_6 : 0
73.27/26.46	c (8,0) c ForcedImports_7 : 0
73.27/26.46	c (8,0) c ForcedImports_total : 0
73.27/26.46	c (8,0) c ForcedImports_winner : 0
73.27/26.46	c (8,0) c PropsBinClauses_0 : 1171484
73.27/26.46	c (8,0) c PropsBinClauses_1 : 3799568
73.27/26.46	c (8,0) c PropsBinClauses_2 : 4021622
73.27/26.46	c (8,0) c PropsBinClauses_3 : 2820504
73.27/26.46	c (8,0) c PropsBinClauses_4 : 4232229
73.27/26.46	c (8,0) c PropsBinClauses_5 : 1961884
73.27/26.46	c (8,0) c PropsBinClauses_6 : 1846335
73.27/26.46	c (8,0) c PropsBinClauses_7 : 1616573
73.27/26.46	c (8,0) c PropsBinClauses_total : 21470199
73.27/26.46	c (8,0) c PropsBinClauses_winner : 1616573
73.27/26.46	c (8,0) c PropsPreBlocker_0 : 44005276
73.27/26.46	c (8,0) c PropsPreBlocker_1 : 33994766
73.27/26.46	c (8,0) c PropsPreBlocker_2 : 34063150
73.27/26.46	c (8,0) c PropsPreBlocker_3 : 30251671
73.27/26.46	c (8,0) c PropsPreBlocker_4 : 33543953
73.27/26.46	c (8,0) c PropsPreBlocker_5 : 36952049
73.27/26.46	c (8,0) c PropsPreBlocker_6 : 34124007
73.27/26.46	c (8,0) c PropsPreBlocker_7 : 34435681
73.27/26.46	c (8,0) c PropsPreBlocker_total : 281370553
73.27/26.46	c (8,0) c PropsPreBlocker_winner : 34435681
73.27/26.46	c (8,0) c PropsNotBlocker_0 : 15586979
73.27/26.46	c (8,0) c PropsNotBlocker_1 : 17845381
73.27/26.46	c (8,0) c PropsNotBlocker_2 : 18573499
73.27/26.46	c (8,0) c PropsNotBlocker_3 : 16267460
73.27/26.46	c (8,0) c PropsNotBlocker_4 : 18204783
73.27/26.46	c (8,0) c PropsNotBlocker_5 : 15307447
73.27/26.46	c (8,0) c PropsNotBlocker_6 : 16782337
73.27/26.46	c (8,0) c PropsNotBlocker_7 : 17127938
73.27/26.46	c (8,0) c PropsNotBlocker_total : 135695824
73.27/26.46	c (8,0) c PropsNotBlocker_winner : 17127938
73.27/26.46	c (8,0) c PropsLitFullScans_0 : 84029754
73.27/26.46	c (8,0) c PropsLitFullScans_1 : 76167966
73.27/26.46	c (8,0) c PropsLitFullScans_2 : 78002017
73.27/26.46	c (8,0) c PropsLitFullScans_3 : 66036444
73.27/26.46	c (8,0) c PropsLitFullScans_4 : 78015998
73.27/26.46	c (8,0) c PropsLitFullScans_5 : 72037076
73.27/26.46	c (8,0) c PropsLitFullScans_6 : 71174015
73.27/26.46	c (8,0) c PropsLitFullScans_7 : 70948472
73.27/26.46	c (8,0) c PropsLitFullScans_total : 596411742
73.27/26.46	c (8,0) c PropsLitFullScans_winner : 70948472
73.27/26.46	c (8,0) c LitScanFractions_0 : 21009
73.27/26.46	c (8,0) c LitScanFractions_1 : 324
73.27/26.46	c (8,0) c LitScanFractions_2 : 1443
73.27/26.46	c (8,0) c LitScanFractions_3 : 24806
73.27/26.46	c (8,0) c LitScanFractions_4 : 5228
73.27/26.46	c (8,0) c LitScanFractions_5 : 238
73.27/26.46	c (8,0) c LitScanFractions_6 : 1234
73.27/26.46	c (8,0) c LitScanFractions_7 : 17756
73.27/26.46	c (8,0) c LitScanFractions_total : 72038
73.27/26.46	c (8,0) c LitScanFractions_winner : 17756
73.27/26.46	c (8,0) c DecisionLevel0_0 : 5
73.27/26.46	c (8,0) c DecisionLevel0_1 : 15
73.27/26.46	c (8,0) c DecisionLevel0_2 : 8
73.27/26.46	c (8,0) c DecisionLevel0_3 : 11
73.27/26.46	c (8,0) c DecisionLevel0_4 : 39
73.27/26.46	c (8,0) c DecisionLevel0_5 : 1
73.27/26.46	c (8,0) c DecisionLevel0_6 : 9
73.27/26.46	c (8,0) c DecisionLevel0_7 : 9
73.27/26.46	c (8,0) c DecisionLevel0_total : 97
73.27/26.46	c (8,0) c DecisionLevel0_winner : 9
73.27/26.46	c (8,0) c Periods_0 : 14
73.27/26.46	c (8,0) c Periods_1 : 12
73.27/26.46	c (8,0) c Periods_2 : 13
73.27/26.46	c (8,0) c Periods_3 : 11
73.27/26.46	c (8,0) c Periods_4 : 13
73.27/26.46	c (8,0) c Periods_5 : 12
73.27/26.46	c (8,0) c Periods_6 : 11
73.27/26.46	c (8,0) c Periods_7 : 11
73.27/26.46	c (8,0) c Periods_total : 97
73.27/26.46	c (8,0) c Periods_winner : 11
73.27/26.46	c (8,0) c Margin_0 : 20
73.27/26.46	c (8,0) c Margin_1 : 20
73.27/26.46	c (8,0) c Margin_2 : 20
73.27/26.46	c (8,0) c Margin_3 : 20
73.27/26.46	c (8,0) c Margin_4 : 20
73.27/26.46	c (8,0) c Margin_5 : 20
73.27/26.46	c (8,0) c Margin_6 : 20
73.27/26.46	c (8,0) c Margin_7 : 20
73.27/26.46	c (8,0) c Margin_total : 160
73.27/26.46	c (8,0) c Margin_winner : 20
73.27/26.46	c (8,0) c Exported_0 : 21
73.27/26.46	c (8,0) c Exported_1 : 4491
73.27/26.46	c (8,0) c Exported_2 : 3055
73.27/26.46	c (8,0) c Exported_3 : 184
73.27/26.46	c (8,0) c Exported_4 : 4181
73.27/26.46	c (8,0) c Exported_5 : 31
73.27/26.46	c (8,0) c Exported_6 : 225
73.27/26.46	c (8,0) c Exported_7 : 52
73.27/26.46	c (8,0) c Exported_total : 12240
73.27/26.46	c (8,0) c Exported_winner : 52
73.27/26.46	c (8,0) c Imported_0 : 0
73.27/26.46	c (8,0) c Imported_1 : 0
73.27/26.46	c (8,0) c Imported_2 : 0
73.27/26.46	c (8,0) c Imported_3 : 0
73.27/26.46	c (8,0) c Imported_4 : 0
73.27/26.46	c (8,0) c Imported_5 : 0
73.27/26.46	c (8,0) c Imported_6 : 0
73.27/26.46	c (8,0) c Imported_7 : 0
73.27/26.46	c (8,0) c Imported_total : 0
73.27/26.46	c (8,0) c Imported_winner : 0
73.27/26.46	c (8,0) c Good_0 : 0
73.27/26.46	c (8,0) c Good_1 : 0
73.27/26.46	c (8,0) c Good_2 : 0
73.27/26.46	c (8,0) c Good_3 : 0
73.27/26.46	c (8,0) c Good_4 : 0
73.27/26.46	c (8,0) c Good_5 : 0
73.27/26.46	c (8,0) c Good_6 : 0
73.27/26.46	c (8,0) c Good_7 : 0
73.27/26.46	c (8,0) c Good_total : 0
73.27/26.46	c (8,0) c Good_winner : 0
73.27/26.46	c (8,0) c Purge_0 : 0
73.27/26.46	c (8,0) c Purge_1 : 0
73.27/26.46	c (8,0) c Purge_2 : 0
73.27/26.46	c (8,0) c Purge_3 : 0
73.27/26.46	c (8,0) c Purge_4 : 0
73.27/26.46	c (8,0) c Purge_5 : 0
73.27/26.46	c (8,0) c Purge_6 : 0
73.27/26.46	c (8,0) c Purge_7 : 0
73.27/26.46	c (8,0) c Purge_total : 0
73.27/26.46	c (8,0) c Purge_winner : 0
73.27/26.46	c (8,0) c Promoted_0 : 0
73.27/26.46	c (8,0) c Promoted_1 : 0
73.27/26.46	c (8,0) c Promoted_2 : 0
73.27/26.46	c (8,0) c Promoted_3 : 0
73.27/26.46	c (8,0) c Promoted_4 : 0
73.27/26.46	c (8,0) c Promoted_5 : 0
73.27/26.46	c (8,0) c Promoted_6 : 0
73.27/26.46	c (8,0) c Promoted_7 : 0
73.27/26.46	c (8,0) c Promoted_total : 0
73.27/26.46	c (8,0) c Promoted_winner : 0
73.27/26.46	c (8,0) c Remove_Imp_0 : 0
73.27/26.46	c (8,0) c Remove_Imp_1 : 0
73.27/26.46	c (8,0) c Remove_Imp_2 : 0
73.27/26.46	c (8,0) c Remove_Imp_3 : 0
73.27/26.46	c (8,0) c Remove_Imp_4 : 0
73.27/26.46	c (8,0) c Remove_Imp_5 : 0
73.27/26.46	c (8,0) c Remove_Imp_6 : 0
73.27/26.46	c (8,0) c Remove_Imp_7 : 0
73.27/26.46	c (8,0) c Remove_Imp_total : 0
73.27/26.46	c (8,0) c Remove_Imp_winner : 0
73.27/26.46	c (8,0) c Blocked_Reuse_0 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_1 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_2 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_3 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_4 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_5 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_6 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_7 : 0
73.27/26.46	c (8,0) c Blocked_Reuse_total : 0
73.27/26.46	c (8,0) c Blocked_Reuse_winner : 0
73.27/26.46	c (8,0) c Unaries_0 : 0
73.27/26.46	c (8,0) c Unaries_1 : 0
73.27/26.46	c (8,0) c Unaries_2 : 0
73.27/26.46	c (8,0) c Unaries_3 : 0
73.27/26.46	c (8,0) c Unaries_4 : 0
73.27/26.46	c (8,0) c Unaries_5 : 0
73.27/26.46	c (8,0) c Unaries_6 : 0
73.27/26.46	c (8,0) c Unaries_7 : 0
73.27/26.46	c (8,0) c Unaries_total : 0
73.27/26.46	c (8,0) c Unaries_winner : 0
73.27/26.46	c (8,0) c Binaries_0 : 10
73.27/26.46	c (8,0) c Binaries_1 : 170
73.27/26.46	c (8,0) c Binaries_2 : 78
73.27/26.46	c (8,0) c Binaries_3 : 63
73.27/26.46	c (8,0) c Binaries_4 : 282
73.27/26.46	c (8,0) c Binaries_5 : 4
73.27/26.46	c (8,0) c Binaries_6 : 130
73.27/26.46	c (8,0) c Binaries_7 : 38
73.27/26.46	c (8,0) c Binaries_total : 775
73.27/26.46	c (8,0) c Binaries_winner : 38
73.27/26.46	c (8,0) c Glues_0 : 21
73.27/26.46	c (8,0) c Glues_1 : 746
73.27/26.46	c (8,0) c Glues_2 : 233
73.27/26.46	c (8,0) c Glues_3 : 184
73.27/26.46	c (8,0) c Glues_4 : 878
73.27/26.46	c (8,0) c Glues_5 : 31
73.27/26.46	c (8,0) c Glues_6 : 225
73.27/26.46	c (8,0) c Glues_7 : 52
73.27/26.46	c (8,0) c Glues_total : 2370
73.27/26.46	c (8,0) c Glues_winner : 52
73.27/26.46	c (8,0) c RunningTime_0 : 5.000925
73.27/26.46	c (8,0) c RunningTime_1 : 4.967999
73.27/26.46	c (8,0) c RunningTime_2 : 5.003084
73.27/26.46	c (8,0) c RunningTime_3 : 5.098057
73.27/26.46	c (8,0) c RunningTime_4 : 4.975726
73.27/26.46	c (8,0) c RunningTime_5 : 4.971251
73.27/26.46	c (8,0) c RunningTime_6 : 4.834117
73.27/26.46	c (8,0) c RunningTime_7 : 4.813571
73.27/26.46	c (8,0) c RunningTime_total : 39.664730
73.27/26.46	c (8,0) c RunningTime_winner : 4.813571
73.27/26.46	c (8,0) c WaitingTime_0 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_1 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_2 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_3 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_4 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_5 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_6 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_7 : 0.000000
73.27/26.46	c (8,0) c WaitingTime_total : 0.000000
73.27/26.46	c (8,0) c WaitingTime_winner : 0.000000
73.27/26.46	c (8,0) c ExchangingTime_0 : 0.000211
73.27/26.46	c (8,0) c ExchangingTime_1 : 0.001567
73.27/26.46	c (8,0) c ExchangingTime_2 : 0.000973
73.27/26.46	c (8,0) c ExchangingTime_3 : 0.000798
73.27/26.46	c (8,0) c ExchangingTime_4 : 0.001981
73.27/26.46	c (8,0) c ExchangingTime_5 : 0.000941
73.27/26.46	c (8,0) c ExchangingTime_6 : 0.000877
73.27/26.46	c (8,0) c ExchangingTime_7 : 0.000316
73.27/26.46	c (8,0) c ExchangingTime_total : 0.007663
73.27/26.46	c (8,0) c ExchangingTime_winner : 0.000316
73.27/26.46	c (8,0) c PeriodProcTime_0 : 0.000156
73.27/26.46	c (8,0) c PeriodProcTime_1 : 0.000183
73.27/26.46	c (8,0) c PeriodProcTime_2 : 0.000142
73.27/26.46	c (8,0) c PeriodProcTime_3 : 0.002132
73.27/26.46	c (8,0) c PeriodProcTime_4 : 0.000155
73.27/26.46	c (8,0) c PeriodProcTime_5 : 0.000180
73.27/26.46	c (8,0) c PeriodProcTime_6 : 0.000131
73.27/26.46	c (8,0) c PeriodProcTime_7 : 0.000127
73.27/26.46	c (8,0) c PeriodProcTime_total : 0.003205
73.27/26.46	c (8,0) c PeriodProcTime_winner : 0.000127
73.27/26.46	c (8,0) c SolvingTime_0 : 5.001292
73.27/26.46	c (8,0) c SolvingTime_1 : 4.969749
73.27/26.46	c (8,0) c SolvingTime_2 : 5.004199
73.27/26.46	c (8,0) c SolvingTime_3 : 5.100986
73.27/26.46	c (8,0) c SolvingTime_4 : 4.977861
73.27/26.46	c (8,0) c SolvingTime_5 : 4.972372
73.27/26.46	c (8,0) c SolvingTime_6 : 4.835126
73.27/26.46	c (8,0) c SolvingTime_7 : 4.814013
73.27/26.46	c (8,0) c SolvingTime_total : 39.675598
73.27/26.46	c (8,0) c SolvingTime_winner : 4.814013
73.27/26.46	c (8,0) c PropagationTime_0 : 4.390688
73.27/26.46	c (8,0) c PropagationTime_1 : 4.413751
73.27/26.46	c (8,0) c PropagationTime_2 : 4.379884
73.27/26.46	c (8,0) c PropagationTime_3 : 4.568927
73.27/26.46	c (8,0) c PropagationTime_4 : 4.301493
73.27/26.46	c (8,0) c PropagationTime_5 : 4.441402
73.27/26.46	c (8,0) c PropagationTime_6 : 4.259810
73.27/26.46	c (8,0) c PropagationTime_7 : 4.285885
73.27/26.46	c (8,0) c PropagationTime_total : 35.041841
73.27/26.46	c (8,0) c PropagationTime_winner : 4.285885
73.27/26.46	c (8,0) c AnalysisTime_0 : 0.201447
73.27/26.46	c (8,0) c AnalysisTime_1 : 0.209258
73.27/26.46	c (8,0) c AnalysisTime_2 : 0.230504
73.27/26.46	c (8,0) c AnalysisTime_3 : 0.165627
73.27/26.46	c (8,0) c AnalysisTime_4 : 0.233992
73.27/26.46	c (8,0) c AnalysisTime_5 : 0.208772
73.27/26.46	c (8,0) c AnalysisTime_6 : 0.149466
73.27/26.46	c (8,0) c AnalysisTime_7 : 0.135890
73.27/26.46	c (8,0) c AnalysisTime_total : 1.534955
73.27/26.46	c (8,0) c AnalysisTime_winner : 0.135890
73.27/26.46	c (8,0) c ReductionTime_0 : 0.000000
73.27/26.46	c (8,0) c ReductionTime_1 : 0.003610
73.27/26.46	c (8,0) c ReductionTime_2 : 0.001494
73.27/26.46	c (8,0) c ReductionTime_3 : 0.000383
73.27/26.46	c (8,0) c ReductionTime_4 : 0.003460
73.27/26.46	c (8,0) c ReductionTime_5 : 0.000000
73.27/26.46	c (8,0) c ReductionTime_6 : 0.000430
73.27/26.46	c (8,0) c ReductionTime_7 : 0.000000
73.27/26.46	c (8,0) c ReductionTime_total : 0.009377
73.27/26.46	c (8,0) c ReductionTime_winner : 0.000000
73.27/26.46	c (8,0) c SimplifyTime_0 : 0.000001
73.27/26.46	c (8,0) c SimplifyTime_1 : 0.000001
73.27/26.46	c (8,0) c SimplifyTime_2 : 0.000000
73.27/26.46	c (8,0) c SimplifyTime_3 : 0.000002
73.27/26.46	c (8,0) c SimplifyTime_4 : 0.000004
73.27/26.46	c (8,0) c SimplifyTime_5 : 0.000000
73.27/26.46	c (8,0) c SimplifyTime_6 : 0.000000
73.27/26.46	c (8,0) c SimplifyTime_7 : 0.000000
73.27/26.46	c (8,0) c SimplifyTime_total : 0.000008
73.27/26.46	c (8,0) c SimplifyTime_winner : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_0 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_1 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_2 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_3 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_4 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_5 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_6 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_7 : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_total : 0.000000
73.27/26.46	c (8,0) c UsedRateTime_winner : 0.000000
73.27/26.46	c (8,0) c OverlapRateTime_0 : 0.000000
73.27/26.46	c (8,0) c OverlapRateTime_1 : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_2 : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_3 : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_4 : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_5 : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_6 : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_7 : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_total : 0.000000
73.27/26.47	c (8,0) c OverlapRateTime_winner : 0.000000
73.27/26.47	c (8,0) c
73.27/26.47	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
73.27/26.47	c (8,0) c
73.27/26.47	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.47	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
73.27/26.47	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.47	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
73.27/26.47	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
73.27/26.47	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
73.27/26.47	c (8,0) c | Initial random_seed   | 1966119776 | 1896164032 |  231932559 | 1581124224 | 1752285898 |  514995462 | 1692039211 | 2020327316 |
73.27/26.47	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
73.27/26.47	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
73.27/26.47	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
73.27/26.47	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
73.27/26.47	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
73.27/26.47	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
73.27/26.47	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
73.27/26.47	c (8,0) c | var_decay             |     0.8000 |     0.8300 |     0.8200 |     0.8000 |     0.8300 |     0.8000 |     0.8000 |     0.8000 |
73.27/26.47	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
73.27/26.47	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
73.27/26.47	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
73.27/26.47	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
73.27/26.47	c (8,0) 
73.27/26.47	c (8,0) s SATISFIABLE
74.06/26.85	c (9,0) SatSolver.solve End
74.06/26.85	c (9,0) Heap : 284 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
74.06/26.85	c (9,0) Show results Begin
74.44/27.05	c (9,0) cls[0] = 1
74.44/27.05	c (9,0) cls[1] = 4
74.44/27.05	c (9,0) cls[2] = 7
74.44/27.05	c (9,0) cls[3] = 1
74.44/27.05	c (9,0) cls[4] = 8
74.44/27.05	c (9,0) cls[5] = 17
74.44/27.05	c (9,0) cls[6] = 1
74.44/27.05	c (9,0) cls[7] = 5
74.44/27.05	c (9,0) cls[8] = 4
74.44/27.05	c (9,0) cls[9] = 1
74.44/27.05	c (9,0) cls[10] = 16
74.44/27.05	c (9,0) cls[11] = 8
74.44/27.05	c (9,0) cls[12] = 12
74.44/27.05	c (9,0) cls[13] = 16
74.44/27.05	c (9,0) cls[14] = 1
74.44/27.05	c (9,0) cls[15] = 18
74.44/27.05	c (9,0) cls[16] = 17
74.44/27.05	c (9,0) cls[17] = 1
74.44/27.05	c (9,0) cls[18] = 20
74.44/27.05	c (9,0) cls[19] = 5
74.44/27.05	c (9,0) cls[20] = 17
74.44/27.05	c (9,0) cls[21] = 1
74.44/27.05	c (9,0) cls[22] = 5
74.44/27.05	c (9,0) cls[23] = 1
74.44/27.05	c (9,0) cls[24] = 1
74.44/27.05	c (9,0) cls[25] = 0
74.44/27.05	c (9,0) cls[26] = 1
74.44/27.05	c (9,0) cls[27] = 5
74.44/27.05	c (9,0) cls[28] = 17
74.44/27.05	c (9,0) cls[29] = 1
74.44/27.05	c (9,0) cls[30] = 1
74.44/27.05	c (9,0) cls[31] = 7
74.44/27.05	c (9,0) cls[32] = 5
74.44/27.05	c (9,0) cls[33] = 1
74.44/27.05	c (9,0) cls[34] = 1
74.44/27.05	c (9,0) cls[35] = 5
74.44/27.05	c (9,0) cls[36] = 1
74.44/27.05	c (9,0) cls[37] = 23
74.44/27.05	c (9,0) cls[38] = 14
74.44/27.05	c (9,0) cls[39] = 4
74.44/27.05	c (9,0) cls[40] = 1
74.44/27.05	c (9,0) cls[41] = 17
74.44/27.05	c (9,0) cls[42] = 1
74.44/27.05	c (9,0) cls[43] = 19
74.44/27.05	c (9,0) cls[44] = 16
74.44/27.05	c (9,0) cls[45] = 1
74.44/27.05	c (9,0) cls[46] = 4
74.44/27.05	c (9,0) cls[47] = 5
74.44/27.05	c (9,0) cls[48] = 1
74.44/27.05	c (9,0) cls[49] = 0
74.44/27.05	c (9,0) cls[50] = 1
74.44/27.05	c (9,0) cls[51] = 13
74.44/27.05	c (9,0) cls[52] = 16
74.44/27.05	c (9,0) cls[53] = 1
74.44/27.05	c (9,0) cls[54] = 17
74.44/27.05	c (9,0) cls[55] = 5
74.44/27.05	c (9,0) cls[56] = 7
74.44/27.05	c (9,0) cls[57] = 1
74.44/27.05	c (9,0) cls[58] = 1
74.44/27.05	c (9,0) cls[59] = 0
74.44/27.05	c (9,0) cls[60] = 16
74.44/27.05	c (9,0) cls[61] = 5
74.44/27.05	c (9,0) cls[62] = 1
74.44/27.05	c (9,0) cls[63] = 7
74.44/27.05	c (9,0) cls[64] = 14
74.44/27.05	c (9,0) cls[65] = 1
74.44/27.05	c (9,0) cls[66] = 17
74.44/27.05	c (9,0) cls[67] = 18
74.44/27.05	c (9,0) cls[68] = 1
74.44/27.05	c (9,0) cls[69] = 17
74.44/27.05	c (9,0) cls[70] = 5
74.44/27.05	c (9,0) cls[71] = 1
74.44/27.05	c (9,0) cls[72] = 15
74.44/27.05	c (9,0) cls[73] = 1
74.44/27.05	c (9,0) cls[74] = 1
74.44/27.05	c (9,0) cls[75] = 5
74.44/27.05	c (9,0) cls[76] = 17
74.44/27.05	c (9,0) cls[77] = 1
74.44/27.05	c (9,0) cls[78] = 2
74.44/27.05	c (9,0) cls[79] = 5
74.44/27.05	c (9,0) cls[80] = 4
74.44/27.05	c (9,0) cls[81] = 1
74.44/27.05	c (9,0) cls[82] = 5
74.44/27.05	c (9,0) cls[83] = 1
74.44/27.05	c (9,0) cls[84] = 17
74.44/27.05	c (9,0) cls[85] = 23
74.44/27.06	c (9,0) cls[86] = 5
74.44/27.06	c (9,0) cls[87] = 10
74.44/27.06	c (9,0) cls[88] = 16
74.44/27.06	c (9,0) cls[89] = 1
74.44/27.06	c (9,0) cls[90] = 1
74.44/27.06	c (9,0) cls[91] = 5
74.44/27.06	c (9,0) cls[92] = 10
74.44/27.06	c (9,0) cls[93] = 1
74.44/27.06	c (9,0) cls[94] = 5
74.44/27.06	c (9,0) cls[95] = 7
74.44/27.06	c (9,0) cls[96] = 10
74.44/27.06	c (9,0) cls[97] = 16
74.44/27.06	c (9,0) cls[98] = 1
74.44/27.06	c (9,0) cls[99] = 5
74.44/27.06	c (9,0) cls[100] = 1
74.44/27.06	c (9,0) cls[101] = 1
74.44/27.06	c (9,0) cls[102] = 5
74.44/27.06	c (9,0) cls[103] = 2
74.44/27.06	c (9,0) cls[104] = 2
74.44/27.06	c (9,0) cls[105] = 5
74.44/27.06	c (9,0) cls[106] = 7
74.44/27.06	c (9,0) cls[107] = 1
74.44/27.06	c (9,0) cls[108] = 1
74.44/27.06	c (9,0) cls[109] = 5
74.44/27.06	c (9,0) cls[110] = 1
74.44/27.06	c (9,0) cls[111] = 3
74.44/27.06	c (9,0) cls[112] = 1
74.44/27.06	c (9,0) cls[113] = 17
74.44/27.06	c (9,0) cls[114] = 16
74.44/27.06	c (9,0) cls[115] = 8
74.44/27.06	c (9,0) cls[116] = 16
74.44/27.06	c (9,0) cls[117] = 1
74.44/27.06	c (9,0) cls[118] = 5
74.44/27.06	c (9,0) cls[119] = 1
74.44/27.06	c (9,0) cls[120] = 1
74.44/27.06	c (9,0) cls[121] = 5
74.44/27.06	c (9,0) cls[122] = 16
74.44/27.06	c (9,0) cls[123] = 1
74.44/27.06	c (9,0) cls[124] = 1
74.44/27.06	c (9,0) cls[125] = 5
74.44/27.06	c (9,0) cls[126] = 1
74.44/27.06	c (9,0) cls[127] = 1
74.44/27.06	c (9,0) cls[128] = 5
74.44/27.06	c (9,0) cls[129] = 1
74.44/27.06	c (9,0) cls[130] = 2
74.44/27.06	c (9,0) cls[131] = 7
74.44/27.06	c (9,0) cls[132] = 1
74.44/27.06	c (9,0) cls[133] = 5
74.44/27.06	c (9,0) cls[134] = 1
74.44/27.06	c (9,0) cls[135] = 1
74.44/27.06	c (9,0) cls[136] = 7
74.44/27.06	c (9,0) cls[137] = 10
74.44/27.06	c (9,0) cls[138] = 1
74.44/27.06	c (9,0) cls[139] = 14
74.44/27.06	c (9,0) cls[140] = 17
74.44/27.06	c (9,0) cls[141] = 1
74.44/27.06	c (9,0) cls[142] = 5
74.44/27.06	c (9,0) cls[143] = 4
74.44/27.06	c (9,0) cls[144] = 1
74.44/27.06	c (9,0) cls[145] = 7
74.44/27.06	c (9,0) cls[146] = 6
74.44/27.06	c (9,0) cls[147] = 16
74.44/27.06	c (9,0) cls[148] = 1
74.44/27.06	c (9,0) cls[149] = 5
74.44/27.06	c (9,0) cls[150] = 1
74.44/27.06	c (9,0) cls[151] = 1
74.44/27.06	c (9,0) cls[152] = 5
74.44/27.06	c (9,0) cls[153] = 1
74.44/27.06	c (9,0) cls[154] = 1
74.44/27.06	c (9,0) cls[155] = 11
74.44/27.06	c (9,0) cls[156] = 17
74.44/27.06	c (9,0) cls[157] = 1
74.44/27.06	c (9,0) cls[158] = 1
74.44/27.06	c (9,0) cls[159] = 17
74.44/27.06	c (9,0) cls[160] = 1
74.44/27.06	c (9,0) cls[161] = 6
74.44/27.06	c (9,0) cls[162] = 7
74.44/27.06	c (9,0) cls[163] = 1
74.44/27.06	c (9,0) cls[164] = 1
74.44/27.06	c (9,0) cls[165] = 16
74.44/27.06	c (9,0) cls[166] = 6
74.44/27.06	c (9,0) cls[167] = 1
74.44/27.06	c (9,0) cls[168] = 17
74.44/27.06	c (9,0) cls[169] = 1
74.44/27.06	c (9,0) cls[170] = 22
74.44/27.06	c (9,0) cls[171] = 1
74.44/27.06	c (9,0) cls[172] = 4
74.44/27.06	c (9,0) cls[173] = 5
74.44/27.06	c (9,0) cls[174] = 2
74.44/27.06	c (9,0) cls[175] = 4
74.44/27.06	c (9,0) cls[176] = 11
74.44/27.06	c (9,0) cls[177] = 1
74.44/27.06	c (9,0) cls[178] = 1
74.44/27.06	c (9,0) cls[179] = 5
74.44/27.06	c (9,0) cls[180] = 1
74.44/27.06	c (9,0) cls[181] = 1
74.44/27.06	c (9,0) cls[182] = 5
74.44/27.06	c (9,0) cls[183] = 1
74.44/27.06	c (9,0) cls[184] = 1
74.44/27.06	c (9,0) cls[185] = 5
74.44/27.06	c (9,0) cls[186] = 1
74.44/27.06	c (9,0) cls[187] = 1
74.44/27.06	c (9,0) cls[188] = 9
74.44/27.06	c (9,0) cls[189] = 1
74.44/27.06	c (9,0) cls[190] = 1
74.44/27.06	c (9,0) cls[191] = 5
74.44/27.06	c (9,0) cls[192] = 1
74.44/27.06	c (9,0) cls[193] = 1
74.44/27.06	c (9,0) cls[194] = 5
74.44/27.06	c (9,0) cls[195] = 1
74.44/27.06	c (9,0) cls[196] = 1
74.44/27.06	c (9,0) cls[197] = 7
74.44/27.06	c (9,0) cls[198] = 21
74.44/27.06	c (9,0) cls[199] = 1
74.44/27.06	c (9,0) opt[0][0] = 0
74.44/27.06	c (9,0) opt[0][1] = 1
74.44/27.06	c (9,0) opt[0][2] = 0
74.44/27.06	c (9,0) opt[0][3] = 0
74.44/27.06	c (9,0) opt[0][4] = 0
74.44/27.06	c (9,0) opt[1][0] = 1
74.44/27.06	c (9,0) opt[1][1] = 1
74.44/27.06	c (9,0) opt[1][2] = 0
74.44/27.06	c (9,0) opt[1][3] = 0
74.44/27.06	c (9,0) opt[1][4] = 0
74.44/27.06	c (9,0) opt[2][0] = 0
74.44/27.06	c (9,0) opt[2][1] = 0
74.44/27.06	c (9,0) opt[2][2] = 0
74.44/27.06	c (9,0) opt[2][3] = 0
74.44/27.06	c (9,0) opt[2][4] = 1
74.44/27.06	c (9,0) opt[3][0] = 0
74.44/27.06	c (9,0) opt[3][1] = 1
74.44/27.06	c (9,0) opt[3][2] = 0
74.44/27.06	c (9,0) opt[3][3] = 0
74.44/27.06	c (9,0) opt[3][4] = 0
74.44/27.06	c (9,0) opt[4][0] = 0
74.44/27.06	c (9,0) opt[4][1] = 1
74.44/27.06	c (9,0) opt[4][2] = 1
74.44/27.06	c (9,0) opt[4][3] = 0
74.44/27.06	c (9,0) opt[4][4] = 0
74.44/27.06	c (9,0) opt[5][0] = 1
74.44/27.06	c (9,0) opt[5][1] = 0
74.44/27.06	c (9,0) opt[5][2] = 0
74.44/27.06	c (9,0) opt[5][3] = 0
74.44/27.06	c (9,0) opt[5][4] = 0
74.44/27.06	c (9,0) opt[6][0] = 0
74.44/27.06	c (9,0) opt[6][1] = 1
74.44/27.06	c (9,0) opt[6][2] = 0
74.44/27.06	c (9,0) opt[6][3] = 0
74.44/27.06	c (9,0) opt[6][4] = 0
74.44/27.06	c (9,0) opt[7][0] = 0
74.44/27.06	c (9,0) opt[7][1] = 0
74.44/27.06	c (9,0) opt[7][2] = 1
74.44/27.06	c (9,0) opt[7][3] = 0
74.44/27.06	c (9,0) opt[7][4] = 0
74.44/27.06	c (9,0) opt[8][0] = 1
74.44/27.06	c (9,0) opt[8][1] = 1
74.44/27.06	c (9,0) opt[8][2] = 0
74.44/27.06	c (9,0) opt[8][3] = 0
74.44/27.06	c (9,0) opt[8][4] = 0
74.44/27.06	c (9,0) opt[9][0] = 0
74.44/27.06	c (9,0) opt[9][1] = 1
74.44/27.06	c (9,0) opt[9][2] = 0
74.44/27.06	c (9,0) opt[9][3] = 0
74.44/27.06	c (9,0) opt[9][4] = 0
74.44/27.06	c (9,0) opt[10][0] = 0
74.44/27.06	c (9,0) opt[10][1] = 0
74.44/27.06	c (9,0) opt[10][2] = 0
74.44/27.06	c (9,0) opt[10][3] = 1
74.44/27.06	c (9,0) opt[10][4] = 0
74.44/27.06	c (9,0) opt[11][0] = 0
74.44/27.06	c (9,0) opt[11][1] = 1
74.44/27.06	c (9,0) opt[11][2] = 1
74.44/27.06	c (9,0) opt[11][3] = 0
74.44/27.06	c (9,0) opt[11][4] = 0
74.44/27.06	c (9,0) opt[12][0] = 1
74.44/27.06	c (9,0) opt[12][1] = 1
74.44/27.06	c (9,0) opt[12][2] = 0
74.44/27.06	c (9,0) opt[12][3] = 0
74.44/27.06	c (9,0) opt[12][4] = 1
74.44/27.06	c (9,0) opt[13][0] = 0
74.44/27.06	c (9,0) opt[13][1] = 0
74.44/27.06	c (9,0) opt[13][2] = 0
74.44/27.06	c (9,0) opt[13][3] = 1
74.44/27.06	c (9,0) opt[13][4] = 0
74.44/27.06	c (9,0) opt[14][0] = 0
74.44/27.06	c (9,0) opt[14][1] = 1
74.44/27.06	c (9,0) opt[14][2] = 0
74.44/27.06	c (9,0) opt[14][3] = 0
74.44/27.06	c (9,0) opt[14][4] = 0
74.44/27.06	c (9,0) opt[15][0] = 0
74.44/27.06	c (9,0) opt[15][1] = 1
74.44/27.06	c (9,0) opt[15][2] = 1
74.44/27.06	c (9,0) opt[15][3] = 1
74.44/27.06	c (9,0) opt[15][4] = 0
74.44/27.06	c (9,0) opt[16][0] = 1
74.44/27.06	c (9,0) opt[16][1] = 0
74.44/27.06	c (9,0) opt[16][2] = 0
74.44/27.06	c (9,0) opt[16][3] = 0
74.44/27.06	c (9,0) opt[16][4] = 0
74.44/27.06	c (9,0) opt[17][0] = 0
74.44/27.06	c (9,0) opt[17][1] = 1
74.44/27.06	c (9,0) opt[17][2] = 0
74.44/27.06	c (9,0) opt[17][3] = 0
74.44/27.06	c (9,0) opt[17][4] = 0
74.44/27.06	c (9,0) opt[18][0] = 1
74.44/27.06	c (9,0) opt[18][1] = 1
74.44/27.06	c (9,0) opt[18][2] = 0
74.44/27.06	c (9,0) opt[18][3] = 1
74.44/27.06	c (9,0) opt[18][4] = 1
74.44/27.06	c (9,0) opt[19][0] = 0
74.44/27.06	c (9,0) opt[19][1] = 0
74.44/27.06	c (9,0) opt[19][2] = 1
74.44/27.06	c (9,0) opt[19][3] = 0
74.44/27.06	c (9,0) opt[19][4] = 0
74.44/27.06	c (9,0) opt[20][0] = 1
74.44/27.06	c (9,0) opt[20][1] = 0
74.44/27.06	c (9,0) opt[20][2] = 0
74.44/27.06	c (9,0) opt[20][3] = 0
74.44/27.06	c (9,0) opt[20][4] = 0
74.44/27.06	c (9,0) opt[21][0] = 0
74.44/27.06	c (9,0) opt[21][1] = 1
74.44/27.06	c (9,0) opt[21][2] = 0
74.44/27.06	c (9,0) opt[21][3] = 0
74.44/27.06	c (9,0) opt[21][4] = 0
74.44/27.06	c (9,0) opt[22][0] = 0
74.44/27.06	c (9,0) opt[22][1] = 0
74.44/27.06	c (9,0) opt[22][2] = 1
74.44/27.06	c (9,0) opt[22][3] = 0
74.44/27.06	c (9,0) opt[22][4] = 0
74.44/27.06	c (9,0) opt[23][0] = 0
74.44/27.06	c (9,0) opt[23][1] = 1
74.44/27.06	c (9,0) opt[23][2] = 0
74.44/27.06	c (9,0) opt[23][3] = 0
74.44/27.06	c (9,0) opt[23][4] = 0
74.44/27.06	c (9,0) opt[24][0] = 0
74.44/27.06	c (9,0) opt[24][1] = 1
74.44/27.06	c (9,0) opt[24][2] = 0
74.44/27.06	c (9,0) opt[24][3] = 0
74.44/27.06	c (9,0) opt[24][4] = 0
74.44/27.06	c (9,0) opt[25][0] = 1
74.44/27.06	c (9,0) opt[25][1] = 0
74.44/27.06	c (9,0) opt[25][2] = 0
74.44/27.06	c (9,0) opt[25][3] = 1
74.44/27.06	c (9,0) opt[25][4] = 0
74.44/27.06	c (9,0) opt[26][0] = 0
74.44/27.06	c (9,0) opt[26][1] = 1
74.44/27.06	c (9,0) opt[26][2] = 0
74.44/27.06	c (9,0) opt[26][3] = 0
74.44/27.06	c (9,0) opt[26][4] = 0
74.44/27.06	c (9,0) opt[27][0] = 0
74.44/27.06	c (9,0) opt[27][1] = 0
74.44/27.06	c (9,0) opt[27][2] = 1
74.44/27.06	c (9,0) opt[27][3] = 0
74.44/27.06	c (9,0) opt[27][4] = 0
74.44/27.06	c (9,0) opt[28][0] = 1
74.44/27.06	c (9,0) opt[28][1] = 0
74.44/27.06	c (9,0) opt[28][2] = 0
74.44/27.06	c (9,0) opt[28][3] = 0
74.44/27.06	c (9,0) opt[28][4] = 0
74.44/27.06	c (9,0) opt[29][0] = 0
74.44/27.06	c (9,0) opt[29][1] = 1
74.44/27.06	c (9,0) opt[29][2] = 0
74.44/27.06	c (9,0) opt[29][3] = 0
74.44/27.06	c (9,0) opt[29][4] = 0
74.44/27.06	c (9,0) opt[30][0] = 0
74.44/27.06	c (9,0) opt[30][1] = 1
74.44/27.06	c (9,0) opt[30][2] = 0
74.44/27.06	c (9,0) opt[30][3] = 0
74.44/27.06	c (9,0) opt[30][4] = 0
74.44/27.06	c (9,0) opt[31][0] = 0
74.44/27.06	c (9,0) opt[31][1] = 0
74.44/27.06	c (9,0) opt[31][2] = 0
74.44/27.06	c (9,0) opt[31][3] = 0
74.44/27.06	c (9,0) opt[31][4] = 1
74.44/27.06	c (9,0) opt[32][0] = 0
74.44/27.06	c (9,0) opt[32][1] = 0
74.44/27.06	c (9,0) opt[32][2] = 1
74.44/27.06	c (9,0) opt[32][3] = 0
74.44/27.06	c (9,0) opt[32][4] = 0
74.44/27.06	c (9,0) opt[33][0] = 0
74.44/27.06	c (9,0) opt[33][1] = 1
74.44/27.06	c (9,0) opt[33][2] = 0
74.44/27.06	c (9,0) opt[33][3] = 0
74.44/27.06	c (9,0) opt[33][4] = 0
74.44/27.06	c (9,0) opt[34][0] = 0
74.44/27.06	c (9,0) opt[34][1] = 1
74.44/27.06	c (9,0) opt[34][2] = 0
74.44/27.06	c (9,0) opt[34][3] = 0
74.44/27.06	c (9,0) opt[34][4] = 0
74.44/27.06	c (9,0) opt[35][0] = 0
74.44/27.06	c (9,0) opt[35][1] = 0
74.44/27.06	c (9,0) opt[35][2] = 1
74.44/27.06	c (9,0) opt[35][3] = 0
74.44/27.06	c (9,0) opt[35][4] = 0
74.44/27.06	c (9,0) opt[36][0] = 0
74.44/27.06	c (9,0) opt[36][1] = 1
74.44/27.06	c (9,0) opt[36][2] = 0
74.44/27.06	c (9,0) opt[36][3] = 0
74.44/27.06	c (9,0) opt[36][4] = 0
74.44/27.06	c (9,0) opt[37][0] = 0
74.44/27.06	c (9,0) opt[37][1] = 1
74.44/27.06	c (9,0) opt[37][2] = 0
74.44/27.06	c (9,0) opt[37][3] = 0
74.44/27.06	c (9,0) opt[37][4] = 1
74.44/27.06	c (9,0) opt[38][0] = 0
74.44/27.06	c (9,0) opt[38][1] = 0
74.44/27.06	c (9,0) opt[38][2] = 1
74.44/27.06	c (9,0) opt[38][3] = 1
74.44/27.06	c (9,0) opt[38][4] = 0
74.44/27.06	c (9,0) opt[39][0] = 1
74.44/27.06	c (9,0) opt[39][1] = 1
74.44/27.06	c (9,0) opt[39][2] = 0
74.44/27.06	c (9,0) opt[39][3] = 0
74.44/27.06	c (9,0) opt[39][4] = 0
74.44/27.06	c (9,0) opt[40][0] = 0
74.44/27.06	c (9,0) opt[40][1] = 1
74.44/27.06	c (9,0) opt[40][2] = 0
74.44/27.06	c (9,0) opt[40][3] = 0
74.44/27.06	c (9,0) opt[40][4] = 0
74.44/27.06	c (9,0) opt[41][0] = 1
74.44/27.06	c (9,0) opt[41][1] = 0
74.44/27.06	c (9,0) opt[41][2] = 0
74.44/27.06	c (9,0) opt[41][3] = 0
74.44/27.06	c (9,0) opt[41][4] = 0
74.44/27.06	c (9,0) opt[42][0] = 0
74.44/27.06	c (9,0) opt[42][1] = 1
74.44/27.06	c (9,0) opt[42][2] = 0
74.44/27.06	c (9,0) opt[42][3] = 0
74.44/27.06	c (9,0) opt[42][4] = 0
74.44/27.06	c (9,0) opt[43][0] = 1
74.44/27.06	c (9,0) opt[43][1] = 0
74.44/27.06	c (9,0) opt[43][2] = 1
74.44/27.06	c (9,0) opt[43][3] = 1
74.44/27.06	c (9,0) opt[43][4] = 0
74.44/27.06	c (9,0) opt[44][0] = 0
74.44/27.06	c (9,0) opt[44][1] = 0
74.44/27.06	c (9,0) opt[44][2] = 0
74.44/27.06	c (9,0) opt[44][3] = 1
74.44/27.06	c (9,0) opt[44][4] = 0
74.44/27.06	c (9,0) opt[45][0] = 0
74.44/27.06	c (9,0) opt[45][1] = 1
74.44/27.06	c (9,0) opt[45][2] = 0
74.44/27.06	c (9,0) opt[45][3] = 0
74.44/27.06	c (9,0) opt[45][4] = 0
74.44/27.06	c (9,0) opt[46][0] = 1
74.44/27.06	c (9,0) opt[46][1] = 1
74.44/27.06	c (9,0) opt[46][2] = 0
74.44/27.06	c (9,0) opt[46][3] = 0
74.44/27.06	c (9,0) opt[46][4] = 0
74.44/27.06	c (9,0) opt[47][0] = 0
74.44/27.06	c (9,0) opt[47][1] = 0
74.44/27.06	c (9,0) opt[47][2] = 1
74.44/27.06	c (9,0) opt[47][3] = 0
74.44/27.06	c (9,0) opt[47][4] = 0
74.44/27.06	c (9,0) opt[48][0] = 0
74.44/27.06	c (9,0) opt[48][1] = 1
74.44/27.06	c (9,0) opt[48][2] = 0
74.44/27.06	c (9,0) opt[48][3] = 0
74.44/27.06	c (9,0) opt[48][4] = 0
74.44/27.06	c (9,0) opt[49][0] = 1
74.44/27.06	c (9,0) opt[49][1] = 0
74.44/27.06	c (9,0) opt[49][2] = 0
74.44/27.06	c (9,0) opt[49][3] = 1
74.44/27.06	c (9,0) opt[49][4] = 0
74.44/27.06	c (9,0) opt[50][0] = 0
74.44/27.06	c (9,0) opt[50][1] = 1
74.44/27.06	c (9,0) opt[50][2] = 0
74.44/27.06	c (9,0) opt[50][3] = 0
74.44/27.06	c (9,0) opt[50][4] = 0
74.44/27.06	c (9,0) opt[51][0] = 1
74.44/27.06	c (9,0) opt[51][1] = 1
74.44/27.06	c (9,0) opt[51][2] = 1
74.44/27.06	c (9,0) opt[51][3] = 0
74.44/27.06	c (9,0) opt[51][4] = 1
74.44/27.06	c (9,0) opt[52][0] = 0
74.44/27.06	c (9,0) opt[52][1] = 0
74.44/27.06	c (9,0) opt[52][2] = 0
74.44/27.06	c (9,0) opt[52][3] = 1
74.44/27.06	c (9,0) opt[52][4] = 0
74.44/27.06	c (9,0) opt[53][0] = 0
74.44/27.06	c (9,0) opt[53][1] = 1
74.44/27.06	c (9,0) opt[53][2] = 0
74.44/27.06	c (9,0) opt[53][3] = 0
74.44/27.06	c (9,0) opt[53][4] = 0
74.44/27.06	c (9,0) opt[54][0] = 1
74.44/27.06	c (9,0) opt[54][1] = 0
74.44/27.06	c (9,0) opt[54][2] = 0
74.44/27.06	c (9,0) opt[54][3] = 0
74.44/27.06	c (9,0) opt[54][4] = 0
74.44/27.06	c (9,0) opt[55][0] = 0
74.44/27.06	c (9,0) opt[55][1] = 0
74.44/27.06	c (9,0) opt[55][2] = 1
74.44/27.06	c (9,0) opt[55][3] = 0
74.44/27.06	c (9,0) opt[55][4] = 0
74.44/27.06	c (9,0) opt[56][0] = 0
74.44/27.06	c (9,0) opt[56][1] = 0
74.44/27.06	c (9,0) opt[56][2] = 0
74.44/27.06	c (9,0) opt[56][3] = 0
74.44/27.06	c (9,0) opt[56][4] = 1
74.44/27.06	c (9,0) opt[57][0] = 0
74.44/27.06	c (9,0) opt[57][1] = 1
74.44/27.06	c (9,0) opt[57][2] = 0
74.44/27.06	c (9,0) opt[57][3] = 0
74.44/27.06	c (9,0) opt[57][4] = 0
74.44/27.06	c (9,0) opt[58][0] = 0
74.44/27.06	c (9,0) opt[58][1] = 1
74.44/27.06	c (9,0) opt[58][2] = 0
74.44/27.06	c (9,0) opt[58][3] = 0
74.44/27.06	c (9,0) opt[58][4] = 0
74.44/27.06	c (9,0) opt[59][0] = 1
74.44/27.06	c (9,0) opt[59][1] = 0
74.44/27.06	c (9,0) opt[59][2] = 0
74.44/27.06	c (9,0) opt[59][3] = 1
74.44/27.06	c (9,0) opt[59][4] = 0
74.44/27.06	c (9,0) opt[60][0] = 0
74.44/27.06	c (9,0) opt[60][1] = 0
74.44/27.06	c (9,0) opt[60][2] = 0
74.44/27.06	c (9,0) opt[60][3] = 1
74.44/27.06	c (9,0) opt[60][4] = 0
74.44/27.06	c (9,0) opt[61][0] = 0
74.44/27.06	c (9,0) opt[61][1] = 0
74.44/27.06	c (9,0) opt[61][2] = 1
74.44/27.06	c (9,0) opt[61][3] = 0
74.44/27.06	c (9,0) opt[61][4] = 0
74.44/27.06	c (9,0) opt[62][0] = 0
74.44/27.06	c (9,0) opt[62][1] = 1
74.44/27.06	c (9,0) opt[62][2] = 0
74.44/27.06	c (9,0) opt[62][3] = 0
74.44/27.06	c (9,0) opt[62][4] = 0
74.44/27.06	c (9,0) opt[63][0] = 0
74.44/27.06	c (9,0) opt[63][1] = 0
74.44/27.06	c (9,0) opt[63][2] = 0
74.44/27.06	c (9,0) opt[63][3] = 0
74.44/27.06	c (9,0) opt[63][4] = 1
74.44/27.06	c (9,0) opt[64][0] = 0
74.44/27.06	c (9,0) opt[64][1] = 0
74.44/27.06	c (9,0) opt[64][2] = 1
74.44/27.06	c (9,0) opt[64][3] = 1
74.44/27.06	c (9,0) opt[64][4] = 0
74.44/27.06	c (9,0) opt[65][0] = 0
74.44/27.06	c (9,0) opt[65][1] = 1
74.44/27.06	c (9,0) opt[65][2] = 0
74.44/27.06	c (9,0) opt[65][3] = 0
74.44/27.06	c (9,0) opt[65][4] = 0
74.44/27.06	c (9,0) opt[66][0] = 1
74.44/27.06	c (9,0) opt[66][1] = 0
74.44/27.06	c (9,0) opt[66][2] = 0
74.44/27.06	c (9,0) opt[66][3] = 0
74.44/27.06	c (9,0) opt[66][4] = 0
74.44/27.06	c (9,0) opt[67][0] = 0
74.44/27.06	c (9,0) opt[67][1] = 1
74.44/27.06	c (9,0) opt[67][2] = 1
74.44/27.06	c (9,0) opt[67][3] = 1
74.44/27.06	c (9,0) opt[67][4] = 0
74.44/27.06	c (9,0) opt[68][0] = 0
74.44/27.06	c (9,0) opt[68][1] = 1
74.44/27.06	c (9,0) opt[68][2] = 0
74.44/27.06	c (9,0) opt[68][3] = 0
74.44/27.06	c (9,0) opt[68][4] = 0
74.44/27.06	c (9,0) opt[69][0] = 1
74.44/27.06	c (9,0) opt[69][1] = 0
74.44/27.06	c (9,0) opt[69][2] = 0
74.44/27.06	c (9,0) opt[69][3] = 0
74.44/27.06	c (9,0) opt[69][4] = 0
74.44/27.06	c (9,0) opt[70][0] = 0
74.44/27.06	c (9,0) opt[70][1] = 0
74.44/27.06	c (9,0) opt[70][2] = 1
74.44/27.06	c (9,0) opt[70][3] = 0
74.44/27.06	c (9,0) opt[70][4] = 0
74.44/27.06	c (9,0) opt[71][0] = 0
74.44/27.06	c (9,0) opt[71][1] = 1
74.44/27.06	c (9,0) opt[71][2] = 0
74.44/27.06	c (9,0) opt[71][3] = 0
74.44/27.06	c (9,0) opt[71][4] = 0
74.44/27.06	c (9,0) opt[72][0] = 1
74.44/27.06	c (9,0) opt[72][1] = 0
74.44/27.06	c (9,0) opt[72][2] = 0
74.44/27.06	c (9,0) opt[72][3] = 0
74.44/27.06	c (9,0) opt[72][4] = 1
74.44/27.06	c (9,0) opt[73][0] = 0
74.44/27.06	c (9,0) opt[73][1] = 1
74.44/27.06	c (9,0) opt[73][2] = 0
74.44/27.06	c (9,0) opt[73][3] = 0
74.44/27.06	c (9,0) opt[73][4] = 0
74.44/27.06	c (9,0) opt[74][0] = 0
74.44/27.06	c (9,0) opt[74][1] = 1
74.44/27.06	c (9,0) opt[74][2] = 0
74.44/27.06	c (9,0) opt[74][3] = 0
74.44/27.06	c (9,0) opt[74][4] = 0
74.44/27.06	c (9,0) opt[75][0] = 0
74.44/27.06	c (9,0) opt[75][1] = 0
74.44/27.06	c (9,0) opt[75][2] = 1
74.44/27.06	c (9,0) opt[75][3] = 0
74.44/27.06	c (9,0) opt[75][4] = 0
74.44/27.06	c (9,0) opt[76][0] = 1
74.44/27.06	c (9,0) opt[76][1] = 0
74.44/27.06	c (9,0) opt[76][2] = 0
74.44/27.06	c (9,0) opt[76][3] = 0
74.44/27.06	c (9,0) opt[76][4] = 0
74.44/27.06	c (9,0) opt[77][0] = 0
74.44/27.06	c (9,0) opt[77][1] = 1
74.44/27.06	c (9,0) opt[77][2] = 0
74.44/27.06	c (9,0) opt[77][3] = 0
74.44/27.06	c (9,0) opt[77][4] = 0
74.44/27.06	c (9,0) opt[78][0] = 0
74.44/27.06	c (9,0) opt[78][1] = 1
74.44/27.06	c (9,0) opt[78][2] = 0
74.44/27.06	c (9,0) opt[78][3] = 1
74.44/27.06	c (9,0) opt[78][4] = 0
74.44/27.06	c (9,0) opt[79][0] = 0
74.44/27.06	c (9,0) opt[79][1] = 0
74.44/27.06	c (9,0) opt[79][2] = 1
74.44/27.06	c (9,0) opt[79][3] = 0
74.44/27.06	c (9,0) opt[79][4] = 0
74.44/27.06	c (9,0) opt[80][0] = 1
74.44/27.06	c (9,0) opt[80][1] = 1
74.44/27.06	c (9,0) opt[80][2] = 0
74.44/27.06	c (9,0) opt[80][3] = 0
74.44/27.06	c (9,0) opt[80][4] = 0
74.44/27.06	c (9,0) opt[81][0] = 0
74.44/27.06	c (9,0) opt[81][1] = 1
74.44/27.06	c (9,0) opt[81][2] = 0
74.44/27.06	c (9,0) opt[81][3] = 0
74.44/27.06	c (9,0) opt[81][4] = 0
74.44/27.06	c (9,0) opt[82][0] = 0
74.44/27.06	c (9,0) opt[82][1] = 0
74.44/27.06	c (9,0) opt[82][2] = 1
74.44/27.06	c (9,0) opt[82][3] = 0
74.44/27.06	c (9,0) opt[82][4] = 0
74.44/27.06	c (9,0) opt[83][0] = 0
74.44/27.06	c (9,0) opt[83][1] = 1
74.44/27.06	c (9,0) opt[83][2] = 0
74.44/27.06	c (9,0) opt[83][3] = 0
74.44/27.06	c (9,0) opt[83][4] = 0
74.44/27.06	c (9,0) opt[84][0] = 1
74.44/27.06	c (9,0) opt[84][1] = 0
74.44/27.06	c (9,0) opt[84][2] = 0
74.44/27.06	c (9,0) opt[84][3] = 0
74.44/27.06	c (9,0) opt[84][4] = 0
74.44/27.06	c (9,0) opt[85][0] = 0
74.44/27.06	c (9,0) opt[85][1] = 1
74.44/27.06	c (9,0) opt[85][2] = 0
74.44/27.06	c (9,0) opt[85][3] = 0
74.44/27.06	c (9,0) opt[85][4] = 1
74.44/27.06	c (9,0) opt[86][0] = 0
74.44/27.06	c (9,0) opt[86][1] = 0
74.44/27.06	c (9,0) opt[86][2] = 1
74.44/27.06	c (9,0) opt[86][3] = 0
74.44/27.06	c (9,0) opt[86][4] = 0
74.44/27.06	c (9,0) opt[87][0] = 1
74.44/27.06	c (9,0) opt[87][1] = 1
74.44/27.06	c (9,0) opt[87][2] = 0
74.44/27.06	c (9,0) opt[87][3] = 1
74.44/27.06	c (9,0) opt[87][4] = 0
74.44/27.06	c (9,0) opt[88][0] = 0
74.44/27.06	c (9,0) opt[88][1] = 0
74.44/27.06	c (9,0) opt[88][2] = 0
74.44/27.06	c (9,0) opt[88][3] = 1
74.44/27.06	c (9,0) opt[88][4] = 0
74.44/27.06	c (9,0) opt[89][0] = 0
74.44/27.06	c (9,0) opt[89][1] = 1
74.44/27.06	c (9,0) opt[89][2] = 0
74.44/27.06	c (9,0) opt[89][3] = 0
74.44/27.06	c (9,0) opt[89][4] = 0
74.44/27.06	c (9,0) opt[90][0] = 0
74.44/27.06	c (9,0) opt[90][1] = 1
74.44/27.06	c (9,0) opt[90][2] = 0
74.44/27.06	c (9,0) opt[90][3] = 0
74.44/27.06	c (9,0) opt[90][4] = 0
74.44/27.06	c (9,0) opt[91][0] = 0
74.44/27.06	c (9,0) opt[91][1] = 0
74.44/27.06	c (9,0) opt[91][2] = 1
74.44/27.06	c (9,0) opt[91][3] = 0
74.44/27.06	c (9,0) opt[91][4] = 0
74.44/27.06	c (9,0) opt[92][0] = 1
74.44/27.06	c (9,0) opt[92][1] = 1
74.44/27.06	c (9,0) opt[92][2] = 0
74.44/27.06	c (9,0) opt[92][3] = 1
74.44/27.06	c (9,0) opt[92][4] = 0
74.44/27.06	c (9,0) opt[93][0] = 0
74.44/27.06	c (9,0) opt[93][1] = 1
74.44/27.06	c (9,0) opt[93][2] = 0
74.44/27.06	c (9,0) opt[93][3] = 0
74.44/27.06	c (9,0) opt[93][4] = 0
74.44/27.06	c (9,0) opt[94][0] = 0
74.44/27.06	c (9,0) opt[94][1] = 0
74.44/27.06	c (9,0) opt[94][2] = 1
74.44/27.06	c (9,0) opt[94][3] = 0
74.44/27.06	c (9,0) opt[94][4] = 0
74.44/27.06	c (9,0) opt[95][0] = 0
74.44/27.06	c (9,0) opt[95][1] = 0
74.44/27.06	c (9,0) opt[95][2] = 0
74.44/27.06	c (9,0) opt[95][3] = 0
74.44/27.06	c (9,0) opt[95][4] = 1
74.44/27.06	c (9,0) opt[96][0] = 1
74.44/27.06	c (9,0) opt[96][1] = 1
74.44/27.06	c (9,0) opt[96][2] = 0
74.44/27.06	c (9,0) opt[96][3] = 1
74.44/27.06	c (9,0) opt[96][4] = 0
74.44/27.06	c (9,0) opt[97][0] = 0
74.44/27.06	c (9,0) opt[97][1] = 0
74.44/27.06	c (9,0) opt[97][2] = 0
74.44/27.06	c (9,0) opt[97][3] = 1
74.44/27.06	c (9,0) opt[97][4] = 0
74.44/27.06	c (9,0) opt[98][0] = 0
74.44/27.06	c (9,0) opt[98][1] = 1
74.44/27.06	c (9,0) opt[98][2] = 0
74.44/27.06	c (9,0) opt[98][3] = 0
74.44/27.06	c (9,0) opt[98][4] = 0
74.44/27.06	c (9,0) opt[99][0] = 0
74.44/27.06	c (9,0) opt[99][1] = 0
74.44/27.06	c (9,0) opt[99][2] = 1
74.44/27.06	c (9,0) opt[99][3] = 0
74.44/27.06	c (9,0) opt[99][4] = 0
74.44/27.06	c (9,0) opt[100][0] = 0
74.44/27.06	c (9,0) opt[100][1] = 1
74.44/27.06	c (9,0) opt[100][2] = 0
74.44/27.06	c (9,0) opt[100][3] = 0
74.44/27.06	c (9,0) opt[100][4] = 0
74.44/27.06	c (9,0) opt[101][0] = 0
74.44/27.06	c (9,0) opt[101][1] = 1
74.44/27.06	c (9,0) opt[101][2] = 0
74.44/27.06	c (9,0) opt[101][3] = 0
74.44/27.06	c (9,0) opt[101][4] = 0
74.44/27.06	c (9,0) opt[102][0] = 0
74.44/27.06	c (9,0) opt[102][1] = 0
74.44/27.06	c (9,0) opt[102][2] = 1
74.44/27.06	c (9,0) opt[102][3] = 0
74.44/27.06	c (9,0) opt[102][4] = 0
74.44/27.06	c (9,0) opt[103][0] = 0
74.44/27.06	c (9,0) opt[103][1] = 1
74.44/27.06	c (9,0) opt[103][2] = 0
74.44/27.06	c (9,0) opt[103][3] = 1
74.44/27.06	c (9,0) opt[103][4] = 0
74.44/27.06	c (9,0) opt[104][0] = 0
74.44/27.06	c (9,0) opt[104][1] = 1
74.44/27.06	c (9,0) opt[104][2] = 0
74.44/27.06	c (9,0) opt[104][3] = 1
74.44/27.06	c (9,0) opt[104][4] = 0
74.44/27.06	c (9,0) opt[105][0] = 0
74.44/27.06	c (9,0) opt[105][1] = 0
74.44/27.06	c (9,0) opt[105][2] = 1
74.44/27.06	c (9,0) opt[105][3] = 0
74.44/27.06	c (9,0) opt[105][4] = 0
74.44/27.06	c (9,0) opt[106][0] = 0
74.44/27.06	c (9,0) opt[106][1] = 0
74.44/27.06	c (9,0) opt[106][2] = 0
74.44/27.06	c (9,0) opt[106][3] = 0
74.44/27.06	c (9,0) opt[106][4] = 1
74.44/27.06	c (9,0) opt[107][0] = 0
74.44/27.06	c (9,0) opt[107][1] = 1
74.44/27.06	c (9,0) opt[107][2] = 0
74.44/27.06	c (9,0) opt[107][3] = 0
74.44/27.06	c (9,0) opt[107][4] = 0
74.44/27.06	c (9,0) opt[108][0] = 0
74.44/27.06	c (9,0) opt[108][1] = 1
74.44/27.06	c (9,0) opt[108][2] = 0
74.44/27.06	c (9,0) opt[108][3] = 0
74.44/27.06	c (9,0) opt[108][4] = 0
74.44/27.06	c (9,0) opt[109][0] = 0
74.44/27.06	c (9,0) opt[109][1] = 0
74.44/27.06	c (9,0) opt[109][2] = 1
74.44/27.06	c (9,0) opt[109][3] = 0
74.44/27.06	c (9,0) opt[109][4] = 0
74.44/27.06	c (9,0) opt[110][0] = 0
74.44/27.06	c (9,0) opt[110][1] = 1
74.44/27.06	c (9,0) opt[110][2] = 0
74.44/27.06	c (9,0) opt[110][3] = 0
74.44/27.06	c (9,0) opt[110][4] = 0
74.44/27.06	c (9,0) opt[111][0] = 1
74.44/27.06	c (9,0) opt[111][1] = 0
74.44/27.06	c (9,0) opt[111][2] = 0
74.44/27.06	c (9,0) opt[111][3] = 1
74.44/27.06	c (9,0) opt[111][4] = 1
74.44/27.06	c (9,0) opt[112][0] = 0
74.44/27.06	c (9,0) opt[112][1] = 1
74.44/27.06	c (9,0) opt[112][2] = 0
74.44/27.06	c (9,0) opt[112][3] = 0
74.44/27.06	c (9,0) opt[112][4] = 0
74.44/27.06	c (9,0) opt[113][0] = 1
74.44/27.06	c (9,0) opt[113][1] = 0
74.44/27.06	c (9,0) opt[113][2] = 0
74.44/27.06	c (9,0) opt[113][3] = 0
74.44/27.06	c (9,0) opt[113][4] = 0
74.44/27.06	c (9,0) opt[114][0] = 0
74.44/27.06	c (9,0) opt[114][1] = 0
74.44/27.06	c (9,0) opt[114][2] = 0
74.44/27.06	c (9,0) opt[114][3] = 1
74.44/27.06	c (9,0) opt[114][4] = 0
74.44/27.06	c (9,0) opt[115][0] = 0
74.44/27.06	c (9,0) opt[115][1] = 1
74.44/27.06	c (9,0) opt[115][2] = 1
74.44/27.06	c (9,0) opt[115][3] = 0
74.44/27.06	c (9,0) opt[115][4] = 0
74.44/27.06	c (9,0) opt[116][0] = 0
74.44/27.06	c (9,0) opt[116][1] = 0
74.44/27.06	c (9,0) opt[116][2] = 0
74.44/27.06	c (9,0) opt[116][3] = 1
74.44/27.06	c (9,0) opt[116][4] = 0
74.44/27.06	c (9,0) opt[117][0] = 0
74.44/27.06	c (9,0) opt[117][1] = 1
74.44/27.06	c (9,0) opt[117][2] = 0
74.44/27.06	c (9,0) opt[117][3] = 0
74.44/27.06	c (9,0) opt[117][4] = 0
74.44/27.06	c (9,0) opt[118][0] = 0
74.44/27.06	c (9,0) opt[118][1] = 0
74.44/27.06	c (9,0) opt[118][2] = 1
74.44/27.06	c (9,0) opt[118][3] = 0
74.44/27.06	c (9,0) opt[118][4] = 0
74.44/27.06	c (9,0) opt[119][0] = 0
74.44/27.06	c (9,0) opt[119][1] = 1
74.44/27.06	c (9,0) opt[119][2] = 0
74.44/27.06	c (9,0) opt[119][3] = 0
74.44/27.06	c (9,0) opt[119][4] = 0
74.44/27.06	c (9,0) opt[120][0] = 0
74.44/27.06	c (9,0) opt[120][1] = 1
74.44/27.06	c (9,0) opt[120][2] = 0
74.44/27.06	c (9,0) opt[120][3] = 0
74.44/27.06	c (9,0) opt[120][4] = 0
74.44/27.06	c (9,0) opt[121][0] = 0
74.44/27.06	c (9,0) opt[121][1] = 0
74.44/27.06	c (9,0) opt[121][2] = 1
74.44/27.06	c (9,0) opt[121][3] = 0
74.44/27.06	c (9,0) opt[121][4] = 0
74.44/27.06	c (9,0) opt[122][0] = 0
74.44/27.06	c (9,0) opt[122][1] = 0
74.44/27.06	c (9,0) opt[122][2] = 0
74.44/27.06	c (9,0) opt[122][3] = 1
74.44/27.06	c (9,0) opt[122][4] = 0
74.44/27.06	c (9,0) opt[123][0] = 0
74.44/27.06	c (9,0) opt[123][1] = 1
74.44/27.06	c (9,0) opt[123][2] = 0
74.44/27.06	c (9,0) opt[123][3] = 0
74.44/27.06	c (9,0) opt[123][4] = 0
74.44/27.06	c (9,0) opt[124][0] = 0
74.44/27.06	c (9,0) opt[124][1] = 1
74.44/27.06	c (9,0) opt[124][2] = 0
74.44/27.06	c (9,0) opt[124][3] = 0
74.44/27.06	c (9,0) opt[124][4] = 0
74.44/27.06	c (9,0) opt[125][0] = 0
74.44/27.06	c (9,0) opt[125][1] = 0
74.44/27.06	c (9,0) opt[125][2] = 1
74.44/27.06	c (9,0) opt[125][3] = 0
74.44/27.06	c (9,0) opt[125][4] = 0
74.44/27.06	c (9,0) opt[126][0] = 0
74.44/27.06	c (9,0) opt[126][1] = 1
74.44/27.06	c (9,0) opt[126][2] = 0
74.44/27.06	c (9,0) opt[126][3] = 0
74.44/27.06	c (9,0) opt[126][4] = 0
74.44/27.06	c (9,0) opt[127][0] = 0
74.44/27.06	c (9,0) opt[127][1] = 1
74.44/27.06	c (9,0) opt[127][2] = 0
74.44/27.06	c (9,0) opt[127][3] = 0
74.44/27.06	c (9,0) opt[127][4] = 0
74.44/27.06	c (9,0) opt[128][0] = 0
74.44/27.06	c (9,0) opt[128][1] = 0
74.44/27.06	c (9,0) opt[128][2] = 1
74.44/27.06	c (9,0) opt[128][3] = 0
74.44/27.06	c (9,0) opt[128][4] = 0
74.44/27.06	c (9,0) opt[129][0] = 0
74.44/27.06	c (9,0) opt[129][1] = 1
74.44/27.06	c (9,0) opt[129][2] = 0
74.44/27.06	c (9,0) opt[129][3] = 0
74.44/27.06	c (9,0) opt[129][4] = 0
74.44/27.06	c (9,0) opt[130][0] = 0
74.44/27.06	c (9,0) opt[130][1] = 1
74.44/27.06	c (9,0) opt[130][2] = 0
74.44/27.06	c (9,0) opt[130][3] = 1
74.44/27.06	c (9,0) opt[130][4] = 0
74.44/27.06	c (9,0) opt[131][0] = 0
74.44/27.06	c (9,0) opt[131][1] = 0
74.44/27.06	c (9,0) opt[131][2] = 0
74.44/27.06	c (9,0) opt[131][3] = 0
74.44/27.06	c (9,0) opt[131][4] = 1
74.44/27.06	c (9,0) opt[132][0] = 0
74.44/27.06	c (9,0) opt[132][1] = 1
74.44/27.06	c (9,0) opt[132][2] = 0
74.44/27.06	c (9,0) opt[132][3] = 0
74.44/27.06	c (9,0) opt[132][4] = 0
74.44/27.06	c (9,0) opt[133][0] = 0
74.44/27.06	c (9,0) opt[133][1] = 0
74.44/27.06	c (9,0) opt[133][2] = 1
74.44/27.06	c (9,0) opt[133][3] = 0
74.44/27.06	c (9,0) opt[133][4] = 0
74.44/27.06	c (9,0) opt[134][0] = 0
74.44/27.06	c (9,0) opt[134][1] = 1
74.44/27.06	c (9,0) opt[134][2] = 0
74.44/27.06	c (9,0) opt[134][3] = 0
74.44/27.06	c (9,0) opt[134][4] = 0
74.44/27.06	c (9,0) opt[135][0] = 0
74.44/27.06	c (9,0) opt[135][1] = 1
74.44/27.06	c (9,0) opt[135][2] = 0
74.44/27.06	c (9,0) opt[135][3] = 0
74.44/27.06	c (9,0) opt[135][4] = 0
74.44/27.06	c (9,0) opt[136][0] = 0
74.44/27.06	c (9,0) opt[136][1] = 0
74.44/27.06	c (9,0) opt[136][2] = 0
74.44/27.06	c (9,0) opt[136][3] = 0
74.44/27.06	c (9,0) opt[136][4] = 1
74.44/27.06	c (9,0) opt[137][0] = 1
74.44/27.06	c (9,0) opt[137][1] = 1
74.44/27.06	c (9,0) opt[137][2] = 0
74.44/27.06	c (9,0) opt[137][3] = 1
74.44/27.06	c (9,0) opt[137][4] = 0
74.44/27.06	c (9,0) opt[138][0] = 0
74.44/27.06	c (9,0) opt[138][1] = 1
74.44/27.06	c (9,0) opt[138][2] = 0
74.44/27.06	c (9,0) opt[138][3] = 0
74.44/27.06	c (9,0) opt[138][4] = 0
74.44/27.06	c (9,0) opt[139][0] = 0
74.44/27.06	c (9,0) opt[139][1] = 0
74.44/27.06	c (9,0) opt[139][2] = 1
74.44/27.06	c (9,0) opt[139][3] = 1
74.44/27.06	c (9,0) opt[139][4] = 0
74.44/27.06	c (9,0) opt[140][0] = 1
74.44/27.06	c (9,0) opt[140][1] = 0
74.44/27.06	c (9,0) opt[140][2] = 0
74.44/27.06	c (9,0) opt[140][3] = 0
74.44/27.06	c (9,0) opt[140][4] = 0
74.44/27.06	c (9,0) opt[141][0] = 0
74.44/27.06	c (9,0) opt[141][1] = 1
74.44/27.06	c (9,0) opt[141][2] = 0
74.44/27.06	c (9,0) opt[141][3] = 0
74.44/27.06	c (9,0) opt[141][4] = 0
74.44/27.06	c (9,0) opt[142][0] = 0
74.44/27.06	c (9,0) opt[142][1] = 0
74.44/27.06	c (9,0) opt[142][2] = 1
74.44/27.06	c (9,0) opt[142][3] = 0
74.44/27.06	c (9,0) opt[142][4] = 0
74.44/27.06	c (9,0) opt[143][0] = 1
74.44/27.06	c (9,0) opt[143][1] = 1
74.44/27.06	c (9,0) opt[143][2] = 0
74.44/27.06	c (9,0) opt[143][3] = 0
74.44/27.06	c (9,0) opt[143][4] = 0
74.44/27.06	c (9,0) opt[144][0] = 0
74.44/27.06	c (9,0) opt[144][1] = 1
74.44/27.06	c (9,0) opt[144][2] = 0
74.44/27.06	c (9,0) opt[144][3] = 0
74.44/27.06	c (9,0) opt[144][4] = 0
74.44/27.06	c (9,0) opt[145][0] = 0
74.44/27.06	c (9,0) opt[145][1] = 0
74.44/27.06	c (9,0) opt[145][2] = 0
74.44/27.06	c (9,0) opt[145][3] = 0
74.44/27.06	c (9,0) opt[145][4] = 1
74.44/27.06	c (9,0) opt[146][0] = 1
74.44/27.06	c (9,0) opt[146][1] = 1
74.44/27.06	c (9,0) opt[146][2] = 1
74.44/27.06	c (9,0) opt[146][3] = 1
74.44/27.06	c (9,0) opt[146][4] = 0
74.44/27.06	c (9,0) opt[147][0] = 0
74.44/27.06	c (9,0) opt[147][1] = 0
74.44/27.06	c (9,0) opt[147][2] = 0
74.44/27.06	c (9,0) opt[147][3] = 1
74.44/27.06	c (9,0) opt[147][4] = 0
74.44/27.06	c (9,0) opt[148][0] = 0
74.44/27.06	c (9,0) opt[148][1] = 1
74.44/27.06	c (9,0) opt[148][2] = 0
74.44/27.06	c (9,0) opt[148][3] = 0
74.44/27.06	c (9,0) opt[148][4] = 0
74.44/27.06	c (9,0) opt[149][0] = 0
74.44/27.06	c (9,0) opt[149][1] = 0
74.44/27.06	c (9,0) opt[149][2] = 1
74.44/27.06	c (9,0) opt[149][3] = 0
74.44/27.06	c (9,0) opt[149][4] = 0
74.44/27.06	c (9,0) opt[150][0] = 0
74.44/27.06	c (9,0) opt[150][1] = 1
74.44/27.06	c (9,0) opt[150][2] = 0
74.44/27.06	c (9,0) opt[150][3] = 0
74.44/27.06	c (9,0) opt[150][4] = 0
74.44/27.06	c (9,0) opt[151][0] = 0
74.44/27.06	c (9,0) opt[151][1] = 1
74.44/27.06	c (9,0) opt[151][2] = 0
74.44/27.06	c (9,0) opt[151][3] = 0
74.44/27.06	c (9,0) opt[151][4] = 0
74.44/27.06	c (9,0) opt[152][0] = 0
74.44/27.06	c (9,0) opt[152][1] = 0
74.44/27.06	c (9,0) opt[152][2] = 1
74.44/27.06	c (9,0) opt[152][3] = 0
74.44/27.06	c (9,0) opt[152][4] = 0
74.44/27.06	c (9,0) opt[153][0] = 0
74.44/27.06	c (9,0) opt[153][1] = 1
74.44/27.06	c (9,0) opt[153][2] = 0
74.44/27.06	c (9,0) opt[153][3] = 0
74.44/27.06	c (9,0) opt[153][4] = 0
74.44/27.06	c (9,0) opt[154][0] = 0
74.44/27.06	c (9,0) opt[154][1] = 1
74.44/27.06	c (9,0) opt[154][2] = 0
74.44/27.06	c (9,0) opt[154][3] = 0
74.44/27.06	c (9,0) opt[154][4] = 0
74.44/27.06	c (9,0) opt[155][0] = 0
74.44/27.06	c (9,0) opt[155][1] = 0
74.44/27.06	c (9,0) opt[155][2] = 1
74.44/27.06	c (9,0) opt[155][3] = 0
74.44/27.06	c (9,0) opt[155][4] = 1
74.44/27.06	c (9,0) opt[156][0] = 1
74.44/27.06	c (9,0) opt[156][1] = 0
74.44/27.06	c (9,0) opt[156][2] = 0
74.44/27.06	c (9,0) opt[156][3] = 0
74.44/27.06	c (9,0) opt[156][4] = 0
74.44/27.06	c (9,0) opt[157][0] = 0
74.44/27.06	c (9,0) opt[157][1] = 1
74.44/27.06	c (9,0) opt[157][2] = 0
74.44/27.06	c (9,0) opt[157][3] = 0
74.44/27.06	c (9,0) opt[157][4] = 0
74.44/27.06	c (9,0) opt[158][0] = 0
74.44/27.06	c (9,0) opt[158][1] = 1
74.44/27.06	c (9,0) opt[158][2] = 0
74.44/27.06	c (9,0) opt[158][3] = 0
74.44/27.06	c (9,0) opt[158][4] = 0
74.44/27.06	c (9,0) opt[159][0] = 1
74.44/27.06	c (9,0) opt[159][1] = 0
74.44/27.06	c (9,0) opt[159][2] = 0
74.44/27.06	c (9,0) opt[159][3] = 0
74.44/27.06	c (9,0) opt[159][4] = 0
74.44/27.06	c (9,0) opt[160][0] = 0
74.44/27.06	c (9,0) opt[160][1] = 1
74.44/27.06	c (9,0) opt[160][2] = 0
74.44/27.06	c (9,0) opt[160][3] = 0
74.44/27.06	c (9,0) opt[160][4] = 0
74.44/27.06	c (9,0) opt[161][0] = 1
74.44/27.06	c (9,0) opt[161][1] = 1
74.44/27.06	c (9,0) opt[161][2] = 1
74.44/27.06	c (9,0) opt[161][3] = 1
74.44/27.06	c (9,0) opt[161][4] = 0
74.44/27.06	c (9,0) opt[162][0] = 0
74.44/27.06	c (9,0) opt[162][1] = 0
74.44/27.06	c (9,0) opt[162][2] = 0
74.44/27.06	c (9,0) opt[162][3] = 0
74.44/27.06	c (9,0) opt[162][4] = 1
74.44/27.06	c (9,0) opt[163][0] = 0
74.44/27.06	c (9,0) opt[163][1] = 1
74.44/27.06	c (9,0) opt[163][2] = 0
74.44/27.06	c (9,0) opt[163][3] = 0
74.44/27.06	c (9,0) opt[163][4] = 0
74.44/27.06	c (9,0) opt[164][0] = 0
74.44/27.06	c (9,0) opt[164][1] = 1
74.44/27.06	c (9,0) opt[164][2] = 0
74.44/27.06	c (9,0) opt[164][3] = 0
74.44/27.06	c (9,0) opt[164][4] = 0
74.44/27.06	c (9,0) opt[165][0] = 0
74.44/27.06	c (9,0) opt[165][1] = 0
74.44/27.06	c (9,0) opt[165][2] = 0
74.44/27.06	c (9,0) opt[165][3] = 1
74.44/27.06	c (9,0) opt[165][4] = 0
74.44/27.06	c (9,0) opt[166][0] = 1
74.44/27.06	c (9,0) opt[166][1] = 1
74.44/27.06	c (9,0) opt[166][2] = 1
74.44/27.06	c (9,0) opt[166][3] = 1
74.44/27.06	c (9,0) opt[166][4] = 0
74.44/27.06	c (9,0) opt[167][0] = 0
74.44/27.06	c (9,0) opt[167][1] = 1
74.44/27.06	c (9,0) opt[167][2] = 0
74.44/27.06	c (9,0) opt[167][3] = 0
74.44/27.06	c (9,0) opt[167][4] = 0
74.44/27.06	c (9,0) opt[168][0] = 1
74.44/27.06	c (9,0) opt[168][1] = 0
74.44/27.06	c (9,0) opt[168][2] = 0
74.44/27.06	c (9,0) opt[168][3] = 0
74.44/27.06	c (9,0) opt[168][4] = 0
74.44/27.06	c (9,0) opt[169][0] = 0
74.44/27.06	c (9,0) opt[169][1] = 1
74.44/27.06	c (9,0) opt[169][2] = 0
74.44/27.06	c (9,0) opt[169][3] = 0
74.44/27.06	c (9,0) opt[169][4] = 0
74.44/27.06	c (9,0) opt[170][0] = 0
74.44/27.06	c (9,0) opt[170][1] = 0
74.44/27.06	c (9,0) opt[170][2] = 1
74.44/27.06	c (9,0) opt[170][3] = 1
74.44/27.06	c (9,0) opt[170][4] = 1
74.44/27.06	c (9,0) opt[171][0] = 0
74.44/27.06	c (9,0) opt[171][1] = 1
74.44/27.06	c (9,0) opt[171][2] = 0
74.44/27.06	c (9,0) opt[171][3] = 0
74.44/27.06	c (9,0) opt[171][4] = 0
74.44/27.06	c (9,0) opt[172][0] = 1
74.44/27.06	c (9,0) opt[172][1] = 1
74.44/27.06	c (9,0) opt[172][2] = 0
74.44/27.06	c (9,0) opt[172][3] = 0
74.44/27.06	c (9,0) opt[172][4] = 0
74.44/27.06	c (9,0) opt[173][0] = 0
74.44/27.06	c (9,0) opt[173][1] = 0
74.44/27.06	c (9,0) opt[173][2] = 1
74.44/27.06	c (9,0) opt[173][3] = 0
74.44/27.06	c (9,0) opt[173][4] = 0
74.44/27.06	c (9,0) opt[174][0] = 0
74.44/27.06	c (9,0) opt[174][1] = 1
74.44/27.06	c (9,0) opt[174][2] = 0
74.44/27.06	c (9,0) opt[174][3] = 1
74.44/27.06	c (9,0) opt[174][4] = 0
74.44/27.06	c (9,0) opt[175][0] = 1
74.44/27.06	c (9,0) opt[175][1] = 1
74.44/27.06	c (9,0) opt[175][2] = 0
74.44/27.06	c (9,0) opt[175][3] = 0
74.44/27.06	c (9,0) opt[175][4] = 0
74.44/27.06	c (9,0) opt[176][0] = 0
74.44/27.06	c (9,0) opt[176][1] = 0
74.44/27.06	c (9,0) opt[176][2] = 1
74.44/27.06	c (9,0) opt[176][3] = 0
74.44/27.06	c (9,0) opt[176][4] = 1
74.44/27.06	c (9,0) opt[177][0] = 0
74.44/27.06	c (9,0) opt[177][1] = 1
74.44/27.06	c (9,0) opt[177][2] = 0
74.44/27.06	c (9,0) opt[177][3] = 0
74.44/27.06	c (9,0) opt[177][4] = 0
74.44/27.06	c (9,0) opt[178][0] = 0
74.44/27.06	c (9,0) opt[178][1] = 1
74.44/27.06	c (9,0) opt[178][2] = 0
74.44/27.06	c (9,0) opt[178][3] = 0
74.44/27.06	c (9,0) opt[178][4] = 0
74.44/27.06	c (9,0) opt[179][0] = 0
74.44/27.06	c (9,0) opt[179][1] = 0
74.44/27.06	c (9,0) opt[179][2] = 1
74.44/27.06	c (9,0) opt[179][3] = 0
74.44/27.06	c (9,0) opt[179][4] = 0
74.44/27.06	c (9,0) opt[180][0] = 0
74.44/27.06	c (9,0) opt[180][1] = 1
74.44/27.06	c (9,0) opt[180][2] = 0
74.44/27.06	c (9,0) opt[180][3] = 0
74.44/27.06	c (9,0) opt[180][4] = 0
74.44/27.06	c (9,0) opt[181][0] = 0
74.44/27.06	c (9,0) opt[181][1] = 1
74.44/27.06	c (9,0) opt[181][2] = 0
74.44/27.06	c (9,0) opt[181][3] = 0
74.44/27.06	c (9,0) opt[181][4] = 0
74.44/27.06	c (9,0) opt[182][0] = 0
74.44/27.06	c (9,0) opt[182][1] = 0
74.44/27.06	c (9,0) opt[182][2] = 1
74.44/27.06	c (9,0) opt[182][3] = 0
74.44/27.06	c (9,0) opt[182][4] = 0
74.44/27.06	c (9,0) opt[183][0] = 0
74.44/27.06	c (9,0) opt[183][1] = 1
74.44/27.06	c (9,0) opt[183][2] = 0
74.44/27.06	c (9,0) opt[183][3] = 0
74.44/27.06	c (9,0) opt[183][4] = 0
74.44/27.06	c (9,0) opt[184][0] = 0
74.44/27.06	c (9,0) opt[184][1] = 1
74.44/27.06	c (9,0) opt[184][2] = 0
74.44/27.06	c (9,0) opt[184][3] = 0
74.44/27.06	c (9,0) opt[184][4] = 0
74.44/27.06	c (9,0) opt[185][0] = 0
74.44/27.06	c (9,0) opt[185][1] = 0
74.44/27.06	c (9,0) opt[185][2] = 1
74.44/27.06	c (9,0) opt[185][3] = 0
74.44/27.06	c (9,0) opt[185][4] = 0
74.44/27.06	c (9,0) opt[186][0] = 0
74.44/27.06	c (9,0) opt[186][1] = 1
74.44/27.06	c (9,0) opt[186][2] = 0
74.44/27.06	c (9,0) opt[186][3] = 0
74.44/27.06	c (9,0) opt[186][4] = 0
74.44/27.06	c (9,0) opt[187][0] = 0
74.44/27.06	c (9,0) opt[187][1] = 1
74.44/27.06	c (9,0) opt[187][2] = 0
74.44/27.06	c (9,0) opt[187][3] = 0
74.44/27.06	c (9,0) opt[187][4] = 0
74.44/27.06	c (9,0) opt[188][0] = 1
74.44/27.06	c (9,0) opt[188][1] = 0
74.44/27.06	c (9,0) opt[188][2] = 1
74.44/27.06	c (9,0) opt[188][3] = 0
74.44/27.06	c (9,0) opt[188][4] = 1
74.44/27.06	c (9,0) opt[189][0] = 0
74.44/27.06	c (9,0) opt[189][1] = 1
74.44/27.06	c (9,0) opt[189][2] = 0
74.44/27.06	c (9,0) opt[189][3] = 0
74.44/27.06	c (9,0) opt[189][4] = 0
74.44/27.06	c (9,0) opt[190][0] = 0
74.44/27.06	c (9,0) opt[190][1] = 1
74.44/27.06	c (9,0) opt[190][2] = 0
74.44/27.06	c (9,0) opt[190][3] = 0
74.44/27.06	c (9,0) opt[190][4] = 0
74.44/27.06	c (9,0) opt[191][0] = 0
74.44/27.06	c (9,0) opt[191][1] = 0
74.44/27.06	c (9,0) opt[191][2] = 1
74.44/27.06	c (9,0) opt[191][3] = 0
74.44/27.06	c (9,0) opt[191][4] = 0
74.44/27.06	c (9,0) opt[192][0] = 0
74.44/27.06	c (9,0) opt[192][1] = 1
74.44/27.06	c (9,0) opt[192][2] = 0
74.44/27.06	c (9,0) opt[192][3] = 0
74.44/27.06	c (9,0) opt[192][4] = 0
74.44/27.06	c (9,0) opt[193][0] = 0
74.44/27.06	c (9,0) opt[193][1] = 1
74.44/27.06	c (9,0) opt[193][2] = 0
74.44/27.06	c (9,0) opt[193][3] = 0
74.44/27.06	c (9,0) opt[193][4] = 0
74.44/27.06	c (9,0) opt[194][0] = 0
74.44/27.06	c (9,0) opt[194][1] = 0
74.44/27.06	c (9,0) opt[194][2] = 1
74.44/27.06	c (9,0) opt[194][3] = 0
74.44/27.06	c (9,0) opt[194][4] = 0
74.44/27.06	c (9,0) opt[195][0] = 0
74.44/27.06	c (9,0) opt[195][1] = 1
74.44/27.06	c (9,0) opt[195][2] = 0
74.44/27.06	c (9,0) opt[195][3] = 0
74.44/27.06	c (9,0) opt[195][4] = 0
74.44/27.06	c (9,0) opt[196][0] = 0
74.44/27.06	c (9,0) opt[196][1] = 1
74.44/27.06	c (9,0) opt[196][2] = 0
74.44/27.06	c (9,0) opt[196][3] = 0
74.44/27.06	c (9,0) opt[196][4] = 0
74.44/27.06	c (9,0) opt[197][0] = 0
74.44/27.06	c (9,0) opt[197][1] = 0
74.44/27.06	c (9,0) opt[197][2] = 0
74.44/27.06	c (9,0) opt[197][3] = 0
74.44/27.06	c (9,0) opt[197][4] = 1
74.44/27.06	c (9,0) opt[198][0] = 1
74.44/27.06	c (9,0) opt[198][1] = 1
74.44/27.06	c (9,0) opt[198][2] = 1
74.44/27.06	c (9,0) opt[198][3] = 0
74.44/27.06	c (9,0) opt[198][4] = 0
74.44/27.06	c (9,0) opt[199][0] = 0
74.44/27.06	c (9,0) opt[199][1] = 1
74.44/27.06	c (9,0) opt[199][2] = 0
74.44/27.06	c (9,0) opt[199][3] = 0
74.44/27.06	c (9,0) opt[199][4] = 0
74.44/27.06	s SATISFIABLE
74.44/27.07	v <instantiation>
74.44/27.07	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>
74.44/27.07	v     <values>1 4 7 1 8 17 1 5 4 1 16 8 12 16 1 18 17 1 20 5 17 1 5 1 1 0 1 5 17 1 1 7 5 1 1 5 1 23 14 4 1 17 1 19 16 1 4 5 1 0 1 13 16 1 17 5 7 1 1 0 16 5 1 7 14 1 17 18 1 17 5 1 15 1 1 5 17 1 2 5 4 1 5 1 17 23 5 10 16 1 1 5 10 1 5 7 10 16 1 5 1 1 5 2 2 5 7 1 1 5 1 3 1 17 16 8 16 1 5 1 1 5 16 1 1 5 1 1 5 1 2 7 1 5 1 1 7 10 1 14 17 1 5 4 1 7 6 16 1 5 1 1 5 1 1 11 17 1 1 17 1 6 7 1 1 16 6 1 17 1 22 1 4 5 2 4 11 1 1 5 1 1 5 1 1 5 1 1 9 1 1 5 1 1 5 1 1 7 21 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 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 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0</values>
74.44/27.07	v </instantiation>
74.44/27.07	c (9,0) Show results End
74.44/27.07	c (9,0) Heap : 284 MiB used (max 3925 MiB), NonHeap : 20 MiB used (max 0 MiB)
74.44/27.07	c (9,0) 9,9,STOP-AFTER(ALL)
74.44/27.07	c END-Prog: Sat Sep 14 05:12:40 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 (12769 MiB free)
  memory of node 1: 16384 MiB (13247 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392690-1568430775/watcher-4392690-1568430775 -o /tmp/evaluation-result-4392690-1568430775/solver-4392690-1568430775 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568427795-29225 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392690-1568430775.xml 

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

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

solver pid=30482, runsolver pid=30479

[startup+0.100158 s]*
/proc/loadavg: 5.06 7.09 7.25 3/212 30504
/proc/meminfo: memFree=26547588/32770624 swapFree=66927260/67108860
[pid=30482] ppid=30479 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30482/stat : 30482 (scop.sh) S 30479 30482 29198 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419324817 115843072 349 33554432000 4194304 5098028 140727572275072 140727572272328 140477874897532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20738048 140727572280100 140727572280428 140727572280428 140727572283341 0
/proc/30482/statm: 28282 349 296 221 0 87 0
[pid=30485] ppid=30482 vsize=27314120 memory=107368 CPUtime=0.1 cores=0-7
/proc/30485/stat : 30485 (java) S 30482 30482 29198 0 -1 1077944320 6401 0 0 0 8 2 0 0 20 0 20 0 419324817 27969658880 26842 33554432000 4194304 4196468 140729939327872 140729939310416 140376927293175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
/proc/30485/statm: 6828530 26842 2801 1 0 6790935 0
[pid=30485/tid=30486] ppid=30482 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30485/task/30486/stat : 30486 (java) R 30482 30482 29198 0 -1 4202560 4501 0 0 0 7 2 0 0 20 0 20 0 419324818 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376899106416 140376906825601 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30487] ppid=30482 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/30485/task/30487/stat : 30487 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376931535376 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30488] ppid=30482 vsize=27314120 memory=140125636507264 CPUtime=0 cores=0-7
/proc/30485/task/30488/stat : 30488 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376714930832 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30489] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30489/stat : 30489 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376713877776 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30490] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30490/stat : 30490 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376712825232 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30491] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30491/stat : 30491 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376346188816 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30492] ppid=30482 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30485/task/30492/stat : 30492 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376345136272 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30493] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30493/stat : 30493 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376344083216 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30494] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30494/stat : 30494 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 26842 33554432000 4194304 4196468 140729939327872 140376343030672 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30495] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30495/stat : 30495 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 26842 33554432000 4194304 4196468 140729939327872 140375448578288 140376927304322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30496] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30496/stat : 30496 (java) S 30482 30482 29198 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 26842 33554432000 4194304 4196468 140729939327872 140374697829536 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30497] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30497/stat : 30497 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 26842 33554432000 4194304 4196468 140729939327872 140374429393648 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30498] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30498/stat : 30498 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 26842 33554432000 4194304 4196468 140729939327872 140374054885328 140376927311771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30499] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30499/stat : 30499 (java) S 30482 30482 29198 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 26842 33554432000 4194304 4196468 140729939327872 140375447526128 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30500] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30500/stat : 30500 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 26842 33554432000 4194304 4196468 140729939327872 140375446473584 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30501] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30501/stat : 30501 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 26842 33554432000 4194304 4196468 140729939327872 140375445420528 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30502] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30502/stat : 30502 (java) S 30482 30482 29198 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 26842 33554432000 4194304 4196468 140729939327872 140375444367984 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30503] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30503/stat : 30503 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 26842 33554432000 4194304 4196468 140729939327872 140373556980192 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30504] ppid=30482 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30485/task/30504/stat : 30504 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324826 27969658880 26842 33554432000 4194304 4196468 140729939327872 140375443315376 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108764 KiB

[startup+0.210395 s]*
/proc/loadavg: 5.06 7.09 7.25 3/212 30504
/proc/meminfo: memFree=26524248/32770624 swapFree=66927260/67108860
[pid=30482] ppid=30479 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30482/stat : 30482 (scop.sh) S 30479 30482 29198 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419324817 115843072 349 33554432000 4194304 5098028 140727572275072 140727572272328 140477874897532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20738048 140727572280100 140727572280428 140727572280428 140727572283341 0
/proc/30482/statm: 28282 349 296 221 0 87 0
[pid=30485] ppid=30482 vsize=27314120 memory=126452 CPUtime=0.24 cores=0-7
/proc/30485/stat : 30485 (java) S 30482 30482 29198 0 -1 1077944320 12013 0 0 0 20 4 0 0 20 0 20 0 419324817 27969658880 31613 33554432000 4194304 4196468 140729939327872 140729939310416 140376927293175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
/proc/30485/statm: 6828530 31613 2936 1 0 6790935 0
[pid=30485/tid=30486] ppid=30482 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30485/task/30486/stat : 30486 (java) R 30482 30482 29198 0 -1 4202560 9733 0 0 0 16 3 0 0 20 0 20 0 419324818 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376899092560 140376907568505 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30487] ppid=30482 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/30485/task/30487/stat : 30487 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376931535376 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30488] ppid=30482 vsize=27314120 memory=3835009321474569888 CPUtime=0 cores=0-7
/proc/30485/task/30488/stat : 30488 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376714930832 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30489] ppid=30482 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30485/task/30489/stat : 30489 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376713877776 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30490] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30490/stat : 30490 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376712825232 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30491] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30491/stat : 30491 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376346188816 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30492] ppid=30482 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30485/task/30492/stat : 30492 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376345136272 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30493] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30493/stat : 30493 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376344083216 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30494] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30494/stat : 30494 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 31613 33554432000 4194304 4196468 140729939327872 140376343030672 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30495] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30495/stat : 30495 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 31613 33554432000 4194304 4196468 140729939327872 140375448578288 140376927304322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30496] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30496/stat : 30496 (java) S 30482 30482 29198 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 31613 33554432000 4194304 4196468 140729939327872 140374697829536 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30497] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30497/stat : 30497 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 31613 33554432000 4194304 4196468 140729939327872 140374429393648 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30498] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30498/stat : 30498 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 31613 33554432000 4194304 4196468 140729939327872 140374054885328 140376927311771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30499] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30499/stat : 30499 (java) S 30482 30482 29198 0 -1 1077944384 328 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 31613 33554432000 4194304 4196468 140729939327872 140375447526128 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30500] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30500/stat : 30500 (java) S 30482 30482 29198 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 31613 33554432000 4194304 4196468 140729939327872 140375446473584 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30501] ppid=30482 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30485/task/30501/stat : 30501 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 31613 33554432000 4194304 4196468 140729939327872 140375445420528 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30502] ppid=30482 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/30485/task/30502/stat : 30502 (java) S 30482 30482 29198 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 419324825 27969658880 31613 33554432000 4194304 4196468 140729939327872 140375444367984 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30503] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30503/stat : 30503 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 31613 33554432000 4194304 4196468 140729939327872 140373556980192 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30504] ppid=30482 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30485/task/30504/stat : 30504 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324826 27969658880 31613 33554432000 4194304 4196468 140729939327872 140375443315376 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127848 KiB

[startup+0.309774 s]*
/proc/loadavg: 5.06 7.09 7.25 2/212 30504
/proc/meminfo: memFree=26521192/32770624 swapFree=66927260/67108860
[pid=30482] ppid=30479 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30482/stat : 30482 (scop.sh) S 30479 30482 29198 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419324817 115843072 349 33554432000 4194304 5098028 140727572275072 140727572272328 140477874897532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20738048 140727572280100 140727572280428 140727572280428 140727572283341 0
/proc/30482/statm: 28282 349 296 221 0 87 0
[pid=30485] ppid=30482 vsize=27314120 memory=129796 CPUtime=0.42 cores=0-7
/proc/30485/stat : 30485 (java) S 30482 30482 29198 0 -1 1077944320 12383 0 0 0 37 5 0 0 20 0 20 0 419324817 27969658880 32449 33554432000 4194304 4196468 140729939327872 140729939310416 140376927293175 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
/proc/30485/statm: 6828530 32449 3015 1 0 6790935 0
[pid=30485/tid=30486] ppid=30482 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/30485/task/30486/stat : 30486 (java) R 30482 30482 29198 0 -1 4202560 9920 0 0 0 26 4 0 0 20 0 20 0 419324818 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376899078160 140376911373662 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30487] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30487/stat : 30487 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376931535376 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30488] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30488/stat : 30488 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376714930832 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30489] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30489/stat : 30489 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376713877776 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30490] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30490/stat : 30490 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376712825232 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30491] ppid=30482 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/30485/task/30491/stat : 30491 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376346188816 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30492] ppid=30482 vsize=27314120 memory=140125522719663 CPUtime=0 cores=0-7
/proc/30485/task/30492/stat : 30492 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376345136272 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30493] ppid=30482 vsize=27314120 memory=140125522721968 CPUtime=0 cores=0-7
/proc/30485/task/30493/stat : 30493 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376344083216 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30494] ppid=30482 vsize=27314120 memory=140125522724272 CPUtime=0 cores=0-7
/proc/30485/task/30494/stat : 30494 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27969658880 32449 33554432000 4194304 4196468 140729939327872 140376343030672 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30495] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30495/stat : 30495 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 32449 33554432000 4194304 4196468 140729939327872 140375448578288 140376927304322 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30496] ppid=30482 vsize=27314120 memory=280251045455504 CPUtime=0 cores=0-7
/proc/30485/task/30496/stat : 30496 (java) S 30482 30482 29198 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 32449 33554432000 4194304 4196468 140729939327872 140374697829536 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30497] ppid=30482 vsize=27314120 memory=280251045462416 CPUtime=0 cores=0-7
/proc/30485/task/30497/stat : 30497 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324822 27969658880 32449 33554432000 4194304 4196468 140729939327872 140374429393648 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30498] ppid=30482 vsize=27314120 memory=280251045403696 CPUtime=0 cores=0-7
/proc/30485/task/30498/stat : 30498 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 32449 33554432000 4194304 4196468 140729939327872 140374054885328 140376927311771 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30499] ppid=30482 vsize=27314120 memory=280251045476240 CPUtime=0.01 cores=0-7
/proc/30485/task/30499/stat : 30499 (java) S 30482 30482 29198 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 20 0 419324825 27969658880 32449 33554432000 4194304 4196468 140729939327872 140375447526128 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30500] ppid=30482 vsize=27314120 memory=280251045483152 CPUtime=0.01 cores=0-7
/proc/30485/task/30500/stat : 30500 (java) R 30482 30482 29198 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 419324825 27969658880 32449 33554432000 4194304 4196468 140729939327872 140375446473584 140376912191528 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30501] ppid=30482 vsize=27314120 memory=280251045480848 CPUtime=0 cores=0-7
/proc/30485/task/30501/stat : 30501 (java) S 30482 30482 29198 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 32449 33554432000 4194304 4196468 140729939327872 140375445420528 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30502] ppid=30482 vsize=27314120 memory=280251045497008 CPUtime=0.07 cores=0-7
/proc/30485/task/30502/stat : 30502 (java) S 30482 30482 29198 0 -1 1077944384 461 0 0 0 7 0 0 0 20 0 20 0 419324825 27969658880 32449 33554432000 4194304 4196468 140729939327872 140375444367984 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30503] ppid=30482 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30503/stat : 30503 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419324825 27969658880 32449 33554432000 4194304 4196468 140729939327872 140373556980192 140376927303381 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30504] ppid=30482 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/30485/task/30504/stat : 30504 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324826 27969658880 32449 33554432000 4194304 4196468 140729939327872 140375443315376 140376927304322 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131192 KiB

[startup+0.70142 s]
/proc/loadavg: 4.66 6.97 7.21 2/212 30504
/proc/meminfo: memFree=26499984/32770624 swapFree=66927260/67108860
[pid=30482] ppid=30479 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/30482/stat : 30482 (scop.sh) S 30479 30482 29198 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419324817 115843072 349 33554432000 4194304 5098028 140727572275072 140727572272328 140477874897532 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 20738048 140727572280100 140727572280428 140727572280428 140727572283341 0
/proc/30482/statm: 28282 349 296 221 0 87 0
[pid=30485] ppid=30482 vsize=27320392 memory=167252 CPUtime=0.99 cores=0-7
/proc/30485/stat : 30485 (java) S 30482 30482 29198 0 -1 1077944320 19919 0 0 0 92 7 0 0 20 0 20 0 419324817 27976081408 41813 33554432000 4194304 4196468 140729939327872 140729939310416 140376927293175 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
/proc/30485/statm: 6830098 41813 3183 1 0 6791447 0
[pid=30485/tid=30486] ppid=30482 vsize=27320392 memory=280251045854896 CPUtime=0.68 cores=0-7
/proc/30485/task/30486/stat : 30486 (java) R 30482 30482 29198 0 -1 4202560 16833 0 0 0 62 6 0 0 20 0 20 0 419324818 27976081408 41813 33554432000 4194304 4196468 140729939327872 140376899130704 140376927305110 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30487] ppid=30482 vsize=27320392 memory=140125522928496 CPUtime=0 cores=0-7
/proc/30485/task/30487/stat : 30487 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419324820 27976081408 41813 33554432000 4194304 4196468 140729939327872 140376931535376 140376927303381 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30488] ppid=30482 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/30485/task/30488/stat : 30488 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27976081408 41813 33554432000 4194304 4196468 140729939327872 140376714930832 140376927303381 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0
[pid=30485/tid=30489] ppid=30482 vsize=27320392 memory=1124 CPUtime=0 cores=0-7
/proc/30485/task/30489/stat : 30489 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419324820 27976081408 41813 33554432000 4194304 4196468 140729939327872 140376713877776 140376927303381 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29483008 140729939329770 140729939330198 140729939330198 140729939333071 0

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

/proc/30507/task/30516/stat : 30516 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 33513 33554432000 4194304 4196468 140733098864656 139958229297808 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30517] ppid=30482 vsize=8414124 memory=1412 CPUtime=0 cores=0-7
/proc/30507/task/30517/stat : 30517 (java) S 30482 30482 29198 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419326537 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957642467824 139958750374530 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30518] ppid=30482 vsize=8414124 memory=2928 CPUtime=0 cores=0-7
/proc/30507/task/30518/stat : 30518 (java) S 30482 30482 29198 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419326538 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957414913440 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30519] ppid=30482 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30507/task/30519/stat : 30519 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326538 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957146478064 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30520] ppid=30482 vsize=8414124 memory=134052 CPUtime=0 cores=0-7
/proc/30507/task/30520/stat : 30520 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326541 8616062976 33513 33554432000 4194304 4196468 140733098864656 139956771969744 139958750381979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30521] ppid=30482 vsize=8414124 memory=274504 CPUtime=0.13 cores=0-7
/proc/30507/task/30521/stat : 30521 (java) S 30482 30482 29198 0 -1 1077944384 762 0 0 0 13 0 0 0 20 0 24 0 419326541 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957641414640 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30522] ppid=30482 vsize=8414124 memory=1396 CPUtime=0.25 cores=0-7
/proc/30507/task/30522/stat : 30522 (java) S 30482 30482 29198 0 -1 1077944384 1047 0 0 0 25 0 0 0 20 0 24 0 419326541 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957640362096 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30523] ppid=30482 vsize=8414124 memory=6025008 CPUtime=0.2 cores=0-7
/proc/30507/task/30523/stat : 30523 (java) S 30482 30482 29198 0 -1 1077944384 615 0 0 0 20 0 0 0 20 0 24 0 419326541 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957639309552 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30524] ppid=30482 vsize=8414124 memory=0 CPUtime=0.24 cores=0-7
/proc/30507/task/30524/stat : 30524 (java) S 30482 30482 29198 0 -1 1077944384 598 0 0 0 24 0 0 0 20 0 24 0 419326541 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957638257008 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30525] ppid=30482 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30507/task/30525/stat : 30525 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419326541 8616062976 33513 33554432000 4194304 4196468 140733098864656 139956274064096 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30526] ppid=30482 vsize=8414124 memory=1396 CPUtime=0 cores=0-7
/proc/30507/task/30526/stat : 30526 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419326541 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957637204912 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30528] ppid=30482 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30507/task/30528/stat : 30528 (java) S 30482 30482 29198 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419326623 8616062976 33513 33554432000 4194304 4196468 140733098864656 139957627074240 139958750387993 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30530] ppid=30482 vsize=8414124 memory=149537876347024 CPUtime=0 cores=0-7
/proc/30507/task/30530/stat : 30530 (java) S 30482 30482 29198 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419326624 8616062976 33513 33554432000 4194304 4196468 140733098864656 139955602963760 139958750385309 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30531] ppid=30482 vsize=8414124 memory=2028 CPUtime=0 cores=0-7
/proc/30507/task/30531/stat : 30531 (java) S 30482 30482 29198 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419326624 8616062976 33513 33554432000 4194304 4196468 140733098864656 139955871399344 139958750385309 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30532] ppid=30482 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/30507/task/30532/stat : 30532 (java) S 30482 30482 29198 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419326626 8616062976 33513 33554432000 4194304 4196468 140733098864656 139955334536368 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
Current children cumulated CPU time: 69.6 s
Current children cumulated vsize: 11131908 KiB
Current children cumulated memory: 2290388 KiB

[startup+26.6012 s]
/proc/loadavg: 3.94 6.61 7.08 7/223 30540
/proc/meminfo: memFree=24310648/32770624 swapFree=66927260/67108860
[pid=30482] ppid=30479 vsize=113128 memory=1476 CPUtime=32.05 cores=0-7
/proc/30482/stat : 30482 (scop.sh) S 30479 30482 29198 0 -1 4202496 582 43555 0 0 0 0 3065 140 20 0 1 0 419324817 115843072 369 33554432000 4194304 5098028 140727572275072 140727572271816 140477874897532 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20738048 140727572280100 140727572280428 140727572280428 140727572283341 0
/proc/30482/statm: 28282 369 311 221 0 87 0
[pid=30507] ppid=30482 vsize=8414124 memory=154432 CPUtime=1.98 cores=0-7
/proc/30507/stat : 30507 (java) S 30482 30482 29198 0 -1 1077944320 21943 0 0 0 182 16 0 0 20 0 24 0 419326534 8616062976 38608 33554432000 4194304 4196468 140733098864656 140733098847200 139958750363383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
/proc/30507/statm: 2103531 38608 3222 1 0 2064875 0
[pid=30527] ppid=30507 vsize=2572888 memory=2161820 CPUtime=39.62 cores=0-7
/proc/30527/stat : 30527 (manyglucose-4.1) R 30507 30482 29198 0 -1 4202496 701397 0 0 0 3792 170 0 0 20 0 1 0 419326623 2634637312 540455 33554432000 4194304 4454172 140723174653808 140723174650528 140574135315581 0 4 0 8388610 0 0 0 17 3 0 0 0 0 0 6552832 6554400 11091968 140723174654825 140723174655024 140723174655024 140723174657978 0
/proc/30527/statm: 643222 540455 422 64 0 638890 0
[pid=30507/tid=30508] ppid=30482 vsize=8414124 memory=5938088890271883604 CPUtime=0.92 cores=0-7
/proc/30507/task/30508/stat : 30508 (java) S 30482 30482 29198 0 -1 1077944384 16999 0 0 0 80 12 0 0 20 0 24 0 419326535 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958722203552 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30509] ppid=30482 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/30507/task/30509/stat : 30509 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958754605840 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30510] ppid=30482 vsize=8414124 memory=7378983553979662436 CPUtime=0 cores=0-7
/proc/30507/task/30510/stat : 30510 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958560369552 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30511] ppid=30482 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/30507/task/30511/stat : 30511 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958559317008 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30512] ppid=30482 vsize=8414124 memory=134052 CPUtime=0 cores=0-7
/proc/30507/task/30512/stat : 30512 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958558264464 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30513] ppid=30482 vsize=8414124 memory=2157128 CPUtime=0 cores=0-7
/proc/30507/task/30513/stat : 30513 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958557210896 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30514] ppid=30482 vsize=8414124 memory=7686721470350924435 CPUtime=0 cores=0-7
/proc/30507/task/30514/stat : 30514 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958231402896 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30515] ppid=30482 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/30507/task/30515/stat : 30515 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958230350352 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30516] ppid=30482 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/30507/task/30516/stat : 30516 (java) S 30482 30482 29198 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419326536 8616062976 38608 33554432000 4194304 4196468 140733098864656 139958229297808 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30517] ppid=30482 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/30507/task/30517/stat : 30517 (java) S 30482 30482 29198 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419326537 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957642467824 139958750374530 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30518] ppid=30482 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/30507/task/30518/stat : 30518 (java) S 30482 30482 29198 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419326538 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957414913440 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30519] ppid=30482 vsize=8414124 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/30507/task/30519/stat : 30519 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326538 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957146478064 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30520] ppid=30482 vsize=8414124 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/30507/task/30520/stat : 30520 (java) S 30482 30482 29198 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419326541 8616062976 38608 33554432000 4194304 4196468 140733098864656 139956771969744 139958750381979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30521] ppid=30482 vsize=8414124 memory=6655300316396806240 CPUtime=0.16 cores=0-7
/proc/30507/task/30521/stat : 30521 (java) S 30482 30482 29198 0 -1 1077944384 776 0 0 0 16 0 0 0 20 0 24 0 419326541 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957641414640 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30522] ppid=30482 vsize=8414124 memory=-3039135443232236825 CPUtime=0.28 cores=0-7
/proc/30507/task/30522/stat : 30522 (java) S 30482 30482 29198 0 -1 1077944384 1061 0 0 0 28 0 0 0 20 0 24 0 419326541 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957640362096 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30523] ppid=30482 vsize=8414124 memory=-3775572685057999774 CPUtime=0.22 cores=0-7
/proc/30507/task/30523/stat : 30523 (java) S 30482 30482 29198 0 -1 1077944384 624 0 0 0 22 0 0 0 20 0 24 0 419326541 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957639309552 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30524] ppid=30482 vsize=8414124 memory=-2247047206207641111 CPUtime=0.28 cores=0-7
/proc/30507/task/30524/stat : 30524 (java) S 30482 30482 29198 0 -1 1077944384 1064 0 0 0 28 0 0 0 20 0 24 0 419326541 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957638257008 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30525] ppid=30482 vsize=8414124 memory=280251045392504 CPUtime=0 cores=0-7
/proc/30507/task/30525/stat : 30525 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419326541 8616062976 38608 33554432000 4194304 4196468 140733098864656 139956274064096 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30526] ppid=30482 vsize=8414124 memory=280251045540368 CPUtime=0 cores=0-7
/proc/30507/task/30526/stat : 30526 (java) S 30482 30482 29198 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419326541 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957637204912 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30528] ppid=30482 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/30507/task/30528/stat : 30528 (java) S 30482 30482 29198 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419326623 8616062976 38608 33554432000 4194304 4196468 140733098864656 139957627074240 139958750387993 0 4 2 25189581 18446744071579417331 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30530] ppid=30482 vsize=8414124 memory=4420 CPUtime=0.07 cores=0-7
/proc/30507/task/30530/stat : 30530 (java) S 30482 30482 29198 0 -1 4202560 25 0 0 0 6 1 0 0 20 0 24 0 419326624 8616062976 38608 33554432000 4194304 4196468 140733098864656 139955602963712 139958750385309 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30531] ppid=30482 vsize=8414124 memory=6628 CPUtime=0 cores=0-7
/proc/30507/task/30531/stat : 30531 (java) S 30482 30482 29198 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419326624 8616062976 38608 33554432000 4194304 4196468 140733098864656 139955871399344 139958750385309 0 4 2 25189581 18446744071580971376 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30532] ppid=30482 vsize=8414124 memory=8836 CPUtime=0 cores=0-7
/proc/30507/task/30532/stat : 30532 (java) S 30482 30482 29198 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419326626 8616062976 38608 33554432000 4194304 4196468 140733098864656 139955334536368 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
Current children cumulated CPU time: 73.65 s
Current children cumulated vsize: 11100140 KiB
Current children cumulated memory: 2317728 KiB

[startup+27.0052 s]
/proc/loadavg: 3.94 6.61 7.08 7/223 30540
/proc/meminfo: memFree=24310648/32770624 swapFree=66927260/67108860
[pid=30482] ppid=30479 vsize=113128 memory=1476 CPUtime=32.05 cores=0-7
/proc/30482/stat : 30482 (scop.sh) S 30479 30482 29198 0 -1 4202496 582 43555 0 0 0 0 3065 140 20 0 1 0 419324817 115843072 369 33554432000 4194304 5098028 140727572275072 140727572271816 140477874897532 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20738048 140727572280100 140727572280428 140727572280428 140727572283341 0
/proc/30482/statm: 28282 369 311 221 0 87 0
[pid=30507] ppid=30482 vsize=8283048 memory=287924 CPUtime=42.39 cores=0-7
/proc/30507/stat : 30507 (java) S 30482 30482 29198 0 -1 1077944320 22657 701403 0 0 249 19 3794 177 20 0 22 0 419326534 8481841152 71981 33554432000 4194304 4196468 140733098864656 140733098847200 139958750363383 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
/proc/30507/statm: 2070762 71981 3230 1 0 2032106 0
[pid=30507/tid=30508] ppid=30482 vsize=8283048 memory=1476 CPUtime=40.78 cores=0-7
/proc/30507/task/30508/stat : 30508 (java) R 30482 30482 29198 0 -1 4202560 17231 701403 0 0 95 12 3794 177 20 0 22 0 419326535 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958722199352 139958750375318 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30509] ppid=30482 vsize=8283048 memory=134052 CPUtime=39.71 cores=0-7
/proc/30507/task/30509/stat : 30509 (java) S 30482 30482 29198 0 -1 1077944384 1 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958754605840 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30510] ppid=30482 vsize=8283048 memory=6791534058613427641 CPUtime=39.71 cores=0-7
/proc/30507/task/30510/stat : 30510 (java) S 30482 30482 29198 0 -1 1077944384 1 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958560369552 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30511] ppid=30482 vsize=8283048 memory=4209606270453585524 CPUtime=39.71 cores=0-7
/proc/30507/task/30511/stat : 30511 (java) S 30482 30482 29198 0 -1 1077944384 3 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958559317008 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30512] ppid=30482 vsize=8283048 memory=0 CPUtime=39.71 cores=0-7
/proc/30507/task/30512/stat : 30512 (java) S 30482 30482 29198 0 -1 1077944384 1 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958558264464 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30513] ppid=30482 vsize=8283048 memory=0 CPUtime=39.71 cores=0-7
/proc/30507/task/30513/stat : 30513 (java) S 30482 30482 29198 0 -1 1077944384 2 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958557210896 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30514] ppid=30482 vsize=8283048 memory=6944656592455360608 CPUtime=39.71 cores=0-7
/proc/30507/task/30514/stat : 30514 (java) S 30482 30482 29198 0 -1 1077944384 2 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958231402896 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30515] ppid=30482 vsize=8283048 memory=0 CPUtime=39.71 cores=0-7
/proc/30507/task/30515/stat : 30515 (java) S 30482 30482 29198 0 -1 1077944384 1 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958230350352 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30516] ppid=30482 vsize=8283048 memory=0 CPUtime=39.71 cores=0-7
/proc/30507/task/30516/stat : 30516 (java) S 30482 30482 29198 0 -1 1077944384 2 701403 0 0 0 0 3794 177 20 0 22 0 419326536 8481841152 71981 33554432000 4194304 4196468 140733098864656 139958229297808 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30517] ppid=30482 vsize=8283048 memory=0 CPUtime=39.71 cores=0-7
/proc/30507/task/30517/stat : 30517 (java) S 30482 30482 29198 0 -1 1077944384 7 701403 0 0 0 0 3794 177 20 0 22 0 419326537 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957642467824 139958750374530 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30518] ppid=30482 vsize=8283048 memory=1656 CPUtime=39.71 cores=0-7
/proc/30507/task/30518/stat : 30518 (java) S 30482 30482 29198 0 -1 1077944384 13 701403 0 0 0 0 3794 177 20 0 22 0 419326538 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957414913440 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30519] ppid=30482 vsize=8283048 memory=14004 CPUtime=39.71 cores=0-7
/proc/30507/task/30519/stat : 30519 (java) S 30482 30482 29198 0 -1 1077944384 1 701403 0 0 0 0 3794 177 20 0 22 0 419326538 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957146478064 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30520] ppid=30482 vsize=8283048 memory=1153 CPUtime=39.71 cores=0-7
/proc/30507/task/30520/stat : 30520 (java) S 30482 30482 29198 0 -1 1077944384 1 701403 0 0 0 0 3794 177 20 0 22 0 419326541 8481841152 71981 33554432000 4194304 4196468 140733098864656 139956771969744 139958750381979 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30521] ppid=30482 vsize=8283048 memory=6944652177228980320 CPUtime=39.93 cores=0-7
/proc/30507/task/30521/stat : 30521 (java) R 30482 30482 29198 0 -1 4202560 799 701403 0 0 22 0 3794 177 20 0 22 0 419326541 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957641414640 139958750384730 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30522] ppid=30482 vsize=8283048 memory=6656426216303648864 CPUtime=40.04 cores=0-7
/proc/30507/task/30522/stat : 30522 (java) R 30482 30482 29198 0 -1 4202560 1085 701403 0 0 33 0 3794 177 20 0 22 0 419326541 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957640346400 139958750384730 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30523] ppid=30482 vsize=8283048 memory=6655300316396806240 CPUtime=39.99 cores=0-7
/proc/30507/task/30523/stat : 30523 (java) R 30482 30482 29198 0 -1 4202560 648 701403 0 0 28 0 3794 177 20 0 22 0 419326541 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957639309552 139958750384730 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30524] ppid=30482 vsize=8283048 memory=6944656592387989600 CPUtime=40.11 cores=0-7
/proc/30507/task/30524/stat : 30524 (java) S 30482 30482 29198 0 -1 1077944384 1366 701403 0 0 40 0 3794 177 20 0 22 0 419326541 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957638257008 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30525] ppid=30482 vsize=8283048 memory=6940698281606406720 CPUtime=39.71 cores=0-7
/proc/30507/task/30525/stat : 30525 (java) S 30482 30482 29198 0 -1 1077944384 3 701403 0 0 0 0 3794 177 20 0 22 0 419326541 8481841152 71981 33554432000 4194304 4196468 140733098864656 139956274064096 139958750373589 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30526] ppid=30482 vsize=8283048 memory=7162531440177276259 CPUtime=39.71 cores=0-7
/proc/30507/task/30526/stat : 30526 (java) S 30482 30482 29198 0 -1 1077944384 3 701403 0 0 0 0 3794 177 20 0 22 0 419326541 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957637204912 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30528] ppid=30482 vsize=8283048 memory=0 CPUtime=39.71 cores=0-7
/proc/30507/task/30528/stat : 30528 (java) S 30482 30482 29198 0 -1 1077944384 24 701403 0 0 0 0 3794 177 20 0 22 0 419326623 8481841152 71981 33554432000 4194304 4196468 140733098864656 139957627073424 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
[pid=30507/tid=30532] ppid=30482 vsize=8283048 memory=288230574492221466 CPUtime=39.71 cores=0-7
/proc/30507/task/30532/stat : 30532 (java) S 30482 30482 29198 0 -1 1077944384 11 701403 0 0 0 0 3794 177 20 0 22 0 419326626 8481841152 71981 33554432000 4194304 4196468 140733098864656 139955334538160 139958750374530 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12558336 140733098865655 140733098865814 140733098865814 140733098868687 0
Current children cumulated CPU time: 74.44 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 289400 KiB

[startup+27.101 s]
/proc/loadavg: 3.94 6.61 7.08 7/223 30540
/proc/meminfo: memFree=24310648/32770624 swapFree=66927260/67108860
[pid=30482] ppid=30479 vsize=113128 memory=1476 CPUtime=32.05 cores=0-7
/proc/30482/stat : 30482 (scop.sh) S 30479 30482 29198 0 -1 4202496 582 43555 0 0 0 0 3065 140 20 0 1 0 419324817 115843072 369 33554432000 4194304 5098028 140727572275072 140727572271816 140477874897532 0 65536 4100 81923 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20738048 140727572280100 140727572280428 140727572280428 140727572283341 0
/proc/30482/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 32.05 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 27.1055
CPU time (s): 74.8235
CPU user time (s): 71.4129
CPU system time (s): 3.41057
CPU usage (%): 276.045
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6027632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.4129
system time used= 3.41057
maximum resident set size= 6026920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 771888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 90816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73881
involuntary context switches= 322


# summary of solver processes directly reported to runsolver:
#   pid: 30482
#   total CPU time (s): 74.8235
#   total CPU user time (s): 71.4129
#   total CPU system time (s): 3.41057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.218488 second user time and 0.354919 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 05:12:12
IDJOB=4392690
IDBENCH=128073
IDSOLVER=2839
FILE ID=node137/4392690-1568430775
RUNJOBID= node137-1568427795-29225
PBS_JOBID= 21702299
Free space on /tmp= 61428 MiB

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

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

MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318
RANDOM SEED=562953010

node137.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	: 5334.00
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	: 5334.00
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	: 5334.00
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	: 5334.00
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:        26641440 kB
MemAvailable:   31803656 kB
Buffers:          189832 kB
Cached:          5238512 kB
SwapCached:        77548 kB
Active:          1421320 kB
Inactive:        4087972 kB
Active(anon):       5048 kB
Inactive(anon):   117612 kB
Active(file):    1416272 kB
Inactive(file):  3970360 kB
Unevictable:      108700 kB
Mlocked:          108700 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             21060 kB
Writeback:             0 kB
AnonPages:        174752 kB
Mapped:            44888 kB
Shmem:             32772 kB
Slab:             212652 kB
SReclaimable:     182836 kB
SUnreclaim:        29816 kB
KernelStack:        3728 kB
PageTables:         5748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 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= 61408 MiB
End job on node137 at 2019-09-14 05:12:40