Trace number 4405461

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 117.837 34.4229

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-65-10.xml
MD5SUMc4baa3ff261117e16f7eeec964fc150b
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 benchmark1.89381
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1395
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree68
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":19},"...",{"degree":44,"count":9}, {"degree":45,"count":83}, {"degree":46,"count":5}, {"degree":47,"count":5}, {"degree":48,"count":5}, {"degree":49,"count":5}, {"degree":50,"count":5}, {"degree":51,"count":5}, {"degree":52,"count":5}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":3}, {"degree":68,"count":71}]
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":50,"count":1},{"arity":53,"count":1},{"arity":56,"count":1},{"arity":59,"count":1},{"arity":62,"count":1},{"arity":65,"count":1},{"arity":68,"count":1},{"arity":71,"count":1},{"arity":72,"count":1},{"arity":74,"count":2},{"arity":75,"count":1},{"arity":76,"count":1},{"arity":77,"count":1},{"arity":78,"count":1},{"arity":80,"count":4},{"arity":82,"count":1},{"arity":83,"count":2},{"arity":84,"count":1},{"arity":85,"count":2},{"arity":86,"count":3},{"arity":88,"count":1},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1194},{"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-9680-serial-file.bin HOME/instance-4405461-1569338442.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.56	c BEGIN-Prog: Tue Sep 24 17:20:02 CEST 2019
0.65/0.56	c PID: 9683
0.65/0.56	c IP: 172.20.3.151
0.65/0.56	c HOST: node151.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.03/1.38	c (0,0) Parsing End
3.03/1.39	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1395 ctr, max domain size 25
3.03/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.03/1.39	c (0,0) Constraint Name Generate Begin
3.37/1.42	c (0,0) Ctr:HOME/instance-4405461-1569338442.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.37/1.42	c (0,0) Constraint Name Generate End
3.37/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.37/1.42	c (0,0) CSP to CSPinCNF Begin
12.05/4.70	c (4,4) translated 140 (10%) constraints
12.73/5.30	c (4,4) translated 279 (20%) constraints
12.73/5.32	c (4,4) translated 419 (30%) constraints
12.73/5.34	c (4,4) translated 558 (40%) constraints
12.73/5.37	c (4,4) translated 698 (50%) constraints
12.73/5.38	c (4,4) translated 837 (60%) constraints
12.73/5.40	c (4,4) translated 977 (70%) constraints
13.13/5.42	c (4,4) translated 1116 (80%) constraints
14.92/6.79	c (6,6) translated 1256 (90%) constraints
16.74/8.55	c (8,7) translated 1395 (100%) constraints
16.74/8.57	c (8,8) ===========================================
16.87/8.62	c (8,8) Hybrid: #OE=10800, #LE=6000
16.87/8.62	c (8,8) Hybrid
16.87/8.62	c (8,8) ===========================================
18.14/9.20	c (8,8) translated 5802 (10%) constraints
18.43/9.46	c (8,8) translated 11604 (20%) constraints
18.93/9.60	c (9,9) translated 17406 (30%) constraints
19.02/9.73	c (9,9) translated 23208 (40%) constraints
19.12/9.86	c (9,9) translated 29010 (50%) constraints
19.22/10.00	c (9,9) translated 34812 (60%) constraints
19.44/10.13	c (9,9) translated 40614 (70%) constraints
19.52/10.26	c (9,9) translated 46416 (80%) constraints
19.63/10.39	c (9,9) translated 52218 (90%) constraints
20.95/11.56	c (11,11) translated 58019 (100%) constraints
20.95/11.57	c (11,11) CSP to CSPinCNF End
20.95/11.58	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 68044 ctr, max domain size 25
20.95/11.58	c (11,11) Heap : 4392 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
20.95/11.58	c (11,11) CSPinCNF Propagation Begin
22.22/12.25	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
22.22/12.25	c (11,11) CSPinCNF Propagation End
22.22/12.26	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67644 ctr, max domain size 25
22.22/12.26	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
22.47/12.31	c (11,11) Hybrid: #OE=15800, #LE=6000
22.47/12.31	c (11,11) Simplify CSPinCNF Begin
22.91/12.51	c (11,11) Simplify CSPinCNF End
22.91/12.51	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67644 ctr, max domain size 25
22.91/12.51	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.91/12.51	c (11,11) Calculate Precise Domain Begin
22.91/12.51	c (11,11) 0 values are removed by re-calculation
22.91/12.51	c (11,11) Calculate Precise Domain End
22.91/12.51	c (11,11) CSP: 200 int (0 aux), 21600 bool (20600 aux), 67644 ctr, max domain size 25
22.91/12.51	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
22.91/12.51	c (11,11) CSPinCNF to SatSolver Begin
25.36/13.45	c (12,12) 6765 (10 %) CSP clauses are encoded (0 SAT variables, 218564 SAT clauses)
26.15/13.60	c (13,13) 13529 (20 %) CSP clauses are encoded (0 SAT variables, 225328 SAT clauses)
26.15/13.69	c (13,13) 20294 (30 %) CSP clauses are encoded (0 SAT variables, 232093 SAT clauses)
26.76/13.80	c (13,13) 27058 (40 %) CSP clauses are encoded (0 SAT variables, 238857 SAT clauses)
26.76/13.89	c (13,13) 33822 (50 %) CSP clauses are encoded (0 SAT variables, 245621 SAT clauses)
26.87/13.97	c (13,13) 40587 (60 %) CSP clauses are encoded (0 SAT variables, 252386 SAT clauses)
26.98/14.05	c (13,13) 47351 (70 %) CSP clauses are encoded (0 SAT variables, 259150 SAT clauses)
27.08/14.13	c (13,13) 54116 (80 %) CSP clauses are encoded (0 SAT variables, 265915 SAT clauses)
27.17/14.22	c (13,13) 60880 (90 %) CSP clauses are encoded (0 SAT variables, 272679 SAT clauses)
32.02/17.96	c (17,17) 67644 (100 %) CSP clauses are encoded (0 SAT variables, 2353328 SAT clauses)
32.02/17.99	c (17,17) CSPinCNF to SatSolver End
32.02/17.99	c (17,17) Heap : 3651 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
32.02/17.99	c (17,17) 809545 bool, 2369205 clause
32.02/17.99	c (17,17) Export Begin
32.37/18.20	c (17,17) Export to HOME/scop-9680-serial-file.bin
32.37/18.20	c (17,17) Export End
32.61/18.20	c (17,17) Export File Size: 0.47 MB
32.61/18.20	c (17,17) 0,0,11,11,11,11,17,STOP-AFTER(DIMACS)
32.61/18.20	c END-Prog: Tue Sep 24 17:20:20 CEST 2019
32.61/18.25	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-9680-serial-file.bin
32.66/18.70	c (0,0) Read Serial File Begin
32.66/18.70	c (0,0) HOME/scop-9680-serial-file.bin
33.89/19.07	c (0,0) Read Serial File End
33.89/19.08	
33.89/19.08	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
33.89/19.08	(Solving Process)
33.89/19.08	
33.89/19.10	c BEGIN-Prog: Tue Sep 24 17:20:21 CEST 2019
33.89/19.10	c PID: 9705
33.89/19.10	c IP: 172.20.3.151
33.89/19.10	c HOST: node151.alineos.net
34.18/19.11	c (0,0) SatSolver.solve Begin
34.18/19.11	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405461-1569338442.xml-scop-9683.cnf
34.18/19.13	c (0,0) c
34.18/19.13	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
34.18/19.13	c (0,0) c
34.18/19.13	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
34.18/19.13	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
34.18/19.13	c (0,0) c ========================================[ Problem Statistics ]===========================================
34.18/19.13	c (0,0) c |                                                                                                       |
35.41/20.17	c (1,0) c |  Number of variables:        809545                                                                   |
35.41/20.17	c (1,0) c |  Number of clauses:         2368369                                                                   |
35.41/20.17	c (1,0) c |  Parse time:                   0.92 s                                                                 |
35.41/20.17	c (1,0) c |                                                                                                       |
37.11/21.81	c (3,0) c |  Simplification time:          1.58 s                                                                 |
37.11/21.81	c (3,0) c |                                                                                                       |
37.11/21.81	c (3,0) c |  Generating clones                                                                                    |
38.21/22.98	c (4,0) c |  all clones generated. Memory =  2159.05Mb.                                                           |
38.21/22.98	c (4,0) c ========================================================================================================|
38.21/22.98	c (4,0) c
38.21/22.98	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
38.21/22.98	c (4,0) c
38.21/22.98	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.21/22.98	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
38.21/22.98	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
38.21/22.98	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
38.21/22.98	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
38.21/22.98	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
38.21/22.98	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
38.21/22.98	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
38.21/22.98	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
38.21/22.98	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
38.21/22.98	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
38.21/22.98	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
38.21/22.98	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
38.21/22.98	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
38.21/22.98	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
38.21/22.98	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
38.21/22.98	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
38.21/22.98	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
38.21/22.98	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.71	c (15,0) c
116.25/33.72	c (15,0) c real time : 14.5843 s
116.25/33.72	c (15,0) c cpu time  : 79.1259 s
116.25/33.72	c (15,0) c
116.25/33.72	c (15,0) c
116.25/33.72	c (15,0) c
116.25/33.72	c (15,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
116.25/33.72	c (15,0) c
116.25/33.72	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.72	c (15,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
116.25/33.72	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.72	c (15,0) c | Conflicts     |          166440 |      12244 |      21553 |      15046 |      21297 |      13418 |      16296 |      26481 |      40105 |
116.25/33.72	c (15,0) c | Decisions     |         6917102 |    1142195 |     296673 |    1134114 |     827703 |     789360 |     860699 |    1119266 |     747092 |
116.25/33.72	c (15,0) c | Propagations  |       252814316 |   30047385 |   29868559 |   30784438 |   33090790 |   32053356 |   29991102 |   31788344 |   35190342 |
116.25/33.72	c (15,0) c | ReduceDBs     |              25 |          2 |          3 |          3 |          3 |          2 |          3 |          4 |          5 |
116.25/33.72	c (15,0) c | SimpDBs       |              23 |          3 |          2 |          3 |          2 |          3 |          3 |          2 |          5 |
116.25/33.72	c (15,0) c | Restarts      |             302 |         17 |         31 |         32 |         48 |         57 |         39 |         24 |         54 |
116.25/33.72	c (15,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
116.25/33.72	c (15,0) c | PropBinClauses|        58013686 |    5808730 |    7351744 |    6364521 |    7930174 |    7284164 |    6321303 |    7633752 |    9319298 |
116.25/33.72	c (15,0) c | PropPreBlocker|       583940314 |   72951218 |   69127961 |   70437784 |   77221134 |   70849280 |   67389602 |   74507792 |   81455543 |
116.25/33.72	c (15,0) c | PropNotBlocker|       287697593 |   33859847 |   34619089 |   34919910 |   38213765 |   36085825 |   33625101 |   35113298 |   41260758 |
116.25/33.72	c (15,0) c | LitFullScans  |      1346983405 |  161229492 |  156020499 |  161223402 |  170528645 |  164759292 |  156050298 |  167065241 |  210106536 |
116.25/33.72	c (15,0) c | LitScanFracts |          384753 |      44649 |       9582 |      49838 |      11405 |      23869 |      41722 |     109329 |      94359 |
116.25/33.72	c (15,0) c | DecisionLevel0|             311 |         18 |         31 |         33 |         48 |         58 |         40 |         25 |         58 |
116.25/33.72	c (15,0) c | Periods       |             221 |         26 |         26 |         26 |         28 |         27 |         26 |         27 |         35 |
116.25/33.72	c (15,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
116.25/33.72	c (15,0) c | Avg_Trail     |                 |      49235 |      38095 |      30094 |      21875 |      29571 |      46140 |      39677 |      34894 |
116.25/33.72	c (15,0) c | Avg_DL        |                 |       2992 |        307 |        645 |        433 |        882 |        587 |        596 |        379 |
116.25/33.72	c (15,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
116.25/33.72	c (15,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
116.25/33.72	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.72	c (15,0) c | Exported      |           37612 |       1940 |       5390 |       3247 |       4781 |       3257 |       3264 |       6466 |       9267 |
116.25/33.72	c (15,0) c | Imported      |           18436 |        431 |        386 |        290 |       2784 |       2883 |        397 |       2885 |       8380 |
116.25/33.72	c (15,0) c | Good          |            2808 |        183 |        160 |        130 |        329 |        368 |        151 |        368 |       1119 |
116.25/33.72	c (15,0) c | Purge         |           15628 |        248 |        226 |        160 |       2455 |       2515 |        246 |       2517 |       7261 |
116.25/33.72	c (15,0) c | Promoted      |              32 |          0 |          2 |          0 |          0 |          0 |          0 |          3 |         27 |
116.25/33.72	c (15,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
116.25/33.72	c (15,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
116.25/33.72	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.72	c (15,0) c | Unaries       |                 |          1 |          0 |          1 |          0 |          1 |          1 |          1 |          4 |
116.25/33.72	c (15,0) c | Binaries      |                 |        210 |        188 |        437 |        489 |        572 |        186 |        192 |        362 |
116.25/33.72	c (15,0) c | Glues         |                 |        399 |        847 |        887 |       1214 |       1201 |        691 |        881 |       1782 |
116.25/33.72	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.72	c (15,0) c | Orig_Seen     |             2 % |      39952 |      36102 |      61321 |      58548 |      54984 |      48981 |      38895 |      38957 |
116.25/33.72	c (15,0) c | Diff Orig seen|                 | -    21369 | -    25219 |      X     | -     2773 | -     6337 | -    12340 | -    22426 | -    22364 |
116.25/33.72	c (15,0) c | Hamming       |            24 % |     216562 |     171283 |      X     |     192810 |     210737 |     161167 |     205753 |     203511 |
116.25/33.72	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.72	c (15,0) c | RunningTime   |                 |   10.7 100%|   10.2 100%|    9.6 100%|    9.6 100%|    9.6 100%|    9.9 100%|    9.7 100%|    9.8 100%|
116.25/33.72	c (15,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
116.25/33.72	c (15,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%|
116.25/33.72	c (15,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%|
116.25/33.72	c (15,0) c | SolvingTime   |                 |   10.7     |   10.2     |    9.6     |    9.7     |    9.6     |    9.9     |    9.7     |    9.8     |
116.25/33.72	c (15,0) c | PropagationTim|                 |    9.5  89%|    8.9  88%|    8.3  86%|    8.3  86%|    8.3  87%|    8.6  87%|    8.3  85%|    8.2  84%|
116.25/33.72	c (15,0) c | AnalysisTime  |                 |    0.2   2%|    0.4   4%|    0.3   3%|    0.3   3%|    0.2   3%|    0.3   3%|    0.5   5%|    0.5   5%|
116.25/33.72	c (15,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%|
116.25/33.72	c (15,0) c | SimplifyTime  |                 |    0.1   1%|    0.0   0%|    0.1   1%|    0.0   0%|    0.1   1%|    0.1   1%|    0.0   0%|    0.2   2%|
116.25/33.72	c (15,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%|
116.25/33.72	c (15,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%|
116.25/33.72	c (15,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.72	c (15,0) c
116.25/33.72	c (15,0) c
116.25/33.72	c (15,0) c Threads : 8
116.25/33.72	c (15,0) c Winner : 2
116.25/33.72	c (15,0) c Conflicts_0 : 12244
116.25/33.72	c (15,0) c Conflicts_1 : 21553
116.25/33.72	c (15,0) c Conflicts_2 : 15046
116.25/33.72	c (15,0) c Conflicts_3 : 21297
116.25/33.72	c (15,0) c Conflicts_4 : 13418
116.25/33.72	c (15,0) c Conflicts_5 : 16296
116.25/33.72	c (15,0) c Conflicts_6 : 26481
116.25/33.72	c (15,0) c Conflicts_7 : 40105
116.25/33.72	c (15,0) c Conflicts_total : 166440
116.25/33.72	c (15,0) c Conflicts_winner : 15046
116.25/33.72	c (15,0) c Decisions_0 : 1142195
116.25/33.72	c (15,0) c Decisions_1 : 296673
116.25/33.72	c (15,0) c Decisions_2 : 1134114
116.25/33.72	c (15,0) c Decisions_3 : 827703
116.25/33.72	c (15,0) c Decisions_4 : 789360
116.25/33.72	c (15,0) c Decisions_5 : 860699
116.25/33.72	c (15,0) c Decisions_6 : 1119266
116.25/33.72	c (15,0) c Decisions_7 : 747092
116.25/33.72	c (15,0) c Decisions_total : 6917102
116.25/33.72	c (15,0) c Decisions_winner : 1134114
116.25/33.72	c (15,0) c Propagations_0 : 30047385
116.25/33.72	c (15,0) c Propagations_1 : 29868559
116.25/33.72	c (15,0) c Propagations_2 : 30784438
116.25/33.72	c (15,0) c Propagations_3 : 33090790
116.25/33.72	c (15,0) c Propagations_4 : 32053356
116.25/33.72	c (15,0) c Propagations_5 : 29991102
116.25/33.72	c (15,0) c Propagations_6 : 31788344
116.25/33.72	c (15,0) c Propagations_7 : 35190342
116.25/33.72	c (15,0) c Propagations_total : 252814316
116.25/33.72	c (15,0) c Propagations_winner : 30784438
116.25/33.72	c (15,0) c ReduceDBs_0 : 2
116.25/33.72	c (15,0) c ReduceDBs_1 : 3
116.25/33.72	c (15,0) c ReduceDBs_2 : 3
116.25/33.72	c (15,0) c ReduceDBs_3 : 3
116.25/33.72	c (15,0) c ReduceDBs_4 : 2
116.25/33.72	c (15,0) c ReduceDBs_5 : 3
116.25/33.72	c (15,0) c ReduceDBs_6 : 4
116.25/33.72	c (15,0) c ReduceDBs_7 : 5
116.25/33.72	c (15,0) c ReduceDBs_total : 25
116.25/33.72	c (15,0) c ReduceDBs_winner : 3
116.25/33.72	c (15,0) c SimpDBs_0 : 3
116.25/33.72	c (15,0) c SimpDBs_1 : 2
116.25/33.72	c (15,0) c SimpDBs_2 : 3
116.25/33.72	c (15,0) c SimpDBs_3 : 2
116.25/33.72	c (15,0) c SimpDBs_4 : 3
116.25/33.72	c (15,0) c SimpDBs_5 : 3
116.25/33.72	c (15,0) c SimpDBs_6 : 2
116.25/33.72	c (15,0) c SimpDBs_7 : 5
116.25/33.72	c (15,0) c SimpDBs_total : 23
116.25/33.72	c (15,0) c SimpDBs_winner : 3
116.25/33.72	c (15,0) c Restarts_0 : 17
116.25/33.72	c (15,0) c Restarts_1 : 31
116.25/33.72	c (15,0) c Restarts_2 : 32
116.25/33.72	c (15,0) c Restarts_3 : 48
116.25/33.72	c (15,0) c Restarts_4 : 57
116.25/33.72	c (15,0) c Restarts_5 : 39
116.25/33.72	c (15,0) c Restarts_6 : 24
116.25/33.72	c (15,0) c Restarts_7 : 54
116.25/33.72	c (15,0) c Restarts_total : 302
116.25/33.72	c (15,0) c Restarts_winner : 32
116.25/33.72	c (15,0) c ForcedImports_0 : 0
116.25/33.72	c (15,0) c ForcedImports_1 : 0
116.25/33.72	c (15,0) c ForcedImports_2 : 0
116.25/33.72	c (15,0) c ForcedImports_3 : 0
116.25/33.72	c (15,0) c ForcedImports_4 : 0
116.25/33.72	c (15,0) c ForcedImports_5 : 0
116.25/33.72	c (15,0) c ForcedImports_6 : 0
116.25/33.72	c (15,0) c ForcedImports_7 : 0
116.25/33.72	c (15,0) c ForcedImports_total : 0
116.25/33.72	c (15,0) c ForcedImports_winner : 0
116.25/33.72	c (15,0) c PropsBinClauses_0 : 5808730
116.25/33.72	c (15,0) c PropsBinClauses_1 : 7351744
116.25/33.72	c (15,0) c PropsBinClauses_2 : 6364521
116.25/33.72	c (15,0) c PropsBinClauses_3 : 7930174
116.25/33.72	c (15,0) c PropsBinClauses_4 : 7284164
116.25/33.72	c (15,0) c PropsBinClauses_5 : 6321303
116.25/33.72	c (15,0) c PropsBinClauses_6 : 7633752
116.25/33.72	c (15,0) c PropsBinClauses_7 : 9319298
116.25/33.72	c (15,0) c PropsBinClauses_total : 58013686
116.25/33.72	c (15,0) c PropsBinClauses_winner : 6364521
116.25/33.72	c (15,0) c PropsPreBlocker_0 : 72951218
116.25/33.72	c (15,0) c PropsPreBlocker_1 : 69127961
116.25/33.72	c (15,0) c PropsPreBlocker_2 : 70437784
116.25/33.72	c (15,0) c PropsPreBlocker_3 : 77221134
116.25/33.72	c (15,0) c PropsPreBlocker_4 : 70849280
116.25/33.72	c (15,0) c PropsPreBlocker_5 : 67389602
116.25/33.72	c (15,0) c PropsPreBlocker_6 : 74507792
116.25/33.72	c (15,0) c PropsPreBlocker_7 : 81455543
116.25/33.72	c (15,0) c PropsPreBlocker_total : 583940314
116.25/33.72	c (15,0) c PropsPreBlocker_winner : 70437784
116.25/33.72	c (15,0) c PropsNotBlocker_0 : 33859847
116.25/33.72	c (15,0) c PropsNotBlocker_1 : 34619089
116.25/33.72	c (15,0) c PropsNotBlocker_2 : 34919910
116.25/33.72	c (15,0) c PropsNotBlocker_3 : 38213765
116.25/33.72	c (15,0) c PropsNotBlocker_4 : 36085825
116.25/33.72	c (15,0) c PropsNotBlocker_5 : 33625101
116.25/33.72	c (15,0) c PropsNotBlocker_6 : 35113298
116.25/33.72	c (15,0) c PropsNotBlocker_7 : 41260758
116.25/33.72	c (15,0) c PropsNotBlocker_total : 287697593
116.25/33.72	c (15,0) c PropsNotBlocker_winner : 34919910
116.25/33.72	c (15,0) c PropsLitFullScans_0 : 161229492
116.25/33.72	c (15,0) c PropsLitFullScans_1 : 156020499
116.25/33.72	c (15,0) c PropsLitFullScans_2 : 161223402
116.25/33.72	c (15,0) c PropsLitFullScans_3 : 170528645
116.25/33.72	c (15,0) c PropsLitFullScans_4 : 164759292
116.25/33.72	c (15,0) c PropsLitFullScans_5 : 156050298
116.25/33.72	c (15,0) c PropsLitFullScans_6 : 167065241
116.25/33.72	c (15,0) c PropsLitFullScans_7 : 210106536
116.25/33.72	c (15,0) c PropsLitFullScans_total : 1346983405
116.25/33.72	c (15,0) c PropsLitFullScans_winner : 161223402
116.25/33.72	c (15,0) c LitScanFractions_0 : 44649
116.25/33.72	c (15,0) c LitScanFractions_1 : 9582
116.25/33.72	c (15,0) c LitScanFractions_2 : 49838
116.25/33.72	c (15,0) c LitScanFractions_3 : 11405
116.25/33.72	c (15,0) c LitScanFractions_4 : 23869
116.25/33.72	c (15,0) c LitScanFractions_5 : 41722
116.25/33.72	c (15,0) c LitScanFractions_6 : 109329
116.25/33.72	c (15,0) c LitScanFractions_7 : 94359
116.25/33.72	c (15,0) c LitScanFractions_total : 384753
116.25/33.72	c (15,0) c LitScanFractions_winner : 49838
116.25/33.72	c (15,0) c DecisionLevel0_0 : 18
116.25/33.72	c (15,0) c DecisionLevel0_1 : 31
116.25/33.72	c (15,0) c DecisionLevel0_2 : 33
116.25/33.72	c (15,0) c DecisionLevel0_3 : 48
116.25/33.72	c (15,0) c DecisionLevel0_4 : 58
116.25/33.72	c (15,0) c DecisionLevel0_5 : 40
116.25/33.72	c (15,0) c DecisionLevel0_6 : 25
116.25/33.72	c (15,0) c DecisionLevel0_7 : 58
116.25/33.72	c (15,0) c DecisionLevel0_total : 311
116.25/33.72	c (15,0) c DecisionLevel0_winner : 33
116.25/33.72	c (15,0) c Periods_0 : 26
116.25/33.72	c (15,0) c Periods_1 : 26
116.25/33.72	c (15,0) c Periods_2 : 26
116.25/33.72	c (15,0) c Periods_3 : 28
116.25/33.72	c (15,0) c Periods_4 : 27
116.25/33.72	c (15,0) c Periods_5 : 26
116.25/33.72	c (15,0) c Periods_6 : 27
116.25/33.72	c (15,0) c Periods_7 : 35
116.25/33.72	c (15,0) c Periods_total : 221
116.25/33.72	c (15,0) c Periods_winner : 26
116.25/33.72	c (15,0) c Margin_0 : 20
116.25/33.72	c (15,0) c Margin_1 : 20
116.25/33.72	c (15,0) c Margin_2 : 20
116.25/33.72	c (15,0) c Margin_3 : 20
116.25/33.72	c (15,0) c Margin_4 : 20
116.25/33.73	c (15,0) c Margin_5 : 20
116.25/33.73	c (15,0) c Margin_6 : 20
116.25/33.73	c (15,0) c Margin_7 : 20
116.25/33.73	c (15,0) c Margin_total : 160
116.25/33.73	c (15,0) c Margin_winner : 20
116.25/33.73	c (15,0) c Exported_0 : 1940
116.25/33.73	c (15,0) c Exported_1 : 5390
116.25/33.73	c (15,0) c Exported_2 : 3247
116.25/33.73	c (15,0) c Exported_3 : 4781
116.25/33.73	c (15,0) c Exported_4 : 3257
116.25/33.73	c (15,0) c Exported_5 : 3264
116.25/33.73	c (15,0) c Exported_6 : 6466
116.25/33.73	c (15,0) c Exported_7 : 9267
116.25/33.73	c (15,0) c Exported_total : 37612
116.25/33.73	c (15,0) c Exported_winner : 3247
116.25/33.73	c (15,0) c Imported_0 : 431
116.25/33.73	c (15,0) c Imported_1 : 386
116.25/33.73	c (15,0) c Imported_2 : 290
116.25/33.73	c (15,0) c Imported_3 : 2784
116.25/33.73	c (15,0) c Imported_4 : 2883
116.25/33.73	c (15,0) c Imported_5 : 397
116.25/33.73	c (15,0) c Imported_6 : 2885
116.25/33.73	c (15,0) c Imported_7 : 8380
116.25/33.73	c (15,0) c Imported_total : 18436
116.25/33.73	c (15,0) c Imported_winner : 290
116.25/33.73	c (15,0) c Good_0 : 183
116.25/33.73	c (15,0) c Good_1 : 160
116.25/33.73	c (15,0) c Good_2 : 130
116.25/33.73	c (15,0) c Good_3 : 329
116.25/33.73	c (15,0) c Good_4 : 368
116.25/33.73	c (15,0) c Good_5 : 151
116.25/33.73	c (15,0) c Good_6 : 368
116.25/33.73	c (15,0) c Good_7 : 1119
116.25/33.73	c (15,0) c Good_total : 2808
116.25/33.73	c (15,0) c Good_winner : 130
116.25/33.73	c (15,0) c Purge_0 : 248
116.25/33.73	c (15,0) c Purge_1 : 226
116.25/33.73	c (15,0) c Purge_2 : 160
116.25/33.73	c (15,0) c Purge_3 : 2455
116.25/33.73	c (15,0) c Purge_4 : 2515
116.25/33.73	c (15,0) c Purge_5 : 246
116.25/33.73	c (15,0) c Purge_6 : 2517
116.25/33.73	c (15,0) c Purge_7 : 7261
116.25/33.73	c (15,0) c Purge_total : 15628
116.25/33.73	c (15,0) c Purge_winner : 160
116.25/33.73	c (15,0) c Promoted_0 : 0
116.25/33.73	c (15,0) c Promoted_1 : 2
116.25/33.73	c (15,0) c Promoted_2 : 0
116.25/33.73	c (15,0) c Promoted_3 : 0
116.25/33.73	c (15,0) c Promoted_4 : 0
116.25/33.73	c (15,0) c Promoted_5 : 0
116.25/33.73	c (15,0) c Promoted_6 : 3
116.25/33.73	c (15,0) c Promoted_7 : 27
116.25/33.73	c (15,0) c Promoted_total : 32
116.25/33.73	c (15,0) c Promoted_winner : 0
116.25/33.73	c (15,0) c Remove_Imp_0 : 0
116.25/33.73	c (15,0) c Remove_Imp_1 : 0
116.25/33.73	c (15,0) c Remove_Imp_2 : 0
116.25/33.73	c (15,0) c Remove_Imp_3 : 0
116.25/33.73	c (15,0) c Remove_Imp_4 : 0
116.25/33.73	c (15,0) c Remove_Imp_5 : 0
116.25/33.73	c (15,0) c Remove_Imp_6 : 0
116.25/33.73	c (15,0) c Remove_Imp_7 : 0
116.25/33.73	c (15,0) c Remove_Imp_total : 0
116.25/33.73	c (15,0) c Remove_Imp_winner : 0
116.25/33.73	c (15,0) c Blocked_Reuse_0 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_1 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_2 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_3 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_4 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_5 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_6 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_7 : 0
116.25/33.73	c (15,0) c Blocked_Reuse_total : 0
116.25/33.73	c (15,0) c Blocked_Reuse_winner : 0
116.25/33.73	c (15,0) c Unaries_0 : 1
116.25/33.73	c (15,0) c Unaries_1 : 0
116.25/33.73	c (15,0) c Unaries_2 : 1
116.25/33.73	c (15,0) c Unaries_3 : 0
116.25/33.73	c (15,0) c Unaries_4 : 1
116.25/33.73	c (15,0) c Unaries_5 : 1
116.25/33.73	c (15,0) c Unaries_6 : 1
116.25/33.73	c (15,0) c Unaries_7 : 4
116.25/33.73	c (15,0) c Unaries_total : 9
116.25/33.73	c (15,0) c Unaries_winner : 1
116.25/33.73	c (15,0) c Binaries_0 : 210
116.25/33.73	c (15,0) c Binaries_1 : 188
116.25/33.73	c (15,0) c Binaries_2 : 437
116.25/33.73	c (15,0) c Binaries_3 : 489
116.25/33.73	c (15,0) c Binaries_4 : 572
116.25/33.73	c (15,0) c Binaries_5 : 186
116.25/33.73	c (15,0) c Binaries_6 : 192
116.25/33.73	c (15,0) c Binaries_7 : 362
116.25/33.73	c (15,0) c Binaries_total : 2636
116.25/33.73	c (15,0) c Binaries_winner : 437
116.25/33.73	c (15,0) c Glues_0 : 399
116.25/33.73	c (15,0) c Glues_1 : 847
116.25/33.73	c (15,0) c Glues_2 : 887
116.25/33.73	c (15,0) c Glues_3 : 1214
116.25/33.73	c (15,0) c Glues_4 : 1201
116.25/33.73	c (15,0) c Glues_5 : 691
116.25/33.73	c (15,0) c Glues_6 : 881
116.25/33.73	c (15,0) c Glues_7 : 1782
116.25/33.73	c (15,0) c Glues_total : 7902
116.25/33.73	c (15,0) c Glues_winner : 887
116.25/33.73	c (15,0) c RunningTime_0 : 10.701705
116.25/33.73	c (15,0) c RunningTime_1 : 10.200420
116.25/33.73	c (15,0) c RunningTime_2 : 9.618807
116.25/33.73	c (15,0) c RunningTime_3 : 9.646497
116.25/33.73	c (15,0) c RunningTime_4 : 9.623826
116.25/33.73	c (15,0) c RunningTime_5 : 9.900820
116.25/33.73	c (15,0) c RunningTime_6 : 9.673467
116.25/33.73	c (15,0) c RunningTime_7 : 9.790002
116.25/33.73	c (15,0) c RunningTime_total : 79.155543
116.25/33.73	c (15,0) c RunningTime_winner : 9.618807
116.25/33.73	c (15,0) c WaitingTime_0 : 0.000014
116.25/33.73	c (15,0) c WaitingTime_1 : 0.000011
116.25/33.73	c (15,0) c WaitingTime_2 : 0.000009
116.25/33.73	c (15,0) c WaitingTime_3 : 0.000026
116.25/33.73	c (15,0) c WaitingTime_4 : 0.000010
116.25/33.73	c (15,0) c WaitingTime_5 : 0.000008
116.25/33.73	c (15,0) c WaitingTime_6 : 0.000013
116.25/33.73	c (15,0) c WaitingTime_7 : 0.000062
116.25/33.73	c (15,0) c WaitingTime_total : 0.000153
116.25/33.73	c (15,0) c WaitingTime_winner : 0.000009
116.25/33.73	c (15,0) c ExchangingTime_0 : 0.002126
116.25/33.73	c (15,0) c ExchangingTime_1 : 0.002988
116.25/33.73	c (15,0) c ExchangingTime_2 : 0.004930
116.25/33.73	c (15,0) c ExchangingTime_3 : 0.004324
116.25/33.73	c (15,0) c ExchangingTime_4 : 0.004336
116.25/33.73	c (15,0) c ExchangingTime_5 : 0.003456
116.25/33.73	c (15,0) c ExchangingTime_6 : 0.004301
116.25/33.73	c (15,0) c ExchangingTime_7 : 0.008963
116.25/33.73	c (15,0) c ExchangingTime_total : 0.035426
116.25/33.73	c (15,0) c ExchangingTime_winner : 0.004930
116.25/33.73	c (15,0) c PeriodProcTime_0 : 0.000354
116.25/33.73	c (15,0) c PeriodProcTime_1 : 0.000806
116.25/33.73	c (15,0) c PeriodProcTime_2 : 0.000255
116.25/33.73	c (15,0) c PeriodProcTime_3 : 0.000957
116.25/33.73	c (15,0) c PeriodProcTime_4 : 0.000478
116.25/33.73	c (15,0) c PeriodProcTime_5 : 0.000344
116.25/33.73	c (15,0) c PeriodProcTime_6 : 0.000286
116.25/33.73	c (15,0) c PeriodProcTime_7 : 0.000440
116.25/33.73	c (15,0) c PeriodProcTime_total : 0.003920
116.25/33.73	c (15,0) c PeriodProcTime_winner : 0.000255
116.25/33.73	c (15,0) c SolvingTime_0 : 10.704198
116.25/33.73	c (15,0) c SolvingTime_1 : 10.204225
116.25/33.73	c (15,0) c SolvingTime_2 : 9.624002
116.25/33.73	c (15,0) c SolvingTime_3 : 9.651805
116.25/33.73	c (15,0) c SolvingTime_4 : 9.628651
116.25/33.73	c (15,0) c SolvingTime_5 : 9.904628
116.25/33.73	c (15,0) c SolvingTime_6 : 9.678067
116.25/33.73	c (15,0) c SolvingTime_7 : 9.799466
116.25/33.73	c (15,0) c SolvingTime_total : 79.195043
116.25/33.73	c (15,0) c SolvingTime_winner : 9.624002
116.25/33.73	c (15,0) c PropagationTime_0 : 9.486580
116.25/33.73	c (15,0) c PropagationTime_1 : 8.936244
116.25/33.73	c (15,0) c PropagationTime_2 : 8.273534
116.25/33.73	c (15,0) c PropagationTime_3 : 8.304863
116.25/33.73	c (15,0) c PropagationTime_4 : 8.340185
116.25/33.73	c (15,0) c PropagationTime_5 : 8.575203
116.25/33.73	c (15,0) c PropagationTime_6 : 8.253627
116.25/33.73	c (15,0) c PropagationTime_7 : 8.226835
116.25/33.73	c (15,0) c PropagationTime_total : 68.397071
116.25/33.73	c (15,0) c PropagationTime_winner : 8.273534
116.25/33.73	c (15,0) c AnalysisTime_0 : 0.222825
116.25/33.73	c (15,0) c AnalysisTime_1 : 0.380380
116.25/33.73	c (15,0) c AnalysisTime_2 : 0.291091
116.25/33.73	c (15,0) c AnalysisTime_3 : 0.305972
116.25/33.73	c (15,0) c AnalysisTime_4 : 0.248109
116.25/33.73	c (15,0) c AnalysisTime_5 : 0.322395
116.25/33.73	c (15,0) c AnalysisTime_6 : 0.474060
116.25/33.73	c (15,0) c AnalysisTime_7 : 0.532949
116.25/33.73	c (15,0) c AnalysisTime_total : 2.777781
116.25/33.73	c (15,0) c AnalysisTime_winner : 0.291091
116.25/33.73	c (15,0) c ReductionTime_0 : 0.001471
116.25/33.73	c (15,0) c ReductionTime_1 : 0.003701
116.25/33.73	c (15,0) c ReductionTime_2 : 0.003604
116.25/33.73	c (15,0) c ReductionTime_3 : 0.004128
116.25/33.73	c (15,0) c ReductionTime_4 : 0.001549
116.25/33.73	c (15,0) c ReductionTime_5 : 0.004121
116.25/33.73	c (15,0) c ReductionTime_6 : 0.006976
116.25/33.73	c (15,0) c ReductionTime_7 : 0.011508
116.25/33.73	c (15,0) c ReductionTime_total : 0.037058
116.25/33.73	c (15,0) c ReductionTime_winner : 0.003604
116.25/33.73	c (15,0) c SimplifyTime_0 : 0.101244
116.25/33.73	c (15,0) c SimplifyTime_1 : 0.041325
116.25/33.73	c (15,0) c SimplifyTime_2 : 0.099901
116.25/33.73	c (15,0) c SimplifyTime_3 : 0.046803
116.25/33.73	c (15,0) c SimplifyTime_4 : 0.098278
116.25/33.73	c (15,0) c SimplifyTime_5 : 0.112794
116.25/33.73	c (15,0) c SimplifyTime_6 : 0.047948
116.25/33.73	c (15,0) c SimplifyTime_7 : 0.194609
116.25/33.73	c (15,0) c SimplifyTime_total : 0.742901
116.25/33.73	c (15,0) c SimplifyTime_winner : 0.099901
116.25/33.73	c (15,0) c UsedRateTime_0 : 0.000000
116.25/33.73	c (15,0) c UsedRateTime_1 : 0.000000
116.25/33.73	c (15,0) c UsedRateTime_2 : 0.000000
116.25/33.73	c (15,0) c UsedRateTime_3 : 0.000000
116.25/33.73	c (15,0) c UsedRateTime_4 : 0.000000
116.25/33.73	c (15,0) c UsedRateTime_5 : 0.000000
116.25/33.73	c (15,0) c UsedRateTime_6 : 0.000000
116.25/33.73	c (15,0) c UsedRateTime_7 : 0.000000
116.25/33.74	c (15,0) c UsedRateTime_total : 0.000000
116.25/33.74	c (15,0) c UsedRateTime_winner : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_0 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_1 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_2 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_3 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_4 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_5 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_6 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_7 : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_total : 0.000000
116.25/33.74	c (15,0) c OverlapRateTime_winner : 0.000000
116.25/33.74	c (15,0) c
116.25/33.74	c (15,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
116.25/33.74	c (15,0) c
116.25/33.74	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.74	c (15,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
116.25/33.74	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.74	c (15,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
116.25/33.74	c (15,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
116.25/33.74	c (15,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
116.25/33.74	c (15,0) c | Initial random_seed   | 1663513081 |  303346633 | 1788424985 |  153333004 |  980089643 |  752974659 | 1519860240 | 1283589563 |
116.25/33.74	c (15,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
116.25/33.74	c (15,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
116.25/33.74	c (15,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
116.25/33.74	c (15,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
116.25/33.74	c (15,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
116.25/33.74	c (15,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
116.25/33.74	c (15,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
116.25/33.74	c (15,0) c | var_decay             |     0.8200 |     0.8400 |     0.8300 |     0.8400 |     0.8200 |     0.8300 |     0.8500 |     0.8800 |
116.25/33.74	c (15,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
116.25/33.74	c (15,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
116.25/33.74	c (15,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
116.25/33.74	c (15,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
116.25/33.74	c (15,0) 
116.25/33.74	c (15,0) s SATISFIABLE
117.07/34.18	c (15,0) SatSolver.solve End
117.07/34.18	c (15,0) Heap : 291 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
117.07/34.18	c (15,0) Show results Begin
117.42/34.37	c (15,0) cls[0] = 3
117.42/34.37	c (15,0) cls[1] = 13
117.42/34.37	c (15,0) cls[2] = 16
117.42/34.37	c (15,0) cls[3] = 16
117.42/34.37	c (15,0) cls[4] = 14
117.42/34.37	c (15,0) cls[5] = 22
117.42/34.37	c (15,0) cls[6] = 14
117.42/34.37	c (15,0) cls[7] = 4
117.42/34.37	c (15,0) cls[8] = 11
117.42/34.37	c (15,0) cls[9] = 4
117.42/34.37	c (15,0) cls[10] = 6
117.42/34.37	c (15,0) cls[11] = 2
117.42/34.37	c (15,0) cls[12] = 4
117.42/34.37	c (15,0) cls[13] = 13
117.42/34.37	c (15,0) cls[14] = 4
117.42/34.37	c (15,0) cls[15] = 13
117.42/34.37	c (15,0) cls[16] = 4
117.42/34.37	c (15,0) cls[17] = 12
117.42/34.37	c (15,0) cls[18] = 7
117.42/34.37	c (15,0) cls[19] = 4
117.42/34.37	c (15,0) cls[20] = 13
117.42/34.37	c (15,0) cls[21] = 4
117.42/34.37	c (15,0) cls[22] = 4
117.42/34.37	c (15,0) cls[23] = 18
117.42/34.37	c (15,0) cls[24] = 4
117.42/34.37	c (15,0) cls[25] = 4
117.42/34.37	c (15,0) cls[26] = 13
117.42/34.37	c (15,0) cls[27] = 19
117.42/34.37	c (15,0) cls[28] = 14
117.42/34.37	c (15,0) cls[29] = 4
117.42/34.37	c (15,0) cls[30] = 15
117.42/34.37	c (15,0) cls[31] = 13
117.42/34.37	c (15,0) cls[32] = 16
117.42/34.37	c (15,0) cls[33] = 16
117.42/34.37	c (15,0) cls[34] = 13
117.42/34.37	c (15,0) cls[35] = 4
117.42/34.37	c (15,0) cls[36] = 4
117.42/34.37	c (15,0) cls[37] = 16
117.42/34.37	c (15,0) cls[38] = 4
117.42/34.37	c (15,0) cls[39] = 5
117.42/34.37	c (15,0) cls[40] = 13
117.42/34.37	c (15,0) cls[41] = 15
117.42/34.37	c (15,0) cls[42] = 14
117.42/34.37	c (15,0) cls[43] = 4
117.42/34.37	c (15,0) cls[44] = 13
117.42/34.37	c (15,0) cls[45] = 4
117.42/34.37	c (15,0) cls[46] = 17
117.42/34.37	c (15,0) cls[47] = 6
117.42/34.37	c (15,0) cls[48] = 21
117.42/34.37	c (15,0) cls[49] = 11
117.42/34.37	c (15,0) cls[50] = 4
117.42/34.37	c (15,0) cls[51] = 14
117.42/34.37	c (15,0) cls[52] = 15
117.42/34.37	c (15,0) cls[53] = 13
117.42/34.37	c (15,0) cls[54] = 4
117.42/34.37	c (15,0) cls[55] = 16
117.42/34.37	c (15,0) cls[56] = 15
117.42/34.37	c (15,0) cls[57] = 14
117.42/34.37	c (15,0) cls[58] = 4
117.42/34.37	c (15,0) cls[59] = 8
117.42/34.37	c (15,0) cls[60] = 4
117.42/34.37	c (15,0) cls[61] = 4
117.42/34.37	c (15,0) cls[62] = 13
117.42/34.37	c (15,0) cls[63] = 16
117.42/34.37	c (15,0) cls[64] = 15
117.42/34.37	c (15,0) cls[65] = 21
117.42/34.37	c (15,0) cls[66] = 5
117.42/34.37	c (15,0) cls[67] = 13
117.42/34.37	c (15,0) cls[68] = 19
117.42/34.37	c (15,0) cls[69] = 4
117.42/34.37	c (15,0) cls[70] = 13
117.42/34.37	c (15,0) cls[71] = 15
117.42/34.37	c (15,0) cls[72] = 16
117.42/34.37	c (15,0) cls[73] = 20
117.42/34.37	c (15,0) cls[74] = 4
117.42/34.37	c (15,0) cls[75] = 13
117.42/34.37	c (15,0) cls[76] = 5
117.42/34.37	c (15,0) cls[77] = 13
117.42/34.37	c (15,0) cls[78] = 4
117.42/34.37	c (15,0) cls[79] = 15
117.42/34.37	c (15,0) cls[80] = 14
117.42/34.37	c (15,0) cls[81] = 4
117.42/34.37	c (15,0) cls[82] = 13
117.42/34.37	c (15,0) cls[83] = 4
117.42/34.37	c (15,0) cls[84] = 7
117.42/34.37	c (15,0) cls[85] = 4
117.42/34.37	c (15,0) cls[86] = 8
117.42/34.37	c (15,0) cls[87] = 4
117.42/34.37	c (15,0) cls[88] = 15
117.42/34.37	c (15,0) cls[89] = 14
117.42/34.37	c (15,0) cls[90] = 21
117.42/34.37	c (15,0) cls[91] = 13
117.42/34.37	c (15,0) cls[92] = 4
117.42/34.37	c (15,0) cls[93] = 1
117.42/34.37	c (15,0) cls[94] = 16
117.42/34.37	c (15,0) cls[95] = 14
117.42/34.37	c (15,0) cls[96] = 4
117.42/34.37	c (15,0) cls[97] = 16
117.42/34.37	c (15,0) cls[98] = 14
117.42/34.37	c (15,0) cls[99] = 4
117.42/34.37	c (15,0) cls[100] = 15
117.42/34.37	c (15,0) cls[101] = 6
117.42/34.37	c (15,0) cls[102] = 4
117.42/34.37	c (15,0) cls[103] = 21
117.42/34.37	c (15,0) cls[104] = 13
117.42/34.37	c (15,0) cls[105] = 4
117.42/34.37	c (15,0) cls[106] = 16
117.42/34.37	c (15,0) cls[107] = 24
117.42/34.37	c (15,0) cls[108] = 4
117.42/34.37	c (15,0) cls[109] = 16
117.42/34.37	c (15,0) cls[110] = 24
117.42/34.37	c (15,0) cls[111] = 23
117.42/34.37	c (15,0) cls[112] = 16
117.42/34.37	c (15,0) cls[113] = 4
117.42/34.37	c (15,0) cls[114] = 7
117.42/34.37	c (15,0) cls[115] = 4
117.42/34.37	c (15,0) cls[116] = 14
117.42/34.37	c (15,0) cls[117] = 19
117.42/34.37	c (15,0) cls[118] = 13
117.42/34.37	c (15,0) cls[119] = 4
117.42/34.37	c (15,0) cls[120] = 23
117.42/34.37	c (15,0) cls[121] = 4
117.42/34.37	c (15,0) cls[122] = 7
117.42/34.37	c (15,0) cls[123] = 4
117.42/34.37	c (15,0) cls[124] = 13
117.42/34.37	c (15,0) cls[125] = 19
117.42/34.37	c (15,0) cls[126] = 4
117.42/34.37	c (15,0) cls[127] = 4
117.42/34.37	c (15,0) cls[128] = 13
117.42/34.37	c (15,0) cls[129] = 4
117.42/34.37	c (15,0) cls[130] = 16
117.42/34.37	c (15,0) cls[131] = 20
117.42/34.37	c (15,0) cls[132] = 15
117.42/34.37	c (15,0) cls[133] = 4
117.42/34.37	c (15,0) cls[134] = 13
117.42/34.37	c (15,0) cls[135] = 17
117.42/34.37	c (15,0) cls[136] = 23
117.42/34.37	c (15,0) cls[137] = 4
117.42/34.37	c (15,0) cls[138] = 17
117.42/34.37	c (15,0) cls[139] = 16
117.42/34.37	c (15,0) cls[140] = 16
117.42/34.37	c (15,0) cls[141] = 4
117.42/34.37	c (15,0) cls[142] = 23
117.42/34.37	c (15,0) cls[143] = 4
117.42/34.37	c (15,0) cls[144] = 20
117.42/34.37	c (15,0) cls[145] = 15
117.42/34.37	c (15,0) cls[146] = 4
117.42/34.37	c (15,0) cls[147] = 13
117.42/34.37	c (15,0) cls[148] = 4
117.42/34.37	c (15,0) cls[149] = 13
117.42/34.37	c (15,0) cls[150] = 0
117.42/34.37	c (15,0) cls[151] = 14
117.42/34.37	c (15,0) cls[152] = 4
117.42/34.37	c (15,0) cls[153] = 16
117.42/34.37	c (15,0) cls[154] = 4
117.42/34.38	c (15,0) cls[155] = 4
117.42/34.38	c (15,0) cls[156] = 15
117.42/34.38	c (15,0) cls[157] = 10
117.42/34.38	c (15,0) cls[158] = 5
117.42/34.38	c (15,0) cls[159] = 16
117.42/34.38	c (15,0) cls[160] = 4
117.42/34.38	c (15,0) cls[161] = 11
117.42/34.38	c (15,0) cls[162] = 4
117.42/34.38	c (15,0) cls[163] = 14
117.42/34.38	c (15,0) cls[164] = 15
117.42/34.38	c (15,0) cls[165] = 16
117.42/34.38	c (15,0) cls[166] = 4
117.42/34.38	c (15,0) cls[167] = 3
117.42/34.38	c (15,0) cls[168] = 16
117.42/34.38	c (15,0) cls[169] = 14
117.42/34.38	c (15,0) cls[170] = 16
117.42/34.38	c (15,0) cls[171] = 4
117.42/34.38	c (15,0) cls[172] = 23
117.42/34.38	c (15,0) cls[173] = 14
117.42/34.38	c (15,0) cls[174] = 4
117.42/34.38	c (15,0) cls[175] = 13
117.42/34.38	c (15,0) cls[176] = 15
117.42/34.38	c (15,0) cls[177] = 4
117.42/34.38	c (15,0) cls[178] = 23
117.42/34.38	c (15,0) cls[179] = 20
117.42/34.38	c (15,0) cls[180] = 4
117.42/34.38	c (15,0) cls[181] = 16
117.42/34.38	c (15,0) cls[182] = 17
117.42/34.38	c (15,0) cls[183] = 4
117.42/34.38	c (15,0) cls[184] = 8
117.42/34.38	c (15,0) cls[185] = 16
117.42/34.38	c (15,0) cls[186] = 9
117.42/34.38	c (15,0) cls[187] = 4
117.42/34.38	c (15,0) cls[188] = 16
117.42/34.38	c (15,0) cls[189] = 11
117.42/34.38	c (15,0) cls[190] = 4
117.42/34.38	c (15,0) cls[191] = 14
117.42/34.38	c (15,0) cls[192] = 6
117.42/34.38	c (15,0) cls[193] = 9
117.42/34.38	c (15,0) cls[194] = 4
117.42/34.38	c (15,0) cls[195] = 13
117.42/34.38	c (15,0) cls[196] = 4
117.42/34.38	c (15,0) cls[197] = 4
117.42/34.38	c (15,0) cls[198] = 7
117.42/34.38	c (15,0) cls[199] = 16
117.42/34.38	c (15,0) opt[0][0] = 0
117.42/34.38	c (15,0) opt[0][1] = 1
117.42/34.38	c (15,0) opt[0][2] = 1
117.42/34.38	c (15,0) opt[0][3] = 0
117.42/34.38	c (15,0) opt[0][4] = 1
117.42/34.38	c (15,0) opt[1][0] = 1
117.42/34.38	c (15,0) opt[1][1] = 0
117.42/34.38	c (15,0) opt[1][2] = 0
117.42/34.38	c (15,0) opt[1][3] = 0
117.42/34.38	c (15,0) opt[1][4] = 0
117.42/34.38	c (15,0) opt[2][0] = 0
117.42/34.38	c (15,0) opt[2][1] = 0
117.42/34.38	c (15,0) opt[2][2] = 0
117.42/34.38	c (15,0) opt[2][3] = 1
117.42/34.38	c (15,0) opt[2][4] = 0
117.42/34.38	c (15,0) opt[3][0] = 0
117.42/34.38	c (15,0) opt[3][1] = 0
117.42/34.38	c (15,0) opt[3][2] = 0
117.42/34.38	c (15,0) opt[3][3] = 1
117.42/34.38	c (15,0) opt[3][4] = 0
117.42/34.38	c (15,0) opt[4][0] = 1
117.42/34.38	c (15,0) opt[4][1] = 1
117.42/34.38	c (15,0) opt[4][2] = 0
117.42/34.38	c (15,0) opt[4][3] = 0
117.42/34.38	c (15,0) opt[4][4] = 0
117.42/34.38	c (15,0) opt[5][0] = 0
117.42/34.38	c (15,0) opt[5][1] = 0
117.42/34.38	c (15,0) opt[5][2] = 1
117.42/34.38	c (15,0) opt[5][3] = 0
117.42/34.38	c (15,0) opt[5][4] = 1
117.42/34.38	c (15,0) opt[6][0] = 1
117.42/34.38	c (15,0) opt[6][1] = 1
117.42/34.38	c (15,0) opt[6][2] = 0
117.42/34.38	c (15,0) opt[6][3] = 0
117.42/34.38	c (15,0) opt[6][4] = 0
117.42/34.38	c (15,0) opt[7][0] = 0
117.42/34.38	c (15,0) opt[7][1] = 1
117.42/34.38	c (15,0) opt[7][2] = 0
117.42/34.38	c (15,0) opt[7][3] = 0
117.42/34.38	c (15,0) opt[7][4] = 0
117.42/34.38	c (15,0) opt[8][0] = 1
117.42/34.38	c (15,0) opt[8][1] = 0
117.42/34.38	c (15,0) opt[8][2] = 1
117.42/34.38	c (15,0) opt[8][3] = 0
117.42/34.38	c (15,0) opt[8][4] = 0
117.42/34.38	c (15,0) opt[9][0] = 0
117.42/34.38	c (15,0) opt[9][1] = 1
117.42/34.38	c (15,0) opt[9][2] = 0
117.42/34.38	c (15,0) opt[9][3] = 0
117.42/34.38	c (15,0) opt[9][4] = 0
117.42/34.38	c (15,0) opt[10][0] = 0
117.42/34.38	c (15,0) opt[10][1] = 0
117.42/34.38	c (15,0) opt[10][2] = 0
117.42/34.38	c (15,0) opt[10][3] = 1
117.42/34.38	c (15,0) opt[10][4] = 1
117.42/34.38	c (15,0) opt[11][0] = 0
117.42/34.38	c (15,0) opt[11][1] = 1
117.42/34.38	c (15,0) opt[11][2] = 1
117.42/34.38	c (15,0) opt[11][3] = 1
117.42/34.38	c (15,0) opt[11][4] = 0
117.42/34.38	c (15,0) opt[12][0] = 0
117.42/34.38	c (15,0) opt[12][1] = 1
117.42/34.38	c (15,0) opt[12][2] = 0
117.42/34.38	c (15,0) opt[12][3] = 0
117.42/34.38	c (15,0) opt[12][4] = 0
117.42/34.38	c (15,0) opt[13][0] = 1
117.42/34.38	c (15,0) opt[13][1] = 0
117.42/34.38	c (15,0) opt[13][2] = 0
117.42/34.38	c (15,0) opt[13][3] = 0
117.42/34.38	c (15,0) opt[13][4] = 0
117.42/34.38	c (15,0) opt[14][0] = 0
117.42/34.38	c (15,0) opt[14][1] = 1
117.42/34.38	c (15,0) opt[14][2] = 0
117.42/34.38	c (15,0) opt[14][3] = 0
117.42/34.38	c (15,0) opt[14][4] = 0
117.42/34.38	c (15,0) opt[15][0] = 1
117.42/34.38	c (15,0) opt[15][1] = 0
117.42/34.38	c (15,0) opt[15][2] = 0
117.42/34.38	c (15,0) opt[15][3] = 0
117.42/34.38	c (15,0) opt[15][4] = 0
117.42/34.38	c (15,0) opt[16][0] = 0
117.42/34.38	c (15,0) opt[16][1] = 1
117.42/34.38	c (15,0) opt[16][2] = 0
117.42/34.38	c (15,0) opt[16][3] = 0
117.42/34.38	c (15,0) opt[16][4] = 0
117.42/34.38	c (15,0) opt[17][0] = 0
117.42/34.38	c (15,0) opt[17][1] = 1
117.42/34.38	c (15,0) opt[17][2] = 0
117.42/34.38	c (15,0) opt[17][3] = 1
117.42/34.38	c (15,0) opt[17][4] = 1
117.42/34.38	c (15,0) opt[18][0] = 1
117.42/34.38	c (15,0) opt[18][1] = 0
117.42/34.38	c (15,0) opt[18][2] = 1
117.42/34.38	c (15,0) opt[18][3] = 1
117.42/34.38	c (15,0) opt[18][4] = 0
117.42/34.38	c (15,0) opt[19][0] = 0
117.42/34.38	c (15,0) opt[19][1] = 1
117.42/34.38	c (15,0) opt[19][2] = 0
117.42/34.38	c (15,0) opt[19][3] = 0
117.42/34.38	c (15,0) opt[19][4] = 0
117.42/34.38	c (15,0) opt[20][0] = 1
117.42/34.38	c (15,0) opt[20][1] = 0
117.42/34.38	c (15,0) opt[20][2] = 0
117.42/34.38	c (15,0) opt[20][3] = 0
117.42/34.38	c (15,0) opt[20][4] = 0
117.42/34.38	c (15,0) opt[21][0] = 0
117.42/34.38	c (15,0) opt[21][1] = 1
117.42/34.38	c (15,0) opt[21][2] = 0
117.42/34.38	c (15,0) opt[21][3] = 0
117.42/34.38	c (15,0) opt[21][4] = 0
117.42/34.38	c (15,0) opt[22][0] = 0
117.42/34.38	c (15,0) opt[22][1] = 1
117.42/34.38	c (15,0) opt[22][2] = 0
117.42/34.38	c (15,0) opt[22][3] = 0
117.42/34.38	c (15,0) opt[22][4] = 0
117.42/34.38	c (15,0) opt[23][0] = 1
117.42/34.38	c (15,0) opt[23][1] = 0
117.42/34.38	c (15,0) opt[23][2] = 0
117.42/34.38	c (15,0) opt[23][3] = 1
117.42/34.38	c (15,0) opt[23][4] = 1
117.42/34.38	c (15,0) opt[24][0] = 0
117.42/34.38	c (15,0) opt[24][1] = 1
117.42/34.38	c (15,0) opt[24][2] = 0
117.42/34.38	c (15,0) opt[24][3] = 0
117.42/34.38	c (15,0) opt[24][4] = 0
117.42/34.38	c (15,0) opt[25][0] = 0
117.42/34.38	c (15,0) opt[25][1] = 1
117.42/34.38	c (15,0) opt[25][2] = 0
117.42/34.38	c (15,0) opt[25][3] = 0
117.42/34.38	c (15,0) opt[25][4] = 0
117.42/34.38	c (15,0) opt[26][0] = 1
117.42/34.38	c (15,0) opt[26][1] = 0
117.42/34.38	c (15,0) opt[26][2] = 0
117.42/34.38	c (15,0) opt[26][3] = 0
117.42/34.38	c (15,0) opt[26][4] = 0
117.42/34.38	c (15,0) opt[27][0] = 0
117.42/34.38	c (15,0) opt[27][1] = 0
117.42/34.38	c (15,0) opt[27][2] = 1
117.42/34.38	c (15,0) opt[27][3] = 1
117.42/34.38	c (15,0) opt[27][4] = 0
117.42/34.38	c (15,0) opt[28][0] = 1
117.42/34.38	c (15,0) opt[28][1] = 1
117.42/34.38	c (15,0) opt[28][2] = 0
117.42/34.38	c (15,0) opt[28][3] = 0
117.42/34.38	c (15,0) opt[28][4] = 0
117.42/34.38	c (15,0) opt[29][0] = 0
117.42/34.38	c (15,0) opt[29][1] = 1
117.42/34.38	c (15,0) opt[29][2] = 0
117.42/34.38	c (15,0) opt[29][3] = 0
117.42/34.38	c (15,0) opt[29][4] = 0
117.42/34.38	c (15,0) opt[30][0] = 0
117.42/34.38	c (15,0) opt[30][1] = 0
117.42/34.38	c (15,0) opt[30][2] = 1
117.42/34.38	c (15,0) opt[30][3] = 0
117.42/34.38	c (15,0) opt[30][4] = 0
117.42/34.38	c (15,0) opt[31][0] = 1
117.42/34.38	c (15,0) opt[31][1] = 0
117.42/34.38	c (15,0) opt[31][2] = 0
117.42/34.38	c (15,0) opt[31][3] = 0
117.42/34.38	c (15,0) opt[31][4] = 0
117.42/34.38	c (15,0) opt[32][0] = 0
117.42/34.38	c (15,0) opt[32][1] = 0
117.42/34.38	c (15,0) opt[32][2] = 0
117.42/34.38	c (15,0) opt[32][3] = 1
117.42/34.38	c (15,0) opt[32][4] = 0
117.42/34.38	c (15,0) opt[33][0] = 0
117.42/34.38	c (15,0) opt[33][1] = 0
117.42/34.38	c (15,0) opt[33][2] = 0
117.42/34.38	c (15,0) opt[33][3] = 1
117.42/34.38	c (15,0) opt[33][4] = 0
117.42/34.38	c (15,0) opt[34][0] = 1
117.42/34.38	c (15,0) opt[34][1] = 0
117.42/34.38	c (15,0) opt[34][2] = 0
117.42/34.38	c (15,0) opt[34][3] = 0
117.42/34.38	c (15,0) opt[34][4] = 0
117.42/34.38	c (15,0) opt[35][0] = 0
117.42/34.38	c (15,0) opt[35][1] = 1
117.42/34.38	c (15,0) opt[35][2] = 0
117.42/34.38	c (15,0) opt[35][3] = 0
117.42/34.38	c (15,0) opt[35][4] = 0
117.42/34.38	c (15,0) opt[36][0] = 0
117.42/34.38	c (15,0) opt[36][1] = 1
117.42/34.38	c (15,0) opt[36][2] = 0
117.42/34.38	c (15,0) opt[36][3] = 0
117.42/34.38	c (15,0) opt[36][4] = 0
117.42/34.38	c (15,0) opt[37][0] = 0
117.42/34.38	c (15,0) opt[37][1] = 0
117.42/34.38	c (15,0) opt[37][2] = 0
117.42/34.38	c (15,0) opt[37][3] = 1
117.42/34.38	c (15,0) opt[37][4] = 0
117.42/34.38	c (15,0) opt[38][0] = 0
117.42/34.38	c (15,0) opt[38][1] = 1
117.42/34.38	c (15,0) opt[38][2] = 0
117.42/34.38	c (15,0) opt[38][3] = 0
117.42/34.38	c (15,0) opt[38][4] = 0
117.42/34.38	c (15,0) opt[39][0] = 0
117.42/34.38	c (15,0) opt[39][1] = 1
117.42/34.38	c (15,0) opt[39][2] = 0
117.42/34.38	c (15,0) opt[39][3] = 0
117.42/34.38	c (15,0) opt[39][4] = 1
117.42/34.38	c (15,0) opt[40][0] = 1
117.42/34.38	c (15,0) opt[40][1] = 0
117.42/34.38	c (15,0) opt[40][2] = 0
117.42/34.38	c (15,0) opt[40][3] = 0
117.42/34.38	c (15,0) opt[40][4] = 0
117.42/34.38	c (15,0) opt[41][0] = 0
117.42/34.38	c (15,0) opt[41][1] = 0
117.42/34.38	c (15,0) opt[41][2] = 1
117.42/34.38	c (15,0) opt[41][3] = 0
117.42/34.38	c (15,0) opt[41][4] = 0
117.42/34.38	c (15,0) opt[42][0] = 1
117.42/34.38	c (15,0) opt[42][1] = 1
117.42/34.38	c (15,0) opt[42][2] = 0
117.42/34.38	c (15,0) opt[42][3] = 0
117.42/34.38	c (15,0) opt[42][4] = 0
117.42/34.38	c (15,0) opt[43][0] = 0
117.42/34.38	c (15,0) opt[43][1] = 1
117.42/34.38	c (15,0) opt[43][2] = 0
117.42/34.38	c (15,0) opt[43][3] = 0
117.42/34.38	c (15,0) opt[43][4] = 0
117.42/34.38	c (15,0) opt[44][0] = 1
117.42/34.38	c (15,0) opt[44][1] = 0
117.42/34.38	c (15,0) opt[44][2] = 0
117.42/34.38	c (15,0) opt[44][3] = 0
117.42/34.38	c (15,0) opt[44][4] = 0
117.42/34.38	c (15,0) opt[45][0] = 0
117.42/34.38	c (15,0) opt[45][1] = 1
117.42/34.38	c (15,0) opt[45][2] = 0
117.42/34.38	c (15,0) opt[45][3] = 0
117.42/34.38	c (15,0) opt[45][4] = 0
117.42/34.38	c (15,0) opt[46][0] = 0
117.42/34.38	c (15,0) opt[46][1] = 1
117.42/34.38	c (15,0) opt[46][2] = 1
117.42/34.38	c (15,0) opt[46][3] = 0
117.42/34.38	c (15,0) opt[46][4] = 0
117.42/34.38	c (15,0) opt[47][0] = 0
117.42/34.38	c (15,0) opt[47][1] = 0
117.42/34.38	c (15,0) opt[47][2] = 0
117.42/34.38	c (15,0) opt[47][3] = 1
117.42/34.38	c (15,0) opt[47][4] = 1
117.42/34.38	c (15,0) opt[48][0] = 0
117.42/34.38	c (15,0) opt[48][1] = 1
117.42/34.38	c (15,0) opt[48][2] = 0
117.42/34.38	c (15,0) opt[48][3] = 1
117.42/34.38	c (15,0) opt[48][4] = 0
117.42/34.38	c (15,0) opt[49][0] = 1
117.42/34.38	c (15,0) opt[49][1] = 0
117.42/34.38	c (15,0) opt[49][2] = 1
117.42/34.38	c (15,0) opt[49][3] = 0
117.42/34.38	c (15,0) opt[49][4] = 0
117.42/34.38	c (15,0) opt[50][0] = 0
117.42/34.38	c (15,0) opt[50][1] = 1
117.42/34.38	c (15,0) opt[50][2] = 0
117.42/34.38	c (15,0) opt[50][3] = 0
117.42/34.38	c (15,0) opt[50][4] = 0
117.42/34.38	c (15,0) opt[51][0] = 1
117.42/34.38	c (15,0) opt[51][1] = 1
117.42/34.38	c (15,0) opt[51][2] = 0
117.42/34.38	c (15,0) opt[51][3] = 0
117.42/34.38	c (15,0) opt[51][4] = 0
117.42/34.38	c (15,0) opt[52][0] = 0
117.42/34.38	c (15,0) opt[52][1] = 0
117.42/34.38	c (15,0) opt[52][2] = 1
117.42/34.38	c (15,0) opt[52][3] = 0
117.42/34.38	c (15,0) opt[52][4] = 0
117.42/34.38	c (15,0) opt[53][0] = 1
117.42/34.38	c (15,0) opt[53][1] = 0
117.42/34.38	c (15,0) opt[53][2] = 0
117.42/34.38	c (15,0) opt[53][3] = 0
117.42/34.38	c (15,0) opt[53][4] = 0
117.42/34.38	c (15,0) opt[54][0] = 0
117.42/34.38	c (15,0) opt[54][1] = 1
117.42/34.38	c (15,0) opt[54][2] = 0
117.42/34.38	c (15,0) opt[54][3] = 0
117.42/34.38	c (15,0) opt[54][4] = 0
117.42/34.38	c (15,0) opt[55][0] = 0
117.42/34.38	c (15,0) opt[55][1] = 0
117.42/34.38	c (15,0) opt[55][2] = 0
117.42/34.38	c (15,0) opt[55][3] = 1
117.42/34.38	c (15,0) opt[55][4] = 0
117.42/34.38	c (15,0) opt[56][0] = 0
117.42/34.38	c (15,0) opt[56][1] = 0
117.42/34.38	c (15,0) opt[56][2] = 1
117.42/34.38	c (15,0) opt[56][3] = 0
117.42/34.38	c (15,0) opt[56][4] = 0
117.42/34.38	c (15,0) opt[57][0] = 1
117.42/34.38	c (15,0) opt[57][1] = 1
117.42/34.38	c (15,0) opt[57][2] = 0
117.42/34.38	c (15,0) opt[57][3] = 0
117.42/34.38	c (15,0) opt[57][4] = 0
117.42/34.38	c (15,0) opt[58][0] = 0
117.42/34.38	c (15,0) opt[58][1] = 1
117.42/34.38	c (15,0) opt[58][2] = 0
117.42/34.38	c (15,0) opt[58][3] = 0
117.42/34.38	c (15,0) opt[58][4] = 0
117.42/34.38	c (15,0) opt[59][0] = 1
117.42/34.38	c (15,0) opt[59][1] = 0
117.42/34.38	c (15,0) opt[59][2] = 0
117.42/34.38	c (15,0) opt[59][3] = 0
117.42/34.38	c (15,0) opt[59][4] = 1
117.42/34.38	c (15,0) opt[60][0] = 0
117.42/34.38	c (15,0) opt[60][1] = 1
117.42/34.38	c (15,0) opt[60][2] = 0
117.42/34.38	c (15,0) opt[60][3] = 0
117.42/34.38	c (15,0) opt[60][4] = 0
117.42/34.38	c (15,0) opt[61][0] = 0
117.42/34.38	c (15,0) opt[61][1] = 1
117.42/34.38	c (15,0) opt[61][2] = 0
117.42/34.38	c (15,0) opt[61][3] = 0
117.42/34.38	c (15,0) opt[61][4] = 0
117.42/34.38	c (15,0) opt[62][0] = 1
117.42/34.38	c (15,0) opt[62][1] = 0
117.42/34.38	c (15,0) opt[62][2] = 0
117.42/34.38	c (15,0) opt[62][3] = 0
117.42/34.38	c (15,0) opt[62][4] = 0
117.42/34.38	c (15,0) opt[63][0] = 0
117.42/34.38	c (15,0) opt[63][1] = 0
117.42/34.38	c (15,0) opt[63][2] = 0
117.42/34.38	c (15,0) opt[63][3] = 1
117.42/34.38	c (15,0) opt[63][4] = 0
117.42/34.38	c (15,0) opt[64][0] = 0
117.42/34.38	c (15,0) opt[64][1] = 0
117.42/34.38	c (15,0) opt[64][2] = 1
117.42/34.38	c (15,0) opt[64][3] = 0
117.42/34.38	c (15,0) opt[64][4] = 0
117.42/34.38	c (15,0) opt[65][0] = 0
117.42/34.38	c (15,0) opt[65][1] = 1
117.42/34.38	c (15,0) opt[65][2] = 0
117.42/34.38	c (15,0) opt[65][3] = 1
117.42/34.38	c (15,0) opt[65][4] = 0
117.42/34.38	c (15,0) opt[66][0] = 0
117.42/34.38	c (15,0) opt[66][1] = 1
117.42/34.38	c (15,0) opt[66][2] = 0
117.42/34.38	c (15,0) opt[66][3] = 0
117.42/34.38	c (15,0) opt[66][4] = 1
117.42/34.38	c (15,0) opt[67][0] = 1
117.42/34.38	c (15,0) opt[67][1] = 0
117.42/34.38	c (15,0) opt[67][2] = 0
117.42/34.38	c (15,0) opt[67][3] = 0
117.42/34.38	c (15,0) opt[67][4] = 0
117.42/34.38	c (15,0) opt[68][0] = 0
117.42/34.38	c (15,0) opt[68][1] = 0
117.42/34.38	c (15,0) opt[68][2] = 1
117.42/34.38	c (15,0) opt[68][3] = 1
117.42/34.38	c (15,0) opt[68][4] = 0
117.42/34.38	c (15,0) opt[69][0] = 0
117.42/34.38	c (15,0) opt[69][1] = 1
117.42/34.38	c (15,0) opt[69][2] = 0
117.42/34.38	c (15,0) opt[69][3] = 0
117.42/34.38	c (15,0) opt[69][4] = 0
117.42/34.38	c (15,0) opt[70][0] = 1
117.42/34.38	c (15,0) opt[70][1] = 0
117.42/34.38	c (15,0) opt[70][2] = 0
117.42/34.38	c (15,0) opt[70][3] = 0
117.42/34.38	c (15,0) opt[70][4] = 0
117.42/34.38	c (15,0) opt[71][0] = 0
117.42/34.38	c (15,0) opt[71][1] = 0
117.42/34.38	c (15,0) opt[71][2] = 1
117.42/34.38	c (15,0) opt[71][3] = 0
117.42/34.38	c (15,0) opt[71][4] = 0
117.42/34.38	c (15,0) opt[72][0] = 0
117.42/34.38	c (15,0) opt[72][1] = 0
117.42/34.38	c (15,0) opt[72][2] = 0
117.42/34.38	c (15,0) opt[72][3] = 1
117.42/34.38	c (15,0) opt[72][4] = 0
117.42/34.38	c (15,0) opt[73][0] = 1
117.42/34.38	c (15,0) opt[73][1] = 0
117.42/34.38	c (15,0) opt[73][2] = 0
117.42/34.38	c (15,0) opt[73][3] = 1
117.42/34.38	c (15,0) opt[73][4] = 0
117.42/34.38	c (15,0) opt[74][0] = 0
117.42/34.38	c (15,0) opt[74][1] = 1
117.42/34.38	c (15,0) opt[74][2] = 0
117.42/34.38	c (15,0) opt[74][3] = 0
117.42/34.38	c (15,0) opt[74][4] = 0
117.42/34.38	c (15,0) opt[75][0] = 1
117.42/34.38	c (15,0) opt[75][1] = 0
117.42/34.38	c (15,0) opt[75][2] = 0
117.42/34.38	c (15,0) opt[75][3] = 0
117.42/34.38	c (15,0) opt[75][4] = 0
117.42/34.38	c (15,0) opt[76][0] = 0
117.42/34.38	c (15,0) opt[76][1] = 1
117.42/34.38	c (15,0) opt[76][2] = 0
117.42/34.38	c (15,0) opt[76][3] = 0
117.42/34.38	c (15,0) opt[76][4] = 1
117.42/34.38	c (15,0) opt[77][0] = 1
117.42/34.38	c (15,0) opt[77][1] = 0
117.42/34.38	c (15,0) opt[77][2] = 0
117.42/34.38	c (15,0) opt[77][3] = 0
117.42/34.38	c (15,0) opt[77][4] = 0
117.42/34.38	c (15,0) opt[78][0] = 0
117.42/34.38	c (15,0) opt[78][1] = 1
117.42/34.38	c (15,0) opt[78][2] = 0
117.42/34.38	c (15,0) opt[78][3] = 0
117.42/34.38	c (15,0) opt[78][4] = 0
117.42/34.38	c (15,0) opt[79][0] = 0
117.42/34.38	c (15,0) opt[79][1] = 0
117.42/34.38	c (15,0) opt[79][2] = 1
117.42/34.38	c (15,0) opt[79][3] = 0
117.42/34.38	c (15,0) opt[79][4] = 0
117.42/34.38	c (15,0) opt[80][0] = 1
117.42/34.38	c (15,0) opt[80][1] = 1
117.42/34.38	c (15,0) opt[80][2] = 0
117.42/34.38	c (15,0) opt[80][3] = 0
117.42/34.38	c (15,0) opt[80][4] = 0
117.42/34.38	c (15,0) opt[81][0] = 0
117.42/34.38	c (15,0) opt[81][1] = 1
117.42/34.38	c (15,0) opt[81][2] = 0
117.42/34.38	c (15,0) opt[81][3] = 0
117.42/34.38	c (15,0) opt[81][4] = 0
117.42/34.38	c (15,0) opt[82][0] = 1
117.42/34.38	c (15,0) opt[82][1] = 0
117.42/34.38	c (15,0) opt[82][2] = 0
117.42/34.38	c (15,0) opt[82][3] = 0
117.42/34.38	c (15,0) opt[82][4] = 0
117.42/34.38	c (15,0) opt[83][0] = 0
117.42/34.38	c (15,0) opt[83][1] = 1
117.42/34.38	c (15,0) opt[83][2] = 0
117.42/34.38	c (15,0) opt[83][3] = 0
117.42/34.38	c (15,0) opt[83][4] = 0
117.42/34.38	c (15,0) opt[84][0] = 1
117.42/34.38	c (15,0) opt[84][1] = 0
117.42/34.38	c (15,0) opt[84][2] = 1
117.42/34.38	c (15,0) opt[84][3] = 1
117.42/34.38	c (15,0) opt[84][4] = 0
117.42/34.38	c (15,0) opt[85][0] = 0
117.42/34.38	c (15,0) opt[85][1] = 1
117.42/34.38	c (15,0) opt[85][2] = 0
117.42/34.38	c (15,0) opt[85][3] = 0
117.42/34.38	c (15,0) opt[85][4] = 0
117.42/34.38	c (15,0) opt[86][0] = 1
117.42/34.38	c (15,0) opt[86][1] = 0
117.42/34.38	c (15,0) opt[86][2] = 0
117.42/34.38	c (15,0) opt[86][3] = 0
117.42/34.38	c (15,0) opt[86][4] = 1
117.42/34.38	c (15,0) opt[87][0] = 0
117.42/34.38	c (15,0) opt[87][1] = 1
117.42/34.38	c (15,0) opt[87][2] = 0
117.42/34.38	c (15,0) opt[87][3] = 0
117.42/34.38	c (15,0) opt[87][4] = 0
117.42/34.38	c (15,0) opt[88][0] = 0
117.42/34.38	c (15,0) opt[88][1] = 0
117.42/34.38	c (15,0) opt[88][2] = 1
117.42/34.38	c (15,0) opt[88][3] = 0
117.42/34.38	c (15,0) opt[88][4] = 0
117.42/34.38	c (15,0) opt[89][0] = 1
117.42/34.38	c (15,0) opt[89][1] = 1
117.42/34.38	c (15,0) opt[89][2] = 0
117.42/34.38	c (15,0) opt[89][3] = 0
117.42/34.38	c (15,0) opt[89][4] = 0
117.42/34.38	c (15,0) opt[90][0] = 0
117.42/34.38	c (15,0) opt[90][1] = 1
117.42/34.38	c (15,0) opt[90][2] = 0
117.42/34.38	c (15,0) opt[90][3] = 1
117.42/34.38	c (15,0) opt[90][4] = 0
117.42/34.38	c (15,0) opt[91][0] = 1
117.42/34.38	c (15,0) opt[91][1] = 0
117.42/34.38	c (15,0) opt[91][2] = 0
117.42/34.38	c (15,0) opt[91][3] = 0
117.42/34.38	c (15,0) opt[91][4] = 0
117.42/34.38	c (15,0) opt[92][0] = 0
117.42/34.38	c (15,0) opt[92][1] = 1
117.42/34.38	c (15,0) opt[92][2] = 0
117.42/34.38	c (15,0) opt[92][3] = 0
117.42/34.38	c (15,0) opt[92][4] = 0
117.42/34.38	c (15,0) opt[93][0] = 1
117.42/34.38	c (15,0) opt[93][1] = 1
117.42/34.38	c (15,0) opt[93][2] = 1
117.42/34.38	c (15,0) opt[93][3] = 0
117.42/34.38	c (15,0) opt[93][4] = 1
117.42/34.38	c (15,0) opt[94][0] = 0
117.42/34.38	c (15,0) opt[94][1] = 0
117.42/34.38	c (15,0) opt[94][2] = 0
117.42/34.38	c (15,0) opt[94][3] = 1
117.42/34.38	c (15,0) opt[94][4] = 0
117.42/34.38	c (15,0) opt[95][0] = 1
117.42/34.38	c (15,0) opt[95][1] = 1
117.42/34.38	c (15,0) opt[95][2] = 0
117.42/34.38	c (15,0) opt[95][3] = 0
117.42/34.38	c (15,0) opt[95][4] = 0
117.42/34.38	c (15,0) opt[96][0] = 0
117.42/34.38	c (15,0) opt[96][1] = 1
117.42/34.38	c (15,0) opt[96][2] = 0
117.42/34.38	c (15,0) opt[96][3] = 0
117.42/34.38	c (15,0) opt[96][4] = 0
117.42/34.38	c (15,0) opt[97][0] = 0
117.42/34.38	c (15,0) opt[97][1] = 0
117.42/34.38	c (15,0) opt[97][2] = 0
117.42/34.38	c (15,0) opt[97][3] = 1
117.42/34.38	c (15,0) opt[97][4] = 0
117.42/34.38	c (15,0) opt[98][0] = 1
117.42/34.38	c (15,0) opt[98][1] = 1
117.42/34.38	c (15,0) opt[98][2] = 0
117.42/34.38	c (15,0) opt[98][3] = 0
117.42/34.38	c (15,0) opt[98][4] = 0
117.42/34.38	c (15,0) opt[99][0] = 0
117.42/34.38	c (15,0) opt[99][1] = 1
117.42/34.38	c (15,0) opt[99][2] = 0
117.42/34.38	c (15,0) opt[99][3] = 0
117.42/34.38	c (15,0) opt[99][4] = 0
117.42/34.38	c (15,0) opt[100][0] = 0
117.42/34.38	c (15,0) opt[100][1] = 0
117.42/34.38	c (15,0) opt[100][2] = 1
117.42/34.38	c (15,0) opt[100][3] = 0
117.42/34.38	c (15,0) opt[100][4] = 0
117.42/34.38	c (15,0) opt[101][0] = 0
117.42/34.38	c (15,0) opt[101][1] = 0
117.42/34.38	c (15,0) opt[101][2] = 0
117.42/34.38	c (15,0) opt[101][3] = 1
117.42/34.38	c (15,0) opt[101][4] = 1
117.42/34.38	c (15,0) opt[102][0] = 0
117.42/34.38	c (15,0) opt[102][1] = 1
117.42/34.38	c (15,0) opt[102][2] = 0
117.42/34.38	c (15,0) opt[102][3] = 0
117.42/34.38	c (15,0) opt[102][4] = 0
117.42/34.38	c (15,0) opt[103][0] = 0
117.42/34.38	c (15,0) opt[103][1] = 1
117.42/34.38	c (15,0) opt[103][2] = 0
117.42/34.38	c (15,0) opt[103][3] = 1
117.42/34.38	c (15,0) opt[103][4] = 0
117.42/34.38	c (15,0) opt[104][0] = 1
117.42/34.38	c (15,0) opt[104][1] = 0
117.42/34.38	c (15,0) opt[104][2] = 0
117.42/34.38	c (15,0) opt[104][3] = 0
117.42/34.38	c (15,0) opt[104][4] = 0
117.42/34.38	c (15,0) opt[105][0] = 0
117.42/34.38	c (15,0) opt[105][1] = 1
117.42/34.38	c (15,0) opt[105][2] = 0
117.42/34.38	c (15,0) opt[105][3] = 0
117.42/34.38	c (15,0) opt[105][4] = 0
117.42/34.38	c (15,0) opt[106][0] = 0
117.42/34.38	c (15,0) opt[106][1] = 0
117.42/34.38	c (15,0) opt[106][2] = 0
117.42/34.38	c (15,0) opt[106][3] = 1
117.42/34.38	c (15,0) opt[106][4] = 0
117.42/34.38	c (15,0) opt[107][0] = 1
117.42/34.38	c (15,0) opt[107][1] = 1
117.42/34.38	c (15,0) opt[107][2] = 1
117.42/34.38	c (15,0) opt[107][3] = 0
117.42/34.38	c (15,0) opt[107][4] = 0
117.42/34.38	c (15,0) opt[108][0] = 0
117.42/34.38	c (15,0) opt[108][1] = 1
117.42/34.38	c (15,0) opt[108][2] = 0
117.42/34.38	c (15,0) opt[108][3] = 0
117.42/34.38	c (15,0) opt[108][4] = 0
117.42/34.38	c (15,0) opt[109][0] = 0
117.42/34.38	c (15,0) opt[109][1] = 0
117.42/34.38	c (15,0) opt[109][2] = 0
117.42/34.38	c (15,0) opt[109][3] = 1
117.42/34.38	c (15,0) opt[109][4] = 0
117.42/34.38	c (15,0) opt[110][0] = 1
117.42/34.38	c (15,0) opt[110][1] = 1
117.42/34.38	c (15,0) opt[110][2] = 1
117.42/34.38	c (15,0) opt[110][3] = 0
117.42/34.38	c (15,0) opt[110][4] = 0
117.42/34.38	c (15,0) opt[111][0] = 0
117.42/34.38	c (15,0) opt[111][1] = 0
117.42/34.38	c (15,0) opt[111][2] = 0
117.42/34.38	c (15,0) opt[111][3] = 0
117.42/34.38	c (15,0) opt[111][4] = 1
117.42/34.38	c (15,0) opt[112][0] = 0
117.42/34.38	c (15,0) opt[112][1] = 0
117.42/34.38	c (15,0) opt[112][2] = 0
117.42/34.38	c (15,0) opt[112][3] = 1
117.42/34.38	c (15,0) opt[112][4] = 0
117.42/34.38	c (15,0) opt[113][0] = 0
117.42/34.38	c (15,0) opt[113][1] = 1
117.42/34.38	c (15,0) opt[113][2] = 0
117.42/34.38	c (15,0) opt[113][3] = 0
117.42/34.38	c (15,0) opt[113][4] = 0
117.42/34.38	c (15,0) opt[114][0] = 1
117.42/34.38	c (15,0) opt[114][1] = 0
117.42/34.38	c (15,0) opt[114][2] = 1
117.42/34.38	c (15,0) opt[114][3] = 1
117.42/34.38	c (15,0) opt[114][4] = 0
117.42/34.38	c (15,0) opt[115][0] = 0
117.42/34.38	c (15,0) opt[115][1] = 1
117.42/34.38	c (15,0) opt[115][2] = 0
117.42/34.38	c (15,0) opt[115][3] = 0
117.42/34.38	c (15,0) opt[115][4] = 0
117.42/34.38	c (15,0) opt[116][0] = 1
117.42/34.38	c (15,0) opt[116][1] = 1
117.42/34.38	c (15,0) opt[116][2] = 0
117.42/34.38	c (15,0) opt[116][3] = 0
117.42/34.38	c (15,0) opt[116][4] = 0
117.42/34.38	c (15,0) opt[117][0] = 0
117.42/34.38	c (15,0) opt[117][1] = 0
117.42/34.38	c (15,0) opt[117][2] = 1
117.42/34.38	c (15,0) opt[117][3] = 1
117.42/34.38	c (15,0) opt[117][4] = 0
117.42/34.38	c (15,0) opt[118][0] = 1
117.42/34.38	c (15,0) opt[118][1] = 0
117.42/34.38	c (15,0) opt[118][2] = 0
117.42/34.38	c (15,0) opt[118][3] = 0
117.42/34.38	c (15,0) opt[118][4] = 0
117.42/34.38	c (15,0) opt[119][0] = 0
117.42/34.38	c (15,0) opt[119][1] = 1
117.42/34.38	c (15,0) opt[119][2] = 0
117.42/34.38	c (15,0) opt[119][3] = 0
117.42/34.38	c (15,0) opt[119][4] = 0
117.42/34.38	c (15,0) opt[120][0] = 0
117.42/34.38	c (15,0) opt[120][1] = 0
117.42/34.38	c (15,0) opt[120][2] = 0
117.42/34.38	c (15,0) opt[120][3] = 0
117.42/34.38	c (15,0) opt[120][4] = 1
117.42/34.38	c (15,0) opt[121][0] = 0
117.42/34.38	c (15,0) opt[121][1] = 1
117.42/34.38	c (15,0) opt[121][2] = 0
117.42/34.38	c (15,0) opt[121][3] = 0
117.42/34.38	c (15,0) opt[121][4] = 0
117.42/34.38	c (15,0) opt[122][0] = 1
117.42/34.38	c (15,0) opt[122][1] = 0
117.42/34.38	c (15,0) opt[122][2] = 1
117.42/34.38	c (15,0) opt[122][3] = 1
117.42/34.38	c (15,0) opt[122][4] = 0
117.42/34.38	c (15,0) opt[123][0] = 0
117.42/34.38	c (15,0) opt[123][1] = 1
117.42/34.38	c (15,0) opt[123][2] = 0
117.42/34.38	c (15,0) opt[123][3] = 0
117.42/34.38	c (15,0) opt[123][4] = 0
117.42/34.38	c (15,0) opt[124][0] = 1
117.42/34.38	c (15,0) opt[124][1] = 0
117.42/34.38	c (15,0) opt[124][2] = 0
117.42/34.38	c (15,0) opt[124][3] = 0
117.42/34.38	c (15,0) opt[124][4] = 0
117.42/34.38	c (15,0) opt[125][0] = 0
117.42/34.38	c (15,0) opt[125][1] = 0
117.42/34.38	c (15,0) opt[125][2] = 1
117.42/34.38	c (15,0) opt[125][3] = 1
117.42/34.38	c (15,0) opt[125][4] = 0
117.42/34.38	c (15,0) opt[126][0] = 0
117.42/34.38	c (15,0) opt[126][1] = 1
117.42/34.38	c (15,0) opt[126][2] = 0
117.42/34.38	c (15,0) opt[126][3] = 0
117.42/34.38	c (15,0) opt[126][4] = 0
117.42/34.38	c (15,0) opt[127][0] = 0
117.42/34.38	c (15,0) opt[127][1] = 1
117.42/34.38	c (15,0) opt[127][2] = 0
117.42/34.38	c (15,0) opt[127][3] = 0
117.42/34.38	c (15,0) opt[127][4] = 0
117.42/34.38	c (15,0) opt[128][0] = 1
117.42/34.38	c (15,0) opt[128][1] = 0
117.42/34.38	c (15,0) opt[128][2] = 0
117.42/34.38	c (15,0) opt[128][3] = 0
117.42/34.38	c (15,0) opt[128][4] = 0
117.42/34.38	c (15,0) opt[129][0] = 0
117.42/34.38	c (15,0) opt[129][1] = 1
117.42/34.38	c (15,0) opt[129][2] = 0
117.42/34.38	c (15,0) opt[129][3] = 0
117.42/34.38	c (15,0) opt[129][4] = 0
117.42/34.38	c (15,0) opt[130][0] = 0
117.42/34.38	c (15,0) opt[130][1] = 0
117.42/34.38	c (15,0) opt[130][2] = 0
117.42/34.38	c (15,0) opt[130][3] = 1
117.42/34.38	c (15,0) opt[130][4] = 0
117.42/34.38	c (15,0) opt[131][0] = 1
117.42/34.38	c (15,0) opt[131][1] = 0
117.42/34.38	c (15,0) opt[131][2] = 0
117.42/34.38	c (15,0) opt[131][3] = 1
117.42/34.38	c (15,0) opt[131][4] = 0
117.42/34.38	c (15,0) opt[132][0] = 0
117.42/34.38	c (15,0) opt[132][1] = 0
117.42/34.38	c (15,0) opt[132][2] = 1
117.42/34.38	c (15,0) opt[132][3] = 0
117.42/34.38	c (15,0) opt[132][4] = 0
117.42/34.38	c (15,0) opt[133][0] = 0
117.42/34.38	c (15,0) opt[133][1] = 1
117.42/34.38	c (15,0) opt[133][2] = 0
117.42/34.38	c (15,0) opt[133][3] = 0
117.42/34.38	c (15,0) opt[133][4] = 0
117.42/34.38	c (15,0) opt[134][0] = 1
117.42/34.38	c (15,0) opt[134][1] = 0
117.42/34.38	c (15,0) opt[134][2] = 0
117.42/34.38	c (15,0) opt[134][3] = 0
117.42/34.38	c (15,0) opt[134][4] = 0
117.42/34.38	c (15,0) opt[135][0] = 0
117.42/34.38	c (15,0) opt[135][1] = 1
117.42/34.38	c (15,0) opt[135][2] = 1
117.42/34.38	c (15,0) opt[135][3] = 0
117.42/34.38	c (15,0) opt[135][4] = 0
117.42/34.38	c (15,0) opt[136][0] = 0
117.42/34.38	c (15,0) opt[136][1] = 0
117.42/34.38	c (15,0) opt[136][2] = 0
117.42/34.38	c (15,0) opt[136][3] = 0
117.42/34.38	c (15,0) opt[136][4] = 1
117.42/34.38	c (15,0) opt[137][0] = 0
117.42/34.38	c (15,0) opt[137][1] = 1
117.42/34.38	c (15,0) opt[137][2] = 0
117.42/34.38	c (15,0) opt[137][3] = 0
117.42/34.38	c (15,0) opt[137][4] = 0
117.42/34.38	c (15,0) opt[138][0] = 0
117.42/34.38	c (15,0) opt[138][1] = 1
117.42/34.38	c (15,0) opt[138][2] = 1
117.42/34.38	c (15,0) opt[138][3] = 0
117.42/34.38	c (15,0) opt[138][4] = 0
117.42/34.38	c (15,0) opt[139][0] = 0
117.42/34.38	c (15,0) opt[139][1] = 0
117.42/34.38	c (15,0) opt[139][2] = 0
117.42/34.38	c (15,0) opt[139][3] = 1
117.42/34.38	c (15,0) opt[139][4] = 0
117.42/34.38	c (15,0) opt[140][0] = 0
117.42/34.38	c (15,0) opt[140][1] = 0
117.42/34.38	c (15,0) opt[140][2] = 0
117.42/34.38	c (15,0) opt[140][3] = 1
117.42/34.38	c (15,0) opt[140][4] = 0
117.42/34.38	c (15,0) opt[141][0] = 0
117.42/34.38	c (15,0) opt[141][1] = 1
117.42/34.38	c (15,0) opt[141][2] = 0
117.42/34.38	c (15,0) opt[141][3] = 0
117.42/34.38	c (15,0) opt[141][4] = 0
117.42/34.38	c (15,0) opt[142][0] = 0
117.42/34.38	c (15,0) opt[142][1] = 0
117.42/34.38	c (15,0) opt[142][2] = 0
117.42/34.38	c (15,0) opt[142][3] = 0
117.42/34.38	c (15,0) opt[142][4] = 1
117.42/34.38	c (15,0) opt[143][0] = 0
117.42/34.38	c (15,0) opt[143][1] = 1
117.42/34.38	c (15,0) opt[143][2] = 0
117.42/34.38	c (15,0) opt[143][3] = 0
117.42/34.38	c (15,0) opt[143][4] = 0
117.42/34.38	c (15,0) opt[144][0] = 1
117.42/34.38	c (15,0) opt[144][1] = 0
117.42/34.38	c (15,0) opt[144][2] = 0
117.42/34.38	c (15,0) opt[144][3] = 1
117.42/34.38	c (15,0) opt[144][4] = 0
117.42/34.38	c (15,0) opt[145][0] = 0
117.42/34.38	c (15,0) opt[145][1] = 0
117.42/34.38	c (15,0) opt[145][2] = 1
117.42/34.38	c (15,0) opt[145][3] = 0
117.42/34.38	c (15,0) opt[145][4] = 0
117.42/34.38	c (15,0) opt[146][0] = 0
117.42/34.38	c (15,0) opt[146][1] = 1
117.42/34.38	c (15,0) opt[146][2] = 0
117.42/34.38	c (15,0) opt[146][3] = 0
117.42/34.38	c (15,0) opt[146][4] = 0
117.42/34.38	c (15,0) opt[147][0] = 1
117.42/34.38	c (15,0) opt[147][1] = 0
117.42/34.38	c (15,0) opt[147][2] = 0
117.42/34.38	c (15,0) opt[147][3] = 0
117.42/34.38	c (15,0) opt[147][4] = 0
117.42/34.38	c (15,0) opt[148][0] = 0
117.42/34.38	c (15,0) opt[148][1] = 1
117.42/34.38	c (15,0) opt[148][2] = 0
117.42/34.38	c (15,0) opt[148][3] = 0
117.42/34.38	c (15,0) opt[148][4] = 0
117.42/34.38	c (15,0) opt[149][0] = 1
117.42/34.38	c (15,0) opt[149][1] = 0
117.42/34.38	c (15,0) opt[149][2] = 0
117.42/34.38	c (15,0) opt[149][3] = 0
117.42/34.38	c (15,0) opt[149][4] = 0
117.42/34.38	c (15,0) opt[150][0] = 0
117.42/34.38	c (15,0) opt[150][1] = 0
117.42/34.38	c (15,0) opt[150][2] = 1
117.42/34.38	c (15,0) opt[150][3] = 1
117.42/34.38	c (15,0) opt[150][4] = 1
117.42/34.38	c (15,0) opt[151][0] = 1
117.42/34.38	c (15,0) opt[151][1] = 1
117.42/34.38	c (15,0) opt[151][2] = 0
117.42/34.38	c (15,0) opt[151][3] = 0
117.42/34.38	c (15,0) opt[151][4] = 0
117.42/34.38	c (15,0) opt[152][0] = 0
117.42/34.38	c (15,0) opt[152][1] = 1
117.42/34.38	c (15,0) opt[152][2] = 0
117.42/34.38	c (15,0) opt[152][3] = 0
117.42/34.38	c (15,0) opt[152][4] = 0
117.42/34.38	c (15,0) opt[153][0] = 0
117.42/34.38	c (15,0) opt[153][1] = 0
117.42/34.38	c (15,0) opt[153][2] = 0
117.42/34.38	c (15,0) opt[153][3] = 1
117.42/34.38	c (15,0) opt[153][4] = 0
117.42/34.38	c (15,0) opt[154][0] = 0
117.42/34.38	c (15,0) opt[154][1] = 1
117.42/34.38	c (15,0) opt[154][2] = 0
117.42/34.38	c (15,0) opt[154][3] = 0
117.42/34.38	c (15,0) opt[154][4] = 0
117.42/34.38	c (15,0) opt[155][0] = 0
117.42/34.38	c (15,0) opt[155][1] = 1
117.42/34.38	c (15,0) opt[155][2] = 0
117.42/34.38	c (15,0) opt[155][3] = 0
117.42/34.38	c (15,0) opt[155][4] = 0
117.42/34.38	c (15,0) opt[156][0] = 0
117.42/34.38	c (15,0) opt[156][1] = 0
117.42/34.38	c (15,0) opt[156][2] = 1
117.42/34.38	c (15,0) opt[156][3] = 0
117.42/34.38	c (15,0) opt[156][4] = 0
117.42/34.38	c (15,0) opt[157][0] = 1
117.42/34.38	c (15,0) opt[157][1] = 1
117.42/34.38	c (15,0) opt[157][2] = 0
117.42/34.38	c (15,0) opt[157][3] = 1
117.42/34.38	c (15,0) opt[157][4] = 0
117.42/34.38	c (15,0) opt[158][0] = 0
117.42/34.38	c (15,0) opt[158][1] = 1
117.42/34.38	c (15,0) opt[158][2] = 0
117.42/34.38	c (15,0) opt[158][3] = 0
117.42/34.38	c (15,0) opt[158][4] = 1
117.42/34.38	c (15,0) opt[159][0] = 0
117.42/34.38	c (15,0) opt[159][1] = 0
117.42/34.38	c (15,0) opt[159][2] = 0
117.42/34.38	c (15,0) opt[159][3] = 1
117.42/34.38	c (15,0) opt[159][4] = 0
117.42/34.38	c (15,0) opt[160][0] = 0
117.42/34.38	c (15,0) opt[160][1] = 1
117.42/34.38	c (15,0) opt[160][2] = 0
117.42/34.38	c (15,0) opt[160][3] = 0
117.42/34.38	c (15,0) opt[160][4] = 0
117.42/34.38	c (15,0) opt[161][0] = 1
117.42/34.38	c (15,0) opt[161][1] = 0
117.42/34.38	c (15,0) opt[161][2] = 1
117.42/34.38	c (15,0) opt[161][3] = 0
117.42/34.38	c (15,0) opt[161][4] = 0
117.42/34.38	c (15,0) opt[162][0] = 0
117.42/34.38	c (15,0) opt[162][1] = 1
117.42/34.38	c (15,0) opt[162][2] = 0
117.42/34.38	c (15,0) opt[162][3] = 0
117.42/34.38	c (15,0) opt[162][4] = 0
117.42/34.38	c (15,0) opt[163][0] = 1
117.42/34.38	c (15,0) opt[163][1] = 1
117.42/34.38	c (15,0) opt[163][2] = 0
117.42/34.38	c (15,0) opt[163][3] = 0
117.42/34.38	c (15,0) opt[163][4] = 0
117.42/34.38	c (15,0) opt[164][0] = 0
117.42/34.38	c (15,0) opt[164][1] = 0
117.42/34.38	c (15,0) opt[164][2] = 1
117.42/34.38	c (15,0) opt[164][3] = 0
117.42/34.38	c (15,0) opt[164][4] = 0
117.42/34.38	c (15,0) opt[165][0] = 0
117.42/34.38	c (15,0) opt[165][1] = 0
117.42/34.38	c (15,0) opt[165][2] = 0
117.42/34.38	c (15,0) opt[165][3] = 1
117.42/34.38	c (15,0) opt[165][4] = 0
117.42/34.38	c (15,0) opt[166][0] = 0
117.42/34.38	c (15,0) opt[166][1] = 1
117.42/34.38	c (15,0) opt[166][2] = 0
117.42/34.38	c (15,0) opt[166][3] = 0
117.42/34.38	c (15,0) opt[166][4] = 0
117.42/34.38	c (15,0) opt[167][0] = 0
117.42/34.38	c (15,0) opt[167][1] = 1
117.42/34.38	c (15,0) opt[167][2] = 1
117.42/34.38	c (15,0) opt[167][3] = 0
117.42/34.38	c (15,0) opt[167][4] = 1
117.42/34.38	c (15,0) opt[168][0] = 0
117.42/34.38	c (15,0) opt[168][1] = 0
117.42/34.38	c (15,0) opt[168][2] = 0
117.42/34.38	c (15,0) opt[168][3] = 1
117.42/34.38	c (15,0) opt[168][4] = 0
117.42/34.38	c (15,0) opt[169][0] = 1
117.42/34.38	c (15,0) opt[169][1] = 1
117.42/34.38	c (15,0) opt[169][2] = 0
117.42/34.38	c (15,0) opt[169][3] = 0
117.42/34.38	c (15,0) opt[169][4] = 0
117.42/34.38	c (15,0) opt[170][0] = 0
117.42/34.38	c (15,0) opt[170][1] = 0
117.42/34.38	c (15,0) opt[170][2] = 0
117.42/34.38	c (15,0) opt[170][3] = 1
117.42/34.38	c (15,0) opt[170][4] = 0
117.42/34.38	c (15,0) opt[171][0] = 0
117.42/34.38	c (15,0) opt[171][1] = 1
117.42/34.38	c (15,0) opt[171][2] = 0
117.42/34.38	c (15,0) opt[171][3] = 0
117.42/34.38	c (15,0) opt[171][4] = 0
117.42/34.38	c (15,0) opt[172][0] = 0
117.42/34.38	c (15,0) opt[172][1] = 0
117.42/34.38	c (15,0) opt[172][2] = 0
117.42/34.38	c (15,0) opt[172][3] = 0
117.42/34.38	c (15,0) opt[172][4] = 1
117.42/34.38	c (15,0) opt[173][0] = 1
117.42/34.38	c (15,0) opt[173][1] = 1
117.42/34.38	c (15,0) opt[173][2] = 0
117.42/34.38	c (15,0) opt[173][3] = 0
117.42/34.38	c (15,0) opt[173][4] = 0
117.42/34.38	c (15,0) opt[174][0] = 0
117.42/34.38	c (15,0) opt[174][1] = 1
117.42/34.38	c (15,0) opt[174][2] = 0
117.42/34.38	c (15,0) opt[174][3] = 0
117.42/34.38	c (15,0) opt[174][4] = 0
117.42/34.38	c (15,0) opt[175][0] = 1
117.42/34.38	c (15,0) opt[175][1] = 0
117.42/34.38	c (15,0) opt[175][2] = 0
117.42/34.38	c (15,0) opt[175][3] = 0
117.42/34.38	c (15,0) opt[175][4] = 0
117.42/34.38	c (15,0) opt[176][0] = 0
117.42/34.38	c (15,0) opt[176][1] = 0
117.42/34.38	c (15,0) opt[176][2] = 1
117.42/34.38	c (15,0) opt[176][3] = 0
117.42/34.38	c (15,0) opt[176][4] = 0
117.42/34.38	c (15,0) opt[177][0] = 0
117.42/34.38	c (15,0) opt[177][1] = 1
117.42/34.38	c (15,0) opt[177][2] = 0
117.42/34.38	c (15,0) opt[177][3] = 0
117.42/34.38	c (15,0) opt[177][4] = 0
117.42/34.38	c (15,0) opt[178][0] = 0
117.42/34.38	c (15,0) opt[178][1] = 0
117.42/34.38	c (15,0) opt[178][2] = 0
117.42/34.38	c (15,0) opt[178][3] = 0
117.42/34.38	c (15,0) opt[178][4] = 1
117.42/34.38	c (15,0) opt[179][0] = 1
117.42/34.38	c (15,0) opt[179][1] = 0
117.42/34.38	c (15,0) opt[179][2] = 0
117.42/34.38	c (15,0) opt[179][3] = 1
117.42/34.38	c (15,0) opt[179][4] = 0
117.42/34.38	c (15,0) opt[180][0] = 0
117.42/34.38	c (15,0) opt[180][1] = 1
117.42/34.38	c (15,0) opt[180][2] = 0
117.42/34.38	c (15,0) opt[180][3] = 0
117.42/34.38	c (15,0) opt[180][4] = 0
117.42/34.38	c (15,0) opt[181][0] = 0
117.42/34.38	c (15,0) opt[181][1] = 0
117.42/34.38	c (15,0) opt[181][2] = 0
117.42/34.38	c (15,0) opt[181][3] = 1
117.42/34.38	c (15,0) opt[181][4] = 0
117.42/34.38	c (15,0) opt[182][0] = 0
117.42/34.38	c (15,0) opt[182][1] = 1
117.42/34.38	c (15,0) opt[182][2] = 1
117.42/34.38	c (15,0) opt[182][3] = 0
117.42/34.38	c (15,0) opt[182][4] = 0
117.42/34.38	c (15,0) opt[183][0] = 0
117.42/34.38	c (15,0) opt[183][1] = 1
117.42/34.38	c (15,0) opt[183][2] = 0
117.42/34.38	c (15,0) opt[183][3] = 0
117.42/34.38	c (15,0) opt[183][4] = 0
117.42/34.38	c (15,0) opt[184][0] = 1
117.42/34.38	c (15,0) opt[184][1] = 0
117.42/34.38	c (15,0) opt[184][2] = 0
117.42/34.38	c (15,0) opt[184][3] = 0
117.42/34.38	c (15,0) opt[184][4] = 1
117.42/34.38	c (15,0) opt[185][0] = 0
117.42/34.38	c (15,0) opt[185][1] = 0
117.42/34.38	c (15,0) opt[185][2] = 0
117.42/34.38	c (15,0) opt[185][3] = 1
117.42/34.38	c (15,0) opt[185][4] = 0
117.42/34.38	c (15,0) opt[186][0] = 1
117.42/34.38	c (15,0) opt[186][1] = 1
117.42/34.38	c (15,0) opt[186][2] = 1
117.42/34.38	c (15,0) opt[186][3] = 0
117.42/34.38	c (15,0) opt[186][4] = 0
117.42/34.38	c (15,0) opt[187][0] = 0
117.42/34.38	c (15,0) opt[187][1] = 1
117.42/34.38	c (15,0) opt[187][2] = 0
117.42/34.38	c (15,0) opt[187][3] = 0
117.42/34.38	c (15,0) opt[187][4] = 0
117.42/34.38	c (15,0) opt[188][0] = 0
117.42/34.38	c (15,0) opt[188][1] = 0
117.42/34.38	c (15,0) opt[188][2] = 0
117.42/34.38	c (15,0) opt[188][3] = 1
117.42/34.38	c (15,0) opt[188][4] = 0
117.42/34.38	c (15,0) opt[189][0] = 1
117.42/34.38	c (15,0) opt[189][1] = 0
117.42/34.38	c (15,0) opt[189][2] = 1
117.42/34.38	c (15,0) opt[189][3] = 0
117.42/34.38	c (15,0) opt[189][4] = 0
117.42/34.38	c (15,0) opt[190][0] = 0
117.42/34.38	c (15,0) opt[190][1] = 1
117.42/34.38	c (15,0) opt[190][2] = 0
117.42/34.38	c (15,0) opt[190][3] = 0
117.42/34.38	c (15,0) opt[190][4] = 0
117.42/34.38	c (15,0) opt[191][0] = 1
117.42/34.38	c (15,0) opt[191][1] = 1
117.42/34.38	c (15,0) opt[191][2] = 0
117.42/34.38	c (15,0) opt[191][3] = 0
117.42/34.38	c (15,0) opt[191][4] = 0
117.42/34.38	c (15,0) opt[192][0] = 0
117.42/34.38	c (15,0) opt[192][1] = 0
117.42/34.38	c (15,0) opt[192][2] = 0
117.42/34.38	c (15,0) opt[192][3] = 1
117.42/34.38	c (15,0) opt[192][4] = 1
117.42/34.38	c (15,0) opt[193][0] = 1
117.42/34.38	c (15,0) opt[193][1] = 1
117.42/34.38	c (15,0) opt[193][2] = 1
117.42/34.38	c (15,0) opt[193][3] = 0
117.42/34.38	c (15,0) opt[193][4] = 0
117.42/34.38	c (15,0) opt[194][0] = 0
117.42/34.38	c (15,0) opt[194][1] = 1
117.42/34.38	c (15,0) opt[194][2] = 0
117.42/34.38	c (15,0) opt[194][3] = 0
117.42/34.38	c (15,0) opt[194][4] = 0
117.42/34.38	c (15,0) opt[195][0] = 1
117.42/34.38	c (15,0) opt[195][1] = 0
117.42/34.38	c (15,0) opt[195][2] = 0
117.42/34.38	c (15,0) opt[195][3] = 0
117.42/34.38	c (15,0) opt[195][4] = 0
117.42/34.38	c (15,0) opt[196][0] = 0
117.42/34.38	c (15,0) opt[196][1] = 1
117.42/34.38	c (15,0) opt[196][2] = 0
117.42/34.38	c (15,0) opt[196][3] = 0
117.42/34.38	c (15,0) opt[196][4] = 0
117.42/34.38	c (15,0) opt[197][0] = 0
117.42/34.38	c (15,0) opt[197][1] = 1
117.42/34.38	c (15,0) opt[197][2] = 0
117.42/34.38	c (15,0) opt[197][3] = 0
117.42/34.38	c (15,0) opt[197][4] = 0
117.42/34.38	c (15,0) opt[198][0] = 1
117.42/34.38	c (15,0) opt[198][1] = 0
117.42/34.38	c (15,0) opt[198][2] = 1
117.42/34.38	c (15,0) opt[198][3] = 1
117.42/34.38	c (15,0) opt[198][4] = 0
117.42/34.38	c (15,0) opt[199][0] = 0
117.42/34.38	c (15,0) opt[199][1] = 0
117.42/34.38	c (15,0) opt[199][2] = 0
117.42/34.38	c (15,0) opt[199][3] = 1
117.42/34.38	c (15,0) opt[199][4] = 0
117.42/34.38	s SATISFIABLE
117.42/34.39	v <instantiation>
117.42/34.39	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>
117.42/34.39	v     <values>3 13 16 16 14 22 14 4 11 4 6 2 4 13 4 13 4 12 7 4 13 4 4 18 4 4 13 19 14 4 15 13 16 16 13 4 4 16 4 5 13 15 14 4 13 4 17 6 21 11 4 14 15 13 4 16 15 14 4 8 4 4 13 16 15 21 5 13 19 4 13 15 16 20 4 13 5 13 4 15 14 4 13 4 7 4 8 4 15 14 21 13 4 1 16 14 4 16 14 4 15 6 4 21 13 4 16 24 4 16 24 23 16 4 7 4 14 19 13 4 23 4 7 4 13 19 4 4 13 4 16 20 15 4 13 17 23 4 17 16 16 4 23 4 20 15 4 13 4 13 0 14 4 16 4 4 15 10 5 16 4 11 4 14 15 16 4 3 16 14 16 4 23 14 4 13 15 4 23 20 4 16 17 4 8 16 9 4 16 11 4 14 6 9 4 13 4 4 7 16 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 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 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0</values>
117.42/34.39	v </instantiation>
117.42/34.39	c (15,0) Show results End
117.42/34.39	c (15,0) Heap : 291 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
117.42/34.39	c (15,0) 15,15,STOP-AFTER(ALL)
117.42/34.39	c END-Prog: Tue Sep 24 17:20:36 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 (12755 MiB free)
  memory of node 1: 16384 MiB (10071 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405461-1569338442/watcher-4405461-1569338442 -o /tmp/evaluation-result-4405461-1569338442/solver-4405461-1569338442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405461-1569338442.xml 

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

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

solver pid=9680, runsolver pid=9677

[startup+0.100157 s]*
/proc/loadavg: 3.10 1.71 1.22 2/213 9702
/proc/meminfo: memFree=23280624/32770624 swapFree=66956484/67108860
[pid=9680] ppid=9677 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9680/stat : 9680 (scop.sh) S 9677 9680 8819 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510115512 115843072 349 33554432000 4194304 5098028 140724226646704 140724226643960 139909303194236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20729856 140724226655012 140724226655340 140724226655340 140724226658253 0
/proc/9680/statm: 28282 349 296 221 0 87 0
[pid=9683] ppid=9680 vsize=27314120 memory=107516 CPUtime=0.1 cores=0-7
/proc/9683/stat : 9683 (java) S 9680 9680 8819 0 -1 1077944320 6464 0 0 0 8 2 0 0 20 0 20 0 510115512 27969658880 26879 33554432000 4194304 4196468 140734724772048 140734724754592 140255817338615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
/proc/9683/statm: 6828530 26879 2779 1 0 6790935 0
[pid=9683/tid=9684] ppid=9680 vsize=27314120 memory=4715441925521568666 CPUtime=0.08 cores=0-7
/proc/9683/task/9684/stat : 9684 (java) R 9680 9680 8819 0 -1 4202560 4585 0 0 0 7 1 0 0 20 0 20 0 510115512 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255789173040 140255817360541 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9685] ppid=9680 vsize=27314120 memory=732370331247520741 CPUtime=0 cores=0-7
/proc/9683/task/9685/stat : 9685 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255821581072 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9686] ppid=9680 vsize=27314120 memory=140192910067328 CPUtime=0 cores=0-7
/proc/9683/task/9686/stat : 9686 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255648398224 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9687] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9687/stat : 9687 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255238376464 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9688] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9688/stat : 9688 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255237323920 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9689] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9689/stat : 9689 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255236270352 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9690] ppid=9680 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9683/task/9690/stat : 9690 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255235217808 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9691] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9691/stat : 9691 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255234165264 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9692] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9692/stat : 9692 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 26879 33554432000 4194304 4196468 140734724772048 140255233112720 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9693] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9693/stat : 9693 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115516 27969658880 26879 33554432000 4194304 4196468 140734724772048 140254875773424 140255817349762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9694] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9694/stat : 9694 (java) S 9680 9680 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510115517 27969658880 26879 33554432000 4194304 4196468 140734724772048 140253767656864 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9695] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9695/stat : 9695 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115517 27969658880 26879 33554432000 4194304 4196468 140734724772048 140253499221488 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9696] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9696/stat : 9696 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 26879 33554432000 4194304 4196468 140734724772048 140253124713168 140255817357211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9697] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9697/stat : 9697 (java) S 9680 9680 8819 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 26879 33554432000 4194304 4196468 140734724772048 140254874720240 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9698] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9698/stat : 9698 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 26879 33554432000 4194304 4196468 140734724772048 140254873667696 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9699] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9699/stat : 9699 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 26879 33554432000 4194304 4196468 140734724772048 140254872615152 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9700] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9700/stat : 9700 (java) S 9680 9680 8819 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 26879 33554432000 4194304 4196468 140734724772048 140254871562608 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9701] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9701/stat : 9701 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 26879 33554432000 4194304 4196468 140734724772048 140252626807520 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9702] ppid=9680 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9683/task/9702/stat : 9702 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 26879 33554432000 4194304 4196468 140734724772048 140254870510512 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108912 KiB

[startup+0.210433 s]*
/proc/loadavg: 3.10 1.71 1.22 3/213 9702
/proc/meminfo: memFree=23256984/32770624 swapFree=66956484/67108860
[pid=9680] ppid=9677 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9680/stat : 9680 (scop.sh) S 9677 9680 8819 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510115512 115843072 349 33554432000 4194304 5098028 140724226646704 140724226643960 139909303194236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20729856 140724226655012 140724226655340 140724226655340 140724226658253 0
/proc/9680/statm: 28282 349 296 221 0 87 0
[pid=9683] ppid=9680 vsize=27314120 memory=126848 CPUtime=0.24 cores=0-7
/proc/9683/stat : 9683 (java) S 9680 9680 8819 0 -1 1077944320 12132 0 0 0 20 4 0 0 20 0 20 0 510115512 27969658880 31712 33554432000 4194304 4196468 140734724772048 140734724754592 140255817338615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
/proc/9683/statm: 6828530 31712 2913 1 0 6790935 0
[pid=9683/tid=9684] ppid=9680 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/9683/task/9684/stat : 9684 (java) R 9680 9680 8819 0 -1 4202560 9834 0 0 0 16 3 0 0 20 0 20 0 510115512 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255789138000 140255797614298 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9685] ppid=9680 vsize=27314120 memory=732370331247520741 CPUtime=0 cores=0-7
/proc/9683/task/9685/stat : 9685 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255821581072 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9686] ppid=9680 vsize=27314120 memory=140192910067328 CPUtime=0 cores=0-7
/proc/9683/task/9686/stat : 9686 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255648398224 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9687] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9687/stat : 9687 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255238376464 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9688] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9688/stat : 9688 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255237323920 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9689] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9689/stat : 9689 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255236270352 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9690] ppid=9680 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9683/task/9690/stat : 9690 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255235217808 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9691] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9691/stat : 9691 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255234165264 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9692] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9692/stat : 9692 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 31712 33554432000 4194304 4196468 140734724772048 140255233112720 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9693] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9693/stat : 9693 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115516 27969658880 31712 33554432000 4194304 4196468 140734724772048 140254875773424 140255817349762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9694] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9694/stat : 9694 (java) S 9680 9680 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510115517 27969658880 31712 33554432000 4194304 4196468 140734724772048 140253767656864 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9695] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9695/stat : 9695 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115517 27969658880 31712 33554432000 4194304 4196468 140734724772048 140253499221488 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9696] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9696/stat : 9696 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 31712 33554432000 4194304 4196468 140734724772048 140253124713168 140255817357211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9697] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9697/stat : 9697 (java) S 9680 9680 8819 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 31712 33554432000 4194304 4196468 140734724772048 140254874720240 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9698] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9698/stat : 9698 (java) S 9680 9680 8819 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 31712 33554432000 4194304 4196468 140734724772048 140254873667696 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9699] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9699/stat : 9699 (java) S 9680 9680 8819 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 31712 33554432000 4194304 4196468 140734724772048 140254872615152 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9700] ppid=9680 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/9683/task/9700/stat : 9700 (java) S 9680 9680 8819 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 510115520 27969658880 31712 33554432000 4194304 4196468 140734724772048 140254871562608 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9701] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9701/stat : 9701 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 31712 33554432000 4194304 4196468 140734724772048 140252626807520 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9702] ppid=9680 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9683/task/9702/stat : 9702 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 31712 33554432000 4194304 4196468 140734724772048 140254870510512 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128244 KiB

[startup+0.30995 s]*
/proc/loadavg: 3.10 1.71 1.22 2/213 9702
/proc/meminfo: memFree=23254068/32770624 swapFree=66956484/67108860
[pid=9680] ppid=9677 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9680/stat : 9680 (scop.sh) S 9677 9680 8819 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510115512 115843072 349 33554432000 4194304 5098028 140724226646704 140724226643960 139909303194236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20729856 140724226655012 140724226655340 140724226655340 140724226658253 0
/proc/9680/statm: 28282 349 296 221 0 87 0
[pid=9683] ppid=9680 vsize=27314120 memory=130452 CPUtime=0.42 cores=0-7
/proc/9683/stat : 9683 (java) S 9680 9680 8819 0 -1 1077944320 12494 0 0 0 37 5 0 0 20 0 20 0 510115512 27969658880 32613 33554432000 4194304 4196468 140734724772048 140734724754592 140255817338615 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
/proc/9683/statm: 6828530 32613 3016 1 0 6790935 0
[pid=9683/tid=9684] ppid=9680 vsize=27314120 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9683/task/9684/stat : 9684 (java) R 9680 9680 8819 0 -1 4202560 10021 0 0 0 26 3 0 0 20 0 20 0 510115512 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255789150960 140255801419102 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9685] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9685/stat : 9685 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255821581072 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9686] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9686/stat : 9686 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255648398224 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9687] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9687/stat : 9687 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255238376464 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9688] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9688/stat : 9688 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255237323920 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9689] ppid=9680 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/9683/task/9689/stat : 9689 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255236270352 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9690] ppid=9680 vsize=27314120 memory=140192765801391 CPUtime=0 cores=0-7
/proc/9683/task/9690/stat : 9690 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255235217808 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9691] ppid=9680 vsize=27314120 memory=140192765803696 CPUtime=0 cores=0-7
/proc/9683/task/9691/stat : 9691 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255234165264 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9692] ppid=9680 vsize=27314120 memory=140192765806000 CPUtime=0 cores=0-7
/proc/9683/task/9692/stat : 9692 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510115515 27969658880 32613 33554432000 4194304 4196468 140734724772048 140255233112720 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9693] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9693/stat : 9693 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115516 27969658880 32613 33554432000 4194304 4196468 140734724772048 140254875773424 140255817349762 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9694] ppid=9680 vsize=27314120 memory=280385531618960 CPUtime=0 cores=0-7
/proc/9683/task/9694/stat : 9694 (java) S 9680 9680 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 510115517 27969658880 32613 33554432000 4194304 4196468 140734724772048 140253767656864 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9695] ppid=9680 vsize=27314120 memory=280385531625872 CPUtime=0 cores=0-7
/proc/9683/task/9695/stat : 9695 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115517 27969658880 32613 33554432000 4194304 4196468 140734724772048 140253499221488 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9696] ppid=9680 vsize=27314120 memory=280385531567152 CPUtime=0 cores=0-7
/proc/9683/task/9696/stat : 9696 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 32613 33554432000 4194304 4196468 140734724772048 140253124713168 140255817357211 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9697] ppid=9680 vsize=27314120 memory=280385531639696 CPUtime=0 cores=0-7
/proc/9683/task/9697/stat : 9697 (java) R 9680 9680 8819 0 -1 4202560 472 0 0 0 0 0 0 0 20 0 20 0 510115519 27969658880 32613 33554432000 4194304 4196468 140734724772048 140254874720240 140255801244465 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9698] ppid=9680 vsize=27314120 memory=280385531646608 CPUtime=0.01 cores=0-7
/proc/9683/task/9698/stat : 9698 (java) S 9680 9680 8819 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 510115519 27969658880 32613 33554432000 4194304 4196468 140734724772048 140254873667696 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9699] ppid=9680 vsize=27314120 memory=280385531644304 CPUtime=0.01 cores=0-7
/proc/9683/task/9699/stat : 9699 (java) S 9680 9680 8819 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 20 0 510115520 27969658880 32613 33554432000 4194304 4196468 140734724772048 140254872615152 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9700] ppid=9680 vsize=27314120 memory=280385531660464 CPUtime=0.07 cores=0-7
/proc/9683/task/9700/stat : 9700 (java) S 9680 9680 8819 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 20 0 510115520 27969658880 32613 33554432000 4194304 4196468 140734724772048 140254871562608 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9701] ppid=9680 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9701/stat : 9701 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 32613 33554432000 4194304 4196468 140734724772048 140252626807520 140255817348821 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9702] ppid=9680 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/9683/task/9702/stat : 9702 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115520 27969658880 32613 33554432000 4194304 4196468 140734724772048 140254870510512 140255817349762 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131848 KiB

[startup+0.700944 s]
/proc/loadavg: 3.10 1.71 1.22 3/213 9702
/proc/meminfo: memFree=23233396/32770624 swapFree=66956484/67108860
[pid=9680] ppid=9677 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/9680/stat : 9680 (scop.sh) S 9677 9680 8819 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 510115512 115843072 349 33554432000 4194304 5098028 140724226646704 140724226643960 139909303194236 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20729856 140724226655012 140724226655340 140724226655340 140724226658253 0
/proc/9680/statm: 28282 349 296 221 0 87 0
[pid=9683] ppid=9680 vsize=27320392 memory=165612 CPUtime=1.01 cores=0-7
/proc/9683/stat : 9683 (java) S 9680 9680 8819 0 -1 1077944320 19970 0 0 0 93 8 0 0 20 0 20 0 510115512 27976081408 41403 33554432000 4194304 4196468 140734724772048 140734724754592 140255817338615 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
/proc/9683/statm: 6830098 41403 3182 1 0 6791447 0
[pid=9683/tid=9684] ppid=9680 vsize=27320392 memory=280385531955392 CPUtime=0.67 cores=0-7
/proc/9683/task/9684/stat : 9684 (java) R 9680 9680 8819 0 -1 4202560 16939 0 0 0 61 6 0 0 20 0 20 0 510115512 27976081408 41403 33554432000 4194304 4196468 140734724772048 140255789177184 140255817360541 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9685] ppid=9680 vsize=27320392 memory=5076651345044 CPUtime=0 cores=0-7
/proc/9683/task/9685/stat : 9685 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27976081408 41403 33554432000 4194304 4196468 140734724772048 140255821581072 140255817348821 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9686] ppid=9680 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9686/stat : 9686 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510115515 27976081408 41403 33554432000 4194304 4196468 140734724772048 140255648398224 140255817348821 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0
[pid=9683/tid=9687] ppid=9680 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/9683/task/9687/stat : 9687 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510115515 27976081408 41403 33554432000 4194304 4196468 140734724772048 140255238376464 140255817348821 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17616896 140734724780779 140734724781206 140734724781206 140734724784079 0

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

[pid=9705/tid=9708] ppid=9680 vsize=8414124 memory=131548 CPUtime=0 cores=0-7
/proc/9705/task/9708/stat : 9708 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637694119056 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9709] ppid=9680 vsize=8414124 memory=2337556 CPUtime=0 cores=0-7
/proc/9705/task/9709/stat : 9709 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637693066000 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9710] ppid=9680 vsize=8414124 memory=51788 CPUtime=0 cores=0-7
/proc/9705/task/9710/stat : 9710 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637692013456 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9711] ppid=9680 vsize=8414124 memory=984 CPUtime=0 cores=0-7
/proc/9705/task/9711/stat : 9711 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637690960400 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9712] ppid=9680 vsize=8414124 memory=2032 CPUtime=0 cores=0-7
/proc/9705/task/9712/stat : 9712 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637689907856 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9713] ppid=9680 vsize=8414124 memory=1328 CPUtime=0 cores=0-7
/proc/9705/task/9713/stat : 9713 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637688854800 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9714] ppid=9680 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/9705/task/9714/stat : 9714 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637687802256 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9715] ppid=9680 vsize=8414124 memory=976 CPUtime=0 cores=0-7
/proc/9705/task/9715/stat : 9715 (java) S 9680 9680 8819 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510117340 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637503695600 140638208838274 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9716] ppid=9680 vsize=8414124 memory=772 CPUtime=0 cores=0-7
/proc/9705/task/9716/stat : 9716 (java) S 9680 9680 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510117340 8616062976 32887 33554432000 4194304 4196468 140721119964672 140636825052832 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9717] ppid=9680 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/9705/task/9717/stat : 9717 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117340 8616062976 32887 33554432000 4194304 4196468 140721119964672 140636556616944 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9718] ppid=9680 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/9705/task/9718/stat : 9718 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117343 8616062976 32887 33554432000 4194304 4196468 140721119964672 140636182108624 140638208845723 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9719] ppid=9680 vsize=8414124 memory=1548 CPUtime=0.16 cores=0-7
/proc/9705/task/9719/stat : 9719 (java) S 9680 9680 8819 0 -1 1077944384 731 0 0 0 16 0 0 0 20 0 24 0 510117343 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637502642416 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9720] ppid=9680 vsize=8414124 memory=504 CPUtime=0.29 cores=0-7
/proc/9705/task/9720/stat : 9720 (java) S 9680 9680 8819 0 -1 1077944384 1094 0 0 0 29 0 0 0 20 0 24 0 510117343 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637501589872 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9721] ppid=9680 vsize=8414124 memory=1564 CPUtime=0.12 cores=0-7
/proc/9705/task/9721/stat : 9721 (java) S 9680 9680 8819 0 -1 1077944384 435 0 0 0 12 0 0 0 20 0 24 0 510117343 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637500536816 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9722] ppid=9680 vsize=8414124 memory=924 CPUtime=0.25 cores=0-7
/proc/9705/task/9722/stat : 9722 (java) S 9680 9680 8819 0 -1 1077944384 659 0 0 0 25 0 0 0 20 0 24 0 510117343 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637499484272 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9723] ppid=9680 vsize=8414124 memory=1420 CPUtime=0 cores=0-7
/proc/9705/task/9723/stat : 9723 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510117343 8616062976 32887 33554432000 4194304 4196468 140721119964672 140635684203488 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9724] ppid=9680 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/9705/task/9724/stat : 9724 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510117343 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637498432688 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9726] ppid=9680 vsize=8414124 memory=2532 CPUtime=0 cores=0-7
/proc/9705/task/9726/stat : 9726 (java) S 9680 9680 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510117425 8616062976 32887 33554432000 4194304 4196468 140721119964672 140637496821184 140638208851737 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9728] ppid=9680 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/9705/task/9728/stat : 9728 (java) S 9680 9680 8819 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 510117425 8616062976 32887 33554432000 4194304 4196468 140721119964672 140635013103152 140638208849053 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9729] ppid=9680 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/9705/task/9729/stat : 9729 (java) S 9680 9680 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510117426 8616062976 32887 33554432000 4194304 4196468 140721119964672 140635281538736 140638208849053 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9730] ppid=9680 vsize=8414124 memory=1772 CPUtime=0 cores=0-7
/proc/9705/task/9730/stat : 9730 (java) S 9680 9680 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510117428 8616062976 32887 33554432000 4194304 4196468 140721119964672 140634744675248 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
Current children cumulated CPU time: 116.16 s
Current children cumulated vsize: 11335432 KiB
Current children cumulated memory: 2577212 KiB

[startup+34.0012 s]*
/proc/loadavg: 3.52 1.90 1.30 4/218 9739
/proc/meminfo: memFree=21607068/32770624 swapFree=66956484/67108860
[pid=9680] ppid=9677 vsize=113128 memory=1476 CPUtime=32.66 cores=0-7
/proc/9680/stat : 9680 (scop.sh) S 9677 9680 8819 0 -1 4202496 584 45202 0 0 0 0 3121 145 20 0 1 0 510115512 115843072 369 33554432000 4194304 5098028 140724226646704 140724226643448 139909303194236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20729856 140724226655012 140724226655340 140724226655340 140724226658253 0
/proc/9680/statm: 28282 369 311 221 0 87 0
[pid=9705] ppid=9680 vsize=8414124 memory=241264 CPUtime=2.13 cores=0-7
/proc/9705/stat : 9705 (java) S 9680 9680 8819 0 -1 1077944320 24228 0 0 0 195 18 0 0 20 0 24 0 510117337 8616062976 60316 33554432000 4194304 4196468 140721119964672 140721119947216 140638208827127 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
/proc/9705/statm: 2103531 60316 3227 1 0 2064875 0
[pid=9705/tid=9706] ppid=9680 vsize=8414124 memory=6656426216303648864 CPUtime=0.91 cores=0-7
/proc/9705/task/9706/stat : 9706 (java) S 9680 9680 8819 0 -1 1077944384 17484 0 0 0 80 11 0 0 20 0 24 0 510117337 8616062976 60828 33554432000 4194304 4196468 140721119964672 140638180667296 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9707] ppid=9680 vsize=8414124 memory=-4695043397844020537 CPUtime=0 cores=0-7
/proc/9705/task/9707/stat : 9707 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140638213069840 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9708] ppid=9680 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/9705/task/9708/stat : 9708 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637694119056 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9709] ppid=9680 vsize=8414124 memory=3108 CPUtime=0 cores=0-7
/proc/9705/task/9709/stat : 9709 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637693066000 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9710] ppid=9680 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/9705/task/9710/stat : 9710 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637692013456 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9711] ppid=9680 vsize=8414124 memory=131548 CPUtime=0 cores=0-7
/proc/9705/task/9711/stat : 9711 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637690960400 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9712] ppid=9680 vsize=8414124 memory=2444080 CPUtime=0 cores=0-7
/proc/9705/task/9712/stat : 9712 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637689907856 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9713] ppid=9680 vsize=8414124 memory=-4075877051373423739 CPUtime=0 cores=0-7
/proc/9705/task/9713/stat : 9713 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637688854800 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9714] ppid=9680 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/9705/task/9714/stat : 9714 (java) S 9680 9680 8819 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 510117338 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637687802256 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9715] ppid=9680 vsize=8414124 memory=280385532307168 CPUtime=0 cores=0-7
/proc/9705/task/9715/stat : 9715 (java) S 9680 9680 8819 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 510117340 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637503695600 140638208838274 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9716] ppid=9680 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9705/task/9716/stat : 9716 (java) S 9680 9680 8819 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 510117340 8616062976 60828 33554432000 4194304 4196468 140721119964672 140636825052832 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9717] ppid=9680 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/9705/task/9717/stat : 9717 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117340 8616062976 60828 33554432000 4194304 4196468 140721119964672 140636556616944 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9718] ppid=9680 vsize=8414124 memory=280385532266104 CPUtime=0 cores=0-7
/proc/9705/task/9718/stat : 9718 (java) S 9680 9680 8819 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 510117343 8616062976 60828 33554432000 4194304 4196468 140721119964672 140636182108624 140638208845723 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9719] ppid=9680 vsize=8414124 memory=6656426216303648864 CPUtime=0.21 cores=0-7
/proc/9705/task/9719/stat : 9719 (java) S 9680 9680 8819 0 -1 1077944384 846 0 0 0 21 0 0 0 20 0 24 0 510117343 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637502642416 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9720] ppid=9680 vsize=8414124 memory=43120801330 CPUtime=0.31 cores=0-7
/proc/9705/task/9720/stat : 9720 (java) S 9680 9680 8819 0 -1 1077944384 1104 0 0 0 31 0 0 0 20 0 24 0 510117343 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637501589872 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9721] ppid=9680 vsize=8414124 memory=0 CPUtime=0.16 cores=0-7
/proc/9705/task/9721/stat : 9721 (java) R 9680 9680 8819 0 -1 4202560 449 0 0 0 16 0 0 0 20 0 24 0 510117343 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637500536816 140638190350272 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9722] ppid=9680 vsize=8414124 memory=0 CPUtime=0.29 cores=0-7
/proc/9705/task/9722/stat : 9722 (java) S 9680 9680 8819 0 -1 1077944384 1195 0 0 0 29 0 0 0 20 0 24 0 510117343 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637499484272 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9723] ppid=9680 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9705/task/9723/stat : 9723 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510117343 8616062976 60828 33554432000 4194304 4196468 140721119964672 140635684203488 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9724] ppid=9680 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9705/task/9724/stat : 9724 (java) S 9680 9680 8819 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 510117343 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637498432688 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9726] ppid=9680 vsize=8414124 memory=33 CPUtime=0 cores=0-7
/proc/9705/task/9726/stat : 9726 (java) S 9680 9680 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510117425 8616062976 60828 33554432000 4194304 4196468 140721119964672 140637496821184 140638208851737 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9728] ppid=9680 vsize=8414124 memory=0 CPUtime=0.17 cores=0-7
/proc/9705/task/9728/stat : 9728 (java) R 9680 9680 8819 0 -1 4202560 1756 0 0 0 14 3 0 0 20 0 24 0 510117425 8616062976 60828 33554432000 4194304 4196468 140721119964672 140635013103104 140637715854678 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9729] ppid=9680 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9705/task/9729/stat : 9729 (java) S 9680 9680 8819 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 510117426 8616062976 60828 33554432000 4194304 4196468 140721119964672 140635281538736 140638208849053 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9730] ppid=9680 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/9705/task/9730/stat : 9730 (java) S 9680 9680 8819 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 24 0 510117428 8616062976 60828 33554432000 4194304 4196468 140721119964672 140634744675248 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
Current children cumulated CPU time: 34.79 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 242740 KiB

[startup+34.4009 s]
/proc/loadavg: 3.52 1.90 1.30 4/218 9739
/proc/meminfo: memFree=21607068/32770624 swapFree=66956484/67108860
[pid=9680] ppid=9677 vsize=113128 memory=1476 CPUtime=32.66 cores=0-7
/proc/9680/stat : 9680 (scop.sh) S 9677 9680 8819 0 -1 4202496 584 45202 0 0 0 0 3121 145 20 0 1 0 510115512 115843072 369 33554432000 4194304 5098028 140724226646704 140724226643448 139909303194236 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20729856 140724226655012 140724226655340 140724226655340 140724226658253 0
/proc/9680/statm: 28282 369 311 221 0 87 0
[pid=9705] ppid=9680 vsize=8283048 memory=318360 CPUtime=85.12 cores=0-7
/proc/9705/stat : 9705 (java) S 9680 9680 8819 0 -1 1077944320 26132 1168400 0 0 281 20 7930 281 20 0 22 0 510117337 8481841152 79590 33554432000 4194304 4196468 140721119964672 140721119947216 140638208827127 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
/proc/9705/statm: 2070762 79590 3235 1 0 2032106 0
[pid=9705/tid=9706] ppid=9680 vsize=8283048 memory=6944656592455359580 CPUtime=83.24 cores=0-7
/proc/9705/task/9706/stat : 9706 (java) R 9680 9680 8819 0 -1 4202560 17806 1168400 0 0 101 12 7930 281 20 0 22 0 510117337 8481841152 79590 33554432000 4194304 4196468 140721119964672 140638180665968 140638201512759 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9707] ppid=9680 vsize=8283048 memory=8112282956445269571 CPUtime=82.11 cores=0-7
/proc/9705/task/9707/stat : 9707 (java) S 9680 9680 8819 0 -1 1077944384 2 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140638213069840 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9708] ppid=9680 vsize=8283048 memory=1476 CPUtime=82.11 cores=0-7
/proc/9705/task/9708/stat : 9708 (java) S 9680 9680 8819 0 -1 1077944384 1 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637694119056 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9709] ppid=9680 vsize=8283048 memory=146956 CPUtime=82.11 cores=0-7
/proc/9705/task/9709/stat : 9709 (java) S 9680 9680 8819 0 -1 1077944384 3 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637693066000 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9710] ppid=9680 vsize=8283048 memory=2445560 CPUtime=82.11 cores=0-7
/proc/9705/task/9710/stat : 9710 (java) S 9680 9680 8819 0 -1 1077944384 2 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637692013456 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9711] ppid=9680 vsize=8283048 memory=1476 CPUtime=82.11 cores=0-7
/proc/9705/task/9711/stat : 9711 (java) S 9680 9680 8819 0 -1 1077944384 2 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637690960400 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9712] ppid=9680 vsize=8283048 memory=1476 CPUtime=82.11 cores=0-7
/proc/9705/task/9712/stat : 9712 (java) S 9680 9680 8819 0 -1 1077944384 2 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637689907856 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9713] ppid=9680 vsize=8283048 memory=288284472154260269 CPUtime=82.11 cores=0-7
/proc/9705/task/9713/stat : 9713 (java) S 9680 9680 8819 0 -1 1077944384 1 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637688854800 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9714] ppid=9680 vsize=8283048 memory=4206186544037388384 CPUtime=82.11 cores=0-7
/proc/9705/task/9714/stat : 9714 (java) S 9680 9680 8819 0 -1 1077944384 2 1168400 0 0 0 0 7930 281 20 0 22 0 510117338 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637687802256 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9715] ppid=9680 vsize=8283048 memory=4206186544037388384 CPUtime=82.11 cores=0-7
/proc/9705/task/9715/stat : 9715 (java) S 9680 9680 8819 0 -1 1077944384 7 1168400 0 0 0 0 7930 281 20 0 22 0 510117340 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637503695600 140638208838274 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9716] ppid=9680 vsize=8283048 memory=6655300316396806240 CPUtime=82.11 cores=0-7
/proc/9705/task/9716/stat : 9716 (java) S 9680 9680 8819 0 -1 1077944384 13 1168400 0 0 0 0 7930 281 20 0 22 0 510117340 8481841152 79590 33554432000 4194304 4196468 140721119964672 140636825052832 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9717] ppid=9680 vsize=8283048 memory=6655300316396806240 CPUtime=82.11 cores=0-7
/proc/9705/task/9717/stat : 9717 (java) S 9680 9680 8819 0 -1 1077944384 1 1168400 0 0 0 0 7930 281 20 0 22 0 510117340 8481841152 79590 33554432000 4194304 4196468 140721119964672 140636556616944 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9718] ppid=9680 vsize=8283048 memory=6944656592387989600 CPUtime=82.11 cores=0-7
/proc/9705/task/9718/stat : 9718 (java) S 9680 9680 8819 0 -1 1077944384 1 1168400 0 0 0 0 7930 281 20 0 22 0 510117343 8481841152 79590 33554432000 4194304 4196468 140721119964672 140636182108624 140638208845723 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9719] ppid=9680 vsize=8283048 memory=6656426216303648864 CPUtime=82.42 cores=0-7
/proc/9705/task/9719/stat : 9719 (java) R 9680 9680 8819 0 -1 4202560 1264 1168400 0 0 31 0 7930 281 20 0 22 0 510117343 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637502627936 140638192323961 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9720] ppid=9680 vsize=8283048 memory=6944656575208382560 CPUtime=82.55 cores=0-7
/proc/9705/task/9720/stat : 9720 (java) R 9680 9680 8819 0 -1 4202560 1194 1168400 0 0 44 0 7930 281 20 0 22 0 510117343 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637501572080 140638193952536 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9721] ppid=9680 vsize=8283048 memory=2369368 CPUtime=82.39 cores=0-7
/proc/9705/task/9721/stat : 9721 (java) R 9680 9680 8819 0 -1 4202560 974 1168400 0 0 28 0 7930 281 20 0 22 0 510117343 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637500525488 140638192323915 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9722] ppid=9680 vsize=8283048 memory=1560 CPUtime=82.54 cores=0-7
/proc/9705/task/9722/stat : 9722 (java) S 9680 9680 8819 0 -1 1077944384 1702 1168400 0 0 43 0 7930 281 20 0 22 0 510117343 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637499484272 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9723] ppid=9680 vsize=8283048 memory=3620 CPUtime=82.11 cores=0-7
/proc/9705/task/9723/stat : 9723 (java) S 9680 9680 8819 0 -1 1077944384 3 1168400 0 0 0 0 7930 281 20 0 22 0 510117343 8481841152 79590 33554432000 4194304 4196468 140721119964672 140635684203488 140638208837333 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9724] ppid=9680 vsize=8283048 memory=51788 CPUtime=82.11 cores=0-7
/proc/9705/task/9724/stat : 9724 (java) S 9680 9680 8819 0 -1 1077944384 3 1168400 0 0 0 0 7930 281 20 0 22 0 510117343 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637498432688 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9726] ppid=9680 vsize=8283048 memory=8112282956445269571 CPUtime=82.11 cores=0-7
/proc/9705/task/9726/stat : 9726 (java) S 9680 9680 8819 0 -1 1077944384 23 1168400 0 0 0 0 7930 281 20 0 22 0 510117425 8481841152 79590 33554432000 4194304 4196468 140721119964672 140637496820368 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
[pid=9705/tid=9730] ppid=9680 vsize=8283048 memory=1772 CPUtime=82.11 cores=0-7
/proc/9705/task/9730/stat : 9730 (java) S 9680 9680 8819 0 -1 1077944384 10 1168400 0 0 0 0 7930 281 20 0 22 0 510117428 8481841152 79590 33554432000 4194304 4196468 140721119964672 140634744677040 140638208838274 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13561856 140721119966200 140721119966358 140721119966358 140721119969231 0
Current children cumulated CPU time: 117.78 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 319836 KiB

Child status: 0
Real time (s): 34.4229
CPU time (s): 117.837
CPU user time (s): 113.351
CPU system time (s): 4.48583
CPU usage (%): 342.321
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6023464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.351
system time used= 4.48583
maximum resident set size= 6023204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1240370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 106072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52274
involuntary context switches= 820


# summary of solver processes directly reported to runsolver:
#   pid: 9680
#   total CPU time (s): 117.837
#   total CPU user time (s): 113.351
#   total CPU system time (s): 4.48583

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.29998 second user time and 0.437203 second system time

The end

Launcher Data 

Begin job on node151 at 2019-09-24 17:20:01
IDJOB=4405461
IDBENCH=128096
IDSOLVER=2868
FILE ID=node151/4405461-1569338442
RUNJOBID= node151-1569335938-8846
PBS_JOBID= 21705046
Free space on /tmp= 12412 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-65-10.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405461-1569338442/watcher-4405461-1569338442 -o /tmp/evaluation-result-4405461-1569338442/solver-4405461-1569338442 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569335938-8846 --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-4405461-1569338442.xml

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

MD5SUM BENCH= c4baa3ff261117e16f7eeec964fc150b
RANDOM SEED=586788715

node151.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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
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.53
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	: 5335.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23375968 kB
MemAvailable:   31794456 kB
Buffers:           88572 kB
Cached:          8490244 kB
SwapCached:        50756 kB
Active:          2726352 kB
Inactive:        5907460 kB
Active(anon):       2120 kB
Inactive(anon):   107572 kB
Active(file):    2724232 kB
Inactive(file):  5799888 kB
Unevictable:      108536 kB
Mlocked:          108536 kB
SwapTotal:      67108860 kB
SwapFree:       66956484 kB
Dirty:             20464 kB
Writeback:             0 kB
AnonPages:        158004 kB
Mapped:            54864 kB
Shmem:             45948 kB
Slab:             351804 kB
SReclaimable:     322828 kB
SUnreclaim:        28976 kB
KernelStack:        3744 kB
PageTables:         5020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    114688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 12392 MiB
End job on node151 at 2019-09-24 17:20:36