Trace number 4405492

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-03.xml
MD5SUM20e15596ff36696b27df04e6639fd466
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 benchmark14.7818
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1369
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 degree53
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":19},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":129},{"degree":24,"count":13},{"degree":25,"count":13},{"degree":26,"count":13},"...",{"degree":29,"count":13}, {"degree":30,"count":13}, {"degree":31,"count":13}, {"degree":32,"count":13}, {"degree":33,"count":13}, {"degree":34,"count":13}, {"degree":35,"count":13}, {"degree":36,"count":14}, {"degree":37,"count":14}, {"degree":38,"count":14}, {"degree":39,"count":15}, {"degree":40,"count":164}, {"degree":41,"count":6}, {"degree":42,"count":6}, {"degree":43,"count":6}, {"degree":44,"count":6}, {"degree":45,"count":6}, {"degree":46,"count":7}, {"degree":47,"count":7}, {"degree":48,"count":72}, {"degree":49,"count":3}, {"degree":50,"count":3}, {"degree":51,"count":4}, {"degree":52,"count":4}, {"degree":53,"count":54}]
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":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":1},{"arity":55,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":60,"count":1},{"arity":62,"count":1},{"arity":65,"count":2},{"arity":68,"count":1},{"arity":70,"count":1},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":77,"count":2},{"arity":80,"count":3},{"arity":83,"count":2},{"arity":85,"count":1},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1168},{"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-32187-serial-file.bin HOME/instance-4405492-1569338495.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: Tue Sep 24 17:20:54 CEST 2019
0.65/0.57	c PID: 32190
0.65/0.57	c IP: 172.20.3.119
0.65/0.57	c HOST: node119.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.99/1.38	c (0,0) Parsing End
2.99/1.39	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1369 ctr, max domain size 24
2.99/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.99/1.39	c (0,0) Constraint Name Generate Begin
3.34/1.42	c (0,0) Ctr:HOME/instance-4405492-1569338495.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.34/1.42	c (0,0) Constraint Name Generate End
3.34/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.34/1.42	c (0,0) CSP to CSPinCNF Begin
11.64/4.68	c (4,4) translated 137 (10%) constraints
12.46/5.32	c (4,4) translated 274 (20%) constraints
12.46/5.34	c (4,4) translated 411 (30%) constraints
12.46/5.36	c (4,4) translated 548 (40%) constraints
12.46/5.38	c (4,4) translated 685 (50%) constraints
12.83/5.40	c (4,4) translated 822 (60%) constraints
12.83/5.41	c (4,4) translated 959 (70%) constraints
12.83/5.43	c (4,4) translated 1096 (80%) constraints
14.33/6.24	c (5,5) translated 1233 (90%) constraints
16.45/8.37	c (7,7) translated 1369 (100%) constraints
16.45/8.39	c (7,7) ===========================================
16.56/8.44	c (7,7) Hybrid: #OE=10800, #LE=5800
16.56/8.44	c (7,7) Hybrid
16.56/8.44	c (7,7) ===========================================
17.76/9.00	c (8,8) translated 5740 (10%) constraints
18.25/9.24	c (8,8) translated 11479 (20%) constraints
18.62/9.38	c (8,8) translated 17218 (30%) constraints
18.82/9.50	c (8,8) translated 22957 (40%) constraints
18.93/9.63	c (9,8) translated 28696 (50%) constraints
19.02/9.76	c (9,9) translated 34436 (60%) constraints
19.12/9.89	c (9,9) translated 40175 (70%) constraints
19.33/10.02	c (9,9) translated 45914 (80%) constraints
19.44/10.15	c (9,9) translated 51653 (90%) constraints
20.69/11.24	c (10,10) translated 57392 (100%) constraints
20.69/11.25	c (10,10) CSP to CSPinCNF End
20.69/11.25	c (10,10) CSP: 200 int (0 aux), 21200 bool (20200 aux), 67016 ctr, max domain size 24
20.69/11.25	c (10,10) Heap : 4055 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
20.69/11.25	c (10,10) CSPinCNF Propagation Begin
21.77/11.89	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
21.77/11.89	c (11,11) CSPinCNF Propagation End
21.77/11.90	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66616 ctr, max domain size 24
21.77/11.90	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.06/11.95	c (11,11) Hybrid: #OE=15600, #LE=5800
22.06/11.95	c (11,11) Simplify CSPinCNF Begin
22.54/12.14	c (11,11) Simplify CSPinCNF End
22.54/12.15	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66616 ctr, max domain size 24
22.54/12.15	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.54/12.15	c (11,11) Calculate Precise Domain Begin
22.54/12.15	c (11,11) 0 values are removed by re-calculation
22.54/12.15	c (11,11) Calculate Precise Domain End
22.54/12.15	c (11,11) CSP: 200 int (0 aux), 21200 bool (20200 aux), 66616 ctr, max domain size 24
22.54/12.15	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.54/12.15	c (11,11) CSPinCNF to SatSolver Begin
24.97/13.02	c (12,12) 6662 (10 %) CSP clauses are encoded (0 SAT variables, 211277 SAT clauses)
25.38/13.16	c (12,12) 13324 (20 %) CSP clauses are encoded (0 SAT variables, 217939 SAT clauses)
25.73/13.26	c (12,12) 19985 (30 %) CSP clauses are encoded (0 SAT variables, 224600 SAT clauses)
26.05/13.35	c (12,12) 26647 (40 %) CSP clauses are encoded (0 SAT variables, 231262 SAT clauses)
26.22/13.43	c (12,12) 33308 (50 %) CSP clauses are encoded (0 SAT variables, 237923 SAT clauses)
26.32/13.50	c (12,12) 39970 (60 %) CSP clauses are encoded (0 SAT variables, 244585 SAT clauses)
26.32/13.58	c (13,12) 46632 (70 %) CSP clauses are encoded (0 SAT variables, 251247 SAT clauses)
26.42/13.65	c (13,13) 53293 (80 %) CSP clauses are encoded (0 SAT variables, 257908 SAT clauses)
26.52/13.72	c (13,13) 59955 (90 %) CSP clauses are encoded (0 SAT variables, 264570 SAT clauses)
30.79/16.81	c (16,16) 66616 (100 %) CSP clauses are encoded (0 SAT variables, 2004785 SAT clauses)
30.79/16.83	c (16,16) CSPinCNF to SatSolver End
30.79/16.83	c (16,16) Heap : 2693 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
30.79/16.83	c (16,16) 691228 bool, 2019966 clause
30.79/16.83	c (16,16) Export Begin
31.30/17.04	c (16,16) Export to HOME/scop-32187-serial-file.bin
31.30/17.04	c (16,16) Export End
31.30/17.05	c (16,16) Export File Size: 0.47 MB
31.30/17.05	c (16,16) 0,0,10,11,11,11,16,STOP-AFTER(DIMACS)
31.30/17.05	c END-Prog: Tue Sep 24 17:21:11 CEST 2019
31.30/17.10	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-32187-serial-file.bin
31.42/17.56	c (0,0) Read Serial File Begin
31.42/17.56	c (0,0) HOME/scop-32187-serial-file.bin
31.42/17.92	c (0,0) Read Serial File End
31.42/17.93	
31.42/17.93	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
31.42/17.93	(Solving Process)
31.42/17.93	
31.42/17.95	c BEGIN-Prog: Tue Sep 24 17:21:12 CEST 2019
31.42/17.95	c PID: 32210
31.42/17.95	c IP: 172.20.3.119
31.42/17.95	c HOST: node119.alineos.net
31.42/17.96	c (0,0) SatSolver.solve Begin
31.42/17.96	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405492-1569338495.xml-scop-32190.cnf
31.42/17.98	c (0,0) c
31.42/17.98	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)
31.42/17.98	c (0,0) c
31.42/17.98	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
31.42/17.98	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
31.42/17.98	c (0,0) c ========================================[ Problem Statistics ]===========================================
31.42/17.98	c (0,0) c |                                                                                                       |
33.99/18.86	c (1,0) c |  Number of variables:        691228                                                                   |
33.99/18.86	c (1,0) c |  Number of clauses:         2019161                                                                   |
33.99/18.86	c (1,0) c |  Parse time:                   0.78 s                                                                 |
33.99/18.86	c (1,0) c |                                                                                                       |
35.40/20.26	c (2,0) c |  Simplification time:          1.36 s                                                                 |
35.40/20.26	c (2,0) c |                                                                                                       |
35.60/20.46	c (2,0) c |  Generating clones                                                                                    |
36.40/21.28	c (3,0) c |  all clones generated. Memory =  1960.43Mb.                                                           |
36.40/21.28	c (3,0) c ========================================================================================================|
36.40/21.28	c (3,0) c
36.40/21.28	c (3,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
36.40/21.28	c (3,0) c
36.40/21.28	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.40/21.28	c (3,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
36.40/21.28	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
36.40/21.28	c (3,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
36.40/21.28	c (3,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
36.40/21.28	c (3,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
36.40/21.28	c (3,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
36.40/21.28	c (3,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
36.40/21.28	c (3,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
36.40/21.28	c (3,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
36.40/21.28	c (3,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
36.40/21.28	c (3,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
36.40/21.28	c (3,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
36.40/21.28	c (3,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
36.40/21.28	c (3,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
36.40/21.28	c (3,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
36.40/21.28	c (3,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
36.40/21.28	c (3,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
36.40/21.28	c (3,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c
212.79/45.73	c (28,0) c real time : 27.7494 s
212.79/45.73	c (28,0) c cpu time  : 176.696 s
212.79/45.73	c (28,0) c
212.79/45.73	c (28,0) c
212.79/45.73	c (28,0) c
212.79/45.73	c (28,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
212.79/45.73	c (28,0) c
212.79/45.73	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
212.79/45.73	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c | Conflicts     |          475108 |      56408 |      50553 |      66044 |      72082 |      47621 |      55879 |      70351 |      56170 |
212.79/45.73	c (28,0) c | Decisions     |         4858897 |     999744 |     453142 |     875338 |     310082 |     681462 |     421939 |     677534 |     439656 |
212.79/45.73	c (28,0) c | Propagations  |       656035448 |   83922766 |   83964470 |   76385271 |   78874708 |   80754998 |   82723093 |   87076992 |   82333150 |
212.79/45.73	c (28,0) c | ReduceDBs     |              48 |          6 |          5 |          6 |          7 |          5 |          6 |          7 |          6 |
212.79/45.73	c (28,0) c | SimpDBs       |              36 |          5 |          4 |          6 |          4 |          4 |          4 |          5 |          4 |
212.79/45.73	c (28,0) c | Restarts      |            1308 |        275 |        161 |        134 |        172 |        139 |        169 |        102 |        156 |
212.79/45.73	c (28,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.79/45.73	c (28,0) c | PropBinClauses|       178461112 |   23641261 |   21641160 |   19980559 |   22584351 |   19669648 |   21671139 |   27886444 |   21386550 |
212.79/45.73	c (28,0) c | PropPreBlocker|      1577030078 |  195978456 |  200108476 |  189923100 |  202587373 |  202754360 |  194936003 |  190247248 |  200495062 |
212.79/45.73	c (28,0) c | PropNotBlocker|       719775786 |   89391205 |   91141917 |   86554964 |   90651543 |   90867737 |   90072050 |   89255658 |   91840712 |
212.79/45.73	c (28,0) c | LitFullScans  |      3556063317 |  444080512 |  444076816 |  447522372 |  444096240 |  444073229 |  444082939 |  444063019 |  444068190 |
212.79/45.73	c (28,0) c | LitScanFracts |          458201 |      58182 |      57838 |      58973 |      85262 |      53795 |      58670 |      30878 |      54603 |
212.79/45.73	c (28,0) c | DecisionLevel0|            1317 |        277 |        162 |        138 |        172 |        140 |        169 |        102 |        157 |
212.79/45.73	c (28,0) c | Periods       |             592 |         74 |         74 |         74 |         74 |         74 |         74 |         74 |         74 |
212.79/45.73	c (28,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
212.79/45.73	c (28,0) c | Avg_Trail     |                 |      23286 |      27555 |      23533 |      24284 |      29366 |      28173 |      31782 |      27561 |
212.79/45.73	c (28,0) c | Avg_DL        |                 |        173 |        182 |        247 |        156 |        231 |        174 |        231 |        194 |
212.79/45.73	c (28,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.79/45.73	c (28,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.79/45.73	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c | Exported      |           94930 |       8952 |       9853 |      16110 |      13070 |       9212 |      11107 |      15465 |      11161 |
212.79/45.73	c (28,0) c | Imported      |          499387 |      64330 |      64668 |      55843 |      61173 |      65586 |      61955 |      60299 |      65533 |
212.79/45.73	c (28,0) c | Good          |           36785 |       4505 |       4549 |       4701 |       4503 |       4707 |       4704 |       4503 |       4613 |
212.79/45.73	c (28,0) c | Purge         |          462602 |      59825 |      60119 |      51142 |      56670 |      60879 |      57251 |      55796 |      60920 |
212.79/45.73	c (28,0) c | Promoted      |            5245 |        529 |        830 |       1231 |        306 |        783 |        561 |         98 |        907 |
212.79/45.73	c (28,0) c | Remove_Imp    |          186213 |      27056 |      24984 |       7758 |      21260 |      20106 |      27296 |      27692 |      30061 |
212.79/45.73	c (28,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
212.79/45.73	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c | Unaries       |                 |          2 |          1 |          4 |          0 |          1 |          0 |          0 |          1 |
212.79/45.73	c (28,0) c | Binaries      |                 |        807 |        812 |        632 |        879 |        630 |        578 |        919 |        748 |
212.79/45.73	c (28,0) c | Glues         |                 |       2333 |       2110 |       2102 |       2773 |       1589 |       1515 |       2668 |       2259 |
212.79/45.73	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c | Orig_Seen     |             5 % |     157109 |     108474 |     118588 |      82347 |      99450 |     117139 |      70127 |      84489 |
212.79/45.73	c (28,0) c | Diff Orig seen|                 |      38521 | -    10114 |      X     | -    36241 | -    19138 | -     1449 | -    48461 | -    34099 |
212.79/45.73	c (28,0) c | Hamming       |            26 % |     192234 |     174388 |      X     |     186595 |     191538 |     181041 |     190859 |     184305 |
212.79/45.73	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c | RunningTime   |                 |   24.3 100%|   24.4 100%|   19.2  96%|   21.1 100%|   22.7 100%|   21.3 100%|   22.7 100%|   22.3 100%|
212.79/45.73	c (28,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.7   3%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
212.79/45.73	c (28,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%|
212.79/45.73	c (28,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%|
212.79/45.73	c (28,0) c | SolvingTime   |                 |   24.3     |   24.4     |   19.9     |   21.1     |   22.7     |   21.3     |   22.7     |   22.4     |
212.79/45.73	c (28,0) c | PropagationTim|                 |   20.9  86%|   21.3  87%|   16.7  84%|   18.2  86%|   19.6  86%|   18.2  86%|   19.6  86%|   19.3  86%|
212.79/45.73	c (28,0) c | AnalysisTime  |                 |    1.1   5%|    1.1   4%|    1.1   6%|    1.1   5%|    1.1   5%|    1.2   6%|    1.1   5%|    1.1   5%|
212.79/45.73	c (28,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%|
212.79/45.73	c (28,0) c | SimplifyTime  |                 |    0.2   1%|    0.1   1%|    0.4   2%|    0.1   1%|    0.1   1%|    0.1   1%|    0.2   1%|    0.1   1%|
212.79/45.73	c (28,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%|
212.79/45.73	c (28,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%|
212.79/45.73	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.73	c (28,0) c
212.79/45.73	c (28,0) c
212.79/45.73	c (28,0) c Threads : 8
212.79/45.73	c (28,0) c Winner : 2
212.79/45.73	c (28,0) c Conflicts_0 : 56408
212.79/45.73	c (28,0) c Conflicts_1 : 50553
212.79/45.73	c (28,0) c Conflicts_2 : 66044
212.79/45.73	c (28,0) c Conflicts_3 : 72082
212.79/45.73	c (28,0) c Conflicts_4 : 47621
212.79/45.73	c (28,0) c Conflicts_5 : 55879
212.79/45.73	c (28,0) c Conflicts_6 : 70351
212.79/45.73	c (28,0) c Conflicts_7 : 56170
212.79/45.73	c (28,0) c Conflicts_total : 475108
212.79/45.73	c (28,0) c Conflicts_winner : 66044
212.79/45.73	c (28,0) c Decisions_0 : 999744
212.79/45.73	c (28,0) c Decisions_1 : 453142
212.79/45.73	c (28,0) c Decisions_2 : 875338
212.79/45.73	c (28,0) c Decisions_3 : 310082
212.79/45.73	c (28,0) c Decisions_4 : 681462
212.79/45.73	c (28,0) c Decisions_5 : 421939
212.79/45.73	c (28,0) c Decisions_6 : 677534
212.79/45.73	c (28,0) c Decisions_7 : 439656
212.79/45.73	c (28,0) c Decisions_total : 4858897
212.79/45.73	c (28,0) c Decisions_winner : 875338
212.79/45.73	c (28,0) c Propagations_0 : 83922766
212.79/45.73	c (28,0) c Propagations_1 : 83964470
212.79/45.73	c (28,0) c Propagations_2 : 76385271
212.79/45.73	c (28,0) c Propagations_3 : 78874708
212.79/45.73	c (28,0) c Propagations_4 : 80754998
212.79/45.73	c (28,0) c Propagations_5 : 82723093
212.79/45.73	c (28,0) c Propagations_6 : 87076992
212.79/45.73	c (28,0) c Propagations_7 : 82333150
212.79/45.73	c (28,0) c Propagations_total : 656035448
212.79/45.73	c (28,0) c Propagations_winner : 76385271
212.79/45.73	c (28,0) c ReduceDBs_0 : 6
212.79/45.73	c (28,0) c ReduceDBs_1 : 5
212.79/45.73	c (28,0) c ReduceDBs_2 : 6
212.79/45.73	c (28,0) c ReduceDBs_3 : 7
212.79/45.73	c (28,0) c ReduceDBs_4 : 5
212.79/45.73	c (28,0) c ReduceDBs_5 : 6
212.79/45.73	c (28,0) c ReduceDBs_6 : 7
212.79/45.73	c (28,0) c ReduceDBs_7 : 6
212.79/45.73	c (28,0) c ReduceDBs_total : 48
212.79/45.73	c (28,0) c ReduceDBs_winner : 6
212.79/45.73	c (28,0) c SimpDBs_0 : 5
212.79/45.73	c (28,0) c SimpDBs_1 : 4
212.79/45.73	c (28,0) c SimpDBs_2 : 6
212.79/45.73	c (28,0) c SimpDBs_3 : 4
212.79/45.73	c (28,0) c SimpDBs_4 : 4
212.79/45.73	c (28,0) c SimpDBs_5 : 4
212.79/45.73	c (28,0) c SimpDBs_6 : 5
212.79/45.73	c (28,0) c SimpDBs_7 : 4
212.79/45.73	c (28,0) c SimpDBs_total : 36
212.79/45.73	c (28,0) c SimpDBs_winner : 6
212.79/45.73	c (28,0) c Restarts_0 : 275
212.79/45.73	c (28,0) c Restarts_1 : 161
212.79/45.73	c (28,0) c Restarts_2 : 134
212.79/45.73	c (28,0) c Restarts_3 : 172
212.79/45.73	c (28,0) c Restarts_4 : 139
212.79/45.73	c (28,0) c Restarts_5 : 169
212.79/45.73	c (28,0) c Restarts_6 : 102
212.79/45.73	c (28,0) c Restarts_7 : 156
212.79/45.73	c (28,0) c Restarts_total : 1308
212.79/45.73	c (28,0) c Restarts_winner : 134
212.79/45.73	c (28,0) c ForcedImports_0 : 0
212.79/45.73	c (28,0) c ForcedImports_1 : 0
212.79/45.73	c (28,0) c ForcedImports_2 : 0
212.79/45.73	c (28,0) c ForcedImports_3 : 0
212.79/45.73	c (28,0) c ForcedImports_4 : 0
212.79/45.73	c (28,0) c ForcedImports_5 : 0
212.79/45.73	c (28,0) c ForcedImports_6 : 0
212.79/45.73	c (28,0) c ForcedImports_7 : 0
212.79/45.73	c (28,0) c ForcedImports_total : 0
212.79/45.73	c (28,0) c ForcedImports_winner : 0
212.79/45.73	c (28,0) c PropsBinClauses_0 : 23641261
212.79/45.73	c (28,0) c PropsBinClauses_1 : 21641160
212.79/45.73	c (28,0) c PropsBinClauses_2 : 19980559
212.79/45.73	c (28,0) c PropsBinClauses_3 : 22584351
212.79/45.73	c (28,0) c PropsBinClauses_4 : 19669648
212.79/45.73	c (28,0) c PropsBinClauses_5 : 21671139
212.79/45.73	c (28,0) c PropsBinClauses_6 : 27886444
212.79/45.73	c (28,0) c PropsBinClauses_7 : 21386550
212.79/45.73	c (28,0) c PropsBinClauses_total : 178461112
212.79/45.74	c (28,0) c PropsBinClauses_winner : 19980559
212.79/45.74	c (28,0) c PropsPreBlocker_0 : 195978456
212.79/45.74	c (28,0) c PropsPreBlocker_1 : 200108476
212.79/45.74	c (28,0) c PropsPreBlocker_2 : 189923100
212.79/45.74	c (28,0) c PropsPreBlocker_3 : 202587373
212.79/45.74	c (28,0) c PropsPreBlocker_4 : 202754360
212.79/45.74	c (28,0) c PropsPreBlocker_5 : 194936003
212.79/45.74	c (28,0) c PropsPreBlocker_6 : 190247248
212.79/45.74	c (28,0) c PropsPreBlocker_7 : 200495062
212.79/45.74	c (28,0) c PropsPreBlocker_total : 1577030078
212.79/45.74	c (28,0) c PropsPreBlocker_winner : 189923100
212.79/45.74	c (28,0) c PropsNotBlocker_0 : 89391205
212.79/45.74	c (28,0) c PropsNotBlocker_1 : 91141917
212.79/45.74	c (28,0) c PropsNotBlocker_2 : 86554964
212.79/45.74	c (28,0) c PropsNotBlocker_3 : 90651543
212.79/45.74	c (28,0) c PropsNotBlocker_4 : 90867737
212.79/45.74	c (28,0) c PropsNotBlocker_5 : 90072050
212.79/45.74	c (28,0) c PropsNotBlocker_6 : 89255658
212.79/45.74	c (28,0) c PropsNotBlocker_7 : 91840712
212.79/45.74	c (28,0) c PropsNotBlocker_total : 719775786
212.79/45.74	c (28,0) c PropsNotBlocker_winner : 86554964
212.79/45.74	c (28,0) c PropsLitFullScans_0 : 444080512
212.79/45.74	c (28,0) c PropsLitFullScans_1 : 444076816
212.79/45.74	c (28,0) c PropsLitFullScans_2 : 447522372
212.79/45.74	c (28,0) c PropsLitFullScans_3 : 444096240
212.79/45.74	c (28,0) c PropsLitFullScans_4 : 444073229
212.79/45.74	c (28,0) c PropsLitFullScans_5 : 444082939
212.79/45.74	c (28,0) c PropsLitFullScans_6 : 444063019
212.79/45.74	c (28,0) c PropsLitFullScans_7 : 444068190
212.79/45.74	c (28,0) c PropsLitFullScans_total : 3556063317
212.79/45.74	c (28,0) c PropsLitFullScans_winner : 447522372
212.79/45.74	c (28,0) c LitScanFractions_0 : 58182
212.79/45.74	c (28,0) c LitScanFractions_1 : 57838
212.79/45.74	c (28,0) c LitScanFractions_2 : 58973
212.79/45.74	c (28,0) c LitScanFractions_3 : 85262
212.79/45.74	c (28,0) c LitScanFractions_4 : 53795
212.79/45.74	c (28,0) c LitScanFractions_5 : 58670
212.79/45.74	c (28,0) c LitScanFractions_6 : 30878
212.79/45.74	c (28,0) c LitScanFractions_7 : 54603
212.79/45.74	c (28,0) c LitScanFractions_total : 458201
212.79/45.74	c (28,0) c LitScanFractions_winner : 58973
212.79/45.74	c (28,0) c DecisionLevel0_0 : 277
212.79/45.74	c (28,0) c DecisionLevel0_1 : 162
212.79/45.74	c (28,0) c DecisionLevel0_2 : 138
212.79/45.74	c (28,0) c DecisionLevel0_3 : 172
212.79/45.74	c (28,0) c DecisionLevel0_4 : 140
212.79/45.74	c (28,0) c DecisionLevel0_5 : 169
212.79/45.74	c (28,0) c DecisionLevel0_6 : 102
212.79/45.74	c (28,0) c DecisionLevel0_7 : 157
212.79/45.74	c (28,0) c DecisionLevel0_total : 1317
212.79/45.74	c (28,0) c DecisionLevel0_winner : 138
212.79/45.74	c (28,0) c Periods_0 : 74
212.79/45.74	c (28,0) c Periods_1 : 74
212.79/45.74	c (28,0) c Periods_2 : 74
212.79/45.74	c (28,0) c Periods_3 : 74
212.79/45.74	c (28,0) c Periods_4 : 74
212.79/45.74	c (28,0) c Periods_5 : 74
212.79/45.74	c (28,0) c Periods_6 : 74
212.79/45.74	c (28,0) c Periods_7 : 74
212.79/45.74	c (28,0) c Periods_total : 592
212.79/45.74	c (28,0) c Periods_winner : 74
212.79/45.74	c (28,0) c Margin_0 : 20
212.79/45.74	c (28,0) c Margin_1 : 20
212.79/45.74	c (28,0) c Margin_2 : 20
212.79/45.74	c (28,0) c Margin_3 : 20
212.79/45.74	c (28,0) c Margin_4 : 20
212.79/45.74	c (28,0) c Margin_5 : 20
212.79/45.74	c (28,0) c Margin_6 : 20
212.79/45.74	c (28,0) c Margin_7 : 20
212.79/45.74	c (28,0) c Margin_total : 160
212.79/45.74	c (28,0) c Margin_winner : 20
212.79/45.74	c (28,0) c Exported_0 : 8952
212.79/45.74	c (28,0) c Exported_1 : 9853
212.79/45.74	c (28,0) c Exported_2 : 16110
212.79/45.74	c (28,0) c Exported_3 : 13070
212.79/45.74	c (28,0) c Exported_4 : 9212
212.79/45.74	c (28,0) c Exported_5 : 11107
212.79/45.74	c (28,0) c Exported_6 : 15465
212.79/45.74	c (28,0) c Exported_7 : 11161
212.79/45.74	c (28,0) c Exported_total : 94930
212.79/45.74	c (28,0) c Exported_winner : 16110
212.79/45.74	c (28,0) c Imported_0 : 64330
212.79/45.74	c (28,0) c Imported_1 : 64668
212.79/45.74	c (28,0) c Imported_2 : 55843
212.79/45.74	c (28,0) c Imported_3 : 61173
212.79/45.74	c (28,0) c Imported_4 : 65586
212.79/45.74	c (28,0) c Imported_5 : 61955
212.79/45.74	c (28,0) c Imported_6 : 60299
212.79/45.74	c (28,0) c Imported_7 : 65533
212.79/45.74	c (28,0) c Imported_total : 499387
212.79/45.74	c (28,0) c Imported_winner : 55843
212.79/45.74	c (28,0) c Good_0 : 4505
212.79/45.74	c (28,0) c Good_1 : 4549
212.79/45.74	c (28,0) c Good_2 : 4701
212.79/45.74	c (28,0) c Good_3 : 4503
212.79/45.74	c (28,0) c Good_4 : 4707
212.79/45.74	c (28,0) c Good_5 : 4704
212.79/45.74	c (28,0) c Good_6 : 4503
212.79/45.74	c (28,0) c Good_7 : 4613
212.79/45.74	c (28,0) c Good_total : 36785
212.79/45.74	c (28,0) c Good_winner : 4701
212.79/45.74	c (28,0) c Purge_0 : 59825
212.79/45.74	c (28,0) c Purge_1 : 60119
212.79/45.74	c (28,0) c Purge_2 : 51142
212.79/45.74	c (28,0) c Purge_3 : 56670
212.79/45.74	c (28,0) c Purge_4 : 60879
212.79/45.74	c (28,0) c Purge_5 : 57251
212.79/45.74	c (28,0) c Purge_6 : 55796
212.79/45.74	c (28,0) c Purge_7 : 60920
212.79/45.74	c (28,0) c Purge_total : 462602
212.79/45.74	c (28,0) c Purge_winner : 51142
212.79/45.74	c (28,0) c Promoted_0 : 529
212.79/45.74	c (28,0) c Promoted_1 : 830
212.79/45.74	c (28,0) c Promoted_2 : 1231
212.79/45.74	c (28,0) c Promoted_3 : 306
212.79/45.74	c (28,0) c Promoted_4 : 783
212.79/45.74	c (28,0) c Promoted_5 : 561
212.79/45.74	c (28,0) c Promoted_6 : 98
212.79/45.74	c (28,0) c Promoted_7 : 907
212.79/45.74	c (28,0) c Promoted_total : 5245
212.79/45.74	c (28,0) c Promoted_winner : 1231
212.79/45.74	c (28,0) c Remove_Imp_0 : 27056
212.79/45.74	c (28,0) c Remove_Imp_1 : 24984
212.79/45.74	c (28,0) c Remove_Imp_2 : 7758
212.79/45.74	c (28,0) c Remove_Imp_3 : 21260
212.79/45.74	c (28,0) c Remove_Imp_4 : 20106
212.79/45.74	c (28,0) c Remove_Imp_5 : 27296
212.79/45.74	c (28,0) c Remove_Imp_6 : 27692
212.79/45.75	c (28,0) c Remove_Imp_7 : 30061
212.79/45.75	c (28,0) c Remove_Imp_total : 186213
212.79/45.75	c (28,0) c Remove_Imp_winner : 7758
212.79/45.75	c (28,0) c Blocked_Reuse_0 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_1 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_2 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_3 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_4 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_5 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_6 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_7 : 0
212.79/45.75	c (28,0) c Blocked_Reuse_total : 0
212.79/45.75	c (28,0) c Blocked_Reuse_winner : 0
212.79/45.75	c (28,0) c Unaries_0 : 2
212.79/45.75	c (28,0) c Unaries_1 : 1
212.79/45.75	c (28,0) c Unaries_2 : 4
212.79/45.75	c (28,0) c Unaries_3 : 0
212.79/45.75	c (28,0) c Unaries_4 : 1
212.79/45.75	c (28,0) c Unaries_5 : 0
212.79/45.75	c (28,0) c Unaries_6 : 0
212.79/45.75	c (28,0) c Unaries_7 : 1
212.79/45.75	c (28,0) c Unaries_total : 9
212.79/45.75	c (28,0) c Unaries_winner : 4
212.79/45.75	c (28,0) c Binaries_0 : 807
212.79/45.75	c (28,0) c Binaries_1 : 812
212.79/45.75	c (28,0) c Binaries_2 : 632
212.79/45.75	c (28,0) c Binaries_3 : 879
212.79/45.75	c (28,0) c Binaries_4 : 630
212.79/45.75	c (28,0) c Binaries_5 : 578
212.79/45.75	c (28,0) c Binaries_6 : 919
212.79/45.75	c (28,0) c Binaries_7 : 748
212.79/45.75	c (28,0) c Binaries_total : 6005
212.79/45.75	c (28,0) c Binaries_winner : 632
212.79/45.75	c (28,0) c Glues_0 : 2333
212.79/45.75	c (28,0) c Glues_1 : 2110
212.79/45.75	c (28,0) c Glues_2 : 2102
212.79/45.75	c (28,0) c Glues_3 : 2773
212.79/45.75	c (28,0) c Glues_4 : 1589
212.79/45.75	c (28,0) c Glues_5 : 1515
212.79/45.75	c (28,0) c Glues_6 : 2668
212.79/45.75	c (28,0) c Glues_7 : 2259
212.79/45.75	c (28,0) c Glues_total : 17349
212.79/45.75	c (28,0) c Glues_winner : 2102
212.79/45.75	c (28,0) c RunningTime_0 : 24.302324
212.79/45.75	c (28,0) c RunningTime_1 : 24.390258
212.79/45.75	c (28,0) c RunningTime_2 : 19.223529
212.79/45.75	c (28,0) c RunningTime_3 : 21.062487
212.79/45.75	c (28,0) c RunningTime_4 : 22.673780
212.79/45.75	c (28,0) c RunningTime_5 : 21.273307
212.79/45.75	c (28,0) c RunningTime_6 : 22.693847
212.79/45.75	c (28,0) c RunningTime_7 : 22.323281
212.79/45.75	c (28,0) c RunningTime_total : 177.942813
212.79/45.75	c (28,0) c RunningTime_winner : 19.223529
212.79/45.75	c (28,0) c WaitingTime_0 : 0.000112
212.79/45.75	c (28,0) c WaitingTime_1 : 0.000093
212.79/45.75	c (28,0) c WaitingTime_2 : 0.689732
212.79/45.75	c (28,0) c WaitingTime_3 : 0.000117
212.79/45.75	c (28,0) c WaitingTime_4 : 0.000120
212.79/45.75	c (28,0) c WaitingTime_5 : 0.000087
212.79/45.75	c (28,0) c WaitingTime_6 : 0.000113
212.79/45.75	c (28,0) c WaitingTime_7 : 0.000102
212.79/45.75	c (28,0) c WaitingTime_total : 0.690477
212.79/45.75	c (28,0) c WaitingTime_winner : 0.689732
212.79/45.75	c (28,0) c ExchangingTime_0 : 0.029282
212.79/45.75	c (28,0) c ExchangingTime_1 : 0.027678
212.79/45.75	c (28,0) c ExchangingTime_2 : 0.027805
212.79/45.75	c (28,0) c ExchangingTime_3 : 0.028832
212.79/45.75	c (28,0) c ExchangingTime_4 : 0.026860
212.79/45.75	c (28,0) c ExchangingTime_5 : 0.027635
212.79/45.75	c (28,0) c ExchangingTime_6 : 0.027429
212.79/45.75	c (28,0) c ExchangingTime_7 : 0.030334
212.79/45.75	c (28,0) c ExchangingTime_total : 0.225855
212.79/45.75	c (28,0) c ExchangingTime_winner : 0.027805
212.79/45.75	c (28,0) c PeriodProcTime_0 : 0.000887
212.79/45.75	c (28,0) c PeriodProcTime_1 : 0.001708
212.79/45.75	c (28,0) c PeriodProcTime_2 : 0.001078
212.79/45.75	c (28,0) c PeriodProcTime_3 : 0.001168
212.79/45.75	c (28,0) c PeriodProcTime_4 : 0.000653
212.79/45.75	c (28,0) c PeriodProcTime_5 : 0.000752
212.79/45.75	c (28,0) c PeriodProcTime_6 : 0.000933
212.79/45.75	c (28,0) c PeriodProcTime_7 : 0.000803
212.79/45.75	c (28,0) c PeriodProcTime_total : 0.007982
212.79/45.75	c (28,0) c PeriodProcTime_winner : 0.001078
212.79/45.75	c (28,0) c SolvingTime_0 : 24.332605
212.79/45.75	c (28,0) c SolvingTime_1 : 24.419737
212.79/45.75	c (28,0) c SolvingTime_2 : 19.942145
212.79/45.75	c (28,0) c SolvingTime_3 : 21.092604
212.79/45.75	c (28,0) c SolvingTime_4 : 22.701414
212.79/45.75	c (28,0) c SolvingTime_5 : 21.301781
212.79/45.75	c (28,0) c SolvingTime_6 : 22.722322
212.79/45.75	c (28,0) c SolvingTime_7 : 22.354521
212.79/45.75	c (28,0) c SolvingTime_total : 178.867128
212.79/45.75	c (28,0) c SolvingTime_winner : 19.942145
212.79/45.75	c (28,0) c PropagationTime_0 : 20.944820
212.79/45.75	c (28,0) c PropagationTime_1 : 21.346357
212.79/45.75	c (28,0) c PropagationTime_2 : 16.705343
212.79/45.75	c (28,0) c PropagationTime_3 : 18.151723
212.79/45.75	c (28,0) c PropagationTime_4 : 19.567155
212.79/45.75	c (28,0) c PropagationTime_5 : 18.230831
212.79/45.75	c (28,0) c PropagationTime_6 : 19.594965
212.79/45.75	c (28,0) c PropagationTime_7 : 19.259215
212.79/45.75	c (28,0) c PropagationTime_total : 153.800409
212.79/45.75	c (28,0) c PropagationTime_winner : 16.705343
212.79/45.75	c (28,0) c AnalysisTime_0 : 1.134550
212.79/45.75	c (28,0) c AnalysisTime_1 : 1.050154
212.79/45.75	c (28,0) c AnalysisTime_2 : 1.105454
212.79/45.75	c (28,0) c AnalysisTime_3 : 1.124094
212.79/45.75	c (28,0) c AnalysisTime_4 : 1.076549
212.79/45.75	c (28,0) c AnalysisTime_5 : 1.241914
212.79/45.75	c (28,0) c AnalysisTime_6 : 1.074253
212.79/45.75	c (28,0) c AnalysisTime_7 : 1.101443
212.79/45.75	c (28,0) c AnalysisTime_total : 8.908411
212.79/45.75	c (28,0) c AnalysisTime_winner : 1.105454
212.79/45.75	c (28,0) c ReductionTime_0 : 0.027029
212.79/45.75	c (28,0) c ReductionTime_1 : 0.023011
212.79/45.75	c (28,0) c ReductionTime_2 : 0.026490
212.79/45.75	c (28,0) c ReductionTime_3 : 0.037864
212.79/45.75	c (28,0) c ReductionTime_4 : 0.020484
212.79/45.75	c (28,0) c ReductionTime_5 : 0.026700
212.79/45.75	c (28,0) c ReductionTime_6 : 0.041543
212.79/45.75	c (28,0) c ReductionTime_7 : 0.031080
212.79/45.75	c (28,0) c ReductionTime_total : 0.234201
212.79/45.75	c (28,0) c ReductionTime_winner : 0.026490
212.79/45.75	c (28,0) c SimplifyTime_0 : 0.185159
212.79/45.75	c (28,0) c SimplifyTime_1 : 0.122245
212.79/45.75	c (28,0) c SimplifyTime_2 : 0.443605
212.79/45.75	c (28,0) c SimplifyTime_3 : 0.123346
212.79/45.75	c (28,0) c SimplifyTime_4 : 0.122815
212.79/45.75	c (28,0) c SimplifyTime_5 : 0.124942
212.79/45.75	c (28,0) c SimplifyTime_6 : 0.168134
212.79/45.75	c (28,0) c SimplifyTime_7 : 0.127258
212.79/45.75	c (28,0) c SimplifyTime_total : 1.417504
212.79/45.75	c (28,0) c SimplifyTime_winner : 0.443605
212.79/45.75	c (28,0) c UsedRateTime_0 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_1 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_2 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_3 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_4 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_5 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_6 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_7 : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_total : 0.000000
212.79/45.75	c (28,0) c UsedRateTime_winner : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_0 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_1 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_2 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_3 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_4 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_5 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_6 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_7 : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_total : 0.000000
212.79/45.75	c (28,0) c OverlapRateTime_winner : 0.000000
212.79/45.75	c (28,0) c
212.79/45.75	c (28,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
212.79/45.75	c (28,0) c
212.79/45.75	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.75	c (28,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
212.79/45.75	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.75	c (28,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
212.79/45.75	c (28,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
212.79/45.75	c (28,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
212.79/45.75	c (28,0) c | Initial random_seed   | 1648641064 |  840182982 | 2077952443 | 1483000625 |  752479170 |  579739669 | 1391915961 |  528702725 |
212.79/45.75	c (28,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
212.79/45.75	c (28,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
212.79/45.75	c (28,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
212.79/45.75	c (28,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
212.79/45.75	c (28,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
212.79/45.75	c (28,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
212.79/45.75	c (28,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
212.79/45.75	c (28,0) c | var_decay             |     0.9100 |     0.9000 |     0.9300 |     0.9400 |     0.8900 |     0.9100 |     0.9400 |     0.9100 |
212.79/45.75	c (28,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
212.79/45.75	c (28,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
212.79/45.75	c (28,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
212.79/45.75	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
212.79/45.75	c (28,0) 
212.79/45.75	c (28,0) s SATISFIABLE
213.62/46.12	c (28,0) SatSolver.solve End
213.62/46.12	c (28,0) Heap : 263 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
213.62/46.12	c (28,0) Show results Begin
214.02/46.32	c (28,0) cls[0] = 23
214.02/46.32	c (28,0) cls[1] = 2
214.02/46.32	c (28,0) cls[2] = 14
214.02/46.32	c (28,0) cls[3] = 17
214.02/46.32	c (28,0) cls[4] = 2
214.02/46.32	c (28,0) cls[5] = 11
214.02/46.32	c (28,0) cls[6] = 4
214.02/46.32	c (28,0) cls[7] = 17
214.02/46.32	c (28,0) cls[8] = 11
214.02/46.32	c (28,0) cls[9] = 2
214.02/46.32	c (28,0) cls[10] = 17
214.02/46.32	c (28,0) cls[11] = 11
214.02/46.32	c (28,0) cls[12] = 0
214.02/46.32	c (28,0) cls[13] = 16
214.02/46.32	c (28,0) cls[14] = 11
214.02/46.32	c (28,0) cls[15] = 11
214.02/46.32	c (28,0) cls[16] = 9
214.02/46.32	c (28,0) cls[17] = 23
214.02/46.32	c (28,0) cls[18] = 2
214.02/46.32	c (28,0) cls[19] = 13
214.02/46.32	c (28,0) cls[20] = 11
214.02/46.32	c (28,0) cls[21] = 2
214.02/46.32	c (28,0) cls[22] = 9
214.02/46.32	c (28,0) cls[23] = 2
214.02/46.32	c (28,0) cls[24] = 16
214.02/46.32	c (28,0) cls[25] = 10
214.02/46.32	c (28,0) cls[26] = 11
214.02/46.32	c (28,0) cls[27] = 8
214.02/46.32	c (28,0) cls[28] = 9
214.02/46.32	c (28,0) cls[29] = 11
214.02/46.32	c (28,0) cls[30] = 23
214.02/46.32	c (28,0) cls[31] = 12
214.02/46.32	c (28,0) cls[32] = 23
214.02/46.32	c (28,0) cls[33] = 11
214.02/46.32	c (28,0) cls[34] = 9
214.02/46.32	c (28,0) cls[35] = 2
214.02/46.32	c (28,0) cls[36] = 17
214.02/46.32	c (28,0) cls[37] = 20
214.02/46.32	c (28,0) cls[38] = 11
214.02/46.32	c (28,0) cls[39] = 16
214.02/46.32	c (28,0) cls[40] = 11
214.02/46.32	c (28,0) cls[41] = 2
214.02/46.32	c (28,0) cls[42] = 11
214.02/46.32	c (28,0) cls[43] = 9
214.02/46.32	c (28,0) cls[44] = 2
214.02/46.32	c (28,0) cls[45] = 11
214.02/46.32	c (28,0) cls[46] = 9
214.02/46.32	c (28,0) cls[47] = 2
214.02/46.32	c (28,0) cls[48] = 15
214.02/46.32	c (28,0) cls[49] = 9
214.02/46.32	c (28,0) cls[50] = 6
214.02/46.32	c (28,0) cls[51] = 11
214.02/46.32	c (28,0) cls[52] = 2
214.02/46.32	c (28,0) cls[53] = 9
214.02/46.32	c (28,0) cls[54] = 11
214.02/46.32	c (28,0) cls[55] = 2
214.02/46.32	c (28,0) cls[56] = 9
214.02/46.32	c (28,0) cls[57] = 11
214.02/46.32	c (28,0) cls[58] = 11
214.02/46.32	c (28,0) cls[59] = 2
214.02/46.32	c (28,0) cls[60] = 9
214.02/46.32	c (28,0) cls[61] = 11
214.02/46.32	c (28,0) cls[62] = 2
214.02/46.32	c (28,0) cls[63] = 11
214.02/46.32	c (28,0) cls[64] = 3
214.02/46.32	c (28,0) cls[65] = 2
214.02/46.32	c (28,0) cls[66] = 11
214.02/46.32	c (28,0) cls[67] = 13
214.02/46.32	c (28,0) cls[68] = 11
214.02/46.32	c (28,0) cls[69] = 2
214.02/46.32	c (28,0) cls[70] = 11
214.02/46.32	c (28,0) cls[71] = 2
214.02/46.32	c (28,0) cls[72] = 11
214.02/46.32	c (28,0) cls[73] = 9
214.02/46.32	c (28,0) cls[74] = 2
214.02/46.32	c (28,0) cls[75] = 15
214.02/46.32	c (28,0) cls[76] = 2
214.02/46.32	c (28,0) cls[77] = 13
214.02/46.32	c (28,0) cls[78] = 11
214.02/46.32	c (28,0) cls[79] = 11
214.02/46.32	c (28,0) cls[80] = 17
214.02/46.32	c (28,0) cls[81] = 6
214.02/46.32	c (28,0) cls[82] = 20
214.02/46.32	c (28,0) cls[83] = 17
214.02/46.32	c (28,0) cls[84] = 16
214.02/46.32	c (28,0) cls[85] = 9
214.02/46.33	c (28,0) cls[86] = 23
214.02/46.33	c (28,0) cls[87] = 2
214.02/46.33	c (28,0) cls[88] = 8
214.02/46.33	c (28,0) cls[89] = 11
214.02/46.33	c (28,0) cls[90] = 9
214.02/46.33	c (28,0) cls[91] = 11
214.02/46.33	c (28,0) cls[92] = 2
214.02/46.33	c (28,0) cls[93] = 2
214.02/46.33	c (28,0) cls[94] = 16
214.02/46.33	c (28,0) cls[95] = 11
214.02/46.33	c (28,0) cls[96] = 11
214.02/46.33	c (28,0) cls[97] = 2
214.02/46.33	c (28,0) cls[98] = 23
214.02/46.33	c (28,0) cls[99] = 9
214.02/46.33	c (28,0) cls[100] = 1
214.02/46.33	c (28,0) cls[101] = 6
214.02/46.33	c (28,0) cls[102] = 11
214.02/46.33	c (28,0) cls[103] = 9
214.02/46.33	c (28,0) cls[104] = 11
214.02/46.33	c (28,0) cls[105] = 21
214.02/46.33	c (28,0) cls[106] = 2
214.02/46.33	c (28,0) cls[107] = 11
214.02/46.33	c (28,0) cls[108] = 14
214.02/46.33	c (28,0) cls[109] = 17
214.02/46.33	c (28,0) cls[110] = 19
214.02/46.33	c (28,0) cls[111] = 14
214.02/46.33	c (28,0) cls[112] = 8
214.02/46.33	c (28,0) cls[113] = 6
214.02/46.33	c (28,0) cls[114] = 11
214.02/46.33	c (28,0) cls[115] = 9
214.02/46.33	c (28,0) cls[116] = 11
214.02/46.33	c (28,0) cls[117] = 2
214.02/46.33	c (28,0) cls[118] = 13
214.02/46.33	c (28,0) cls[119] = 11
214.02/46.33	c (28,0) cls[120] = 2
214.02/46.33	c (28,0) cls[121] = 9
214.02/46.33	c (28,0) cls[122] = 11
214.02/46.33	c (28,0) cls[123] = 6
214.02/46.33	c (28,0) cls[124] = 17
214.02/46.33	c (28,0) cls[125] = 9
214.02/46.33	c (28,0) cls[126] = 11
214.02/46.33	c (28,0) cls[127] = 5
214.02/46.33	c (28,0) cls[128] = 9
214.02/46.33	c (28,0) cls[129] = 2
214.02/46.33	c (28,0) cls[130] = 11
214.02/46.33	c (28,0) cls[131] = 16
214.02/46.33	c (28,0) cls[132] = 2
214.02/46.33	c (28,0) cls[133] = 9
214.02/46.33	c (28,0) cls[134] = 2
214.02/46.33	c (28,0) cls[135] = 11
214.02/46.33	c (28,0) cls[136] = 17
214.02/46.33	c (28,0) cls[137] = 20
214.02/46.33	c (28,0) cls[138] = 11
214.02/46.33	c (28,0) cls[139] = 17
214.02/46.33	c (28,0) cls[140] = 2
214.02/46.33	c (28,0) cls[141] = 11
214.02/46.33	c (28,0) cls[142] = 9
214.02/46.33	c (28,0) cls[143] = 2
214.02/46.33	c (28,0) cls[144] = 11
214.02/46.33	c (28,0) cls[145] = 23
214.02/46.33	c (28,0) cls[146] = 7
214.02/46.33	c (28,0) cls[147] = 11
214.02/46.33	c (28,0) cls[148] = 2
214.02/46.33	c (28,0) cls[149] = 9
214.02/46.33	c (28,0) cls[150] = 23
214.02/46.33	c (28,0) cls[151] = 11
214.02/46.33	c (28,0) cls[152] = 2
214.02/46.33	c (28,0) cls[153] = 2
214.02/46.33	c (28,0) cls[154] = 9
214.02/46.33	c (28,0) cls[155] = 17
214.02/46.33	c (28,0) cls[156] = 11
214.02/46.33	c (28,0) cls[157] = 2
214.02/46.33	c (28,0) cls[158] = 9
214.02/46.33	c (28,0) cls[159] = 6
214.02/46.33	c (28,0) cls[160] = 11
214.02/46.33	c (28,0) cls[161] = 9
214.02/46.33	c (28,0) cls[162] = 2
214.02/46.33	c (28,0) cls[163] = 11
214.02/46.33	c (28,0) cls[164] = 8
214.02/46.33	c (28,0) cls[165] = 9
214.02/46.33	c (28,0) cls[166] = 11
214.02/46.33	c (28,0) cls[167] = 18
214.02/46.33	c (28,0) cls[168] = 14
214.02/46.33	c (28,0) cls[169] = 2
214.02/46.33	c (28,0) cls[170] = 11
214.02/46.33	c (28,0) cls[171] = 9
214.02/46.33	c (28,0) cls[172] = 1
214.02/46.33	c (28,0) cls[173] = 2
214.02/46.33	c (28,0) cls[174] = 2
214.02/46.33	c (28,0) cls[175] = 9
214.02/46.33	c (28,0) cls[176] = 11
214.02/46.33	c (28,0) cls[177] = 11
214.02/46.33	c (28,0) cls[178] = 2
214.02/46.33	c (28,0) cls[179] = 2
214.02/46.33	c (28,0) cls[180] = 11
214.02/46.33	c (28,0) cls[181] = 9
214.02/46.33	c (28,0) cls[182] = 11
214.02/46.33	c (28,0) cls[183] = 2
214.02/46.33	c (28,0) cls[184] = 2
214.02/46.33	c (28,0) cls[185] = 9
214.02/46.33	c (28,0) cls[186] = 11
214.02/46.33	c (28,0) cls[187] = 11
214.02/46.33	c (28,0) cls[188] = 2
214.02/46.33	c (28,0) cls[189] = 2
214.02/46.33	c (28,0) cls[190] = 11
214.02/46.34	c (28,0) cls[191] = 9
214.02/46.34	c (28,0) cls[192] = 11
214.02/46.34	c (28,0) cls[193] = 2
214.02/46.34	c (28,0) cls[194] = 22
214.02/46.34	c (28,0) cls[195] = 11
214.02/46.34	c (28,0) cls[196] = 17
214.02/46.34	c (28,0) cls[197] = 9
214.02/46.34	c (28,0) cls[198] = 2
214.02/46.34	c (28,0) cls[199] = 2
214.02/46.34	c (28,0) opt[0][0] = 1
214.02/46.34	c (28,0) opt[0][1] = 1
214.02/46.34	c (28,0) opt[0][2] = 0
214.02/46.34	c (28,0) opt[0][3] = 0
214.02/46.34	c (28,0) opt[0][4] = 0
214.02/46.34	c (28,0) opt[1][0] = 0
214.02/46.34	c (28,0) opt[1][1] = 0
214.02/46.34	c (28,0) opt[1][2] = 0
214.02/46.34	c (28,0) opt[1][3] = 1
214.02/46.34	c (28,0) opt[1][4] = 0
214.02/46.34	c (28,0) opt[2][0] = 0
214.02/46.34	c (28,0) opt[2][1] = 1
214.02/46.34	c (28,0) opt[2][2] = 1
214.02/46.34	c (28,0) opt[2][3] = 0
214.02/46.34	c (28,0) opt[2][4] = 0
214.02/46.34	c (28,0) opt[3][0] = 1
214.02/46.34	c (28,0) opt[3][1] = 0
214.02/46.34	c (28,0) opt[3][2] = 0
214.02/46.34	c (28,0) opt[3][3] = 0
214.02/46.34	c (28,0) opt[3][4] = 0
214.02/46.34	c (28,0) opt[4][0] = 0
214.02/46.34	c (28,0) opt[4][1] = 0
214.02/46.34	c (28,0) opt[4][2] = 0
214.02/46.34	c (28,0) opt[4][3] = 1
214.02/46.34	c (28,0) opt[4][4] = 0
214.02/46.34	c (28,0) opt[5][0] = 0
214.02/46.34	c (28,0) opt[5][1] = 1
214.02/46.34	c (28,0) opt[5][2] = 0
214.02/46.34	c (28,0) opt[5][3] = 0
214.02/46.34	c (28,0) opt[5][4] = 0
214.02/46.34	c (28,0) opt[6][0] = 0
214.02/46.34	c (28,0) opt[6][1] = 1
214.02/46.34	c (28,0) opt[6][2] = 0
214.02/46.34	c (28,0) opt[6][3] = 1
214.02/46.34	c (28,0) opt[6][4] = 1
214.02/46.34	c (28,0) opt[7][0] = 1
214.02/46.34	c (28,0) opt[7][1] = 0
214.02/46.34	c (28,0) opt[7][2] = 0
214.02/46.34	c (28,0) opt[7][3] = 0
214.02/46.34	c (28,0) opt[7][4] = 0
214.02/46.34	c (28,0) opt[8][0] = 0
214.02/46.34	c (28,0) opt[8][1] = 1
214.02/46.34	c (28,0) opt[8][2] = 0
214.02/46.34	c (28,0) opt[8][3] = 0
214.02/46.34	c (28,0) opt[8][4] = 0
214.02/46.34	c (28,0) opt[9][0] = 0
214.02/46.34	c (28,0) opt[9][1] = 0
214.02/46.34	c (28,0) opt[9][2] = 0
214.02/46.34	c (28,0) opt[9][3] = 1
214.02/46.34	c (28,0) opt[9][4] = 0
214.02/46.34	c (28,0) opt[10][0] = 1
214.02/46.34	c (28,0) opt[10][1] = 0
214.02/46.34	c (28,0) opt[10][2] = 0
214.02/46.34	c (28,0) opt[10][3] = 0
214.02/46.34	c (28,0) opt[10][4] = 0
214.02/46.34	c (28,0) opt[11][0] = 0
214.02/46.34	c (28,0) opt[11][1] = 1
214.02/46.34	c (28,0) opt[11][2] = 0
214.02/46.34	c (28,0) opt[11][3] = 0
214.02/46.34	c (28,0) opt[11][4] = 0
214.02/46.34	c (28,0) opt[12][0] = 1
214.02/46.34	c (28,0) opt[12][1] = 1
214.02/46.34	c (28,0) opt[12][2] = 1
214.02/46.34	c (28,0) opt[12][3] = 1
214.02/46.34	c (28,0) opt[12][4] = 0
214.02/46.34	c (28,0) opt[13][0] = 0
214.02/46.34	c (28,0) opt[13][1] = 0
214.02/46.34	c (28,0) opt[13][2] = 0
214.02/46.34	c (28,0) opt[13][3] = 0
214.02/46.34	c (28,0) opt[13][4] = 1
214.02/46.34	c (28,0) opt[14][0] = 0
214.02/46.34	c (28,0) opt[14][1] = 1
214.02/46.34	c (28,0) opt[14][2] = 0
214.02/46.34	c (28,0) opt[14][3] = 0
214.02/46.34	c (28,0) opt[14][4] = 0
214.02/46.34	c (28,0) opt[15][0] = 0
214.02/46.34	c (28,0) opt[15][1] = 1
214.02/46.34	c (28,0) opt[15][2] = 0
214.02/46.34	c (28,0) opt[15][3] = 0
214.02/46.34	c (28,0) opt[15][4] = 0
214.02/46.34	c (28,0) opt[16][0] = 0
214.02/46.34	c (28,0) opt[16][1] = 0
214.02/46.34	c (28,0) opt[16][2] = 1
214.02/46.34	c (28,0) opt[16][3] = 0
214.02/46.34	c (28,0) opt[16][4] = 0
214.02/46.34	c (28,0) opt[17][0] = 1
214.02/46.34	c (28,0) opt[17][1] = 1
214.02/46.34	c (28,0) opt[17][2] = 0
214.02/46.34	c (28,0) opt[17][3] = 0
214.02/46.34	c (28,0) opt[17][4] = 0
214.02/46.34	c (28,0) opt[18][0] = 0
214.02/46.34	c (28,0) opt[18][1] = 0
214.02/46.34	c (28,0) opt[18][2] = 0
214.02/46.34	c (28,0) opt[18][3] = 1
214.02/46.34	c (28,0) opt[18][4] = 0
214.02/46.34	c (28,0) opt[19][0] = 1
214.02/46.34	c (28,0) opt[19][1] = 0
214.02/46.34	c (28,0) opt[19][2] = 1
214.02/46.34	c (28,0) opt[19][3] = 0
214.02/46.34	c (28,0) opt[19][4] = 0
214.02/46.34	c (28,0) opt[20][0] = 0
214.02/46.34	c (28,0) opt[20][1] = 1
214.02/46.34	c (28,0) opt[20][2] = 0
214.02/46.34	c (28,0) opt[20][3] = 0
214.02/46.34	c (28,0) opt[20][4] = 0
214.02/46.34	c (28,0) opt[21][0] = 0
214.02/46.34	c (28,0) opt[21][1] = 0
214.02/46.34	c (28,0) opt[21][2] = 0
214.02/46.34	c (28,0) opt[21][3] = 1
214.02/46.34	c (28,0) opt[21][4] = 0
214.02/46.34	c (28,0) opt[22][0] = 0
214.02/46.34	c (28,0) opt[22][1] = 0
214.02/46.34	c (28,0) opt[22][2] = 1
214.02/46.34	c (28,0) opt[22][3] = 0
214.02/46.34	c (28,0) opt[22][4] = 0
214.02/46.34	c (28,0) opt[23][0] = 0
214.02/46.34	c (28,0) opt[23][1] = 0
214.02/46.34	c (28,0) opt[23][2] = 0
214.02/46.34	c (28,0) opt[23][3] = 1
214.02/46.34	c (28,0) opt[23][4] = 0
214.02/46.34	c (28,0) opt[24][0] = 0
214.02/46.34	c (28,0) opt[24][1] = 0
214.02/46.34	c (28,0) opt[24][2] = 0
214.02/46.34	c (28,0) opt[24][3] = 0
214.02/46.34	c (28,0) opt[24][4] = 1
214.02/46.34	c (28,0) opt[25][0] = 1
214.02/46.34	c (28,0) opt[25][1] = 1
214.02/46.34	c (28,0) opt[25][2] = 1
214.02/46.34	c (28,0) opt[25][3] = 0
214.02/46.34	c (28,0) opt[25][4] = 0
214.02/46.34	c (28,0) opt[26][0] = 0
214.02/46.34	c (28,0) opt[26][1] = 1
214.02/46.34	c (28,0) opt[26][2] = 0
214.02/46.34	c (28,0) opt[26][3] = 0
214.02/46.34	c (28,0) opt[26][4] = 0
214.02/46.34	c (28,0) opt[27][0] = 1
214.02/46.34	c (28,0) opt[27][1] = 0
214.02/46.34	c (28,0) opt[27][2] = 0
214.02/46.34	c (28,0) opt[27][3] = 1
214.02/46.34	c (28,0) opt[27][4] = 0
214.02/46.34	c (28,0) opt[28][0] = 0
214.02/46.34	c (28,0) opt[28][1] = 0
214.02/46.34	c (28,0) opt[28][2] = 1
214.02/46.34	c (28,0) opt[28][3] = 0
214.02/46.34	c (28,0) opt[28][4] = 0
214.02/46.34	c (28,0) opt[29][0] = 0
214.02/46.34	c (28,0) opt[29][1] = 1
214.02/46.34	c (28,0) opt[29][2] = 0
214.02/46.34	c (28,0) opt[29][3] = 0
214.02/46.34	c (28,0) opt[29][4] = 0
214.02/46.34	c (28,0) opt[30][0] = 1
214.02/46.34	c (28,0) opt[30][1] = 1
214.02/46.34	c (28,0) opt[30][2] = 0
214.02/46.34	c (28,0) opt[30][3] = 0
214.02/46.34	c (28,0) opt[30][4] = 0
214.02/46.34	c (28,0) opt[31][0] = 0
214.02/46.34	c (28,0) opt[31][1] = 0
214.02/46.34	c (28,0) opt[31][2] = 1
214.02/46.34	c (28,0) opt[31][3] = 1
214.02/46.34	c (28,0) opt[31][4] = 0
214.02/46.34	c (28,0) opt[32][0] = 1
214.02/46.34	c (28,0) opt[32][1] = 1
214.02/46.34	c (28,0) opt[32][2] = 0
214.02/46.34	c (28,0) opt[32][3] = 0
214.02/46.34	c (28,0) opt[32][4] = 0
214.02/46.34	c (28,0) opt[33][0] = 0
214.02/46.34	c (28,0) opt[33][1] = 1
214.02/46.34	c (28,0) opt[33][2] = 0
214.02/46.34	c (28,0) opt[33][3] = 0
214.02/46.34	c (28,0) opt[33][4] = 0
214.02/46.34	c (28,0) opt[34][0] = 0
214.02/46.34	c (28,0) opt[34][1] = 0
214.02/46.34	c (28,0) opt[34][2] = 1
214.02/46.34	c (28,0) opt[34][3] = 0
214.02/46.34	c (28,0) opt[34][4] = 0
214.02/46.34	c (28,0) opt[35][0] = 0
214.02/46.34	c (28,0) opt[35][1] = 0
214.02/46.34	c (28,0) opt[35][2] = 0
214.02/46.34	c (28,0) opt[35][3] = 1
214.02/46.34	c (28,0) opt[35][4] = 0
214.02/46.34	c (28,0) opt[36][0] = 1
214.02/46.34	c (28,0) opt[36][1] = 0
214.02/46.34	c (28,0) opt[36][2] = 0
214.02/46.34	c (28,0) opt[36][3] = 0
214.02/46.34	c (28,0) opt[36][4] = 0
214.02/46.34	c (28,0) opt[37][0] = 0
214.02/46.34	c (28,0) opt[37][1] = 1
214.02/46.34	c (28,0) opt[37][2] = 1
214.02/46.34	c (28,0) opt[37][3] = 1
214.02/46.34	c (28,0) opt[37][4] = 0
214.02/46.34	c (28,0) opt[38][0] = 0
214.02/46.34	c (28,0) opt[38][1] = 1
214.02/46.34	c (28,0) opt[38][2] = 0
214.02/46.34	c (28,0) opt[38][3] = 0
214.02/46.34	c (28,0) opt[38][4] = 0
214.02/46.34	c (28,0) opt[39][0] = 0
214.02/46.34	c (28,0) opt[39][1] = 0
214.02/46.34	c (28,0) opt[39][2] = 0
214.02/46.34	c (28,0) opt[39][3] = 0
214.02/46.34	c (28,0) opt[39][4] = 1
214.02/46.34	c (28,0) opt[40][0] = 0
214.02/46.34	c (28,0) opt[40][1] = 1
214.02/46.34	c (28,0) opt[40][2] = 0
214.02/46.34	c (28,0) opt[40][3] = 0
214.02/46.34	c (28,0) opt[40][4] = 0
214.02/46.34	c (28,0) opt[41][0] = 0
214.02/46.34	c (28,0) opt[41][1] = 0
214.02/46.34	c (28,0) opt[41][2] = 0
214.02/46.34	c (28,0) opt[41][3] = 1
214.02/46.34	c (28,0) opt[41][4] = 0
214.02/46.34	c (28,0) opt[42][0] = 0
214.02/46.34	c (28,0) opt[42][1] = 1
214.02/46.34	c (28,0) opt[42][2] = 0
214.02/46.34	c (28,0) opt[42][3] = 0
214.02/46.34	c (28,0) opt[42][4] = 0
214.02/46.34	c (28,0) opt[43][0] = 0
214.02/46.34	c (28,0) opt[43][1] = 0
214.02/46.34	c (28,0) opt[43][2] = 1
214.02/46.34	c (28,0) opt[43][3] = 0
214.02/46.34	c (28,0) opt[43][4] = 0
214.02/46.34	c (28,0) opt[44][0] = 0
214.02/46.34	c (28,0) opt[44][1] = 0
214.02/46.34	c (28,0) opt[44][2] = 0
214.02/46.34	c (28,0) opt[44][3] = 1
214.02/46.34	c (28,0) opt[44][4] = 0
214.02/46.34	c (28,0) opt[45][0] = 0
214.02/46.34	c (28,0) opt[45][1] = 1
214.02/46.34	c (28,0) opt[45][2] = 0
214.02/46.34	c (28,0) opt[45][3] = 0
214.02/46.34	c (28,0) opt[45][4] = 0
214.02/46.34	c (28,0) opt[46][0] = 0
214.02/46.34	c (28,0) opt[46][1] = 0
214.02/46.34	c (28,0) opt[46][2] = 1
214.02/46.34	c (28,0) opt[46][3] = 0
214.02/46.34	c (28,0) opt[46][4] = 0
214.02/46.34	c (28,0) opt[47][0] = 0
214.02/46.34	c (28,0) opt[47][1] = 0
214.02/46.34	c (28,0) opt[47][2] = 0
214.02/46.34	c (28,0) opt[47][3] = 1
214.02/46.34	c (28,0) opt[47][4] = 0
214.02/46.34	c (28,0) opt[48][0] = 1
214.02/46.34	c (28,0) opt[48][1] = 1
214.02/46.34	c (28,0) opt[48][2] = 0
214.02/46.34	c (28,0) opt[48][3] = 0
214.02/46.34	c (28,0) opt[48][4] = 1
214.02/46.34	c (28,0) opt[49][0] = 0
214.02/46.34	c (28,0) opt[49][1] = 0
214.02/46.34	c (28,0) opt[49][2] = 1
214.02/46.34	c (28,0) opt[49][3] = 0
214.02/46.34	c (28,0) opt[49][4] = 0
214.02/46.34	c (28,0) opt[50][0] = 0
214.02/46.34	c (28,0) opt[50][1] = 1
214.02/46.34	c (28,0) opt[50][2] = 0
214.02/46.34	c (28,0) opt[50][3] = 1
214.02/46.34	c (28,0) opt[50][4] = 0
214.02/46.34	c (28,0) opt[51][0] = 0
214.02/46.34	c (28,0) opt[51][1] = 1
214.02/46.34	c (28,0) opt[51][2] = 0
214.02/46.34	c (28,0) opt[51][3] = 0
214.02/46.34	c (28,0) opt[51][4] = 0
214.02/46.34	c (28,0) opt[52][0] = 0
214.02/46.34	c (28,0) opt[52][1] = 0
214.02/46.34	c (28,0) opt[52][2] = 0
214.02/46.34	c (28,0) opt[52][3] = 1
214.02/46.34	c (28,0) opt[52][4] = 0
214.02/46.34	c (28,0) opt[53][0] = 0
214.02/46.34	c (28,0) opt[53][1] = 0
214.02/46.34	c (28,0) opt[53][2] = 1
214.02/46.34	c (28,0) opt[53][3] = 0
214.02/46.34	c (28,0) opt[53][4] = 0
214.02/46.34	c (28,0) opt[54][0] = 0
214.02/46.34	c (28,0) opt[54][1] = 1
214.02/46.34	c (28,0) opt[54][2] = 0
214.02/46.34	c (28,0) opt[54][3] = 0
214.02/46.34	c (28,0) opt[54][4] = 0
214.02/46.34	c (28,0) opt[55][0] = 0
214.02/46.34	c (28,0) opt[55][1] = 0
214.02/46.34	c (28,0) opt[55][2] = 0
214.02/46.34	c (28,0) opt[55][3] = 1
214.02/46.34	c (28,0) opt[55][4] = 0
214.02/46.34	c (28,0) opt[56][0] = 0
214.02/46.34	c (28,0) opt[56][1] = 0
214.02/46.34	c (28,0) opt[56][2] = 1
214.02/46.34	c (28,0) opt[56][3] = 0
214.02/46.34	c (28,0) opt[56][4] = 0
214.02/46.34	c (28,0) opt[57][0] = 0
214.02/46.34	c (28,0) opt[57][1] = 1
214.02/46.34	c (28,0) opt[57][2] = 0
214.02/46.34	c (28,0) opt[57][3] = 0
214.02/46.34	c (28,0) opt[57][4] = 0
214.02/46.34	c (28,0) opt[58][0] = 0
214.02/46.34	c (28,0) opt[58][1] = 1
214.02/46.34	c (28,0) opt[58][2] = 0
214.02/46.34	c (28,0) opt[58][3] = 0
214.02/46.34	c (28,0) opt[58][4] = 0
214.02/46.34	c (28,0) opt[59][0] = 0
214.02/46.34	c (28,0) opt[59][1] = 0
214.02/46.34	c (28,0) opt[59][2] = 0
214.02/46.34	c (28,0) opt[59][3] = 1
214.02/46.34	c (28,0) opt[59][4] = 0
214.02/46.34	c (28,0) opt[60][0] = 0
214.02/46.34	c (28,0) opt[60][1] = 0
214.02/46.34	c (28,0) opt[60][2] = 1
214.02/46.34	c (28,0) opt[60][3] = 0
214.02/46.34	c (28,0) opt[60][4] = 0
214.02/46.34	c (28,0) opt[61][0] = 0
214.02/46.34	c (28,0) opt[61][1] = 1
214.02/46.34	c (28,0) opt[61][2] = 0
214.02/46.34	c (28,0) opt[61][3] = 0
214.02/46.34	c (28,0) opt[61][4] = 0
214.02/46.34	c (28,0) opt[62][0] = 0
214.02/46.34	c (28,0) opt[62][1] = 0
214.02/46.34	c (28,0) opt[62][2] = 0
214.02/46.34	c (28,0) opt[62][3] = 1
214.02/46.34	c (28,0) opt[62][4] = 0
214.02/46.34	c (28,0) opt[63][0] = 0
214.02/46.34	c (28,0) opt[63][1] = 1
214.02/46.34	c (28,0) opt[63][2] = 0
214.02/46.34	c (28,0) opt[63][3] = 0
214.02/46.34	c (28,0) opt[63][4] = 0
214.02/46.34	c (28,0) opt[64][0] = 1
214.02/46.34	c (28,0) opt[64][1] = 1
214.02/46.34	c (28,0) opt[64][2] = 1
214.02/46.34	c (28,0) opt[64][3] = 0
214.02/46.34	c (28,0) opt[64][4] = 1
214.02/46.34	c (28,0) opt[65][0] = 0
214.02/46.34	c (28,0) opt[65][1] = 0
214.02/46.34	c (28,0) opt[65][2] = 0
214.02/46.34	c (28,0) opt[65][3] = 1
214.02/46.34	c (28,0) opt[65][4] = 0
214.02/46.34	c (28,0) opt[66][0] = 0
214.02/46.34	c (28,0) opt[66][1] = 1
214.02/46.34	c (28,0) opt[66][2] = 0
214.02/46.34	c (28,0) opt[66][3] = 0
214.02/46.34	c (28,0) opt[66][4] = 0
214.02/46.34	c (28,0) opt[67][0] = 1
214.02/46.34	c (28,0) opt[67][1] = 0
214.02/46.34	c (28,0) opt[67][2] = 1
214.02/46.34	c (28,0) opt[67][3] = 0
214.02/46.34	c (28,0) opt[67][4] = 0
214.02/46.34	c (28,0) opt[68][0] = 0
214.02/46.34	c (28,0) opt[68][1] = 1
214.02/46.34	c (28,0) opt[68][2] = 0
214.02/46.34	c (28,0) opt[68][3] = 0
214.02/46.34	c (28,0) opt[68][4] = 0
214.02/46.34	c (28,0) opt[69][0] = 0
214.02/46.34	c (28,0) opt[69][1] = 0
214.02/46.34	c (28,0) opt[69][2] = 0
214.02/46.34	c (28,0) opt[69][3] = 1
214.02/46.34	c (28,0) opt[69][4] = 0
214.02/46.34	c (28,0) opt[70][0] = 0
214.02/46.34	c (28,0) opt[70][1] = 1
214.02/46.34	c (28,0) opt[70][2] = 0
214.02/46.34	c (28,0) opt[70][3] = 0
214.02/46.34	c (28,0) opt[70][4] = 0
214.02/46.34	c (28,0) opt[71][0] = 0
214.02/46.34	c (28,0) opt[71][1] = 0
214.02/46.34	c (28,0) opt[71][2] = 0
214.02/46.34	c (28,0) opt[71][3] = 1
214.02/46.34	c (28,0) opt[71][4] = 0
214.02/46.34	c (28,0) opt[72][0] = 0
214.02/46.34	c (28,0) opt[72][1] = 1
214.02/46.34	c (28,0) opt[72][2] = 0
214.02/46.34	c (28,0) opt[72][3] = 0
214.02/46.34	c (28,0) opt[72][4] = 0
214.02/46.34	c (28,0) opt[73][0] = 0
214.02/46.34	c (28,0) opt[73][1] = 0
214.02/46.34	c (28,0) opt[73][2] = 1
214.02/46.34	c (28,0) opt[73][3] = 0
214.02/46.34	c (28,0) opt[73][4] = 0
214.02/46.34	c (28,0) opt[74][0] = 0
214.02/46.34	c (28,0) opt[74][1] = 0
214.02/46.34	c (28,0) opt[74][2] = 0
214.02/46.34	c (28,0) opt[74][3] = 1
214.02/46.34	c (28,0) opt[74][4] = 0
214.02/46.34	c (28,0) opt[75][0] = 1
214.02/46.34	c (28,0) opt[75][1] = 1
214.02/46.34	c (28,0) opt[75][2] = 0
214.02/46.34	c (28,0) opt[75][3] = 0
214.02/46.34	c (28,0) opt[75][4] = 1
214.02/46.34	c (28,0) opt[76][0] = 0
214.02/46.34	c (28,0) opt[76][1] = 0
214.02/46.34	c (28,0) opt[76][2] = 0
214.02/46.34	c (28,0) opt[76][3] = 1
214.02/46.34	c (28,0) opt[76][4] = 0
214.02/46.34	c (28,0) opt[77][0] = 1
214.02/46.34	c (28,0) opt[77][1] = 0
214.02/46.34	c (28,0) opt[77][2] = 1
214.02/46.34	c (28,0) opt[77][3] = 0
214.02/46.34	c (28,0) opt[77][4] = 0
214.02/46.34	c (28,0) opt[78][0] = 0
214.02/46.34	c (28,0) opt[78][1] = 1
214.02/46.34	c (28,0) opt[78][2] = 0
214.02/46.34	c (28,0) opt[78][3] = 0
214.02/46.34	c (28,0) opt[78][4] = 0
214.02/46.34	c (28,0) opt[79][0] = 0
214.02/46.34	c (28,0) opt[79][1] = 1
214.02/46.34	c (28,0) opt[79][2] = 0
214.02/46.34	c (28,0) opt[79][3] = 0
214.02/46.34	c (28,0) opt[79][4] = 0
214.02/46.34	c (28,0) opt[80][0] = 1
214.02/46.34	c (28,0) opt[80][1] = 0
214.02/46.34	c (28,0) opt[80][2] = 0
214.02/46.34	c (28,0) opt[80][3] = 0
214.02/46.34	c (28,0) opt[80][4] = 0
214.02/46.34	c (28,0) opt[81][0] = 0
214.02/46.34	c (28,0) opt[81][1] = 1
214.02/46.34	c (28,0) opt[81][2] = 0
214.02/46.34	c (28,0) opt[81][3] = 1
214.02/46.34	c (28,0) opt[81][4] = 0
214.02/46.34	c (28,0) opt[82][0] = 0
214.02/46.34	c (28,0) opt[82][1] = 1
214.02/46.34	c (28,0) opt[82][2] = 1
214.02/46.34	c (28,0) opt[82][3] = 1
214.02/46.34	c (28,0) opt[82][4] = 0
214.02/46.34	c (28,0) opt[83][0] = 1
214.02/46.34	c (28,0) opt[83][1] = 0
214.02/46.34	c (28,0) opt[83][2] = 0
214.02/46.34	c (28,0) opt[83][3] = 0
214.02/46.34	c (28,0) opt[83][4] = 0
214.02/46.34	c (28,0) opt[84][0] = 0
214.02/46.34	c (28,0) opt[84][1] = 0
214.02/46.34	c (28,0) opt[84][2] = 0
214.02/46.34	c (28,0) opt[84][3] = 0
214.02/46.34	c (28,0) opt[84][4] = 1
214.02/46.34	c (28,0) opt[85][0] = 0
214.02/46.34	c (28,0) opt[85][1] = 0
214.02/46.34	c (28,0) opt[85][2] = 1
214.02/46.34	c (28,0) opt[85][3] = 0
214.02/46.34	c (28,0) opt[85][4] = 0
214.02/46.34	c (28,0) opt[86][0] = 1
214.02/46.34	c (28,0) opt[86][1] = 1
214.02/46.34	c (28,0) opt[86][2] = 0
214.02/46.34	c (28,0) opt[86][3] = 0
214.02/46.34	c (28,0) opt[86][4] = 0
214.02/46.34	c (28,0) opt[87][0] = 0
214.02/46.34	c (28,0) opt[87][1] = 0
214.02/46.34	c (28,0) opt[87][2] = 0
214.02/46.34	c (28,0) opt[87][3] = 1
214.02/46.34	c (28,0) opt[87][4] = 0
214.02/46.34	c (28,0) opt[88][0] = 1
214.02/46.34	c (28,0) opt[88][1] = 0
214.02/46.34	c (28,0) opt[88][2] = 0
214.02/46.34	c (28,0) opt[88][3] = 1
214.02/46.34	c (28,0) opt[88][4] = 0
214.02/46.34	c (28,0) opt[89][0] = 0
214.02/46.34	c (28,0) opt[89][1] = 1
214.02/46.34	c (28,0) opt[89][2] = 0
214.02/46.34	c (28,0) opt[89][3] = 0
214.02/46.34	c (28,0) opt[89][4] = 0
214.02/46.34	c (28,0) opt[90][0] = 0
214.02/46.34	c (28,0) opt[90][1] = 0
214.02/46.34	c (28,0) opt[90][2] = 1
214.02/46.34	c (28,0) opt[90][3] = 0
214.02/46.34	c (28,0) opt[90][4] = 0
214.02/46.34	c (28,0) opt[91][0] = 0
214.02/46.34	c (28,0) opt[91][1] = 1
214.02/46.34	c (28,0) opt[91][2] = 0
214.02/46.34	c (28,0) opt[91][3] = 0
214.02/46.34	c (28,0) opt[91][4] = 0
214.02/46.34	c (28,0) opt[92][0] = 0
214.02/46.34	c (28,0) opt[92][1] = 0
214.02/46.34	c (28,0) opt[92][2] = 0
214.02/46.34	c (28,0) opt[92][3] = 1
214.02/46.34	c (28,0) opt[92][4] = 0
214.02/46.34	c (28,0) opt[93][0] = 0
214.02/46.34	c (28,0) opt[93][1] = 0
214.02/46.34	c (28,0) opt[93][2] = 0
214.02/46.34	c (28,0) opt[93][3] = 1
214.02/46.34	c (28,0) opt[93][4] = 0
214.02/46.34	c (28,0) opt[94][0] = 0
214.02/46.34	c (28,0) opt[94][1] = 0
214.02/46.34	c (28,0) opt[94][2] = 0
214.02/46.34	c (28,0) opt[94][3] = 0
214.02/46.34	c (28,0) opt[94][4] = 1
214.02/46.34	c (28,0) opt[95][0] = 0
214.02/46.34	c (28,0) opt[95][1] = 1
214.02/46.34	c (28,0) opt[95][2] = 0
214.02/46.34	c (28,0) opt[95][3] = 0
214.02/46.34	c (28,0) opt[95][4] = 0
214.02/46.34	c (28,0) opt[96][0] = 0
214.02/46.34	c (28,0) opt[96][1] = 1
214.02/46.34	c (28,0) opt[96][2] = 0
214.02/46.34	c (28,0) opt[96][3] = 0
214.02/46.34	c (28,0) opt[96][4] = 0
214.02/46.34	c (28,0) opt[97][0] = 0
214.02/46.34	c (28,0) opt[97][1] = 0
214.02/46.34	c (28,0) opt[97][2] = 0
214.02/46.34	c (28,0) opt[97][3] = 1
214.02/46.34	c (28,0) opt[97][4] = 0
214.02/46.34	c (28,0) opt[98][0] = 1
214.02/46.34	c (28,0) opt[98][1] = 1
214.02/46.34	c (28,0) opt[98][2] = 0
214.02/46.34	c (28,0) opt[98][3] = 0
214.02/46.34	c (28,0) opt[98][4] = 0
214.02/46.34	c (28,0) opt[99][0] = 0
214.02/46.34	c (28,0) opt[99][1] = 0
214.02/46.34	c (28,0) opt[99][2] = 1
214.02/46.34	c (28,0) opt[99][3] = 0
214.02/46.34	c (28,0) opt[99][4] = 0
214.02/46.34	c (28,0) opt[100][0] = 1
214.02/46.34	c (28,0) opt[100][1] = 0
214.02/46.34	c (28,0) opt[100][2] = 0
214.02/46.34	c (28,0) opt[100][3] = 0
214.02/46.34	c (28,0) opt[100][4] = 1
214.02/46.34	c (28,0) opt[101][0] = 0
214.02/46.34	c (28,0) opt[101][1] = 1
214.02/46.34	c (28,0) opt[101][2] = 0
214.02/46.34	c (28,0) opt[101][3] = 1
214.02/46.34	c (28,0) opt[101][4] = 0
214.02/46.34	c (28,0) opt[102][0] = 0
214.02/46.34	c (28,0) opt[102][1] = 1
214.02/46.34	c (28,0) opt[102][2] = 0
214.02/46.34	c (28,0) opt[102][3] = 0
214.02/46.34	c (28,0) opt[102][4] = 0
214.02/46.34	c (28,0) opt[103][0] = 0
214.02/46.34	c (28,0) opt[103][1] = 0
214.02/46.34	c (28,0) opt[103][2] = 1
214.02/46.34	c (28,0) opt[103][3] = 0
214.02/46.34	c (28,0) opt[103][4] = 0
214.02/46.34	c (28,0) opt[104][0] = 0
214.02/46.34	c (28,0) opt[104][1] = 1
214.02/46.34	c (28,0) opt[104][2] = 0
214.02/46.34	c (28,0) opt[104][3] = 0
214.02/46.34	c (28,0) opt[104][4] = 0
214.02/46.34	c (28,0) opt[105][0] = 0
214.02/46.34	c (28,0) opt[105][1] = 0
214.02/46.34	c (28,0) opt[105][2] = 0
214.02/46.34	c (28,0) opt[105][3] = 1
214.02/46.34	c (28,0) opt[105][4] = 1
214.02/46.34	c (28,0) opt[106][0] = 0
214.02/46.34	c (28,0) opt[106][1] = 0
214.02/46.34	c (28,0) opt[106][2] = 0
214.02/46.34	c (28,0) opt[106][3] = 1
214.02/46.34	c (28,0) opt[106][4] = 0
214.02/46.34	c (28,0) opt[107][0] = 0
214.02/46.34	c (28,0) opt[107][1] = 1
214.02/46.34	c (28,0) opt[107][2] = 0
214.02/46.34	c (28,0) opt[107][3] = 0
214.02/46.34	c (28,0) opt[107][4] = 0
214.02/46.34	c (28,0) opt[108][0] = 0
214.02/46.34	c (28,0) opt[108][1] = 1
214.02/46.34	c (28,0) opt[108][2] = 1
214.02/46.34	c (28,0) opt[108][3] = 0
214.02/46.34	c (28,0) opt[108][4] = 0
214.02/46.34	c (28,0) opt[109][0] = 1
214.02/46.34	c (28,0) opt[109][1] = 0
214.02/46.34	c (28,0) opt[109][2] = 0
214.02/46.34	c (28,0) opt[109][3] = 0
214.02/46.34	c (28,0) opt[109][4] = 0
214.02/46.34	c (28,0) opt[110][0] = 0
214.02/46.34	c (28,0) opt[110][1] = 1
214.02/46.34	c (28,0) opt[110][2] = 0
214.02/46.34	c (28,0) opt[110][3] = 0
214.02/46.34	c (28,0) opt[110][4] = 1
214.02/46.34	c (28,0) opt[111][0] = 0
214.02/46.34	c (28,0) opt[111][1] = 1
214.02/46.34	c (28,0) opt[111][2] = 1
214.02/46.34	c (28,0) opt[111][3] = 0
214.02/46.34	c (28,0) opt[111][4] = 0
214.02/46.34	c (28,0) opt[112][0] = 1
214.02/46.34	c (28,0) opt[112][1] = 0
214.02/46.34	c (28,0) opt[112][2] = 0
214.02/46.34	c (28,0) opt[112][3] = 1
214.02/46.34	c (28,0) opt[112][4] = 0
214.02/46.34	c (28,0) opt[113][0] = 0
214.02/46.34	c (28,0) opt[113][1] = 1
214.02/46.34	c (28,0) opt[113][2] = 0
214.02/46.34	c (28,0) opt[113][3] = 1
214.02/46.34	c (28,0) opt[113][4] = 0
214.02/46.34	c (28,0) opt[114][0] = 0
214.02/46.34	c (28,0) opt[114][1] = 1
214.02/46.34	c (28,0) opt[114][2] = 0
214.02/46.34	c (28,0) opt[114][3] = 0
214.02/46.34	c (28,0) opt[114][4] = 0
214.02/46.34	c (28,0) opt[115][0] = 0
214.02/46.34	c (28,0) opt[115][1] = 0
214.02/46.34	c (28,0) opt[115][2] = 1
214.02/46.34	c (28,0) opt[115][3] = 0
214.02/46.34	c (28,0) opt[115][4] = 0
214.02/46.34	c (28,0) opt[116][0] = 0
214.02/46.34	c (28,0) opt[116][1] = 1
214.02/46.34	c (28,0) opt[116][2] = 0
214.02/46.34	c (28,0) opt[116][3] = 0
214.02/46.34	c (28,0) opt[116][4] = 0
214.02/46.34	c (28,0) opt[117][0] = 0
214.02/46.34	c (28,0) opt[117][1] = 0
214.02/46.34	c (28,0) opt[117][2] = 0
214.02/46.34	c (28,0) opt[117][3] = 1
214.02/46.34	c (28,0) opt[117][4] = 0
214.02/46.34	c (28,0) opt[118][0] = 1
214.02/46.34	c (28,0) opt[118][1] = 0
214.02/46.34	c (28,0) opt[118][2] = 1
214.02/46.34	c (28,0) opt[118][3] = 0
214.02/46.34	c (28,0) opt[118][4] = 0
214.02/46.34	c (28,0) opt[119][0] = 0
214.02/46.34	c (28,0) opt[119][1] = 1
214.02/46.34	c (28,0) opt[119][2] = 0
214.02/46.34	c (28,0) opt[119][3] = 0
214.02/46.34	c (28,0) opt[119][4] = 0
214.02/46.34	c (28,0) opt[120][0] = 0
214.02/46.34	c (28,0) opt[120][1] = 0
214.02/46.34	c (28,0) opt[120][2] = 0
214.02/46.34	c (28,0) opt[120][3] = 1
214.02/46.34	c (28,0) opt[120][4] = 0
214.02/46.34	c (28,0) opt[121][0] = 0
214.02/46.34	c (28,0) opt[121][1] = 0
214.02/46.34	c (28,0) opt[121][2] = 1
214.02/46.34	c (28,0) opt[121][3] = 0
214.02/46.34	c (28,0) opt[121][4] = 0
214.02/46.34	c (28,0) opt[122][0] = 0
214.02/46.34	c (28,0) opt[122][1] = 1
214.02/46.34	c (28,0) opt[122][2] = 0
214.02/46.34	c (28,0) opt[122][3] = 0
214.02/46.34	c (28,0) opt[122][4] = 0
214.02/46.34	c (28,0) opt[123][0] = 0
214.02/46.34	c (28,0) opt[123][1] = 1
214.02/46.34	c (28,0) opt[123][2] = 0
214.02/46.34	c (28,0) opt[123][3] = 1
214.02/46.34	c (28,0) opt[123][4] = 0
214.02/46.34	c (28,0) opt[124][0] = 1
214.02/46.34	c (28,0) opt[124][1] = 0
214.02/46.34	c (28,0) opt[124][2] = 0
214.02/46.34	c (28,0) opt[124][3] = 0
214.02/46.34	c (28,0) opt[124][4] = 0
214.02/46.34	c (28,0) opt[125][0] = 0
214.02/46.34	c (28,0) opt[125][1] = 0
214.02/46.34	c (28,0) opt[125][2] = 1
214.02/46.34	c (28,0) opt[125][3] = 0
214.02/46.34	c (28,0) opt[125][4] = 0
214.02/46.34	c (28,0) opt[126][0] = 0
214.02/46.34	c (28,0) opt[126][1] = 1
214.02/46.34	c (28,0) opt[126][2] = 0
214.02/46.34	c (28,0) opt[126][3] = 0
214.02/46.34	c (28,0) opt[126][4] = 0
214.02/46.34	c (28,0) opt[127][0] = 1
214.02/46.34	c (28,0) opt[127][1] = 1
214.02/46.34	c (28,0) opt[127][2] = 0
214.02/46.34	c (28,0) opt[127][3] = 1
214.02/46.34	c (28,0) opt[127][4] = 0
214.02/46.34	c (28,0) opt[128][0] = 0
214.02/46.34	c (28,0) opt[128][1] = 0
214.02/46.34	c (28,0) opt[128][2] = 1
214.02/46.34	c (28,0) opt[128][3] = 0
214.02/46.34	c (28,0) opt[128][4] = 0
214.02/46.34	c (28,0) opt[129][0] = 0
214.02/46.34	c (28,0) opt[129][1] = 0
214.02/46.34	c (28,0) opt[129][2] = 0
214.02/46.34	c (28,0) opt[129][3] = 1
214.02/46.34	c (28,0) opt[129][4] = 0
214.02/46.34	c (28,0) opt[130][0] = 0
214.02/46.34	c (28,0) opt[130][1] = 1
214.02/46.34	c (28,0) opt[130][2] = 0
214.02/46.34	c (28,0) opt[130][3] = 0
214.02/46.34	c (28,0) opt[130][4] = 0
214.02/46.34	c (28,0) opt[131][0] = 0
214.02/46.34	c (28,0) opt[131][1] = 0
214.02/46.34	c (28,0) opt[131][2] = 0
214.02/46.34	c (28,0) opt[131][3] = 0
214.02/46.34	c (28,0) opt[131][4] = 1
214.02/46.34	c (28,0) opt[132][0] = 0
214.02/46.34	c (28,0) opt[132][1] = 0
214.02/46.34	c (28,0) opt[132][2] = 0
214.02/46.34	c (28,0) opt[132][3] = 1
214.02/46.34	c (28,0) opt[132][4] = 0
214.02/46.34	c (28,0) opt[133][0] = 0
214.02/46.34	c (28,0) opt[133][1] = 0
214.02/46.34	c (28,0) opt[133][2] = 1
214.02/46.34	c (28,0) opt[133][3] = 0
214.02/46.34	c (28,0) opt[133][4] = 0
214.02/46.34	c (28,0) opt[134][0] = 0
214.02/46.34	c (28,0) opt[134][1] = 0
214.02/46.34	c (28,0) opt[134][2] = 0
214.02/46.34	c (28,0) opt[134][3] = 1
214.02/46.34	c (28,0) opt[134][4] = 0
214.02/46.34	c (28,0) opt[135][0] = 0
214.02/46.34	c (28,0) opt[135][1] = 1
214.02/46.34	c (28,0) opt[135][2] = 0
214.02/46.34	c (28,0) opt[135][3] = 0
214.02/46.34	c (28,0) opt[135][4] = 0
214.02/46.34	c (28,0) opt[136][0] = 1
214.02/46.34	c (28,0) opt[136][1] = 0
214.02/46.34	c (28,0) opt[136][2] = 0
214.02/46.34	c (28,0) opt[136][3] = 0
214.02/46.34	c (28,0) opt[136][4] = 0
214.02/46.34	c (28,0) opt[137][0] = 0
214.02/46.34	c (28,0) opt[137][1] = 1
214.02/46.34	c (28,0) opt[137][2] = 1
214.02/46.34	c (28,0) opt[137][3] = 1
214.02/46.34	c (28,0) opt[137][4] = 0
214.02/46.34	c (28,0) opt[138][0] = 0
214.02/46.34	c (28,0) opt[138][1] = 1
214.02/46.34	c (28,0) opt[138][2] = 0
214.02/46.34	c (28,0) opt[138][3] = 0
214.02/46.34	c (28,0) opt[138][4] = 0
214.02/46.34	c (28,0) opt[139][0] = 1
214.02/46.34	c (28,0) opt[139][1] = 0
214.02/46.34	c (28,0) opt[139][2] = 0
214.02/46.34	c (28,0) opt[139][3] = 0
214.02/46.34	c (28,0) opt[139][4] = 0
214.02/46.34	c (28,0) opt[140][0] = 0
214.02/46.34	c (28,0) opt[140][1] = 0
214.02/46.34	c (28,0) opt[140][2] = 0
214.02/46.34	c (28,0) opt[140][3] = 1
214.02/46.34	c (28,0) opt[140][4] = 0
214.02/46.34	c (28,0) opt[141][0] = 0
214.02/46.34	c (28,0) opt[141][1] = 1
214.02/46.34	c (28,0) opt[141][2] = 0
214.02/46.34	c (28,0) opt[141][3] = 0
214.02/46.34	c (28,0) opt[141][4] = 0
214.02/46.34	c (28,0) opt[142][0] = 0
214.02/46.34	c (28,0) opt[142][1] = 0
214.02/46.34	c (28,0) opt[142][2] = 1
214.02/46.34	c (28,0) opt[142][3] = 0
214.02/46.34	c (28,0) opt[142][4] = 0
214.02/46.34	c (28,0) opt[143][0] = 0
214.02/46.34	c (28,0) opt[143][1] = 0
214.02/46.34	c (28,0) opt[143][2] = 0
214.02/46.34	c (28,0) opt[143][3] = 1
214.02/46.34	c (28,0) opt[143][4] = 0
214.02/46.34	c (28,0) opt[144][0] = 0
214.02/46.34	c (28,0) opt[144][1] = 1
214.02/46.34	c (28,0) opt[144][2] = 0
214.02/46.34	c (28,0) opt[144][3] = 0
214.02/46.34	c (28,0) opt[144][4] = 0
214.02/46.34	c (28,0) opt[145][0] = 1
214.02/46.34	c (28,0) opt[145][1] = 1
214.02/46.34	c (28,0) opt[145][2] = 0
214.02/46.34	c (28,0) opt[145][3] = 0
214.02/46.34	c (28,0) opt[145][4] = 0
214.02/46.34	c (28,0) opt[146][0] = 0
214.02/46.34	c (28,0) opt[146][1] = 0
214.02/46.34	c (28,0) opt[146][2] = 1
214.02/46.34	c (28,0) opt[146][3] = 0
214.02/46.34	c (28,0) opt[146][4] = 1
214.02/46.34	c (28,0) opt[147][0] = 0
214.02/46.34	c (28,0) opt[147][1] = 1
214.02/46.34	c (28,0) opt[147][2] = 0
214.02/46.34	c (28,0) opt[147][3] = 0
214.02/46.34	c (28,0) opt[147][4] = 0
214.02/46.34	c (28,0) opt[148][0] = 0
214.02/46.34	c (28,0) opt[148][1] = 0
214.02/46.34	c (28,0) opt[148][2] = 0
214.02/46.34	c (28,0) opt[148][3] = 1
214.02/46.34	c (28,0) opt[148][4] = 0
214.02/46.34	c (28,0) opt[149][0] = 0
214.02/46.34	c (28,0) opt[149][1] = 0
214.02/46.34	c (28,0) opt[149][2] = 1
214.02/46.34	c (28,0) opt[149][3] = 0
214.02/46.34	c (28,0) opt[149][4] = 0
214.02/46.34	c (28,0) opt[150][0] = 1
214.02/46.34	c (28,0) opt[150][1] = 1
214.02/46.34	c (28,0) opt[150][2] = 0
214.02/46.34	c (28,0) opt[150][3] = 0
214.02/46.34	c (28,0) opt[150][4] = 0
214.02/46.34	c (28,0) opt[151][0] = 0
214.02/46.34	c (28,0) opt[151][1] = 1
214.02/46.34	c (28,0) opt[151][2] = 0
214.02/46.34	c (28,0) opt[151][3] = 0
214.02/46.34	c (28,0) opt[151][4] = 0
214.02/46.34	c (28,0) opt[152][0] = 0
214.02/46.34	c (28,0) opt[152][1] = 0
214.02/46.34	c (28,0) opt[152][2] = 0
214.02/46.34	c (28,0) opt[152][3] = 1
214.02/46.34	c (28,0) opt[152][4] = 0
214.02/46.34	c (28,0) opt[153][0] = 0
214.02/46.34	c (28,0) opt[153][1] = 0
214.02/46.34	c (28,0) opt[153][2] = 0
214.02/46.34	c (28,0) opt[153][3] = 1
214.02/46.34	c (28,0) opt[153][4] = 0
214.02/46.34	c (28,0) opt[154][0] = 0
214.02/46.34	c (28,0) opt[154][1] = 0
214.02/46.34	c (28,0) opt[154][2] = 1
214.02/46.34	c (28,0) opt[154][3] = 0
214.02/46.34	c (28,0) opt[154][4] = 0
214.02/46.34	c (28,0) opt[155][0] = 1
214.02/46.34	c (28,0) opt[155][1] = 0
214.02/46.34	c (28,0) opt[155][2] = 0
214.02/46.34	c (28,0) opt[155][3] = 0
214.02/46.34	c (28,0) opt[155][4] = 0
214.02/46.34	c (28,0) opt[156][0] = 0
214.02/46.34	c (28,0) opt[156][1] = 1
214.02/46.34	c (28,0) opt[156][2] = 0
214.02/46.34	c (28,0) opt[156][3] = 0
214.02/46.34	c (28,0) opt[156][4] = 0
214.02/46.34	c (28,0) opt[157][0] = 0
214.02/46.34	c (28,0) opt[157][1] = 0
214.02/46.34	c (28,0) opt[157][2] = 0
214.02/46.34	c (28,0) opt[157][3] = 1
214.02/46.34	c (28,0) opt[157][4] = 0
214.02/46.34	c (28,0) opt[158][0] = 0
214.02/46.34	c (28,0) opt[158][1] = 0
214.02/46.34	c (28,0) opt[158][2] = 1
214.02/46.34	c (28,0) opt[158][3] = 0
214.02/46.34	c (28,0) opt[158][4] = 0
214.02/46.34	c (28,0) opt[159][0] = 0
214.02/46.34	c (28,0) opt[159][1] = 1
214.02/46.34	c (28,0) opt[159][2] = 0
214.02/46.34	c (28,0) opt[159][3] = 1
214.02/46.34	c (28,0) opt[159][4] = 0
214.02/46.34	c (28,0) opt[160][0] = 0
214.02/46.34	c (28,0) opt[160][1] = 1
214.02/46.34	c (28,0) opt[160][2] = 0
214.02/46.34	c (28,0) opt[160][3] = 0
214.02/46.34	c (28,0) opt[160][4] = 0
214.02/46.34	c (28,0) opt[161][0] = 0
214.02/46.34	c (28,0) opt[161][1] = 0
214.02/46.34	c (28,0) opt[161][2] = 1
214.02/46.34	c (28,0) opt[161][3] = 0
214.02/46.34	c (28,0) opt[161][4] = 0
214.02/46.34	c (28,0) opt[162][0] = 0
214.02/46.34	c (28,0) opt[162][1] = 0
214.02/46.34	c (28,0) opt[162][2] = 0
214.02/46.34	c (28,0) opt[162][3] = 1
214.02/46.34	c (28,0) opt[162][4] = 0
214.02/46.34	c (28,0) opt[163][0] = 0
214.02/46.34	c (28,0) opt[163][1] = 1
214.02/46.34	c (28,0) opt[163][2] = 0
214.02/46.34	c (28,0) opt[163][3] = 0
214.02/46.34	c (28,0) opt[163][4] = 0
214.02/46.34	c (28,0) opt[164][0] = 1
214.02/46.34	c (28,0) opt[164][1] = 0
214.02/46.34	c (28,0) opt[164][2] = 0
214.02/46.34	c (28,0) opt[164][3] = 1
214.02/46.34	c (28,0) opt[164][4] = 0
214.02/46.34	c (28,0) opt[165][0] = 0
214.02/46.34	c (28,0) opt[165][1] = 0
214.02/46.34	c (28,0) opt[165][2] = 1
214.02/46.34	c (28,0) opt[165][3] = 0
214.02/46.34	c (28,0) opt[165][4] = 0
214.02/46.34	c (28,0) opt[166][0] = 0
214.02/46.34	c (28,0) opt[166][1] = 1
214.02/46.34	c (28,0) opt[166][2] = 0
214.02/46.34	c (28,0) opt[166][3] = 0
214.02/46.34	c (28,0) opt[166][4] = 0
214.02/46.34	c (28,0) opt[167][0] = 1
214.02/46.34	c (28,0) opt[167][1] = 0
214.02/46.34	c (28,0) opt[167][2] = 0
214.02/46.34	c (28,0) opt[167][3] = 1
214.02/46.34	c (28,0) opt[167][4] = 1
214.02/46.34	c (28,0) opt[168][0] = 0
214.02/46.34	c (28,0) opt[168][1] = 1
214.02/46.34	c (28,0) opt[168][2] = 1
214.02/46.34	c (28,0) opt[168][3] = 0
214.02/46.34	c (28,0) opt[168][4] = 0
214.02/46.34	c (28,0) opt[169][0] = 0
214.02/46.34	c (28,0) opt[169][1] = 0
214.02/46.34	c (28,0) opt[169][2] = 0
214.02/46.34	c (28,0) opt[169][3] = 1
214.02/46.34	c (28,0) opt[169][4] = 0
214.02/46.34	c (28,0) opt[170][0] = 0
214.02/46.34	c (28,0) opt[170][1] = 1
214.02/46.34	c (28,0) opt[170][2] = 0
214.02/46.34	c (28,0) opt[170][3] = 0
214.02/46.34	c (28,0) opt[170][4] = 0
214.02/46.34	c (28,0) opt[171][0] = 0
214.02/46.34	c (28,0) opt[171][1] = 0
214.02/46.34	c (28,0) opt[171][2] = 1
214.02/46.34	c (28,0) opt[171][3] = 0
214.02/46.34	c (28,0) opt[171][4] = 0
214.02/46.34	c (28,0) opt[172][0] = 1
214.02/46.34	c (28,0) opt[172][1] = 0
214.02/46.34	c (28,0) opt[172][2] = 0
214.02/46.34	c (28,0) opt[172][3] = 0
214.02/46.34	c (28,0) opt[172][4] = 1
214.02/46.34	c (28,0) opt[173][0] = 0
214.02/46.34	c (28,0) opt[173][1] = 0
214.02/46.34	c (28,0) opt[173][2] = 0
214.02/46.34	c (28,0) opt[173][3] = 1
214.02/46.34	c (28,0) opt[173][4] = 0
214.02/46.34	c (28,0) opt[174][0] = 0
214.02/46.34	c (28,0) opt[174][1] = 0
214.02/46.34	c (28,0) opt[174][2] = 0
214.02/46.34	c (28,0) opt[174][3] = 1
214.02/46.34	c (28,0) opt[174][4] = 0
214.02/46.34	c (28,0) opt[175][0] = 0
214.02/46.34	c (28,0) opt[175][1] = 0
214.02/46.34	c (28,0) opt[175][2] = 1
214.02/46.34	c (28,0) opt[175][3] = 0
214.02/46.34	c (28,0) opt[175][4] = 0
214.02/46.34	c (28,0) opt[176][0] = 0
214.02/46.34	c (28,0) opt[176][1] = 1
214.02/46.34	c (28,0) opt[176][2] = 0
214.02/46.34	c (28,0) opt[176][3] = 0
214.02/46.34	c (28,0) opt[176][4] = 0
214.02/46.34	c (28,0) opt[177][0] = 0
214.02/46.34	c (28,0) opt[177][1] = 1
214.02/46.34	c (28,0) opt[177][2] = 0
214.02/46.34	c (28,0) opt[177][3] = 0
214.02/46.34	c (28,0) opt[177][4] = 0
214.02/46.34	c (28,0) opt[178][0] = 0
214.02/46.34	c (28,0) opt[178][1] = 0
214.02/46.34	c (28,0) opt[178][2] = 0
214.02/46.34	c (28,0) opt[178][3] = 1
214.02/46.34	c (28,0) opt[178][4] = 0
214.02/46.34	c (28,0) opt[179][0] = 0
214.02/46.34	c (28,0) opt[179][1] = 0
214.02/46.34	c (28,0) opt[179][2] = 0
214.02/46.34	c (28,0) opt[179][3] = 1
214.02/46.34	c (28,0) opt[179][4] = 0
214.02/46.34	c (28,0) opt[180][0] = 0
214.02/46.34	c (28,0) opt[180][1] = 1
214.02/46.34	c (28,0) opt[180][2] = 0
214.02/46.34	c (28,0) opt[180][3] = 0
214.02/46.34	c (28,0) opt[180][4] = 0
214.02/46.34	c (28,0) opt[181][0] = 0
214.02/46.34	c (28,0) opt[181][1] = 0
214.02/46.34	c (28,0) opt[181][2] = 1
214.02/46.34	c (28,0) opt[181][3] = 0
214.02/46.34	c (28,0) opt[181][4] = 0
214.02/46.34	c (28,0) opt[182][0] = 0
214.02/46.34	c (28,0) opt[182][1] = 1
214.02/46.34	c (28,0) opt[182][2] = 0
214.02/46.34	c (28,0) opt[182][3] = 0
214.02/46.34	c (28,0) opt[182][4] = 0
214.02/46.34	c (28,0) opt[183][0] = 0
214.02/46.34	c (28,0) opt[183][1] = 0
214.02/46.34	c (28,0) opt[183][2] = 0
214.02/46.34	c (28,0) opt[183][3] = 1
214.02/46.34	c (28,0) opt[183][4] = 0
214.02/46.34	c (28,0) opt[184][0] = 0
214.02/46.34	c (28,0) opt[184][1] = 0
214.02/46.34	c (28,0) opt[184][2] = 0
214.02/46.34	c (28,0) opt[184][3] = 1
214.02/46.34	c (28,0) opt[184][4] = 0
214.02/46.34	c (28,0) opt[185][0] = 0
214.02/46.34	c (28,0) opt[185][1] = 0
214.02/46.34	c (28,0) opt[185][2] = 1
214.02/46.34	c (28,0) opt[185][3] = 0
214.02/46.34	c (28,0) opt[185][4] = 0
214.02/46.34	c (28,0) opt[186][0] = 0
214.02/46.34	c (28,0) opt[186][1] = 1
214.02/46.34	c (28,0) opt[186][2] = 0
214.02/46.34	c (28,0) opt[186][3] = 0
214.02/46.34	c (28,0) opt[186][4] = 0
214.02/46.34	c (28,0) opt[187][0] = 0
214.02/46.34	c (28,0) opt[187][1] = 1
214.02/46.34	c (28,0) opt[187][2] = 0
214.02/46.34	c (28,0) opt[187][3] = 0
214.02/46.34	c (28,0) opt[187][4] = 0
214.02/46.34	c (28,0) opt[188][0] = 0
214.02/46.34	c (28,0) opt[188][1] = 0
214.02/46.34	c (28,0) opt[188][2] = 0
214.02/46.34	c (28,0) opt[188][3] = 1
214.02/46.34	c (28,0) opt[188][4] = 0
214.02/46.34	c (28,0) opt[189][0] = 0
214.02/46.34	c (28,0) opt[189][1] = 0
214.02/46.34	c (28,0) opt[189][2] = 0
214.02/46.34	c (28,0) opt[189][3] = 1
214.02/46.34	c (28,0) opt[189][4] = 0
214.02/46.34	c (28,0) opt[190][0] = 0
214.02/46.34	c (28,0) opt[190][1] = 1
214.02/46.34	c (28,0) opt[190][2] = 0
214.02/46.34	c (28,0) opt[190][3] = 0
214.02/46.34	c (28,0) opt[190][4] = 0
214.02/46.34	c (28,0) opt[191][0] = 0
214.02/46.34	c (28,0) opt[191][1] = 0
214.02/46.34	c (28,0) opt[191][2] = 1
214.02/46.34	c (28,0) opt[191][3] = 0
214.02/46.34	c (28,0) opt[191][4] = 0
214.02/46.34	c (28,0) opt[192][0] = 0
214.02/46.34	c (28,0) opt[192][1] = 1
214.02/46.34	c (28,0) opt[192][2] = 0
214.02/46.34	c (28,0) opt[192][3] = 0
214.02/46.34	c (28,0) opt[192][4] = 0
214.02/46.34	c (28,0) opt[193][0] = 0
214.02/46.34	c (28,0) opt[193][1] = 0
214.02/46.34	c (28,0) opt[193][2] = 0
214.02/46.34	c (28,0) opt[193][3] = 1
214.02/46.34	c (28,0) opt[193][4] = 0
214.02/46.34	c (28,0) opt[194][0] = 0
214.02/46.34	c (28,0) opt[194][1] = 1
214.02/46.34	c (28,0) opt[194][2] = 1
214.02/46.34	c (28,0) opt[194][3] = 1
214.02/46.34	c (28,0) opt[194][4] = 1
214.02/46.34	c (28,0) opt[195][0] = 0
214.02/46.34	c (28,0) opt[195][1] = 1
214.02/46.34	c (28,0) opt[195][2] = 0
214.02/46.34	c (28,0) opt[195][3] = 0
214.02/46.34	c (28,0) opt[195][4] = 0
214.02/46.34	c (28,0) opt[196][0] = 1
214.02/46.34	c (28,0) opt[196][1] = 0
214.02/46.34	c (28,0) opt[196][2] = 0
214.02/46.34	c (28,0) opt[196][3] = 0
214.02/46.34	c (28,0) opt[196][4] = 0
214.02/46.34	c (28,0) opt[197][0] = 0
214.02/46.34	c (28,0) opt[197][1] = 0
214.02/46.34	c (28,0) opt[197][2] = 1
214.02/46.34	c (28,0) opt[197][3] = 0
214.02/46.34	c (28,0) opt[197][4] = 0
214.02/46.34	c (28,0) opt[198][0] = 0
214.02/46.34	c (28,0) opt[198][1] = 0
214.02/46.34	c (28,0) opt[198][2] = 0
214.02/46.34	c (28,0) opt[198][3] = 1
214.02/46.34	c (28,0) opt[198][4] = 0
214.02/46.34	c (28,0) opt[199][0] = 0
214.02/46.34	c (28,0) opt[199][1] = 0
214.02/46.34	c (28,0) opt[199][2] = 0
214.02/46.34	c (28,0) opt[199][3] = 1
214.02/46.34	c (28,0) opt[199][4] = 0
214.02/46.34	s SATISFIABLE
214.02/46.35	v <instantiation>
214.02/46.35	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>
214.02/46.35	v     <values>23 2 14 17 2 11 4 17 11 2 17 11 0 16 11 11 9 23 2 13 11 2 9 2 16 10 11 8 9 11 23 12 23 11 9 2 17 20 11 16 11 2 11 9 2 11 9 2 15 9 6 11 2 9 11 2 9 11 11 2 9 11 2 11 3 2 11 13 11 2 11 2 11 9 2 15 2 13 11 11 17 6 20 17 16 9 23 2 8 11 9 11 2 2 16 11 11 2 23 9 1 6 11 9 11 21 2 11 14 17 19 14 8 6 11 9 11 2 13 11 2 9 11 6 17 9 11 5 9 2 11 16 2 9 2 11 17 20 11 17 2 11 9 2 11 23 7 11 2 9 23 11 2 2 9 17 11 2 9 6 11 9 2 11 8 9 11 18 14 2 11 9 1 2 2 9 11 11 2 2 11 9 11 2 2 9 11 11 2 2 11 9 11 2 22 11 17 9 2 2 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0</values>
214.02/46.35	v </instantiation>
214.02/46.35	c (28,0) Show results End
214.02/46.35	c (28,0) Heap : 263 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
214.02/46.35	c (28,0) 28,28,STOP-AFTER(ALL)
214.02/46.35	c END-Prog: Tue Sep 24 17:21:40 CEST 2019

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13385 MiB free)
  memory of node 1: 16384 MiB (11701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405492-1569338495/watcher-4405492-1569338495 -o /var/tmp/evaluation-result-4405492-1569338495/solver-4405492-1569338495 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --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-4405492-1569338495.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 threadver pid=
, stack expansion will 32184

Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 7.42 7.46 5.92 2/213 32209
/proc/meminfo: memFree=25591684/32770624 swapFree=66953492/67108860
[pid=32187] ppid=32184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32187/stat : 32187 (scop.sh) S 32184 32187 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509764255 115843072 349 33554432000 4194304 5098028 140732295016880 140732295014136 140442765914748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21458944 140732295025404 140732295025752 140732295025752 140732295028681 0
/proc/32187/statm: 28282 349 296 221 0 87 0
[pid=32190] ppid=32187 vsize=27314120 memory=108392 CPUtime=0.11 cores=0-7
/proc/32190/stat : 32190 (java) S 32187 32187 31589 0 -1 1077944320 6157 0 0 0 8 3 0 0 20 0 20 0 509764255 27969658880 27098 33554432000 4194304 4196468 140735617271424 140735617253968 140615330139895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
/proc/32190/statm: 6828530 27098 2804 1 0 6790935 0
[pid=32190/tid=32191] ppid=32187 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32190/task/32191/stat : 32191 (java) R 32187 32187 31589 0 -1 4202560 4251 0 0 0 7 2 0 0 20 0 20 0 509764255 27969658880 27098 33554432000 4194304 4196468 140735617271424 140615301966224 140615314220382 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32192] ppid=32187 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/32190/task/32192/stat : 32192 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140615334381968 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32193] ppid=32187 vsize=27314120 memory=140346632894080 CPUtime=0 cores=0-7
/proc/32190/task/32193/stat : 32193 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140615152470288 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32194] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32194/stat : 32194 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140615151418000 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32195] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32195/stat : 32195 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140615150365200 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32196] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32196/stat : 32196 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614749289360 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32197] ppid=32187 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32190/task/32197/stat : 32197 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614748236560 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32198] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32198/stat : 32198 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614747184272 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32199] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32199/stat : 32199 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614746131472 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32200] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32200/stat : 32200 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764259 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614321477744 140615330151042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32201] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32201/stat : 32201 (java) S 32187 32187 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509764260 27969658880 27098 33554432000 4194304 4196468 140735617271424 140613202731808 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32202] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32202/stat : 32202 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764260 27969658880 27098 33554432000 4194304 4196468 140735617271424 140612934296688 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32203] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32203/stat : 32203 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 27098 33554432000 4194304 4196468 140735617271424 140612559788112 140615330158491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32204] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32204/stat : 32204 (java) S 32187 32187 31589 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614320425584 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32205] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32205/stat : 32205 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614319372784 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32206] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32206/stat : 32206 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614318320496 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32207] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32207/stat : 32207 (java) S 32187 32187 31589 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614317267696 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32208] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32208/stat : 32208 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764263 27969658880 27098 33554432000 4194304 4196468 140735617271424 140612061882720 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32209] ppid=32187 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32190/task/32209/stat : 32209 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764263 27969658880 27098 33554432000 4194304 4196468 140735617271424 140614316214576 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109788 KiB

[startup+0.212798 s]*
/proc/loadavg: 7.42 7.46 5.92 2/213 32209
/proc/meminfo: memFree=25574484/32770624 swapFree=66953492/67108860
[pid=32187] ppid=32184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32187/stat : 32187 (scop.sh) S 32184 32187 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509764255 115843072 349 33554432000 4194304 5098028 140732295016880 140732295014136 140442765914748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21458944 140732295025404 140732295025752 140732295025752 140732295028681 0
/proc/32187/statm: 28282 349 296 221 0 87 0
[pid=32190] ppid=32187 vsize=27314120 memory=125160 CPUtime=0.25 cores=0-7
/proc/32190/stat : 32190 (java) S 32187 32187 31589 0 -1 1077944320 11137 0 0 0 21 4 0 0 20 0 20 0 509764255 27969658880 31290 33554432000 4194304 4196468 140735617271424 140735617253968 140615330139895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
/proc/32190/statm: 6828530 31290 2955 1 0 6790935 0
[pid=32190/tid=32191] ppid=32187 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32190/task/32191/stat : 32191 (java) R 32187 32187 31589 0 -1 4202560 8843 0 0 0 16 3 0 0 20 0 20 0 509764255 27969658880 31290 33554432000 4194304 4196468 140735617271424 140615301923456 140615311703447 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32192] ppid=32187 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/32190/task/32192/stat : 32192 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140615334381968 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32193] ppid=32187 vsize=27314120 memory=140346636680212 CPUtime=0 cores=0-7
/proc/32190/task/32193/stat : 32193 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140615152470288 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32194] ppid=32187 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32190/task/32194/stat : 32194 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140615151418000 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32195] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32195/stat : 32195 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140615150365200 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32196] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32196/stat : 32196 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614749289360 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32197] ppid=32187 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32190/task/32197/stat : 32197 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614748236560 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32198] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32198/stat : 32198 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614747184272 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32199] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32199/stat : 32199 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614746131472 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32200] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32200/stat : 32200 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764259 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614321477744 140615330151042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32201] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32201/stat : 32201 (java) S 32187 32187 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509764260 27969658880 31290 33554432000 4194304 4196468 140735617271424 140613202731808 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32202] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32202/stat : 32202 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764260 27969658880 31290 33554432000 4194304 4196468 140735617271424 140612934296688 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32203] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32203/stat : 32203 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 31290 33554432000 4194304 4196468 140735617271424 140612559788112 140615330158491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32204] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32204/stat : 32204 (java) S 32187 32187 31589 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614320425584 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32205] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32205/stat : 32205 (java) S 32187 32187 31589 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614319372784 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32206] ppid=32187 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32190/task/32206/stat : 32206 (java) S 32187 32187 31589 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614318320496 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32207] ppid=32187 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/32190/task/32207/stat : 32207 (java) S 32187 32187 31589 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 20 0 509764262 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614317267696 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32208] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32208/stat : 32208 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764263 27969658880 31290 33554432000 4194304 4196468 140735617271424 140612061882720 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32209] ppid=32187 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32190/task/32209/stat : 32209 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764263 27969658880 31290 33554432000 4194304 4196468 140735617271424 140614316214576 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126556 KiB

[startup+0.310334 s]*
/proc/loadavg: 7.42 7.46 5.92 2/213 32209
/proc/meminfo: memFree=25570824/32770624 swapFree=66953492/67108860
[pid=32187] ppid=32184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32187/stat : 32187 (scop.sh) S 32184 32187 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509764255 115843072 349 33554432000 4194304 5098028 140732295016880 140732295014136 140442765914748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21458944 140732295025404 140732295025752 140732295025752 140732295028681 0
/proc/32187/statm: 28282 349 296 221 0 87 0
[pid=32190] ppid=32187 vsize=27314120 memory=129292 CPUtime=0.42 cores=0-7
/proc/32190/stat : 32190 (java) S 32187 32187 31589 0 -1 1077944320 11740 0 0 0 37 5 0 0 20 0 20 0 509764255 27969658880 32323 33554432000 4194304 4196468 140735617271424 140735617253968 140615330139895 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
/proc/32190/statm: 6828530 32323 3023 1 0 6790935 0
[pid=32190/tid=32191] ppid=32187 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32190/task/32191/stat : 32191 (java) R 32187 32187 31589 0 -1 4202560 9229 0 0 0 26 3 0 0 20 0 20 0 509764255 27969658880 32323 33554432000 4194304 4196468 140735617271424 140615301969968 140615311703399 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32192] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32192/stat : 32192 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140615334381968 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32193] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32193/stat : 32193 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140615152470288 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32194] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32194/stat : 32194 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140615151418000 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32195] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32195/stat : 32195 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140615150365200 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32196] ppid=32187 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/32190/task/32196/stat : 32196 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614749289360 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32197] ppid=32187 vsize=27314120 memory=140346512208815 CPUtime=0 cores=0-7
/proc/32190/task/32197/stat : 32197 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614748236560 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32198] ppid=32187 vsize=27314120 memory=140346512211120 CPUtime=0 cores=0-7
/proc/32190/task/32198/stat : 32198 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614747184272 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32199] ppid=32187 vsize=27314120 memory=140346512213424 CPUtime=0 cores=0-7
/proc/32190/task/32199/stat : 32199 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764258 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614746131472 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32200] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32200/stat : 32200 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764259 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614321477744 140615330151042 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32201] ppid=32187 vsize=27314120 memory=280693024433808 CPUtime=0 cores=0-7
/proc/32190/task/32201/stat : 32201 (java) S 32187 32187 31589 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 509764260 27969658880 32323 33554432000 4194304 4196468 140735617271424 140613202731808 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32202] ppid=32187 vsize=27314120 memory=280693024440720 CPUtime=0 cores=0-7
/proc/32190/task/32202/stat : 32202 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764260 27969658880 32323 33554432000 4194304 4196468 140735617271424 140612934296688 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32203] ppid=32187 vsize=27314120 memory=280693024382000 CPUtime=0 cores=0-7
/proc/32190/task/32203/stat : 32203 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 32323 33554432000 4194304 4196468 140735617271424 140612559788112 140615330158491 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32204] ppid=32187 vsize=27314120 memory=280693024454544 CPUtime=0.01 cores=0-7
/proc/32190/task/32204/stat : 32204 (java) S 32187 32187 31589 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 509764262 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614320425584 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32205] ppid=32187 vsize=27314120 memory=280693024461456 CPUtime=0.01 cores=0-7
/proc/32190/task/32205/stat : 32205 (java) R 32187 32187 31589 0 -1 4202560 204 0 0 0 1 0 0 0 20 0 20 0 509764262 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614319372784 140615314528784 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32206] ppid=32187 vsize=27314120 memory=280693024459152 CPUtime=0 cores=0-7
/proc/32190/task/32206/stat : 32206 (java) S 32187 32187 31589 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 509764262 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614318320496 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32207] ppid=32187 vsize=27314120 memory=280693024475312 CPUtime=0.07 cores=0-7
/proc/32190/task/32207/stat : 32207 (java) S 32187 32187 31589 0 -1 1077944384 527 0 0 0 7 0 0 0 20 0 20 0 509764262 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614317267696 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32208] ppid=32187 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32208/stat : 32208 (java) S 32187 32187 31589 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 509764263 27969658880 32323 33554432000 4194304 4196468 140735617271424 140612061882720 140615330150101 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32209] ppid=32187 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/32190/task/32209/stat : 32209 (java) S 32187 32187 31589 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 509764263 27969658880 32323 33554432000 4194304 4196468 140735617271424 140614316214576 140615330151042 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 130688 KiB

[startup+0.704664 s]
/proc/loadavg: 7.42 7.46 5.92 2/213 32209
/proc/meminfo: memFree=25548004/32770624 swapFree=66953492/67108860
[pid=32187] ppid=32184 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/32187/stat : 32187 (scop.sh) S 32184 32187 31589 0 -1 4202496 555 320 0 0 0 0 0 0 20 0 1 0 509764255 115843072 349 33554432000 4194304 5098028 140732295016880 140732295014136 140442765914748 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21458944 140732295025404 140732295025752 140732295025752 140732295028681 0
/proc/32187/statm: 28282 349 296 221 0 87 0
[pid=32190] ppid=32187 vsize=27320392 memory=167416 CPUtime=1.03 cores=0-7
/proc/32190/stat : 32190 (java) S 32187 32187 31589 0 -1 1077944320 19982 0 0 0 96 7 0 0 20 0 20 0 509764255 27976081408 41854 33554432000 4194304 4196468 140735617271424 140735617253968 140615330139895 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
/proc/32190/statm: 6830098 41854 3195 1 0 6791447 0
[pid=32190/tid=32191] ppid=32187 vsize=27320392 memory=280693024833200 CPUtime=0.68 cores=0-7
/proc/32190/task/32191/stat : 32191 (java) R 32187 32187 31589 0 -1 4202560 16815 0 0 0 62 6 0 0 20 0 20 0 509764255 27976081408 41854 33554432000 4194304 4196468 140735617271424 140615301975424 140614832421542 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32192] ppid=32187 vsize=27320392 memory=140346512417648 CPUtime=0 cores=0-7
/proc/32190/task/32192/stat : 32192 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27976081408 41854 33554432000 4194304 4196468 140735617271424 140615334381968 140615330150101 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32193] ppid=32187 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/32190/task/32193/stat : 32193 (java) S 32187 32187 31589 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 509764258 27976081408 41854 33554432000 4194304 4196468 140735617271424 140615152470288 140615330150101 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8974336 140735617274566 140735617275014 140735617275014 140735617277903 0
[pid=32190/tid=32194] ppid=32187 vsize=27320392 memory=668 CPUtime=0 cores=0-7

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

/proc/32210/stat : 32210 (java) S 32187 32187 31589 0 -1 1077944320 22680 1544754 0 0 199 16 17684 303 20 0 23 0 509765965 8616062976 66144 33554432000 4194304 4196468 140724011798656 140724011781200 140039845302007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
/proc/32210/statm: 2103531 66144 3230 1 0 2064875 0
[pid=32210/tid=32211] ppid=32187 vsize=8414124 memory=6791534058613427641 CPUtime=180.77 cores=0-7
/proc/32210/task/32211/stat : 32211 (java) S 32187 32187 31589 0 -1 1077944384 17479 1544754 0 0 80 10 17684 303 20 0 23 0 509765965 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039817142176 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32212] ppid=32187 vsize=8414124 memory=4872558044660077418 CPUtime=179.87 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039849544592 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32213] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039649712912 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32214] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039648660624 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32215] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039647607824 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32216] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039646554512 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32217] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039645501712 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32218] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039644449424 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32219] ppid=32187 vsize=8414124 memory=60 CPUtime=179.87 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 23 0 509765966 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039643396624 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32220] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32187 32187 31589 0 -1 1077944384 5 1544754 0 0 0 0 17684 303 20 0 23 0 509765968 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038938499696 140039845313154 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32221] ppid=32187 vsize=8414124 memory=3 CPUtime=179.87 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32187 32187 31589 0 -1 1077944384 13 1544754 0 0 0 0 17684 303 20 0 23 0 509765968 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038348203296 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32222] ppid=32187 vsize=8414124 memory=72 CPUtime=179.87 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32187 32187 31589 0 -1 1077944384 22 1544754 0 0 0 0 17684 303 20 0 23 0 509765969 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038213981808 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32223] ppid=32187 vsize=8414124 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 23 0 509765971 8616062976 66144 33554432000 4194304 4196468 140724011798656 140037839477328 140039845320603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32224] ppid=32187 vsize=8414124 memory=0 CPUtime=180.18 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32187 32187 31589 0 -1 1077944384 1691 1544754 0 0 31 0 17684 303 20 0 23 0 509765971 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038937446512 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32225] ppid=32187 vsize=8414124 memory=0 CPUtime=180.07 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) R 32187 32187 31589 0 -1 4202560 466 1544754 0 0 20 0 17684 303 20 0 23 0 509765971 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038936393712 140039828645568 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32226] ppid=32187 vsize=8414124 memory=0 CPUtime=180.04 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) S 32187 32187 31589 0 -1 1077944384 357 1544754 0 0 17 0 17684 303 20 0 23 0 509765971 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038935341424 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32227] ppid=32187 vsize=8414124 memory=1052 CPUtime=180.16 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) S 32187 32187 31589 0 -1 1077944384 1152 1544754 0 0 29 0 17684 303 20 0 23 0 509765971 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038934288624 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32228] ppid=32187 vsize=8414124 memory=776 CPUtime=179.87 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 23 0 509765971 8616062976 66144 33554432000 4194304 4196468 140724011798656 140037341571936 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32229] ppid=32187 vsize=8414124 memory=2832 CPUtime=179.87 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 23 0 509765972 8616062976 66144 33554432000 4194304 4196468 140724011798656 140038933236528 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32231] ppid=32187 vsize=8414124 memory=668 CPUtime=179.87 cores=0-7
/proc/32210/task/32231/stat : 32231 (java) S 32187 32187 31589 0 -1 1077944384 23 1544754 0 0 0 0 17684 303 20 0 23 0 509766053 8616062976 66144 33554432000 4194304 4196468 140724011798656 140039153853456 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32233] ppid=32187 vsize=8414124 memory=1264 CPUtime=180.06 cores=0-7
/proc/32210/task/32233/stat : 32233 (java) R 32187 32187 31589 0 -1 4202560 117 1544754 0 0 16 3 17684 303 20 0 23 0 509766053 8616062976 66144 33554432000 4194304 4196468 140724011798656 140036670471552 140039304542937 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32235] ppid=32187 vsize=8414124 memory=1096 CPUtime=179.87 cores=0-7
/proc/32210/task/32235/stat : 32235 (java) S 32187 32187 31589 0 -1 1077944384 9 1544754 0 0 0 0 17684 303 20 0 23 0 509766055 8616062976 66144 33554432000 4194304 4196468 140724011798656 140036402043968 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
Current children cumulated CPU time: 213.44 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 266052 KiB

[startup+46.2009 s]
/proc/loadavg: 6.28 7.08 5.86 3/215 32245
/proc/meminfo: memFree=25397556/32770624 swapFree=66953492/67108860
[pid=32187] ppid=32184 vsize=113128 memory=1476 CPUtime=31.42 cores=0-7
/proc/32187/stat : 32187 (scop.sh) S 32184 32187 31589 0 -1 4202496 581 44202 0 0 0 0 2997 145 20 0 1 0 509764255 115843072 369 33554432000 4194304 5098028 140732295016880 140732295013624 140442765914748 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21458944 140732295025404 140732295025752 140732295025752 140732295028681 0
/proc/32187/statm: 28282 369 311 221 0 87 0
[pid=32210] ppid=32187 vsize=8283048 memory=278068 CPUtime=182.36 cores=0-7
/proc/32210/stat : 32210 (java) S 32187 32187 31589 0 -1 1077944320 22988 1544754 0 0 232 17 17684 303 20 0 22 0 509765965 8481841152 69517 33554432000 4194304 4196468 140724011798656 140724011781200 140039845302007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
/proc/32210/statm: 2070762 69517 3235 1 0 2032106 0
[pid=32210/tid=32211] ppid=32187 vsize=8283048 memory=6791534058613427641 CPUtime=180.84 cores=0-7
/proc/32210/task/32211/stat : 32211 (java) R 32187 32187 31589 0 -1 4202560 17613 1544754 0 0 87 10 17684 303 20 0 22 0 509765965 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039817139232 140039845313942 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32212] ppid=32187 vsize=8283048 memory=288230596050944315 CPUtime=179.87 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039849544592 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32213] ppid=32187 vsize=8283048 memory=14131130454511009 CPUtime=179.87 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039649712912 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32214] ppid=32187 vsize=8283048 memory=920 CPUtime=179.87 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039648660624 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32215] ppid=32187 vsize=8283048 memory=1476 CPUtime=179.87 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039647607824 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32216] ppid=32187 vsize=8283048 memory=128284 CPUtime=179.87 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039646554512 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32217] ppid=32187 vsize=8283048 memory=2210980 CPUtime=179.87 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039645501712 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32218] ppid=32187 vsize=8283048 memory=7686721470233548693 CPUtime=179.87 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039644449424 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32219] ppid=32187 vsize=8283048 memory=4872558044660077418 CPUtime=179.87 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039643396624 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32220] ppid=32187 vsize=8283048 memory=8204 CPUtime=179.87 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32187 32187 31589 0 -1 1077944384 5 1544754 0 0 0 0 17684 303 20 0 22 0 509765968 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038938499696 140039845313154 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32221] ppid=32187 vsize=8283048 memory=9580 CPUtime=179.87 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32187 32187 31589 0 -1 1077944384 13 1544754 0 0 0 0 17684 303 20 0 22 0 509765968 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038348203296 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32222] ppid=32187 vsize=8283048 memory=1052 CPUtime=179.87 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32187 32187 31589 0 -1 1077944384 22 1544754 0 0 0 0 17684 303 20 0 22 0 509765969 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038213981808 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32223] ppid=32187 vsize=8283048 memory=776 CPUtime=179.87 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765971 8481841152 69517 33554432000 4194304 4196468 140724011798656 140037839477328 140039845320603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32224] ppid=32187 vsize=8283048 memory=2832 CPUtime=180.21 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) S 32187 32187 31589 0 -1 1077944384 1705 1544754 0 0 34 0 17684 303 20 0 22 0 509765971 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038937446512 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32225] ppid=32187 vsize=8283048 memory=14008 CPUtime=180.11 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) R 32187 32187 31589 0 -1 1077944384 480 1544754 0 0 24 0 17684 303 20 0 22 0 509765971 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038936393712 140039845313154 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32226] ppid=32187 vsize=8283048 memory=35388 CPUtime=180.08 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) S 32187 32187 31589 0 -1 1077944384 370 1544754 0 0 21 0 17684 303 20 0 22 0 509765971 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038935341424 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32227] ppid=32187 vsize=8283048 memory=14056 CPUtime=180.21 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) R 32187 32187 31589 0 -1 4202560 1268 1544754 0 0 34 0 17684 303 20 0 22 0 509765971 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038934288624 140039845323354 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32228] ppid=32187 vsize=8283048 memory=2116 CPUtime=179.87 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 22 0 509765971 8481841152 69517 33554432000 4194304 4196468 140724011798656 140037341571936 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32229] ppid=32187 vsize=8283048 memory=520 CPUtime=179.87 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 22 0 509765972 8481841152 69517 33554432000 4194304 4196468 140724011798656 140038933236528 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32231] ppid=32187 vsize=8283048 memory=1560 CPUtime=179.87 cores=0-7
/proc/32210/task/32231/stat : 32231 (java) S 32187 32187 31589 0 -1 1077944384 23 1544754 0 0 0 0 17684 303 20 0 22 0 509766053 8481841152 69517 33554432000 4194304 4196468 140724011798656 140039153853456 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32235] ppid=32187 vsize=8283048 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32235/stat : 32235 (java) S 32187 32187 31589 0 -1 1077944384 14 1544754 0 0 0 0 17684 303 20 0 22 0 509766055 8481841152 69517 33554432000 4194304 4196468 140724011798656 140036402046000 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
Current children cumulated CPU time: 213.78 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 279544 KiB

[startup+46.3018 s]
/proc/loadavg: 6.28 7.08 5.86 3/215 32245
/proc/meminfo: memFree=25397556/32770624 swapFree=66953492/67108860
[pid=32187] ppid=32184 vsize=113128 memory=1476 CPUtime=31.42 cores=0-7
/proc/32187/stat : 32187 (scop.sh) S 32184 32187 31589 0 -1 4202496 581 44202 0 0 0 0 2997 145 20 0 1 0 509764255 115843072 369 33554432000 4194304 5098028 140732295016880 140732295013624 140442765914748 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 21458944 140732295025404 140732295025752 140732295025752 140732295028681 0
/proc/32187/statm: 28282 369 311 221 0 87 0
[pid=32210] ppid=32187 vsize=8283048 memory=285380 CPUtime=182.6 cores=0-7
/proc/32210/stat : 32210 (java) S 32187 32187 31589 0 -1 1077944320 23809 1544754 0 0 256 17 17684 303 20 0 22 0 509765965 8481841152 71345 33554432000 4194304 4196468 140724011798656 140724011781200 140039845302007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
/proc/32210/statm: 2070762 71345 3239 1 0 2032106 0
[pid=32210/tid=32211] ppid=32187 vsize=8283048 memory=1476 CPUtime=180.94 cores=0-7
/proc/32210/task/32211/stat : 32211 (java) R 32187 32187 31589 0 -1 4202560 17723 1544754 0 0 97 10 17684 303 20 0 22 0 509765965 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039817139312 140039837591527 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32212] ppid=32187 vsize=8283048 memory=1476 CPUtime=179.87 cores=0-7
/proc/32210/task/32212/stat : 32212 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039849544592 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32213] ppid=32187 vsize=8283048 memory=33 CPUtime=179.87 cores=0-7
/proc/32210/task/32213/stat : 32213 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039649712912 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32214] ppid=32187 vsize=8283048 memory=128284 CPUtime=179.87 cores=0-7
/proc/32210/task/32214/stat : 32214 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039648660624 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32215] ppid=32187 vsize=8283048 memory=280693025901760 CPUtime=179.87 cores=0-7
/proc/32210/task/32215/stat : 32215 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039647607824 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32216] ppid=32187 vsize=8283048 memory=7301290834168538211 CPUtime=179.87 cores=0-7
/proc/32210/task/32216/stat : 32216 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039646554512 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32217] ppid=32187 vsize=8283048 memory=5864903209887552619 CPUtime=179.87 cores=0-7
/proc/32210/task/32217/stat : 32217 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039645501712 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32218] ppid=32187 vsize=8283048 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32218/stat : 32218 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039644449424 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32219] ppid=32187 vsize=8283048 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32219/stat : 32219 (java) S 32187 32187 31589 0 -1 1077944384 2 1544754 0 0 0 0 17684 303 20 0 22 0 509765966 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039643396624 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32220] ppid=32187 vsize=8283048 memory=0 CPUtime=179.87 cores=0-7
/proc/32210/task/32220/stat : 32220 (java) S 32187 32187 31589 0 -1 1077944384 5 1544754 0 0 0 0 17684 303 20 0 22 0 509765968 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038938499696 140039845313154 0 0 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32221] ppid=32187 vsize=8283048 memory=920 CPUtime=179.87 cores=0-7
/proc/32210/task/32221/stat : 32221 (java) S 32187 32187 31589 0 -1 1077944384 13 1544754 0 0 0 0 17684 303 20 0 22 0 509765968 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038348203296 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32222] ppid=32187 vsize=8283048 memory=4736 CPUtime=179.87 cores=0-7
/proc/32210/task/32222/stat : 32222 (java) S 32187 32187 31589 0 -1 1077944384 22 1544754 0 0 0 0 17684 303 20 0 22 0 509765969 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038213981808 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32223] ppid=32187 vsize=8283048 memory=1412 CPUtime=179.87 cores=0-7
/proc/32210/task/32223/stat : 32223 (java) S 32187 32187 31589 0 -1 1077944384 1 1544754 0 0 0 0 17684 303 20 0 22 0 509765971 8481841152 71345 33554432000 4194304 4196468 140724011798656 140037839477328 140039845320603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32224] ppid=32187 vsize=8283048 memory=0 CPUtime=180.24 cores=0-7
/proc/32210/task/32224/stat : 32224 (java) R 32187 32187 31589 0 -1 4202560 1938 1544754 0 0 37 0 17684 303 20 0 22 0 509765971 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038937434152 140039838407724 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32225] ppid=32187 vsize=8283048 memory=7685278000761183872 CPUtime=180.14 cores=0-7
/proc/32210/task/32225/stat : 32225 (java) R 32187 32187 31589 0 -1 4202560 628 1544754 0 0 27 0 17684 303 20 0 22 0 509765971 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038936374616 140039830207504 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32226] ppid=32187 vsize=8283048 memory=1476 CPUtime=180.1 cores=0-7
/proc/32210/task/32226/stat : 32226 (java) R 32187 32187 31589 0 -1 4202560 553 1544754 0 0 23 0 17684 303 20 0 22 0 509765971 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038935341424 140039845323354 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32227] ppid=32187 vsize=8283048 memory=0 CPUtime=180.26 cores=0-7
/proc/32210/task/32227/stat : 32227 (java) S 32187 32187 31589 0 -1 1077944384 1421 1544754 0 0 39 0 17684 303 20 0 22 0 509765971 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038934288624 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32228] ppid=32187 vsize=8283048 memory=6872598998417432672 CPUtime=179.87 cores=0-7
/proc/32210/task/32228/stat : 32228 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 22 0 509765971 8481841152 71345 33554432000 4194304 4196468 140724011798656 140037341571936 140039845312213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32229] ppid=32187 vsize=8283048 memory=6872598998417432672 CPUtime=179.87 cores=0-7
/proc/32210/task/32229/stat : 32229 (java) S 32187 32187 31589 0 -1 1077944384 3 1544754 0 0 0 0 17684 303 20 0 22 0 509765972 8481841152 71345 33554432000 4194304 4196468 140724011798656 140038933236528 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32231] ppid=32187 vsize=8283048 memory=1476 CPUtime=179.87 cores=0-7
/proc/32210/task/32231/stat : 32231 (java) S 32187 32187 31589 0 -1 1077944384 23 1544754 0 0 0 0 17684 303 20 0 22 0 509766053 8481841152 71345 33554432000 4194304 4196468 140724011798656 140039153853456 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
[pid=32210/tid=32235] ppid=32187 vsize=8283048 memory=128284 CPUtime=179.87 cores=0-7
/proc/32210/task/32235/stat : 32235 (java) S 32187 32187 31589 0 -1 1077944384 14 1544754 0 0 0 0 17684 303 20 0 22 0 509766055 8481841152 71345 33554432000 4194304 4196468 140724011798656 140036402046000 140039845313154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7282688 140724011803615 140724011803782 140724011803782 140724011806671 0
Current children cumulated CPU time: 214.02 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 286856 KiB

Child status: 0
Real time (s): 46.3792
CPU time (s): 214.34
CPU user time (s): 209.64
CPU system time (s): 4.6995
CPU usage (%): 462.146
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6022748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.64
system time used= 4.6995
maximum resident set size= 6021688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1615636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 90424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50481
involuntary context switches= 1695


# summary of solver processes directly reported to runsolver:
#   pid: 32187
#   total CPU time (s): 214.34
#   total CPU user time (s): 209.64
#   total CPU system time (s): 4.6995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.391793 second user time and 0.609992 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-24 17:20:54
IDJOB=4405492
IDBENCH=128111
IDSOLVER=2868
FILE ID=node119/4405492-1569338495
RUNJOBID= node119-1569335938-31616
PBS_JOBID= 21705065
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-03.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 /var/tmp/evaluation-result-4405492-1569338495/watcher-4405492-1569338495 -o /var/tmp/evaluation-result-4405492-1569338495/solver-4405492-1569338495 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569335938-31616 --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-4405492-1569338495.xml

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

MD5SUM BENCH= 20e15596ff36696b27df04e6639fd466
RANDOM SEED=693132921

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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:        25688732 kB
MemAvailable:   31798500 kB
Buffers:          123348 kB
Cached:          6085520 kB
SwapCached:        46744 kB
Active:          3086664 kB
Inactive:        3174268 kB
Active(anon):       4932 kB
Inactive(anon):   104076 kB
Active(file):    3081732 kB
Inactive(file):  3070192 kB
Unevictable:      107592 kB
Mlocked:          107592 kB
SwapTotal:      67108860 kB
SwapFree:       66953492 kB
Dirty:             20252 kB
Writeback:             0 kB
AnonPages:        149620 kB
Mapped:            57036 kB
Shmem:             48536 kB
Slab:             414884 kB
SReclaimable:     386304 kB
SUnreclaim:        28580 kB
KernelStack:        3824 kB
PageTables:         6188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node119 at 2019-09-24 17:21:40