Trace number 4405540

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-70-05.xml
MD5SUMd843be5d5ecd152a475a61904cced3da
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark31.7231
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1412
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree85
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":3}, {"degree":85,"count":37}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":38,"count":1},{"arity":40,"count":1},{"arity":42,"count":1},{"arity":44,"count":1},{"arity":46,"count":1},{"arity":48,"count":1},{"arity":50,"count":2},{"arity":52,"count":1},{"arity":54,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":58,"count":1},{"arity":60,"count":3},{"arity":62,"count":1},{"arity":64,"count":1},{"arity":65,"count":2},{"arity":66,"count":1},{"arity":68,"count":1},{"arity":70,"count":3},{"arity":72,"count":1},{"arity":74,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1211},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-16096-serial-file.bin HOME/instance-4405540-1569338275.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Tue Sep 24 17:17:16 CEST 2019
0.66/0.56	c PID: 16099
0.66/0.56	c IP: 172.20.3.123
0.66/0.56	c HOST: node123.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.61/1.40	c (0,0) Parsing End
3.61/1.42	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1412 ctr, max domain size 24
3.61/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.61/1.42	c (0,0) Constraint Name Generate Begin
3.61/1.44	c (0,0) Ctr:HOME/instance-4405540-1569338275.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.61/1.44	c (0,0) Constraint Name Generate End
3.61/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.61/1.44	c (0,0) CSP to CSPinCNF Begin
12.08/4.79	c (4,4) translated 142 (10%) constraints
12.86/5.40	c (4,4) translated 283 (20%) constraints
13.06/5.42	c (4,4) translated 424 (30%) constraints
13.06/5.44	c (4,4) translated 565 (40%) constraints
13.06/5.47	c (4,4) translated 706 (50%) constraints
13.06/5.49	c (4,4) translated 848 (60%) constraints
13.46/5.50	c (4,4) translated 989 (70%) constraints
13.46/5.52	c (4,4) translated 1130 (80%) constraints
16.09/7.27	c (6,6) translated 1271 (90%) constraints
17.59/8.76	c (8,8) translated 1412 (100%) constraints
17.59/8.76	c (8,8) ===========================================
17.71/8.81	c (8,8) Hybrid: #OE=10800, #LE=5800
17.71/8.81	c (8,8) Hybrid
17.71/8.81	c (8,8) ===========================================
19.14/9.45	c (8,8) translated 5744 (10%) constraints
19.74/9.71	c (9,9) translated 11487 (20%) constraints
20.01/9.85	c (9,9) translated 17231 (30%) constraints
20.10/9.97	c (9,9) translated 22974 (40%) constraints
20.22/10.11	c (9,9) translated 28718 (50%) constraints
20.41/10.24	c (9,9) translated 34461 (60%) constraints
20.51/10.37	c (9,9) translated 40205 (70%) constraints
20.60/10.50	c (9,9) translated 45948 (80%) constraints
20.81/10.63	c (10,10) translated 51692 (90%) constraints
22.38/11.84	c (11,11) translated 57435 (100%) constraints
22.38/11.84	c (11,11) CSP to CSPinCNF End
22.38/11.85	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 67059 ctr, max domain size 24
22.38/11.85	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.38/11.85	c (11,11) CSPinCNF Propagation Begin
23.67/12.52	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
23.67/12.52	c (11,11) CSPinCNF Propagation End
23.67/12.52	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66659 ctr, max domain size 24
23.67/12.52	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
23.67/12.57	c (12,12) Hybrid: #OE=15600, #LE=5800
23.67/12.57	c (12,12) Simplify CSPinCNF Begin
24.16/12.77	c (12,12) Simplify CSPinCNF End
24.16/12.77	c (12,12) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66659 ctr, max domain size 24
24.16/12.77	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.16/12.77	c (12,12) Calculate Precise Domain Begin
24.16/12.77	c (12,12) 0 values are removed by re-calculation
24.16/12.77	c (12,12) Calculate Precise Domain End
24.16/12.78	c (12,12) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66659 ctr, max domain size 24
24.16/12.78	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
24.16/12.78	c (12,12) CSPinCNF to SatSolver Begin
26.77/13.71	c (13,13) 6666 (10 %) CSP clauses are encoded (0 SAT variables, 227713 SAT clauses)
27.16/13.86	c (13,13) 13332 (20 %) CSP clauses are encoded (0 SAT variables, 234379 SAT clauses)
27.51/13.95	c (13,13) 19998 (30 %) CSP clauses are encoded (0 SAT variables, 241045 SAT clauses)
27.88/14.05	c (13,13) 26664 (40 %) CSP clauses are encoded (0 SAT variables, 247711 SAT clauses)
28.07/14.13	c (13,13) 33330 (50 %) CSP clauses are encoded (0 SAT variables, 254377 SAT clauses)
28.15/14.20	c (13,13) 39996 (60 %) CSP clauses are encoded (0 SAT variables, 261043 SAT clauses)
28.15/14.28	c (13,13) 46662 (70 %) CSP clauses are encoded (0 SAT variables, 267709 SAT clauses)
28.26/14.36	c (13,13) 53328 (80 %) CSP clauses are encoded (0 SAT variables, 274375 SAT clauses)
28.36/14.43	c (13,13) 59994 (90 %) CSP clauses are encoded (0 SAT variables, 281041 SAT clauses)
33.57/18.46	c (17,17) 66659 (100 %) CSP clauses are encoded (0 SAT variables, 2576090 SAT clauses)
33.57/18.46	c (17,17) CSPinCNF to SatSolver End
33.57/18.46	c (17,17) Heap : 3869 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
33.57/18.46	c (17,17) 878478 bool, 2576091 clause
33.57/18.46	c (17,17) Export Begin
34.00/18.67	c (18,17) Export to HOME/scop-16096-serial-file.bin
34.00/18.67	c (18,17) Export End
34.00/18.67	c (18,17) Export File Size: 0.47 MB
34.00/18.67	c (18,17) 0,0,11,11,12,12,17,STOP-AFTER(DIMACS)
34.00/18.67	c END-Prog: Tue Sep 24 17:17:34 CEST 2019
0.00/18.72	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16096-serial-file.bin
34.76/19.18	c (0,0) Read Serial File Begin
34.76/19.18	c (0,0) HOME/scop-16096-serial-file.bin
35.50/19.53	c (0,0) Read Serial File End
35.50/19.55	
35.50/19.55	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
35.50/19.55	(Solving Process)
35.50/19.55	
35.50/19.57	c BEGIN-Prog: Tue Sep 24 17:17:35 CEST 2019
35.50/19.57	c PID: 16120
35.50/19.57	c IP: 172.20.3.123
35.50/19.57	c HOST: node123.alineos.net
35.50/19.57	c (0,0) SatSolver.solve Begin
35.50/19.57	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405540-1569338275.xml-scop-16099.cnf
35.83/19.60	c (0,0) c
35.83/19.60	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
35.83/19.60	c (0,0) c
35.83/19.60	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
35.83/19.60	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
35.83/19.60	c (0,0) c ========================================[ Problem Statistics ]===========================================
35.83/19.60	c (0,0) c |                                                                                                       |
37.11/20.72	c (1,0) c |  Number of variables:        878478                                                                   |
37.11/20.72	c (1,0) c |  Number of clauses:         2575239                                                                   |
37.11/20.72	c (1,0) c |  Parse time:                   1.00 s                                                                 |
37.11/20.72	c (1,0) c |                                                                                                       |
38.91/22.50	c (3,0) c |  Simplification time:          1.73 s                                                                 |
38.91/22.50	c (3,0) c |                                                                                                       |
38.91/22.50	c (3,0) c |  Generating clones                                                                                    |
40.00/23.67	c (4,0) c |  all clones generated. Memory =  2245.46Mb.                                                           |
40.00/23.67	c (4,0) c ========================================================================================================|
40.00/23.67	c (4,0) c
40.00/23.67	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
40.00/23.67	c (4,0) c
40.00/23.67	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.00/23.67	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
40.00/23.67	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
40.00/23.67	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
40.00/23.67	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
40.00/23.67	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
40.00/23.67	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
40.00/23.67	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
40.00/23.67	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
40.00/23.67	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
40.00/23.67	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
40.00/23.67	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
40.00/23.67	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
40.00/23.67	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
40.00/23.67	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
40.00/23.67	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
40.00/23.67	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
40.00/23.67	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
40.00/23.67	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.15	c (24,0) c
181.17/43.15	c (24,0) c real time : 23.5578 s
181.17/43.15	c (24,0) c cpu time  : 142.172 s
181.17/43.15	c (24,0) c
181.17/43.15	c (24,0) c
181.17/43.15	c (24,0) c
181.17/43.15	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
181.17/43.15	c (24,0) c
181.17/43.15	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.15	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
181.17/43.15	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.15	c (24,0) c | Conflicts     |          220674 |      30998 |      36586 |      57801 |      28182 |      27460 |      13831 |      13324 |      12492 |
181.17/43.15	c (24,0) c | Decisions     |         7519070 |    1100586 |    1197137 |    1061030 |     477716 |     652944 |    1046317 |    1070648 |     912692 |
181.17/43.15	c (24,0) c | Propagations  |       492487237 |   53327811 |   62988951 |   63958122 |   61928066 |   65013456 |   62220600 |   62759333 |   60290898 |
181.17/43.15	c (24,0) c | ReduceDBs     |              30 |          4 |          5 |          6 |          4 |          4 |          3 |          2 |          2 |
181.17/43.15	c (24,0) c | SimpDBs       |              46 |          5 |          6 |          5 |          7 |          5 |          7 |          6 |          5 |
181.17/43.15	c (24,0) c | Restarts      |             486 |         15 |         89 |        120 |         67 |         52 |         57 |         57 |         29 |
181.17/43.15	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.17/43.15	c (24,0) c | PropBinClauses|        81541301 |    6363321 |   13154974 |   14716567 |   11903179 |   11181056 |    9271064 |    8200587 |    6750553 |
181.17/43.15	c (24,0) c | PropPreBlocker|      1274628578 |  155075506 |  154929753 |  151995138 |  157261818 |  164182702 |  156559929 |  162127372 |  172496360 |
181.17/43.15	c (24,0) c | PropNotBlocker|       567395240 |   64409314 |   71967973 |   73398846 |   70240878 |   73561067 |   70961902 |   72510491 |   70344769 |
181.17/43.15	c (24,0) c | LitFullScans  |      2892513864 |  364030095 |  360200362 |  360105798 |  360306368 |  360128156 |  360135388 |  361976707 |  365630990 |
181.17/43.15	c (24,0) c | LitScanFracts |         1132744 |     141757 |     177588 |      98272 |     295075 |      96021 |     112586 |     106632 |     104813 |
181.17/43.15	c (24,0) c | DecisionLevel0|             507 |         16 |         90 |        121 |         69 |         53 |         66 |         60 |         32 |
181.17/43.15	c (24,0) c | Periods       |             480 |         60 |         60 |         60 |         60 |         60 |         60 |         60 |         60 |
181.17/43.15	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
181.17/43.15	c (24,0) c | Avg_Trail     |                 |      69004 |      36551 |      30460 |      48449 |      47635 |      60606 |      71389 |      71618 |
181.17/43.15	c (24,0) c | Avg_DL        |                 |       3038 |        336 |        307 |        365 |        427 |        631 |       1051 |        476 |
181.17/43.15	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.17/43.15	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.17/43.15	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.16	c (24,0) c | Exported      |           52704 |      11136 |       8210 |      12982 |       6262 |       6871 |       2575 |       1908 |       2760 |
181.17/43.16	c (24,0) c | Imported      |          178793 |      22032 |      20182 |      17861 |      21610 |      23355 |      23265 |      24336 |      26152 |
181.17/43.16	c (24,0) c | Good          |           16811 |       2317 |       1885 |       1741 |       2108 |       2123 |       2183 |       2073 |       2381 |
181.17/43.16	c (24,0) c | Purge         |          161982 |      19715 |      18297 |      16120 |      19502 |      21232 |      21082 |      22263 |      23771 |
181.17/43.16	c (24,0) c | Promoted      |             206 |          7 |         75 |         12 |          5 |          1 |         11 |          5 |         90 |
181.17/43.16	c (24,0) c | Remove_Imp    |           13243 |          0 |          0 |          0 |          0 |          0 |      13243 |          0 |          0 |
181.17/43.16	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
181.17/43.16	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.16	c (24,0) c | Unaries       |                 |          1 |          1 |          1 |          2 |          1 |          9 |          3 |          3 |
181.17/43.16	c (24,0) c | Binaries      |                 |        372 |        642 |        864 |        492 |        481 |        325 |        394 |        170 |
181.17/43.16	c (24,0) c | Glues         |                 |       1246 |       1444 |       2733 |       1253 |        941 |        573 |        728 |        351 |
181.17/43.16	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.16	c (24,0) c | Orig_Seen     |             3 % |      62713 |      79888 |      82121 |      70635 |      90634 |      98587 |     104666 |      58892 |
181.17/43.16	c (24,0) c | Diff Orig seen|                 | -    41953 | -    24778 | -    22545 | -    34031 | -    14032 | -     6079 |      X     | -    45774 |
181.17/43.16	c (24,0) c | Hamming       |            21 % |     189967 |     185060 |     164509 |     207850 |     188567 |     201015 |      X     |     196797 |
181.17/43.16	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.16	c (24,0) c | RunningTime   |                 |   19.2 100%|   19.4 100%|   17.9 100%|   17.9 100%|   18.2 100%|   17.4 100%|   17.1 100%|   17.1 100%|
181.17/43.16	c (24,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%|
181.17/43.16	c (24,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%|
181.17/43.16	c (24,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%|
181.17/43.16	c (24,0) c | SolvingTime   |                 |   19.2     |   19.4     |   17.9     |   18.0     |   18.2     |   17.4     |   17.1     |   17.1     |
181.17/43.16	c (24,0) c | PropagationTim|                 |   16.7  87%|   17.0  87%|   15.3  86%|   15.7  87%|   15.7  86%|   15.1  87%|   14.9  87%|   14.9  87%|
181.17/43.16	c (24,0) c | AnalysisTime  |                 |    1.1   6%|    0.7   3%|    0.8   5%|    0.6   3%|    0.7   4%|    0.5   3%|    0.5   3%|    0.7   4%|
181.17/43.16	c (24,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%|
181.17/43.16	c (24,0) c | SimplifyTime  |                 |    0.2   1%|    0.3   1%|    0.2   1%|    0.3   2%|    0.2   1%|    0.3   2%|    0.3   2%|    0.2   1%|
181.17/43.16	c (24,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%|
181.17/43.16	c (24,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%|
181.17/43.16	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.16	c (24,0) c
181.17/43.16	c (24,0) c
181.17/43.16	c (24,0) c Threads : 8
181.17/43.16	c (24,0) c Winner : 6
181.17/43.16	c (24,0) c Conflicts_0 : 30998
181.17/43.16	c (24,0) c Conflicts_1 : 36586
181.17/43.16	c (24,0) c Conflicts_2 : 57801
181.17/43.16	c (24,0) c Conflicts_3 : 28182
181.17/43.16	c (24,0) c Conflicts_4 : 27460
181.17/43.16	c (24,0) c Conflicts_5 : 13831
181.17/43.16	c (24,0) c Conflicts_6 : 13324
181.17/43.16	c (24,0) c Conflicts_7 : 12492
181.17/43.16	c (24,0) c Conflicts_total : 220674
181.17/43.16	c (24,0) c Conflicts_winner : 13324
181.17/43.16	c (24,0) c Decisions_0 : 1100586
181.17/43.16	c (24,0) c Decisions_1 : 1197137
181.17/43.16	c (24,0) c Decisions_2 : 1061030
181.17/43.16	c (24,0) c Decisions_3 : 477716
181.17/43.16	c (24,0) c Decisions_4 : 652944
181.17/43.16	c (24,0) c Decisions_5 : 1046317
181.17/43.16	c (24,0) c Decisions_6 : 1070648
181.17/43.16	c (24,0) c Decisions_7 : 912692
181.17/43.16	c (24,0) c Decisions_total : 7519070
181.17/43.16	c (24,0) c Decisions_winner : 1070648
181.17/43.16	c (24,0) c Propagations_0 : 53327811
181.17/43.16	c (24,0) c Propagations_1 : 62988951
181.17/43.16	c (24,0) c Propagations_2 : 63958122
181.17/43.16	c (24,0) c Propagations_3 : 61928066
181.17/43.16	c (24,0) c Propagations_4 : 65013456
181.17/43.16	c (24,0) c Propagations_5 : 62220600
181.17/43.16	c (24,0) c Propagations_6 : 62759333
181.17/43.16	c (24,0) c Propagations_7 : 60290898
181.17/43.16	c (24,0) c Propagations_total : 492487237
181.17/43.16	c (24,0) c Propagations_winner : 62759333
181.17/43.16	c (24,0) c ReduceDBs_0 : 4
181.17/43.16	c (24,0) c ReduceDBs_1 : 5
181.17/43.16	c (24,0) c ReduceDBs_2 : 6
181.17/43.16	c (24,0) c ReduceDBs_3 : 4
181.17/43.16	c (24,0) c ReduceDBs_4 : 4
181.17/43.16	c (24,0) c ReduceDBs_5 : 3
181.17/43.16	c (24,0) c ReduceDBs_6 : 2
181.17/43.16	c (24,0) c ReduceDBs_7 : 2
181.17/43.16	c (24,0) c ReduceDBs_total : 30
181.17/43.16	c (24,0) c ReduceDBs_winner : 2
181.17/43.16	c (24,0) c SimpDBs_0 : 5
181.17/43.16	c (24,0) c SimpDBs_1 : 6
181.17/43.16	c (24,0) c SimpDBs_2 : 5
181.17/43.16	c (24,0) c SimpDBs_3 : 7
181.17/43.16	c (24,0) c SimpDBs_4 : 5
181.17/43.16	c (24,0) c SimpDBs_5 : 7
181.17/43.16	c (24,0) c SimpDBs_6 : 6
181.17/43.16	c (24,0) c SimpDBs_7 : 5
181.17/43.16	c (24,0) c SimpDBs_total : 46
181.17/43.16	c (24,0) c SimpDBs_winner : 6
181.17/43.16	c (24,0) c Restarts_0 : 15
181.17/43.16	c (24,0) c Restarts_1 : 89
181.17/43.16	c (24,0) c Restarts_2 : 120
181.17/43.16	c (24,0) c Restarts_3 : 67
181.17/43.16	c (24,0) c Restarts_4 : 52
181.17/43.16	c (24,0) c Restarts_5 : 57
181.17/43.16	c (24,0) c Restarts_6 : 57
181.17/43.16	c (24,0) c Restarts_7 : 29
181.17/43.16	c (24,0) c Restarts_total : 486
181.17/43.16	c (24,0) c Restarts_winner : 57
181.17/43.16	c (24,0) c ForcedImports_0 : 0
181.17/43.16	c (24,0) c ForcedImports_1 : 0
181.17/43.16	c (24,0) c ForcedImports_2 : 0
181.17/43.16	c (24,0) c ForcedImports_3 : 0
181.17/43.16	c (24,0) c ForcedImports_4 : 0
181.17/43.16	c (24,0) c ForcedImports_5 : 0
181.17/43.16	c (24,0) c ForcedImports_6 : 0
181.17/43.16	c (24,0) c ForcedImports_7 : 0
181.17/43.16	c (24,0) c ForcedImports_total : 0
181.17/43.16	c (24,0) c ForcedImports_winner : 0
181.17/43.16	c (24,0) c PropsBinClauses_0 : 6363321
181.17/43.16	c (24,0) c PropsBinClauses_1 : 13154974
181.17/43.16	c (24,0) c PropsBinClauses_2 : 14716567
181.17/43.16	c (24,0) c PropsBinClauses_3 : 11903179
181.17/43.16	c (24,0) c PropsBinClauses_4 : 11181056
181.17/43.16	c (24,0) c PropsBinClauses_5 : 9271064
181.17/43.16	c (24,0) c PropsBinClauses_6 : 8200587
181.17/43.16	c (24,0) c PropsBinClauses_7 : 6750553
181.17/43.16	c (24,0) c PropsBinClauses_total : 81541301
181.17/43.16	c (24,0) c PropsBinClauses_winner : 8200587
181.17/43.16	c (24,0) c PropsPreBlocker_0 : 155075506
181.17/43.16	c (24,0) c PropsPreBlocker_1 : 154929753
181.17/43.16	c (24,0) c PropsPreBlocker_2 : 151995138
181.17/43.16	c (24,0) c PropsPreBlocker_3 : 157261818
181.17/43.16	c (24,0) c PropsPreBlocker_4 : 164182702
181.17/43.16	c (24,0) c PropsPreBlocker_5 : 156559929
181.17/43.16	c (24,0) c PropsPreBlocker_6 : 162127372
181.17/43.16	c (24,0) c PropsPreBlocker_7 : 172496360
181.17/43.16	c (24,0) c PropsPreBlocker_total : 1274628578
181.17/43.16	c (24,0) c PropsPreBlocker_winner : 162127372
181.17/43.16	c (24,0) c PropsNotBlocker_0 : 64409314
181.17/43.16	c (24,0) c PropsNotBlocker_1 : 71967973
181.17/43.16	c (24,0) c PropsNotBlocker_2 : 73398846
181.17/43.16	c (24,0) c PropsNotBlocker_3 : 70240878
181.17/43.16	c (24,0) c PropsNotBlocker_4 : 73561067
181.17/43.16	c (24,0) c PropsNotBlocker_5 : 70961902
181.17/43.16	c (24,0) c PropsNotBlocker_6 : 72510491
181.17/43.16	c (24,0) c PropsNotBlocker_7 : 70344769
181.17/43.16	c (24,0) c PropsNotBlocker_total : 567395240
181.17/43.16	c (24,0) c PropsNotBlocker_winner : 72510491
181.17/43.16	c (24,0) c PropsLitFullScans_0 : 364030095
181.17/43.16	c (24,0) c PropsLitFullScans_1 : 360200362
181.17/43.16	c (24,0) c PropsLitFullScans_2 : 360105798
181.17/43.16	c (24,0) c PropsLitFullScans_3 : 360306368
181.17/43.16	c (24,0) c PropsLitFullScans_4 : 360128156
181.17/43.16	c (24,0) c PropsLitFullScans_5 : 360135388
181.17/43.16	c (24,0) c PropsLitFullScans_6 : 361976707
181.17/43.16	c (24,0) c PropsLitFullScans_7 : 365630990
181.17/43.16	c (24,0) c PropsLitFullScans_total : 2892513864
181.17/43.16	c (24,0) c PropsLitFullScans_winner : 361976707
181.17/43.16	c (24,0) c LitScanFractions_0 : 141757
181.17/43.16	c (24,0) c LitScanFractions_1 : 177588
181.17/43.16	c (24,0) c LitScanFractions_2 : 98272
181.17/43.16	c (24,0) c LitScanFractions_3 : 295075
181.17/43.16	c (24,0) c LitScanFractions_4 : 96021
181.17/43.16	c (24,0) c LitScanFractions_5 : 112586
181.17/43.16	c (24,0) c LitScanFractions_6 : 106632
181.17/43.16	c (24,0) c LitScanFractions_7 : 104813
181.17/43.16	c (24,0) c LitScanFractions_total : 1132744
181.17/43.16	c (24,0) c LitScanFractions_winner : 106632
181.17/43.16	c (24,0) c DecisionLevel0_0 : 16
181.17/43.16	c (24,0) c DecisionLevel0_1 : 90
181.17/43.16	c (24,0) c DecisionLevel0_2 : 121
181.17/43.16	c (24,0) c DecisionLevel0_3 : 69
181.17/43.16	c (24,0) c DecisionLevel0_4 : 53
181.17/43.16	c (24,0) c DecisionLevel0_5 : 66
181.17/43.16	c (24,0) c DecisionLevel0_6 : 60
181.17/43.16	c (24,0) c DecisionLevel0_7 : 32
181.17/43.16	c (24,0) c DecisionLevel0_total : 507
181.17/43.16	c (24,0) c DecisionLevel0_winner : 60
181.17/43.16	c (24,0) c Periods_0 : 60
181.17/43.16	c (24,0) c Periods_1 : 60
181.17/43.16	c (24,0) c Periods_2 : 60
181.17/43.16	c (24,0) c Periods_3 : 60
181.17/43.16	c (24,0) c Periods_4 : 60
181.17/43.16	c (24,0) c Periods_5 : 60
181.17/43.16	c (24,0) c Periods_6 : 60
181.17/43.16	c (24,0) c Periods_7 : 60
181.17/43.16	c (24,0) c Periods_total : 480
181.17/43.16	c (24,0) c Periods_winner : 60
181.17/43.16	c (24,0) c Margin_0 : 20
181.17/43.16	c (24,0) c Margin_1 : 20
181.17/43.16	c (24,0) c Margin_2 : 20
181.17/43.16	c (24,0) c Margin_3 : 20
181.17/43.16	c (24,0) c Margin_4 : 20
181.17/43.16	c (24,0) c Margin_5 : 20
181.17/43.16	c (24,0) c Margin_6 : 20
181.17/43.16	c (24,0) c Margin_7 : 20
181.17/43.16	c (24,0) c Margin_total : 160
181.17/43.16	c (24,0) c Margin_winner : 20
181.17/43.16	c (24,0) c Exported_0 : 11136
181.17/43.16	c (24,0) c Exported_1 : 8210
181.17/43.16	c (24,0) c Exported_2 : 12982
181.17/43.16	c (24,0) c Exported_3 : 6262
181.17/43.16	c (24,0) c Exported_4 : 6871
181.17/43.16	c (24,0) c Exported_5 : 2575
181.17/43.16	c (24,0) c Exported_6 : 1908
181.17/43.16	c (24,0) c Exported_7 : 2760
181.17/43.16	c (24,0) c Exported_total : 52704
181.17/43.16	c (24,0) c Exported_winner : 1908
181.17/43.16	c (24,0) c Imported_0 : 22032
181.17/43.16	c (24,0) c Imported_1 : 20182
181.17/43.16	c (24,0) c Imported_2 : 17861
181.17/43.16	c (24,0) c Imported_3 : 21610
181.17/43.16	c (24,0) c Imported_4 : 23355
181.17/43.16	c (24,0) c Imported_5 : 23265
181.17/43.16	c (24,0) c Imported_6 : 24336
181.17/43.16	c (24,0) c Imported_7 : 26152
181.17/43.16	c (24,0) c Imported_total : 178793
181.17/43.16	c (24,0) c Imported_winner : 24336
181.17/43.16	c (24,0) c Good_0 : 2317
181.17/43.16	c (24,0) c Good_1 : 1885
181.17/43.16	c (24,0) c Good_2 : 1741
181.17/43.16	c (24,0) c Good_3 : 2108
181.17/43.16	c (24,0) c Good_4 : 2123
181.17/43.16	c (24,0) c Good_5 : 2183
181.17/43.16	c (24,0) c Good_6 : 2073
181.17/43.16	c (24,0) c Good_7 : 2381
181.17/43.16	c (24,0) c Good_total : 16811
181.17/43.16	c (24,0) c Good_winner : 2073
181.17/43.16	c (24,0) c Purge_0 : 19715
181.17/43.16	c (24,0) c Purge_1 : 18297
181.17/43.16	c (24,0) c Purge_2 : 16120
181.17/43.16	c (24,0) c Purge_3 : 19502
181.17/43.16	c (24,0) c Purge_4 : 21232
181.17/43.16	c (24,0) c Purge_5 : 21082
181.17/43.16	c (24,0) c Purge_6 : 22263
181.17/43.16	c (24,0) c Purge_7 : 23771
181.17/43.16	c (24,0) c Purge_total : 161982
181.17/43.16	c (24,0) c Purge_winner : 22263
181.17/43.16	c (24,0) c Promoted_0 : 7
181.17/43.16	c (24,0) c Promoted_1 : 75
181.17/43.16	c (24,0) c Promoted_2 : 12
181.17/43.16	c (24,0) c Promoted_3 : 5
181.17/43.16	c (24,0) c Promoted_4 : 1
181.17/43.17	c (24,0) c Promoted_5 : 11
181.17/43.17	c (24,0) c Promoted_6 : 5
181.17/43.17	c (24,0) c Promoted_7 : 90
181.17/43.17	c (24,0) c Promoted_total : 206
181.17/43.17	c (24,0) c Promoted_winner : 5
181.17/43.17	c (24,0) c Remove_Imp_0 : 0
181.17/43.17	c (24,0) c Remove_Imp_1 : 0
181.17/43.17	c (24,0) c Remove_Imp_2 : 0
181.17/43.17	c (24,0) c Remove_Imp_3 : 0
181.17/43.17	c (24,0) c Remove_Imp_4 : 0
181.17/43.17	c (24,0) c Remove_Imp_5 : 13243
181.17/43.17	c (24,0) c Remove_Imp_6 : 0
181.17/43.17	c (24,0) c Remove_Imp_7 : 0
181.17/43.17	c (24,0) c Remove_Imp_total : 13243
181.17/43.17	c (24,0) c Remove_Imp_winner : 0
181.17/43.17	c (24,0) c Blocked_Reuse_0 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_1 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_2 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_3 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_4 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_5 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_6 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_7 : 0
181.17/43.17	c (24,0) c Blocked_Reuse_total : 0
181.17/43.17	c (24,0) c Blocked_Reuse_winner : 0
181.17/43.17	c (24,0) c Unaries_0 : 1
181.17/43.17	c (24,0) c Unaries_1 : 1
181.17/43.17	c (24,0) c Unaries_2 : 1
181.17/43.17	c (24,0) c Unaries_3 : 2
181.17/43.17	c (24,0) c Unaries_4 : 1
181.17/43.17	c (24,0) c Unaries_5 : 9
181.17/43.17	c (24,0) c Unaries_6 : 3
181.17/43.17	c (24,0) c Unaries_7 : 3
181.17/43.17	c (24,0) c Unaries_total : 21
181.17/43.17	c (24,0) c Unaries_winner : 3
181.17/43.17	c (24,0) c Binaries_0 : 372
181.17/43.17	c (24,0) c Binaries_1 : 642
181.17/43.17	c (24,0) c Binaries_2 : 864
181.17/43.17	c (24,0) c Binaries_3 : 492
181.17/43.17	c (24,0) c Binaries_4 : 481
181.17/43.17	c (24,0) c Binaries_5 : 325
181.17/43.17	c (24,0) c Binaries_6 : 394
181.17/43.17	c (24,0) c Binaries_7 : 170
181.17/43.17	c (24,0) c Binaries_total : 3740
181.17/43.17	c (24,0) c Binaries_winner : 394
181.17/43.17	c (24,0) c Glues_0 : 1246
181.17/43.17	c (24,0) c Glues_1 : 1444
181.17/43.17	c (24,0) c Glues_2 : 2733
181.17/43.17	c (24,0) c Glues_3 : 1253
181.17/43.17	c (24,0) c Glues_4 : 941
181.17/43.17	c (24,0) c Glues_5 : 573
181.17/43.17	c (24,0) c Glues_6 : 728
181.17/43.17	c (24,0) c Glues_7 : 351
181.17/43.17	c (24,0) c Glues_total : 9269
181.17/43.17	c (24,0) c Glues_winner : 728
181.17/43.17	c (24,0) c RunningTime_0 : 19.210258
181.17/43.17	c (24,0) c RunningTime_1 : 19.425155
181.17/43.17	c (24,0) c RunningTime_2 : 17.907819
181.17/43.17	c (24,0) c RunningTime_3 : 17.945024
181.17/43.17	c (24,0) c RunningTime_4 : 18.200146
181.17/43.17	c (24,0) c RunningTime_5 : 17.372926
181.17/43.17	c (24,0) c RunningTime_6 : 17.118371
181.17/43.17	c (24,0) c RunningTime_7 : 17.117571
181.17/43.17	c (24,0) c RunningTime_total : 144.297270
181.17/43.17	c (24,0) c RunningTime_winner : 17.118371
181.17/43.17	c (24,0) c WaitingTime_0 : 0.000078
181.17/43.17	c (24,0) c WaitingTime_1 : 0.000086
181.17/43.17	c (24,0) c WaitingTime_2 : 0.000106
181.17/43.17	c (24,0) c WaitingTime_3 : 0.000085
181.17/43.17	c (24,0) c WaitingTime_4 : 0.000093
181.17/43.17	c (24,0) c WaitingTime_5 : 0.000091
181.17/43.17	c (24,0) c WaitingTime_6 : 0.000089
181.17/43.17	c (24,0) c WaitingTime_7 : 0.000151
181.17/43.17	c (24,0) c WaitingTime_total : 0.000779
181.17/43.17	c (24,0) c WaitingTime_winner : 0.000089
181.17/43.17	c (24,0) c ExchangingTime_0 : 0.014008
181.17/43.17	c (24,0) c ExchangingTime_1 : 0.014313
181.17/43.17	c (24,0) c ExchangingTime_2 : 0.014802
181.17/43.17	c (24,0) c ExchangingTime_3 : 0.014168
181.17/43.17	c (24,0) c ExchangingTime_4 : 0.013026
181.17/43.17	c (24,0) c ExchangingTime_5 : 0.013673
181.17/43.17	c (24,0) c ExchangingTime_6 : 0.013986
181.17/43.17	c (24,0) c ExchangingTime_7 : 0.017357
181.17/43.17	c (24,0) c ExchangingTime_total : 0.115332
181.17/43.17	c (24,0) c ExchangingTime_winner : 0.013986
181.17/43.17	c (24,0) c PeriodProcTime_0 : 0.001000
181.17/43.17	c (24,0) c PeriodProcTime_1 : 0.000619
181.17/43.17	c (24,0) c PeriodProcTime_2 : 0.000634
181.17/43.17	c (24,0) c PeriodProcTime_3 : 0.000659
181.17/43.17	c (24,0) c PeriodProcTime_4 : 0.000662
181.17/43.17	c (24,0) c PeriodProcTime_5 : 0.000695
181.17/43.17	c (24,0) c PeriodProcTime_6 : 0.000852
181.17/43.17	c (24,0) c PeriodProcTime_7 : 0.000699
181.17/43.17	c (24,0) c PeriodProcTime_total : 0.005820
181.17/43.17	c (24,0) c PeriodProcTime_winner : 0.000852
181.17/43.17	c (24,0) c SolvingTime_0 : 19.225343
181.17/43.17	c (24,0) c SolvingTime_1 : 19.440173
181.17/43.17	c (24,0) c SolvingTime_2 : 17.923361
181.17/43.17	c (24,0) c SolvingTime_3 : 17.959936
181.17/43.17	c (24,0) c SolvingTime_4 : 18.213928
181.17/43.17	c (24,0) c SolvingTime_5 : 17.387384
181.17/43.17	c (24,0) c SolvingTime_6 : 17.133298
181.17/43.17	c (24,0) c SolvingTime_7 : 17.135778
181.17/43.17	c (24,0) c SolvingTime_total : 144.419201
181.17/43.17	c (24,0) c SolvingTime_winner : 17.133298
181.17/43.17	c (24,0) c PropagationTime_0 : 16.674201
181.17/43.17	c (24,0) c PropagationTime_1 : 16.980948
181.17/43.17	c (24,0) c PropagationTime_2 : 15.333749
181.17/43.17	c (24,0) c PropagationTime_3 : 15.672125
181.17/43.17	c (24,0) c PropagationTime_4 : 15.730586
181.17/43.17	c (24,0) c PropagationTime_5 : 15.144867
181.17/43.17	c (24,0) c PropagationTime_6 : 14.854010
181.17/43.17	c (24,0) c PropagationTime_7 : 14.915784
181.17/43.17	c (24,0) c PropagationTime_total : 125.306270
181.17/43.17	c (24,0) c PropagationTime_winner : 14.854010
181.17/43.17	c (24,0) c AnalysisTime_0 : 1.064883
181.17/43.17	c (24,0) c AnalysisTime_1 : 0.660747
181.17/43.17	c (24,0) c AnalysisTime_2 : 0.844700
181.17/43.17	c (24,0) c AnalysisTime_3 : 0.624301
181.17/43.17	c (24,0) c AnalysisTime_4 : 0.683570
181.17/43.17	c (24,0) c AnalysisTime_5 : 0.484060
181.17/43.17	c (24,0) c AnalysisTime_6 : 0.538065
181.17/43.17	c (24,0) c AnalysisTime_7 : 0.687497
181.17/43.17	c (24,0) c AnalysisTime_total : 5.587822
181.17/43.17	c (24,0) c AnalysisTime_winner : 0.538065
181.17/43.17	c (24,0) c ReductionTime_0 : 0.008027
181.17/43.17	c (24,0) c ReductionTime_1 : 0.010313
181.17/43.17	c (24,0) c ReductionTime_2 : 0.016953
181.17/43.17	c (24,0) c ReductionTime_3 : 0.007565
181.17/43.17	c (24,0) c ReductionTime_4 : 0.007075
181.17/43.17	c (24,0) c ReductionTime_5 : 0.008731
181.17/43.17	c (24,0) c ReductionTime_6 : 0.001555
181.17/43.17	c (24,0) c ReductionTime_7 : 0.001864
181.17/43.17	c (24,0) c ReductionTime_total : 0.062084
181.17/43.17	c (24,0) c ReductionTime_winner : 0.001555
181.17/43.17	c (24,0) c SimplifyTime_0 : 0.228038
181.17/43.17	c (24,0) c SimplifyTime_1 : 0.255662
181.17/43.17	c (24,0) c SimplifyTime_2 : 0.209407
181.17/43.17	c (24,0) c SimplifyTime_3 : 0.314296
181.17/43.17	c (24,0) c SimplifyTime_4 : 0.209566
181.17/43.17	c (24,0) c SimplifyTime_5 : 0.318943
181.17/43.17	c (24,0) c SimplifyTime_6 : 0.269308
181.17/43.17	c (24,0) c SimplifyTime_7 : 0.213726
181.17/43.17	c (24,0) c SimplifyTime_total : 2.018946
181.17/43.17	c (24,0) c SimplifyTime_winner : 0.269308
181.17/43.17	c (24,0) c UsedRateTime_0 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_1 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_2 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_3 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_4 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_5 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_6 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_7 : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_total : 0.000000
181.17/43.17	c (24,0) c UsedRateTime_winner : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_0 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_1 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_2 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_3 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_4 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_5 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_6 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_7 : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_total : 0.000000
181.17/43.17	c (24,0) c OverlapRateTime_winner : 0.000000
181.17/43.17	c (24,0) c
181.17/43.17	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
181.17/43.17	c (24,0) c
181.17/43.17	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.17	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
181.17/43.17	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.17	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
181.17/43.17	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
181.17/43.17	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
181.17/43.17	c (24,0) c | Initial random_seed   |  117310689 |  531452621 | 1155972902 |  478895318 | 1969563917 | 1137686367 | 1152049186 | 1514361280 |
181.17/43.17	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
181.17/43.17	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
181.17/43.17	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
181.17/43.17	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
181.17/43.17	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
181.17/43.17	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
181.17/43.17	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
181.17/43.17	c (24,0) c | var_decay             |     0.8600 |     0.8700 |     0.9100 |     0.8500 |     0.8500 |     0.8200 |     0.8200 |     0.8200 |
181.17/43.17	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
181.17/43.17	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
181.17/43.17	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
181.17/43.17	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
181.17/43.17	c (24,0) 
181.17/43.17	c (24,0) s SATISFIABLE
182.09/43.62	c (24,0) SatSolver.solve End
182.09/43.62	c (24,0) Heap : 301 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
182.09/43.62	c (24,0) Show results Begin
182.49/43.83	c (24,0) cls[0] = 9
182.49/43.83	c (24,0) cls[1] = 2
182.49/43.83	c (24,0) cls[2] = 14
182.49/43.83	c (24,0) cls[3] = 11
182.49/43.83	c (24,0) cls[4] = 6
182.49/43.83	c (24,0) cls[5] = 3
182.49/43.83	c (24,0) cls[6] = 18
182.49/43.83	c (24,0) cls[7] = 2
182.49/43.83	c (24,0) cls[8] = 20
182.49/43.83	c (24,0) cls[9] = 2
182.49/43.83	c (24,0) cls[10] = 6
182.49/43.83	c (24,0) cls[11] = 4
182.49/43.83	c (24,0) cls[12] = 23
182.49/43.83	c (24,0) cls[13] = 2
182.49/43.83	c (24,0) cls[14] = 20
182.49/43.83	c (24,0) cls[15] = 6
182.49/43.83	c (24,0) cls[16] = 2
182.49/43.83	c (24,0) cls[17] = 14
182.49/43.83	c (24,0) cls[18] = 6
182.49/43.83	c (24,0) cls[19] = 11
182.49/43.83	c (24,0) cls[20] = 18
182.49/43.83	c (24,0) cls[21] = 3
182.49/43.83	c (24,0) cls[22] = 14
182.49/43.83	c (24,0) cls[23] = 11
182.49/43.83	c (24,0) cls[24] = 18
182.49/43.83	c (24,0) cls[25] = 17
182.49/43.83	c (24,0) cls[26] = 2
182.49/43.83	c (24,0) cls[27] = 6
182.49/43.83	c (24,0) cls[28] = 13
182.49/43.83	c (24,0) cls[29] = 2
182.49/43.83	c (24,0) cls[30] = 18
182.49/43.83	c (24,0) cls[31] = 20
182.49/43.83	c (24,0) cls[32] = 2
182.49/43.83	c (24,0) cls[33] = 14
182.49/43.83	c (24,0) cls[34] = 19
182.49/43.83	c (24,0) cls[35] = 2
182.49/43.83	c (24,0) cls[36] = 6
182.49/43.83	c (24,0) cls[37] = 17
182.49/43.83	c (24,0) cls[38] = 2
182.49/43.83	c (24,0) cls[39] = 21
182.49/43.83	c (24,0) cls[40] = 2
182.49/43.83	c (24,0) cls[41] = 18
182.49/43.83	c (24,0) cls[42] = 2
182.49/43.83	c (24,0) cls[43] = 19
182.49/43.83	c (24,0) cls[44] = 22
182.49/43.83	c (24,0) cls[45] = 17
182.49/43.83	c (24,0) cls[46] = 6
182.49/43.83	c (24,0) cls[47] = 2
182.49/43.83	c (24,0) cls[48] = 19
182.49/43.83	c (24,0) cls[49] = 3
182.49/43.83	c (24,0) cls[50] = 17
182.49/43.83	c (24,0) cls[51] = 7
182.49/43.83	c (24,0) cls[52] = 3
182.49/43.83	c (24,0) cls[53] = 6
182.49/43.83	c (24,0) cls[54] = 11
182.49/43.83	c (24,0) cls[55] = 17
182.49/43.83	c (24,0) cls[56] = 2
182.49/43.83	c (24,0) cls[57] = 17
182.49/43.83	c (24,0) cls[58] = 5
182.49/43.83	c (24,0) cls[59] = 1
182.49/43.83	c (24,0) cls[60] = 17
182.49/43.83	c (24,0) cls[61] = 15
182.49/43.83	c (24,0) cls[62] = 20
182.49/43.83	c (24,0) cls[63] = 16
182.49/43.83	c (24,0) cls[64] = 17
182.49/43.83	c (24,0) cls[65] = 11
182.49/43.83	c (24,0) cls[66] = 18
182.49/43.83	c (24,0) cls[67] = 23
182.49/43.83	c (24,0) cls[68] = 11
182.49/43.83	c (24,0) cls[69] = 17
182.49/43.83	c (24,0) cls[70] = 6
182.49/43.83	c (24,0) cls[71] = 11
182.49/43.83	c (24,0) cls[72] = 14
182.49/43.83	c (24,0) cls[73] = 3
182.49/43.83	c (24,0) cls[74] = 19
182.49/43.83	c (24,0) cls[75] = 2
182.49/43.83	c (24,0) cls[76] = 6
182.49/43.83	c (24,0) cls[77] = 2
182.49/43.83	c (24,0) cls[78] = 17
182.49/43.83	c (24,0) cls[79] = 20
182.49/43.83	c (24,0) cls[80] = 2
182.49/43.83	c (24,0) cls[81] = 14
182.49/43.83	c (24,0) cls[82] = 9
182.49/43.83	c (24,0) cls[83] = 2
182.49/43.83	c (24,0) cls[84] = 17
182.49/43.83	c (24,0) cls[85] = 6
182.49/43.84	c (24,0) cls[86] = 14
182.49/43.84	c (24,0) cls[87] = 17
182.49/43.84	c (24,0) cls[88] = 16
182.49/43.84	c (24,0) cls[89] = 20
182.49/43.84	c (24,0) cls[90] = 17
182.49/43.84	c (24,0) cls[91] = 3
182.49/43.84	c (24,0) cls[92] = 6
182.49/43.84	c (24,0) cls[93] = 18
182.49/43.84	c (24,0) cls[94] = 22
182.49/43.84	c (24,0) cls[95] = 20
182.49/43.84	c (24,0) cls[96] = 2
182.49/43.84	c (24,0) cls[97] = 6
182.49/43.84	c (24,0) cls[98] = 8
182.49/43.84	c (24,0) cls[99] = 14
182.49/43.84	c (24,0) cls[100] = 16
182.49/43.84	c (24,0) cls[101] = 17
182.49/43.84	c (24,0) cls[102] = 2
182.49/43.84	c (24,0) cls[103] = 17
182.49/43.84	c (24,0) cls[104] = 6
182.49/43.84	c (24,0) cls[105] = 3
182.49/43.84	c (24,0) cls[106] = 17
182.49/43.84	c (24,0) cls[107] = 14
182.49/43.84	c (24,0) cls[108] = 12
182.49/43.84	c (24,0) cls[109] = 17
182.49/43.84	c (24,0) cls[110] = 6
182.49/43.84	c (24,0) cls[111] = 2
182.49/43.84	c (24,0) cls[112] = 17
182.49/43.84	c (24,0) cls[113] = 13
182.49/43.84	c (24,0) cls[114] = 18
182.49/43.84	c (24,0) cls[115] = 18
182.49/43.84	c (24,0) cls[116] = 2
182.49/43.84	c (24,0) cls[117] = 17
182.49/43.84	c (24,0) cls[118] = 14
182.49/43.84	c (24,0) cls[119] = 2
182.49/43.84	c (24,0) cls[120] = 6
182.49/43.84	c (24,0) cls[121] = 2
182.49/43.84	c (24,0) cls[122] = 6
182.49/43.84	c (24,0) cls[123] = 17
182.49/43.84	c (24,0) cls[124] = 11
182.49/43.84	c (24,0) cls[125] = 17
182.49/43.84	c (24,0) cls[126] = 10
182.49/43.84	c (24,0) cls[127] = 20
182.49/43.84	c (24,0) cls[128] = 17
182.49/43.84	c (24,0) cls[129] = 2
182.49/43.84	c (24,0) cls[130] = 18
182.49/43.84	c (24,0) cls[131] = 17
182.49/43.84	c (24,0) cls[132] = 5
182.49/43.84	c (24,0) cls[133] = 20
182.49/43.84	c (24,0) cls[134] = 18
182.49/43.84	c (24,0) cls[135] = 2
182.49/43.84	c (24,0) cls[136] = 17
182.49/43.84	c (24,0) cls[137] = 2
182.49/43.84	c (24,0) cls[138] = 23
182.49/43.84	c (24,0) cls[139] = 4
182.49/43.84	c (24,0) cls[140] = 6
182.49/43.84	c (24,0) cls[141] = 2
182.49/43.84	c (24,0) cls[142] = 20
182.49/43.84	c (24,0) cls[143] = 2
182.49/43.84	c (24,0) cls[144] = 6
182.49/43.84	c (24,0) cls[145] = 14
182.49/43.84	c (24,0) cls[146] = 4
182.49/43.84	c (24,0) cls[147] = 17
182.49/43.84	c (24,0) cls[148] = 17
182.49/43.84	c (24,0) cls[149] = 2
182.49/43.84	c (24,0) cls[150] = 17
182.49/43.84	c (24,0) cls[151] = 6
182.49/43.84	c (24,0) cls[152] = 22
182.49/43.84	c (24,0) cls[153] = 17
182.49/43.84	c (24,0) cls[154] = 15
182.49/43.84	c (24,0) cls[155] = 20
182.49/43.84	c (24,0) cls[156] = 16
182.49/43.84	c (24,0) cls[157] = 14
182.49/43.84	c (24,0) cls[158] = 17
182.49/43.84	c (24,0) cls[159] = 11
182.49/43.84	c (24,0) cls[160] = 17
182.49/43.84	c (24,0) cls[161] = 6
182.49/43.84	c (24,0) cls[162] = 3
182.49/43.84	c (24,0) cls[163] = 6
182.49/43.84	c (24,0) cls[164] = 20
182.49/43.84	c (24,0) cls[165] = 2
182.49/43.84	c (24,0) cls[166] = 0
182.49/43.84	c (24,0) cls[167] = 2
182.49/43.84	c (24,0) cls[168] = 17
182.49/43.84	c (24,0) cls[169] = 2
182.49/43.84	c (24,0) cls[170] = 17
182.49/43.84	c (24,0) cls[171] = 5
182.49/43.84	c (24,0) cls[172] = 6
182.49/43.84	c (24,0) cls[173] = 4
182.49/43.84	c (24,0) cls[174] = 17
182.49/43.84	c (24,0) cls[175] = 2
182.49/43.84	c (24,0) cls[176] = 17
182.49/43.84	c (24,0) cls[177] = 2
182.49/43.84	c (24,0) cls[178] = 18
182.49/43.84	c (24,0) cls[179] = 2
182.49/43.84	c (24,0) cls[180] = 0
182.49/43.84	c (24,0) cls[181] = 2
182.49/43.84	c (24,0) cls[182] = 20
182.49/43.84	c (24,0) cls[183] = 3
182.49/43.84	c (24,0) cls[184] = 6
182.49/43.84	c (24,0) cls[185] = 3
182.49/43.84	c (24,0) cls[186] = 9
182.49/43.84	c (24,0) cls[187] = 2
182.49/43.84	c (24,0) cls[188] = 17
182.49/43.84	c (24,0) cls[189] = 3
182.49/43.84	c (24,0) cls[190] = 6
182.49/43.84	c (24,0) cls[191] = 3
182.49/43.84	c (24,0) cls[192] = 19
182.49/43.84	c (24,0) cls[193] = 2
182.49/43.84	c (24,0) cls[194] = 17
182.49/43.84	c (24,0) cls[195] = 3
182.49/43.84	c (24,0) cls[196] = 6
182.49/43.84	c (24,0) cls[197] = 2
182.49/43.84	c (24,0) cls[198] = 0
182.49/43.84	c (24,0) cls[199] = 2
182.49/43.84	c (24,0) opt[0][0] = 0
182.49/43.84	c (24,0) opt[0][1] = 1
182.49/43.84	c (24,0) opt[0][2] = 1
182.49/43.84	c (24,0) opt[0][3] = 1
182.49/43.84	c (24,0) opt[0][4] = 0
182.49/43.84	c (24,0) opt[1][0] = 1
182.49/43.84	c (24,0) opt[1][1] = 0
182.49/43.84	c (24,0) opt[1][2] = 0
182.49/43.84	c (24,0) opt[1][3] = 0
182.49/43.84	c (24,0) opt[1][4] = 0
182.49/43.84	c (24,0) opt[2][0] = 0
182.49/43.84	c (24,0) opt[2][1] = 0
182.49/43.84	c (24,0) opt[2][2] = 0
182.49/43.84	c (24,0) opt[2][3] = 0
182.49/43.84	c (24,0) opt[2][4] = 1
182.49/43.84	c (24,0) opt[3][0] = 1
182.49/43.84	c (24,0) opt[3][1] = 0
182.49/43.84	c (24,0) opt[3][2] = 1
182.49/43.84	c (24,0) opt[3][3] = 0
182.49/43.84	c (24,0) opt[3][4] = 0
182.49/43.84	c (24,0) opt[4][0] = 0
182.49/43.84	c (24,0) opt[4][1] = 0
182.49/43.84	c (24,0) opt[4][2] = 0
182.49/43.84	c (24,0) opt[4][3] = 1
182.49/43.84	c (24,0) opt[4][4] = 0
182.49/43.84	c (24,0) opt[5][0] = 1
182.49/43.84	c (24,0) opt[5][1] = 1
182.49/43.84	c (24,0) opt[5][2] = 0
182.49/43.84	c (24,0) opt[5][3] = 0
182.49/43.84	c (24,0) opt[5][4] = 0
182.49/43.84	c (24,0) opt[6][0] = 0
182.49/43.84	c (24,0) opt[6][1] = 1
182.49/43.84	c (24,0) opt[6][2] = 0
182.49/43.84	c (24,0) opt[6][3] = 1
182.49/43.84	c (24,0) opt[6][4] = 0
182.49/43.84	c (24,0) opt[7][0] = 1
182.49/43.84	c (24,0) opt[7][1] = 0
182.49/43.84	c (24,0) opt[7][2] = 0
182.49/43.84	c (24,0) opt[7][3] = 0
182.49/43.84	c (24,0) opt[7][4] = 0
182.49/43.84	c (24,0) opt[8][0] = 0
182.49/43.84	c (24,0) opt[8][1] = 0
182.49/43.84	c (24,0) opt[8][2] = 1
182.49/43.84	c (24,0) opt[8][3] = 0
182.49/43.84	c (24,0) opt[8][4] = 0
182.49/43.84	c (24,0) opt[9][0] = 1
182.49/43.84	c (24,0) opt[9][1] = 0
182.49/43.84	c (24,0) opt[9][2] = 0
182.49/43.84	c (24,0) opt[9][3] = 0
182.49/43.84	c (24,0) opt[9][4] = 0
182.49/43.84	c (24,0) opt[10][0] = 0
182.49/43.84	c (24,0) opt[10][1] = 0
182.49/43.84	c (24,0) opt[10][2] = 0
182.49/43.84	c (24,0) opt[10][3] = 1
182.49/43.84	c (24,0) opt[10][4] = 0
182.49/43.84	c (24,0) opt[11][0] = 1
182.49/43.84	c (24,0) opt[11][1] = 0
182.49/43.84	c (24,0) opt[11][2] = 1
182.49/43.84	c (24,0) opt[11][3] = 1
182.49/43.84	c (24,0) opt[11][4] = 0
182.49/43.84	c (24,0) opt[12][0] = 0
182.49/43.84	c (24,0) opt[12][1] = 1
182.49/43.84	c (24,0) opt[12][2] = 0
182.49/43.84	c (24,0) opt[12][3] = 0
182.49/43.84	c (24,0) opt[12][4] = 1
182.49/43.84	c (24,0) opt[13][0] = 1
182.49/43.84	c (24,0) opt[13][1] = 0
182.49/43.84	c (24,0) opt[13][2] = 0
182.49/43.84	c (24,0) opt[13][3] = 0
182.49/43.84	c (24,0) opt[13][4] = 0
182.49/43.84	c (24,0) opt[14][0] = 0
182.49/43.84	c (24,0) opt[14][1] = 0
182.49/43.84	c (24,0) opt[14][2] = 1
182.49/43.84	c (24,0) opt[14][3] = 0
182.49/43.84	c (24,0) opt[14][4] = 0
182.49/43.84	c (24,0) opt[15][0] = 0
182.49/43.84	c (24,0) opt[15][1] = 0
182.49/43.84	c (24,0) opt[15][2] = 0
182.49/43.84	c (24,0) opt[15][3] = 1
182.49/43.84	c (24,0) opt[15][4] = 0
182.49/43.84	c (24,0) opt[16][0] = 1
182.49/43.84	c (24,0) opt[16][1] = 0
182.49/43.84	c (24,0) opt[16][2] = 0
182.49/43.84	c (24,0) opt[16][3] = 0
182.49/43.84	c (24,0) opt[16][4] = 0
182.49/43.84	c (24,0) opt[17][0] = 0
182.49/43.84	c (24,0) opt[17][1] = 0
182.49/43.84	c (24,0) opt[17][2] = 0
182.49/43.84	c (24,0) opt[17][3] = 0
182.49/43.84	c (24,0) opt[17][4] = 1
182.49/43.84	c (24,0) opt[18][0] = 0
182.49/43.84	c (24,0) opt[18][1] = 0
182.49/43.84	c (24,0) opt[18][2] = 0
182.49/43.84	c (24,0) opt[18][3] = 1
182.49/43.84	c (24,0) opt[18][4] = 0
182.49/43.84	c (24,0) opt[19][0] = 1
182.49/43.84	c (24,0) opt[19][1] = 0
182.49/43.84	c (24,0) opt[19][2] = 1
182.49/43.84	c (24,0) opt[19][3] = 0
182.49/43.84	c (24,0) opt[19][4] = 0
182.49/43.84	c (24,0) opt[20][0] = 0
182.49/43.84	c (24,0) opt[20][1] = 1
182.49/43.84	c (24,0) opt[20][2] = 0
182.49/43.84	c (24,0) opt[20][3] = 1
182.49/43.84	c (24,0) opt[20][4] = 0
182.49/43.84	c (24,0) opt[21][0] = 1
182.49/43.84	c (24,0) opt[21][1] = 1
182.49/43.84	c (24,0) opt[21][2] = 0
182.49/43.84	c (24,0) opt[21][3] = 0
182.49/43.84	c (24,0) opt[21][4] = 0
182.49/43.84	c (24,0) opt[22][0] = 0
182.49/43.84	c (24,0) opt[22][1] = 0
182.49/43.84	c (24,0) opt[22][2] = 0
182.49/43.84	c (24,0) opt[22][3] = 0
182.49/43.84	c (24,0) opt[22][4] = 1
182.49/43.84	c (24,0) opt[23][0] = 1
182.49/43.84	c (24,0) opt[23][1] = 0
182.49/43.84	c (24,0) opt[23][2] = 1
182.49/43.84	c (24,0) opt[23][3] = 0
182.49/43.84	c (24,0) opt[23][4] = 0
182.49/43.84	c (24,0) opt[24][0] = 0
182.49/43.84	c (24,0) opt[24][1] = 1
182.49/43.84	c (24,0) opt[24][2] = 0
182.49/43.84	c (24,0) opt[24][3] = 1
182.49/43.84	c (24,0) opt[24][4] = 0
182.49/43.84	c (24,0) opt[25][0] = 0
182.49/43.84	c (24,0) opt[25][1] = 1
182.49/43.84	c (24,0) opt[25][2] = 0
182.49/43.84	c (24,0) opt[25][3] = 0
182.49/43.84	c (24,0) opt[25][4] = 0
182.49/43.84	c (24,0) opt[26][0] = 1
182.49/43.84	c (24,0) opt[26][1] = 0
182.49/43.84	c (24,0) opt[26][2] = 0
182.49/43.84	c (24,0) opt[26][3] = 0
182.49/43.84	c (24,0) opt[26][4] = 0
182.49/43.84	c (24,0) opt[27][0] = 0
182.49/43.84	c (24,0) opt[27][1] = 0
182.49/43.84	c (24,0) opt[27][2] = 0
182.49/43.84	c (24,0) opt[27][3] = 1
182.49/43.84	c (24,0) opt[27][4] = 0
182.49/43.84	c (24,0) opt[28][0] = 0
182.49/43.84	c (24,0) opt[28][1] = 0
182.49/43.84	c (24,0) opt[28][2] = 1
182.49/43.84	c (24,0) opt[28][3] = 0
182.49/43.84	c (24,0) opt[28][4] = 1
182.49/43.84	c (24,0) opt[29][0] = 1
182.49/43.84	c (24,0) opt[29][1] = 0
182.49/43.84	c (24,0) opt[29][2] = 0
182.49/43.84	c (24,0) opt[29][3] = 0
182.49/43.84	c (24,0) opt[29][4] = 0
182.49/43.84	c (24,0) opt[30][0] = 0
182.49/43.84	c (24,0) opt[30][1] = 1
182.49/43.84	c (24,0) opt[30][2] = 0
182.49/43.84	c (24,0) opt[30][3] = 1
182.49/43.84	c (24,0) opt[30][4] = 0
182.49/43.84	c (24,0) opt[31][0] = 0
182.49/43.84	c (24,0) opt[31][1] = 0
182.49/43.84	c (24,0) opt[31][2] = 1
182.49/43.84	c (24,0) opt[31][3] = 0
182.49/43.84	c (24,0) opt[31][4] = 0
182.49/43.84	c (24,0) opt[32][0] = 1
182.49/43.84	c (24,0) opt[32][1] = 0
182.49/43.84	c (24,0) opt[32][2] = 0
182.49/43.84	c (24,0) opt[32][3] = 0
182.49/43.84	c (24,0) opt[32][4] = 0
182.49/43.84	c (24,0) opt[33][0] = 0
182.49/43.84	c (24,0) opt[33][1] = 0
182.49/43.84	c (24,0) opt[33][2] = 0
182.49/43.84	c (24,0) opt[33][3] = 0
182.49/43.84	c (24,0) opt[33][4] = 1
182.49/43.84	c (24,0) opt[34][0] = 0
182.49/43.84	c (24,0) opt[34][1] = 0
182.49/43.84	c (24,0) opt[34][2] = 1
182.49/43.84	c (24,0) opt[34][3] = 1
182.49/43.84	c (24,0) opt[34][4] = 0
182.49/43.84	c (24,0) opt[35][0] = 1
182.49/43.84	c (24,0) opt[35][1] = 0
182.49/43.84	c (24,0) opt[35][2] = 0
182.49/43.84	c (24,0) opt[35][3] = 0
182.49/43.84	c (24,0) opt[35][4] = 0
182.49/43.84	c (24,0) opt[36][0] = 0
182.49/43.84	c (24,0) opt[36][1] = 0
182.49/43.84	c (24,0) opt[36][2] = 0
182.49/43.84	c (24,0) opt[36][3] = 1
182.49/43.84	c (24,0) opt[36][4] = 0
182.49/43.84	c (24,0) opt[37][0] = 0
182.49/43.84	c (24,0) opt[37][1] = 1
182.49/43.84	c (24,0) opt[37][2] = 0
182.49/43.84	c (24,0) opt[37][3] = 0
182.49/43.84	c (24,0) opt[37][4] = 0
182.49/43.84	c (24,0) opt[38][0] = 1
182.49/43.84	c (24,0) opt[38][1] = 0
182.49/43.84	c (24,0) opt[38][2] = 0
182.49/43.84	c (24,0) opt[38][3] = 0
182.49/43.84	c (24,0) opt[38][4] = 0
182.49/43.84	c (24,0) opt[39][0] = 0
182.49/43.84	c (24,0) opt[39][1] = 1
182.49/43.84	c (24,0) opt[39][2] = 1
182.49/43.84	c (24,0) opt[39][3] = 0
182.49/43.84	c (24,0) opt[39][4] = 1
182.49/43.84	c (24,0) opt[40][0] = 1
182.49/43.84	c (24,0) opt[40][1] = 0
182.49/43.84	c (24,0) opt[40][2] = 0
182.49/43.84	c (24,0) opt[40][3] = 0
182.49/43.84	c (24,0) opt[40][4] = 0
182.49/43.84	c (24,0) opt[41][0] = 0
182.49/43.84	c (24,0) opt[41][1] = 1
182.49/43.84	c (24,0) opt[41][2] = 0
182.49/43.84	c (24,0) opt[41][3] = 1
182.49/43.84	c (24,0) opt[41][4] = 0
182.49/43.84	c (24,0) opt[42][0] = 1
182.49/43.84	c (24,0) opt[42][1] = 0
182.49/43.84	c (24,0) opt[42][2] = 0
182.49/43.84	c (24,0) opt[42][3] = 0
182.49/43.84	c (24,0) opt[42][4] = 0
182.49/43.84	c (24,0) opt[43][0] = 0
182.49/43.84	c (24,0) opt[43][1] = 0
182.49/43.84	c (24,0) opt[43][2] = 1
182.49/43.84	c (24,0) opt[43][3] = 1
182.49/43.84	c (24,0) opt[43][4] = 0
182.49/43.84	c (24,0) opt[44][0] = 1
182.49/43.84	c (24,0) opt[44][1] = 1
182.49/43.84	c (24,0) opt[44][2] = 0
182.49/43.84	c (24,0) opt[44][3] = 0
182.49/43.84	c (24,0) opt[44][4] = 1
182.49/43.84	c (24,0) opt[45][0] = 0
182.49/43.84	c (24,0) opt[45][1] = 1
182.49/43.84	c (24,0) opt[45][2] = 0
182.49/43.84	c (24,0) opt[45][3] = 0
182.49/43.84	c (24,0) opt[45][4] = 0
182.49/43.84	c (24,0) opt[46][0] = 0
182.49/43.84	c (24,0) opt[46][1] = 0
182.49/43.84	c (24,0) opt[46][2] = 0
182.49/43.84	c (24,0) opt[46][3] = 1
182.49/43.84	c (24,0) opt[46][4] = 0
182.49/43.84	c (24,0) opt[47][0] = 1
182.49/43.84	c (24,0) opt[47][1] = 0
182.49/43.84	c (24,0) opt[47][2] = 0
182.49/43.84	c (24,0) opt[47][3] = 0
182.49/43.84	c (24,0) opt[47][4] = 0
182.49/43.84	c (24,0) opt[48][0] = 0
182.49/43.84	c (24,0) opt[48][1] = 0
182.49/43.84	c (24,0) opt[48][2] = 1
182.49/43.84	c (24,0) opt[48][3] = 1
182.49/43.84	c (24,0) opt[48][4] = 0
182.49/43.84	c (24,0) opt[49][0] = 1
182.49/43.84	c (24,0) opt[49][1] = 1
182.49/43.84	c (24,0) opt[49][2] = 0
182.49/43.84	c (24,0) opt[49][3] = 0
182.49/43.84	c (24,0) opt[49][4] = 0
182.49/43.84	c (24,0) opt[50][0] = 0
182.49/43.84	c (24,0) opt[50][1] = 1
182.49/43.84	c (24,0) opt[50][2] = 0
182.49/43.84	c (24,0) opt[50][3] = 0
182.49/43.84	c (24,0) opt[50][4] = 0
182.49/43.84	c (24,0) opt[51][0] = 0
182.49/43.84	c (24,0) opt[51][1] = 0
182.49/43.84	c (24,0) opt[51][2] = 1
182.49/43.84	c (24,0) opt[51][3] = 1
182.49/43.84	c (24,0) opt[51][4] = 1
182.49/43.84	c (24,0) opt[52][0] = 1
182.49/43.84	c (24,0) opt[52][1] = 1
182.49/43.84	c (24,0) opt[52][2] = 0
182.49/43.84	c (24,0) opt[52][3] = 0
182.49/43.84	c (24,0) opt[52][4] = 0
182.49/43.84	c (24,0) opt[53][0] = 0
182.49/43.84	c (24,0) opt[53][1] = 0
182.49/43.84	c (24,0) opt[53][2] = 0
182.49/43.84	c (24,0) opt[53][3] = 1
182.49/43.84	c (24,0) opt[53][4] = 0
182.49/43.84	c (24,0) opt[54][0] = 1
182.49/43.84	c (24,0) opt[54][1] = 0
182.49/43.84	c (24,0) opt[54][2] = 1
182.49/43.84	c (24,0) opt[54][3] = 0
182.49/43.84	c (24,0) opt[54][4] = 0
182.49/43.84	c (24,0) opt[55][0] = 0
182.49/43.84	c (24,0) opt[55][1] = 1
182.49/43.84	c (24,0) opt[55][2] = 0
182.49/43.84	c (24,0) opt[55][3] = 0
182.49/43.84	c (24,0) opt[55][4] = 0
182.49/43.84	c (24,0) opt[56][0] = 1
182.49/43.84	c (24,0) opt[56][1] = 0
182.49/43.84	c (24,0) opt[56][2] = 0
182.49/43.84	c (24,0) opt[56][3] = 0
182.49/43.84	c (24,0) opt[56][4] = 0
182.49/43.84	c (24,0) opt[57][0] = 0
182.49/43.84	c (24,0) opt[57][1] = 1
182.49/43.84	c (24,0) opt[57][2] = 0
182.49/43.84	c (24,0) opt[57][3] = 0
182.49/43.84	c (24,0) opt[57][4] = 0
182.49/43.84	c (24,0) opt[58][0] = 1
182.49/43.84	c (24,0) opt[58][1] = 0
182.49/43.84	c (24,0) opt[58][2] = 0
182.49/43.84	c (24,0) opt[58][3] = 0
182.49/43.84	c (24,0) opt[58][4] = 1
182.49/43.84	c (24,0) opt[59][0] = 0
182.49/43.84	c (24,0) opt[59][1] = 1
182.49/43.84	c (24,0) opt[59][2] = 1
182.49/43.84	c (24,0) opt[59][3] = 0
182.49/43.84	c (24,0) opt[59][4] = 0
182.49/43.84	c (24,0) opt[60][0] = 0
182.49/43.84	c (24,0) opt[60][1] = 1
182.49/43.84	c (24,0) opt[60][2] = 0
182.49/43.84	c (24,0) opt[60][3] = 0
182.49/43.84	c (24,0) opt[60][4] = 0
182.49/43.84	c (24,0) opt[61][0] = 1
182.49/43.84	c (24,0) opt[61][1] = 0
182.49/43.84	c (24,0) opt[61][2] = 0
182.49/43.84	c (24,0) opt[61][3] = 1
182.49/43.84	c (24,0) opt[61][4] = 0
182.49/43.84	c (24,0) opt[62][0] = 0
182.49/43.84	c (24,0) opt[62][1] = 0
182.49/43.84	c (24,0) opt[62][2] = 1
182.49/43.84	c (24,0) opt[62][3] = 0
182.49/43.84	c (24,0) opt[62][4] = 0
182.49/43.84	c (24,0) opt[63][0] = 1
182.49/43.84	c (24,0) opt[63][1] = 1
182.49/43.84	c (24,0) opt[63][2] = 0
182.49/43.84	c (24,0) opt[63][3] = 1
182.49/43.84	c (24,0) opt[63][4] = 0
182.49/43.84	c (24,0) opt[64][0] = 0
182.49/43.84	c (24,0) opt[64][1] = 1
182.49/43.84	c (24,0) opt[64][2] = 0
182.49/43.84	c (24,0) opt[64][3] = 0
182.49/43.84	c (24,0) opt[64][4] = 0
182.49/43.84	c (24,0) opt[65][0] = 1
182.49/43.84	c (24,0) opt[65][1] = 0
182.49/43.84	c (24,0) opt[65][2] = 1
182.49/43.84	c (24,0) opt[65][3] = 0
182.49/43.84	c (24,0) opt[65][4] = 0
182.49/43.84	c (24,0) opt[66][0] = 0
182.49/43.84	c (24,0) opt[66][1] = 1
182.49/43.84	c (24,0) opt[66][2] = 0
182.49/43.84	c (24,0) opt[66][3] = 1
182.49/43.84	c (24,0) opt[66][4] = 0
182.49/43.84	c (24,0) opt[67][0] = 0
182.49/43.84	c (24,0) opt[67][1] = 1
182.49/43.84	c (24,0) opt[67][2] = 0
182.49/43.84	c (24,0) opt[67][3] = 0
182.49/43.84	c (24,0) opt[67][4] = 1
182.49/43.84	c (24,0) opt[68][0] = 1
182.49/43.84	c (24,0) opt[68][1] = 0
182.49/43.84	c (24,0) opt[68][2] = 1
182.49/43.84	c (24,0) opt[68][3] = 0
182.49/43.84	c (24,0) opt[68][4] = 0
182.49/43.84	c (24,0) opt[69][0] = 0
182.49/43.84	c (24,0) opt[69][1] = 1
182.49/43.84	c (24,0) opt[69][2] = 0
182.49/43.84	c (24,0) opt[69][3] = 0
182.49/43.84	c (24,0) opt[69][4] = 0
182.49/43.84	c (24,0) opt[70][0] = 0
182.49/43.84	c (24,0) opt[70][1] = 0
182.49/43.84	c (24,0) opt[70][2] = 0
182.49/43.84	c (24,0) opt[70][3] = 1
182.49/43.84	c (24,0) opt[70][4] = 0
182.49/43.84	c (24,0) opt[71][0] = 1
182.49/43.84	c (24,0) opt[71][1] = 0
182.49/43.84	c (24,0) opt[71][2] = 1
182.49/43.84	c (24,0) opt[71][3] = 0
182.49/43.84	c (24,0) opt[71][4] = 0
182.49/43.84	c (24,0) opt[72][0] = 0
182.49/43.84	c (24,0) opt[72][1] = 0
182.49/43.84	c (24,0) opt[72][2] = 0
182.49/43.84	c (24,0) opt[72][3] = 0
182.49/43.84	c (24,0) opt[72][4] = 1
182.49/43.84	c (24,0) opt[73][0] = 1
182.49/43.84	c (24,0) opt[73][1] = 1
182.49/43.84	c (24,0) opt[73][2] = 0
182.49/43.84	c (24,0) opt[73][3] = 0
182.49/43.84	c (24,0) opt[73][4] = 0
182.49/43.84	c (24,0) opt[74][0] = 0
182.49/43.84	c (24,0) opt[74][1] = 0
182.49/43.84	c (24,0) opt[74][2] = 1
182.49/43.84	c (24,0) opt[74][3] = 1
182.49/43.84	c (24,0) opt[74][4] = 0
182.49/43.84	c (24,0) opt[75][0] = 1
182.49/43.85	c (24,0) opt[75][1] = 0
182.49/43.85	c (24,0) opt[75][2] = 0
182.49/43.85	c (24,0) opt[75][3] = 0
182.49/43.85	c (24,0) opt[75][4] = 0
182.49/43.85	c (24,0) opt[76][0] = 0
182.49/43.85	c (24,0) opt[76][1] = 0
182.49/43.85	c (24,0) opt[76][2] = 0
182.49/43.85	c (24,0) opt[76][3] = 1
182.49/43.85	c (24,0) opt[76][4] = 0
182.49/43.85	c (24,0) opt[77][0] = 1
182.49/43.85	c (24,0) opt[77][1] = 0
182.49/43.85	c (24,0) opt[77][2] = 0
182.49/43.85	c (24,0) opt[77][3] = 0
182.49/43.85	c (24,0) opt[77][4] = 0
182.49/43.85	c (24,0) opt[78][0] = 0
182.49/43.85	c (24,0) opt[78][1] = 1
182.49/43.85	c (24,0) opt[78][2] = 0
182.49/43.85	c (24,0) opt[78][3] = 0
182.49/43.85	c (24,0) opt[78][4] = 0
182.49/43.85	c (24,0) opt[79][0] = 0
182.49/43.85	c (24,0) opt[79][1] = 0
182.49/43.85	c (24,0) opt[79][2] = 1
182.49/43.85	c (24,0) opt[79][3] = 0
182.49/43.85	c (24,0) opt[79][4] = 0
182.49/43.85	c (24,0) opt[80][0] = 1
182.49/43.85	c (24,0) opt[80][1] = 0
182.49/43.85	c (24,0) opt[80][2] = 0
182.49/43.85	c (24,0) opt[80][3] = 0
182.49/43.85	c (24,0) opt[80][4] = 0
182.49/43.85	c (24,0) opt[81][0] = 0
182.49/43.85	c (24,0) opt[81][1] = 0
182.49/43.85	c (24,0) opt[81][2] = 0
182.49/43.85	c (24,0) opt[81][3] = 0
182.49/43.85	c (24,0) opt[81][4] = 1
182.49/43.85	c (24,0) opt[82][0] = 0
182.49/43.85	c (24,0) opt[82][1] = 1
182.49/43.85	c (24,0) opt[82][2] = 1
182.49/43.85	c (24,0) opt[82][3] = 1
182.49/43.85	c (24,0) opt[82][4] = 0
182.49/43.85	c (24,0) opt[83][0] = 1
182.49/43.85	c (24,0) opt[83][1] = 0
182.49/43.85	c (24,0) opt[83][2] = 0
182.49/43.85	c (24,0) opt[83][3] = 0
182.49/43.85	c (24,0) opt[83][4] = 0
182.49/43.85	c (24,0) opt[84][0] = 0
182.49/43.85	c (24,0) opt[84][1] = 1
182.49/43.85	c (24,0) opt[84][2] = 0
182.49/43.85	c (24,0) opt[84][3] = 0
182.49/43.85	c (24,0) opt[84][4] = 0
182.49/43.85	c (24,0) opt[85][0] = 0
182.49/43.85	c (24,0) opt[85][1] = 0
182.49/43.85	c (24,0) opt[85][2] = 0
182.49/43.85	c (24,0) opt[85][3] = 1
182.49/43.85	c (24,0) opt[85][4] = 0
182.49/43.85	c (24,0) opt[86][0] = 0
182.49/43.85	c (24,0) opt[86][1] = 0
182.49/43.85	c (24,0) opt[86][2] = 0
182.49/43.85	c (24,0) opt[86][3] = 0
182.49/43.85	c (24,0) opt[86][4] = 1
182.49/43.85	c (24,0) opt[87][0] = 0
182.49/43.85	c (24,0) opt[87][1] = 1
182.49/43.85	c (24,0) opt[87][2] = 0
182.49/43.85	c (24,0) opt[87][3] = 0
182.49/43.85	c (24,0) opt[87][4] = 0
182.49/43.85	c (24,0) opt[88][0] = 1
182.49/43.85	c (24,0) opt[88][1] = 1
182.49/43.85	c (24,0) opt[88][2] = 0
182.49/43.85	c (24,0) opt[88][3] = 1
182.49/43.85	c (24,0) opt[88][4] = 0
182.49/43.85	c (24,0) opt[89][0] = 0
182.49/43.85	c (24,0) opt[89][1] = 0
182.49/43.85	c (24,0) opt[89][2] = 1
182.49/43.85	c (24,0) opt[89][3] = 0
182.49/43.85	c (24,0) opt[89][4] = 0
182.49/43.85	c (24,0) opt[90][0] = 0
182.49/43.85	c (24,0) opt[90][1] = 1
182.49/43.85	c (24,0) opt[90][2] = 0
182.49/43.85	c (24,0) opt[90][3] = 0
182.49/43.85	c (24,0) opt[90][4] = 0
182.49/43.85	c (24,0) opt[91][0] = 1
182.49/43.85	c (24,0) opt[91][1] = 1
182.49/43.85	c (24,0) opt[91][2] = 0
182.49/43.85	c (24,0) opt[91][3] = 0
182.49/43.85	c (24,0) opt[91][4] = 0
182.49/43.85	c (24,0) opt[92][0] = 0
182.49/43.85	c (24,0) opt[92][1] = 0
182.49/43.85	c (24,0) opt[92][2] = 0
182.49/43.85	c (24,0) opt[92][3] = 1
182.49/43.85	c (24,0) opt[92][4] = 0
182.49/43.85	c (24,0) opt[93][0] = 0
182.49/43.85	c (24,0) opt[93][1] = 1
182.49/43.85	c (24,0) opt[93][2] = 0
182.49/43.85	c (24,0) opt[93][3] = 1
182.49/43.85	c (24,0) opt[93][4] = 0
182.49/43.85	c (24,0) opt[94][0] = 1
182.49/43.85	c (24,0) opt[94][1] = 1
182.49/43.85	c (24,0) opt[94][2] = 0
182.49/43.85	c (24,0) opt[94][3] = 0
182.49/43.85	c (24,0) opt[94][4] = 1
182.49/43.85	c (24,0) opt[95][0] = 0
182.49/43.85	c (24,0) opt[95][1] = 0
182.49/43.85	c (24,0) opt[95][2] = 1
182.49/43.85	c (24,0) opt[95][3] = 0
182.49/43.85	c (24,0) opt[95][4] = 0
182.49/43.85	c (24,0) opt[96][0] = 1
182.49/43.85	c (24,0) opt[96][1] = 0
182.49/43.85	c (24,0) opt[96][2] = 0
182.49/43.85	c (24,0) opt[96][3] = 0
182.49/43.85	c (24,0) opt[96][4] = 0
182.49/43.85	c (24,0) opt[97][0] = 0
182.49/43.85	c (24,0) opt[97][1] = 0
182.49/43.85	c (24,0) opt[97][2] = 0
182.49/43.85	c (24,0) opt[97][3] = 1
182.49/43.85	c (24,0) opt[97][4] = 0
182.49/43.85	c (24,0) opt[98][0] = 1
182.49/43.85	c (24,0) opt[98][1] = 1
182.49/43.85	c (24,0) opt[98][2] = 1
182.49/43.85	c (24,0) opt[98][3] = 0
182.49/43.85	c (24,0) opt[98][4] = 0
182.49/43.85	c (24,0) opt[99][0] = 0
182.49/43.85	c (24,0) opt[99][1] = 0
182.49/43.85	c (24,0) opt[99][2] = 0
182.49/43.85	c (24,0) opt[99][3] = 0
182.49/43.85	c (24,0) opt[99][4] = 1
182.49/43.85	c (24,0) opt[100][0] = 1
182.49/43.85	c (24,0) opt[100][1] = 1
182.49/43.85	c (24,0) opt[100][2] = 0
182.49/43.85	c (24,0) opt[100][3] = 1
182.49/43.85	c (24,0) opt[100][4] = 0
182.49/43.85	c (24,0) opt[101][0] = 0
182.49/43.85	c (24,0) opt[101][1] = 1
182.49/43.85	c (24,0) opt[101][2] = 0
182.49/43.85	c (24,0) opt[101][3] = 0
182.49/43.85	c (24,0) opt[101][4] = 0
182.49/43.85	c (24,0) opt[102][0] = 1
182.49/43.85	c (24,0) opt[102][1] = 0
182.49/43.85	c (24,0) opt[102][2] = 0
182.49/43.85	c (24,0) opt[102][3] = 0
182.49/43.85	c (24,0) opt[102][4] = 0
182.49/43.85	c (24,0) opt[103][0] = 0
182.49/43.85	c (24,0) opt[103][1] = 1
182.49/43.85	c (24,0) opt[103][2] = 0
182.49/43.85	c (24,0) opt[103][3] = 0
182.49/43.85	c (24,0) opt[103][4] = 0
182.49/43.85	c (24,0) opt[104][0] = 0
182.49/43.85	c (24,0) opt[104][1] = 0
182.49/43.85	c (24,0) opt[104][2] = 0
182.49/43.85	c (24,0) opt[104][3] = 1
182.49/43.85	c (24,0) opt[104][4] = 0
182.49/43.85	c (24,0) opt[105][0] = 1
182.49/43.85	c (24,0) opt[105][1] = 1
182.49/43.85	c (24,0) opt[105][2] = 0
182.49/43.85	c (24,0) opt[105][3] = 0
182.49/43.85	c (24,0) opt[105][4] = 0
182.49/43.85	c (24,0) opt[106][0] = 0
182.49/43.85	c (24,0) opt[106][1] = 1
182.49/43.85	c (24,0) opt[106][2] = 0
182.49/43.85	c (24,0) opt[106][3] = 0
182.49/43.85	c (24,0) opt[106][4] = 0
182.49/43.85	c (24,0) opt[107][0] = 0
182.49/43.85	c (24,0) opt[107][1] = 0
182.49/43.85	c (24,0) opt[107][2] = 0
182.49/43.85	c (24,0) opt[107][3] = 0
182.49/43.85	c (24,0) opt[107][4] = 1
182.49/43.85	c (24,0) opt[108][0] = 1
182.49/43.85	c (24,0) opt[108][1] = 1
182.49/43.85	c (24,0) opt[108][2] = 1
182.49/43.85	c (24,0) opt[108][3] = 1
182.49/43.85	c (24,0) opt[108][4] = 0
182.49/43.85	c (24,0) opt[109][0] = 0
182.49/43.85	c (24,0) opt[109][1] = 1
182.49/43.85	c (24,0) opt[109][2] = 0
182.49/43.85	c (24,0) opt[109][3] = 0
182.49/43.85	c (24,0) opt[109][4] = 0
182.49/43.85	c (24,0) opt[110][0] = 0
182.49/43.85	c (24,0) opt[110][1] = 0
182.49/43.85	c (24,0) opt[110][2] = 0
182.49/43.85	c (24,0) opt[110][3] = 1
182.49/43.85	c (24,0) opt[110][4] = 0
182.49/43.85	c (24,0) opt[111][0] = 1
182.49/43.85	c (24,0) opt[111][1] = 0
182.49/43.85	c (24,0) opt[111][2] = 0
182.49/43.85	c (24,0) opt[111][3] = 0
182.49/43.85	c (24,0) opt[111][4] = 0
182.49/43.85	c (24,0) opt[112][0] = 0
182.49/43.85	c (24,0) opt[112][1] = 1
182.49/43.85	c (24,0) opt[112][2] = 0
182.49/43.85	c (24,0) opt[112][3] = 0
182.49/43.85	c (24,0) opt[112][4] = 0
182.49/43.85	c (24,0) opt[113][0] = 0
182.49/43.85	c (24,0) opt[113][1] = 0
182.49/43.85	c (24,0) opt[113][2] = 1
182.49/43.85	c (24,0) opt[113][3] = 0
182.49/43.85	c (24,0) opt[113][4] = 1
182.49/43.85	c (24,0) opt[114][0] = 0
182.49/43.85	c (24,0) opt[114][1] = 1
182.49/43.85	c (24,0) opt[114][2] = 0
182.49/43.85	c (24,0) opt[114][3] = 1
182.49/43.85	c (24,0) opt[114][4] = 0
182.49/43.85	c (24,0) opt[115][0] = 0
182.49/43.85	c (24,0) opt[115][1] = 1
182.49/43.85	c (24,0) opt[115][2] = 0
182.49/43.85	c (24,0) opt[115][3] = 1
182.49/43.85	c (24,0) opt[115][4] = 0
182.49/43.85	c (24,0) opt[116][0] = 1
182.49/43.85	c (24,0) opt[116][1] = 0
182.49/43.85	c (24,0) opt[116][2] = 0
182.49/43.85	c (24,0) opt[116][3] = 0
182.49/43.85	c (24,0) opt[116][4] = 0
182.49/43.85	c (24,0) opt[117][0] = 0
182.49/43.85	c (24,0) opt[117][1] = 1
182.49/43.85	c (24,0) opt[117][2] = 0
182.49/43.85	c (24,0) opt[117][3] = 0
182.49/43.85	c (24,0) opt[117][4] = 0
182.49/43.85	c (24,0) opt[118][0] = 0
182.49/43.85	c (24,0) opt[118][1] = 0
182.49/43.85	c (24,0) opt[118][2] = 0
182.49/43.85	c (24,0) opt[118][3] = 0
182.49/43.85	c (24,0) opt[118][4] = 1
182.49/43.85	c (24,0) opt[119][0] = 1
182.49/43.85	c (24,0) opt[119][1] = 0
182.49/43.85	c (24,0) opt[119][2] = 0
182.49/43.85	c (24,0) opt[119][3] = 0
182.49/43.85	c (24,0) opt[119][4] = 0
182.49/43.85	c (24,0) opt[120][0] = 0
182.49/43.85	c (24,0) opt[120][1] = 0
182.49/43.85	c (24,0) opt[120][2] = 0
182.49/43.85	c (24,0) opt[120][3] = 1
182.49/43.85	c (24,0) opt[120][4] = 0
182.49/43.85	c (24,0) opt[121][0] = 1
182.49/43.85	c (24,0) opt[121][1] = 0
182.49/43.85	c (24,0) opt[121][2] = 0
182.49/43.85	c (24,0) opt[121][3] = 0
182.49/43.85	c (24,0) opt[121][4] = 0
182.49/43.85	c (24,0) opt[122][0] = 0
182.49/43.85	c (24,0) opt[122][1] = 0
182.49/43.85	c (24,0) opt[122][2] = 0
182.49/43.85	c (24,0) opt[122][3] = 1
182.49/43.85	c (24,0) opt[122][4] = 0
182.49/43.85	c (24,0) opt[123][0] = 0
182.49/43.85	c (24,0) opt[123][1] = 1
182.49/43.85	c (24,0) opt[123][2] = 0
182.49/43.85	c (24,0) opt[123][3] = 0
182.49/43.85	c (24,0) opt[123][4] = 0
182.49/43.85	c (24,0) opt[124][0] = 1
182.49/43.85	c (24,0) opt[124][1] = 0
182.49/43.85	c (24,0) opt[124][2] = 1
182.49/43.85	c (24,0) opt[124][3] = 0
182.49/43.85	c (24,0) opt[124][4] = 0
182.49/43.85	c (24,0) opt[125][0] = 0
182.49/43.85	c (24,0) opt[125][1] = 1
182.49/43.85	c (24,0) opt[125][2] = 0
182.49/43.85	c (24,0) opt[125][3] = 0
182.49/43.85	c (24,0) opt[125][4] = 0
182.49/43.85	c (24,0) opt[126][0] = 1
182.49/43.85	c (24,0) opt[126][1] = 0
182.49/43.85	c (24,0) opt[126][2] = 0
182.49/43.85	c (24,0) opt[126][3] = 1
182.49/43.85	c (24,0) opt[126][4] = 1
182.49/43.85	c (24,0) opt[127][0] = 0
182.49/43.85	c (24,0) opt[127][1] = 0
182.49/43.85	c (24,0) opt[127][2] = 1
182.49/43.85	c (24,0) opt[127][3] = 0
182.49/43.85	c (24,0) opt[127][4] = 0
182.49/43.85	c (24,0) opt[128][0] = 0
182.49/43.85	c (24,0) opt[128][1] = 1
182.49/43.85	c (24,0) opt[128][2] = 0
182.49/43.85	c (24,0) opt[128][3] = 0
182.49/43.85	c (24,0) opt[128][4] = 0
182.49/43.85	c (24,0) opt[129][0] = 1
182.49/43.85	c (24,0) opt[129][1] = 0
182.49/43.85	c (24,0) opt[129][2] = 0
182.49/43.85	c (24,0) opt[129][3] = 0
182.49/43.85	c (24,0) opt[129][4] = 0
182.49/43.85	c (24,0) opt[130][0] = 0
182.49/43.85	c (24,0) opt[130][1] = 1
182.49/43.85	c (24,0) opt[130][2] = 0
182.49/43.85	c (24,0) opt[130][3] = 1
182.49/43.85	c (24,0) opt[130][4] = 0
182.49/43.85	c (24,0) opt[131][0] = 0
182.49/43.85	c (24,0) opt[131][1] = 1
182.49/43.85	c (24,0) opt[131][2] = 0
182.49/43.85	c (24,0) opt[131][3] = 0
182.49/43.85	c (24,0) opt[131][4] = 0
182.49/43.85	c (24,0) opt[132][0] = 1
182.49/43.85	c (24,0) opt[132][1] = 0
182.49/43.85	c (24,0) opt[132][2] = 0
182.49/43.85	c (24,0) opt[132][3] = 0
182.49/43.85	c (24,0) opt[132][4] = 1
182.49/43.85	c (24,0) opt[133][0] = 0
182.49/43.85	c (24,0) opt[133][1] = 0
182.49/43.85	c (24,0) opt[133][2] = 1
182.49/43.85	c (24,0) opt[133][3] = 0
182.49/43.85	c (24,0) opt[133][4] = 0
182.49/43.85	c (24,0) opt[134][0] = 0
182.49/43.85	c (24,0) opt[134][1] = 1
182.49/43.85	c (24,0) opt[134][2] = 0
182.49/43.85	c (24,0) opt[134][3] = 1
182.49/43.85	c (24,0) opt[134][4] = 0
182.49/43.85	c (24,0) opt[135][0] = 1
182.49/43.85	c (24,0) opt[135][1] = 0
182.49/43.85	c (24,0) opt[135][2] = 0
182.49/43.85	c (24,0) opt[135][3] = 0
182.49/43.85	c (24,0) opt[135][4] = 0
182.49/43.85	c (24,0) opt[136][0] = 0
182.49/43.85	c (24,0) opt[136][1] = 1
182.49/43.85	c (24,0) opt[136][2] = 0
182.49/43.85	c (24,0) opt[136][3] = 0
182.49/43.85	c (24,0) opt[136][4] = 0
182.49/43.85	c (24,0) opt[137][0] = 1
182.49/43.85	c (24,0) opt[137][1] = 0
182.49/43.85	c (24,0) opt[137][2] = 0
182.49/43.85	c (24,0) opt[137][3] = 0
182.49/43.85	c (24,0) opt[137][4] = 0
182.49/43.85	c (24,0) opt[138][0] = 0
182.49/43.85	c (24,0) opt[138][1] = 1
182.49/43.85	c (24,0) opt[138][2] = 0
182.49/43.85	c (24,0) opt[138][3] = 0
182.49/43.85	c (24,0) opt[138][4] = 1
182.49/43.85	c (24,0) opt[139][0] = 1
182.49/43.85	c (24,0) opt[139][1] = 0
182.49/43.85	c (24,0) opt[139][2] = 1
182.49/43.85	c (24,0) opt[139][3] = 1
182.49/43.85	c (24,0) opt[139][4] = 0
182.49/43.85	c (24,0) opt[140][0] = 0
182.49/43.85	c (24,0) opt[140][1] = 0
182.49/43.85	c (24,0) opt[140][2] = 0
182.49/43.85	c (24,0) opt[140][3] = 1
182.49/43.85	c (24,0) opt[140][4] = 0
182.49/43.85	c (24,0) opt[141][0] = 1
182.49/43.85	c (24,0) opt[141][1] = 0
182.49/43.85	c (24,0) opt[141][2] = 0
182.49/43.85	c (24,0) opt[141][3] = 0
182.49/43.85	c (24,0) opt[141][4] = 0
182.49/43.85	c (24,0) opt[142][0] = 0
182.49/43.85	c (24,0) opt[142][1] = 0
182.49/43.85	c (24,0) opt[142][2] = 1
182.49/43.85	c (24,0) opt[142][3] = 0
182.49/43.85	c (24,0) opt[142][4] = 0
182.49/43.85	c (24,0) opt[143][0] = 1
182.49/43.85	c (24,0) opt[143][1] = 0
182.49/43.85	c (24,0) opt[143][2] = 0
182.49/43.85	c (24,0) opt[143][3] = 0
182.49/43.85	c (24,0) opt[143][4] = 0
182.49/43.85	c (24,0) opt[144][0] = 0
182.49/43.85	c (24,0) opt[144][1] = 0
182.49/43.85	c (24,0) opt[144][2] = 0
182.49/43.85	c (24,0) opt[144][3] = 1
182.49/43.85	c (24,0) opt[144][4] = 0
182.49/43.85	c (24,0) opt[145][0] = 0
182.49/43.85	c (24,0) opt[145][1] = 0
182.49/43.85	c (24,0) opt[145][2] = 0
182.49/43.85	c (24,0) opt[145][3] = 0
182.49/43.85	c (24,0) opt[145][4] = 1
182.49/43.85	c (24,0) opt[146][0] = 1
182.49/43.85	c (24,0) opt[146][1] = 0
182.49/43.85	c (24,0) opt[146][2] = 1
182.49/43.85	c (24,0) opt[146][3] = 1
182.49/43.85	c (24,0) opt[146][4] = 0
182.49/43.85	c (24,0) opt[147][0] = 0
182.49/43.85	c (24,0) opt[147][1] = 1
182.49/43.85	c (24,0) opt[147][2] = 0
182.49/43.85	c (24,0) opt[147][3] = 0
182.49/43.85	c (24,0) opt[147][4] = 0
182.49/43.85	c (24,0) opt[148][0] = 0
182.49/43.85	c (24,0) opt[148][1] = 1
182.49/43.85	c (24,0) opt[148][2] = 0
182.49/43.85	c (24,0) opt[148][3] = 0
182.49/43.85	c (24,0) opt[148][4] = 0
182.49/43.85	c (24,0) opt[149][0] = 1
182.49/43.85	c (24,0) opt[149][1] = 0
182.49/43.85	c (24,0) opt[149][2] = 0
182.49/43.85	c (24,0) opt[149][3] = 0
182.49/43.85	c (24,0) opt[149][4] = 0
182.49/43.85	c (24,0) opt[150][0] = 0
182.49/43.85	c (24,0) opt[150][1] = 1
182.49/43.85	c (24,0) opt[150][2] = 0
182.49/43.85	c (24,0) opt[150][3] = 0
182.49/43.85	c (24,0) opt[150][4] = 0
182.49/43.85	c (24,0) opt[151][0] = 0
182.49/43.85	c (24,0) opt[151][1] = 0
182.49/43.85	c (24,0) opt[151][2] = 0
182.49/43.85	c (24,0) opt[151][3] = 1
182.49/43.85	c (24,0) opt[151][4] = 0
182.49/43.85	c (24,0) opt[152][0] = 1
182.49/43.85	c (24,0) opt[152][1] = 1
182.49/43.85	c (24,0) opt[152][2] = 0
182.49/43.85	c (24,0) opt[152][3] = 0
182.49/43.85	c (24,0) opt[152][4] = 1
182.49/43.85	c (24,0) opt[153][0] = 0
182.49/43.85	c (24,0) opt[153][1] = 1
182.49/43.85	c (24,0) opt[153][2] = 0
182.49/43.85	c (24,0) opt[153][3] = 0
182.49/43.85	c (24,0) opt[153][4] = 0
182.49/43.85	c (24,0) opt[154][0] = 1
182.49/43.85	c (24,0) opt[154][1] = 0
182.49/43.85	c (24,0) opt[154][2] = 0
182.49/43.85	c (24,0) opt[154][3] = 1
182.49/43.85	c (24,0) opt[154][4] = 0
182.49/43.85	c (24,0) opt[155][0] = 0
182.49/43.85	c (24,0) opt[155][1] = 0
182.49/43.85	c (24,0) opt[155][2] = 1
182.49/43.85	c (24,0) opt[155][3] = 0
182.49/43.85	c (24,0) opt[155][4] = 0
182.49/43.85	c (24,0) opt[156][0] = 1
182.49/43.85	c (24,0) opt[156][1] = 1
182.49/43.85	c (24,0) opt[156][2] = 0
182.49/43.85	c (24,0) opt[156][3] = 1
182.49/43.85	c (24,0) opt[156][4] = 0
182.49/43.85	c (24,0) opt[157][0] = 0
182.49/43.85	c (24,0) opt[157][1] = 0
182.49/43.85	c (24,0) opt[157][2] = 0
182.49/43.85	c (24,0) opt[157][3] = 0
182.49/43.85	c (24,0) opt[157][4] = 1
182.49/43.85	c (24,0) opt[158][0] = 0
182.49/43.85	c (24,0) opt[158][1] = 1
182.49/43.85	c (24,0) opt[158][2] = 0
182.49/43.85	c (24,0) opt[158][3] = 0
182.49/43.85	c (24,0) opt[158][4] = 0
182.49/43.85	c (24,0) opt[159][0] = 1
182.49/43.85	c (24,0) opt[159][1] = 0
182.49/43.85	c (24,0) opt[159][2] = 1
182.49/43.85	c (24,0) opt[159][3] = 0
182.49/43.85	c (24,0) opt[159][4] = 0
182.49/43.85	c (24,0) opt[160][0] = 0
182.49/43.85	c (24,0) opt[160][1] = 1
182.49/43.85	c (24,0) opt[160][2] = 0
182.49/43.85	c (24,0) opt[160][3] = 0
182.49/43.85	c (24,0) opt[160][4] = 0
182.49/43.85	c (24,0) opt[161][0] = 0
182.49/43.85	c (24,0) opt[161][1] = 0
182.49/43.85	c (24,0) opt[161][2] = 0
182.49/43.85	c (24,0) opt[161][3] = 1
182.49/43.85	c (24,0) opt[161][4] = 0
182.49/43.85	c (24,0) opt[162][0] = 1
182.49/43.85	c (24,0) opt[162][1] = 1
182.49/43.85	c (24,0) opt[162][2] = 0
182.49/43.85	c (24,0) opt[162][3] = 0
182.49/43.85	c (24,0) opt[162][4] = 0
182.49/43.85	c (24,0) opt[163][0] = 0
182.49/43.85	c (24,0) opt[163][1] = 0
182.49/43.85	c (24,0) opt[163][2] = 0
182.49/43.85	c (24,0) opt[163][3] = 1
182.49/43.85	c (24,0) opt[163][4] = 0
182.49/43.85	c (24,0) opt[164][0] = 0
182.49/43.85	c (24,0) opt[164][1] = 0
182.49/43.85	c (24,0) opt[164][2] = 1
182.49/43.85	c (24,0) opt[164][3] = 0
182.49/43.85	c (24,0) opt[164][4] = 0
182.49/43.85	c (24,0) opt[165][0] = 1
182.49/43.85	c (24,0) opt[165][1] = 0
182.49/43.85	c (24,0) opt[165][2] = 0
182.49/43.85	c (24,0) opt[165][3] = 0
182.49/43.85	c (24,0) opt[165][4] = 0
182.49/43.85	c (24,0) opt[166][0] = 0
182.49/43.85	c (24,0) opt[166][1] = 1
182.49/43.85	c (24,0) opt[166][2] = 0
182.49/43.85	c (24,0) opt[166][3] = 1
182.49/43.85	c (24,0) opt[166][4] = 1
182.49/43.85	c (24,0) opt[167][0] = 1
182.49/43.85	c (24,0) opt[167][1] = 0
182.49/43.85	c (24,0) opt[167][2] = 0
182.49/43.85	c (24,0) opt[167][3] = 0
182.49/43.85	c (24,0) opt[167][4] = 0
182.49/43.85	c (24,0) opt[168][0] = 0
182.49/43.85	c (24,0) opt[168][1] = 1
182.49/43.85	c (24,0) opt[168][2] = 0
182.49/43.85	c (24,0) opt[168][3] = 0
182.49/43.85	c (24,0) opt[168][4] = 0
182.49/43.85	c (24,0) opt[169][0] = 1
182.49/43.85	c (24,0) opt[169][1] = 0
182.49/43.85	c (24,0) opt[169][2] = 0
182.49/43.85	c (24,0) opt[169][3] = 0
182.49/43.85	c (24,0) opt[169][4] = 0
182.49/43.85	c (24,0) opt[170][0] = 0
182.49/43.85	c (24,0) opt[170][1] = 1
182.49/43.85	c (24,0) opt[170][2] = 0
182.49/43.85	c (24,0) opt[170][3] = 0
182.49/43.85	c (24,0) opt[170][4] = 0
182.49/43.85	c (24,0) opt[171][0] = 1
182.49/43.85	c (24,0) opt[171][1] = 0
182.49/43.85	c (24,0) opt[171][2] = 0
182.49/43.85	c (24,0) opt[171][3] = 0
182.49/43.85	c (24,0) opt[171][4] = 1
182.49/43.85	c (24,0) opt[172][0] = 0
182.49/43.85	c (24,0) opt[172][1] = 0
182.49/43.85	c (24,0) opt[172][2] = 0
182.49/43.85	c (24,0) opt[172][3] = 1
182.49/43.85	c (24,0) opt[172][4] = 0
182.49/43.85	c (24,0) opt[173][0] = 1
182.49/43.85	c (24,0) opt[173][1] = 0
182.49/43.85	c (24,0) opt[173][2] = 1
182.49/43.85	c (24,0) opt[173][3] = 1
182.49/43.85	c (24,0) opt[173][4] = 0
182.49/43.85	c (24,0) opt[174][0] = 0
182.49/43.85	c (24,0) opt[174][1] = 1
182.49/43.85	c (24,0) opt[174][2] = 0
182.49/43.85	c (24,0) opt[174][3] = 0
182.49/43.85	c (24,0) opt[174][4] = 0
182.49/43.85	c (24,0) opt[175][0] = 1
182.49/43.85	c (24,0) opt[175][1] = 0
182.49/43.85	c (24,0) opt[175][2] = 0
182.49/43.85	c (24,0) opt[175][3] = 0
182.49/43.85	c (24,0) opt[175][4] = 0
182.49/43.85	c (24,0) opt[176][0] = 0
182.49/43.85	c (24,0) opt[176][1] = 1
182.49/43.85	c (24,0) opt[176][2] = 0
182.49/43.85	c (24,0) opt[176][3] = 0
182.49/43.85	c (24,0) opt[176][4] = 0
182.49/43.85	c (24,0) opt[177][0] = 1
182.49/43.85	c (24,0) opt[177][1] = 0
182.49/43.85	c (24,0) opt[177][2] = 0
182.49/43.85	c (24,0) opt[177][3] = 0
182.49/43.85	c (24,0) opt[177][4] = 0
182.49/43.85	c (24,0) opt[178][0] = 0
182.49/43.85	c (24,0) opt[178][1] = 1
182.49/43.85	c (24,0) opt[178][2] = 0
182.49/43.85	c (24,0) opt[178][3] = 1
182.49/43.85	c (24,0) opt[178][4] = 0
182.49/43.85	c (24,0) opt[179][0] = 1
182.49/43.85	c (24,0) opt[179][1] = 0
182.49/43.85	c (24,0) opt[179][2] = 0
182.49/43.85	c (24,0) opt[179][3] = 0
182.49/43.85	c (24,0) opt[179][4] = 0
182.49/43.85	c (24,0) opt[180][0] = 0
182.49/43.85	c (24,0) opt[180][1] = 1
182.49/43.85	c (24,0) opt[180][2] = 0
182.49/43.85	c (24,0) opt[180][3] = 1
182.49/43.85	c (24,0) opt[180][4] = 1
182.49/43.85	c (24,0) opt[181][0] = 1
182.49/43.85	c (24,0) opt[181][1] = 0
182.49/43.85	c (24,0) opt[181][2] = 0
182.49/43.85	c (24,0) opt[181][3] = 0
182.49/43.85	c (24,0) opt[181][4] = 0
182.49/43.85	c (24,0) opt[182][0] = 0
182.49/43.85	c (24,0) opt[182][1] = 0
182.49/43.85	c (24,0) opt[182][2] = 1
182.49/43.85	c (24,0) opt[182][3] = 0
182.49/43.85	c (24,0) opt[182][4] = 0
182.49/43.85	c (24,0) opt[183][0] = 1
182.49/43.85	c (24,0) opt[183][1] = 1
182.49/43.85	c (24,0) opt[183][2] = 0
182.49/43.85	c (24,0) opt[183][3] = 0
182.49/43.85	c (24,0) opt[183][4] = 0
182.49/43.85	c (24,0) opt[184][0] = 0
182.49/43.85	c (24,0) opt[184][1] = 0
182.49/43.85	c (24,0) opt[184][2] = 0
182.49/43.85	c (24,0) opt[184][3] = 1
182.49/43.85	c (24,0) opt[184][4] = 0
182.49/43.85	c (24,0) opt[185][0] = 1
182.49/43.85	c (24,0) opt[185][1] = 1
182.49/43.85	c (24,0) opt[185][2] = 0
182.49/43.85	c (24,0) opt[185][3] = 0
182.49/43.85	c (24,0) opt[185][4] = 0
182.49/43.85	c (24,0) opt[186][0] = 0
182.49/43.85	c (24,0) opt[186][1] = 1
182.49/43.85	c (24,0) opt[186][2] = 1
182.49/43.85	c (24,0) opt[186][3] = 1
182.49/43.85	c (24,0) opt[186][4] = 0
182.49/43.85	c (24,0) opt[187][0] = 1
182.49/43.85	c (24,0) opt[187][1] = 0
182.49/43.85	c (24,0) opt[187][2] = 0
182.49/43.85	c (24,0) opt[187][3] = 0
182.49/43.85	c (24,0) opt[187][4] = 0
182.49/43.85	c (24,0) opt[188][0] = 0
182.49/43.85	c (24,0) opt[188][1] = 1
182.49/43.85	c (24,0) opt[188][2] = 0
182.49/43.85	c (24,0) opt[188][3] = 0
182.49/43.85	c (24,0) opt[188][4] = 0
182.49/43.85	c (24,0) opt[189][0] = 1
182.49/43.85	c (24,0) opt[189][1] = 1
182.49/43.85	c (24,0) opt[189][2] = 0
182.49/43.85	c (24,0) opt[189][3] = 0
182.49/43.85	c (24,0) opt[189][4] = 0
182.49/43.85	c (24,0) opt[190][0] = 0
182.49/43.85	c (24,0) opt[190][1] = 0
182.49/43.85	c (24,0) opt[190][2] = 0
182.49/43.85	c (24,0) opt[190][3] = 1
182.49/43.85	c (24,0) opt[190][4] = 0
182.49/43.85	c (24,0) opt[191][0] = 1
182.49/43.85	c (24,0) opt[191][1] = 1
182.49/43.85	c (24,0) opt[191][2] = 0
182.49/43.85	c (24,0) opt[191][3] = 0
182.49/43.85	c (24,0) opt[191][4] = 0
182.49/43.85	c (24,0) opt[192][0] = 0
182.49/43.85	c (24,0) opt[192][1] = 0
182.49/43.85	c (24,0) opt[192][2] = 1
182.49/43.85	c (24,0) opt[192][3] = 1
182.49/43.85	c (24,0) opt[192][4] = 0
182.49/43.85	c (24,0) opt[193][0] = 1
182.49/43.85	c (24,0) opt[193][1] = 0
182.49/43.85	c (24,0) opt[193][2] = 0
182.49/43.85	c (24,0) opt[193][3] = 0
182.49/43.85	c (24,0) opt[193][4] = 0
182.49/43.85	c (24,0) opt[194][0] = 0
182.49/43.85	c (24,0) opt[194][1] = 1
182.49/43.85	c (24,0) opt[194][2] = 0
182.49/43.85	c (24,0) opt[194][3] = 0
182.49/43.85	c (24,0) opt[194][4] = 0
182.49/43.85	c (24,0) opt[195][0] = 1
182.49/43.85	c (24,0) opt[195][1] = 1
182.49/43.85	c (24,0) opt[195][2] = 0
182.49/43.85	c (24,0) opt[195][3] = 0
182.49/43.85	c (24,0) opt[195][4] = 0
182.49/43.85	c (24,0) opt[196][0] = 0
182.49/43.85	c (24,0) opt[196][1] = 0
182.49/43.85	c (24,0) opt[196][2] = 0
182.49/43.85	c (24,0) opt[196][3] = 1
182.49/43.85	c (24,0) opt[196][4] = 0
182.49/43.85	c (24,0) opt[197][0] = 1
182.49/43.85	c (24,0) opt[197][1] = 0
182.49/43.85	c (24,0) opt[197][2] = 0
182.49/43.85	c (24,0) opt[197][3] = 0
182.49/43.85	c (24,0) opt[197][4] = 0
182.49/43.85	c (24,0) opt[198][0] = 0
182.49/43.85	c (24,0) opt[198][1] = 1
182.49/43.85	c (24,0) opt[198][2] = 0
182.49/43.85	c (24,0) opt[198][3] = 1
182.49/43.85	c (24,0) opt[198][4] = 1
182.49/43.85	c (24,0) opt[199][0] = 1
182.49/43.85	c (24,0) opt[199][1] = 0
182.49/43.85	c (24,0) opt[199][2] = 0
182.49/43.85	c (24,0) opt[199][3] = 0
182.49/43.85	c (24,0) opt[199][4] = 0
182.49/43.85	s SATISFIABLE
182.49/43.85	v <instantiation>
182.49/43.85	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>
182.49/43.85	v     <values>9 2 14 11 6 3 18 2 20 2 6 4 23 2 20 6 2 14 6 11 18 3 14 11 18 17 2 6 13 2 18 20 2 14 19 2 6 17 2 21 2 18 2 19 22 17 6 2 19 3 17 7 3 6 11 17 2 17 5 1 17 15 20 16 17 11 18 23 11 17 6 11 14 3 19 2 6 2 17 20 2 14 9 2 17 6 14 17 16 20 17 3 6 18 22 20 2 6 8 14 16 17 2 17 6 3 17 14 12 17 6 2 17 13 18 18 2 17 14 2 6 2 6 17 11 17 10 20 17 2 18 17 5 20 18 2 17 2 23 4 6 2 20 2 6 14 4 17 17 2 17 6 22 17 15 20 16 14 17 11 17 6 3 6 20 2 0 2 17 2 17 5 6 4 17 2 17 2 18 2 0 2 20 3 6 3 9 2 17 3 6 3 19 2 17 3 6 2 0 2 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0</values>
182.49/43.85	v </instantiation>
182.49/43.85	c (24,0) Show results End
182.49/43.85	c (24,0) Heap : 301 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
182.49/43.85	c (24,0) 24,24,STOP-AFTER(ALL)
182.49/43.85	c END-Prog: Tue Sep 24 17:18:00 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 (10918 MiB free)
  memory of node 1: 16384 MiB (14067 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405540-1569338275/watcher-4405540-1569338275 -o /tmp/evaluation-result-4405540-1569338275/solver-4405540-1569338275 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --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-4405540-1569338275.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 6.15 7.02 5.33 3/211 16118
/proc/meminfo: memFree=25488636/32770624 swapFree=66999796/67108860
[pid=16096] ppid=16093 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16096/stat : 16096 (scop.sh) S 16093 16096 15640 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 510092337 115843072 348 33554432000 4194304 5098028 140728776956688 140728776953944 139843649892988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39821312 140728776962852 140728776963180 140728776963180 140728776966093 0
/proc/16096/statm: 28282 348 296 221 0 87 0
[pid=16099] ppid=16096 vsize=27314120 memory=108056 CPUtime=0.1 cores=0-7
/proc/16099/stat : 16099 (java) S 16096 16096 15640 0 -1 1077944320 6513 0 0 0 8 2 0 0 20 0 20 0 510092337 27969658880 27014 33554432000 4194304 4196468 140725285048688 140725285031232 140296148549367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
/proc/16099/statm: 6828530 27014 2794 1 0 6790935 0
[pid=16099/tid=16100] ppid=16096 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/16099/task/16100/stat : 16100 (java) R 16096 16096 15640 0 -1 4202560 4614 0 0 0 7 2 0 0 20 0 20 0 510092338 27969658880 27014 33554432000 4194304 4196468 140725285048688 140296120384048 140296132629854 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16101] ppid=16096 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/16099/task/16101/stat : 16101 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140296152791824 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16102] ppid=16096 vsize=27314120 memory=139926609774208 CPUtime=0 cores=0-7
/proc/16099/task/16102/stat : 16102 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295570803600 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16103] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16103/stat : 16103 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295569751056 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16104] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16104/stat : 16104 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295568698512 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16105] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16105/stat : 16105 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295567644944 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16106] ppid=16096 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16099/task/16106/stat : 16106 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295566592400 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16107] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16107/stat : 16107 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295565539856 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16108] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16108/stat : 16108 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295564487312 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16109] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16109/stat : 16109 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295139903984 140296148560514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16110] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16110/stat : 16110 (java) S 16096 16096 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 27014 33554432000 4194304 4196468 140725285048688 140294100084128 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16111] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16111/stat : 16111 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 27014 33554432000 4194304 4196468 140725285048688 140293831648752 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16112] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16112/stat : 16112 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 27014 33554432000 4194304 4196468 140725285048688 140293457140432 140296148567963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16113] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16113/stat : 16113 (java) S 16096 16096 15640 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295138850800 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16114] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16114/stat : 16114 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295137798256 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16115] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16115/stat : 16115 (java) S 16096 16096 15640 0 -1 1077944384 270 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295136745712 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16116] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16116/stat : 16116 (java) S 16096 16096 15640 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295135693168 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16117] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16117/stat : 16117 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 27014 33554432000 4194304 4196468 140725285048688 140292959234784 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16118] ppid=16096 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16099/task/16118/stat : 16118 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 27014 33554432000 4194304 4196468 140725285048688 140295134641072 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109448 KiB

[startup+0.210441 s]*
/proc/loadavg: 6.15 7.02 5.33 2/211 16118
/proc/meminfo: memFree=25467200/32770624 swapFree=66999796/67108860
[pid=16096] ppid=16093 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16096/stat : 16096 (scop.sh) S 16093 16096 15640 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 510092337 115843072 348 33554432000 4194304 5098028 140728776956688 140728776953944 139843649892988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39821312 140728776962852 140728776963180 140728776963180 140728776966093 0
/proc/16096/statm: 28282 348 296 221 0 87 0
[pid=16099] ppid=16096 vsize=27314120 memory=127156 CPUtime=0.25 cores=0-7
/proc/16099/stat : 16099 (java) S 16096 16096 15640 0 -1 1077944320 12125 0 0 0 21 4 0 0 20 0 20 0 510092337 27969658880 31789 33554432000 4194304 4196468 140725285048688 140725285031232 140296148549367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
/proc/16099/statm: 6828530 31789 2926 1 0 6790935 0
[pid=16099/tid=16100] ppid=16096 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16099/task/16100/stat : 16100 (java) R 16096 16096 15640 0 -1 4202560 9844 0 0 0 16 3 0 0 20 0 20 0 510092338 27969658880 31789 33554432000 4194304 4196468 140725285048688 140296120365776 140296130112959 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16101] ppid=16096 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/16099/task/16101/stat : 16101 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140296152791824 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16102] ppid=16096 vsize=27314120 memory=139926613507634 CPUtime=0 cores=0-7
/proc/16099/task/16102/stat : 16102 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295570803600 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16103] ppid=16096 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16099/task/16103/stat : 16103 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295569751056 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16104] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16104/stat : 16104 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295568698512 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16105] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16105/stat : 16105 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295567644944 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16106] ppid=16096 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16099/task/16106/stat : 16106 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295566592400 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16107] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16107/stat : 16107 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295565539856 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16108] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16108/stat : 16108 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295564487312 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16109] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16109/stat : 16109 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295139903984 140296148560514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16110] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16110/stat : 16110 (java) S 16096 16096 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 31789 33554432000 4194304 4196468 140725285048688 140294100084128 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16111] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16111/stat : 16111 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 31789 33554432000 4194304 4196468 140725285048688 140293831648752 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16112] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16112/stat : 16112 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 31789 33554432000 4194304 4196468 140725285048688 140293457140432 140296148567963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16113] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16113/stat : 16113 (java) S 16096 16096 15640 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295138850800 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16114] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16114/stat : 16114 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295137798256 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16115] ppid=16096 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16099/task/16115/stat : 16115 (java) S 16096 16096 15640 0 -1 1077944384 282 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295136745712 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16116] ppid=16096 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16099/task/16116/stat : 16116 (java) S 16096 16096 15640 0 -1 1077944384 466 0 0 0 2 0 0 0 20 0 20 0 510092345 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295135693168 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16117] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16117/stat : 16117 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 31789 33554432000 4194304 4196468 140725285048688 140292959234784 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16118] ppid=16096 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16099/task/16118/stat : 16118 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 31789 33554432000 4194304 4196468 140725285048688 140295134641072 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128548 KiB

[startup+0.310269 s]*
/proc/loadavg: 6.15 7.02 5.33 2/211 16118
/proc/meminfo: memFree=25464836/32770624 swapFree=66999796/67108860
[pid=16096] ppid=16093 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16096/stat : 16096 (scop.sh) S 16093 16096 15640 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 510092337 115843072 348 33554432000 4194304 5098028 140728776956688 140728776953944 139843649892988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39821312 140728776962852 140728776963180 140728776963180 140728776966093 0
/proc/16096/statm: 28282 348 296 221 0 87 0
[pid=16099] ppid=16096 vsize=27314120 memory=130500 CPUtime=0.42 cores=0-7
/proc/16099/stat : 16099 (java) S 16096 16096 15640 0 -1 1077944320 12968 0 0 0 38 4 0 0 20 0 20 0 510092337 27969658880 32625 33554432000 4194304 4196468 140725285048688 140725285031232 140296148549367 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
/proc/16099/statm: 6828530 32625 3035 1 0 6790935 0
[pid=16099/tid=16100] ppid=16096 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/16099/task/16100/stat : 16100 (java) R 16096 16096 15640 0 -1 4202560 10521 0 0 0 26 3 0 0 20 0 20 0 510092338 27969658880 32625 33554432000 4194304 4196468 140725285048688 140296120340016 140296148571293 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16101] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16101/stat : 16101 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140296152791824 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16102] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16102/stat : 16102 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295570803600 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16103] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16103/stat : 16103 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295569751056 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16104] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16104/stat : 16104 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295568698512 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16105] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16105/stat : 16105 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295567644944 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16106] ppid=16096 vsize=27314120 memory=139926477826735 CPUtime=0 cores=0-7
/proc/16099/task/16106/stat : 16106 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295566592400 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16107] ppid=16096 vsize=27314120 memory=139926477829040 CPUtime=0 cores=0-7
/proc/16099/task/16107/stat : 16107 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295565539856 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16108] ppid=16096 vsize=27314120 memory=139926477831344 CPUtime=0 cores=0-7
/proc/16099/task/16108/stat : 16108 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295564487312 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16109] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16109/stat : 16109 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295139903984 140296148560514 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16110] ppid=16096 vsize=27314120 memory=279852955676560 CPUtime=0 cores=0-7
/proc/16099/task/16110/stat : 16110 (java) S 16096 16096 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 32625 33554432000 4194304 4196468 140725285048688 140294100084128 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16111] ppid=16096 vsize=27314120 memory=279852955674256 CPUtime=0 cores=0-7
/proc/16099/task/16111/stat : 16111 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092342 27969658880 32625 33554432000 4194304 4196468 140725285048688 140293831648752 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16112] ppid=16096 vsize=27314120 memory=279852955681168 CPUtime=0 cores=0-7
/proc/16099/task/16112/stat : 16112 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 32625 33554432000 4194304 4196468 140725285048688 140293457140432 140296148567963 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16113] ppid=16096 vsize=27314120 memory=279852955622448 CPUtime=0 cores=0-7
/proc/16099/task/16113/stat : 16113 (java) S 16096 16096 15640 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295138850800 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16114] ppid=16096 vsize=27314120 memory=279852955694992 CPUtime=0 cores=0-7
/proc/16099/task/16114/stat : 16114 (java) R 16096 16096 15640 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295137798256 140296141534409 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16115] ppid=16096 vsize=27314120 memory=279852955701904 CPUtime=0.02 cores=0-7
/proc/16099/task/16115/stat : 16115 (java) S 16096 16096 15640 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 20 0 510092345 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295136745712 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16116] ppid=16096 vsize=27314120 memory=279852955699600 CPUtime=0.07 cores=0-7
/proc/16099/task/16116/stat : 16116 (java) S 16096 16096 15640 0 -1 1077944384 488 0 0 0 7 0 0 0 20 0 20 0 510092345 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295135693168 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16117] ppid=16096 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16117/stat : 16117 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 32625 33554432000 4194304 4196468 140725285048688 140292959234784 140296148559573 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16118] ppid=16096 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16099/task/16118/stat : 16118 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092345 27969658880 32625 33554432000 4194304 4196468 140725285048688 140295134641072 140296148560514 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131892 KiB

[startup+0.701002 s]
/proc/loadavg: 6.15 7.02 5.33 2/211 16118
/proc/meminfo: memFree=25443620/32770624 swapFree=66999796/67108860
[pid=16096] ppid=16093 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/16096/stat : 16096 (scop.sh) S 16093 16096 15640 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 510092337 115843072 348 33554432000 4194304 5098028 140728776956688 140728776953944 139843649892988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39821312 140728776962852 140728776963180 140728776963180 140728776966093 0
/proc/16096/statm: 28282 348 296 221 0 87 0
[pid=16099] ppid=16096 vsize=27320392 memory=164852 CPUtime=1 cores=0-7
/proc/16099/stat : 16099 (java) S 16096 16096 15640 0 -1 1077944320 19786 0 0 0 94 6 0 0 20 0 20 0 510092337 27976081408 41213 33554432000 4194304 4196468 140725285048688 140725285031232 140296148549367 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
/proc/16099/statm: 6830098 41213 3185 1 0 6791447 0
[pid=16099/tid=16100] ppid=16096 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/16099/task/16100/stat : 16100 (java) R 16096 16096 15640 0 -1 4202560 16946 0 0 0 63 5 0 0 20 0 20 0 510092338 27976081408 41213 33554432000 4194304 4196468 140725285048688 140296120388064 140295651774884 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16101] ppid=16096 vsize=27320392 memory=139926478037872 CPUtime=0 cores=0-7
/proc/16099/task/16101/stat : 16101 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510092340 27976081408 41213 33554432000 4194304 4196468 140725285048688 140296152791824 140296148559573 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16102] ppid=16096 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16099/task/16102/stat : 16102 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27976081408 41213 33554432000 4194304 4196468 140725285048688 140295570803600 140296148559573 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0
[pid=16099/tid=16103] ppid=16096 vsize=27320392 memory=776 CPUtime=0 cores=0-7
/proc/16099/task/16103/stat : 16103 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510092340 27976081408 41213 33554432000 4194304 4196468 140725285048688 140295569751056 140296148559573 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9236480 140725285057258 140725285057686 140725285057686 140725285060559 0

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

[pid=16120/tid=16122] ppid=16096 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/16120/task/16122/stat : 16122 (java) S 16096 16096 15640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962208750736 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16123] ppid=16096 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16120/task/16123/stat : 16123 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962008919056 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16124] ppid=16096 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16120/task/16124/stat : 16124 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962007866256 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16125] ppid=16096 vsize=8414124 memory=134392 CPUtime=0 cores=0-7
/proc/16120/task/16125/stat : 16125 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962006813456 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16126] ppid=16096 vsize=8414124 memory=2570244 CPUtime=0 cores=0-7
/proc/16120/task/16126/stat : 16126 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962005760656 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16127] ppid=16096 vsize=8414124 memory=3176 CPUtime=0 cores=0-7
/proc/16120/task/16127/stat : 16127 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962004707856 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16128] ppid=16096 vsize=8414124 memory=1660 CPUtime=0 cores=0-7
/proc/16120/task/16128/stat : 16128 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962003655056 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16129] ppid=16096 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/16120/task/16129/stat : 16129 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094211 8616062976 35137 33554432000 4194304 4196468 140727238750560 139962002602256 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16130] ppid=16096 vsize=8414124 memory=134392 CPUtime=0 cores=0-7
/proc/16120/task/16130/stat : 16130 (java) S 16096 16096 15640 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510094212 8616062976 35137 33554432000 4194304 4196468 140727238750560 139961029319536 139962204519042 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16131] ppid=16096 vsize=8414124 memory=2578908 CPUtime=0 cores=0-7
/proc/16120/task/16131/stat : 16131 (java) S 16096 16096 15640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510094213 8616062976 35137 33554432000 4194304 4196468 140727238750560 139960837465632 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16132] ppid=16096 vsize=8414124 memory=8979744631437344833 CPUtime=0 cores=0-7
/proc/16120/task/16132/stat : 16132 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094213 8616062976 35137 33554432000 4194304 4196468 140727238750560 139960569030000 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16133] ppid=16096 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16120/task/16133/stat : 16133 (java) S 16096 16096 15640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510094215 8616062976 35137 33554432000 4194304 4196468 140727238750560 139960194521424 139962204526491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16134] ppid=16096 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/16120/task/16134/stat : 16134 (java) S 16096 16096 15640 0 -1 1077944384 776 0 0 0 19 0 0 0 20 0 24 0 510094215 8616062976 35137 33554432000 4194304 4196468 140727238750560 139961028266352 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16135] ppid=16096 vsize=8414124 memory=0 CPUtime=0.25 cores=0-7
/proc/16120/task/16135/stat : 16135 (java) R 16096 16096 15640 0 -1 4202560 1135 0 0 0 25 0 0 0 20 0 24 0 510094215 8616062976 35137 33554432000 4194304 4196468 140727238750560 139961027200096 139962185681577 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16136] ppid=16096 vsize=8414124 memory=0 CPUtime=0.17 cores=0-7
/proc/16120/task/16136/stat : 16136 (java) S 16096 16096 15640 0 -1 1077944384 606 0 0 0 17 0 0 0 20 0 24 0 510094215 8616062976 35137 33554432000 4194304 4196468 140727238750560 139961026160752 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16137] ppid=16096 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7
/proc/16120/task/16137/stat : 16137 (java) S 16096 16096 15640 0 -1 1077944384 1127 0 0 0 27 0 0 0 20 0 24 0 510094215 8616062976 35137 33554432000 4194304 4196468 140727238750560 139961025107952 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16138] ppid=16096 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16120/task/16138/stat : 16138 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510094216 8616062976 35137 33554432000 4194304 4196468 140727238750560 139959696616544 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16139] ppid=16096 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16120/task/16139/stat : 16139 (java) S 16096 16096 15640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510094216 8616062976 35137 33554432000 4194304 4196468 140727238750560 139961024056368 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16141] ppid=16096 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16120/task/16141/stat : 16141 (java) S 16096 16096 15640 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510094297 8616062976 35137 33554432000 4194304 4196468 140727238750560 139961643083328 139962204532505 0 4 2 25189581 18446744071579417331 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16143] ppid=16096 vsize=8414124 memory=0 CPUtime=0.03 cores=0-7
/proc/16120/task/16143/stat : 16143 (java) S 16096 16096 15640 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 24 0 510094297 8616062976 35137 33554432000 4194304 4196468 140727238750560 139959025516176 139962204529821 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16144] ppid=16096 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16120/task/16144/stat : 16144 (java) S 16096 16096 15640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 510094298 8616062976 35137 33554432000 4194304 4196468 140727238750560 139959293951536 139962204529821 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16145] ppid=16096 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/16120/task/16145/stat : 16145 (java) S 16096 16096 15640 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510094300 8616062976 35137 33554432000 4194304 4196468 140727238750560 139958757088304 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
Current children cumulated CPU time: 181.37 s
Current children cumulated vsize: 11394112 KiB
Current children cumulated memory: 2730980 KiB

[startup+43.6009 s]
/proc/loadavg: 5.24 6.60 5.27 2/217 16155
/proc/meminfo: memFree=22810688/32770624 swapFree=66999796/67108860
[pid=16096] ppid=16093 vsize=113128 memory=1472 CPUtime=34.25 cores=0-7
/proc/16096/stat : 16096 (scop.sh) S 16093 16096 15640 0 -1 4202496 581 44144 0 0 0 0 3284 141 20 0 1 0 510092337 115843072 368 33554432000 4194304 5098028 140728776956688 140728776953432 139843649892988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39821312 140728776962852 140728776963180 140728776963180 140728776966093 0
/proc/16096/statm: 28282 368 311 221 0 87 0
[pid=16120] ppid=16096 vsize=8414124 memory=308916 CPUtime=147.84 cores=0-7
/proc/16120/stat : 16120 (java) S 16096 16096 15640 0 -1 1077944320 22719 1695092 0 0 217 18 14236 313 20 0 23 0 510094209 8616062976 77229 33554432000 4194304 4196468 140727238750560 140727238733104 139962204507895 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
/proc/16120/statm: 2103531 77229 3224 1 0 2064875 0
[pid=16120/tid=16121] ppid=16096 vsize=8414124 memory=656 CPUtime=146.4 cores=0-7
/proc/16120/task/16121/stat : 16121 (java) S 16096 16096 15640 0 -1 1077944384 17463 1695092 0 0 80 11 14236 313 20 0 23 0 510094210 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962176348064 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16122] ppid=16096 vsize=8414124 memory=3612 CPUtime=145.49 cores=0-7
/proc/16120/task/16122/stat : 16122 (java) S 16096 16096 15640 0 -1 1077944384 2 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962208750736 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16123] ppid=16096 vsize=8414124 memory=2832 CPUtime=145.49 cores=0-7
/proc/16120/task/16123/stat : 16123 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962008919056 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16124] ppid=16096 vsize=8414124 memory=1552 CPUtime=145.49 cores=0-7
/proc/16120/task/16124/stat : 16124 (java) S 16096 16096 15640 0 -1 1077944384 3 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962007866256 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16125] ppid=16096 vsize=8414124 memory=1204 CPUtime=145.49 cores=0-7
/proc/16120/task/16125/stat : 16125 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962006813456 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16126] ppid=16096 vsize=8414124 memory=1072 CPUtime=145.49 cores=0-7
/proc/16120/task/16126/stat : 16126 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962005760656 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16127] ppid=16096 vsize=8414124 memory=6096 CPUtime=145.49 cores=0-7
/proc/16120/task/16127/stat : 16127 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962004707856 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16128] ppid=16096 vsize=8414124 memory=1544 CPUtime=145.49 cores=0-7
/proc/16120/task/16128/stat : 16128 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962003655056 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16129] ppid=16096 vsize=8414124 memory=776 CPUtime=145.49 cores=0-7
/proc/16120/task/16129/stat : 16129 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094211 8616062976 77229 33554432000 4194304 4196468 140727238750560 139962002602256 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16130] ppid=16096 vsize=8414124 memory=1056 CPUtime=145.49 cores=0-7
/proc/16120/task/16130/stat : 16130 (java) S 16096 16096 15640 0 -1 1077944384 7 1695092 0 0 0 0 14236 313 20 0 23 0 510094212 8616062976 77229 33554432000 4194304 4196468 140727238750560 139961029319536 139962204519042 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16131] ppid=16096 vsize=8414124 memory=14012 CPUtime=145.49 cores=0-7
/proc/16120/task/16131/stat : 16131 (java) S 16096 16096 15640 0 -1 1077944384 13 1695092 0 0 0 0 14236 313 20 0 23 0 510094213 8616062976 77229 33554432000 4194304 4196468 140727238750560 139960837465632 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16132] ppid=16096 vsize=8414124 memory=33844 CPUtime=145.49 cores=0-7
/proc/16120/task/16132/stat : 16132 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094213 8616062976 77229 33554432000 4194304 4196468 140727238750560 139960569030000 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16133] ppid=16096 vsize=8414124 memory=12024 CPUtime=145.49 cores=0-7
/proc/16120/task/16133/stat : 16133 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 23 0 510094215 8616062976 77229 33554432000 4194304 4196468 140727238750560 139960194521424 139962204526491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16134] ppid=16096 vsize=8414124 memory=2120 CPUtime=145.74 cores=0-7
/proc/16120/task/16134/stat : 16134 (java) S 16096 16096 15640 0 -1 1077944384 793 1695092 0 0 25 0 14236 313 20 0 23 0 510094215 8616062976 77229 33554432000 4194304 4196468 140727238750560 139961028266352 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16135] ppid=16096 vsize=8414124 memory=496 CPUtime=145.78 cores=0-7
/proc/16120/task/16135/stat : 16135 (java) S 16096 16096 15640 0 -1 1077944384 1146 1695092 0 0 29 0 14236 313 20 0 23 0 510094215 8616062976 77229 33554432000 4194304 4196468 140727238750560 139961027213552 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16136] ppid=16096 vsize=8414124 memory=1560 CPUtime=145.69 cores=0-7
/proc/16120/task/16136/stat : 16136 (java) S 16096 16096 15640 0 -1 1077944384 615 1695092 0 0 20 0 14236 313 20 0 23 0 510094215 8616062976 77229 33554432000 4194304 4196468 140727238750560 139961026160752 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16137] ppid=16096 vsize=8414124 memory=932 CPUtime=145.79 cores=0-7
/proc/16120/task/16137/stat : 16137 (java) S 16096 16096 15640 0 -1 1077944384 1167 1695092 0 0 30 0 14236 313 20 0 23 0 510094215 8616062976 77229 33554432000 4194304 4196468 140727238750560 139961025107952 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16138] ppid=16096 vsize=8414124 memory=1980 CPUtime=145.49 cores=0-7
/proc/16120/task/16138/stat : 16138 (java) S 16096 16096 15640 0 -1 1077944384 3 1695092 0 0 0 0 14236 313 20 0 23 0 510094216 8616062976 77229 33554432000 4194304 4196468 140727238750560 139959696616544 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16139] ppid=16096 vsize=8414124 memory=2428 CPUtime=145.5 cores=0-7
/proc/16120/task/16139/stat : 16139 (java) S 16096 16096 15640 0 -1 1077944384 3 1695092 0 0 0 1 14236 313 20 0 23 0 510094216 8616062976 77229 33554432000 4194304 4196468 140727238750560 139961024056368 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16141] ppid=16096 vsize=8414124 memory=1580 CPUtime=145.49 cores=0-7
/proc/16120/task/16141/stat : 16141 (java) S 16096 16096 15640 0 -1 1077944384 24 1695092 0 0 0 0 14236 313 20 0 23 0 510094297 8616062976 77229 33554432000 4194304 4196468 140727238750560 139961643082512 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16143] ppid=16096 vsize=8414124 memory=892 CPUtime=145.82 cores=0-7
/proc/16120/task/16143/stat : 16143 (java) R 16096 16096 15640 0 -1 4202560 139 1695092 0 0 29 4 14236 313 20 0 23 0 510094297 8616062976 77229 33554432000 4194304 4196468 140727238750560 139959025516160 139961663450182 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16145] ppid=16096 vsize=8414124 memory=1440 CPUtime=145.49 cores=0-7
/proc/16120/task/16145/stat : 16145 (java) S 16096 16096 15640 0 -1 1077944384 7 1695092 0 0 0 0 14236 313 20 0 23 0 510094300 8616062976 77229 33554432000 4194304 4196468 140727238750560 139958757088064 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
Current children cumulated CPU time: 182.09 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 310388 KiB

[startup+43.801 s]
/proc/loadavg: 5.24 6.60 5.27 2/217 16155
/proc/meminfo: memFree=22810688/32770624 swapFree=66999796/67108860
[pid=16096] ppid=16093 vsize=113128 memory=1472 CPUtime=34.25 cores=0-7
/proc/16096/stat : 16096 (scop.sh) S 16093 16096 15640 0 -1 4202496 581 44144 0 0 0 0 3284 141 20 0 1 0 510092337 115843072 368 33554432000 4194304 5098028 140728776956688 140728776953432 139843649892988 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 39821312 140728776962852 140728776963180 140728776963180 140728776966093 0
/proc/16096/statm: 28282 368 311 221 0 87 0
[pid=16120] ppid=16096 vsize=8283048 memory=321228 CPUtime=148.24 cores=0-7
/proc/16120/stat : 16120 (java) S 16096 16096 15640 0 -1 1077944320 23282 1695092 0 0 256 19 14236 313 20 0 22 0 510094209 8481841152 80307 33554432000 4194304 4196468 140727238750560 140727238733104 139962204507895 0 0 2 25189581 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
/proc/16120/statm: 2070762 80307 3233 1 0 2032106 0
[pid=16120/tid=16121] ppid=16096 vsize=8283048 memory=800 CPUtime=146.57 cores=0-7
/proc/16120/task/16121/stat : 16121 (java) R 16096 16096 15640 0 -1 4202560 17692 1695092 0 0 97 11 14236 313 20 0 22 0 510094210 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962176345808 139962204519830 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16122] ppid=16096 vsize=8283048 memory=4104 CPUtime=145.49 cores=0-7
/proc/16120/task/16122/stat : 16122 (java) S 16096 16096 15640 0 -1 1077944384 2 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962208750736 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16123] ppid=16096 vsize=8283048 memory=1808 CPUtime=145.49 cores=0-7
/proc/16120/task/16123/stat : 16123 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962008919056 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16124] ppid=16096 vsize=8283048 memory=924 CPUtime=145.49 cores=0-7
/proc/16120/task/16124/stat : 16124 (java) S 16096 16096 15640 0 -1 1077944384 3 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962007866256 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16125] ppid=16096 vsize=8283048 memory=4444 CPUtime=145.49 cores=0-7
/proc/16120/task/16125/stat : 16125 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962006813456 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16126] ppid=16096 vsize=8283048 memory=1412 CPUtime=145.49 cores=0-7
/proc/16120/task/16126/stat : 16126 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962005760656 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16127] ppid=16096 vsize=8283048 memory=3272 CPUtime=145.49 cores=0-7
/proc/16120/task/16127/stat : 16127 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962004707856 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16128] ppid=16096 vsize=8283048 memory=1472 CPUtime=145.49 cores=0-7
/proc/16120/task/16128/stat : 16128 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962003655056 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16129] ppid=16096 vsize=8283048 memory=134392 CPUtime=145.49 cores=0-7
/proc/16120/task/16129/stat : 16129 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094211 8481841152 80307 33554432000 4194304 4196468 140727238750560 139962002602256 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16130] ppid=16096 vsize=8283048 memory=2585684 CPUtime=145.49 cores=0-7
/proc/16120/task/16130/stat : 16130 (java) S 16096 16096 15640 0 -1 1077944384 7 1695092 0 0 0 0 14236 313 20 0 22 0 510094212 8481841152 80307 33554432000 4194304 4196468 140727238750560 139961029319536 139962204519042 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16131] ppid=16096 vsize=8283048 memory=1660 CPUtime=145.49 cores=0-7
/proc/16120/task/16131/stat : 16131 (java) S 16096 16096 15640 0 -1 1077944384 13 1695092 0 0 0 0 14236 313 20 0 22 0 510094213 8481841152 80307 33554432000 4194304 4196468 140727238750560 139960837465632 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16132] ppid=16096 vsize=8283048 memory=1398722017469774279 CPUtime=145.49 cores=0-7
/proc/16120/task/16132/stat : 16132 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094213 8481841152 80307 33554432000 4194304 4196468 140727238750560 139960569030000 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16133] ppid=16096 vsize=8283048 memory=4872558044660077418 CPUtime=145.49 cores=0-7
/proc/16120/task/16133/stat : 16133 (java) S 16096 16096 15640 0 -1 1077944384 1 1695092 0 0 0 0 14236 313 20 0 22 0 510094215 8481841152 80307 33554432000 4194304 4196468 140727238750560 139960194521424 139962204526491 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16134] ppid=16096 vsize=8283048 memory=2120 CPUtime=145.79 cores=0-7
/proc/16120/task/16134/stat : 16134 (java) R 16096 16096 15640 0 -1 4202560 812 1695092 0 0 29 1 14236 313 20 0 22 0 510094215 8481841152 80307 33554432000 4194304 4196468 140727238750560 139961028247184 139962184351489 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16135] ppid=16096 vsize=8283048 memory=496 CPUtime=145.81 cores=0-7
/proc/16120/task/16135/stat : 16135 (java) R 16096 16096 15640 0 -1 4202560 1163 1695092 0 0 32 0 14236 313 20 0 22 0 510094215 8481841152 80307 33554432000 4194304 4196468 140727238750560 139961027192144 139962184161568 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16136] ppid=16096 vsize=8283048 memory=1560 CPUtime=145.72 cores=0-7
/proc/16120/task/16136/stat : 16136 (java) R 16096 16096 15640 0 -1 4202560 642 1695092 0 0 23 0 14236 313 20 0 22 0 510094215 8481841152 80307 33554432000 4194304 4196468 140727238750560 139961026160752 139962183889322 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16137] ppid=16096 vsize=8283048 memory=932 CPUtime=145.88 cores=0-7
/proc/16120/task/16137/stat : 16137 (java) S 16096 16096 15640 0 -1 1077944384 1431 1695092 0 0 39 0 14236 313 20 0 22 0 510094215 8481841152 80307 33554432000 4194304 4196468 140727238750560 139961025107952 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16138] ppid=16096 vsize=8283048 memory=1980 CPUtime=145.49 cores=0-7
/proc/16120/task/16138/stat : 16138 (java) S 16096 16096 15640 0 -1 1077944384 3 1695092 0 0 0 0 14236 313 20 0 22 0 510094216 8481841152 80307 33554432000 4194304 4196468 140727238750560 139959696616544 139962204518101 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16139] ppid=16096 vsize=8283048 memory=2428 CPUtime=145.5 cores=0-7
/proc/16120/task/16139/stat : 16139 (java) S 16096 16096 15640 0 -1 1077944384 3 1695092 0 0 0 1 14236 313 20 0 22 0 510094216 8481841152 80307 33554432000 4194304 4196468 140727238750560 139961024056368 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16141] ppid=16096 vsize=8283048 memory=1580 CPUtime=145.49 cores=0-7
/proc/16120/task/16141/stat : 16141 (java) S 16096 16096 15640 0 -1 1077944384 24 1695092 0 0 0 0 14236 313 20 0 22 0 510094297 8481841152 80307 33554432000 4194304 4196468 140727238750560 139961643082512 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
[pid=16120/tid=16145] ppid=16096 vsize=8283048 memory=892 CPUtime=145.49 cores=0-7
/proc/16120/task/16145/stat : 16145 (java) S 16096 16096 15640 0 -1 1077944384 11 1695092 0 0 0 0 14236 313 20 0 22 0 510094300 8481841152 80307 33554432000 4194304 4196468 140727238750560 139958757090096 139962204519042 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21512192 140727238755319 140727238755478 140727238755478 140727238758351 0
Current children cumulated CPU time: 182.49 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 322700 KiB

Child status: 0
Real time (s): 43.8896
CPU time (s): 182.851
CPU user time (s): 178.06
CPU system time (s): 4.79159
CPU usage (%): 416.616
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6023700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.06
system time used= 4.79159
maximum resident set size= 6023184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1766406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 115320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85583
involuntary context switches= 1463


# summary of solver processes directly reported to runsolver:
#   pid: 16096
#   total CPU time (s): 182.851
#   total CPU user time (s): 178.06
#   total CPU system time (s): 4.79159

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.42805 second user time and 0.521651 second system time

The end

Launcher Data 

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

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-70-05.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-4405540-1569338275/watcher-4405540-1569338275 -o /tmp/evaluation-result-4405540-1569338275/solver-4405540-1569338275 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1569335939-15667 --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-4405540-1569338275.xml

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

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=1849938884

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25586392 kB
MemAvailable:   31838336 kB
Buffers:           86172 kB
Cached:          6319492 kB
SwapCached:         6628 kB
Active:          3179976 kB
Inactive:        3237312 kB
Active(anon):       4368 kB
Inactive(anon):    64000 kB
Active(file):    3175608 kB
Inactive(file):  3173312 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66999796 kB
Dirty:             20760 kB
Writeback:             0 kB
AnonPages:        138340 kB
Mapped:            56792 kB
Shmem:             47928 kB
Slab:             361372 kB
SReclaimable:     331484 kB
SUnreclaim:        29888 kB
KernelStack:        3712 kB
PageTables:         5408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

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