Trace number 4392680

Some explanations

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

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

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

Solver answer on this benchmark

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

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-7670-serial-file.bin HOME/instance-4392680-1568430770.xml
0.65/0.54	
0.65/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:12:10 CEST 2019
0.65/0.57	c PID: 7673
0.65/0.57	c IP: 172.20.3.146
0.65/0.57	c HOST: node146.alineos.net
0.65/0.58	c (0,0) Parsing Begin
3.31/1.40	c (0,0) Parsing End
3.31/1.41	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1412 ctr, max domain size 24
3.31/1.41	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.41	c (0,0) Constraint Name Generate Begin
3.31/1.44	c (0,0) Ctr:HOME/instance-4392680-1568430770.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.31/1.44	c (0,0) Constraint Name Generate End
3.31/1.44	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.31/1.44	c (0,0) CSP to CSPinCNF Begin
12.32/4.70	c (4,4) translated 142 (10%) constraints
12.96/5.52	c (4,4) translated 283 (20%) constraints
12.96/5.54	c (4,4) translated 424 (30%) constraints
12.96/5.56	c (5,4) translated 565 (40%) constraints
12.96/5.59	c (5,4) translated 706 (50%) constraints
13.36/5.60	c (5,4) translated 848 (60%) constraints
13.36/5.62	c (5,4) translated 989 (70%) constraints
13.36/5.64	c (5,4) translated 1130 (80%) constraints
15.64/7.37	c (6,6) translated 1271 (90%) constraints
17.14/8.87	c (8,8) translated 1412 (100%) constraints
17.14/8.87	c (8,8) ===========================================
17.26/8.92	c (8,8) Hybrid: #OE=10800, #LE=5800
17.26/8.92	c (8,8) Hybrid
17.26/8.92	c (8,8) ===========================================
18.33/9.49	c (8,8) translated 5744 (10%) constraints
18.86/9.75	c (9,8) translated 11487 (20%) constraints
19.23/9.88	c (9,9) translated 17231 (30%) constraints
19.44/10.01	c (9,9) translated 22974 (40%) constraints
19.54/10.14	c (9,9) translated 28718 (50%) constraints
19.63/10.27	c (9,9) translated 34461 (60%) constraints
19.83/10.40	c (9,9) translated 40205 (70%) constraints
19.93/10.53	c (9,9) translated 45948 (80%) constraints
20.03/10.66	c (10,9) translated 51692 (90%) constraints
21.33/11.85	c (11,11) translated 57435 (100%) constraints
21.33/11.85	c (11,11) CSP to CSPinCNF End
21.33/11.86	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 67059 ctr, max domain size 24
21.33/11.86	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 34 MiB used (max 0 MiB)
21.33/11.86	c (11,11) CSPinCNF Propagation Begin
22.58/12.54	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.58/12.54	c (11,11) CSPinCNF Propagation End
22.58/12.54	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66659 ctr, max domain size 24
22.58/12.54	c (11,11) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.58/12.60	c (12,11) Hybrid: #OE=15600, #LE=5800
22.58/12.60	c (12,11) Simplify CSPinCNF Begin
23.13/12.79	c (12,12) Simplify CSPinCNF End
23.13/12.80	c (12,12) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66659 ctr, max domain size 24
23.13/12.80	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.13/12.80	c (12,12) Calculate Precise Domain Begin
23.24/12.80	c (12,12) 0 values are removed by re-calculation
23.24/12.80	c (12,12) Calculate Precise Domain End
23.24/12.80	c (12,12) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66659 ctr, max domain size 24
23.24/12.80	c (12,12) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
23.24/12.80	c (12,12) CSPinCNF to SatSolver Begin
25.68/13.71	c (13,12) 6666 (10 %) CSP clauses are encoded (0 SAT variables, 227713 SAT clauses)
26.08/13.83	c (13,13) 13332 (20 %) CSP clauses are encoded (0 SAT variables, 234379 SAT clauses)
26.41/13.92	c (13,13) 19998 (30 %) CSP clauses are encoded (0 SAT variables, 241045 SAT clauses)
26.78/14.02	c (13,13) 26664 (40 %) CSP clauses are encoded (0 SAT variables, 247711 SAT clauses)
26.78/14.10	c (13,13) 33330 (50 %) CSP clauses are encoded (0 SAT variables, 254377 SAT clauses)
26.90/14.18	c (13,13) 39996 (60 %) CSP clauses are encoded (0 SAT variables, 261043 SAT clauses)
27.00/14.26	c (13,13) 46662 (70 %) CSP clauses are encoded (0 SAT variables, 267709 SAT clauses)
27.10/14.34	c (13,13) 53328 (80 %) CSP clauses are encoded (0 SAT variables, 274375 SAT clauses)
27.20/14.41	c (13,13) 59994 (90 %) CSP clauses are encoded (0 SAT variables, 281041 SAT clauses)
32.65/18.66	c (18,17) 66659 (100 %) CSP clauses are encoded (0 SAT variables, 2576090 SAT clauses)
32.65/18.67	c (18,17) CSPinCNF to SatSolver End
32.65/18.67	c (18,17) Heap : 3871 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
32.65/18.67	c (18,17) 878478 bool, 2576091 clause
32.65/18.67	c (18,17) Export Begin
33.05/18.88	c (18,17) Export to HOME/scop-7670-serial-file.bin
33.05/18.88	c (18,17) Export End
33.05/18.88	c (18,17) Export File Size: 0.47 MB
33.05/18.88	c (18,17) 0,0,11,11,12,12,18,STOP-AFTER(DIMACS)
33.05/18.88	c END-Prog: Sat Sep 14 05:12:29 CEST 2019
0.00/18.92	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7670-serial-file.bin
33.81/19.38	c (0,0) Read Serial File Begin
33.81/19.38	c (0,0) HOME/scop-7670-serial-file.bin
34.58/19.73	c (0,0) Read Serial File End
34.58/19.75	
34.58/19.75	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
34.58/19.75	(Solving Process)
34.58/19.75	
34.58/19.77	c BEGIN-Prog: Sat Sep 14 05:12:30 CEST 2019
34.58/19.77	c PID: 7695
34.58/19.77	c IP: 172.20.3.146
34.58/19.77	c HOST: node146.alineos.net
34.58/19.77	c (0,0) SatSolver.solve Begin
34.58/19.77	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392680-1568430770.xml-scop-7673.cnf
34.91/19.80	c (0,0) c
34.91/19.80	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
34.91/19.80	c (0,0) c
34.91/19.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
34.91/19.80	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
34.91/19.80	c (0,0) c ========================================[ Problem Statistics ]===========================================
34.91/19.80	c (0,0) c |                                                                                                       |
36.16/20.91	c (1,0) c |  Number of variables:        878478                                                                   |
36.16/20.91	c (1,0) c |  Number of clauses:         2575239                                                                   |
36.16/20.91	c (1,0) c |  Parse time:                   1.01 s                                                                 |
36.16/20.91	c (1,0) c |                                                                                                       |
37.87/22.70	c (3,0) c |  Simplification time:          1.73 s                                                                 |
37.87/22.70	c (3,0) c |                                                                                                       |
37.87/22.70	c (3,0) c |  Generating clones                                                                                    |
39.07/23.86	c (4,0) c |  all clones generated. Memory =  2245.46Mb.                                                           |
39.07/23.86	c (4,0) c ========================================================================================================|
39.07/23.86	c (4,0) c
39.07/23.86	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
39.07/23.86	c (4,0) c
39.07/23.86	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.07/23.86	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
39.07/23.86	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
39.07/23.86	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
39.07/23.86	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
39.07/23.86	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
39.07/23.86	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
39.07/23.86	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
39.07/23.86	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
39.07/23.86	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
39.07/23.86	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
39.07/23.86	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
39.07/23.86	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
39.07/23.86	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
39.07/23.86	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
39.07/23.86	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
39.07/23.86	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
39.07/23.86	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
39.07/23.86	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c
182.10/43.34	c (24,0) c real time : 23.5394 s
182.10/43.34	c (24,0) c cpu time  : 143.984 s
182.10/43.34	c (24,0) c
182.10/43.34	c (24,0) c
182.10/43.34	c (24,0) c
182.10/43.34	c (24,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
182.10/43.34	c (24,0) c
182.10/43.34	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
182.10/43.34	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c | Conflicts     |          228103 |      30998 |      36586 |      57801 |      28182 |      27460 |      13910 |      13324 |      19842 |
182.10/43.34	c (24,0) c | Decisions     |         7534995 |    1100586 |    1197137 |    1061030 |     477716 |     652944 |    1051589 |    1070648 |     923345 |
182.10/43.34	c (24,0) c | Propagations  |       495590937 |   53327811 |   62988951 |   63958122 |   61928066 |   65013456 |   63517576 |   62759333 |   62097622 |
182.10/43.34	c (24,0) c | ReduceDBs     |              31 |          4 |          5 |          6 |          4 |          4 |          3 |          2 |          3 |
182.10/43.34	c (24,0) c | SimpDBs       |              46 |          5 |          6 |          5 |          7 |          5 |          7 |          6 |          5 |
182.10/43.34	c (24,0) c | Restarts      |             487 |         15 |         89 |        120 |         67 |         52 |         57 |         57 |         30 |
182.10/43.34	c (24,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
182.10/43.34	c (24,0) c | PropBinClauses|        82472075 |    6363321 |   13154974 |   14716567 |   11903179 |   11181056 |    9436291 |    8200587 |    7516100 |
182.10/43.34	c (24,0) c | PropPreBlocker|      1282908168 |  155075506 |  154929753 |  151995138 |  157261818 |  164182702 |  159573528 |  162127372 |  177762351 |
182.10/43.34	c (24,0) c | PropNotBlocker|       571042338 |   64409314 |   71967973 |   73398846 |   70240878 |   73561067 |   72309158 |   72510491 |   72644611 |
182.10/43.34	c (24,0) c | LitFullScans  |      2916433391 |  364030095 |  360200362 |  360105798 |  360306368 |  360128156 |  366127703 |  361976707 |  383558202 |
182.10/43.34	c (24,0) c | LitScanFracts |         1133836 |     141757 |     177588 |      98272 |     295075 |      96021 |     112587 |     106632 |     105904 |
182.10/43.34	c (24,0) c | DecisionLevel0|             509 |         16 |         90 |        121 |         69 |         53 |         67 |         60 |         33 |
182.10/43.34	c (24,0) c | Periods       |             484 |         60 |         60 |         60 |         60 |         60 |         61 |         60 |         63 |
182.10/43.34	c (24,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
182.10/43.34	c (24,0) c | Avg_Trail     |                 |      69004 |      36551 |      30460 |      48449 |      47635 |      60874 |      71389 |      48553 |
182.10/43.34	c (24,0) c | Avg_DL        |                 |       3038 |        336 |        307 |        365 |        427 |        629 |       1051 |        325 |
182.10/43.34	c (24,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
182.10/43.34	c (24,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
182.10/43.34	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c | Exported      |           55432 |      11136 |       8210 |      12982 |       6262 |       6871 |       2590 |       1908 |       5473 |
182.10/43.34	c (24,0) c | Imported      |          180022 |      22032 |      20182 |      17861 |      21610 |      23355 |      24494 |      24336 |      26152 |
182.10/43.34	c (24,0) c | Good          |           16874 |       2317 |       1885 |       1741 |       2108 |       2123 |       2246 |       2073 |       2381 |
182.10/43.34	c (24,0) c | Purge         |          163148 |      19715 |      18297 |      16120 |      19502 |      21232 |      22248 |      22263 |      23771 |
182.10/43.34	c (24,0) c | Promoted      |             207 |          7 |         75 |         12 |          5 |          1 |         11 |          5 |         91 |
182.10/43.34	c (24,0) c | Remove_Imp    |           29364 |          0 |          0 |          0 |          0 |          0 |      13243 |          0 |      16121 |
182.10/43.34	c (24,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
182.10/43.34	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c | Unaries       |                 |          1 |          1 |          1 |          2 |          1 |         10 |          3 |          3 |
182.10/43.34	c (24,0) c | Binaries      |                 |        372 |        642 |        864 |        492 |        481 |        333 |        394 |        171 |
182.10/43.34	c (24,0) c | Glues         |                 |       1246 |       1444 |       2733 |       1253 |        941 |        581 |        728 |        392 |
182.10/43.34	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c | Orig_Seen     |             3 % |      62713 |      79888 |      82121 |      70635 |      90634 |     101358 |     104666 |      59327 |
182.10/43.34	c (24,0) c | Diff Orig seen|                 | -    41953 | -    24778 | -    22545 | -    34031 | -    14032 | -     3308 |      X     | -    45339 |
182.10/43.34	c (24,0) c | Hamming       |            21 % |     189967 |     185060 |     164509 |     207850 |     188567 |     201804 |      X     |     196632 |
182.10/43.34	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c | RunningTime   |                 |   19.1 100%|   19.4 100%|   17.9 100%|   17.9 100%|   18.2 100%|   17.5 100%|   17.2 100%|   17.3 100%|
182.10/43.34	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%|
182.10/43.34	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%|
182.10/43.34	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%|
182.10/43.34	c (24,0) c | SolvingTime   |                 |   19.1     |   19.4     |   17.9     |   18.0     |   18.2     |   17.5     |   17.2     |   17.3     |
182.10/43.34	c (24,0) c | PropagationTim|                 |   16.6  87%|   17.0  87%|   15.2  85%|   15.6  87%|   15.9  87%|   15.2  87%|   14.9  87%|   15.0  87%|
182.10/43.34	c (24,0) c | AnalysisTime  |                 |    1.1   6%|    0.7   3%|    0.8   5%|    0.6   4%|    0.7   4%|    0.5   3%|    0.5   3%|    0.8   4%|
182.10/43.34	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%|
182.10/43.34	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%|
182.10/43.34	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%|
182.10/43.34	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%|
182.10/43.34	c (24,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.34	c (24,0) c
182.10/43.34	c (24,0) c
182.10/43.34	c (24,0) c Threads : 8
182.10/43.34	c (24,0) c Winner : 6
182.10/43.34	c (24,0) c Conflicts_0 : 30998
182.10/43.34	c (24,0) c Conflicts_1 : 36586
182.10/43.34	c (24,0) c Conflicts_2 : 57801
182.10/43.34	c (24,0) c Conflicts_3 : 28182
182.10/43.34	c (24,0) c Conflicts_4 : 27460
182.10/43.34	c (24,0) c Conflicts_5 : 13910
182.10/43.34	c (24,0) c Conflicts_6 : 13324
182.10/43.34	c (24,0) c Conflicts_7 : 19842
182.10/43.34	c (24,0) c Conflicts_total : 228103
182.10/43.34	c (24,0) c Conflicts_winner : 13324
182.10/43.34	c (24,0) c Decisions_0 : 1100586
182.10/43.34	c (24,0) c Decisions_1 : 1197137
182.10/43.34	c (24,0) c Decisions_2 : 1061030
182.10/43.34	c (24,0) c Decisions_3 : 477716
182.10/43.34	c (24,0) c Decisions_4 : 652944
182.10/43.34	c (24,0) c Decisions_5 : 1051589
182.10/43.34	c (24,0) c Decisions_6 : 1070648
182.10/43.34	c (24,0) c Decisions_7 : 923345
182.10/43.34	c (24,0) c Decisions_total : 7534995
182.10/43.34	c (24,0) c Decisions_winner : 1070648
182.10/43.34	c (24,0) c Propagations_0 : 53327811
182.10/43.34	c (24,0) c Propagations_1 : 62988951
182.10/43.34	c (24,0) c Propagations_2 : 63958122
182.10/43.34	c (24,0) c Propagations_3 : 61928066
182.10/43.34	c (24,0) c Propagations_4 : 65013456
182.10/43.34	c (24,0) c Propagations_5 : 63517576
182.10/43.34	c (24,0) c Propagations_6 : 62759333
182.10/43.34	c (24,0) c Propagations_7 : 62097622
182.10/43.34	c (24,0) c Propagations_total : 495590937
182.10/43.34	c (24,0) c Propagations_winner : 62759333
182.10/43.34	c (24,0) c ReduceDBs_0 : 4
182.10/43.34	c (24,0) c ReduceDBs_1 : 5
182.10/43.34	c (24,0) c ReduceDBs_2 : 6
182.10/43.34	c (24,0) c ReduceDBs_3 : 4
182.10/43.34	c (24,0) c ReduceDBs_4 : 4
182.10/43.34	c (24,0) c ReduceDBs_5 : 3
182.10/43.34	c (24,0) c ReduceDBs_6 : 2
182.10/43.34	c (24,0) c ReduceDBs_7 : 3
182.10/43.34	c (24,0) c ReduceDBs_total : 31
182.10/43.34	c (24,0) c ReduceDBs_winner : 2
182.10/43.34	c (24,0) c SimpDBs_0 : 5
182.10/43.34	c (24,0) c SimpDBs_1 : 6
182.10/43.34	c (24,0) c SimpDBs_2 : 5
182.10/43.34	c (24,0) c SimpDBs_3 : 7
182.10/43.34	c (24,0) c SimpDBs_4 : 5
182.10/43.34	c (24,0) c SimpDBs_5 : 7
182.10/43.34	c (24,0) c SimpDBs_6 : 6
182.10/43.34	c (24,0) c SimpDBs_7 : 5
182.10/43.34	c (24,0) c SimpDBs_total : 46
182.10/43.34	c (24,0) c SimpDBs_winner : 6
182.10/43.34	c (24,0) c Restarts_0 : 15
182.10/43.34	c (24,0) c Restarts_1 : 89
182.10/43.34	c (24,0) c Restarts_2 : 120
182.10/43.34	c (24,0) c Restarts_3 : 67
182.10/43.34	c (24,0) c Restarts_4 : 52
182.10/43.34	c (24,0) c Restarts_5 : 57
182.10/43.34	c (24,0) c Restarts_6 : 57
182.10/43.34	c (24,0) c Restarts_7 : 30
182.10/43.34	c (24,0) c Restarts_total : 487
182.10/43.34	c (24,0) c Restarts_winner : 57
182.10/43.34	c (24,0) c ForcedImports_0 : 0
182.10/43.34	c (24,0) c ForcedImports_1 : 0
182.10/43.34	c (24,0) c ForcedImports_2 : 0
182.10/43.34	c (24,0) c ForcedImports_3 : 0
182.10/43.34	c (24,0) c ForcedImports_4 : 0
182.10/43.34	c (24,0) c ForcedImports_5 : 0
182.10/43.34	c (24,0) c ForcedImports_6 : 0
182.10/43.34	c (24,0) c ForcedImports_7 : 0
182.10/43.34	c (24,0) c ForcedImports_total : 0
182.10/43.34	c (24,0) c ForcedImports_winner : 0
182.10/43.34	c (24,0) c PropsBinClauses_0 : 6363321
182.10/43.34	c (24,0) c PropsBinClauses_1 : 13154974
182.10/43.34	c (24,0) c PropsBinClauses_2 : 14716567
182.10/43.34	c (24,0) c PropsBinClauses_3 : 11903179
182.10/43.34	c (24,0) c PropsBinClauses_4 : 11181056
182.10/43.34	c (24,0) c PropsBinClauses_5 : 9436291
182.10/43.34	c (24,0) c PropsBinClauses_6 : 8200587
182.10/43.34	c (24,0) c PropsBinClauses_7 : 7516100
182.10/43.34	c (24,0) c PropsBinClauses_total : 82472075
182.10/43.34	c (24,0) c PropsBinClauses_winner : 8200587
182.10/43.34	c (24,0) c PropsPreBlocker_0 : 155075506
182.10/43.34	c (24,0) c PropsPreBlocker_1 : 154929753
182.10/43.34	c (24,0) c PropsPreBlocker_2 : 151995138
182.10/43.34	c (24,0) c PropsPreBlocker_3 : 157261818
182.10/43.34	c (24,0) c PropsPreBlocker_4 : 164182702
182.10/43.34	c (24,0) c PropsPreBlocker_5 : 159573528
182.10/43.34	c (24,0) c PropsPreBlocker_6 : 162127372
182.10/43.34	c (24,0) c PropsPreBlocker_7 : 177762351
182.10/43.34	c (24,0) c PropsPreBlocker_total : 1282908168
182.10/43.34	c (24,0) c PropsPreBlocker_winner : 162127372
182.10/43.34	c (24,0) c PropsNotBlocker_0 : 64409314
182.10/43.34	c (24,0) c PropsNotBlocker_1 : 71967973
182.10/43.34	c (24,0) c PropsNotBlocker_2 : 73398846
182.10/43.34	c (24,0) c PropsNotBlocker_3 : 70240878
182.10/43.34	c (24,0) c PropsNotBlocker_4 : 73561067
182.10/43.34	c (24,0) c PropsNotBlocker_5 : 72309158
182.10/43.34	c (24,0) c PropsNotBlocker_6 : 72510491
182.10/43.34	c (24,0) c PropsNotBlocker_7 : 72644611
182.10/43.34	c (24,0) c PropsNotBlocker_total : 571042338
182.10/43.34	c (24,0) c PropsNotBlocker_winner : 72510491
182.10/43.34	c (24,0) c PropsLitFullScans_0 : 364030095
182.10/43.34	c (24,0) c PropsLitFullScans_1 : 360200362
182.10/43.34	c (24,0) c PropsLitFullScans_2 : 360105798
182.10/43.34	c (24,0) c PropsLitFullScans_3 : 360306368
182.10/43.34	c (24,0) c PropsLitFullScans_4 : 360128156
182.10/43.34	c (24,0) c PropsLitFullScans_5 : 366127703
182.10/43.34	c (24,0) c PropsLitFullScans_6 : 361976707
182.10/43.34	c (24,0) c PropsLitFullScans_7 : 383558202
182.10/43.34	c (24,0) c PropsLitFullScans_total : 2916433391
182.10/43.34	c (24,0) c PropsLitFullScans_winner : 361976707
182.10/43.34	c (24,0) c LitScanFractions_0 : 141757
182.10/43.34	c (24,0) c LitScanFractions_1 : 177588
182.10/43.34	c (24,0) c LitScanFractions_2 : 98272
182.10/43.34	c (24,0) c LitScanFractions_3 : 295075
182.10/43.34	c (24,0) c LitScanFractions_4 : 96021
182.10/43.34	c (24,0) c LitScanFractions_5 : 112587
182.10/43.34	c (24,0) c LitScanFractions_6 : 106632
182.10/43.34	c (24,0) c LitScanFractions_7 : 105904
182.10/43.34	c (24,0) c LitScanFractions_total : 1133836
182.10/43.34	c (24,0) c LitScanFractions_winner : 106632
182.10/43.34	c (24,0) c DecisionLevel0_0 : 16
182.10/43.34	c (24,0) c DecisionLevel0_1 : 90
182.10/43.34	c (24,0) c DecisionLevel0_2 : 121
182.10/43.34	c (24,0) c DecisionLevel0_3 : 69
182.10/43.34	c (24,0) c DecisionLevel0_4 : 53
182.10/43.34	c (24,0) c DecisionLevel0_5 : 67
182.10/43.34	c (24,0) c DecisionLevel0_6 : 60
182.10/43.35	c (24,0) c DecisionLevel0_7 : 33
182.10/43.35	c (24,0) c DecisionLevel0_total : 509
182.10/43.35	c (24,0) c DecisionLevel0_winner : 60
182.10/43.35	c (24,0) c Periods_0 : 60
182.10/43.35	c (24,0) c Periods_1 : 60
182.10/43.35	c (24,0) c Periods_2 : 60
182.10/43.35	c (24,0) c Periods_3 : 60
182.10/43.35	c (24,0) c Periods_4 : 60
182.10/43.35	c (24,0) c Periods_5 : 61
182.10/43.35	c (24,0) c Periods_6 : 60
182.10/43.35	c (24,0) c Periods_7 : 63
182.10/43.35	c (24,0) c Periods_total : 484
182.10/43.35	c (24,0) c Periods_winner : 60
182.10/43.35	c (24,0) c Margin_0 : 20
182.10/43.35	c (24,0) c Margin_1 : 20
182.10/43.35	c (24,0) c Margin_2 : 20
182.10/43.35	c (24,0) c Margin_3 : 20
182.10/43.35	c (24,0) c Margin_4 : 20
182.10/43.35	c (24,0) c Margin_5 : 20
182.10/43.35	c (24,0) c Margin_6 : 20
182.10/43.35	c (24,0) c Margin_7 : 20
182.10/43.35	c (24,0) c Margin_total : 160
182.10/43.35	c (24,0) c Margin_winner : 20
182.10/43.35	c (24,0) c Exported_0 : 11136
182.10/43.35	c (24,0) c Exported_1 : 8210
182.10/43.35	c (24,0) c Exported_2 : 12982
182.10/43.35	c (24,0) c Exported_3 : 6262
182.10/43.35	c (24,0) c Exported_4 : 6871
182.10/43.35	c (24,0) c Exported_5 : 2590
182.10/43.35	c (24,0) c Exported_6 : 1908
182.10/43.35	c (24,0) c Exported_7 : 5473
182.10/43.35	c (24,0) c Exported_total : 55432
182.10/43.35	c (24,0) c Exported_winner : 1908
182.10/43.35	c (24,0) c Imported_0 : 22032
182.10/43.35	c (24,0) c Imported_1 : 20182
182.10/43.35	c (24,0) c Imported_2 : 17861
182.10/43.35	c (24,0) c Imported_3 : 21610
182.10/43.35	c (24,0) c Imported_4 : 23355
182.10/43.35	c (24,0) c Imported_5 : 24494
182.10/43.35	c (24,0) c Imported_6 : 24336
182.10/43.35	c (24,0) c Imported_7 : 26152
182.10/43.35	c (24,0) c Imported_total : 180022
182.10/43.35	c (24,0) c Imported_winner : 24336
182.10/43.35	c (24,0) c Good_0 : 2317
182.10/43.35	c (24,0) c Good_1 : 1885
182.10/43.35	c (24,0) c Good_2 : 1741
182.10/43.35	c (24,0) c Good_3 : 2108
182.10/43.35	c (24,0) c Good_4 : 2123
182.10/43.35	c (24,0) c Good_5 : 2246
182.10/43.35	c (24,0) c Good_6 : 2073
182.10/43.35	c (24,0) c Good_7 : 2381
182.10/43.35	c (24,0) c Good_total : 16874
182.10/43.35	c (24,0) c Good_winner : 2073
182.10/43.35	c (24,0) c Purge_0 : 19715
182.10/43.35	c (24,0) c Purge_1 : 18297
182.10/43.35	c (24,0) c Purge_2 : 16120
182.10/43.35	c (24,0) c Purge_3 : 19502
182.10/43.35	c (24,0) c Purge_4 : 21232
182.10/43.35	c (24,0) c Purge_5 : 22248
182.10/43.35	c (24,0) c Purge_6 : 22263
182.10/43.35	c (24,0) c Purge_7 : 23771
182.10/43.35	c (24,0) c Purge_total : 163148
182.10/43.35	c (24,0) c Purge_winner : 22263
182.10/43.35	c (24,0) c Promoted_0 : 7
182.10/43.35	c (24,0) c Promoted_1 : 75
182.10/43.35	c (24,0) c Promoted_2 : 12
182.10/43.35	c (24,0) c Promoted_3 : 5
182.10/43.35	c (24,0) c Promoted_4 : 1
182.10/43.35	c (24,0) c Promoted_5 : 11
182.10/43.35	c (24,0) c Promoted_6 : 5
182.10/43.35	c (24,0) c Promoted_7 : 91
182.10/43.35	c (24,0) c Promoted_total : 207
182.10/43.35	c (24,0) c Promoted_winner : 5
182.10/43.35	c (24,0) c Remove_Imp_0 : 0
182.10/43.35	c (24,0) c Remove_Imp_1 : 0
182.10/43.35	c (24,0) c Remove_Imp_2 : 0
182.10/43.35	c (24,0) c Remove_Imp_3 : 0
182.10/43.35	c (24,0) c Remove_Imp_4 : 0
182.10/43.35	c (24,0) c Remove_Imp_5 : 13243
182.10/43.35	c (24,0) c Remove_Imp_6 : 0
182.10/43.35	c (24,0) c Remove_Imp_7 : 16121
182.10/43.35	c (24,0) c Remove_Imp_total : 29364
182.10/43.35	c (24,0) c Remove_Imp_winner : 0
182.10/43.35	c (24,0) c Blocked_Reuse_0 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_1 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_2 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_3 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_4 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_5 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_6 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_7 : 0
182.10/43.35	c (24,0) c Blocked_Reuse_total : 0
182.10/43.35	c (24,0) c Blocked_Reuse_winner : 0
182.10/43.35	c (24,0) c Unaries_0 : 1
182.10/43.35	c (24,0) c Unaries_1 : 1
182.10/43.35	c (24,0) c Unaries_2 : 1
182.10/43.35	c (24,0) c Unaries_3 : 2
182.10/43.35	c (24,0) c Unaries_4 : 1
182.10/43.35	c (24,0) c Unaries_5 : 10
182.10/43.35	c (24,0) c Unaries_6 : 3
182.10/43.35	c (24,0) c Unaries_7 : 3
182.10/43.35	c (24,0) c Unaries_total : 22
182.10/43.35	c (24,0) c Unaries_winner : 3
182.10/43.35	c (24,0) c Binaries_0 : 372
182.10/43.35	c (24,0) c Binaries_1 : 642
182.10/43.35	c (24,0) c Binaries_2 : 864
182.10/43.35	c (24,0) c Binaries_3 : 492
182.10/43.35	c (24,0) c Binaries_4 : 481
182.10/43.35	c (24,0) c Binaries_5 : 333
182.10/43.35	c (24,0) c Binaries_6 : 394
182.10/43.35	c (24,0) c Binaries_7 : 171
182.10/43.35	c (24,0) c Binaries_total : 3749
182.10/43.35	c (24,0) c Binaries_winner : 394
182.10/43.35	c (24,0) c Glues_0 : 1246
182.10/43.35	c (24,0) c Glues_1 : 1444
182.10/43.35	c (24,0) c Glues_2 : 2733
182.10/43.35	c (24,0) c Glues_3 : 1253
182.10/43.35	c (24,0) c Glues_4 : 941
182.10/43.35	c (24,0) c Glues_5 : 581
182.10/43.35	c (24,0) c Glues_6 : 728
182.10/43.35	c (24,0) c Glues_7 : 392
182.10/43.35	c (24,0) c Glues_total : 9318
182.10/43.35	c (24,0) c Glues_winner : 728
182.10/43.35	c (24,0) c RunningTime_0 : 19.103452
182.10/43.35	c (24,0) c RunningTime_1 : 19.415419
182.10/43.35	c (24,0) c RunningTime_2 : 17.861456
182.10/43.35	c (24,0) c RunningTime_3 : 17.937185
182.10/43.35	c (24,0) c RunningTime_4 : 18.222477
182.10/43.35	c (24,0) c RunningTime_5 : 17.505970
182.10/43.35	c (24,0) c RunningTime_6 : 17.223222
182.10/43.35	c (24,0) c RunningTime_7 : 17.315535
182.10/43.35	c (24,0) c RunningTime_total : 144.584715
182.10/43.35	c (24,0) c RunningTime_winner : 17.223222
182.10/43.35	c (24,0) c WaitingTime_0 : 0.000050
182.10/43.35	c (24,0) c WaitingTime_1 : 0.000077
182.10/43.35	c (24,0) c WaitingTime_2 : 0.000085
182.10/43.35	c (24,0) c WaitingTime_3 : 0.000096
182.10/43.35	c (24,0) c WaitingTime_4 : 0.000108
182.10/43.35	c (24,0) c WaitingTime_5 : 0.000089
182.10/43.35	c (24,0) c WaitingTime_6 : 0.000086
182.10/43.35	c (24,0) c WaitingTime_7 : 0.000134
182.10/43.35	c (24,0) c WaitingTime_total : 0.000724
182.10/43.35	c (24,0) c WaitingTime_winner : 0.000086
182.10/43.35	c (24,0) c ExchangingTime_0 : 0.013868
182.10/43.35	c (24,0) c ExchangingTime_1 : 0.013672
182.10/43.35	c (24,0) c ExchangingTime_2 : 0.014315
182.10/43.35	c (24,0) c ExchangingTime_3 : 0.013405
182.10/43.35	c (24,0) c ExchangingTime_4 : 0.013675
182.10/43.35	c (24,0) c ExchangingTime_5 : 0.014020
182.10/43.35	c (24,0) c ExchangingTime_6 : 0.014571
182.10/43.35	c (24,0) c ExchangingTime_7 : 0.020380
182.10/43.35	c (24,0) c ExchangingTime_total : 0.117905
182.10/43.35	c (24,0) c ExchangingTime_winner : 0.014571
182.10/43.35	c (24,0) c PeriodProcTime_0 : 0.001098
182.10/43.35	c (24,0) c PeriodProcTime_1 : 0.000538
182.10/43.35	c (24,0) c PeriodProcTime_2 : 0.001121
182.10/43.35	c (24,0) c PeriodProcTime_3 : 0.000619
182.10/43.35	c (24,0) c PeriodProcTime_4 : 0.000822
182.10/43.35	c (24,0) c PeriodProcTime_5 : 0.000783
182.10/43.35	c (24,0) c PeriodProcTime_6 : 0.001419
182.10/43.35	c (24,0) c PeriodProcTime_7 : 0.000669
182.10/43.35	c (24,0) c PeriodProcTime_total : 0.007068
182.10/43.35	c (24,0) c PeriodProcTime_winner : 0.001419
182.10/43.35	c (24,0) c SolvingTime_0 : 19.118468
182.10/43.35	c (24,0) c SolvingTime_1 : 19.429706
182.10/43.35	c (24,0) c SolvingTime_2 : 17.876976
182.10/43.35	c (24,0) c SolvingTime_3 : 17.951304
182.10/43.35	c (24,0) c SolvingTime_4 : 18.237082
182.10/43.35	c (24,0) c SolvingTime_5 : 17.520862
182.10/43.35	c (24,0) c SolvingTime_6 : 17.239298
182.10/43.35	c (24,0) c SolvingTime_7 : 17.336717
182.10/43.35	c (24,0) c SolvingTime_total : 144.710413
182.10/43.35	c (24,0) c SolvingTime_winner : 17.239298
182.10/43.35	c (24,0) c PropagationTime_0 : 16.553095
182.10/43.35	c (24,0) c PropagationTime_1 : 16.956722
182.10/43.35	c (24,0) c PropagationTime_2 : 15.220599
182.10/43.35	c (24,0) c PropagationTime_3 : 15.596984
182.10/43.35	c (24,0) c PropagationTime_4 : 15.867759
182.10/43.35	c (24,0) c PropagationTime_5 : 15.200436
182.10/43.35	c (24,0) c PropagationTime_6 : 14.948748
182.10/43.35	c (24,0) c PropagationTime_7 : 15.036591
182.10/43.35	c (24,0) c PropagationTime_total : 125.380934
182.10/43.35	c (24,0) c PropagationTime_winner : 14.948748
182.10/43.35	c (24,0) c AnalysisTime_0 : 1.083405
182.10/43.35	c (24,0) c AnalysisTime_1 : 0.673469
182.10/43.35	c (24,0) c AnalysisTime_2 : 0.848239
182.10/43.35	c (24,0) c AnalysisTime_3 : 0.642565
182.10/43.35	c (24,0) c AnalysisTime_4 : 0.670156
182.10/43.35	c (24,0) c AnalysisTime_5 : 0.496694
182.10/43.35	c (24,0) c AnalysisTime_6 : 0.541636
182.10/43.35	c (24,0) c AnalysisTime_7 : 0.777604
182.10/43.35	c (24,0) c AnalysisTime_total : 5.733767
182.10/43.35	c (24,0) c AnalysisTime_winner : 0.541636
182.10/43.35	c (24,0) c ReductionTime_0 : 0.007354
182.10/43.35	c (24,0) c ReductionTime_1 : 0.010376
182.10/43.35	c (24,0) c ReductionTime_2 : 0.017095
182.10/43.35	c (24,0) c ReductionTime_3 : 0.007001
182.10/43.35	c (24,0) c ReductionTime_4 : 0.007673
182.10/43.35	c (24,0) c ReductionTime_5 : 0.009357
182.10/43.35	c (24,0) c ReductionTime_6 : 0.002324
182.10/43.35	c (24,0) c ReductionTime_7 : 0.008750
182.10/43.35	c (24,0) c ReductionTime_total : 0.069930
182.10/43.35	c (24,0) c ReductionTime_winner : 0.002324
182.10/43.35	c (24,0) c SimplifyTime_0 : 0.225553
182.10/43.35	c (24,0) c SimplifyTime_1 : 0.257486
182.10/43.35	c (24,0) c SimplifyTime_2 : 0.206449
182.10/43.35	c (24,0) c SimplifyTime_3 : 0.315936
182.10/43.35	c (24,0) c SimplifyTime_4 : 0.210788
182.10/43.35	c (24,0) c SimplifyTime_5 : 0.311356
182.10/43.35	c (24,0) c SimplifyTime_6 : 0.271586
182.10/43.35	c (24,0) c SimplifyTime_7 : 0.208124
182.10/43.35	c (24,0) c SimplifyTime_total : 2.007278
182.10/43.35	c (24,0) c SimplifyTime_winner : 0.271586
182.10/43.35	c (24,0) c UsedRateTime_0 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_1 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_2 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_3 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_4 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_5 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_6 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_7 : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_total : 0.000000
182.10/43.35	c (24,0) c UsedRateTime_winner : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_0 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_1 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_2 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_3 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_4 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_5 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_6 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_7 : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_total : 0.000000
182.10/43.35	c (24,0) c OverlapRateTime_winner : 0.000000
182.10/43.35	c (24,0) c
182.10/43.35	c (24,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
182.10/43.35	c (24,0) c
182.10/43.35	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.35	c (24,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
182.10/43.35	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.35	c (24,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
182.10/43.35	c (24,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
182.10/43.35	c (24,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
182.10/43.35	c (24,0) c | Initial random_seed   |  117310689 |  531452621 | 1155972902 |  478895318 | 1969563917 |  324149904 | 1152049186 | 1775775510 |
182.10/43.35	c (24,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
182.10/43.35	c (24,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
182.10/43.35	c (24,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
182.10/43.35	c (24,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
182.10/43.35	c (24,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
182.10/43.35	c (24,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
182.10/43.35	c (24,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
182.10/43.35	c (24,0) c | var_decay             |     0.8600 |     0.8700 |     0.9100 |     0.8500 |     0.8500 |     0.8200 |     0.8200 |     0.8300 |
182.10/43.35	c (24,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
182.10/43.35	c (24,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
182.10/43.35	c (24,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
182.10/43.35	c (24,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
182.10/43.35	c (24,0) 
182.10/43.35	c (24,0) s SATISFIABLE
183.06/43.80	c (24,0) SatSolver.solve End
183.06/43.80	c (24,0) Heap : 301 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
183.06/43.80	c (24,0) Show results Begin
183.24/44.00	c (24,0) cls[0] = 9
183.24/44.00	c (24,0) cls[1] = 2
183.24/44.00	c (24,0) cls[2] = 14
183.24/44.00	c (24,0) cls[3] = 11
183.24/44.00	c (24,0) cls[4] = 6
183.24/44.00	c (24,0) cls[5] = 3
183.24/44.00	c (24,0) cls[6] = 18
183.24/44.00	c (24,0) cls[7] = 2
183.24/44.00	c (24,0) cls[8] = 20
183.24/44.00	c (24,0) cls[9] = 2
183.24/44.00	c (24,0) cls[10] = 6
183.24/44.00	c (24,0) cls[11] = 4
183.24/44.00	c (24,0) cls[12] = 23
183.24/44.00	c (24,0) cls[13] = 2
183.24/44.00	c (24,0) cls[14] = 20
183.24/44.00	c (24,0) cls[15] = 6
183.24/44.00	c (24,0) cls[16] = 2
183.24/44.00	c (24,0) cls[17] = 14
183.24/44.00	c (24,0) cls[18] = 6
183.24/44.00	c (24,0) cls[19] = 11
183.24/44.00	c (24,0) cls[20] = 18
183.24/44.00	c (24,0) cls[21] = 3
183.24/44.00	c (24,0) cls[22] = 14
183.24/44.00	c (24,0) cls[23] = 11
183.24/44.00	c (24,0) cls[24] = 18
183.24/44.00	c (24,0) cls[25] = 17
183.24/44.00	c (24,0) cls[26] = 2
183.24/44.00	c (24,0) cls[27] = 6
183.24/44.00	c (24,0) cls[28] = 13
183.24/44.00	c (24,0) cls[29] = 2
183.24/44.00	c (24,0) cls[30] = 18
183.24/44.00	c (24,0) cls[31] = 20
183.24/44.00	c (24,0) cls[32] = 2
183.24/44.00	c (24,0) cls[33] = 14
183.24/44.00	c (24,0) cls[34] = 19
183.24/44.00	c (24,0) cls[35] = 2
183.24/44.00	c (24,0) cls[36] = 6
183.24/44.00	c (24,0) cls[37] = 17
183.24/44.00	c (24,0) cls[38] = 2
183.24/44.00	c (24,0) cls[39] = 21
183.24/44.00	c (24,0) cls[40] = 2
183.24/44.00	c (24,0) cls[41] = 18
183.24/44.00	c (24,0) cls[42] = 2
183.24/44.00	c (24,0) cls[43] = 19
183.24/44.00	c (24,0) cls[44] = 22
183.24/44.00	c (24,0) cls[45] = 17
183.24/44.00	c (24,0) cls[46] = 6
183.24/44.00	c (24,0) cls[47] = 2
183.24/44.00	c (24,0) cls[48] = 19
183.24/44.00	c (24,0) cls[49] = 3
183.24/44.00	c (24,0) cls[50] = 17
183.24/44.00	c (24,0) cls[51] = 7
183.24/44.00	c (24,0) cls[52] = 3
183.24/44.00	c (24,0) cls[53] = 6
183.24/44.00	c (24,0) cls[54] = 11
183.24/44.00	c (24,0) cls[55] = 17
183.24/44.00	c (24,0) cls[56] = 2
183.24/44.00	c (24,0) cls[57] = 17
183.24/44.00	c (24,0) cls[58] = 5
183.24/44.00	c (24,0) cls[59] = 1
183.24/44.00	c (24,0) cls[60] = 17
183.24/44.00	c (24,0) cls[61] = 15
183.24/44.00	c (24,0) cls[62] = 20
183.24/44.00	c (24,0) cls[63] = 16
183.24/44.00	c (24,0) cls[64] = 17
183.24/44.00	c (24,0) cls[65] = 11
183.24/44.00	c (24,0) cls[66] = 18
183.24/44.00	c (24,0) cls[67] = 23
183.24/44.00	c (24,0) cls[68] = 11
183.24/44.00	c (24,0) cls[69] = 17
183.24/44.00	c (24,0) cls[70] = 6
183.24/44.00	c (24,0) cls[71] = 11
183.24/44.00	c (24,0) cls[72] = 14
183.24/44.00	c (24,0) cls[73] = 3
183.24/44.00	c (24,0) cls[74] = 19
183.24/44.00	c (24,0) cls[75] = 2
183.24/44.00	c (24,0) cls[76] = 6
183.24/44.00	c (24,0) cls[77] = 2
183.24/44.00	c (24,0) cls[78] = 17
183.24/44.00	c (24,0) cls[79] = 20
183.24/44.00	c (24,0) cls[80] = 2
183.24/44.00	c (24,0) cls[81] = 14
183.24/44.00	c (24,0) cls[82] = 9
183.24/44.00	c (24,0) cls[83] = 2
183.24/44.00	c (24,0) cls[84] = 17
183.24/44.00	c (24,0) cls[85] = 6
183.59/44.01	c (24,0) cls[86] = 14
183.59/44.01	c (24,0) cls[87] = 17
183.59/44.01	c (24,0) cls[88] = 16
183.59/44.01	c (24,0) cls[89] = 20
183.59/44.01	c (24,0) cls[90] = 17
183.59/44.01	c (24,0) cls[91] = 3
183.59/44.01	c (24,0) cls[92] = 6
183.59/44.01	c (24,0) cls[93] = 18
183.59/44.01	c (24,0) cls[94] = 22
183.59/44.01	c (24,0) cls[95] = 20
183.59/44.01	c (24,0) cls[96] = 2
183.59/44.01	c (24,0) cls[97] = 6
183.59/44.01	c (24,0) cls[98] = 8
183.59/44.01	c (24,0) cls[99] = 14
183.59/44.01	c (24,0) cls[100] = 16
183.59/44.01	c (24,0) cls[101] = 17
183.59/44.01	c (24,0) cls[102] = 2
183.59/44.01	c (24,0) cls[103] = 17
183.59/44.01	c (24,0) cls[104] = 6
183.59/44.01	c (24,0) cls[105] = 3
183.59/44.01	c (24,0) cls[106] = 17
183.59/44.01	c (24,0) cls[107] = 14
183.59/44.01	c (24,0) cls[108] = 12
183.59/44.01	c (24,0) cls[109] = 17
183.59/44.01	c (24,0) cls[110] = 6
183.59/44.01	c (24,0) cls[111] = 2
183.59/44.01	c (24,0) cls[112] = 17
183.59/44.01	c (24,0) cls[113] = 13
183.59/44.01	c (24,0) cls[114] = 18
183.59/44.01	c (24,0) cls[115] = 18
183.59/44.01	c (24,0) cls[116] = 2
183.59/44.01	c (24,0) cls[117] = 17
183.59/44.01	c (24,0) cls[118] = 14
183.59/44.01	c (24,0) cls[119] = 2
183.59/44.01	c (24,0) cls[120] = 6
183.59/44.01	c (24,0) cls[121] = 2
183.59/44.01	c (24,0) cls[122] = 6
183.59/44.01	c (24,0) cls[123] = 17
183.59/44.01	c (24,0) cls[124] = 11
183.59/44.01	c (24,0) cls[125] = 17
183.59/44.01	c (24,0) cls[126] = 10
183.59/44.01	c (24,0) cls[127] = 20
183.59/44.01	c (24,0) cls[128] = 17
183.59/44.01	c (24,0) cls[129] = 2
183.59/44.01	c (24,0) cls[130] = 18
183.59/44.01	c (24,0) cls[131] = 17
183.59/44.01	c (24,0) cls[132] = 5
183.59/44.01	c (24,0) cls[133] = 20
183.59/44.01	c (24,0) cls[134] = 18
183.59/44.01	c (24,0) cls[135] = 2
183.59/44.01	c (24,0) cls[136] = 17
183.59/44.01	c (24,0) cls[137] = 2
183.59/44.01	c (24,0) cls[138] = 23
183.59/44.01	c (24,0) cls[139] = 4
183.59/44.01	c (24,0) cls[140] = 6
183.59/44.01	c (24,0) cls[141] = 2
183.59/44.01	c (24,0) cls[142] = 20
183.59/44.01	c (24,0) cls[143] = 2
183.59/44.01	c (24,0) cls[144] = 6
183.59/44.01	c (24,0) cls[145] = 14
183.59/44.01	c (24,0) cls[146] = 4
183.59/44.01	c (24,0) cls[147] = 17
183.59/44.01	c (24,0) cls[148] = 17
183.59/44.01	c (24,0) cls[149] = 2
183.59/44.01	c (24,0) cls[150] = 17
183.59/44.01	c (24,0) cls[151] = 6
183.59/44.01	c (24,0) cls[152] = 22
183.59/44.01	c (24,0) cls[153] = 17
183.59/44.01	c (24,0) cls[154] = 15
183.59/44.01	c (24,0) cls[155] = 20
183.59/44.01	c (24,0) cls[156] = 16
183.59/44.01	c (24,0) cls[157] = 14
183.59/44.01	c (24,0) cls[158] = 17
183.59/44.01	c (24,0) cls[159] = 11
183.59/44.01	c (24,0) cls[160] = 17
183.59/44.01	c (24,0) cls[161] = 6
183.59/44.01	c (24,0) cls[162] = 3
183.59/44.01	c (24,0) cls[163] = 6
183.59/44.01	c (24,0) cls[164] = 20
183.59/44.01	c (24,0) cls[165] = 2
183.59/44.01	c (24,0) cls[166] = 0
183.59/44.01	c (24,0) cls[167] = 2
183.59/44.01	c (24,0) cls[168] = 17
183.59/44.01	c (24,0) cls[169] = 2
183.59/44.01	c (24,0) cls[170] = 17
183.59/44.01	c (24,0) cls[171] = 5
183.59/44.01	c (24,0) cls[172] = 6
183.59/44.01	c (24,0) cls[173] = 4
183.59/44.01	c (24,0) cls[174] = 17
183.59/44.01	c (24,0) cls[175] = 2
183.59/44.01	c (24,0) cls[176] = 17
183.59/44.01	c (24,0) cls[177] = 2
183.59/44.01	c (24,0) cls[178] = 18
183.59/44.01	c (24,0) cls[179] = 2
183.59/44.01	c (24,0) cls[180] = 0
183.59/44.01	c (24,0) cls[181] = 2
183.59/44.01	c (24,0) cls[182] = 20
183.59/44.01	c (24,0) cls[183] = 3
183.59/44.01	c (24,0) cls[184] = 6
183.59/44.01	c (24,0) cls[185] = 3
183.59/44.01	c (24,0) cls[186] = 9
183.59/44.01	c (24,0) cls[187] = 2
183.59/44.01	c (24,0) cls[188] = 17
183.59/44.01	c (24,0) cls[189] = 3
183.59/44.01	c (24,0) cls[190] = 6
183.59/44.01	c (24,0) cls[191] = 3
183.59/44.01	c (24,0) cls[192] = 19
183.59/44.01	c (24,0) cls[193] = 2
183.59/44.01	c (24,0) cls[194] = 17
183.59/44.01	c (24,0) cls[195] = 3
183.59/44.01	c (24,0) cls[196] = 6
183.59/44.01	c (24,0) cls[197] = 2
183.59/44.01	c (24,0) cls[198] = 0
183.59/44.01	c (24,0) cls[199] = 2
183.59/44.01	c (24,0) opt[0][0] = 0
183.59/44.01	c (24,0) opt[0][1] = 1
183.59/44.01	c (24,0) opt[0][2] = 1
183.59/44.01	c (24,0) opt[0][3] = 1
183.59/44.01	c (24,0) opt[0][4] = 0
183.59/44.01	c (24,0) opt[1][0] = 1
183.59/44.01	c (24,0) opt[1][1] = 0
183.59/44.01	c (24,0) opt[1][2] = 0
183.59/44.01	c (24,0) opt[1][3] = 0
183.59/44.01	c (24,0) opt[1][4] = 0
183.59/44.01	c (24,0) opt[2][0] = 0
183.59/44.01	c (24,0) opt[2][1] = 0
183.59/44.01	c (24,0) opt[2][2] = 0
183.59/44.01	c (24,0) opt[2][3] = 0
183.59/44.01	c (24,0) opt[2][4] = 1
183.59/44.01	c (24,0) opt[3][0] = 1
183.59/44.01	c (24,0) opt[3][1] = 0
183.59/44.01	c (24,0) opt[3][2] = 1
183.59/44.01	c (24,0) opt[3][3] = 0
183.59/44.01	c (24,0) opt[3][4] = 0
183.59/44.01	c (24,0) opt[4][0] = 0
183.59/44.01	c (24,0) opt[4][1] = 0
183.59/44.01	c (24,0) opt[4][2] = 0
183.59/44.01	c (24,0) opt[4][3] = 1
183.59/44.01	c (24,0) opt[4][4] = 0
183.59/44.01	c (24,0) opt[5][0] = 1
183.59/44.01	c (24,0) opt[5][1] = 1
183.59/44.01	c (24,0) opt[5][2] = 0
183.59/44.01	c (24,0) opt[5][3] = 0
183.59/44.01	c (24,0) opt[5][4] = 0
183.59/44.01	c (24,0) opt[6][0] = 0
183.59/44.01	c (24,0) opt[6][1] = 1
183.59/44.01	c (24,0) opt[6][2] = 0
183.59/44.01	c (24,0) opt[6][3] = 1
183.59/44.01	c (24,0) opt[6][4] = 0
183.59/44.01	c (24,0) opt[7][0] = 1
183.59/44.01	c (24,0) opt[7][1] = 0
183.59/44.01	c (24,0) opt[7][2] = 0
183.59/44.01	c (24,0) opt[7][3] = 0
183.59/44.01	c (24,0) opt[7][4] = 0
183.59/44.01	c (24,0) opt[8][0] = 0
183.59/44.01	c (24,0) opt[8][1] = 0
183.59/44.01	c (24,0) opt[8][2] = 1
183.59/44.01	c (24,0) opt[8][3] = 0
183.59/44.01	c (24,0) opt[8][4] = 0
183.59/44.01	c (24,0) opt[9][0] = 1
183.59/44.01	c (24,0) opt[9][1] = 0
183.59/44.01	c (24,0) opt[9][2] = 0
183.59/44.01	c (24,0) opt[9][3] = 0
183.59/44.01	c (24,0) opt[9][4] = 0
183.59/44.01	c (24,0) opt[10][0] = 0
183.59/44.01	c (24,0) opt[10][1] = 0
183.59/44.01	c (24,0) opt[10][2] = 0
183.59/44.01	c (24,0) opt[10][3] = 1
183.59/44.01	c (24,0) opt[10][4] = 0
183.59/44.01	c (24,0) opt[11][0] = 1
183.59/44.01	c (24,0) opt[11][1] = 0
183.59/44.01	c (24,0) opt[11][2] = 1
183.59/44.01	c (24,0) opt[11][3] = 1
183.59/44.01	c (24,0) opt[11][4] = 0
183.59/44.01	c (24,0) opt[12][0] = 0
183.59/44.01	c (24,0) opt[12][1] = 1
183.59/44.01	c (24,0) opt[12][2] = 0
183.59/44.01	c (24,0) opt[12][3] = 0
183.59/44.01	c (24,0) opt[12][4] = 1
183.59/44.01	c (24,0) opt[13][0] = 1
183.59/44.01	c (24,0) opt[13][1] = 0
183.59/44.01	c (24,0) opt[13][2] = 0
183.59/44.01	c (24,0) opt[13][3] = 0
183.59/44.01	c (24,0) opt[13][4] = 0
183.59/44.01	c (24,0) opt[14][0] = 0
183.59/44.01	c (24,0) opt[14][1] = 0
183.59/44.01	c (24,0) opt[14][2] = 1
183.59/44.01	c (24,0) opt[14][3] = 0
183.59/44.01	c (24,0) opt[14][4] = 0
183.59/44.01	c (24,0) opt[15][0] = 0
183.59/44.01	c (24,0) opt[15][1] = 0
183.59/44.01	c (24,0) opt[15][2] = 0
183.59/44.01	c (24,0) opt[15][3] = 1
183.59/44.01	c (24,0) opt[15][4] = 0
183.59/44.01	c (24,0) opt[16][0] = 1
183.59/44.01	c (24,0) opt[16][1] = 0
183.59/44.01	c (24,0) opt[16][2] = 0
183.59/44.01	c (24,0) opt[16][3] = 0
183.59/44.01	c (24,0) opt[16][4] = 0
183.59/44.01	c (24,0) opt[17][0] = 0
183.59/44.01	c (24,0) opt[17][1] = 0
183.59/44.01	c (24,0) opt[17][2] = 0
183.59/44.01	c (24,0) opt[17][3] = 0
183.59/44.01	c (24,0) opt[17][4] = 1
183.59/44.01	c (24,0) opt[18][0] = 0
183.59/44.01	c (24,0) opt[18][1] = 0
183.59/44.01	c (24,0) opt[18][2] = 0
183.59/44.01	c (24,0) opt[18][3] = 1
183.59/44.01	c (24,0) opt[18][4] = 0
183.59/44.01	c (24,0) opt[19][0] = 1
183.59/44.01	c (24,0) opt[19][1] = 0
183.59/44.01	c (24,0) opt[19][2] = 1
183.59/44.01	c (24,0) opt[19][3] = 0
183.59/44.01	c (24,0) opt[19][4] = 0
183.59/44.01	c (24,0) opt[20][0] = 0
183.59/44.01	c (24,0) opt[20][1] = 1
183.59/44.01	c (24,0) opt[20][2] = 0
183.59/44.01	c (24,0) opt[20][3] = 1
183.59/44.01	c (24,0) opt[20][4] = 0
183.59/44.01	c (24,0) opt[21][0] = 1
183.59/44.01	c (24,0) opt[21][1] = 1
183.59/44.01	c (24,0) opt[21][2] = 0
183.59/44.01	c (24,0) opt[21][3] = 0
183.59/44.01	c (24,0) opt[21][4] = 0
183.59/44.01	c (24,0) opt[22][0] = 0
183.59/44.01	c (24,0) opt[22][1] = 0
183.59/44.01	c (24,0) opt[22][2] = 0
183.59/44.01	c (24,0) opt[22][3] = 0
183.59/44.01	c (24,0) opt[22][4] = 1
183.59/44.01	c (24,0) opt[23][0] = 1
183.59/44.01	c (24,0) opt[23][1] = 0
183.59/44.01	c (24,0) opt[23][2] = 1
183.59/44.01	c (24,0) opt[23][3] = 0
183.59/44.01	c (24,0) opt[23][4] = 0
183.59/44.01	c (24,0) opt[24][0] = 0
183.59/44.01	c (24,0) opt[24][1] = 1
183.59/44.01	c (24,0) opt[24][2] = 0
183.59/44.01	c (24,0) opt[24][3] = 1
183.59/44.01	c (24,0) opt[24][4] = 0
183.59/44.01	c (24,0) opt[25][0] = 0
183.59/44.01	c (24,0) opt[25][1] = 1
183.59/44.01	c (24,0) opt[25][2] = 0
183.59/44.01	c (24,0) opt[25][3] = 0
183.59/44.01	c (24,0) opt[25][4] = 0
183.59/44.01	c (24,0) opt[26][0] = 1
183.59/44.01	c (24,0) opt[26][1] = 0
183.59/44.01	c (24,0) opt[26][2] = 0
183.59/44.01	c (24,0) opt[26][3] = 0
183.59/44.01	c (24,0) opt[26][4] = 0
183.59/44.01	c (24,0) opt[27][0] = 0
183.59/44.01	c (24,0) opt[27][1] = 0
183.59/44.01	c (24,0) opt[27][2] = 0
183.59/44.01	c (24,0) opt[27][3] = 1
183.59/44.01	c (24,0) opt[27][4] = 0
183.59/44.01	c (24,0) opt[28][0] = 0
183.59/44.01	c (24,0) opt[28][1] = 0
183.59/44.01	c (24,0) opt[28][2] = 1
183.59/44.01	c (24,0) opt[28][3] = 0
183.59/44.01	c (24,0) opt[28][4] = 1
183.59/44.01	c (24,0) opt[29][0] = 1
183.59/44.01	c (24,0) opt[29][1] = 0
183.59/44.01	c (24,0) opt[29][2] = 0
183.59/44.01	c (24,0) opt[29][3] = 0
183.59/44.01	c (24,0) opt[29][4] = 0
183.59/44.01	c (24,0) opt[30][0] = 0
183.59/44.01	c (24,0) opt[30][1] = 1
183.59/44.01	c (24,0) opt[30][2] = 0
183.59/44.01	c (24,0) opt[30][3] = 1
183.59/44.01	c (24,0) opt[30][4] = 0
183.59/44.01	c (24,0) opt[31][0] = 0
183.59/44.01	c (24,0) opt[31][1] = 0
183.59/44.01	c (24,0) opt[31][2] = 1
183.59/44.01	c (24,0) opt[31][3] = 0
183.59/44.01	c (24,0) opt[31][4] = 0
183.59/44.01	c (24,0) opt[32][0] = 1
183.59/44.01	c (24,0) opt[32][1] = 0
183.59/44.01	c (24,0) opt[32][2] = 0
183.59/44.01	c (24,0) opt[32][3] = 0
183.59/44.01	c (24,0) opt[32][4] = 0
183.59/44.01	c (24,0) opt[33][0] = 0
183.59/44.01	c (24,0) opt[33][1] = 0
183.59/44.01	c (24,0) opt[33][2] = 0
183.59/44.01	c (24,0) opt[33][3] = 0
183.59/44.01	c (24,0) opt[33][4] = 1
183.59/44.01	c (24,0) opt[34][0] = 0
183.59/44.01	c (24,0) opt[34][1] = 0
183.59/44.01	c (24,0) opt[34][2] = 1
183.59/44.01	c (24,0) opt[34][3] = 1
183.59/44.01	c (24,0) opt[34][4] = 0
183.59/44.01	c (24,0) opt[35][0] = 1
183.59/44.01	c (24,0) opt[35][1] = 0
183.59/44.01	c (24,0) opt[35][2] = 0
183.59/44.01	c (24,0) opt[35][3] = 0
183.59/44.01	c (24,0) opt[35][4] = 0
183.59/44.01	c (24,0) opt[36][0] = 0
183.59/44.01	c (24,0) opt[36][1] = 0
183.59/44.01	c (24,0) opt[36][2] = 0
183.59/44.01	c (24,0) opt[36][3] = 1
183.59/44.01	c (24,0) opt[36][4] = 0
183.59/44.01	c (24,0) opt[37][0] = 0
183.59/44.01	c (24,0) opt[37][1] = 1
183.59/44.01	c (24,0) opt[37][2] = 0
183.59/44.01	c (24,0) opt[37][3] = 0
183.59/44.01	c (24,0) opt[37][4] = 0
183.59/44.01	c (24,0) opt[38][0] = 1
183.59/44.01	c (24,0) opt[38][1] = 0
183.59/44.01	c (24,0) opt[38][2] = 0
183.59/44.01	c (24,0) opt[38][3] = 0
183.59/44.01	c (24,0) opt[38][4] = 0
183.59/44.01	c (24,0) opt[39][0] = 0
183.59/44.01	c (24,0) opt[39][1] = 1
183.59/44.01	c (24,0) opt[39][2] = 1
183.59/44.01	c (24,0) opt[39][3] = 0
183.59/44.01	c (24,0) opt[39][4] = 1
183.59/44.01	c (24,0) opt[40][0] = 1
183.59/44.01	c (24,0) opt[40][1] = 0
183.59/44.01	c (24,0) opt[40][2] = 0
183.59/44.01	c (24,0) opt[40][3] = 0
183.59/44.01	c (24,0) opt[40][4] = 0
183.59/44.01	c (24,0) opt[41][0] = 0
183.59/44.01	c (24,0) opt[41][1] = 1
183.59/44.01	c (24,0) opt[41][2] = 0
183.59/44.01	c (24,0) opt[41][3] = 1
183.59/44.01	c (24,0) opt[41][4] = 0
183.59/44.01	c (24,0) opt[42][0] = 1
183.59/44.01	c (24,0) opt[42][1] = 0
183.59/44.01	c (24,0) opt[42][2] = 0
183.59/44.01	c (24,0) opt[42][3] = 0
183.59/44.01	c (24,0) opt[42][4] = 0
183.59/44.01	c (24,0) opt[43][0] = 0
183.59/44.01	c (24,0) opt[43][1] = 0
183.59/44.01	c (24,0) opt[43][2] = 1
183.59/44.01	c (24,0) opt[43][3] = 1
183.59/44.01	c (24,0) opt[43][4] = 0
183.59/44.01	c (24,0) opt[44][0] = 1
183.59/44.01	c (24,0) opt[44][1] = 1
183.59/44.01	c (24,0) opt[44][2] = 0
183.59/44.01	c (24,0) opt[44][3] = 0
183.59/44.01	c (24,0) opt[44][4] = 1
183.59/44.01	c (24,0) opt[45][0] = 0
183.59/44.01	c (24,0) opt[45][1] = 1
183.59/44.01	c (24,0) opt[45][2] = 0
183.59/44.01	c (24,0) opt[45][3] = 0
183.59/44.01	c (24,0) opt[45][4] = 0
183.59/44.01	c (24,0) opt[46][0] = 0
183.59/44.01	c (24,0) opt[46][1] = 0
183.59/44.01	c (24,0) opt[46][2] = 0
183.59/44.01	c (24,0) opt[46][3] = 1
183.59/44.01	c (24,0) opt[46][4] = 0
183.59/44.01	c (24,0) opt[47][0] = 1
183.59/44.01	c (24,0) opt[47][1] = 0
183.59/44.01	c (24,0) opt[47][2] = 0
183.59/44.01	c (24,0) opt[47][3] = 0
183.59/44.01	c (24,0) opt[47][4] = 0
183.59/44.01	c (24,0) opt[48][0] = 0
183.59/44.01	c (24,0) opt[48][1] = 0
183.59/44.01	c (24,0) opt[48][2] = 1
183.59/44.01	c (24,0) opt[48][3] = 1
183.59/44.01	c (24,0) opt[48][4] = 0
183.59/44.01	c (24,0) opt[49][0] = 1
183.59/44.01	c (24,0) opt[49][1] = 1
183.59/44.01	c (24,0) opt[49][2] = 0
183.59/44.01	c (24,0) opt[49][3] = 0
183.59/44.01	c (24,0) opt[49][4] = 0
183.59/44.01	c (24,0) opt[50][0] = 0
183.59/44.01	c (24,0) opt[50][1] = 1
183.59/44.01	c (24,0) opt[50][2] = 0
183.59/44.01	c (24,0) opt[50][3] = 0
183.59/44.01	c (24,0) opt[50][4] = 0
183.59/44.01	c (24,0) opt[51][0] = 0
183.59/44.01	c (24,0) opt[51][1] = 0
183.59/44.01	c (24,0) opt[51][2] = 1
183.59/44.01	c (24,0) opt[51][3] = 1
183.59/44.01	c (24,0) opt[51][4] = 1
183.59/44.01	c (24,0) opt[52][0] = 1
183.59/44.01	c (24,0) opt[52][1] = 1
183.59/44.01	c (24,0) opt[52][2] = 0
183.59/44.01	c (24,0) opt[52][3] = 0
183.59/44.01	c (24,0) opt[52][4] = 0
183.59/44.01	c (24,0) opt[53][0] = 0
183.59/44.01	c (24,0) opt[53][1] = 0
183.59/44.01	c (24,0) opt[53][2] = 0
183.59/44.01	c (24,0) opt[53][3] = 1
183.59/44.01	c (24,0) opt[53][4] = 0
183.59/44.01	c (24,0) opt[54][0] = 1
183.59/44.01	c (24,0) opt[54][1] = 0
183.59/44.01	c (24,0) opt[54][2] = 1
183.59/44.01	c (24,0) opt[54][3] = 0
183.59/44.01	c (24,0) opt[54][4] = 0
183.59/44.01	c (24,0) opt[55][0] = 0
183.59/44.01	c (24,0) opt[55][1] = 1
183.59/44.01	c (24,0) opt[55][2] = 0
183.59/44.01	c (24,0) opt[55][3] = 0
183.59/44.01	c (24,0) opt[55][4] = 0
183.59/44.01	c (24,0) opt[56][0] = 1
183.59/44.01	c (24,0) opt[56][1] = 0
183.59/44.01	c (24,0) opt[56][2] = 0
183.59/44.01	c (24,0) opt[56][3] = 0
183.59/44.01	c (24,0) opt[56][4] = 0
183.59/44.01	c (24,0) opt[57][0] = 0
183.59/44.01	c (24,0) opt[57][1] = 1
183.59/44.01	c (24,0) opt[57][2] = 0
183.59/44.01	c (24,0) opt[57][3] = 0
183.59/44.01	c (24,0) opt[57][4] = 0
183.59/44.01	c (24,0) opt[58][0] = 1
183.59/44.01	c (24,0) opt[58][1] = 0
183.59/44.01	c (24,0) opt[58][2] = 0
183.59/44.01	c (24,0) opt[58][3] = 0
183.59/44.01	c (24,0) opt[58][4] = 1
183.59/44.01	c (24,0) opt[59][0] = 0
183.59/44.01	c (24,0) opt[59][1] = 1
183.59/44.01	c (24,0) opt[59][2] = 1
183.59/44.01	c (24,0) opt[59][3] = 0
183.59/44.01	c (24,0) opt[59][4] = 0
183.59/44.01	c (24,0) opt[60][0] = 0
183.59/44.01	c (24,0) opt[60][1] = 1
183.59/44.01	c (24,0) opt[60][2] = 0
183.59/44.01	c (24,0) opt[60][3] = 0
183.59/44.01	c (24,0) opt[60][4] = 0
183.59/44.01	c (24,0) opt[61][0] = 1
183.59/44.01	c (24,0) opt[61][1] = 0
183.59/44.01	c (24,0) opt[61][2] = 0
183.59/44.01	c (24,0) opt[61][3] = 1
183.59/44.01	c (24,0) opt[61][4] = 0
183.59/44.01	c (24,0) opt[62][0] = 0
183.59/44.01	c (24,0) opt[62][1] = 0
183.59/44.01	c (24,0) opt[62][2] = 1
183.59/44.01	c (24,0) opt[62][3] = 0
183.59/44.01	c (24,0) opt[62][4] = 0
183.59/44.01	c (24,0) opt[63][0] = 1
183.59/44.01	c (24,0) opt[63][1] = 1
183.59/44.01	c (24,0) opt[63][2] = 0
183.59/44.01	c (24,0) opt[63][3] = 1
183.59/44.01	c (24,0) opt[63][4] = 0
183.59/44.01	c (24,0) opt[64][0] = 0
183.59/44.01	c (24,0) opt[64][1] = 1
183.59/44.01	c (24,0) opt[64][2] = 0
183.59/44.01	c (24,0) opt[64][3] = 0
183.59/44.01	c (24,0) opt[64][4] = 0
183.59/44.01	c (24,0) opt[65][0] = 1
183.59/44.01	c (24,0) opt[65][1] = 0
183.59/44.01	c (24,0) opt[65][2] = 1
183.59/44.01	c (24,0) opt[65][3] = 0
183.59/44.01	c (24,0) opt[65][4] = 0
183.59/44.01	c (24,0) opt[66][0] = 0
183.59/44.01	c (24,0) opt[66][1] = 1
183.59/44.01	c (24,0) opt[66][2] = 0
183.59/44.01	c (24,0) opt[66][3] = 1
183.59/44.01	c (24,0) opt[66][4] = 0
183.59/44.01	c (24,0) opt[67][0] = 0
183.59/44.01	c (24,0) opt[67][1] = 1
183.59/44.01	c (24,0) opt[67][2] = 0
183.59/44.01	c (24,0) opt[67][3] = 0
183.59/44.01	c (24,0) opt[67][4] = 1
183.59/44.01	c (24,0) opt[68][0] = 1
183.59/44.01	c (24,0) opt[68][1] = 0
183.59/44.01	c (24,0) opt[68][2] = 1
183.59/44.01	c (24,0) opt[68][3] = 0
183.59/44.01	c (24,0) opt[68][4] = 0
183.59/44.01	c (24,0) opt[69][0] = 0
183.59/44.01	c (24,0) opt[69][1] = 1
183.59/44.01	c (24,0) opt[69][2] = 0
183.59/44.01	c (24,0) opt[69][3] = 0
183.59/44.01	c (24,0) opt[69][4] = 0
183.59/44.01	c (24,0) opt[70][0] = 0
183.59/44.01	c (24,0) opt[70][1] = 0
183.59/44.01	c (24,0) opt[70][2] = 0
183.59/44.01	c (24,0) opt[70][3] = 1
183.59/44.01	c (24,0) opt[70][4] = 0
183.59/44.01	c (24,0) opt[71][0] = 1
183.59/44.01	c (24,0) opt[71][1] = 0
183.59/44.01	c (24,0) opt[71][2] = 1
183.59/44.01	c (24,0) opt[71][3] = 0
183.59/44.01	c (24,0) opt[71][4] = 0
183.59/44.01	c (24,0) opt[72][0] = 0
183.59/44.01	c (24,0) opt[72][1] = 0
183.59/44.01	c (24,0) opt[72][2] = 0
183.59/44.01	c (24,0) opt[72][3] = 0
183.59/44.01	c (24,0) opt[72][4] = 1
183.59/44.01	c (24,0) opt[73][0] = 1
183.59/44.01	c (24,0) opt[73][1] = 1
183.59/44.01	c (24,0) opt[73][2] = 0
183.59/44.01	c (24,0) opt[73][3] = 0
183.59/44.01	c (24,0) opt[73][4] = 0
183.59/44.01	c (24,0) opt[74][0] = 0
183.59/44.01	c (24,0) opt[74][1] = 0
183.59/44.01	c (24,0) opt[74][2] = 1
183.59/44.01	c (24,0) opt[74][3] = 1
183.59/44.01	c (24,0) opt[74][4] = 0
183.59/44.01	c (24,0) opt[75][0] = 1
183.59/44.01	c (24,0) opt[75][1] = 0
183.59/44.01	c (24,0) opt[75][2] = 0
183.59/44.01	c (24,0) opt[75][3] = 0
183.59/44.01	c (24,0) opt[75][4] = 0
183.59/44.01	c (24,0) opt[76][0] = 0
183.59/44.01	c (24,0) opt[76][1] = 0
183.59/44.01	c (24,0) opt[76][2] = 0
183.59/44.01	c (24,0) opt[76][3] = 1
183.59/44.01	c (24,0) opt[76][4] = 0
183.59/44.01	c (24,0) opt[77][0] = 1
183.59/44.01	c (24,0) opt[77][1] = 0
183.59/44.01	c (24,0) opt[77][2] = 0
183.59/44.01	c (24,0) opt[77][3] = 0
183.59/44.01	c (24,0) opt[77][4] = 0
183.59/44.01	c (24,0) opt[78][0] = 0
183.59/44.01	c (24,0) opt[78][1] = 1
183.59/44.01	c (24,0) opt[78][2] = 0
183.59/44.01	c (24,0) opt[78][3] = 0
183.59/44.01	c (24,0) opt[78][4] = 0
183.59/44.01	c (24,0) opt[79][0] = 0
183.59/44.01	c (24,0) opt[79][1] = 0
183.59/44.01	c (24,0) opt[79][2] = 1
183.59/44.01	c (24,0) opt[79][3] = 0
183.59/44.01	c (24,0) opt[79][4] = 0
183.59/44.01	c (24,0) opt[80][0] = 1
183.59/44.01	c (24,0) opt[80][1] = 0
183.59/44.01	c (24,0) opt[80][2] = 0
183.59/44.01	c (24,0) opt[80][3] = 0
183.59/44.01	c (24,0) opt[80][4] = 0
183.59/44.01	c (24,0) opt[81][0] = 0
183.59/44.01	c (24,0) opt[81][1] = 0
183.59/44.01	c (24,0) opt[81][2] = 0
183.59/44.01	c (24,0) opt[81][3] = 0
183.59/44.01	c (24,0) opt[81][4] = 1
183.59/44.01	c (24,0) opt[82][0] = 0
183.59/44.01	c (24,0) opt[82][1] = 1
183.59/44.01	c (24,0) opt[82][2] = 1
183.59/44.01	c (24,0) opt[82][3] = 1
183.59/44.01	c (24,0) opt[82][4] = 0
183.59/44.01	c (24,0) opt[83][0] = 1
183.59/44.01	c (24,0) opt[83][1] = 0
183.59/44.01	c (24,0) opt[83][2] = 0
183.59/44.01	c (24,0) opt[83][3] = 0
183.59/44.01	c (24,0) opt[83][4] = 0
183.59/44.01	c (24,0) opt[84][0] = 0
183.59/44.01	c (24,0) opt[84][1] = 1
183.59/44.01	c (24,0) opt[84][2] = 0
183.59/44.01	c (24,0) opt[84][3] = 0
183.59/44.01	c (24,0) opt[84][4] = 0
183.59/44.01	c (24,0) opt[85][0] = 0
183.59/44.01	c (24,0) opt[85][1] = 0
183.59/44.01	c (24,0) opt[85][2] = 0
183.59/44.01	c (24,0) opt[85][3] = 1
183.59/44.01	c (24,0) opt[85][4] = 0
183.59/44.01	c (24,0) opt[86][0] = 0
183.59/44.01	c (24,0) opt[86][1] = 0
183.59/44.01	c (24,0) opt[86][2] = 0
183.59/44.01	c (24,0) opt[86][3] = 0
183.59/44.01	c (24,0) opt[86][4] = 1
183.59/44.01	c (24,0) opt[87][0] = 0
183.59/44.01	c (24,0) opt[87][1] = 1
183.59/44.01	c (24,0) opt[87][2] = 0
183.59/44.01	c (24,0) opt[87][3] = 0
183.59/44.01	c (24,0) opt[87][4] = 0
183.59/44.01	c (24,0) opt[88][0] = 1
183.59/44.01	c (24,0) opt[88][1] = 1
183.59/44.01	c (24,0) opt[88][2] = 0
183.59/44.01	c (24,0) opt[88][3] = 1
183.59/44.01	c (24,0) opt[88][4] = 0
183.59/44.01	c (24,0) opt[89][0] = 0
183.59/44.01	c (24,0) opt[89][1] = 0
183.59/44.01	c (24,0) opt[89][2] = 1
183.59/44.01	c (24,0) opt[89][3] = 0
183.59/44.01	c (24,0) opt[89][4] = 0
183.59/44.01	c (24,0) opt[90][0] = 0
183.59/44.01	c (24,0) opt[90][1] = 1
183.59/44.01	c (24,0) opt[90][2] = 0
183.59/44.01	c (24,0) opt[90][3] = 0
183.59/44.01	c (24,0) opt[90][4] = 0
183.59/44.01	c (24,0) opt[91][0] = 1
183.59/44.01	c (24,0) opt[91][1] = 1
183.59/44.01	c (24,0) opt[91][2] = 0
183.59/44.01	c (24,0) opt[91][3] = 0
183.59/44.01	c (24,0) opt[91][4] = 0
183.59/44.01	c (24,0) opt[92][0] = 0
183.59/44.01	c (24,0) opt[92][1] = 0
183.59/44.01	c (24,0) opt[92][2] = 0
183.59/44.01	c (24,0) opt[92][3] = 1
183.59/44.01	c (24,0) opt[92][4] = 0
183.59/44.01	c (24,0) opt[93][0] = 0
183.59/44.01	c (24,0) opt[93][1] = 1
183.59/44.01	c (24,0) opt[93][2] = 0
183.59/44.01	c (24,0) opt[93][3] = 1
183.59/44.01	c (24,0) opt[93][4] = 0
183.59/44.01	c (24,0) opt[94][0] = 1
183.59/44.01	c (24,0) opt[94][1] = 1
183.59/44.01	c (24,0) opt[94][2] = 0
183.59/44.01	c (24,0) opt[94][3] = 0
183.59/44.01	c (24,0) opt[94][4] = 1
183.59/44.01	c (24,0) opt[95][0] = 0
183.59/44.01	c (24,0) opt[95][1] = 0
183.59/44.01	c (24,0) opt[95][2] = 1
183.59/44.01	c (24,0) opt[95][3] = 0
183.59/44.01	c (24,0) opt[95][4] = 0
183.59/44.01	c (24,0) opt[96][0] = 1
183.59/44.01	c (24,0) opt[96][1] = 0
183.59/44.01	c (24,0) opt[96][2] = 0
183.59/44.01	c (24,0) opt[96][3] = 0
183.59/44.01	c (24,0) opt[96][4] = 0
183.59/44.01	c (24,0) opt[97][0] = 0
183.59/44.01	c (24,0) opt[97][1] = 0
183.59/44.01	c (24,0) opt[97][2] = 0
183.59/44.01	c (24,0) opt[97][3] = 1
183.59/44.01	c (24,0) opt[97][4] = 0
183.59/44.01	c (24,0) opt[98][0] = 1
183.59/44.01	c (24,0) opt[98][1] = 1
183.59/44.01	c (24,0) opt[98][2] = 1
183.59/44.01	c (24,0) opt[98][3] = 0
183.59/44.01	c (24,0) opt[98][4] = 0
183.59/44.01	c (24,0) opt[99][0] = 0
183.59/44.01	c (24,0) opt[99][1] = 0
183.59/44.01	c (24,0) opt[99][2] = 0
183.59/44.01	c (24,0) opt[99][3] = 0
183.59/44.01	c (24,0) opt[99][4] = 1
183.59/44.01	c (24,0) opt[100][0] = 1
183.59/44.01	c (24,0) opt[100][1] = 1
183.59/44.01	c (24,0) opt[100][2] = 0
183.59/44.01	c (24,0) opt[100][3] = 1
183.59/44.01	c (24,0) opt[100][4] = 0
183.59/44.01	c (24,0) opt[101][0] = 0
183.59/44.01	c (24,0) opt[101][1] = 1
183.59/44.01	c (24,0) opt[101][2] = 0
183.59/44.01	c (24,0) opt[101][3] = 0
183.59/44.01	c (24,0) opt[101][4] = 0
183.59/44.01	c (24,0) opt[102][0] = 1
183.59/44.01	c (24,0) opt[102][1] = 0
183.59/44.01	c (24,0) opt[102][2] = 0
183.59/44.01	c (24,0) opt[102][3] = 0
183.59/44.01	c (24,0) opt[102][4] = 0
183.59/44.01	c (24,0) opt[103][0] = 0
183.59/44.01	c (24,0) opt[103][1] = 1
183.59/44.01	c (24,0) opt[103][2] = 0
183.59/44.01	c (24,0) opt[103][3] = 0
183.59/44.01	c (24,0) opt[103][4] = 0
183.59/44.01	c (24,0) opt[104][0] = 0
183.59/44.01	c (24,0) opt[104][1] = 0
183.59/44.01	c (24,0) opt[104][2] = 0
183.59/44.01	c (24,0) opt[104][3] = 1
183.59/44.01	c (24,0) opt[104][4] = 0
183.59/44.01	c (24,0) opt[105][0] = 1
183.59/44.01	c (24,0) opt[105][1] = 1
183.59/44.01	c (24,0) opt[105][2] = 0
183.59/44.01	c (24,0) opt[105][3] = 0
183.59/44.01	c (24,0) opt[105][4] = 0
183.59/44.01	c (24,0) opt[106][0] = 0
183.59/44.01	c (24,0) opt[106][1] = 1
183.59/44.01	c (24,0) opt[106][2] = 0
183.59/44.01	c (24,0) opt[106][3] = 0
183.59/44.01	c (24,0) opt[106][4] = 0
183.59/44.01	c (24,0) opt[107][0] = 0
183.59/44.01	c (24,0) opt[107][1] = 0
183.59/44.01	c (24,0) opt[107][2] = 0
183.59/44.01	c (24,0) opt[107][3] = 0
183.59/44.01	c (24,0) opt[107][4] = 1
183.59/44.01	c (24,0) opt[108][0] = 1
183.59/44.01	c (24,0) opt[108][1] = 1
183.59/44.01	c (24,0) opt[108][2] = 1
183.59/44.01	c (24,0) opt[108][3] = 1
183.59/44.01	c (24,0) opt[108][4] = 0
183.59/44.01	c (24,0) opt[109][0] = 0
183.59/44.01	c (24,0) opt[109][1] = 1
183.59/44.01	c (24,0) opt[109][2] = 0
183.59/44.01	c (24,0) opt[109][3] = 0
183.59/44.01	c (24,0) opt[109][4] = 0
183.59/44.01	c (24,0) opt[110][0] = 0
183.59/44.01	c (24,0) opt[110][1] = 0
183.59/44.01	c (24,0) opt[110][2] = 0
183.59/44.01	c (24,0) opt[110][3] = 1
183.59/44.01	c (24,0) opt[110][4] = 0
183.59/44.01	c (24,0) opt[111][0] = 1
183.59/44.01	c (24,0) opt[111][1] = 0
183.59/44.01	c (24,0) opt[111][2] = 0
183.59/44.01	c (24,0) opt[111][3] = 0
183.59/44.01	c (24,0) opt[111][4] = 0
183.59/44.01	c (24,0) opt[112][0] = 0
183.59/44.01	c (24,0) opt[112][1] = 1
183.59/44.01	c (24,0) opt[112][2] = 0
183.59/44.01	c (24,0) opt[112][3] = 0
183.59/44.01	c (24,0) opt[112][4] = 0
183.59/44.01	c (24,0) opt[113][0] = 0
183.59/44.01	c (24,0) opt[113][1] = 0
183.59/44.01	c (24,0) opt[113][2] = 1
183.59/44.01	c (24,0) opt[113][3] = 0
183.59/44.01	c (24,0) opt[113][4] = 1
183.59/44.01	c (24,0) opt[114][0] = 0
183.59/44.01	c (24,0) opt[114][1] = 1
183.59/44.01	c (24,0) opt[114][2] = 0
183.59/44.01	c (24,0) opt[114][3] = 1
183.59/44.01	c (24,0) opt[114][4] = 0
183.59/44.01	c (24,0) opt[115][0] = 0
183.59/44.01	c (24,0) opt[115][1] = 1
183.59/44.01	c (24,0) opt[115][2] = 0
183.59/44.01	c (24,0) opt[115][3] = 1
183.59/44.01	c (24,0) opt[115][4] = 0
183.59/44.01	c (24,0) opt[116][0] = 1
183.59/44.01	c (24,0) opt[116][1] = 0
183.59/44.01	c (24,0) opt[116][2] = 0
183.59/44.01	c (24,0) opt[116][3] = 0
183.59/44.01	c (24,0) opt[116][4] = 0
183.59/44.01	c (24,0) opt[117][0] = 0
183.59/44.01	c (24,0) opt[117][1] = 1
183.59/44.01	c (24,0) opt[117][2] = 0
183.59/44.01	c (24,0) opt[117][3] = 0
183.59/44.01	c (24,0) opt[117][4] = 0
183.59/44.01	c (24,0) opt[118][0] = 0
183.59/44.01	c (24,0) opt[118][1] = 0
183.59/44.01	c (24,0) opt[118][2] = 0
183.59/44.01	c (24,0) opt[118][3] = 0
183.59/44.01	c (24,0) opt[118][4] = 1
183.59/44.01	c (24,0) opt[119][0] = 1
183.59/44.01	c (24,0) opt[119][1] = 0
183.59/44.01	c (24,0) opt[119][2] = 0
183.59/44.01	c (24,0) opt[119][3] = 0
183.59/44.01	c (24,0) opt[119][4] = 0
183.59/44.01	c (24,0) opt[120][0] = 0
183.59/44.01	c (24,0) opt[120][1] = 0
183.59/44.01	c (24,0) opt[120][2] = 0
183.59/44.01	c (24,0) opt[120][3] = 1
183.59/44.01	c (24,0) opt[120][4] = 0
183.59/44.01	c (24,0) opt[121][0] = 1
183.59/44.01	c (24,0) opt[121][1] = 0
183.59/44.01	c (24,0) opt[121][2] = 0
183.59/44.01	c (24,0) opt[121][3] = 0
183.59/44.01	c (24,0) opt[121][4] = 0
183.59/44.01	c (24,0) opt[122][0] = 0
183.59/44.01	c (24,0) opt[122][1] = 0
183.59/44.01	c (24,0) opt[122][2] = 0
183.59/44.01	c (24,0) opt[122][3] = 1
183.59/44.01	c (24,0) opt[122][4] = 0
183.59/44.01	c (24,0) opt[123][0] = 0
183.59/44.01	c (24,0) opt[123][1] = 1
183.59/44.01	c (24,0) opt[123][2] = 0
183.59/44.01	c (24,0) opt[123][3] = 0
183.59/44.01	c (24,0) opt[123][4] = 0
183.59/44.01	c (24,0) opt[124][0] = 1
183.59/44.01	c (24,0) opt[124][1] = 0
183.59/44.01	c (24,0) opt[124][2] = 1
183.59/44.01	c (24,0) opt[124][3] = 0
183.59/44.01	c (24,0) opt[124][4] = 0
183.59/44.01	c (24,0) opt[125][0] = 0
183.59/44.01	c (24,0) opt[125][1] = 1
183.59/44.01	c (24,0) opt[125][2] = 0
183.59/44.01	c (24,0) opt[125][3] = 0
183.59/44.01	c (24,0) opt[125][4] = 0
183.59/44.01	c (24,0) opt[126][0] = 1
183.59/44.01	c (24,0) opt[126][1] = 0
183.59/44.01	c (24,0) opt[126][2] = 0
183.59/44.01	c (24,0) opt[126][3] = 1
183.59/44.01	c (24,0) opt[126][4] = 1
183.59/44.01	c (24,0) opt[127][0] = 0
183.59/44.01	c (24,0) opt[127][1] = 0
183.59/44.01	c (24,0) opt[127][2] = 1
183.59/44.01	c (24,0) opt[127][3] = 0
183.59/44.01	c (24,0) opt[127][4] = 0
183.59/44.01	c (24,0) opt[128][0] = 0
183.59/44.01	c (24,0) opt[128][1] = 1
183.59/44.01	c (24,0) opt[128][2] = 0
183.59/44.01	c (24,0) opt[128][3] = 0
183.59/44.01	c (24,0) opt[128][4] = 0
183.59/44.01	c (24,0) opt[129][0] = 1
183.59/44.01	c (24,0) opt[129][1] = 0
183.59/44.01	c (24,0) opt[129][2] = 0
183.59/44.01	c (24,0) opt[129][3] = 0
183.59/44.01	c (24,0) opt[129][4] = 0
183.59/44.01	c (24,0) opt[130][0] = 0
183.59/44.01	c (24,0) opt[130][1] = 1
183.59/44.01	c (24,0) opt[130][2] = 0
183.59/44.01	c (24,0) opt[130][3] = 1
183.59/44.01	c (24,0) opt[130][4] = 0
183.59/44.01	c (24,0) opt[131][0] = 0
183.59/44.01	c (24,0) opt[131][1] = 1
183.59/44.01	c (24,0) opt[131][2] = 0
183.59/44.01	c (24,0) opt[131][3] = 0
183.59/44.01	c (24,0) opt[131][4] = 0
183.59/44.01	c (24,0) opt[132][0] = 1
183.59/44.01	c (24,0) opt[132][1] = 0
183.59/44.01	c (24,0) opt[132][2] = 0
183.59/44.01	c (24,0) opt[132][3] = 0
183.59/44.01	c (24,0) opt[132][4] = 1
183.59/44.01	c (24,0) opt[133][0] = 0
183.59/44.01	c (24,0) opt[133][1] = 0
183.59/44.01	c (24,0) opt[133][2] = 1
183.59/44.01	c (24,0) opt[133][3] = 0
183.59/44.01	c (24,0) opt[133][4] = 0
183.59/44.01	c (24,0) opt[134][0] = 0
183.59/44.01	c (24,0) opt[134][1] = 1
183.59/44.01	c (24,0) opt[134][2] = 0
183.59/44.01	c (24,0) opt[134][3] = 1
183.59/44.01	c (24,0) opt[134][4] = 0
183.59/44.01	c (24,0) opt[135][0] = 1
183.59/44.01	c (24,0) opt[135][1] = 0
183.59/44.01	c (24,0) opt[135][2] = 0
183.59/44.01	c (24,0) opt[135][3] = 0
183.59/44.01	c (24,0) opt[135][4] = 0
183.59/44.01	c (24,0) opt[136][0] = 0
183.59/44.01	c (24,0) opt[136][1] = 1
183.59/44.01	c (24,0) opt[136][2] = 0
183.59/44.01	c (24,0) opt[136][3] = 0
183.59/44.01	c (24,0) opt[136][4] = 0
183.59/44.01	c (24,0) opt[137][0] = 1
183.59/44.01	c (24,0) opt[137][1] = 0
183.59/44.01	c (24,0) opt[137][2] = 0
183.59/44.01	c (24,0) opt[137][3] = 0
183.59/44.01	c (24,0) opt[137][4] = 0
183.59/44.01	c (24,0) opt[138][0] = 0
183.59/44.01	c (24,0) opt[138][1] = 1
183.59/44.01	c (24,0) opt[138][2] = 0
183.59/44.01	c (24,0) opt[138][3] = 0
183.59/44.01	c (24,0) opt[138][4] = 1
183.59/44.01	c (24,0) opt[139][0] = 1
183.59/44.01	c (24,0) opt[139][1] = 0
183.59/44.01	c (24,0) opt[139][2] = 1
183.59/44.01	c (24,0) opt[139][3] = 1
183.59/44.01	c (24,0) opt[139][4] = 0
183.59/44.01	c (24,0) opt[140][0] = 0
183.59/44.01	c (24,0) opt[140][1] = 0
183.59/44.01	c (24,0) opt[140][2] = 0
183.59/44.01	c (24,0) opt[140][3] = 1
183.59/44.01	c (24,0) opt[140][4] = 0
183.59/44.01	c (24,0) opt[141][0] = 1
183.59/44.01	c (24,0) opt[141][1] = 0
183.59/44.01	c (24,0) opt[141][2] = 0
183.59/44.01	c (24,0) opt[141][3] = 0
183.59/44.01	c (24,0) opt[141][4] = 0
183.59/44.01	c (24,0) opt[142][0] = 0
183.59/44.01	c (24,0) opt[142][1] = 0
183.59/44.01	c (24,0) opt[142][2] = 1
183.59/44.01	c (24,0) opt[142][3] = 0
183.59/44.01	c (24,0) opt[142][4] = 0
183.59/44.01	c (24,0) opt[143][0] = 1
183.59/44.01	c (24,0) opt[143][1] = 0
183.59/44.01	c (24,0) opt[143][2] = 0
183.59/44.01	c (24,0) opt[143][3] = 0
183.59/44.01	c (24,0) opt[143][4] = 0
183.59/44.01	c (24,0) opt[144][0] = 0
183.59/44.01	c (24,0) opt[144][1] = 0
183.59/44.01	c (24,0) opt[144][2] = 0
183.59/44.01	c (24,0) opt[144][3] = 1
183.59/44.01	c (24,0) opt[144][4] = 0
183.59/44.01	c (24,0) opt[145][0] = 0
183.59/44.01	c (24,0) opt[145][1] = 0
183.59/44.01	c (24,0) opt[145][2] = 0
183.59/44.02	c (24,0) opt[145][3] = 0
183.59/44.02	c (24,0) opt[145][4] = 1
183.59/44.02	c (24,0) opt[146][0] = 1
183.59/44.02	c (24,0) opt[146][1] = 0
183.59/44.02	c (24,0) opt[146][2] = 1
183.59/44.02	c (24,0) opt[146][3] = 1
183.59/44.02	c (24,0) opt[146][4] = 0
183.59/44.02	c (24,0) opt[147][0] = 0
183.59/44.02	c (24,0) opt[147][1] = 1
183.59/44.02	c (24,0) opt[147][2] = 0
183.59/44.02	c (24,0) opt[147][3] = 0
183.59/44.02	c (24,0) opt[147][4] = 0
183.59/44.02	c (24,0) opt[148][0] = 0
183.59/44.02	c (24,0) opt[148][1] = 1
183.59/44.02	c (24,0) opt[148][2] = 0
183.59/44.02	c (24,0) opt[148][3] = 0
183.59/44.02	c (24,0) opt[148][4] = 0
183.59/44.02	c (24,0) opt[149][0] = 1
183.59/44.02	c (24,0) opt[149][1] = 0
183.59/44.02	c (24,0) opt[149][2] = 0
183.59/44.02	c (24,0) opt[149][3] = 0
183.59/44.02	c (24,0) opt[149][4] = 0
183.59/44.02	c (24,0) opt[150][0] = 0
183.59/44.02	c (24,0) opt[150][1] = 1
183.59/44.02	c (24,0) opt[150][2] = 0
183.59/44.02	c (24,0) opt[150][3] = 0
183.59/44.02	c (24,0) opt[150][4] = 0
183.59/44.02	c (24,0) opt[151][0] = 0
183.59/44.02	c (24,0) opt[151][1] = 0
183.59/44.02	c (24,0) opt[151][2] = 0
183.59/44.02	c (24,0) opt[151][3] = 1
183.59/44.02	c (24,0) opt[151][4] = 0
183.59/44.02	c (24,0) opt[152][0] = 1
183.59/44.02	c (24,0) opt[152][1] = 1
183.59/44.02	c (24,0) opt[152][2] = 0
183.59/44.02	c (24,0) opt[152][3] = 0
183.59/44.02	c (24,0) opt[152][4] = 1
183.59/44.02	c (24,0) opt[153][0] = 0
183.59/44.02	c (24,0) opt[153][1] = 1
183.59/44.02	c (24,0) opt[153][2] = 0
183.59/44.02	c (24,0) opt[153][3] = 0
183.59/44.02	c (24,0) opt[153][4] = 0
183.59/44.02	c (24,0) opt[154][0] = 1
183.59/44.02	c (24,0) opt[154][1] = 0
183.59/44.02	c (24,0) opt[154][2] = 0
183.59/44.02	c (24,0) opt[154][3] = 1
183.59/44.02	c (24,0) opt[154][4] = 0
183.59/44.02	c (24,0) opt[155][0] = 0
183.59/44.02	c (24,0) opt[155][1] = 0
183.59/44.02	c (24,0) opt[155][2] = 1
183.59/44.02	c (24,0) opt[155][3] = 0
183.59/44.02	c (24,0) opt[155][4] = 0
183.59/44.02	c (24,0) opt[156][0] = 1
183.59/44.02	c (24,0) opt[156][1] = 1
183.59/44.02	c (24,0) opt[156][2] = 0
183.59/44.02	c (24,0) opt[156][3] = 1
183.59/44.02	c (24,0) opt[156][4] = 0
183.59/44.02	c (24,0) opt[157][0] = 0
183.59/44.02	c (24,0) opt[157][1] = 0
183.59/44.02	c (24,0) opt[157][2] = 0
183.59/44.02	c (24,0) opt[157][3] = 0
183.59/44.02	c (24,0) opt[157][4] = 1
183.59/44.02	c (24,0) opt[158][0] = 0
183.59/44.02	c (24,0) opt[158][1] = 1
183.59/44.02	c (24,0) opt[158][2] = 0
183.59/44.02	c (24,0) opt[158][3] = 0
183.59/44.02	c (24,0) opt[158][4] = 0
183.59/44.02	c (24,0) opt[159][0] = 1
183.59/44.02	c (24,0) opt[159][1] = 0
183.59/44.02	c (24,0) opt[159][2] = 1
183.59/44.02	c (24,0) opt[159][3] = 0
183.59/44.02	c (24,0) opt[159][4] = 0
183.59/44.02	c (24,0) opt[160][0] = 0
183.59/44.02	c (24,0) opt[160][1] = 1
183.59/44.02	c (24,0) opt[160][2] = 0
183.59/44.02	c (24,0) opt[160][3] = 0
183.59/44.02	c (24,0) opt[160][4] = 0
183.59/44.02	c (24,0) opt[161][0] = 0
183.59/44.02	c (24,0) opt[161][1] = 0
183.59/44.02	c (24,0) opt[161][2] = 0
183.59/44.02	c (24,0) opt[161][3] = 1
183.59/44.02	c (24,0) opt[161][4] = 0
183.59/44.02	c (24,0) opt[162][0] = 1
183.59/44.02	c (24,0) opt[162][1] = 1
183.59/44.02	c (24,0) opt[162][2] = 0
183.59/44.02	c (24,0) opt[162][3] = 0
183.59/44.02	c (24,0) opt[162][4] = 0
183.59/44.02	c (24,0) opt[163][0] = 0
183.59/44.02	c (24,0) opt[163][1] = 0
183.59/44.02	c (24,0) opt[163][2] = 0
183.59/44.02	c (24,0) opt[163][3] = 1
183.59/44.02	c (24,0) opt[163][4] = 0
183.59/44.02	c (24,0) opt[164][0] = 0
183.59/44.02	c (24,0) opt[164][1] = 0
183.59/44.02	c (24,0) opt[164][2] = 1
183.59/44.02	c (24,0) opt[164][3] = 0
183.59/44.02	c (24,0) opt[164][4] = 0
183.59/44.02	c (24,0) opt[165][0] = 1
183.59/44.02	c (24,0) opt[165][1] = 0
183.59/44.02	c (24,0) opt[165][2] = 0
183.59/44.02	c (24,0) opt[165][3] = 0
183.59/44.02	c (24,0) opt[165][4] = 0
183.59/44.02	c (24,0) opt[166][0] = 0
183.59/44.02	c (24,0) opt[166][1] = 1
183.59/44.02	c (24,0) opt[166][2] = 0
183.59/44.02	c (24,0) opt[166][3] = 1
183.59/44.02	c (24,0) opt[166][4] = 1
183.59/44.02	c (24,0) opt[167][0] = 1
183.59/44.02	c (24,0) opt[167][1] = 0
183.59/44.02	c (24,0) opt[167][2] = 0
183.59/44.02	c (24,0) opt[167][3] = 0
183.59/44.02	c (24,0) opt[167][4] = 0
183.59/44.02	c (24,0) opt[168][0] = 0
183.59/44.02	c (24,0) opt[168][1] = 1
183.59/44.02	c (24,0) opt[168][2] = 0
183.59/44.02	c (24,0) opt[168][3] = 0
183.59/44.02	c (24,0) opt[168][4] = 0
183.59/44.02	c (24,0) opt[169][0] = 1
183.59/44.02	c (24,0) opt[169][1] = 0
183.59/44.02	c (24,0) opt[169][2] = 0
183.59/44.02	c (24,0) opt[169][3] = 0
183.59/44.02	c (24,0) opt[169][4] = 0
183.59/44.02	c (24,0) opt[170][0] = 0
183.59/44.02	c (24,0) opt[170][1] = 1
183.59/44.02	c (24,0) opt[170][2] = 0
183.59/44.02	c (24,0) opt[170][3] = 0
183.59/44.02	c (24,0) opt[170][4] = 0
183.59/44.02	c (24,0) opt[171][0] = 1
183.59/44.02	c (24,0) opt[171][1] = 0
183.59/44.02	c (24,0) opt[171][2] = 0
183.59/44.02	c (24,0) opt[171][3] = 0
183.59/44.02	c (24,0) opt[171][4] = 1
183.59/44.02	c (24,0) opt[172][0] = 0
183.59/44.02	c (24,0) opt[172][1] = 0
183.59/44.02	c (24,0) opt[172][2] = 0
183.59/44.02	c (24,0) opt[172][3] = 1
183.59/44.02	c (24,0) opt[172][4] = 0
183.59/44.02	c (24,0) opt[173][0] = 1
183.59/44.02	c (24,0) opt[173][1] = 0
183.59/44.02	c (24,0) opt[173][2] = 1
183.59/44.02	c (24,0) opt[173][3] = 1
183.59/44.02	c (24,0) opt[173][4] = 0
183.59/44.02	c (24,0) opt[174][0] = 0
183.59/44.02	c (24,0) opt[174][1] = 1
183.59/44.02	c (24,0) opt[174][2] = 0
183.59/44.02	c (24,0) opt[174][3] = 0
183.59/44.02	c (24,0) opt[174][4] = 0
183.59/44.02	c (24,0) opt[175][0] = 1
183.59/44.02	c (24,0) opt[175][1] = 0
183.59/44.02	c (24,0) opt[175][2] = 0
183.59/44.02	c (24,0) opt[175][3] = 0
183.59/44.02	c (24,0) opt[175][4] = 0
183.59/44.02	c (24,0) opt[176][0] = 0
183.59/44.02	c (24,0) opt[176][1] = 1
183.59/44.02	c (24,0) opt[176][2] = 0
183.59/44.02	c (24,0) opt[176][3] = 0
183.59/44.02	c (24,0) opt[176][4] = 0
183.59/44.02	c (24,0) opt[177][0] = 1
183.59/44.02	c (24,0) opt[177][1] = 0
183.59/44.02	c (24,0) opt[177][2] = 0
183.59/44.02	c (24,0) opt[177][3] = 0
183.59/44.02	c (24,0) opt[177][4] = 0
183.59/44.02	c (24,0) opt[178][0] = 0
183.59/44.02	c (24,0) opt[178][1] = 1
183.59/44.02	c (24,0) opt[178][2] = 0
183.59/44.02	c (24,0) opt[178][3] = 1
183.59/44.02	c (24,0) opt[178][4] = 0
183.59/44.02	c (24,0) opt[179][0] = 1
183.59/44.02	c (24,0) opt[179][1] = 0
183.59/44.02	c (24,0) opt[179][2] = 0
183.59/44.02	c (24,0) opt[179][3] = 0
183.59/44.02	c (24,0) opt[179][4] = 0
183.59/44.02	c (24,0) opt[180][0] = 0
183.59/44.02	c (24,0) opt[180][1] = 1
183.59/44.02	c (24,0) opt[180][2] = 0
183.59/44.02	c (24,0) opt[180][3] = 1
183.59/44.02	c (24,0) opt[180][4] = 1
183.59/44.02	c (24,0) opt[181][0] = 1
183.59/44.02	c (24,0) opt[181][1] = 0
183.59/44.02	c (24,0) opt[181][2] = 0
183.59/44.02	c (24,0) opt[181][3] = 0
183.59/44.02	c (24,0) opt[181][4] = 0
183.59/44.02	c (24,0) opt[182][0] = 0
183.59/44.02	c (24,0) opt[182][1] = 0
183.59/44.02	c (24,0) opt[182][2] = 1
183.59/44.02	c (24,0) opt[182][3] = 0
183.59/44.02	c (24,0) opt[182][4] = 0
183.59/44.02	c (24,0) opt[183][0] = 1
183.59/44.02	c (24,0) opt[183][1] = 1
183.59/44.02	c (24,0) opt[183][2] = 0
183.59/44.02	c (24,0) opt[183][3] = 0
183.59/44.02	c (24,0) opt[183][4] = 0
183.59/44.02	c (24,0) opt[184][0] = 0
183.59/44.02	c (24,0) opt[184][1] = 0
183.59/44.02	c (24,0) opt[184][2] = 0
183.59/44.02	c (24,0) opt[184][3] = 1
183.59/44.02	c (24,0) opt[184][4] = 0
183.59/44.02	c (24,0) opt[185][0] = 1
183.59/44.02	c (24,0) opt[185][1] = 1
183.59/44.02	c (24,0) opt[185][2] = 0
183.59/44.02	c (24,0) opt[185][3] = 0
183.59/44.02	c (24,0) opt[185][4] = 0
183.59/44.02	c (24,0) opt[186][0] = 0
183.59/44.02	c (24,0) opt[186][1] = 1
183.59/44.02	c (24,0) opt[186][2] = 1
183.59/44.02	c (24,0) opt[186][3] = 1
183.59/44.02	c (24,0) opt[186][4] = 0
183.59/44.02	c (24,0) opt[187][0] = 1
183.59/44.02	c (24,0) opt[187][1] = 0
183.59/44.02	c (24,0) opt[187][2] = 0
183.59/44.02	c (24,0) opt[187][3] = 0
183.59/44.02	c (24,0) opt[187][4] = 0
183.59/44.02	c (24,0) opt[188][0] = 0
183.59/44.02	c (24,0) opt[188][1] = 1
183.59/44.02	c (24,0) opt[188][2] = 0
183.59/44.02	c (24,0) opt[188][3] = 0
183.59/44.02	c (24,0) opt[188][4] = 0
183.59/44.02	c (24,0) opt[189][0] = 1
183.59/44.02	c (24,0) opt[189][1] = 1
183.59/44.02	c (24,0) opt[189][2] = 0
183.59/44.02	c (24,0) opt[189][3] = 0
183.59/44.02	c (24,0) opt[189][4] = 0
183.59/44.02	c (24,0) opt[190][0] = 0
183.59/44.02	c (24,0) opt[190][1] = 0
183.59/44.02	c (24,0) opt[190][2] = 0
183.59/44.02	c (24,0) opt[190][3] = 1
183.59/44.02	c (24,0) opt[190][4] = 0
183.59/44.02	c (24,0) opt[191][0] = 1
183.59/44.02	c (24,0) opt[191][1] = 1
183.59/44.02	c (24,0) opt[191][2] = 0
183.59/44.02	c (24,0) opt[191][3] = 0
183.59/44.02	c (24,0) opt[191][4] = 0
183.59/44.02	c (24,0) opt[192][0] = 0
183.59/44.02	c (24,0) opt[192][1] = 0
183.59/44.02	c (24,0) opt[192][2] = 1
183.59/44.02	c (24,0) opt[192][3] = 1
183.59/44.02	c (24,0) opt[192][4] = 0
183.59/44.02	c (24,0) opt[193][0] = 1
183.59/44.02	c (24,0) opt[193][1] = 0
183.59/44.02	c (24,0) opt[193][2] = 0
183.59/44.02	c (24,0) opt[193][3] = 0
183.59/44.02	c (24,0) opt[193][4] = 0
183.59/44.02	c (24,0) opt[194][0] = 0
183.59/44.02	c (24,0) opt[194][1] = 1
183.59/44.02	c (24,0) opt[194][2] = 0
183.59/44.02	c (24,0) opt[194][3] = 0
183.59/44.02	c (24,0) opt[194][4] = 0
183.59/44.02	c (24,0) opt[195][0] = 1
183.59/44.02	c (24,0) opt[195][1] = 1
183.59/44.02	c (24,0) opt[195][2] = 0
183.59/44.02	c (24,0) opt[195][3] = 0
183.59/44.02	c (24,0) opt[195][4] = 0
183.59/44.02	c (24,0) opt[196][0] = 0
183.59/44.02	c (24,0) opt[196][1] = 0
183.59/44.02	c (24,0) opt[196][2] = 0
183.59/44.02	c (24,0) opt[196][3] = 1
183.59/44.02	c (24,0) opt[196][4] = 0
183.59/44.02	c (24,0) opt[197][0] = 1
183.59/44.02	c (24,0) opt[197][1] = 0
183.59/44.02	c (24,0) opt[197][2] = 0
183.59/44.02	c (24,0) opt[197][3] = 0
183.59/44.02	c (24,0) opt[197][4] = 0
183.59/44.02	c (24,0) opt[198][0] = 0
183.59/44.02	c (24,0) opt[198][1] = 1
183.59/44.02	c (24,0) opt[198][2] = 0
183.59/44.02	c (24,0) opt[198][3] = 1
183.59/44.02	c (24,0) opt[198][4] = 1
183.59/44.02	c (24,0) opt[199][0] = 1
183.59/44.02	c (24,0) opt[199][1] = 0
183.59/44.02	c (24,0) opt[199][2] = 0
183.59/44.02	c (24,0) opt[199][3] = 0
183.59/44.02	c (24,0) opt[199][4] = 0
183.59/44.02	s SATISFIABLE
183.59/44.02	v <instantiation>
183.59/44.02	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>
183.59/44.02	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>
183.59/44.02	v </instantiation>
183.59/44.02	c (24,0) Show results End
183.59/44.02	c (24,0) Heap : 301 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
183.59/44.02	c (24,0) 24,24,STOP-AFTER(ALL)
183.59/44.02	c END-Prog: Sat Sep 14 05:12:54 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 (14936 MiB free)
  memory of node 1: 16384 MiB (15607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392680-1568430770/watcher-4392680-1568430770 -o /tmp/evaluation-result-4392680-1568430770/solver-4392680-1568430770 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --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-4392680-1568430770.xml 

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

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

solver pid=7670, runsolver pid=7667

[startup+0.100113 s]*
/proc/loadavg: 8.64 8.05 8.10 2/211 7692
/proc/meminfo: memFree=31184436/32770624 swapFree=67000536/67108860
[pid=7670] ppid=7667 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7670/stat : 7670 (scop.sh) S 7667 7670 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418991045 115843072 349 33554432000 4194304 5098028 140729713563264 140729713560520 140605090935420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14622720 140729713570596 140729713570924 140729713570924 140729713573837 0
/proc/7670/statm: 28282 349 296 221 0 87 0
[pid=7673] ppid=7670 vsize=27314120 memory=106028 CPUtime=0.11 cores=0-7
/proc/7673/stat : 7673 (java) S 7670 7670 6587 0 -1 1077944320 6620 0 0 0 8 3 0 0 20 0 20 0 418991045 27969658880 26507 33554432000 4194304 4196468 140730352704704 140730352687248 140162641391351 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
/proc/7673/statm: 6828530 26507 2778 1 0 6790935 0
[pid=7673/tid=7674] ppid=7670 vsize=27314120 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/7673/task/7674/stat : 7674 (java) R 7670 7670 6587 0 -1 4202560 4727 0 0 0 6 2 0 0 20 0 20 0 418991046 27969658880 26507 33554432000 4194304 4196468 140730352704704 140162613221280 140162641413277 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7675] ppid=7670 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7673/task/7675/stat : 7675 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162645634064 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7676] ppid=7670 vsize=27314120 memory=140660231943808 CPUtime=0 cores=0-7
/proc/7673/task/7676/stat : 7676 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162459790480 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7677] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7677/stat : 7677 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162458737424 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7678] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7678/stat : 7678 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162457684880 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7679] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7679/stat : 7679 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162456631824 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7680] ppid=7670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7673/task/7680/stat : 7680 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162455579280 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7681] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7681/stat : 7681 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162454526224 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7682] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7682/stat : 7682 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 26572 33554432000 4194304 4196468 140730352704704 140162453473680 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7683] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7683/stat : 7683 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160894171888 140162641402498 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7684] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7684/stat : 7684 (java) S 7670 7670 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160553445024 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7685] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7685/stat : 7685 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160285009136 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7686] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7686/stat : 7686 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 26572 33554432000 4194304 4196468 140730352704704 140159910500816 140162641409947 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7687] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7687/stat : 7687 (java) S 7670 7670 6587 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160893118704 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7688] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7688/stat : 7688 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160892066160 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7689] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7689/stat : 7689 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160891013104 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7690] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7690/stat : 7690 (java) R 7670 7670 6587 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160821880944 140162641412698 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7691] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7691/stat : 7691 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 26572 33554432000 4194304 4196468 140730352704704 140159412595680 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7692] ppid=7670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7673/task/7692/stat : 7692 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991054 27969658880 26572 33554432000 4194304 4196468 140730352704704 140160820829360 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107424 KiB

[startup+0.21034 s]*
/proc/loadavg: 8.64 8.05 8.10 3/211 7692
/proc/meminfo: memFree=31163204/32770624 swapFree=67000536/67108860
[pid=7670] ppid=7667 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7670/stat : 7670 (scop.sh) S 7667 7670 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418991045 115843072 349 33554432000 4194304 5098028 140729713563264 140729713560520 140605090935420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14622720 140729713570596 140729713570924 140729713570924 140729713573837 0
/proc/7670/statm: 28282 349 296 221 0 87 0
[pid=7673] ppid=7670 vsize=27314120 memory=123168 CPUtime=0.24 cores=0-7
/proc/7673/stat : 7673 (java) S 7670 7670 6587 0 -1 1077944320 11651 0 0 0 20 4 0 0 20 0 20 0 418991045 27969658880 30792 33554432000 4194304 4196468 140730352704704 140730352687248 140162641391351 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
/proc/7673/statm: 6828530 30792 2970 1 0 6790935 0
[pid=7673/tid=7674] ppid=7670 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7673/task/7674/stat : 7674 (java) R 7670 7670 6587 0 -1 4202560 9365 0 0 0 16 4 0 0 20 0 20 0 418991046 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162613190736 140162626556937 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7675] ppid=7670 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/7673/task/7675/stat : 7675 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162645634064 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7676] ppid=7670 vsize=27314120 memory=140660231955611 CPUtime=0 cores=0-7
/proc/7673/task/7676/stat : 7676 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162459790480 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7677] ppid=7670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7673/task/7677/stat : 7677 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162458737424 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7678] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7678/stat : 7678 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162457684880 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7679] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7679/stat : 7679 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162456631824 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7680] ppid=7670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7673/task/7680/stat : 7680 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162455579280 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7681] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7681/stat : 7681 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162454526224 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7682] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7682/stat : 7682 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 30792 33554432000 4194304 4196468 140730352704704 140162453473680 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7683] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7683/stat : 7683 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160894171888 140162641402498 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7684] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7684/stat : 7684 (java) S 7670 7670 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160553445024 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7685] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7685/stat : 7685 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160285009136 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7686] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7686/stat : 7686 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 30792 33554432000 4194304 4196468 140730352704704 140159910500816 140162641409947 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7687] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7687/stat : 7687 (java) S 7670 7670 6587 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160893118704 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7688] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7688/stat : 7688 (java) S 7670 7670 6587 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160892066160 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7689] ppid=7670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7673/task/7689/stat : 7689 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160891013104 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7690] ppid=7670 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/7673/task/7690/stat : 7690 (java) S 7670 7670 6587 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 418991053 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160821880944 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7691] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7691/stat : 7691 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 30792 33554432000 4194304 4196468 140730352704704 140159412595680 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7692] ppid=7670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7673/task/7692/stat : 7692 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991054 27969658880 30792 33554432000 4194304 4196468 140730352704704 140160820829360 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124564 KiB

[startup+0.309512 s]*
/proc/loadavg: 8.64 8.05 8.10 2/211 7692
/proc/meminfo: memFree=31160760/32770624 swapFree=67000536/67108860
[pid=7670] ppid=7667 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7670/stat : 7670 (scop.sh) S 7667 7670 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418991045 115843072 349 33554432000 4194304 5098028 140729713563264 140729713560520 140605090935420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14622720 140729713570596 140729713570924 140729713570924 140729713573837 0
/proc/7670/statm: 28282 349 296 221 0 87 0
[pid=7673] ppid=7670 vsize=27314120 memory=127404 CPUtime=0.42 cores=0-7
/proc/7673/stat : 7673 (java) S 7670 7670 6587 0 -1 1077944320 12743 0 0 0 37 5 0 0 20 0 20 0 418991045 27969658880 31851 33554432000 4194304 4196468 140730352704704 140730352687248 140162641391351 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
/proc/7673/statm: 6828530 31851 3027 1 0 6790935 0
[pid=7673/tid=7674] ppid=7670 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7673/task/7674/stat : 7674 (java) R 7670 7670 6587 0 -1 4202560 10259 0 0 0 25 4 0 0 20 0 20 0 418991046 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162613221424 140162622764888 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7675] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7675/stat : 7675 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162645634064 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7676] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7676/stat : 7676 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162459790480 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7677] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7677/stat : 7677 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162458737424 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7678] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7678/stat : 7678 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162457684880 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7679] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7679/stat : 7679 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162456631824 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7680] ppid=7670 vsize=27314120 memory=140660111927983 CPUtime=0 cores=0-7
/proc/7673/task/7680/stat : 7680 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162455579280 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7681] ppid=7670 vsize=27314120 memory=140660111930288 CPUtime=0 cores=0-7
/proc/7673/task/7681/stat : 7681 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162454526224 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7682] ppid=7670 vsize=27314120 memory=140660111932592 CPUtime=0 cores=0-7
/proc/7673/task/7682/stat : 7682 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27969658880 31851 33554432000 4194304 4196468 140730352704704 140162453473680 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7683] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7683/stat : 7683 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160894171888 140162641402498 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7684] ppid=7670 vsize=27314120 memory=281320223879056 CPUtime=0 cores=0-7
/proc/7673/task/7684/stat : 7684 (java) S 7670 7670 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160553445024 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7685] ppid=7670 vsize=27314120 memory=281320223876752 CPUtime=0 cores=0-7
/proc/7673/task/7685/stat : 7685 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991050 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160285009136 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7686] ppid=7670 vsize=27314120 memory=281320223883664 CPUtime=0 cores=0-7
/proc/7673/task/7686/stat : 7686 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 31851 33554432000 4194304 4196468 140730352704704 140159910500816 140162641409947 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7687] ppid=7670 vsize=27314120 memory=281320223824944 CPUtime=0 cores=0-7
/proc/7673/task/7687/stat : 7687 (java) S 7670 7670 6587 0 -1 1077944384 475 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160893118704 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7688] ppid=7670 vsize=27314120 memory=281320223897488 CPUtime=0.01 cores=0-7
/proc/7673/task/7688/stat : 7688 (java) S 7670 7670 6587 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 20 0 418991053 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160892066160 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7689] ppid=7670 vsize=27314120 memory=281320223904400 CPUtime=0 cores=0-7
/proc/7673/task/7689/stat : 7689 (java) S 7670 7670 6587 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160891013104 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7690] ppid=7670 vsize=27314120 memory=281320223902096 CPUtime=0.07 cores=0-7
/proc/7673/task/7690/stat : 7690 (java) S 7670 7670 6587 0 -1 1077944384 508 0 0 0 7 0 0 0 20 0 20 0 418991053 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160821880944 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7691] ppid=7670 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7691/stat : 7691 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418991053 27969658880 31851 33554432000 4194304 4196468 140730352704704 140159412595680 140162641401557 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7692] ppid=7670 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7673/task/7692/stat : 7692 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991054 27969658880 31851 33554432000 4194304 4196468 140730352704704 140160820829360 140162641402498 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128800 KiB

[startup+0.700875 s]
/proc/loadavg: 8.64 8.05 8.10 2/211 7692
/proc/meminfo: memFree=31138436/32770624 swapFree=67000536/67108860
[pid=7670] ppid=7667 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7670/stat : 7670 (scop.sh) S 7667 7670 6587 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 418991045 115843072 349 33554432000 4194304 5098028 140729713563264 140729713560520 140605090935420 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 14622720 140729713570596 140729713570924 140729713570924 140729713573837 0
/proc/7670/statm: 28282 349 296 221 0 87 0
[pid=7673] ppid=7670 vsize=27320392 memory=165252 CPUtime=1.01 cores=0-7
/proc/7673/stat : 7673 (java) S 7670 7670 6587 0 -1 1077944320 20427 0 0 0 94 7 0 0 20 0 20 0 418991045 27976081408 41313 33554432000 4194304 4196468 140730352704704 140730352687248 140162641391351 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
/proc/7673/statm: 6830098 41313 3178 1 0 6791447 0
[pid=7673/tid=7674] ppid=7670 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/7673/task/7674/stat : 7674 (java) R 7670 7670 6587 0 -1 4202560 17359 0 0 0 62 6 0 0 20 0 20 0 418991046 27976081408 41313 33554432000 4194304 4196468 140730352704704 140162613225984 140162641413277 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7675] ppid=7670 vsize=27320392 memory=140660112139120 CPUtime=0 cores=0-7
/proc/7673/task/7675/stat : 7675 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418991048 27976081408 41313 33554432000 4194304 4196468 140730352704704 140162645634064 140162641401557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7676] ppid=7670 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7673/task/7676/stat : 7676 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27976081408 41313 33554432000 4194304 4196468 140730352704704 140162459790480 140162641401557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0
[pid=7673/tid=7677] ppid=7670 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/7673/task/7677/stat : 7677 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418991048 27976081408 41313 33554432000 4194304 4196468 140730352704704 140162458737424 140162641401557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14999552 140730352706283 140730352706710 140730352706710 140730352709583 0

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

[pid=7695/tid=7698] ppid=7670 vsize=8414124 memory=35227254655722 CPUtime=0 cores=0-7
/proc/7695/task/7698/stat : 7698 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 32297 33554432000 4194304 4196468 140728048785760 139647779256720 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7699] ppid=7670 vsize=8414124 memory=3436 CPUtime=0 cores=0-7
/proc/7695/task/7699/stat : 7699 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 32297 33554432000 4194304 4196468 140728048785760 139647778204176 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7700] ppid=7670 vsize=8414124 memory=7548 CPUtime=0 cores=0-7
/proc/7695/task/7700/stat : 7700 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 32297 33554432000 4194304 4196468 140728048785760 139647777151632 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7701] ppid=7670 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/7695/task/7701/stat : 7701 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 32297 33554432000 4194304 4196468 140728048785760 139647776099088 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7702] ppid=7670 vsize=8414124 memory=1224 CPUtime=0 cores=0-7
/proc/7695/task/7702/stat : 7702 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 32297 33554432000 4194304 4196468 140728048785760 139647450254224 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7703] ppid=7670 vsize=8414124 memory=5916 CPUtime=0 cores=0-7
/proc/7695/task/7703/stat : 7703 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 32297 33554432000 4194304 4196468 140728048785760 139647449201680 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7704] ppid=7670 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/7695/task/7704/stat : 7704 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 32297 33554432000 4194304 4196468 140728048785760 139647448149136 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7705] ppid=7670 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/7695/task/7705/stat : 7705 (java) S 7670 7670 6587 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418992941 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646928426992 139647969262210 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7706] ppid=7670 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/7695/task/7706/stat : 7706 (java) S 7670 7670 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418992941 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646566654880 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7707] ppid=7670 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/7695/task/7707/stat : 7707 (java) S 7670 7670 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418992941 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646432433136 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7708] ppid=7670 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/7695/task/7708/stat : 7708 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418992944 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646057928912 139647969269659 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7709] ppid=7670 vsize=8414124 memory=1564 CPUtime=0.12 cores=0-7
/proc/7695/task/7709/stat : 7709 (java) S 7670 7670 6587 0 -1 1077944384 705 0 0 0 12 0 0 0 20 0 24 0 418992944 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646927374832 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7710] ppid=7670 vsize=8414124 memory=928 CPUtime=0.17 cores=0-7
/proc/7695/task/7710/stat : 7710 (java) S 7670 7670 6587 0 -1 1077944384 449 0 0 0 17 0 0 0 20 0 24 0 418992944 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646926322288 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7711] ppid=7670 vsize=8414124 memory=-4075877051373423739 CPUtime=0.27 cores=0-7
/proc/7695/task/7711/stat : 7711 (java) S 7670 7670 6587 0 -1 1077944384 1051 0 0 0 27 0 0 0 20 0 24 0 418992944 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646925269744 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7712] ppid=7670 vsize=8414124 memory=1332 CPUtime=0.25 cores=0-7
/proc/7695/task/7712/stat : 7712 (java) S 7670 7670 6587 0 -1 1077944384 638 0 0 0 25 0 0 0 20 0 24 0 418992944 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646924217200 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7713] ppid=7670 vsize=8414124 memory=2648 CPUtime=0 cores=0-7
/proc/7695/task/7713/stat : 7713 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418992944 8616062976 32297 33554432000 4194304 4196468 140728048785760 139645560023264 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7714] ppid=7670 vsize=8414124 memory=912 CPUtime=0.01 cores=0-7
/proc/7695/task/7714/stat : 7714 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 418992944 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646923164080 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7716] ppid=7670 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7695/task/7716/stat : 7716 (java) S 7670 7670 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418993025 8616062976 32297 33554432000 4194304 4196468 140728048785760 139646913033408 139647969275673 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7718] ppid=7670 vsize=8414124 memory=7686721470317960090 CPUtime=0 cores=0-7
/proc/7695/task/7718/stat : 7718 (java) S 7670 7670 6587 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 418993026 8616062976 32297 33554432000 4194304 4196468 140728048785760 139644888923952 139647969272989 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7719] ppid=7670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7695/task/7719/stat : 7719 (java) S 7670 7670 6587 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418993026 8616062976 32297 33554432000 4194304 4196468 140728048785760 139645157359536 139647969272989 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7720] ppid=7670 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/7695/task/7720/stat : 7720 (java) S 7670 7670 6587 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418993028 8616062976 32297 33554432000 4194304 4196468 140728048785760 139644620496560 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
Current children cumulated CPU time: 182 s
Current children cumulated vsize: 11426180 KiB
Current children cumulated memory: 2714912 KiB

[startup+43.6011 s]
/proc/loadavg: 6.18 7.45 7.89 2/217 7729
/proc/meminfo: memFree=28513436/32770624 swapFree=67000536/67108860
[pid=7670] ppid=7667 vsize=113128 memory=1476 CPUtime=33.32 cores=0-7
/proc/7670/stat : 7670 (scop.sh) S 7667 7670 6587 0 -1 4202496 583 45983 0 0 0 0 3193 139 20 0 1 0 418991045 115843072 369 33554432000 4194304 5098028 140729713563264 140729713560008 140605090935420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14622720 140729713570596 140729713570924 140729713570924 140729713573837 0
/proc/7670/statm: 28282 369 311 221 0 87 0
[pid=7695] ppid=7670 vsize=8414124 memory=192448 CPUtime=2.08 cores=0-7
/proc/7695/stat : 7695 (java) S 7670 7670 6587 0 -1 1077944320 21795 0 0 0 193 15 0 0 20 0 24 0 418992938 8616062976 48112 33554432000 4194304 4196468 140728048785760 140728048768304 139647969251063 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
/proc/7695/statm: 2103531 48112 3223 1 0 2064875 0
[pid=7695/tid=7696] ppid=7670 vsize=8414124 memory=-8253362762722141311 CPUtime=0.9 cores=0-7
/proc/7695/task/7696/stat : 7696 (java) S 7670 7670 6587 0 -1 1077944384 16995 0 0 0 81 9 0 0 20 0 24 0 418992938 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647941091232 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7697] ppid=7670 vsize=8414124 memory=7100839861465685612 CPUtime=0 cores=0-7
/proc/7695/task/7697/stat : 7697 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647973493008 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7698] ppid=7670 vsize=8414124 memory=3617854089136975926 CPUtime=0 cores=0-7
/proc/7695/task/7698/stat : 7698 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647779256720 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7699] ppid=7670 vsize=8414124 memory=3761405227730876468 CPUtime=0 cores=0-7
/proc/7695/task/7699/stat : 7699 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647778204176 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7700] ppid=7670 vsize=8414124 memory=7230645025961766505 CPUtime=0 cores=0-7
/proc/7695/task/7700/stat : 7700 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647777151632 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7701] ppid=7670 vsize=8414124 memory=964 CPUtime=0 cores=0-7
/proc/7695/task/7701/stat : 7701 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647776099088 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7702] ppid=7670 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/7695/task/7702/stat : 7702 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647450254224 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7703] ppid=7670 vsize=8414124 memory=2116 CPUtime=0 cores=0-7
/proc/7695/task/7703/stat : 7703 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647449201680 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7704] ppid=7670 vsize=8414124 memory=20604 CPUtime=0 cores=0-7
/proc/7695/task/7704/stat : 7704 (java) S 7670 7670 6587 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 418992939 8616062976 48624 33554432000 4194304 4196468 140728048785760 139647448149136 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7705] ppid=7670 vsize=8414124 memory=11852 CPUtime=0 cores=0-7
/proc/7695/task/7705/stat : 7705 (java) S 7670 7670 6587 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 418992941 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646928426992 139647969262210 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7706] ppid=7670 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/7695/task/7706/stat : 7706 (java) S 7670 7670 6587 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 418992941 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646566654880 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7707] ppid=7670 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/7695/task/7707/stat : 7707 (java) S 7670 7670 6587 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 418992941 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646432433136 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7708] ppid=7670 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/7695/task/7708/stat : 7708 (java) S 7670 7670 6587 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 418992944 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646057928912 139647969269659 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7709] ppid=7670 vsize=8414124 memory=1980 CPUtime=0.14 cores=0-7
/proc/7695/task/7709/stat : 7709 (java) S 7670 7670 6587 0 -1 1077944384 714 0 0 0 14 0 0 0 20 0 24 0 418992944 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646927374832 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7710] ppid=7670 vsize=8414124 memory=1332 CPUtime=0.22 cores=0-7
/proc/7695/task/7710/stat : 7710 (java) S 7670 7670 6587 0 -1 1077944384 468 0 0 0 22 0 0 0 20 0 24 0 418992944 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646926322288 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7711] ppid=7670 vsize=8414124 memory=2648 CPUtime=0.3 cores=0-7
/proc/7695/task/7711/stat : 7711 (java) S 7670 7670 6587 0 -1 1077944384 1061 0 0 0 30 0 0 0 20 0 24 0 418992944 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646925269744 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7712] ppid=7670 vsize=8414124 memory=912 CPUtime=0.29 cores=0-7
/proc/7695/task/7712/stat : 7712 (java) S 7670 7670 6587 0 -1 1077944384 1097 0 0 0 29 0 0 0 20 0 24 0 418992944 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646924217200 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7713] ppid=7670 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/7695/task/7713/stat : 7713 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 418992944 8616062976 48624 33554432000 4194304 4196468 140728048785760 139645560023264 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7714] ppid=7670 vsize=8414124 memory=1768 CPUtime=0.01 cores=0-7
/proc/7695/task/7714/stat : 7714 (java) S 7670 7670 6587 0 -1 1077944384 3 0 0 0 1 0 0 0 20 0 24 0 418992944 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646923164080 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 66 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7716] ppid=7670 vsize=8414124 memory=111636 CPUtime=0 cores=0-7
/proc/7695/task/7716/stat : 7716 (java) S 7670 7670 6587 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 418993025 8616062976 48624 33554432000 4194304 4196468 140728048785760 139646913033408 139647969275673 0 4 2 25189581 18446744071579417331 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7718] ppid=7670 vsize=8414124 memory=808 CPUtime=0.15 cores=0-7
/proc/7695/task/7718/stat : 7718 (java) R 7670 7670 6587 0 -1 4202560 47 0 0 0 13 2 0 0 20 0 24 0 418993026 8616062976 48624 33554432000 4194304 4196468 140728048785760 139644888923904 139647456191262 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7719] ppid=7670 vsize=8414124 memory=4096 CPUtime=0 cores=0-7
/proc/7695/task/7719/stat : 7719 (java) S 7670 7670 6587 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 418993026 8616062976 48624 33554432000 4194304 4196468 140728048785760 139645157359536 139647969272989 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7720] ppid=7670 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/7695/task/7720/stat : 7720 (java) S 7670 7670 6587 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 418993028 8616062976 48624 33554432000 4194304 4196468 140728048785760 139644620496560 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
Current children cumulated CPU time: 35.4 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 193924 KiB

[startup+44.0009 s]*
/proc/loadavg: 6.18 7.45 7.89 6/213 7729
/proc/meminfo: memFree=30908320/32770624 swapFree=67000536/67108860
[pid=7670] ppid=7667 vsize=113128 memory=1476 CPUtime=33.32 cores=0-7
/proc/7670/stat : 7670 (scop.sh) S 7667 7670 6587 0 -1 4202496 583 45983 0 0 0 0 3193 139 20 0 1 0 418991045 115843072 369 33554432000 4194304 5098028 140729713563264 140729713560008 140605090935420 0 65536 4100 81923 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 14622720 140729713570596 140729713570924 140729713570924 140729713573837 0
/proc/7670/statm: 28282 369 311 221 0 87 0
[pid=7695] ppid=7670 vsize=8284072 memory=322072 CPUtime=150.27 cores=0-7
/proc/7695/stat : 7695 (java) S 7670 7670 6587 0 -1 1077944320 24020 1656009 0 0 273 19 14417 318 20 0 22 0 418992938 8482889728 80518 33554432000 4194304 4196468 140728048785760 140728048768304 139647969251063 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
/proc/7695/statm: 2071018 80518 3238 1 0 2032362 0
[pid=7695/tid=7696] ppid=7670 vsize=8284072 memory=1398722017469774279 CPUtime=148.45 cores=0-7
/proc/7695/task/7696/stat : 7696 (java) R 7670 7670 6587 0 -1 4202560 18014 1656009 0 0 100 10 14417 318 20 0 22 0 418992938 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647941078112 139647961930781 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7697] ppid=7670 vsize=8284072 memory=4872558044660077418 CPUtime=147.35 cores=0-7
/proc/7695/task/7697/stat : 7697 (java) S 7670 7670 6587 0 -1 1077944384 2 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647973493008 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7698] ppid=7670 vsize=8284072 memory=6081106795523894120 CPUtime=147.35 cores=0-7
/proc/7695/task/7698/stat : 7698 (java) S 7670 7670 6587 0 -1 1077944384 1 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647779256720 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7699] ppid=7670 vsize=8284072 memory=7661859282783267682 CPUtime=147.35 cores=0-7
/proc/7695/task/7699/stat : 7699 (java) S 7670 7670 6587 0 -1 1077944384 3 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647778204176 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7700] ppid=7670 vsize=8284072 memory=6081099111827402083 CPUtime=147.35 cores=0-7
/proc/7695/task/7700/stat : 7700 (java) S 7670 7670 6587 0 -1 1077944384 2 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647777151632 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7701] ppid=7670 vsize=8284072 memory=8112282956445269571 CPUtime=147.35 cores=0-7
/proc/7695/task/7701/stat : 7701 (java) S 7670 7670 6587 0 -1 1077944384 2 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647776099088 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7702] ppid=7670 vsize=8284072 memory=37224 CPUtime=147.35 cores=0-7
/proc/7695/task/7702/stat : 7702 (java) S 7670 7670 6587 0 -1 1077944384 2 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647450254224 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7703] ppid=7670 vsize=8284072 memory=988 CPUtime=147.35 cores=0-7
/proc/7695/task/7703/stat : 7703 (java) S 7670 7670 6587 0 -1 1077944384 1 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647449201680 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7704] ppid=7670 vsize=8284072 memory=2012 CPUtime=147.35 cores=0-7
/proc/7695/task/7704/stat : 7704 (java) S 7670 7670 6587 0 -1 1077944384 2 1656009 0 0 0 0 14417 318 20 0 22 0 418992939 8482889728 80518 33554432000 4194304 4196468 140728048785760 139647448149136 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7705] ppid=7670 vsize=8284072 memory=8996 CPUtime=147.35 cores=0-7
/proc/7695/task/7705/stat : 7705 (java) S 7670 7670 6587 0 -1 1077944384 8 1656009 0 0 0 0 14417 318 20 0 22 0 418992941 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646928426992 139647969262210 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7706] ppid=7670 vsize=8284072 memory=-8961168018402230209 CPUtime=147.35 cores=0-7
/proc/7695/task/7706/stat : 7706 (java) S 7670 7670 6587 0 -1 1077944384 13 1656009 0 0 0 0 14417 318 20 0 22 0 418992941 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646566654880 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7707] ppid=7670 vsize=8284072 memory=-8253362762722141311 CPUtime=147.35 cores=0-7
/proc/7695/task/7707/stat : 7707 (java) S 7670 7670 6587 0 -1 1077944384 21 1656009 0 0 0 0 14417 318 20 0 22 0 418992941 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646432433136 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7708] ppid=7670 vsize=8284072 memory=7100839861465685612 CPUtime=147.35 cores=0-7
/proc/7695/task/7708/stat : 7708 (java) S 7670 7670 6587 0 -1 1077944384 1 1656009 0 0 0 0 14417 318 20 0 22 0 418992944 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646057928912 139647969269659 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7709] ppid=7670 vsize=8284072 memory=7453282923478739028 CPUtime=147.59 cores=0-7
/proc/7695/task/7709/stat : 7709 (java) R 7670 7670 6587 0 -1 4202560 1157 1656009 0 0 23 1 14417 318 20 0 22 0 418992944 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646927356096 139647961501553 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7710] ppid=7670 vsize=8284072 memory=7668337502333262183 CPUtime=147.67 cores=0-7
/proc/7695/task/7710/stat : 7710 (java) R 7670 7670 6587 0 -1 4202560 673 1656009 0 0 32 0 14417 318 20 0 22 0 418992944 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646926304560 139647953638090 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7711] ppid=7670 vsize=8284072 memory=6081104596517481833 CPUtime=147.74 cores=0-7
/proc/7695/task/7711/stat : 7711 (java) R 7670 7670 6587 0 -1 4202560 1097 1656009 0 0 39 0 14417 318 20 0 22 0 418992944 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646925254424 139647953643489 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7712] ppid=7670 vsize=8284072 memory=7517468027280648290 CPUtime=147.77 cores=0-7
/proc/7695/task/7712/stat : 7712 (java) S 7670 7670 6587 0 -1 1077944384 1521 1656009 0 0 42 0 14417 318 20 0 22 0 418992944 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646924217200 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7713] ppid=7670 vsize=8284072 memory=7517468027280648290 CPUtime=147.35 cores=0-7
/proc/7695/task/7713/stat : 7713 (java) S 7670 7670 6587 0 -1 1077944384 3 1656009 0 0 0 0 14417 318 20 0 22 0 418992944 8482889728 80518 33554432000 4194304 4196468 140728048785760 139645560023264 139647969261269 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7714] ppid=7670 vsize=8284072 memory=6010431318052594281 CPUtime=147.36 cores=0-7
/proc/7695/task/7714/stat : 7714 (java) S 7670 7670 6587 0 -1 1077944384 3 1656009 0 0 1 0 14417 318 20 0 22 0 418992944 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646923164080 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 66 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7716] ppid=7670 vsize=8284072 memory=7517468027280648290 CPUtime=147.35 cores=0-7
/proc/7695/task/7716/stat : 7716 (java) S 7670 7670 6587 0 -1 1077944384 24 1656009 0 0 0 0 14417 318 20 0 22 0 418993025 8482889728 80518 33554432000 4194304 4196468 140728048785760 139646913032592 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
[pid=7695/tid=7720] ppid=7670 vsize=8284072 memory=7883101895532304240 CPUtime=147.35 cores=0-7
/proc/7695/task/7720/stat : 7720 (java) S 7670 7670 6587 0 -1 1077944384 8 1656009 0 0 0 0 14417 318 20 0 22 0 418993028 8482889728 80321 33554432000 4194304 4196468 140728048785760 139644620498352 139647969262210 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15851520 140728048792568 140728048792726 140728048792726 140728048795599 0
Current children cumulated CPU time: 183.59 s
Current children cumulated vsize: 8397200 KiB
Current children cumulated memory: 323548 KiB

Child status: 0
Real time (s): 44.0573
CPU time (s): 183.747
CPU user time (s): 178.95
CPU system time (s): 4.7978
CPU usage (%): 417.065
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6023536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.95
system time used= 4.7978
maximum resident set size= 6023036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1727451
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= 61784
involuntary context switches= 1430


# summary of solver processes directly reported to runsolver:
#   pid: 7670
#   total CPU time (s): 183.747
#   total CPU user time (s): 178.95
#   total CPU system time (s): 4.7978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.393615 second user time and 0.552282 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-14 05:12:10
IDJOB=4392680
IDBENCH=128067
IDSOLVER=2839
FILE ID=node146/4392680-1568430770
RUNJOBID= node146-1568429502-6614
PBS_JOBID= 21702307
Free space on /tmp= 59032 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
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-4392680-1568430770/watcher-4392680-1568430770 -o /tmp/evaluation-result-4392680-1568430770/solver-4392680-1568430770 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568429502-6614 --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-4392680-1568430770.xml

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

MD5SUM BENCH= d843be5d5ecd152a475a61904cced3da
RANDOM SEED=353232294

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        31277548 kB
MemAvailable:   31881796 kB
Buffers:          186364 kB
Cached:           682700 kB
SwapCached:         4724 kB
Active:           498612 kB
Inactive:         377068 kB
Active(anon):      22652 kB
Inactive(anon):    21912 kB
Active(file):     475960 kB
Inactive(file):   355156 kB
Unevictable:      110128 kB
Mlocked:          110128 kB
SwapTotal:      67108860 kB
SwapFree:       67000536 kB
Dirty:             13844 kB
Writeback:             0 kB
AnonPages:        122348 kB
Mapped:            41940 kB
Shmem:             29884 kB
Slab:             208724 kB
SReclaimable:     177932 kB
SUnreclaim:        30792 kB
KernelStack:        3712 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     499420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59012 MiB
End job on node146 at 2019-09-14 05:12:54