Trace number 4392370

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 order+ManyGlucose (2019-06-15)SAT 107.514 34.3106

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-75-03.xml
MD5SUM09f7292054b32b27f786cbe3f3fae605
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 benchmark6.32732
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1419
Number of domains2
Minimum domain size2
Maximum domain size27
Distribution of domain sizes[{"size":2,"count":1000},{"size":27,"count":200}]
Minimum variable degree2
Maximum variable degree73
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":49,"count":8}, {"degree":50,"count":8}, {"degree":51,"count":8}, {"degree":52,"count":9}, {"degree":53,"count":10}, {"degree":54,"count":57}, {"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":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":3}, {"degree":73,"count":61}]
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":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":55,"count":1},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":60,"count":1},{"arity":62,"count":3},{"arity":64,"count":1},{"arity":65,"count":4},{"arity":66,"count":1},{"arity":68,"count":3},{"arity":70,"count":3},{"arity":71,"count":2},{"arity":72,"count":1},{"arity":74,"count":3},{"arity":75,"count":2},{"arity":76,"count":1},{"arity":77,"count":2},{"arity":78,"count":1},{"arity":80,"count":5},"...",{"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":1218},{"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 -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-15702-serial-file.bin HOME/instance-4392370-1568431006.xml
0.66/0.54	
0.66/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.56	c BEGIN-Prog: Sat Sep 14 05:16:07 CEST 2019
0.66/0.56	c PID: 15705
0.66/0.56	c IP: 172.20.3.140
0.66/0.56	c HOST: node140.alineos.net
0.66/0.57	c (0,0) Parsing Begin
3.05/1.39	c (0,0) Parsing End
3.38/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1419 ctr, max domain size 27
3.38/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.38/1.40	c (0,0) Constraint Name Generate Begin
3.38/1.42	c (0,0) Ctr:HOME/instance-4392370-1568431006.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.38/1.42	c (0,0) Constraint Name Generate End
3.38/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.38/1.42	c (0,0) CSP to CSPinCNF Begin
12.16/4.85	c (4,4) translated 142 (10%) constraints
12.82/5.46	c (4,4) translated 284 (20%) constraints
12.82/5.48	c (4,4) translated 426 (30%) constraints
13.14/5.50	c (4,4) translated 568 (40%) constraints
13.14/5.52	c (4,4) translated 710 (50%) constraints
13.14/5.54	c (4,4) translated 852 (60%) constraints
13.14/5.55	c (5,5) translated 994 (70%) constraints
13.14/5.57	c (5,5) translated 1136 (80%) constraints
15.52/7.36	c (6,6) translated 1278 (90%) constraints
17.03/8.85	c (8,8) translated 1419 (100%) constraints
17.03/8.87	c (8,8) ===========================================
17.03/8.87	c (8,8) Order
17.03/8.87	c (8,8) ===========================================
19.17/9.61	c (9,9) translated 6005 (10%) constraints
19.77/9.89	c (9,9) translated 12009 (20%) constraints
20.45/10.04	c (9,9) translated 18014 (30%) constraints
20.62/10.17	c (9,9) translated 24018 (40%) constraints
20.80/10.30	c (9,9) translated 30023 (50%) constraints
20.91/10.43	c (9,9) translated 36027 (60%) constraints
21.01/10.56	c (10,10) translated 42032 (70%) constraints
21.10/10.69	c (10,10) translated 48036 (80%) constraints
21.31/10.82	c (10,10) translated 54041 (90%) constraints
26.74/12.61	c (12,12) translated 60045 (100%) constraints
26.74/12.62	c (12,12) CSP to CSPinCNF End
26.74/12.63	c (12,12) CSP: 9128 int (8928 aux), 22654 bool (21654 aux), 81105 ctr, max domain size 68
26.74/12.63	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
26.74/12.63	c (12,12) CSPinCNF Propagation Begin
28.63/13.14	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
28.63/13.14	c (12,12) CSPinCNF Propagation End
28.63/13.15	c (12,12) CSP: 9128 int (8928 aux), 22654 bool (21654 aux), 80705 ctr, max domain size 68
28.63/13.15	c (12,12) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.63/13.15	c (12,12) Simplify CSPinCNF Begin
29.20/13.38	c (12,12) Simplify CSPinCNF End
29.20/13.38	c (12,12) CSP: 9128 int (8928 aux), 22654 bool (21654 aux), 80705 ctr, max domain size 68
29.20/13.38	c (12,12) Heap : 5294 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
29.20/13.38	c (12,12) Calculate Precise Domain Begin
29.44/13.48	c (12,12) 0 values are removed by re-calculation
29.44/13.48	c (12,12) Calculate Precise Domain End
29.44/13.49	c (12,12) CSP: 9128 int (8928 aux), 22654 bool (21654 aux), 80705 ctr, max domain size 68
29.44/13.49	c (12,12) Heap : 5406 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
29.44/13.49	c (12,12) CSPinCNF to SatSolver Begin
33.86/15.13	c (14,14) 8071 (10 %) CSP clauses are encoded (0 SAT variables, 655846 SAT clauses)
34.11/15.34	c (14,14) 16141 (20 %) CSP clauses are encoded (0 SAT variables, 663916 SAT clauses)
34.21/15.42	c (14,14) 24212 (30 %) CSP clauses are encoded (0 SAT variables, 671987 SAT clauses)
34.38/15.51	c (14,14) 32282 (40 %) CSP clauses are encoded (0 SAT variables, 680057 SAT clauses)
34.38/15.59	c (15,14) 40353 (50 %) CSP clauses are encoded (0 SAT variables, 688128 SAT clauses)
34.50/15.67	c (15,14) 48423 (60 %) CSP clauses are encoded (0 SAT variables, 696198 SAT clauses)
34.60/15.74	c (15,14) 56494 (70 %) CSP clauses are encoded (0 SAT variables, 704269 SAT clauses)
34.69/15.82	c (15,14) 64564 (80 %) CSP clauses are encoded (0 SAT variables, 712339 SAT clauses)
34.80/15.93	c (15,15) 72635 (90 %) CSP clauses are encoded (0 SAT variables, 724001 SAT clauses)
38.51/19.32	c (18,18) 80705 (100 %) CSP clauses are encoded (0 SAT variables, 2484332 SAT clauses)
38.51/19.32	c (18,18) CSPinCNF to SatSolver End
38.51/19.32	c (18,18) Heap : 4012 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
38.51/19.32	c (18,18) 149462 bool, 2485060 clause
38.51/19.32	c (18,18) Export Begin
38.66/19.48	c (18,18) Export to HOME/scop-15702-serial-file.bin
38.66/19.48	c (18,18) Export End
38.66/19.48	c (18,18) Export File Size: 0.25 MB
38.66/19.48	c (18,18) 0,0,12,12,12,12,18,STOP-AFTER(DIMACS)
38.66/19.48	c END-Prog: Sat Sep 14 05:16:26 CEST 2019
0.00/19.52	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-15702-serial-file.bin
38.99/19.98	c (0,0) Read Serial File Begin
38.99/19.98	c (0,0) HOME/scop-15702-serial-file.bin
39.98/20.27	c (0,0) Read Serial File End
39.98/20.29	
40.48/20.98	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
40.48/20.98	(Solving Process)
40.48/20.98	
40.48/20.98	c BEGIN-Prog: Sat Sep 14 05:16:26 CEST 2019
40.48/20.98	c PID: 15725
40.48/20.98	c IP: 172.20.3.140
40.48/20.98	c HOST: node140.alineos.net
40.48/20.98	c (0,0) SatSolver.solve Begin
40.48/20.98	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392370-1568431006.xml-scop-15705.cnf
40.48/20.98	c (0,0) c
40.48/20.98	c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) --  based on MiniSAT (Many thanks to MiniSAT team)
40.48/20.98	c (0,0) c
40.48/20.98	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
40.48/20.98	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
40.48/20.98	c (0,0) c ========================================[ Problem Statistics ]===========================================
40.48/20.98	c (0,0) c |                                                                                                       |
41.30/21.89	c (1,0) c |  Number of variables:        149462                                                                   |
41.30/21.89	c (1,0) c |  Number of clauses:         2484796                                                                   |
41.30/21.89	c (1,0) c |  Parse time:                   0.80 s                                                                 |
41.30/21.89	c (1,0) c |                                                                                                       |
44.80/25.34	c (5,0) c |  Simplification time:          3.38 s                                                                 |
44.80/25.34	c (5,0) c |                                                                                                       |
44.80/25.34	c (5,0) c |  Generating clones                                                                                    |
45.40/26.01	c (6,0) c |  all clones generated. Memory =  1383.22Mb.                                                           |
45.40/26.01	c (6,0) c ========================================================================================================|
45.40/26.01	c (6,0) c
45.40/26.01	c (6,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
45.40/26.01	c (6,0) c
45.40/26.01	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
45.52/26.01	c (6,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
45.52/26.01	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
45.52/26.01	c (6,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
45.52/26.01	c (6,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
45.52/26.01	c (6,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
45.52/26.01	c (6,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
45.52/26.01	c (6,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
45.52/26.01	c (6,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
45.52/26.01	c (6,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
45.52/26.01	c (6,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
45.52/26.01	c (6,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
45.52/26.01	c (6,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
45.52/26.01	c (6,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
45.52/26.01	c (6,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
45.52/26.01	c (6,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
45.52/26.01	c (6,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
45.52/26.01	c (6,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
45.52/26.01	c (6,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.91	c (14,0) c
106.27/33.91	c (14,0) c real time : 13.5737 s
106.27/33.91	c (14,0) c cpu time  : 63.9128 s
106.27/33.91	c (14,0) c
106.27/33.91	c (14,0) c
106.27/33.91	c (14,0) c
106.27/33.91	c (14,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
106.27/33.91	c (14,0) c
106.27/33.91	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.91	c (14,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
106.27/33.91	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.91	c (14,0) c | Conflicts     |           17865 |       3036 |       1693 |       2490 |       2535 |       2394 |       1605 |       2507 |       1605 |
106.27/33.91	c (14,0) c | Decisions     |          663138 |      79513 |      71367 |      94652 |      74346 |      91122 |      81061 |      82984 |      88093 |
106.27/33.91	c (14,0) c | Propagations  |       100165942 |   12250409 |   11324728 |   13375810 |   11952620 |   13710737 |   11952971 |   13100471 |   12498196 |
106.27/33.91	c (14,0) c | ReduceDBs     |               5 |          1 |          0 |          1 |          1 |          1 |          0 |          1 |          0 |
106.27/33.91	c (14,0) c | SimpDBs       |              15 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          1 |
106.27/33.91	c (14,0) c | Restarts      |             177 |         31 |         13 |         25 |         23 |         26 |         17 |         28 |         14 |
106.27/33.91	c (14,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
106.27/33.91	c (14,0) c | PropBinClauses|       178238307 |   22938886 |   19804493 |   23676877 |   21059304 |   24716047 |   20969635 |   23478474 |   21594591 |
106.27/33.91	c (14,0) c | PropPreBlocker|       953451692 |  115781397 |  109629508 |  127294465 |  108809284 |  129657872 |  115070426 |  128875915 |  118332825 |
106.27/33.91	c (14,0) c | PropNotBlocker|       245033146 |   32955856 |   26552413 |   32586992 |   29094441 |   32228401 |   29254489 |   33564811 |   28795743 |
106.27/33.91	c (14,0) c | LitFullScans  |      1684929294 |  213023050 |  192191789 |  225338404 |  196430645 |  227913901 |  203769637 |  228173127 |  198088741 |
106.27/33.91	c (14,0) c | LitScanFracts |          937167 |     197890 |     116190 |     137821 |     160323 |      97068 |     100836 |      94421 |      32618 |
106.27/33.91	c (14,0) c | DecisionLevel0|             205 |         34 |         14 |         29 |         27 |         31 |         19 |         32 |         19 |
106.27/33.91	c (14,0) c | Periods       |             277 |         35 |         32 |         37 |         32 |         37 |         33 |         38 |         33 |
106.27/33.91	c (14,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
106.27/33.91	c (14,0) c | Avg_Trail     |                 |      55581 |      68389 |      58940 |      49061 |      60924 |      67058 |      64560 |      71993 |
106.27/33.91	c (14,0) c | Avg_DL        |                 |        406 |        507 |        433 |        415 |        387 |        497 |        461 |        471 |
106.27/33.91	c (14,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
106.27/33.91	c (14,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
106.27/33.91	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.91	c (14,0) c | Exported      |            1542 |        169 |        205 |        229 |        178 |        207 |        187 |        191 |        176 |
106.27/33.91	c (14,0) c | Imported      |            3602 |        589 |        381 |        321 |        333 |        674 |        459 |        612 |        233 |
106.27/33.91	c (14,0) c | Good          |            3440 |        566 |        362 |        301 |        321 |        651 |        437 |        588 |        214 |
106.27/33.91	c (14,0) c | Purge         |             162 |         23 |         19 |         20 |         12 |         23 |         22 |         24 |         19 |
106.27/33.91	c (14,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
106.27/33.91	c (14,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
106.27/33.91	c (14,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
106.27/33.91	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.91	c (14,0) c | Unaries       |                 |          3 |          1 |          4 |          4 |          5 |          2 |          4 |          5 |
106.27/33.91	c (14,0) c | Binaries      |                 |        168 |        201 |        226 |        166 |        199 |        187 |        187 |        173 |
106.27/33.91	c (14,0) c | Glues         |                 |        169 |        205 |        229 |        178 |        207 |        187 |        191 |        176 |
106.27/33.91	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.91	c (14,0) c | Orig_Seen     |             0 % |      18102 |      13844 |      17485 |      16460 |      16207 |      15349 |      18822 |      15583 |
106.27/33.91	c (14,0) c | Diff Orig seen|                 |       1642 | -     2616 |       1025 |      X     | -      253 | -     1111 |       2362 | -      877 |
106.27/33.91	c (14,0) c | Hamming       |            11 % |      17538 |      17655 |      18237 |      X     |      17336 |      16927 |      17346 |      17343 |
106.27/33.91	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.91	c (14,0) c | RunningTime   |                 |    7.7 100%|    7.9 100%|    7.6 100%|    7.6 100%|    7.7 100%|    7.8 100%|    7.6 100%|    7.7 100%|
106.27/33.91	c (14,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%|
106.27/33.91	c (14,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%|
106.27/33.91	c (14,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%|
106.27/33.91	c (14,0) c | SolvingTime   |                 |    7.7     |    7.9     |    7.6     |    7.6     |    7.7     |    7.8     |    7.6     |    7.7     |
106.27/33.91	c (14,0) c | PropagationTim|                 |    7.1  92%|    7.4  94%|    7.1  93%|    7.1  93%|    7.1  93%|    7.3  94%|    7.1  93%|    7.3  94%|
106.27/33.91	c (14,0) c | AnalysisTime  |                 |    0.1   2%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|    0.1   1%|
106.27/33.91	c (14,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%|
106.27/33.91	c (14,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   0%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   0%|
106.27/33.91	c (14,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%|
106.27/33.91	c (14,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%|
106.27/33.92	c (14,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.92	c (14,0) c
106.27/33.92	c (14,0) c
106.27/33.92	c (14,0) c Threads : 8
106.27/33.92	c (14,0) c Winner : 3
106.27/33.92	c (14,0) c Conflicts_0 : 3036
106.27/33.92	c (14,0) c Conflicts_1 : 1693
106.27/33.92	c (14,0) c Conflicts_2 : 2490
106.27/33.92	c (14,0) c Conflicts_3 : 2535
106.27/33.92	c (14,0) c Conflicts_4 : 2394
106.27/33.92	c (14,0) c Conflicts_5 : 1605
106.27/33.92	c (14,0) c Conflicts_6 : 2507
106.27/33.92	c (14,0) c Conflicts_7 : 1605
106.27/33.92	c (14,0) c Conflicts_total : 17865
106.27/33.92	c (14,0) c Conflicts_winner : 2535
106.27/33.92	c (14,0) c Decisions_0 : 79513
106.27/33.92	c (14,0) c Decisions_1 : 71367
106.27/33.92	c (14,0) c Decisions_2 : 94652
106.27/33.92	c (14,0) c Decisions_3 : 74346
106.27/33.92	c (14,0) c Decisions_4 : 91122
106.27/33.92	c (14,0) c Decisions_5 : 81061
106.27/33.92	c (14,0) c Decisions_6 : 82984
106.27/33.92	c (14,0) c Decisions_7 : 88093
106.27/33.92	c (14,0) c Decisions_total : 663138
106.27/33.92	c (14,0) c Decisions_winner : 74346
106.27/33.92	c (14,0) c Propagations_0 : 12250409
106.27/33.92	c (14,0) c Propagations_1 : 11324728
106.27/33.92	c (14,0) c Propagations_2 : 13375810
106.27/33.92	c (14,0) c Propagations_3 : 11952620
106.27/33.92	c (14,0) c Propagations_4 : 13710737
106.27/33.92	c (14,0) c Propagations_5 : 11952971
106.27/33.92	c (14,0) c Propagations_6 : 13100471
106.27/33.92	c (14,0) c Propagations_7 : 12498196
106.27/33.92	c (14,0) c Propagations_total : 100165942
106.27/33.92	c (14,0) c Propagations_winner : 11952620
106.27/33.92	c (14,0) c ReduceDBs_0 : 1
106.27/33.92	c (14,0) c ReduceDBs_1 : 0
106.27/33.92	c (14,0) c ReduceDBs_2 : 1
106.27/33.92	c (14,0) c ReduceDBs_3 : 1
106.27/33.92	c (14,0) c ReduceDBs_4 : 1
106.27/33.92	c (14,0) c ReduceDBs_5 : 0
106.27/33.92	c (14,0) c ReduceDBs_6 : 1
106.27/33.92	c (14,0) c ReduceDBs_7 : 0
106.27/33.92	c (14,0) c ReduceDBs_total : 5
106.27/33.92	c (14,0) c ReduceDBs_winner : 1
106.27/33.92	c (14,0) c SimpDBs_0 : 2
106.27/33.92	c (14,0) c SimpDBs_1 : 2
106.27/33.92	c (14,0) c SimpDBs_2 : 2
106.27/33.92	c (14,0) c SimpDBs_3 : 2
106.27/33.92	c (14,0) c SimpDBs_4 : 2
106.27/33.92	c (14,0) c SimpDBs_5 : 2
106.27/33.92	c (14,0) c SimpDBs_6 : 2
106.27/33.92	c (14,0) c SimpDBs_7 : 1
106.27/33.92	c (14,0) c SimpDBs_total : 15
106.27/33.92	c (14,0) c SimpDBs_winner : 2
106.27/33.92	c (14,0) c Restarts_0 : 31
106.27/33.92	c (14,0) c Restarts_1 : 13
106.27/33.92	c (14,0) c Restarts_2 : 25
106.27/33.92	c (14,0) c Restarts_3 : 23
106.27/33.92	c (14,0) c Restarts_4 : 26
106.27/33.92	c (14,0) c Restarts_5 : 17
106.27/33.92	c (14,0) c Restarts_6 : 28
106.27/33.92	c (14,0) c Restarts_7 : 14
106.27/33.92	c (14,0) c Restarts_total : 177
106.27/33.92	c (14,0) c Restarts_winner : 23
106.27/33.92	c (14,0) c ForcedImports_0 : 0
106.27/33.92	c (14,0) c ForcedImports_1 : 0
106.27/33.92	c (14,0) c ForcedImports_2 : 0
106.27/33.92	c (14,0) c ForcedImports_3 : 0
106.27/33.92	c (14,0) c ForcedImports_4 : 0
106.27/33.92	c (14,0) c ForcedImports_5 : 0
106.27/33.92	c (14,0) c ForcedImports_6 : 0
106.27/33.92	c (14,0) c ForcedImports_7 : 0
106.27/33.92	c (14,0) c ForcedImports_total : 0
106.27/33.92	c (14,0) c ForcedImports_winner : 0
106.27/33.92	c (14,0) c PropsBinClauses_0 : 22938886
106.27/33.92	c (14,0) c PropsBinClauses_1 : 19804493
106.27/33.92	c (14,0) c PropsBinClauses_2 : 23676877
106.27/33.92	c (14,0) c PropsBinClauses_3 : 21059304
106.27/33.92	c (14,0) c PropsBinClauses_4 : 24716047
106.27/33.92	c (14,0) c PropsBinClauses_5 : 20969635
106.27/33.92	c (14,0) c PropsBinClauses_6 : 23478474
106.27/33.92	c (14,0) c PropsBinClauses_7 : 21594591
106.27/33.92	c (14,0) c PropsBinClauses_total : 178238307
106.27/33.92	c (14,0) c PropsBinClauses_winner : 21059304
106.27/33.92	c (14,0) c PropsPreBlocker_0 : 115781397
106.27/33.92	c (14,0) c PropsPreBlocker_1 : 109629508
106.27/33.92	c (14,0) c PropsPreBlocker_2 : 127294465
106.27/33.92	c (14,0) c PropsPreBlocker_3 : 108809284
106.27/33.92	c (14,0) c PropsPreBlocker_4 : 129657872
106.27/33.92	c (14,0) c PropsPreBlocker_5 : 115070426
106.27/33.92	c (14,0) c PropsPreBlocker_6 : 128875915
106.27/33.92	c (14,0) c PropsPreBlocker_7 : 118332825
106.27/33.92	c (14,0) c PropsPreBlocker_total : 953451692
106.27/33.92	c (14,0) c PropsPreBlocker_winner : 108809284
106.27/33.92	c (14,0) c PropsNotBlocker_0 : 32955856
106.27/33.92	c (14,0) c PropsNotBlocker_1 : 26552413
106.27/33.92	c (14,0) c PropsNotBlocker_2 : 32586992
106.27/33.92	c (14,0) c PropsNotBlocker_3 : 29094441
106.27/33.92	c (14,0) c PropsNotBlocker_4 : 32228401
106.27/33.92	c (14,0) c PropsNotBlocker_5 : 29254489
106.27/33.92	c (14,0) c PropsNotBlocker_6 : 33564811
106.27/33.92	c (14,0) c PropsNotBlocker_7 : 28795743
106.27/33.92	c (14,0) c PropsNotBlocker_total : 245033146
106.27/33.92	c (14,0) c PropsNotBlocker_winner : 29094441
106.27/33.92	c (14,0) c PropsLitFullScans_0 : 213023050
106.27/33.92	c (14,0) c PropsLitFullScans_1 : 192191789
106.27/33.92	c (14,0) c PropsLitFullScans_2 : 225338404
106.27/33.92	c (14,0) c PropsLitFullScans_3 : 196430645
106.27/33.92	c (14,0) c PropsLitFullScans_4 : 227913901
106.27/33.92	c (14,0) c PropsLitFullScans_5 : 203769637
106.27/33.92	c (14,0) c PropsLitFullScans_6 : 228173127
106.27/33.92	c (14,0) c PropsLitFullScans_7 : 198088741
106.27/33.92	c (14,0) c PropsLitFullScans_total : 1684929294
106.27/33.92	c (14,0) c PropsLitFullScans_winner : 196430645
106.27/33.92	c (14,0) c LitScanFractions_0 : 197890
106.27/33.92	c (14,0) c LitScanFractions_1 : 116190
106.27/33.92	c (14,0) c LitScanFractions_2 : 137821
106.27/33.92	c (14,0) c LitScanFractions_3 : 160323
106.27/33.92	c (14,0) c LitScanFractions_4 : 97068
106.27/33.92	c (14,0) c LitScanFractions_5 : 100836
106.27/33.92	c (14,0) c LitScanFractions_6 : 94421
106.27/33.92	c (14,0) c LitScanFractions_7 : 32618
106.27/33.92	c (14,0) c LitScanFractions_total : 937167
106.27/33.92	c (14,0) c LitScanFractions_winner : 160323
106.27/33.92	c (14,0) c DecisionLevel0_0 : 34
106.27/33.92	c (14,0) c DecisionLevel0_1 : 14
106.27/33.92	c (14,0) c DecisionLevel0_2 : 29
106.27/33.92	c (14,0) c DecisionLevel0_3 : 27
106.27/33.92	c (14,0) c DecisionLevel0_4 : 31
106.27/33.92	c (14,0) c DecisionLevel0_5 : 19
106.27/33.92	c (14,0) c DecisionLevel0_6 : 32
106.27/33.92	c (14,0) c DecisionLevel0_7 : 19
106.27/33.92	c (14,0) c DecisionLevel0_total : 205
106.27/33.92	c (14,0) c DecisionLevel0_winner : 27
106.27/33.92	c (14,0) c Periods_0 : 35
106.27/33.92	c (14,0) c Periods_1 : 32
106.27/33.92	c (14,0) c Periods_2 : 37
106.27/33.92	c (14,0) c Periods_3 : 32
106.27/33.92	c (14,0) c Periods_4 : 37
106.27/33.92	c (14,0) c Periods_5 : 33
106.27/33.92	c (14,0) c Periods_6 : 38
106.27/33.92	c (14,0) c Periods_7 : 33
106.27/33.92	c (14,0) c Periods_total : 277
106.27/33.92	c (14,0) c Periods_winner : 32
106.27/33.92	c (14,0) c Margin_0 : 20
106.27/33.92	c (14,0) c Margin_1 : 20
106.27/33.92	c (14,0) c Margin_2 : 20
106.27/33.92	c (14,0) c Margin_3 : 20
106.27/33.92	c (14,0) c Margin_4 : 20
106.27/33.92	c (14,0) c Margin_5 : 20
106.27/33.92	c (14,0) c Margin_6 : 20
106.27/33.92	c (14,0) c Margin_7 : 20
106.27/33.92	c (14,0) c Margin_total : 160
106.27/33.92	c (14,0) c Margin_winner : 20
106.27/33.92	c (14,0) c Exported_0 : 169
106.27/33.92	c (14,0) c Exported_1 : 205
106.27/33.92	c (14,0) c Exported_2 : 229
106.27/33.92	c (14,0) c Exported_3 : 178
106.27/33.92	c (14,0) c Exported_4 : 207
106.27/33.92	c (14,0) c Exported_5 : 187
106.27/33.92	c (14,0) c Exported_6 : 191
106.27/33.92	c (14,0) c Exported_7 : 176
106.27/33.92	c (14,0) c Exported_total : 1542
106.27/33.92	c (14,0) c Exported_winner : 178
106.27/33.92	c (14,0) c Imported_0 : 589
106.27/33.92	c (14,0) c Imported_1 : 381
106.27/33.92	c (14,0) c Imported_2 : 321
106.27/33.92	c (14,0) c Imported_3 : 333
106.27/33.92	c (14,0) c Imported_4 : 674
106.27/33.92	c (14,0) c Imported_5 : 459
106.27/33.92	c (14,0) c Imported_6 : 612
106.27/33.92	c (14,0) c Imported_7 : 233
106.27/33.92	c (14,0) c Imported_total : 3602
106.27/33.92	c (14,0) c Imported_winner : 333
106.27/33.92	c (14,0) c Good_0 : 566
106.27/33.92	c (14,0) c Good_1 : 362
106.27/33.92	c (14,0) c Good_2 : 301
106.27/33.92	c (14,0) c Good_3 : 321
106.27/33.92	c (14,0) c Good_4 : 651
106.27/33.92	c (14,0) c Good_5 : 437
106.27/33.92	c (14,0) c Good_6 : 588
106.27/33.92	c (14,0) c Good_7 : 214
106.27/33.92	c (14,0) c Good_total : 3440
106.27/33.92	c (14,0) c Good_winner : 321
106.27/33.92	c (14,0) c Purge_0 : 23
106.27/33.92	c (14,0) c Purge_1 : 19
106.27/33.92	c (14,0) c Purge_2 : 20
106.27/33.92	c (14,0) c Purge_3 : 12
106.27/33.92	c (14,0) c Purge_4 : 23
106.27/33.92	c (14,0) c Purge_5 : 22
106.27/33.92	c (14,0) c Purge_6 : 24
106.27/33.92	c (14,0) c Purge_7 : 19
106.27/33.92	c (14,0) c Purge_total : 162
106.27/33.92	c (14,0) c Purge_winner : 12
106.27/33.92	c (14,0) c Promoted_0 : 0
106.27/33.92	c (14,0) c Promoted_1 : 0
106.27/33.92	c (14,0) c Promoted_2 : 0
106.27/33.92	c (14,0) c Promoted_3 : 0
106.27/33.92	c (14,0) c Promoted_4 : 0
106.27/33.92	c (14,0) c Promoted_5 : 0
106.27/33.92	c (14,0) c Promoted_6 : 0
106.27/33.92	c (14,0) c Promoted_7 : 0
106.27/33.92	c (14,0) c Promoted_total : 0
106.27/33.92	c (14,0) c Promoted_winner : 0
106.27/33.92	c (14,0) c Remove_Imp_0 : 0
106.27/33.92	c (14,0) c Remove_Imp_1 : 0
106.27/33.92	c (14,0) c Remove_Imp_2 : 0
106.27/33.92	c (14,0) c Remove_Imp_3 : 0
106.27/33.92	c (14,0) c Remove_Imp_4 : 0
106.27/33.92	c (14,0) c Remove_Imp_5 : 0
106.27/33.92	c (14,0) c Remove_Imp_6 : 0
106.27/33.92	c (14,0) c Remove_Imp_7 : 0
106.27/33.92	c (14,0) c Remove_Imp_total : 0
106.27/33.92	c (14,0) c Remove_Imp_winner : 0
106.27/33.93	c (14,0) c Blocked_Reuse_0 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_1 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_2 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_3 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_4 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_5 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_6 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_7 : 0
106.27/33.93	c (14,0) c Blocked_Reuse_total : 0
106.27/33.93	c (14,0) c Blocked_Reuse_winner : 0
106.27/33.93	c (14,0) c Unaries_0 : 3
106.27/33.93	c (14,0) c Unaries_1 : 1
106.27/33.93	c (14,0) c Unaries_2 : 4
106.27/33.93	c (14,0) c Unaries_3 : 4
106.27/33.93	c (14,0) c Unaries_4 : 5
106.27/33.93	c (14,0) c Unaries_5 : 2
106.27/33.93	c (14,0) c Unaries_6 : 4
106.27/33.93	c (14,0) c Unaries_7 : 5
106.27/33.93	c (14,0) c Unaries_total : 28
106.27/33.93	c (14,0) c Unaries_winner : 4
106.27/33.93	c (14,0) c Binaries_0 : 168
106.27/33.93	c (14,0) c Binaries_1 : 201
106.27/33.93	c (14,0) c Binaries_2 : 226
106.27/33.93	c (14,0) c Binaries_3 : 166
106.27/33.93	c (14,0) c Binaries_4 : 199
106.27/33.93	c (14,0) c Binaries_5 : 187
106.27/33.93	c (14,0) c Binaries_6 : 187
106.27/33.93	c (14,0) c Binaries_7 : 173
106.27/33.93	c (14,0) c Binaries_total : 1507
106.27/33.93	c (14,0) c Binaries_winner : 166
106.27/33.93	c (14,0) c Glues_0 : 169
106.27/33.93	c (14,0) c Glues_1 : 205
106.27/33.93	c (14,0) c Glues_2 : 229
106.27/33.93	c (14,0) c Glues_3 : 178
106.27/33.93	c (14,0) c Glues_4 : 207
106.27/33.93	c (14,0) c Glues_5 : 187
106.27/33.93	c (14,0) c Glues_6 : 191
106.27/33.93	c (14,0) c Glues_7 : 176
106.27/33.93	c (14,0) c Glues_total : 1542
106.27/33.93	c (14,0) c Glues_winner : 178
106.27/33.93	c (14,0) c RunningTime_0 : 7.684642
106.27/33.93	c (14,0) c RunningTime_1 : 7.896499
106.27/33.93	c (14,0) c RunningTime_2 : 7.634639
106.27/33.93	c (14,0) c RunningTime_3 : 7.633662
106.27/33.93	c (14,0) c RunningTime_4 : 7.697864
106.27/33.93	c (14,0) c RunningTime_5 : 7.764827
106.27/33.93	c (14,0) c RunningTime_6 : 7.638321
106.27/33.93	c (14,0) c RunningTime_7 : 7.724240
106.27/33.93	c (14,0) c RunningTime_total : 61.674694
106.27/33.93	c (14,0) c RunningTime_winner : 7.633662
106.27/33.93	c (14,0) c WaitingTime_0 : 0.000029
106.27/33.93	c (14,0) c WaitingTime_1 : 0.000014
106.27/33.93	c (14,0) c WaitingTime_2 : 0.000049
106.27/33.93	c (14,0) c WaitingTime_3 : 0.000019
106.27/33.93	c (14,0) c WaitingTime_4 : 0.000035
106.27/33.93	c (14,0) c WaitingTime_5 : 0.000022
106.27/33.93	c (14,0) c WaitingTime_6 : 0.000025
106.27/33.93	c (14,0) c WaitingTime_7 : 0.000027
106.27/33.93	c (14,0) c WaitingTime_total : 0.000220
106.27/33.93	c (14,0) c WaitingTime_winner : 0.000019
106.27/33.93	c (14,0) c ExchangingTime_0 : 0.001559
106.27/33.93	c (14,0) c ExchangingTime_1 : 0.002226
106.27/33.93	c (14,0) c ExchangingTime_2 : 0.001426
106.27/33.93	c (14,0) c ExchangingTime_3 : 0.003041
106.27/33.93	c (14,0) c ExchangingTime_4 : 0.001517
106.27/33.93	c (14,0) c ExchangingTime_5 : 0.001190
106.27/33.93	c (14,0) c ExchangingTime_6 : 0.001521
106.27/33.93	c (14,0) c ExchangingTime_7 : 0.001084
106.27/33.93	c (14,0) c ExchangingTime_total : 0.013562
106.27/33.93	c (14,0) c ExchangingTime_winner : 0.003041
106.27/33.93	c (14,0) c PeriodProcTime_0 : 0.000408
106.27/33.93	c (14,0) c PeriodProcTime_1 : 0.000302
106.27/33.93	c (14,0) c PeriodProcTime_2 : 0.000398
106.27/33.93	c (14,0) c PeriodProcTime_3 : 0.000323
106.27/33.93	c (14,0) c PeriodProcTime_4 : 0.000398
106.27/33.93	c (14,0) c PeriodProcTime_5 : 0.000307
106.27/33.93	c (14,0) c PeriodProcTime_6 : 0.000446
106.27/33.93	c (14,0) c PeriodProcTime_7 : 0.000325
106.27/33.93	c (14,0) c PeriodProcTime_total : 0.002907
106.27/33.93	c (14,0) c PeriodProcTime_winner : 0.000323
106.27/33.93	c (14,0) c SolvingTime_0 : 7.686638
106.27/33.93	c (14,0) c SolvingTime_1 : 7.899040
106.27/33.93	c (14,0) c SolvingTime_2 : 7.636511
106.27/33.93	c (14,0) c SolvingTime_3 : 7.637044
106.27/33.93	c (14,0) c SolvingTime_4 : 7.699813
106.27/33.93	c (14,0) c SolvingTime_5 : 7.766346
106.27/33.93	c (14,0) c SolvingTime_6 : 7.640313
106.27/33.93	c (14,0) c SolvingTime_7 : 7.725677
106.27/33.93	c (14,0) c SolvingTime_total : 61.691383
106.27/33.93	c (14,0) c SolvingTime_winner : 7.637044
106.27/33.93	c (14,0) c PropagationTime_0 : 7.065630
106.27/33.93	c (14,0) c PropagationTime_1 : 7.423883
106.27/33.93	c (14,0) c PropagationTime_2 : 7.075837
106.27/33.93	c (14,0) c PropagationTime_3 : 7.113618
106.27/33.93	c (14,0) c PropagationTime_4 : 7.133101
106.27/33.93	c (14,0) c PropagationTime_5 : 7.274613
106.27/33.93	c (14,0) c PropagationTime_6 : 7.074115
106.27/33.93	c (14,0) c PropagationTime_7 : 7.258105
106.27/33.93	c (14,0) c PropagationTime_total : 57.418902
106.27/33.93	c (14,0) c PropagationTime_winner : 7.113618
106.27/33.93	c (14,0) c AnalysisTime_0 : 0.141241
106.27/33.93	c (14,0) c AnalysisTime_1 : 0.067115
106.27/33.93	c (14,0) c AnalysisTime_2 : 0.079951
106.27/33.93	c (14,0) c AnalysisTime_3 : 0.080867
106.27/33.93	c (14,0) c AnalysisTime_4 : 0.088928
106.27/33.93	c (14,0) c AnalysisTime_5 : 0.057105
106.27/33.93	c (14,0) c AnalysisTime_6 : 0.103019
106.27/33.93	c (14,0) c AnalysisTime_7 : 0.060242
106.27/33.93	c (14,0) c AnalysisTime_total : 0.678467
106.27/33.93	c (14,0) c AnalysisTime_winner : 0.080867
106.27/33.93	c (14,0) c ReductionTime_0 : 0.000443
106.27/33.93	c (14,0) c ReductionTime_1 : 0.000000
106.27/33.93	c (14,0) c ReductionTime_2 : 0.000383
106.27/33.93	c (14,0) c ReductionTime_3 : 0.000423
106.27/33.93	c (14,0) c ReductionTime_4 : 0.000434
106.27/33.93	c (14,0) c ReductionTime_5 : 0.000000
106.27/33.93	c (14,0) c ReductionTime_6 : 0.000455
106.27/33.93	c (14,0) c ReductionTime_7 : 0.000000
106.27/33.93	c (14,0) c ReductionTime_total : 0.002138
106.27/33.93	c (14,0) c ReductionTime_winner : 0.000423
106.27/33.93	c (14,0) c SimplifyTime_0 : 0.042469
106.27/33.93	c (14,0) c SimplifyTime_1 : 0.035117
106.27/33.93	c (14,0) c SimplifyTime_2 : 0.040410
106.27/33.93	c (14,0) c SimplifyTime_3 : 0.040309
106.27/33.93	c (14,0) c SimplifyTime_4 : 0.040198
106.27/33.93	c (14,0) c SimplifyTime_5 : 0.040618
106.27/33.93	c (14,0) c SimplifyTime_6 : 0.040238
106.27/33.93	c (14,0) c SimplifyTime_7 : 0.000001
106.27/33.93	c (14,0) c SimplifyTime_total : 0.279361
106.27/33.93	c (14,0) c SimplifyTime_winner : 0.040309
106.27/33.93	c (14,0) c UsedRateTime_0 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_1 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_2 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_3 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_4 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_5 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_6 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_7 : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_total : 0.000000
106.27/33.93	c (14,0) c UsedRateTime_winner : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_0 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_1 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_2 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_3 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_4 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_5 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_6 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_7 : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_total : 0.000000
106.27/33.93	c (14,0) c OverlapRateTime_winner : 0.000000
106.27/33.93	c (14,0) c
106.27/33.93	c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
106.27/33.93	c (14,0) c
106.27/33.93	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.93	c (14,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
106.27/33.93	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.93	c (14,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
106.27/33.93	c (14,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
106.27/33.93	c (14,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
106.27/33.93	c (14,0) c | Initial random_seed   |  462472687 | 2100694006 | 1009893139 | 1618006417 | 2051770127 | 1530922677 |  753561283 | 1543051198 |
106.27/33.93	c (14,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
106.27/33.93	c (14,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
106.27/33.93	c (14,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
106.27/33.93	c (14,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
106.27/33.93	c (14,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
106.27/33.93	c (14,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
106.27/33.93	c (14,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
106.27/33.93	c (14,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
106.27/33.93	c (14,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
106.27/33.93	c (14,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
106.27/33.93	c (14,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
106.27/33.93	c (14,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
106.27/33.93	c (14,0) 
106.27/33.93	c (14,0) s SATISFIABLE
40.73/34.05	c (14,0) SatSolver.solve End
40.73/34.05	c (14,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
40.73/34.05	c (14,0) Show results Begin
107.06/34.25	c (14,0) cls[0] = 15
107.06/34.25	c (14,0) cls[1] = 13
107.06/34.25	c (14,0) cls[2] = 10
107.06/34.25	c (14,0) cls[3] = 3
107.06/34.25	c (14,0) cls[4] = 17
107.06/34.25	c (14,0) cls[5] = 13
107.06/34.25	c (14,0) cls[6] = 11
107.06/34.25	c (14,0) cls[7] = 3
107.06/34.25	c (14,0) cls[8] = 13
107.06/34.25	c (14,0) cls[9] = 19
107.06/34.25	c (14,0) cls[10] = 14
107.06/34.25	c (14,0) cls[11] = 13
107.06/34.25	c (14,0) cls[12] = 19
107.06/34.25	c (14,0) cls[13] = 22
107.06/34.25	c (14,0) cls[14] = 17
107.06/34.25	c (14,0) cls[15] = 3
107.06/34.25	c (14,0) cls[16] = 16
107.06/34.25	c (14,0) cls[17] = 19
107.06/34.25	c (14,0) cls[18] = 13
107.06/34.25	c (14,0) cls[19] = 22
107.06/34.25	c (14,0) cls[20] = 10
107.06/34.25	c (14,0) cls[21] = 13
107.06/34.25	c (14,0) cls[22] = 19
107.06/34.25	c (14,0) cls[23] = 13
107.06/34.25	c (14,0) cls[24] = 3
107.06/34.25	c (14,0) cls[25] = 9
107.06/34.25	c (14,0) cls[26] = 13
107.06/34.25	c (14,0) cls[27] = 8
107.06/34.25	c (14,0) cls[28] = 11
107.06/34.25	c (14,0) cls[29] = 13
107.06/34.25	c (14,0) cls[30] = 13
107.06/34.25	c (14,0) cls[31] = 20
107.06/34.25	c (14,0) cls[32] = 16
107.06/34.25	c (14,0) cls[33] = 8
107.06/34.25	c (14,0) cls[34] = 19
107.06/34.25	c (14,0) cls[35] = 13
107.06/34.25	c (14,0) cls[36] = 4
107.06/34.25	c (14,0) cls[37] = 3
107.06/34.25	c (14,0) cls[38] = 10
107.06/34.25	c (14,0) cls[39] = 13
107.06/34.25	c (14,0) cls[40] = 13
107.06/34.25	c (14,0) cls[41] = 11
107.06/34.25	c (14,0) cls[42] = 19
107.06/34.25	c (14,0) cls[43] = 5
107.06/34.25	c (14,0) cls[44] = 26
107.06/34.25	c (14,0) cls[45] = 3
107.06/34.25	c (14,0) cls[46] = 11
107.06/34.25	c (14,0) cls[47] = 13
107.06/34.25	c (14,0) cls[48] = 26
107.06/34.25	c (14,0) cls[49] = 14
107.06/34.25	c (14,0) cls[50] = 20
107.06/34.25	c (14,0) cls[51] = 13
107.06/34.25	c (14,0) cls[52] = 26
107.06/34.25	c (14,0) cls[53] = 11
107.06/34.25	c (14,0) cls[54] = 8
107.06/34.25	c (14,0) cls[55] = 17
107.06/34.25	c (14,0) cls[56] = 11
107.06/34.25	c (14,0) cls[57] = 8
107.06/34.25	c (14,0) cls[58] = 13
107.06/34.25	c (14,0) cls[59] = 19
107.06/34.25	c (14,0) cls[60] = 8
107.06/34.25	c (14,0) cls[61] = 13
107.06/34.25	c (14,0) cls[62] = 1
107.06/34.25	c (14,0) cls[63] = 16
107.06/34.25	c (14,0) cls[64] = 3
107.06/34.25	c (14,0) cls[65] = 3
107.06/34.25	c (14,0) cls[66] = 24
107.06/34.25	c (14,0) cls[67] = 26
107.06/34.25	c (14,0) cls[68] = 18
107.06/34.25	c (14,0) cls[69] = 26
107.06/34.25	c (14,0) cls[70] = 11
107.06/34.25	c (14,0) cls[71] = 26
107.06/34.25	c (14,0) cls[72] = 3
107.06/34.25	c (14,0) cls[73] = 16
107.06/34.25	c (14,0) cls[74] = 23
107.06/34.25	c (14,0) cls[75] = 26
107.06/34.25	c (14,0) cls[76] = 11
107.06/34.25	c (14,0) cls[77] = 10
107.06/34.25	c (14,0) cls[78] = 13
107.06/34.25	c (14,0) cls[79] = 25
107.06/34.25	c (14,0) cls[80] = 3
107.06/34.25	c (14,0) cls[81] = 13
107.06/34.25	c (14,0) cls[82] = 1
107.06/34.25	c (14,0) cls[83] = 8
107.06/34.25	c (14,0) cls[84] = 16
107.06/34.25	c (14,0) cls[85] = 19
107.06/34.26	c (14,0) cls[86] = 13
107.06/34.26	c (14,0) cls[87] = 12
107.06/34.26	c (14,0) cls[88] = 18
107.06/34.26	c (14,0) cls[89] = 19
107.06/34.26	c (14,0) cls[90] = 11
107.06/34.26	c (14,0) cls[91] = 3
107.06/34.26	c (14,0) cls[92] = 8
107.06/34.26	c (14,0) cls[93] = 19
107.06/34.26	c (14,0) cls[94] = 13
107.06/34.26	c (14,0) cls[95] = 19
107.06/34.26	c (14,0) cls[96] = 22
107.06/34.26	c (14,0) cls[97] = 18
107.06/34.26	c (14,0) cls[98] = 13
107.06/34.26	c (14,0) cls[99] = 3
107.06/34.26	c (14,0) cls[100] = 16
107.06/34.26	c (14,0) cls[101] = 10
107.06/34.26	c (14,0) cls[102] = 13
107.06/34.26	c (14,0) cls[103] = 15
107.06/34.26	c (14,0) cls[104] = 8
107.06/34.26	c (14,0) cls[105] = 13
107.06/34.26	c (14,0) cls[106] = 20
107.06/34.26	c (14,0) cls[107] = 13
107.06/34.26	c (14,0) cls[108] = 15
107.06/34.26	c (14,0) cls[109] = 8
107.06/34.26	c (14,0) cls[110] = 19
107.06/34.26	c (14,0) cls[111] = 18
107.06/34.26	c (14,0) cls[112] = 8
107.06/34.26	c (14,0) cls[113] = 15
107.06/34.26	c (14,0) cls[114] = 3
107.06/34.26	c (14,0) cls[115] = 13
107.06/34.26	c (14,0) cls[116] = 13
107.06/34.26	c (14,0) cls[117] = 2
107.06/34.26	c (14,0) cls[118] = 3
107.06/34.26	c (14,0) cls[119] = 26
107.06/34.26	c (14,0) cls[120] = 11
107.06/34.26	c (14,0) cls[121] = 13
107.06/34.26	c (14,0) cls[122] = 3
107.06/34.26	c (14,0) cls[123] = 19
107.06/34.26	c (14,0) cls[124] = 13
107.06/34.26	c (14,0) cls[125] = 2
107.06/34.26	c (14,0) cls[126] = 3
107.06/34.26	c (14,0) cls[127] = 13
107.06/34.26	c (14,0) cls[128] = 26
107.06/34.26	c (14,0) cls[129] = 11
107.06/34.26	c (14,0) cls[130] = 8
107.06/34.26	c (14,0) cls[131] = 26
107.06/34.26	c (14,0) cls[132] = 18
107.06/34.26	c (14,0) cls[133] = 3
107.06/34.26	c (14,0) cls[134] = 11
107.06/34.26	c (14,0) cls[135] = 26
107.06/34.26	c (14,0) cls[136] = 13
107.06/34.26	c (14,0) cls[137] = 23
107.06/34.26	c (14,0) cls[138] = 10
107.06/34.26	c (14,0) cls[139] = 13
107.06/34.26	c (14,0) cls[140] = 11
107.06/34.26	c (14,0) cls[141] = 26
107.06/34.26	c (14,0) cls[142] = 3
107.06/34.26	c (14,0) cls[143] = 11
107.06/34.26	c (14,0) cls[144] = 3
107.06/34.26	c (14,0) cls[145] = 26
107.06/34.26	c (14,0) cls[146] = 18
107.06/34.26	c (14,0) cls[147] = 3
107.06/34.26	c (14,0) cls[148] = 15
107.06/34.26	c (14,0) cls[149] = 8
107.06/34.26	c (14,0) cls[150] = 26
107.06/34.26	c (14,0) cls[151] = 11
107.06/34.26	c (14,0) cls[152] = 13
107.06/34.26	c (14,0) cls[153] = 7
107.06/34.26	c (14,0) cls[154] = 18
107.06/34.26	c (14,0) cls[155] = 12
107.06/34.26	c (14,0) cls[156] = 13
107.06/34.26	c (14,0) cls[157] = 19
107.06/34.26	c (14,0) cls[158] = 13
107.06/34.26	c (14,0) cls[159] = 6
107.06/34.26	c (14,0) cls[160] = 13
107.06/34.26	c (14,0) cls[161] = 19
107.06/34.26	c (14,0) cls[162] = 13
107.06/34.26	c (14,0) cls[163] = 0
107.06/34.26	c (14,0) cls[164] = 18
107.06/34.26	c (14,0) cls[165] = 26
107.06/34.26	c (14,0) cls[166] = 3
107.06/34.26	c (14,0) cls[167] = 11
107.06/34.26	c (14,0) cls[168] = 3
107.06/34.26	c (14,0) cls[169] = 13
107.06/34.26	c (14,0) cls[170] = 15
107.06/34.26	c (14,0) cls[171] = 13
107.06/34.26	c (14,0) cls[172] = 5
107.06/34.26	c (14,0) cls[173] = 14
107.06/34.26	c (14,0) cls[174] = 13
107.06/34.26	c (14,0) cls[175] = 26
107.06/34.26	c (14,0) cls[176] = 11
107.06/34.26	c (14,0) cls[177] = 10
107.06/34.26	c (14,0) cls[178] = 21
107.06/34.26	c (14,0) cls[179] = 24
107.06/34.26	c (14,0) cls[180] = 19
107.06/34.26	c (14,0) cls[181] = 3
107.06/34.26	c (14,0) cls[182] = 26
107.06/34.26	c (14,0) cls[183] = 11
107.06/34.26	c (14,0) cls[184] = 26
107.06/34.26	c (14,0) cls[185] = 3
107.06/34.26	c (14,0) cls[186] = 10
107.06/34.26	c (14,0) cls[187] = 11
107.06/34.26	c (14,0) cls[188] = 17
107.06/34.26	c (14,0) cls[189] = 13
107.06/34.26	c (14,0) cls[190] = 10
107.06/34.26	c (14,0) cls[191] = 13
107.06/34.26	c (14,0) cls[192] = 11
107.06/34.26	c (14,0) cls[193] = 7
107.06/34.26	c (14,0) cls[194] = 13
107.06/34.26	c (14,0) cls[195] = 19
107.06/34.26	c (14,0) cls[196] = 22
107.06/34.26	c (14,0) cls[197] = 13
107.06/34.26	c (14,0) cls[198] = 20
107.06/34.26	c (14,0) cls[199] = 16
107.06/34.26	c (14,0) opt[0][0] = 1
107.06/34.26	c (14,0) opt[0][1] = 0
107.06/34.26	c (14,0) opt[0][2] = 1
107.06/34.26	c (14,0) opt[0][3] = 0
107.06/34.26	c (14,0) opt[0][4] = 0
107.06/34.26	c (14,0) opt[1][0] = 0
107.06/34.26	c (14,0) opt[1][1] = 1
107.06/34.26	c (14,0) opt[1][2] = 0
107.06/34.26	c (14,0) opt[1][3] = 0
107.06/34.26	c (14,0) opt[1][4] = 0
107.06/34.26	c (14,0) opt[2][0] = 1
107.06/34.26	c (14,0) opt[2][1] = 0
107.06/34.26	c (14,0) opt[2][2] = 0
107.06/34.26	c (14,0) opt[2][3] = 1
107.06/34.26	c (14,0) opt[2][4] = 0
107.06/34.26	c (14,0) opt[3][0] = 0
107.06/34.26	c (14,0) opt[3][1] = 0
107.06/34.26	c (14,0) opt[3][2] = 0
107.06/34.26	c (14,0) opt[3][3] = 1
107.06/34.26	c (14,0) opt[3][4] = 0
107.06/34.26	c (14,0) opt[4][0] = 1
107.06/34.26	c (14,0) opt[4][1] = 1
107.06/34.26	c (14,0) opt[4][2] = 0
107.06/34.26	c (14,0) opt[4][3] = 0
107.06/34.26	c (14,0) opt[4][4] = 1
107.06/34.26	c (14,0) opt[5][0] = 0
107.06/34.26	c (14,0) opt[5][1] = 1
107.06/34.26	c (14,0) opt[5][2] = 0
107.06/34.26	c (14,0) opt[5][3] = 0
107.06/34.26	c (14,0) opt[5][4] = 0
107.06/34.26	c (14,0) opt[6][0] = 0
107.06/34.26	c (14,0) opt[6][1] = 0
107.06/34.26	c (14,0) opt[6][2] = 1
107.06/34.26	c (14,0) opt[6][3] = 0
107.06/34.26	c (14,0) opt[6][4] = 0
107.06/34.26	c (14,0) opt[7][0] = 0
107.06/34.26	c (14,0) opt[7][1] = 0
107.06/34.26	c (14,0) opt[7][2] = 0
107.06/34.26	c (14,0) opt[7][3] = 1
107.06/34.26	c (14,0) opt[7][4] = 0
107.06/34.26	c (14,0) opt[8][0] = 0
107.06/34.26	c (14,0) opt[8][1] = 1
107.06/34.26	c (14,0) opt[8][2] = 0
107.06/34.26	c (14,0) opt[8][3] = 0
107.06/34.26	c (14,0) opt[8][4] = 0
107.06/34.26	c (14,0) opt[9][0] = 1
107.06/34.26	c (14,0) opt[9][1] = 0
107.06/34.26	c (14,0) opt[9][2] = 0
107.06/34.26	c (14,0) opt[9][3] = 0
107.06/34.26	c (14,0) opt[9][4] = 0
107.06/34.26	c (14,0) opt[10][0] = 0
107.06/34.26	c (14,0) opt[10][1] = 0
107.06/34.26	c (14,0) opt[10][2] = 1
107.06/34.26	c (14,0) opt[10][3] = 1
107.06/34.26	c (14,0) opt[10][4] = 0
107.06/34.26	c (14,0) opt[11][0] = 0
107.06/34.26	c (14,0) opt[11][1] = 1
107.06/34.26	c (14,0) opt[11][2] = 0
107.06/34.26	c (14,0) opt[11][3] = 0
107.06/34.26	c (14,0) opt[11][4] = 0
107.06/34.26	c (14,0) opt[12][0] = 1
107.06/34.26	c (14,0) opt[12][1] = 0
107.06/34.26	c (14,0) opt[12][2] = 0
107.06/34.26	c (14,0) opt[12][3] = 0
107.06/34.26	c (14,0) opt[12][4] = 0
107.06/34.26	c (14,0) opt[13][0] = 0
107.06/34.26	c (14,0) opt[13][1] = 1
107.06/34.26	c (14,0) opt[13][2] = 1
107.06/34.26	c (14,0) opt[13][3] = 1
107.06/34.26	c (14,0) opt[13][4] = 0
107.06/34.26	c (14,0) opt[14][0] = 1
107.06/34.26	c (14,0) opt[14][1] = 1
107.06/34.26	c (14,0) opt[14][2] = 0
107.06/34.26	c (14,0) opt[14][3] = 0
107.06/34.26	c (14,0) opt[14][4] = 1
107.06/34.26	c (14,0) opt[15][0] = 0
107.06/34.26	c (14,0) opt[15][1] = 0
107.06/34.26	c (14,0) opt[15][2] = 0
107.06/34.26	c (14,0) opt[15][3] = 1
107.06/34.26	c (14,0) opt[15][4] = 0
107.06/34.26	c (14,0) opt[16][0] = 0
107.06/34.26	c (14,0) opt[16][1] = 1
107.06/34.26	c (14,0) opt[16][2] = 1
107.06/34.26	c (14,0) opt[16][3] = 0
107.06/34.26	c (14,0) opt[16][4] = 0
107.06/34.26	c (14,0) opt[17][0] = 1
107.06/34.26	c (14,0) opt[17][1] = 0
107.06/34.26	c (14,0) opt[17][2] = 0
107.06/34.26	c (14,0) opt[17][3] = 0
107.06/34.26	c (14,0) opt[17][4] = 0
107.06/34.26	c (14,0) opt[18][0] = 0
107.06/34.26	c (14,0) opt[18][1] = 1
107.06/34.26	c (14,0) opt[18][2] = 0
107.06/34.26	c (14,0) opt[18][3] = 0
107.06/34.26	c (14,0) opt[18][4] = 0
107.06/34.26	c (14,0) opt[19][0] = 0
107.06/34.26	c (14,0) opt[19][1] = 1
107.06/34.26	c (14,0) opt[19][2] = 1
107.06/34.26	c (14,0) opt[19][3] = 1
107.06/34.26	c (14,0) opt[19][4] = 0
107.06/34.26	c (14,0) opt[20][0] = 1
107.06/34.26	c (14,0) opt[20][1] = 0
107.06/34.26	c (14,0) opt[20][2] = 0
107.06/34.26	c (14,0) opt[20][3] = 1
107.06/34.26	c (14,0) opt[20][4] = 0
107.06/34.26	c (14,0) opt[21][0] = 0
107.06/34.26	c (14,0) opt[21][1] = 1
107.06/34.26	c (14,0) opt[21][2] = 0
107.06/34.26	c (14,0) opt[21][3] = 0
107.06/34.26	c (14,0) opt[21][4] = 0
107.06/34.26	c (14,0) opt[22][0] = 1
107.06/34.26	c (14,0) opt[22][1] = 0
107.06/34.26	c (14,0) opt[22][2] = 0
107.06/34.26	c (14,0) opt[22][3] = 0
107.06/34.26	c (14,0) opt[22][4] = 0
107.06/34.26	c (14,0) opt[23][0] = 0
107.06/34.26	c (14,0) opt[23][1] = 1
107.06/34.26	c (14,0) opt[23][2] = 0
107.06/34.26	c (14,0) opt[23][3] = 0
107.06/34.26	c (14,0) opt[23][4] = 0
107.06/34.26	c (14,0) opt[24][0] = 0
107.06/34.26	c (14,0) opt[24][1] = 0
107.06/34.26	c (14,0) opt[24][2] = 0
107.06/34.26	c (14,0) opt[24][3] = 1
107.06/34.26	c (14,0) opt[24][4] = 0
107.06/34.26	c (14,0) opt[25][0] = 0
107.06/34.26	c (14,0) opt[25][1] = 0
107.06/34.26	c (14,0) opt[25][2] = 1
107.06/34.26	c (14,0) opt[25][3] = 0
107.06/34.26	c (14,0) opt[25][4] = 1
107.06/34.26	c (14,0) opt[26][0] = 0
107.06/34.26	c (14,0) opt[26][1] = 1
107.06/34.26	c (14,0) opt[26][2] = 0
107.06/34.26	c (14,0) opt[26][3] = 0
107.06/34.26	c (14,0) opt[26][4] = 0
107.06/34.26	c (14,0) opt[27][0] = 0
107.06/34.26	c (14,0) opt[27][1] = 1
107.06/34.26	c (14,0) opt[27][2] = 0
107.06/34.26	c (14,0) opt[27][3] = 1
107.06/34.26	c (14,0) opt[27][4] = 0
107.06/34.26	c (14,0) opt[28][0] = 0
107.06/34.26	c (14,0) opt[28][1] = 0
107.06/34.26	c (14,0) opt[28][2] = 1
107.06/34.26	c (14,0) opt[28][3] = 0
107.06/34.26	c (14,0) opt[28][4] = 0
107.06/34.26	c (14,0) opt[29][0] = 0
107.06/34.26	c (14,0) opt[29][1] = 1
107.06/34.26	c (14,0) opt[29][2] = 0
107.06/34.26	c (14,0) opt[29][3] = 0
107.06/34.26	c (14,0) opt[29][4] = 0
107.06/34.26	c (14,0) opt[30][0] = 0
107.06/34.26	c (14,0) opt[30][1] = 1
107.06/34.26	c (14,0) opt[30][2] = 0
107.06/34.26	c (14,0) opt[30][3] = 0
107.06/34.26	c (14,0) opt[30][4] = 0
107.06/34.26	c (14,0) opt[31][0] = 1
107.06/34.26	c (14,0) opt[31][1] = 0
107.06/34.26	c (14,0) opt[31][2] = 0
107.06/34.26	c (14,0) opt[31][3] = 1
107.06/34.26	c (14,0) opt[31][4] = 1
107.06/34.26	c (14,0) opt[32][0] = 0
107.06/34.26	c (14,0) opt[32][1] = 1
107.06/34.26	c (14,0) opt[32][2] = 1
107.06/34.26	c (14,0) opt[32][3] = 0
107.06/34.26	c (14,0) opt[32][4] = 0
107.06/34.26	c (14,0) opt[33][0] = 0
107.06/34.26	c (14,0) opt[33][1] = 1
107.06/34.26	c (14,0) opt[33][2] = 0
107.06/34.26	c (14,0) opt[33][3] = 1
107.06/34.26	c (14,0) opt[33][4] = 0
107.06/34.26	c (14,0) opt[34][0] = 1
107.06/34.26	c (14,0) opt[34][1] = 0
107.06/34.26	c (14,0) opt[34][2] = 0
107.06/34.26	c (14,0) opt[34][3] = 0
107.06/34.26	c (14,0) opt[34][4] = 0
107.06/34.26	c (14,0) opt[35][0] = 0
107.06/34.26	c (14,0) opt[35][1] = 1
107.06/34.26	c (14,0) opt[35][2] = 0
107.06/34.26	c (14,0) opt[35][3] = 0
107.06/34.26	c (14,0) opt[35][4] = 0
107.06/34.26	c (14,0) opt[36][0] = 1
107.06/34.26	c (14,0) opt[36][1] = 1
107.06/34.26	c (14,0) opt[36][2] = 1
107.06/34.26	c (14,0) opt[36][3] = 0
107.06/34.26	c (14,0) opt[36][4] = 1
107.06/34.26	c (14,0) opt[37][0] = 0
107.06/34.26	c (14,0) opt[37][1] = 0
107.06/34.26	c (14,0) opt[37][2] = 0
107.06/34.26	c (14,0) opt[37][3] = 1
107.06/34.26	c (14,0) opt[37][4] = 0
107.06/34.26	c (14,0) opt[38][0] = 1
107.06/34.26	c (14,0) opt[38][1] = 0
107.06/34.26	c (14,0) opt[38][2] = 0
107.06/34.26	c (14,0) opt[38][3] = 1
107.06/34.26	c (14,0) opt[38][4] = 0
107.06/34.26	c (14,0) opt[39][0] = 0
107.06/34.26	c (14,0) opt[39][1] = 1
107.06/34.26	c (14,0) opt[39][2] = 0
107.06/34.26	c (14,0) opt[39][3] = 0
107.06/34.26	c (14,0) opt[39][4] = 0
107.06/34.26	c (14,0) opt[40][0] = 0
107.06/34.26	c (14,0) opt[40][1] = 1
107.06/34.26	c (14,0) opt[40][2] = 0
107.06/34.26	c (14,0) opt[40][3] = 0
107.06/34.26	c (14,0) opt[40][4] = 0
107.06/34.26	c (14,0) opt[41][0] = 0
107.06/34.26	c (14,0) opt[41][1] = 0
107.06/34.26	c (14,0) opt[41][2] = 1
107.06/34.26	c (14,0) opt[41][3] = 0
107.06/34.26	c (14,0) opt[41][4] = 0
107.06/34.26	c (14,0) opt[42][0] = 1
107.06/34.26	c (14,0) opt[42][1] = 0
107.06/34.26	c (14,0) opt[42][2] = 0
107.06/34.26	c (14,0) opt[42][3] = 0
107.06/34.26	c (14,0) opt[42][4] = 0
107.06/34.26	c (14,0) opt[43][0] = 0
107.06/34.26	c (14,0) opt[43][1] = 1
107.06/34.26	c (14,0) opt[43][2] = 0
107.06/34.26	c (14,0) opt[43][3] = 1
107.06/34.26	c (14,0) opt[43][4] = 1
107.06/34.26	c (14,0) opt[44][0] = 1
107.06/34.26	c (14,0) opt[44][1] = 1
107.06/34.26	c (14,0) opt[44][2] = 0
107.06/34.26	c (14,0) opt[44][3] = 0
107.06/34.26	c (14,0) opt[44][4] = 0
107.06/34.26	c (14,0) opt[45][0] = 0
107.06/34.26	c (14,0) opt[45][1] = 0
107.06/34.26	c (14,0) opt[45][2] = 0
107.06/34.26	c (14,0) opt[45][3] = 1
107.06/34.26	c (14,0) opt[45][4] = 0
107.06/34.26	c (14,0) opt[46][0] = 0
107.06/34.26	c (14,0) opt[46][1] = 0
107.06/34.26	c (14,0) opt[46][2] = 1
107.06/34.26	c (14,0) opt[46][3] = 0
107.06/34.26	c (14,0) opt[46][4] = 0
107.06/34.26	c (14,0) opt[47][0] = 0
107.06/34.26	c (14,0) opt[47][1] = 1
107.06/34.26	c (14,0) opt[47][2] = 0
107.06/34.26	c (14,0) opt[47][3] = 0
107.06/34.26	c (14,0) opt[47][4] = 0
107.06/34.26	c (14,0) opt[48][0] = 1
107.06/34.26	c (14,0) opt[48][1] = 1
107.06/34.26	c (14,0) opt[48][2] = 0
107.06/34.26	c (14,0) opt[48][3] = 0
107.06/34.26	c (14,0) opt[48][4] = 0
107.06/34.26	c (14,0) opt[49][0] = 0
107.06/34.26	c (14,0) opt[49][1] = 0
107.06/34.26	c (14,0) opt[49][2] = 1
107.06/34.26	c (14,0) opt[49][3] = 1
107.06/34.26	c (14,0) opt[49][4] = 0
107.06/34.26	c (14,0) opt[50][0] = 1
107.06/34.26	c (14,0) opt[50][1] = 0
107.06/34.26	c (14,0) opt[50][2] = 0
107.06/34.26	c (14,0) opt[50][3] = 1
107.06/34.26	c (14,0) opt[50][4] = 1
107.06/34.26	c (14,0) opt[51][0] = 0
107.06/34.26	c (14,0) opt[51][1] = 1
107.06/34.26	c (14,0) opt[51][2] = 0
107.06/34.26	c (14,0) opt[51][3] = 0
107.06/34.26	c (14,0) opt[51][4] = 0
107.06/34.26	c (14,0) opt[52][0] = 1
107.06/34.26	c (14,0) opt[52][1] = 1
107.06/34.26	c (14,0) opt[52][2] = 0
107.06/34.26	c (14,0) opt[52][3] = 0
107.06/34.26	c (14,0) opt[52][4] = 0
107.06/34.26	c (14,0) opt[53][0] = 0
107.06/34.26	c (14,0) opt[53][1] = 0
107.06/34.26	c (14,0) opt[53][2] = 1
107.06/34.26	c (14,0) opt[53][3] = 0
107.06/34.26	c (14,0) opt[53][4] = 0
107.06/34.26	c (14,0) opt[54][0] = 0
107.06/34.26	c (14,0) opt[54][1] = 1
107.06/34.26	c (14,0) opt[54][2] = 0
107.06/34.26	c (14,0) opt[54][3] = 1
107.06/34.26	c (14,0) opt[54][4] = 0
107.06/34.26	c (14,0) opt[55][0] = 1
107.06/34.26	c (14,0) opt[55][1] = 1
107.06/34.26	c (14,0) opt[55][2] = 0
107.06/34.26	c (14,0) opt[55][3] = 0
107.06/34.26	c (14,0) opt[55][4] = 1
107.06/34.26	c (14,0) opt[56][0] = 0
107.06/34.26	c (14,0) opt[56][1] = 0
107.06/34.26	c (14,0) opt[56][2] = 1
107.06/34.26	c (14,0) opt[56][3] = 0
107.06/34.26	c (14,0) opt[56][4] = 0
107.06/34.26	c (14,0) opt[57][0] = 0
107.06/34.26	c (14,0) opt[57][1] = 1
107.06/34.26	c (14,0) opt[57][2] = 0
107.06/34.26	c (14,0) opt[57][3] = 1
107.06/34.26	c (14,0) opt[57][4] = 0
107.06/34.26	c (14,0) opt[58][0] = 0
107.06/34.26	c (14,0) opt[58][1] = 1
107.06/34.26	c (14,0) opt[58][2] = 0
107.06/34.26	c (14,0) opt[58][3] = 0
107.06/34.26	c (14,0) opt[58][4] = 0
107.06/34.26	c (14,0) opt[59][0] = 1
107.06/34.26	c (14,0) opt[59][1] = 0
107.06/34.26	c (14,0) opt[59][2] = 0
107.06/34.26	c (14,0) opt[59][3] = 0
107.06/34.26	c (14,0) opt[59][4] = 0
107.06/34.26	c (14,0) opt[60][0] = 0
107.06/34.26	c (14,0) opt[60][1] = 1
107.06/34.26	c (14,0) opt[60][2] = 0
107.06/34.26	c (14,0) opt[60][3] = 1
107.06/34.26	c (14,0) opt[60][4] = 0
107.06/34.26	c (14,0) opt[61][0] = 0
107.06/34.26	c (14,0) opt[61][1] = 1
107.06/34.26	c (14,0) opt[61][2] = 0
107.06/34.26	c (14,0) opt[61][3] = 0
107.06/34.26	c (14,0) opt[61][4] = 0
107.06/34.26	c (14,0) opt[62][0] = 1
107.06/34.26	c (14,0) opt[62][1] = 0
107.06/34.26	c (14,0) opt[62][2] = 0
107.06/34.26	c (14,0) opt[62][3] = 0
107.06/34.26	c (14,0) opt[62][4] = 1
107.06/34.26	c (14,0) opt[63][0] = 0
107.06/34.26	c (14,0) opt[63][1] = 1
107.06/34.26	c (14,0) opt[63][2] = 1
107.06/34.26	c (14,0) opt[63][3] = 0
107.06/34.26	c (14,0) opt[63][4] = 0
107.06/34.26	c (14,0) opt[64][0] = 0
107.06/34.26	c (14,0) opt[64][1] = 0
107.06/34.26	c (14,0) opt[64][2] = 0
107.06/34.26	c (14,0) opt[64][3] = 1
107.06/34.26	c (14,0) opt[64][4] = 0
107.06/34.26	c (14,0) opt[65][0] = 0
107.06/34.26	c (14,0) opt[65][1] = 0
107.06/34.26	c (14,0) opt[65][2] = 0
107.06/34.26	c (14,0) opt[65][3] = 1
107.06/34.26	c (14,0) opt[65][4] = 0
107.06/34.26	c (14,0) opt[66][0] = 0
107.06/34.26	c (14,0) opt[66][1] = 1
107.06/34.26	c (14,0) opt[66][2] = 1
107.06/34.26	c (14,0) opt[66][3] = 0
107.06/34.26	c (14,0) opt[66][4] = 0
107.06/34.26	c (14,0) opt[67][0] = 1
107.06/34.26	c (14,0) opt[67][1] = 1
107.06/34.26	c (14,0) opt[67][2] = 0
107.06/34.26	c (14,0) opt[67][3] = 0
107.06/34.26	c (14,0) opt[67][4] = 0
107.06/34.26	c (14,0) opt[68][0] = 0
107.06/34.26	c (14,0) opt[68][1] = 0
107.06/34.26	c (14,0) opt[68][2] = 0
107.06/34.26	c (14,0) opt[68][3] = 0
107.06/34.26	c (14,0) opt[68][4] = 1
107.06/34.26	c (14,0) opt[69][0] = 1
107.06/34.26	c (14,0) opt[69][1] = 1
107.06/34.26	c (14,0) opt[69][2] = 0
107.06/34.26	c (14,0) opt[69][3] = 0
107.06/34.26	c (14,0) opt[69][4] = 0
107.06/34.26	c (14,0) opt[70][0] = 0
107.06/34.26	c (14,0) opt[70][1] = 0
107.06/34.26	c (14,0) opt[70][2] = 1
107.06/34.26	c (14,0) opt[70][3] = 0
107.06/34.26	c (14,0) opt[70][4] = 0
107.06/34.26	c (14,0) opt[71][0] = 1
107.06/34.26	c (14,0) opt[71][1] = 1
107.06/34.26	c (14,0) opt[71][2] = 0
107.06/34.26	c (14,0) opt[71][3] = 0
107.06/34.26	c (14,0) opt[71][4] = 0
107.06/34.26	c (14,0) opt[72][0] = 0
107.06/34.26	c (14,0) opt[72][1] = 0
107.06/34.26	c (14,0) opt[72][2] = 0
107.06/34.26	c (14,0) opt[72][3] = 1
107.06/34.26	c (14,0) opt[72][4] = 0
107.06/34.26	c (14,0) opt[73][0] = 0
107.06/34.26	c (14,0) opt[73][1] = 1
107.06/34.26	c (14,0) opt[73][2] = 1
107.06/34.26	c (14,0) opt[73][3] = 0
107.06/34.26	c (14,0) opt[73][4] = 0
107.06/34.26	c (14,0) opt[74][0] = 0
107.06/34.26	c (14,0) opt[74][1] = 0
107.06/34.26	c (14,0) opt[74][2] = 0
107.06/34.26	c (14,0) opt[74][3] = 1
107.06/34.26	c (14,0) opt[74][4] = 1
107.06/34.27	c (14,0) opt[75][0] = 1
107.06/34.27	c (14,0) opt[75][1] = 1
107.06/34.27	c (14,0) opt[75][2] = 0
107.06/34.27	c (14,0) opt[75][3] = 0
107.06/34.27	c (14,0) opt[75][4] = 0
107.06/34.27	c (14,0) opt[76][0] = 0
107.06/34.27	c (14,0) opt[76][1] = 0
107.06/34.27	c (14,0) opt[76][2] = 1
107.06/34.27	c (14,0) opt[76][3] = 0
107.06/34.27	c (14,0) opt[76][4] = 0
107.06/34.27	c (14,0) opt[77][0] = 1
107.06/34.27	c (14,0) opt[77][1] = 0
107.06/34.27	c (14,0) opt[77][2] = 0
107.06/34.27	c (14,0) opt[77][3] = 1
107.06/34.27	c (14,0) opt[77][4] = 0
107.06/34.27	c (14,0) opt[78][0] = 0
107.06/34.27	c (14,0) opt[78][1] = 1
107.06/34.27	c (14,0) opt[78][2] = 0
107.06/34.27	c (14,0) opt[78][3] = 0
107.06/34.27	c (14,0) opt[78][4] = 0
107.06/34.27	c (14,0) opt[79][0] = 1
107.06/34.27	c (14,0) opt[79][1] = 0
107.06/34.27	c (14,0) opt[79][2] = 1
107.06/34.27	c (14,0) opt[79][3] = 0
107.06/34.27	c (14,0) opt[79][4] = 0
107.06/34.27	c (14,0) opt[80][0] = 0
107.06/34.27	c (14,0) opt[80][1] = 0
107.06/34.27	c (14,0) opt[80][2] = 0
107.06/34.27	c (14,0) opt[80][3] = 1
107.06/34.27	c (14,0) opt[80][4] = 0
107.06/34.27	c (14,0) opt[81][0] = 0
107.06/34.27	c (14,0) opt[81][1] = 1
107.06/34.27	c (14,0) opt[81][2] = 0
107.06/34.27	c (14,0) opt[81][3] = 0
107.06/34.27	c (14,0) opt[81][4] = 0
107.06/34.27	c (14,0) opt[82][0] = 1
107.06/34.27	c (14,0) opt[82][1] = 0
107.06/34.27	c (14,0) opt[82][2] = 0
107.06/34.27	c (14,0) opt[82][3] = 0
107.06/34.27	c (14,0) opt[82][4] = 1
107.06/34.27	c (14,0) opt[83][0] = 0
107.06/34.27	c (14,0) opt[83][1] = 1
107.06/34.27	c (14,0) opt[83][2] = 0
107.06/34.27	c (14,0) opt[83][3] = 1
107.06/34.27	c (14,0) opt[83][4] = 0
107.06/34.27	c (14,0) opt[84][0] = 0
107.06/34.27	c (14,0) opt[84][1] = 1
107.06/34.27	c (14,0) opt[84][2] = 1
107.06/34.27	c (14,0) opt[84][3] = 0
107.06/34.27	c (14,0) opt[84][4] = 0
107.06/34.27	c (14,0) opt[85][0] = 1
107.06/34.27	c (14,0) opt[85][1] = 0
107.06/34.27	c (14,0) opt[85][2] = 0
107.06/34.27	c (14,0) opt[85][3] = 0
107.06/34.27	c (14,0) opt[85][4] = 0
107.06/34.27	c (14,0) opt[86][0] = 0
107.06/34.27	c (14,0) opt[86][1] = 1
107.06/34.27	c (14,0) opt[86][2] = 0
107.06/34.27	c (14,0) opt[86][3] = 0
107.06/34.27	c (14,0) opt[86][4] = 0
107.06/34.27	c (14,0) opt[87][0] = 1
107.06/34.27	c (14,0) opt[87][1] = 1
107.06/34.27	c (14,0) opt[87][2] = 1
107.06/34.27	c (14,0) opt[87][3] = 0
107.06/34.27	c (14,0) opt[87][4] = 0
107.06/34.27	c (14,0) opt[88][0] = 0
107.06/34.27	c (14,0) opt[88][1] = 0
107.06/34.27	c (14,0) opt[88][2] = 0
107.06/34.27	c (14,0) opt[88][3] = 0
107.06/34.27	c (14,0) opt[88][4] = 1
107.06/34.27	c (14,0) opt[89][0] = 1
107.06/34.27	c (14,0) opt[89][1] = 0
107.06/34.27	c (14,0) opt[89][2] = 0
107.06/34.27	c (14,0) opt[89][3] = 0
107.06/34.27	c (14,0) opt[89][4] = 0
107.06/34.27	c (14,0) opt[90][0] = 0
107.06/34.27	c (14,0) opt[90][1] = 0
107.06/34.27	c (14,0) opt[90][2] = 1
107.06/34.27	c (14,0) opt[90][3] = 0
107.06/34.27	c (14,0) opt[90][4] = 0
107.06/34.27	c (14,0) opt[91][0] = 0
107.06/34.27	c (14,0) opt[91][1] = 0
107.06/34.27	c (14,0) opt[91][2] = 0
107.06/34.27	c (14,0) opt[91][3] = 1
107.06/34.27	c (14,0) opt[91][4] = 0
107.06/34.27	c (14,0) opt[92][0] = 0
107.06/34.27	c (14,0) opt[92][1] = 1
107.06/34.27	c (14,0) opt[92][2] = 0
107.06/34.27	c (14,0) opt[92][3] = 1
107.06/34.27	c (14,0) opt[92][4] = 0
107.06/34.27	c (14,0) opt[93][0] = 1
107.06/34.27	c (14,0) opt[93][1] = 0
107.06/34.27	c (14,0) opt[93][2] = 0
107.06/34.27	c (14,0) opt[93][3] = 0
107.06/34.27	c (14,0) opt[93][4] = 0
107.06/34.27	c (14,0) opt[94][0] = 0
107.06/34.27	c (14,0) opt[94][1] = 1
107.06/34.27	c (14,0) opt[94][2] = 0
107.06/34.27	c (14,0) opt[94][3] = 0
107.06/34.27	c (14,0) opt[94][4] = 0
107.06/34.27	c (14,0) opt[95][0] = 1
107.06/34.27	c (14,0) opt[95][1] = 0
107.06/34.27	c (14,0) opt[95][2] = 0
107.06/34.27	c (14,0) opt[95][3] = 0
107.06/34.27	c (14,0) opt[95][4] = 0
107.06/34.27	c (14,0) opt[96][0] = 0
107.06/34.27	c (14,0) opt[96][1] = 1
107.06/34.27	c (14,0) opt[96][2] = 1
107.06/34.27	c (14,0) opt[96][3] = 1
107.06/34.27	c (14,0) opt[96][4] = 0
107.06/34.27	c (14,0) opt[97][0] = 0
107.06/34.27	c (14,0) opt[97][1] = 0
107.06/34.27	c (14,0) opt[97][2] = 0
107.06/34.27	c (14,0) opt[97][3] = 0
107.06/34.27	c (14,0) opt[97][4] = 1
107.06/34.27	c (14,0) opt[98][0] = 0
107.06/34.27	c (14,0) opt[98][1] = 1
107.06/34.27	c (14,0) opt[98][2] = 0
107.06/34.27	c (14,0) opt[98][3] = 0
107.06/34.27	c (14,0) opt[98][4] = 0
107.06/34.27	c (14,0) opt[99][0] = 0
107.06/34.27	c (14,0) opt[99][1] = 0
107.06/34.27	c (14,0) opt[99][2] = 0
107.06/34.27	c (14,0) opt[99][3] = 1
107.06/34.27	c (14,0) opt[99][4] = 0
107.06/34.27	c (14,0) opt[100][0] = 0
107.06/34.27	c (14,0) opt[100][1] = 1
107.06/34.27	c (14,0) opt[100][2] = 1
107.06/34.27	c (14,0) opt[100][3] = 0
107.06/34.27	c (14,0) opt[100][4] = 0
107.06/34.27	c (14,0) opt[101][0] = 1
107.06/34.27	c (14,0) opt[101][1] = 0
107.06/34.27	c (14,0) opt[101][2] = 0
107.06/34.27	c (14,0) opt[101][3] = 1
107.06/34.27	c (14,0) opt[101][4] = 0
107.06/34.27	c (14,0) opt[102][0] = 0
107.06/34.27	c (14,0) opt[102][1] = 1
107.06/34.27	c (14,0) opt[102][2] = 0
107.06/34.27	c (14,0) opt[102][3] = 0
107.06/34.27	c (14,0) opt[102][4] = 0
107.06/34.27	c (14,0) opt[103][0] = 1
107.06/34.27	c (14,0) opt[103][1] = 0
107.06/34.27	c (14,0) opt[103][2] = 1
107.06/34.27	c (14,0) opt[103][3] = 0
107.06/34.27	c (14,0) opt[103][4] = 0
107.06/34.27	c (14,0) opt[104][0] = 0
107.06/34.27	c (14,0) opt[104][1] = 1
107.06/34.27	c (14,0) opt[104][2] = 0
107.06/34.27	c (14,0) opt[104][3] = 1
107.06/34.27	c (14,0) opt[104][4] = 0
107.06/34.27	c (14,0) opt[105][0] = 0
107.06/34.27	c (14,0) opt[105][1] = 1
107.06/34.27	c (14,0) opt[105][2] = 0
107.06/34.27	c (14,0) opt[105][3] = 0
107.06/34.27	c (14,0) opt[105][4] = 0
107.06/34.27	c (14,0) opt[106][0] = 1
107.06/34.27	c (14,0) opt[106][1] = 0
107.06/34.27	c (14,0) opt[106][2] = 0
107.06/34.27	c (14,0) opt[106][3] = 1
107.06/34.27	c (14,0) opt[106][4] = 1
107.06/34.27	c (14,0) opt[107][0] = 0
107.06/34.27	c (14,0) opt[107][1] = 1
107.06/34.27	c (14,0) opt[107][2] = 0
107.06/34.27	c (14,0) opt[107][3] = 0
107.06/34.27	c (14,0) opt[107][4] = 0
107.06/34.27	c (14,0) opt[108][0] = 1
107.06/34.27	c (14,0) opt[108][1] = 0
107.06/34.27	c (14,0) opt[108][2] = 1
107.06/34.27	c (14,0) opt[108][3] = 0
107.06/34.27	c (14,0) opt[108][4] = 0
107.06/34.27	c (14,0) opt[109][0] = 0
107.06/34.27	c (14,0) opt[109][1] = 1
107.06/34.27	c (14,0) opt[109][2] = 0
107.06/34.27	c (14,0) opt[109][3] = 1
107.06/34.27	c (14,0) opt[109][4] = 0
107.06/34.27	c (14,0) opt[110][0] = 1
107.06/34.27	c (14,0) opt[110][1] = 0
107.06/34.27	c (14,0) opt[110][2] = 0
107.06/34.27	c (14,0) opt[110][3] = 0
107.06/34.27	c (14,0) opt[110][4] = 0
107.06/34.27	c (14,0) opt[111][0] = 0
107.06/34.27	c (14,0) opt[111][1] = 0
107.06/34.27	c (14,0) opt[111][2] = 0
107.06/34.27	c (14,0) opt[111][3] = 0
107.06/34.27	c (14,0) opt[111][4] = 1
107.06/34.27	c (14,0) opt[112][0] = 0
107.06/34.27	c (14,0) opt[112][1] = 1
107.06/34.27	c (14,0) opt[112][2] = 0
107.06/34.27	c (14,0) opt[112][3] = 1
107.06/34.27	c (14,0) opt[112][4] = 0
107.06/34.27	c (14,0) opt[113][0] = 1
107.06/34.27	c (14,0) opt[113][1] = 0
107.06/34.27	c (14,0) opt[113][2] = 1
107.06/34.27	c (14,0) opt[113][3] = 0
107.06/34.27	c (14,0) opt[113][4] = 0
107.06/34.27	c (14,0) opt[114][0] = 0
107.06/34.27	c (14,0) opt[114][1] = 0
107.06/34.27	c (14,0) opt[114][2] = 0
107.06/34.27	c (14,0) opt[114][3] = 1
107.06/34.27	c (14,0) opt[114][4] = 0
107.06/34.27	c (14,0) opt[115][0] = 0
107.06/34.27	c (14,0) opt[115][1] = 1
107.06/34.27	c (14,0) opt[115][2] = 0
107.06/34.27	c (14,0) opt[115][3] = 0
107.06/34.27	c (14,0) opt[115][4] = 0
107.06/34.27	c (14,0) opt[116][0] = 0
107.06/34.27	c (14,0) opt[116][1] = 1
107.06/34.27	c (14,0) opt[116][2] = 0
107.06/34.27	c (14,0) opt[116][3] = 0
107.06/34.27	c (14,0) opt[116][4] = 0
107.06/34.27	c (14,0) opt[117][0] = 1
107.06/34.27	c (14,0) opt[117][1] = 0
107.06/34.27	c (14,0) opt[117][2] = 1
107.06/34.27	c (14,0) opt[117][3] = 0
107.06/34.27	c (14,0) opt[117][4] = 1
107.06/34.27	c (14,0) opt[118][0] = 0
107.06/34.27	c (14,0) opt[118][1] = 0
107.06/34.27	c (14,0) opt[118][2] = 0
107.06/34.27	c (14,0) opt[118][3] = 1
107.06/34.27	c (14,0) opt[118][4] = 0
107.06/34.27	c (14,0) opt[119][0] = 1
107.06/34.27	c (14,0) opt[119][1] = 1
107.06/34.27	c (14,0) opt[119][2] = 0
107.06/34.27	c (14,0) opt[119][3] = 0
107.06/34.27	c (14,0) opt[119][4] = 0
107.06/34.27	c (14,0) opt[120][0] = 0
107.06/34.27	c (14,0) opt[120][1] = 0
107.06/34.27	c (14,0) opt[120][2] = 1
107.06/34.27	c (14,0) opt[120][3] = 0
107.06/34.27	c (14,0) opt[120][4] = 0
107.06/34.27	c (14,0) opt[121][0] = 0
107.06/34.27	c (14,0) opt[121][1] = 1
107.06/34.27	c (14,0) opt[121][2] = 0
107.06/34.27	c (14,0) opt[121][3] = 0
107.06/34.27	c (14,0) opt[121][4] = 0
107.06/34.27	c (14,0) opt[122][0] = 0
107.06/34.27	c (14,0) opt[122][1] = 0
107.06/34.27	c (14,0) opt[122][2] = 0
107.06/34.27	c (14,0) opt[122][3] = 1
107.06/34.27	c (14,0) opt[122][4] = 0
107.06/34.27	c (14,0) opt[123][0] = 1
107.06/34.27	c (14,0) opt[123][1] = 0
107.06/34.27	c (14,0) opt[123][2] = 0
107.06/34.27	c (14,0) opt[123][3] = 0
107.06/34.27	c (14,0) opt[123][4] = 0
107.06/34.27	c (14,0) opt[124][0] = 0
107.06/34.27	c (14,0) opt[124][1] = 1
107.06/34.27	c (14,0) opt[124][2] = 0
107.06/34.27	c (14,0) opt[124][3] = 0
107.06/34.27	c (14,0) opt[124][4] = 0
107.06/34.27	c (14,0) opt[125][0] = 1
107.06/34.27	c (14,0) opt[125][1] = 0
107.06/34.27	c (14,0) opt[125][2] = 1
107.06/34.27	c (14,0) opt[125][3] = 0
107.06/34.27	c (14,0) opt[125][4] = 1
107.06/34.27	c (14,0) opt[126][0] = 0
107.06/34.27	c (14,0) opt[126][1] = 0
107.06/34.27	c (14,0) opt[126][2] = 0
107.06/34.27	c (14,0) opt[126][3] = 1
107.06/34.27	c (14,0) opt[126][4] = 0
107.06/34.27	c (14,0) opt[127][0] = 0
107.06/34.27	c (14,0) opt[127][1] = 1
107.06/34.27	c (14,0) opt[127][2] = 0
107.06/34.27	c (14,0) opt[127][3] = 0
107.06/34.27	c (14,0) opt[127][4] = 0
107.06/34.27	c (14,0) opt[128][0] = 1
107.06/34.27	c (14,0) opt[128][1] = 1
107.06/34.27	c (14,0) opt[128][2] = 0
107.06/34.27	c (14,0) opt[128][3] = 0
107.06/34.27	c (14,0) opt[128][4] = 0
107.06/34.27	c (14,0) opt[129][0] = 0
107.06/34.27	c (14,0) opt[129][1] = 0
107.06/34.27	c (14,0) opt[129][2] = 1
107.06/34.27	c (14,0) opt[129][3] = 0
107.06/34.27	c (14,0) opt[129][4] = 0
107.06/34.27	c (14,0) opt[130][0] = 0
107.06/34.27	c (14,0) opt[130][1] = 1
107.06/34.27	c (14,0) opt[130][2] = 0
107.06/34.27	c (14,0) opt[130][3] = 1
107.06/34.27	c (14,0) opt[130][4] = 0
107.06/34.27	c (14,0) opt[131][0] = 1
107.06/34.27	c (14,0) opt[131][1] = 1
107.06/34.27	c (14,0) opt[131][2] = 0
107.06/34.27	c (14,0) opt[131][3] = 0
107.06/34.27	c (14,0) opt[131][4] = 0
107.06/34.27	c (14,0) opt[132][0] = 0
107.06/34.27	c (14,0) opt[132][1] = 0
107.06/34.27	c (14,0) opt[132][2] = 0
107.06/34.27	c (14,0) opt[132][3] = 0
107.06/34.27	c (14,0) opt[132][4] = 1
107.06/34.27	c (14,0) opt[133][0] = 0
107.06/34.27	c (14,0) opt[133][1] = 0
107.06/34.27	c (14,0) opt[133][2] = 0
107.06/34.27	c (14,0) opt[133][3] = 1
107.06/34.27	c (14,0) opt[133][4] = 0
107.06/34.27	c (14,0) opt[134][0] = 0
107.06/34.27	c (14,0) opt[134][1] = 0
107.06/34.27	c (14,0) opt[134][2] = 1
107.06/34.27	c (14,0) opt[134][3] = 0
107.06/34.27	c (14,0) opt[134][4] = 0
107.06/34.27	c (14,0) opt[135][0] = 1
107.06/34.27	c (14,0) opt[135][1] = 1
107.06/34.27	c (14,0) opt[135][2] = 0
107.06/34.27	c (14,0) opt[135][3] = 0
107.06/34.27	c (14,0) opt[135][4] = 0
107.06/34.27	c (14,0) opt[136][0] = 0
107.06/34.27	c (14,0) opt[136][1] = 1
107.06/34.27	c (14,0) opt[136][2] = 0
107.06/34.27	c (14,0) opt[136][3] = 0
107.06/34.27	c (14,0) opt[136][4] = 0
107.06/34.27	c (14,0) opt[137][0] = 0
107.06/34.27	c (14,0) opt[137][1] = 0
107.06/34.27	c (14,0) opt[137][2] = 0
107.06/34.27	c (14,0) opt[137][3] = 1
107.06/34.27	c (14,0) opt[137][4] = 1
107.06/34.27	c (14,0) opt[138][0] = 1
107.06/34.27	c (14,0) opt[138][1] = 0
107.06/34.27	c (14,0) opt[138][2] = 0
107.06/34.27	c (14,0) opt[138][3] = 1
107.06/34.27	c (14,0) opt[138][4] = 0
107.06/34.27	c (14,0) opt[139][0] = 0
107.06/34.27	c (14,0) opt[139][1] = 1
107.06/34.27	c (14,0) opt[139][2] = 0
107.06/34.27	c (14,0) opt[139][3] = 0
107.06/34.27	c (14,0) opt[139][4] = 0
107.06/34.27	c (14,0) opt[140][0] = 0
107.06/34.27	c (14,0) opt[140][1] = 0
107.06/34.27	c (14,0) opt[140][2] = 1
107.06/34.27	c (14,0) opt[140][3] = 0
107.06/34.27	c (14,0) opt[140][4] = 0
107.06/34.27	c (14,0) opt[141][0] = 1
107.06/34.27	c (14,0) opt[141][1] = 1
107.06/34.27	c (14,0) opt[141][2] = 0
107.06/34.27	c (14,0) opt[141][3] = 0
107.06/34.27	c (14,0) opt[141][4] = 0
107.06/34.27	c (14,0) opt[142][0] = 0
107.06/34.27	c (14,0) opt[142][1] = 0
107.06/34.27	c (14,0) opt[142][2] = 0
107.06/34.27	c (14,0) opt[142][3] = 1
107.06/34.27	c (14,0) opt[142][4] = 0
107.06/34.27	c (14,0) opt[143][0] = 0
107.06/34.27	c (14,0) opt[143][1] = 0
107.06/34.27	c (14,0) opt[143][2] = 1
107.06/34.27	c (14,0) opt[143][3] = 0
107.06/34.27	c (14,0) opt[143][4] = 0
107.06/34.27	c (14,0) opt[144][0] = 0
107.06/34.27	c (14,0) opt[144][1] = 0
107.06/34.27	c (14,0) opt[144][2] = 0
107.06/34.27	c (14,0) opt[144][3] = 1
107.06/34.27	c (14,0) opt[144][4] = 0
107.06/34.27	c (14,0) opt[145][0] = 1
107.06/34.27	c (14,0) opt[145][1] = 1
107.06/34.27	c (14,0) opt[145][2] = 0
107.06/34.27	c (14,0) opt[145][3] = 0
107.06/34.27	c (14,0) opt[145][4] = 0
107.06/34.27	c (14,0) opt[146][0] = 0
107.06/34.27	c (14,0) opt[146][1] = 0
107.06/34.27	c (14,0) opt[146][2] = 0
107.06/34.27	c (14,0) opt[146][3] = 0
107.06/34.27	c (14,0) opt[146][4] = 1
107.06/34.27	c (14,0) opt[147][0] = 0
107.06/34.27	c (14,0) opt[147][1] = 0
107.06/34.27	c (14,0) opt[147][2] = 0
107.06/34.27	c (14,0) opt[147][3] = 1
107.06/34.27	c (14,0) opt[147][4] = 0
107.06/34.27	c (14,0) opt[148][0] = 1
107.06/34.27	c (14,0) opt[148][1] = 0
107.06/34.27	c (14,0) opt[148][2] = 1
107.06/34.27	c (14,0) opt[148][3] = 0
107.06/34.27	c (14,0) opt[148][4] = 0
107.06/34.27	c (14,0) opt[149][0] = 0
107.06/34.27	c (14,0) opt[149][1] = 1
107.06/34.27	c (14,0) opt[149][2] = 0
107.06/34.27	c (14,0) opt[149][3] = 1
107.06/34.27	c (14,0) opt[149][4] = 0
107.06/34.27	c (14,0) opt[150][0] = 1
107.06/34.27	c (14,0) opt[150][1] = 1
107.06/34.27	c (14,0) opt[150][2] = 0
107.06/34.27	c (14,0) opt[150][3] = 0
107.06/34.27	c (14,0) opt[150][4] = 0
107.06/34.27	c (14,0) opt[151][0] = 0
107.06/34.27	c (14,0) opt[151][1] = 0
107.06/34.27	c (14,0) opt[151][2] = 1
107.06/34.27	c (14,0) opt[151][3] = 0
107.06/34.27	c (14,0) opt[151][4] = 0
107.06/34.27	c (14,0) opt[152][0] = 0
107.06/34.27	c (14,0) opt[152][1] = 1
107.06/34.27	c (14,0) opt[152][2] = 0
107.06/34.27	c (14,0) opt[152][3] = 0
107.06/34.27	c (14,0) opt[152][4] = 0
107.06/34.27	c (14,0) opt[153][0] = 1
107.06/34.27	c (14,0) opt[153][1] = 1
107.06/34.27	c (14,0) opt[153][2] = 0
107.06/34.27	c (14,0) opt[153][3] = 1
107.06/34.27	c (14,0) opt[153][4] = 0
107.06/34.27	c (14,0) opt[154][0] = 0
107.06/34.27	c (14,0) opt[154][1] = 0
107.06/34.27	c (14,0) opt[154][2] = 0
107.06/34.27	c (14,0) opt[154][3] = 0
107.06/34.27	c (14,0) opt[154][4] = 1
107.06/34.27	c (14,0) opt[155][0] = 1
107.06/34.27	c (14,0) opt[155][1] = 1
107.06/34.27	c (14,0) opt[155][2] = 1
107.06/34.27	c (14,0) opt[155][3] = 0
107.06/34.27	c (14,0) opt[155][4] = 0
107.06/34.27	c (14,0) opt[156][0] = 0
107.06/34.27	c (14,0) opt[156][1] = 1
107.06/34.27	c (14,0) opt[156][2] = 0
107.06/34.27	c (14,0) opt[156][3] = 0
107.06/34.27	c (14,0) opt[156][4] = 0
107.06/34.27	c (14,0) opt[157][0] = 1
107.06/34.27	c (14,0) opt[157][1] = 0
107.06/34.27	c (14,0) opt[157][2] = 0
107.06/34.27	c (14,0) opt[157][3] = 0
107.06/34.27	c (14,0) opt[157][4] = 0
107.06/34.27	c (14,0) opt[158][0] = 0
107.06/34.27	c (14,0) opt[158][1] = 1
107.06/34.27	c (14,0) opt[158][2] = 0
107.06/34.27	c (14,0) opt[158][3] = 0
107.06/34.27	c (14,0) opt[158][4] = 0
107.06/34.27	c (14,0) opt[159][0] = 1
107.06/34.27	c (14,0) opt[159][1] = 0
107.06/34.27	c (14,0) opt[159][2] = 1
107.06/34.27	c (14,0) opt[159][3] = 1
107.06/34.27	c (14,0) opt[159][4] = 1
107.06/34.27	c (14,0) opt[160][0] = 0
107.06/34.27	c (14,0) opt[160][1] = 1
107.06/34.27	c (14,0) opt[160][2] = 0
107.06/34.27	c (14,0) opt[160][3] = 0
107.06/34.27	c (14,0) opt[160][4] = 0
107.06/34.27	c (14,0) opt[161][0] = 1
107.06/34.27	c (14,0) opt[161][1] = 0
107.06/34.27	c (14,0) opt[161][2] = 0
107.06/34.27	c (14,0) opt[161][3] = 0
107.06/34.27	c (14,0) opt[161][4] = 0
107.06/34.27	c (14,0) opt[162][0] = 0
107.06/34.27	c (14,0) opt[162][1] = 1
107.06/34.27	c (14,0) opt[162][2] = 0
107.06/34.27	c (14,0) opt[162][3] = 0
107.06/34.27	c (14,0) opt[162][4] = 0
107.06/34.27	c (14,0) opt[163][0] = 1
107.06/34.27	c (14,0) opt[163][1] = 1
107.06/34.27	c (14,0) opt[163][2] = 1
107.06/34.27	c (14,0) opt[163][3] = 1
107.06/34.27	c (14,0) opt[163][4] = 0
107.06/34.27	c (14,0) opt[164][0] = 0
107.06/34.27	c (14,0) opt[164][1] = 0
107.06/34.27	c (14,0) opt[164][2] = 0
107.06/34.27	c (14,0) opt[164][3] = 0
107.06/34.27	c (14,0) opt[164][4] = 1
107.06/34.27	c (14,0) opt[165][0] = 1
107.06/34.27	c (14,0) opt[165][1] = 1
107.06/34.27	c (14,0) opt[165][2] = 0
107.06/34.27	c (14,0) opt[165][3] = 0
107.06/34.27	c (14,0) opt[165][4] = 0
107.06/34.27	c (14,0) opt[166][0] = 0
107.06/34.27	c (14,0) opt[166][1] = 0
107.06/34.27	c (14,0) opt[166][2] = 0
107.06/34.27	c (14,0) opt[166][3] = 1
107.06/34.27	c (14,0) opt[166][4] = 0
107.06/34.27	c (14,0) opt[167][0] = 0
107.06/34.27	c (14,0) opt[167][1] = 0
107.06/34.27	c (14,0) opt[167][2] = 1
107.06/34.27	c (14,0) opt[167][3] = 0
107.06/34.27	c (14,0) opt[167][4] = 0
107.06/34.27	c (14,0) opt[168][0] = 0
107.06/34.27	c (14,0) opt[168][1] = 0
107.06/34.27	c (14,0) opt[168][2] = 0
107.06/34.27	c (14,0) opt[168][3] = 1
107.06/34.27	c (14,0) opt[168][4] = 0
107.06/34.27	c (14,0) opt[169][0] = 0
107.06/34.27	c (14,0) opt[169][1] = 1
107.06/34.27	c (14,0) opt[169][2] = 0
107.06/34.27	c (14,0) opt[169][3] = 0
107.06/34.27	c (14,0) opt[169][4] = 0
107.06/34.27	c (14,0) opt[170][0] = 1
107.06/34.27	c (14,0) opt[170][1] = 0
107.06/34.27	c (14,0) opt[170][2] = 1
107.06/34.27	c (14,0) opt[170][3] = 0
107.06/34.27	c (14,0) opt[170][4] = 0
107.06/34.27	c (14,0) opt[171][0] = 0
107.06/34.27	c (14,0) opt[171][1] = 1
107.06/34.27	c (14,0) opt[171][2] = 0
107.06/34.27	c (14,0) opt[171][3] = 0
107.06/34.27	c (14,0) opt[171][4] = 0
107.06/34.27	c (14,0) opt[172][0] = 0
107.06/34.27	c (14,0) opt[172][1] = 1
107.06/34.27	c (14,0) opt[172][2] = 0
107.06/34.27	c (14,0) opt[172][3] = 1
107.06/34.27	c (14,0) opt[172][4] = 1
107.06/34.27	c (14,0) opt[173][0] = 0
107.06/34.27	c (14,0) opt[173][1] = 0
107.06/34.27	c (14,0) opt[173][2] = 1
107.06/34.27	c (14,0) opt[173][3] = 1
107.06/34.27	c (14,0) opt[173][4] = 0
107.06/34.27	c (14,0) opt[174][0] = 0
107.06/34.27	c (14,0) opt[174][1] = 1
107.06/34.27	c (14,0) opt[174][2] = 0
107.06/34.27	c (14,0) opt[174][3] = 0
107.06/34.27	c (14,0) opt[174][4] = 0
107.06/34.27	c (14,0) opt[175][0] = 1
107.06/34.27	c (14,0) opt[175][1] = 1
107.06/34.27	c (14,0) opt[175][2] = 0
107.06/34.27	c (14,0) opt[175][3] = 0
107.06/34.27	c (14,0) opt[175][4] = 0
107.06/34.27	c (14,0) opt[176][0] = 0
107.06/34.27	c (14,0) opt[176][1] = 0
107.06/34.27	c (14,0) opt[176][2] = 1
107.06/34.27	c (14,0) opt[176][3] = 0
107.06/34.27	c (14,0) opt[176][4] = 0
107.06/34.27	c (14,0) opt[177][0] = 1
107.06/34.27	c (14,0) opt[177][1] = 0
107.06/34.27	c (14,0) opt[177][2] = 0
107.06/34.27	c (14,0) opt[177][3] = 1
107.06/34.27	c (14,0) opt[177][4] = 0
107.06/34.27	c (14,0) opt[178][0] = 0
107.06/34.27	c (14,0) opt[178][1] = 1
107.06/34.27	c (14,0) opt[178][2] = 0
107.06/34.27	c (14,0) opt[178][3] = 0
107.06/34.27	c (14,0) opt[178][4] = 1
107.06/34.27	c (14,0) opt[179][0] = 0
107.06/34.27	c (14,0) opt[179][1] = 1
107.06/34.27	c (14,0) opt[179][2] = 1
107.06/34.27	c (14,0) opt[179][3] = 0
107.06/34.27	c (14,0) opt[179][4] = 0
107.06/34.27	c (14,0) opt[180][0] = 1
107.06/34.27	c (14,0) opt[180][1] = 0
107.06/34.27	c (14,0) opt[180][2] = 0
107.06/34.27	c (14,0) opt[180][3] = 0
107.06/34.27	c (14,0) opt[180][4] = 0
107.06/34.27	c (14,0) opt[181][0] = 0
107.06/34.27	c (14,0) opt[181][1] = 0
107.06/34.27	c (14,0) opt[181][2] = 0
107.06/34.27	c (14,0) opt[181][3] = 1
107.06/34.27	c (14,0) opt[181][4] = 0
107.06/34.27	c (14,0) opt[182][0] = 1
107.06/34.27	c (14,0) opt[182][1] = 1
107.06/34.27	c (14,0) opt[182][2] = 0
107.06/34.27	c (14,0) opt[182][3] = 0
107.06/34.27	c (14,0) opt[182][4] = 0
107.06/34.27	c (14,0) opt[183][0] = 0
107.06/34.27	c (14,0) opt[183][1] = 0
107.06/34.27	c (14,0) opt[183][2] = 1
107.06/34.27	c (14,0) opt[183][3] = 0
107.06/34.27	c (14,0) opt[183][4] = 0
107.06/34.27	c (14,0) opt[184][0] = 1
107.06/34.27	c (14,0) opt[184][1] = 1
107.06/34.27	c (14,0) opt[184][2] = 0
107.06/34.27	c (14,0) opt[184][3] = 0
107.06/34.27	c (14,0) opt[184][4] = 0
107.06/34.27	c (14,0) opt[185][0] = 0
107.06/34.27	c (14,0) opt[185][1] = 0
107.06/34.27	c (14,0) opt[185][2] = 0
107.06/34.27	c (14,0) opt[185][3] = 1
107.06/34.27	c (14,0) opt[185][4] = 0
107.06/34.27	c (14,0) opt[186][0] = 1
107.06/34.27	c (14,0) opt[186][1] = 0
107.06/34.27	c (14,0) opt[186][2] = 0
107.06/34.27	c (14,0) opt[186][3] = 1
107.06/34.27	c (14,0) opt[186][4] = 0
107.06/34.27	c (14,0) opt[187][0] = 0
107.06/34.27	c (14,0) opt[187][1] = 0
107.06/34.27	c (14,0) opt[187][2] = 1
107.06/34.27	c (14,0) opt[187][3] = 0
107.06/34.27	c (14,0) opt[187][4] = 0
107.06/34.27	c (14,0) opt[188][0] = 1
107.06/34.27	c (14,0) opt[188][1] = 1
107.06/34.27	c (14,0) opt[188][2] = 0
107.06/34.27	c (14,0) opt[188][3] = 0
107.06/34.27	c (14,0) opt[188][4] = 1
107.06/34.27	c (14,0) opt[189][0] = 0
107.06/34.27	c (14,0) opt[189][1] = 1
107.06/34.27	c (14,0) opt[189][2] = 0
107.06/34.27	c (14,0) opt[189][3] = 0
107.06/34.27	c (14,0) opt[189][4] = 0
107.06/34.27	c (14,0) opt[190][0] = 1
107.06/34.27	c (14,0) opt[190][1] = 0
107.06/34.27	c (14,0) opt[190][2] = 0
107.06/34.27	c (14,0) opt[190][3] = 1
107.06/34.27	c (14,0) opt[190][4] = 0
107.06/34.27	c (14,0) opt[191][0] = 0
107.06/34.27	c (14,0) opt[191][1] = 1
107.06/34.27	c (14,0) opt[191][2] = 0
107.06/34.27	c (14,0) opt[191][3] = 0
107.06/34.27	c (14,0) opt[191][4] = 0
107.06/34.27	c (14,0) opt[192][0] = 0
107.06/34.27	c (14,0) opt[192][1] = 0
107.06/34.27	c (14,0) opt[192][2] = 1
107.06/34.27	c (14,0) opt[192][3] = 0
107.06/34.27	c (14,0) opt[192][4] = 0
107.06/34.27	c (14,0) opt[193][0] = 1
107.06/34.27	c (14,0) opt[193][1] = 1
107.06/34.27	c (14,0) opt[193][2] = 0
107.06/34.27	c (14,0) opt[193][3] = 1
107.06/34.27	c (14,0) opt[193][4] = 0
107.06/34.27	c (14,0) opt[194][0] = 0
107.06/34.27	c (14,0) opt[194][1] = 1
107.06/34.27	c (14,0) opt[194][2] = 0
107.06/34.27	c (14,0) opt[194][3] = 0
107.06/34.27	c (14,0) opt[194][4] = 0
107.06/34.27	c (14,0) opt[195][0] = 1
107.06/34.27	c (14,0) opt[195][1] = 0
107.06/34.27	c (14,0) opt[195][2] = 0
107.06/34.27	c (14,0) opt[195][3] = 0
107.06/34.27	c (14,0) opt[195][4] = 0
107.06/34.27	c (14,0) opt[196][0] = 0
107.06/34.27	c (14,0) opt[196][1] = 1
107.06/34.27	c (14,0) opt[196][2] = 1
107.06/34.27	c (14,0) opt[196][3] = 1
107.06/34.27	c (14,0) opt[196][4] = 0
107.06/34.27	c (14,0) opt[197][0] = 0
107.06/34.27	c (14,0) opt[197][1] = 1
107.06/34.27	c (14,0) opt[197][2] = 0
107.06/34.27	c (14,0) opt[197][3] = 0
107.06/34.27	c (14,0) opt[197][4] = 0
107.06/34.27	c (14,0) opt[198][0] = 1
107.06/34.27	c (14,0) opt[198][1] = 0
107.06/34.27	c (14,0) opt[198][2] = 0
107.06/34.27	c (14,0) opt[198][3] = 1
107.06/34.27	c (14,0) opt[198][4] = 1
107.06/34.27	c (14,0) opt[199][0] = 0
107.06/34.27	c (14,0) opt[199][1] = 1
107.06/34.27	c (14,0) opt[199][2] = 1
107.06/34.27	c (14,0) opt[199][3] = 0
107.06/34.27	c (14,0) opt[199][4] = 0
107.06/34.27	s SATISFIABLE
107.06/34.27	v <instantiation>
107.06/34.27	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>
107.06/34.27	v     <values>15 13 10 3 17 13 11 3 13 19 14 13 19 22 17 3 16 19 13 22 10 13 19 13 3 9 13 8 11 13 13 20 16 8 19 13 4 3 10 13 13 11 19 5 26 3 11 13 26 14 20 13 26 11 8 17 11 8 13 19 8 13 1 16 3 3 24 26 18 26 11 26 3 16 23 26 11 10 13 25 3 13 1 8 16 19 13 12 18 19 11 3 8 19 13 19 22 18 13 3 16 10 13 15 8 13 20 13 15 8 19 18 8 15 3 13 13 2 3 26 11 13 3 19 13 2 3 13 26 11 8 26 18 3 11 26 13 23 10 13 11 26 3 11 3 26 18 3 15 8 26 11 13 7 18 12 13 19 13 6 13 19 13 0 18 26 3 11 3 13 15 13 5 14 13 26 11 10 21 24 19 3 26 11 26 3 10 11 17 13 10 13 11 7 13 19 22 13 20 16 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 1 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 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0</values>
107.06/34.27	v </instantiation>
107.06/34.27	c (14,0) Show results End
107.06/34.27	c (14,0) Heap : 184 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
107.06/34.27	c (14,0) 14,14,STOP-AFTER(ALL)
107.06/34.27	c END-Prog: Sat Sep 14 05:16:40 CEST 2019

Verifier Data 

OK

Watcher Data 

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

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

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

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

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

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


[startup+0.100134 s]*
/proc/loadavg: 5.21 6.61 7.24 2/211 15724
/proc/meminfo: memFree=24508608/32770624 swapFree=66999292/67108860
[pid=15702] ppid=15699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15702/stat : 15702 (scop.sh) S 15699 15702 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419039075 115843072 349 33554432000 4194304 5098028 140727535376064 140727535373320 139651147350652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13897728 140727535383333 140727535383660 140727535383660 140727535386573 0
/proc/15702/statm: 28282 349 296 221 0 87 0
[pid=15705] ppid=15702 vsize=27314120 memory=105596 CPUtime=0.11 cores=0-7
/proc/15705/stat : 15705 (java) S 15702 15702 14887 0 -1 1077944320 6500 0 0 0 8 3 0 0 20 0 20 0 419039075 27969658880 26399 33554432000 4194304 4196468 140733697657952 140733697640496 140225774325495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
/proc/15705/statm: 6828530 26399 2794 1 0 6790935 0
[pid=15705/tid=15706] ppid=15702 vsize=27314120 memory=8185743605838552727 CPUtime=0.09 cores=0-7
/proc/15705/task/15706/stat : 15706 (java) R 15702 15702 14887 0 -1 4202560 4585 0 0 0 7 2 0 0 20 0 20 0 419039076 27969658880 26399 33554432000 4194304 4196468 140733697657952 140225746151824 140225760393614 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15707] ppid=15702 vsize=27314120 memory=732370458079570917 CPUtime=0 cores=0-7
/proc/15705/task/15707/stat : 15707 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26399 33554432000 4194304 4196468 140733697657952 140225778568208 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15708] ppid=15702 vsize=27314120 memory=140319742117504 CPUtime=0 cores=0-7
/proc/15705/task/15708/stat : 15708 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26399 33554432000 4194304 4196468 140733697657952 140225592724624 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15709] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15709/stat : 15709 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26399 33554432000 4194304 4196468 140733697657952 140225591671568 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15710] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15710/stat : 15710 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26399 33554432000 4194304 4196468 140733697657952 140225590619024 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15711] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15711/stat : 15711 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26399 33554432000 4194304 4196468 140733697657952 140225589565968 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15712] ppid=15702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15705/task/15712/stat : 15712 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26399 33554432000 4194304 4196468 140733697657952 140225588513424 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15713] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15713/stat : 15713 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26911 33554432000 4194304 4196468 140733697657952 140225587460368 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15714] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15714/stat : 15714 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 26911 33554432000 4194304 4196468 140733697657952 140225586407824 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15715] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15715/stat : 15715 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039079 27969658880 26911 33554432000 4194304 4196468 140733697657952 140224966376176 140225774336642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15716] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15716/stat : 15716 (java) S 15702 15702 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419039080 27969658880 26911 33554432000 4194304 4196468 140733697657952 140223434450592 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15717] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15717/stat : 15717 (java) S 15702 15702 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419039080 27969658880 26911 33554432000 4194304 4196468 140733697657952 140223300228336 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15718] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15718/stat : 15718 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 26911 33554432000 4194304 4196468 140733697657952 140222925724112 140225774344091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15719] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15719/stat : 15719 (java) S 15702 15702 14887 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 26911 33554432000 4194304 4196468 140733697657952 140224965322992 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15720] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15720/stat : 15720 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 26911 33554432000 4194304 4196468 140733697657952 140224964270448 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15721] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15721/stat : 15721 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 26911 33554432000 4194304 4196468 140733697657952 140224963217392 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15722] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15722/stat : 15722 (java) S 15702 15702 14887 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 26911 33554432000 4194304 4196468 140733697657952 140224962164848 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15723] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15723/stat : 15723 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 26911 33554432000 4194304 4196468 140733697657952 140222427818976 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15724] ppid=15702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15705/task/15724/stat : 15724 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 26911 33554432000 4194304 4196468 140733697657952 140224961113264 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106992 KiB

[startup+0.211385 s]*
/proc/loadavg: 5.21 6.61 7.24 2/211 15724
/proc/meminfo: memFree=24489600/32770624 swapFree=66999292/67108860
[pid=15702] ppid=15699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15702/stat : 15702 (scop.sh) S 15699 15702 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419039075 115843072 349 33554432000 4194304 5098028 140727535376064 140727535373320 139651147350652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13897728 140727535383333 140727535383660 140727535383660 140727535386573 0
/proc/15702/statm: 28282 349 296 221 0 87 0
[pid=15705] ppid=15702 vsize=27314120 memory=122336 CPUtime=0.24 cores=0-7
/proc/15705/stat : 15705 (java) S 15702 15702 14887 0 -1 1077944320 11373 0 0 0 20 4 0 0 20 0 20 0 419039075 27969658880 30584 33554432000 4194304 4196468 140733697657952 140733697640496 140225774325495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
/proc/15705/statm: 6828530 30584 2890 1 0 6790935 0
[pid=15705/tid=15706] ppid=15702 vsize=27314120 memory=0 CPUtime=0.19 cores=0-7
/proc/15705/task/15706/stat : 15706 (java) R 15702 15702 14887 0 -1 4202560 9069 0 0 0 16 3 0 0 20 0 20 0 419039076 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225746109056 140225755889047 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15707] ppid=15702 vsize=27314120 memory=732370458079570917 CPUtime=0 cores=0-7
/proc/15705/task/15707/stat : 15707 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225778568208 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15708] ppid=15702 vsize=27314120 memory=140319742117504 CPUtime=0 cores=0-7
/proc/15705/task/15708/stat : 15708 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225592724624 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15709] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15709/stat : 15709 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225591671568 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15710] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15710/stat : 15710 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225590619024 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15711] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15711/stat : 15711 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225589565968 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15712] ppid=15702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15705/task/15712/stat : 15712 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225588513424 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15713] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15713/stat : 15713 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225587460368 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15714] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15714/stat : 15714 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 30584 33554432000 4194304 4196468 140733697657952 140225586407824 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15715] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15715/stat : 15715 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039079 27969658880 30584 33554432000 4194304 4196468 140733697657952 140224966376176 140225774336642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15716] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15716/stat : 15716 (java) S 15702 15702 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419039080 27969658880 30584 33554432000 4194304 4196468 140733697657952 140223434450592 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15717] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15717/stat : 15717 (java) S 15702 15702 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419039080 27969658880 30584 33554432000 4194304 4196468 140733697657952 140223300228336 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15718] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15718/stat : 15718 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 30584 33554432000 4194304 4196468 140733697657952 140222925724112 140225774344091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15719] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15719/stat : 15719 (java) S 15702 15702 14887 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 30584 33554432000 4194304 4196468 140733697657952 140224965322992 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15720] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15720/stat : 15720 (java) S 15702 15702 14887 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 30584 33554432000 4194304 4196468 140733697657952 140224964270448 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15721] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15721/stat : 15721 (java) S 15702 15702 14887 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 30584 33554432000 4194304 4196468 140733697657952 140224963217392 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15722] ppid=15702 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/15705/task/15722/stat : 15722 (java) S 15702 15702 14887 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 419039083 27969658880 30584 33554432000 4194304 4196468 140733697657952 140224962164848 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15723] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15723/stat : 15723 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 30584 33554432000 4194304 4196468 140733697657952 140222427818976 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15724] ppid=15702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15705/task/15724/stat : 15724 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 30584 33554432000 4194304 4196468 140733697657952 140224961113264 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 123732 KiB

[startup+0.310193 s]*
/proc/loadavg: 5.21 6.61 7.24 2/211 15724
/proc/meminfo: memFree=24487060/32770624 swapFree=66999292/67108860
[pid=15702] ppid=15699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15702/stat : 15702 (scop.sh) S 15699 15702 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419039075 115843072 349 33554432000 4194304 5098028 140727535376064 140727535373320 139651147350652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13897728 140727535383333 140727535383660 140727535383660 140727535386573 0
/proc/15702/statm: 28282 349 296 221 0 87 0
[pid=15705] ppid=15702 vsize=27314120 memory=126160 CPUtime=0.42 cores=0-7
/proc/15705/stat : 15705 (java) S 15702 15702 14887 0 -1 1077944320 12425 0 0 0 37 5 0 0 20 0 20 0 419039075 27969658880 31540 33554432000 4194304 4196468 140733697657952 140733697640496 140225774325495 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
/proc/15705/statm: 6828530 31540 3031 1 0 6790935 0
[pid=15705/tid=15706] ppid=15702 vsize=27314120 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/15705/task/15706/stat : 15706 (java) R 15702 15702 14887 0 -1 4202560 9961 0 0 0 26 4 0 0 20 0 20 0 419039076 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225746155568 140225757512304 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15707] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15707/stat : 15707 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225778568208 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15708] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15708/stat : 15708 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225592724624 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15709] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15709/stat : 15709 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225591671568 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15710] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15710/stat : 15710 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225590619024 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15711] ppid=15702 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/15705/task/15711/stat : 15711 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225589565968 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15712] ppid=15702 vsize=27314120 memory=140319601554351 CPUtime=0 cores=0-7
/proc/15705/task/15712/stat : 15712 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225588513424 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15713] ppid=15702 vsize=27314120 memory=140319601556656 CPUtime=0 cores=0-7
/proc/15705/task/15713/stat : 15713 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225587460368 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15714] ppid=15702 vsize=27314120 memory=140319601558960 CPUtime=0 cores=0-7
/proc/15705/task/15714/stat : 15714 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039078 27969658880 31540 33554432000 4194304 4196468 140733697657952 140225586407824 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15715] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15715/stat : 15715 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419039079 27969658880 31540 33554432000 4194304 4196468 140733697657952 140224966376176 140225774336642 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15716] ppid=15702 vsize=27314120 memory=280639203124880 CPUtime=0 cores=0-7
/proc/15705/task/15716/stat : 15716 (java) S 15702 15702 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419039080 27969658880 31540 33554432000 4194304 4196468 140733697657952 140223434450592 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15717] ppid=15702 vsize=27314120 memory=280639203131792 CPUtime=0 cores=0-7
/proc/15705/task/15717/stat : 15717 (java) S 15702 15702 14887 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419039080 27969658880 31540 33554432000 4194304 4196468 140733697657952 140223300228336 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15718] ppid=15702 vsize=27314120 memory=280639203072944 CPUtime=0 cores=0-7
/proc/15705/task/15718/stat : 15718 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 31540 33554432000 4194304 4196468 140733697657952 140222925724112 140225774344091 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15719] ppid=15702 vsize=27314120 memory=280639203145616 CPUtime=0.02 cores=0-7
/proc/15705/task/15719/stat : 15719 (java) R 15702 15702 14887 0 -1 4202560 422 0 0 0 2 0 0 0 20 0 20 0 419039083 27969658880 31540 33554432000 4194304 4196468 140733697657952 140224965322992 140225751960144 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15720] ppid=15702 vsize=27314120 memory=280639203152528 CPUtime=0.01 cores=0-7
/proc/15705/task/15720/stat : 15720 (java) S 15702 15702 14887 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 20 0 419039083 27969658880 31540 33554432000 4194304 4196468 140733697657952 140224964270448 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15721] ppid=15702 vsize=27314120 memory=280639203150224 CPUtime=0 cores=0-7
/proc/15705/task/15721/stat : 15721 (java) S 15702 15702 14887 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 31540 33554432000 4194304 4196468 140733697657952 140224963217392 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15722] ppid=15702 vsize=27314120 memory=280639203166384 CPUtime=0.07 cores=0-7
/proc/15705/task/15722/stat : 15722 (java) S 15702 15702 14887 0 -1 1077944384 491 0 0 0 7 0 0 0 20 0 20 0 419039083 27969658880 31540 33554432000 4194304 4196468 140733697657952 140224962164848 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15723] ppid=15702 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15723/stat : 15723 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 31540 33554432000 4194304 4196468 140733697657952 140222427818976 140225774335701 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15724] ppid=15702 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/15705/task/15724/stat : 15724 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039083 27969658880 31540 33554432000 4194304 4196468 140733697657952 140224961113264 140225774336642 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127556 KiB

[startup+0.700982 s]
/proc/loadavg: 5.21 6.61 7.24 2/211 15724
/proc/meminfo: memFree=24463472/32770624 swapFree=66999292/67108860
[pid=15702] ppid=15699 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/15702/stat : 15702 (scop.sh) S 15699 15702 14887 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419039075 115843072 349 33554432000 4194304 5098028 140727535376064 140727535373320 139651147350652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13897728 140727535383333 140727535383660 140727535383660 140727535386573 0
/proc/15702/statm: 28282 349 296 221 0 87 0
[pid=15705] ppid=15702 vsize=27320392 memory=163456 CPUtime=1.03 cores=0-7
/proc/15705/stat : 15705 (java) S 15702 15702 14887 0 -1 1077944320 20023 0 0 0 95 8 0 0 20 0 20 0 419039075 27976081408 40864 33554432000 4194304 4196468 140733697657952 140733697640496 140225774325495 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
/proc/15705/statm: 6830098 40864 3181 1 0 6791447 0
[pid=15705/tid=15706] ppid=15702 vsize=27320392 memory=280639203461312 CPUtime=0.67 cores=0-7
/proc/15705/task/15706/stat : 15706 (java) R 15702 15702 14887 0 -1 4202560 16907 0 0 0 61 6 0 0 20 0 20 0 419039076 27976081408 40864 33554432000 4194304 4196468 140733697657952 140225746163168 140225774347421 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15707] ppid=15702 vsize=27320392 memory=5162550690983 CPUtime=0 cores=0-7
/proc/15705/task/15707/stat : 15707 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27976081408 40864 33554432000 4194304 4196468 140733697657952 140225778568208 140225774335701 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15708] ppid=15702 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15708/stat : 15708 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27976081408 40864 33554432000 4194304 4196468 140733697657952 140225592724624 140225774335701 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0
[pid=15705/tid=15709] ppid=15702 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/15705/task/15709/stat : 15709 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419039078 27976081408 40864 33554432000 4194304 4196468 140733697657952 140225591671568 140225774335701 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20594688 140733697663723 140733697664150 140733697664150 140733697667023 0

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

/proc/15725/stat : 15725 (java) S 15702 15702 14887 0 -1 1077944320 21730 0 0 0 163 11 0 0 20 0 24 0 419041028 8616062976 37864 33554432000 4194304 4196468 140735221661168 140735221643712 140461275143927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
/proc/15725/statm: 2103531 37864 3223 1 0 2064875 0
[pid=15725/tid=15726] ppid=15702 vsize=8414124 memory=6791534058613427641 CPUtime=0.83 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) S 15702 15702 14887 0 -1 1077944384 17449 0 0 0 75 8 0 0 20 0 24 0 419041028 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461246984096 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15727] ppid=15702 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419041029 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461279386128 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15728] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419041029 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461079554704 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15729] ppid=15702 vsize=8414124 memory=-8961168018402230209 CPUtime=0 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419041029 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461078501648 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15730] ppid=15702 vsize=8414124 memory=-8253362762722141311 CPUtime=0 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419041029 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461077449104 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15731] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419041030 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461076397072 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15732] ppid=15702 vsize=8414124 memory=280639204179488 CPUtime=0 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419041030 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461075344528 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15733] ppid=15702 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419041030 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461074291472 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15734] ppid=15702 vsize=8414124 memory=-7003737579269690708 CPUtime=0 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419041030 8616062976 37864 33554432000 4194304 4196468 140735221661168 140461073238928 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15735] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15702 15702 14887 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 419041031 8616062976 37864 33554432000 4194304 4196468 140735221661168 140460234369264 140461275155074 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15736] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15702 15702 14887 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419041031 8616062976 37864 33554432000 4194304 4196468 140735221661168 140459926086816 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15737] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419041032 8616062976 37864 33554432000 4194304 4196468 140735221661168 140459657650928 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15738] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15702 15702 14887 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419041034 8616062976 37864 33554432000 4194304 4196468 140735221661168 140459283142608 140461275162523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15739] ppid=15702 vsize=8414124 memory=0 CPUtime=0.16 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) R 15702 15702 14887 0 -1 4202560 768 0 0 0 16 0 0 0 20 0 24 0 419041034 8616062976 37864 33554432000 4194304 4196468 140735221661168 140460233317104 140461260269840 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15740] ppid=15702 vsize=8414124 memory=0 CPUtime=0.2 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) R 15702 15702 14887 0 -1 4202560 716 0 0 0 20 0 0 0 20 0 24 0 419041034 8616062976 37864 33554432000 4194304 4196468 140735221661168 140460232264560 140461260052752 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15741] ppid=15702 vsize=8414124 memory=0 CPUtime=0.13 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) S 15702 15702 14887 0 -1 1077944384 268 0 0 0 13 0 0 0 20 0 24 0 419041034 8616062976 37864 33554432000 4194304 4196468 140735221661168 140460231211504 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15742] ppid=15702 vsize=8414124 memory=0 CPUtime=0.27 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) S 15702 15702 14887 0 -1 1077944384 1075 0 0 0 27 0 0 0 20 0 24 0 419041034 8616062976 37864 33554432000 4194304 4196468 140735221661168 140460230158960 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15743] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15702 15702 14887 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419041034 8616062976 37864 33554432000 4194304 4196468 140735221661168 140458785237472 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15744] ppid=15702 vsize=8414124 memory=-3414269042445149798 CPUtime=0 cores=0-7
/proc/15725/task/15744/stat : 15744 (java) S 15702 15702 14887 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419041035 8616062976 37864 33554432000 4194304 4196468 140735221661168 140460229106352 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15746] ppid=15702 vsize=8414124 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/15725/task/15746/stat : 15746 (java) S 15702 15702 14887 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419041109 8616062976 37864 33554432000 4194304 4196468 140735221661168 140460221072320 140461275168537 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15748] ppid=15702 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/15725/task/15748/stat : 15748 (java) R 15702 15702 14887 0 -1 4202560 59 0 0 0 8 0 0 0 20 0 24 0 419041109 8616062976 37864 33554432000 4194304 4196468 140735221661168 140458114138224 140460748289132 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15749] ppid=15702 vsize=8414124 memory=7594594464244064850 CPUtime=0 cores=0-7
/proc/15725/task/15749/stat : 15749 (java) S 15702 15702 14887 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419041109 8616062976 37864 33554432000 4194304 4196468 140735221661168 140458382573744 140461275165853 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15750] ppid=15702 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/15725/task/15750/stat : 15750 (java) S 15702 15702 14887 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419041111 8616062976 37864 33554432000 4194304 4196468 140735221661168 140457845710256 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
Current children cumulated CPU time: 40.73 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 152932 KiB

[startup+34.201 s]
/proc/loadavg: 4.59 6.27 7.10 4/216 15761
/proc/meminfo: memFree=23244832/32770624 swapFree=66999292/67108860
[pid=15702] ppid=15699 vsize=113128 memory=1476 CPUtime=38.99 cores=0-7
/proc/15702/stat : 15702 (scop.sh) S 15699 15702 14887 0 -1 4202496 583 52645 0 0 0 0 3718 181 20 0 1 0 419039075 115843072 369 33554432000 4194304 5098028 140727535376064 140727535372808 139651147350652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13897728 140727535383333 140727535383660 140727535383660 140727535386573 0
/proc/15702/statm: 28282 369 311 221 0 87 0
[pid=15725] ppid=15702 vsize=8283048 memory=166344 CPUtime=68.07 cores=0-7
/proc/15725/stat : 15725 (java) S 15702 15702 14887 0 -1 1077944320 22365 764915 0 0 206 11 6394 196 20 0 22 0 419041028 8481841152 41586 33554432000 4194304 4196468 140735221661168 140735221643712 140461275143927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
/proc/15725/statm: 2070762 41586 3231 1 0 2032106 0
[pid=15725/tid=15726] ppid=15702 vsize=8283048 memory=6791534058613427641 CPUtime=66.88 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) R 15702 15702 14887 0 -1 4202560 17703 764915 0 0 90 8 6394 196 20 0 22 0 419041028 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461246978656 140460752558663 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15727] ppid=15702 vsize=8283048 memory=288230583166042425 CPUtime=65.9 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15702 15702 14887 0 -1 1077944384 2 764915 0 0 0 0 6394 196 20 0 22 0 419041029 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461279386128 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15728] ppid=15702 vsize=8283048 memory=15262532197681710 CPUtime=65.9 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15702 15702 14887 0 -1 1077944384 1 764915 0 0 0 0 6394 196 20 0 22 0 419041029 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461079554704 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15729] ppid=15702 vsize=8283048 memory=932 CPUtime=65.9 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 22 0 419041029 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461078501648 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15730] ppid=15702 vsize=8283048 memory=3680 CPUtime=65.9 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15702 15702 14887 0 -1 1077944384 2 764915 0 0 0 0 6394 196 20 0 22 0 419041029 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461077449104 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15731] ppid=15702 vsize=8283048 memory=864 CPUtime=65.9 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15702 15702 14887 0 -1 1077944384 2 764915 0 0 0 0 6394 196 20 0 22 0 419041030 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461076397072 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15732] ppid=15702 vsize=8283048 memory=1436 CPUtime=65.9 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 22 0 419041030 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461075344528 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15733] ppid=15702 vsize=8283048 memory=1652 CPUtime=65.9 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15702 15702 14887 0 -1 1077944384 1 764915 0 0 0 0 6394 196 20 0 22 0 419041030 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461074291472 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15734] ppid=15702 vsize=8283048 memory=1980 CPUtime=65.9 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 22 0 419041030 8481841152 41586 33554432000 4194304 4196468 140735221661168 140461073238928 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15735] ppid=15702 vsize=8283048 memory=2540 CPUtime=65.9 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15702 15702 14887 0 -1 1077944384 6 764915 0 0 0 0 6394 196 20 0 22 0 419041031 8481841152 41586 33554432000 4194304 4196468 140735221661168 140460234369264 140461275155074 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15736] ppid=15702 vsize=8283048 memory=1760 CPUtime=65.9 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15702 15702 14887 0 -1 1077944384 13 764915 0 0 0 0 6394 196 20 0 22 0 419041031 8481841152 41586 33554432000 4194304 4196468 140735221661168 140459926086816 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15737] ppid=15702 vsize=8283048 memory=111636 CPUtime=65.9 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15702 15702 14887 0 -1 1077944384 1 764915 0 0 0 0 6394 196 20 0 22 0 419041032 8481841152 41586 33554432000 4194304 4196468 140735221661168 140459657650928 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15738] ppid=15702 vsize=8283048 memory=804 CPUtime=65.9 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15702 15702 14887 0 -1 1077944384 1 764915 0 0 0 0 6394 196 20 0 22 0 419041034 8481841152 41586 33554432000 4194304 4196468 140735221661168 140459283142608 140461275162523 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15739] ppid=15702 vsize=8283048 memory=4104 CPUtime=66.11 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) R 15702 15702 14887 0 -1 4202560 811 764915 0 0 21 0 6394 196 20 0 22 0 419041034 8481841152 41586 33554432000 4194304 4196468 140735221661168 140460233301520 140461252465264 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15740] ppid=15702 vsize=8283048 memory=0 CPUtime=66.15 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) R 15702 15702 14887 0 -1 4202560 741 764915 0 0 25 0 6394 196 20 0 22 0 419041034 8481841152 41610 33554432000 4194304 4196468 140735221661168 140460232249728 140461267860890 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15741] ppid=15702 vsize=8283048 memory=0 CPUtime=66.09 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) R 15702 15702 14887 0 -1 4202560 345 764915 0 0 19 0 6394 196 20 0 22 0 419041034 8481841152 41610 33554432000 4194304 4196468 140735221661168 140460231203600 140461261167769 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15742] ppid=15702 vsize=8283048 memory=0 CPUtime=66.27 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) S 15702 15702 14887 0 -1 1077944384 1293 764915 0 0 37 0 6394 196 20 0 22 0 419041034 8481841152 41610 33554432000 4194304 4196468 140735221661168 140460230158960 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15743] ppid=15702 vsize=8283048 memory=304556123141439514 CPUtime=65.9 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 22 0 419041034 8481841152 41610 33554432000 4194304 4196468 140735221661168 140458785237472 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15744] ppid=15702 vsize=8283048 memory=0 CPUtime=65.9 cores=0-7
/proc/15725/task/15744/stat : 15744 (java) S 15702 15702 14887 0 -1 1077944384 2 764915 0 0 0 0 6394 196 20 0 22 0 419041035 8481841152 41610 33554432000 4194304 4196468 140735221661168 140460229106352 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15746] ppid=15702 vsize=8283048 memory=0 CPUtime=65.9 cores=0-7
/proc/15725/task/15746/stat : 15746 (java) S 15702 15702 14887 0 -1 1077944384 25 764915 0 0 0 0 6394 196 20 0 22 0 419041109 8481841152 41610 33554432000 4194304 4196468 140735221661168 140460221071504 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15750] ppid=15702 vsize=8283048 memory=0 CPUtime=65.9 cores=0-7
/proc/15725/task/15750/stat : 15750 (java) S 15702 15702 14887 0 -1 1077944384 10 764915 0 0 0 0 6394 196 20 0 22 0 419041111 8481841152 41610 33554432000 4194304 4196468 140735221661168 140457845712048 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
Current children cumulated CPU time: 107.06 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 167820 KiB

[startup+34.3011 s]
/proc/loadavg: 4.59 6.27 7.10 4/216 15761
/proc/meminfo: memFree=23244832/32770624 swapFree=66999292/67108860
[pid=15702] ppid=15699 vsize=113128 memory=1476 CPUtime=38.99 cores=0-7
/proc/15702/stat : 15702 (scop.sh) S 15699 15702 14887 0 -1 4202496 583 52645 0 0 0 0 3718 181 20 0 1 0 419039075 115843072 369 33554432000 4194304 5098028 140727535376064 140727535372808 139651147350652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13897728 140727535383333 140727535383660 140727535383660 140727535386573 0
/proc/15702/statm: 28282 369 311 221 0 87 0
[pid=15725] ppid=15702 vsize=8151972 memory=183492 CPUtime=68.48 cores=0-7
/proc/15725/stat : 15725 (java) S 15702 15702 14887 0 -1 1077944320 25653 764915 0 0 243 15 6394 196 20 0 21 0 419041028 8347619328 45873 33554432000 4194304 4196468 140735221661168 140735221643712 140461275143927 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
/proc/15725/statm: 2037993 45873 3237 1 0 1999337 0
[pid=15725/tid=15726] ppid=15702 vsize=8151972 memory=123992 CPUtime=66.97 cores=0-7
/proc/15725/task/15726/stat : 15726 (java) S 15702 15702 14887 0 -1 1077944384 18804 764915 0 0 96 11 6394 196 20 0 21 0 419041028 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461246987408 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15727] ppid=15702 vsize=8151972 memory=123992 CPUtime=65.9 cores=0-7
/proc/15725/task/15727/stat : 15727 (java) S 15702 15702 14887 0 -1 1077944384 2 764915 0 0 0 0 6394 196 20 0 21 0 419041029 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461279386128 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15728] ppid=15702 vsize=8151972 memory=1476 CPUtime=65.9 cores=0-7
/proc/15725/task/15728/stat : 15728 (java) S 15702 15702 14887 0 -1 1077944384 1 764915 0 0 0 0 6394 196 20 0 21 0 419041029 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461079554704 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15729] ppid=15702 vsize=8151972 memory=159008 CPUtime=65.9 cores=0-7
/proc/15725/task/15729/stat : 15729 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 21 0 419041029 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461078501648 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15730] ppid=15702 vsize=8151972 memory=1476 CPUtime=65.9 cores=0-7
/proc/15725/task/15730/stat : 15730 (java) S 15702 15702 14887 0 -1 1077944384 2 764915 0 0 0 0 6394 196 20 0 21 0 419041029 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461077449104 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15731] ppid=15702 vsize=8151972 memory=0 CPUtime=65.9 cores=0-7
/proc/15725/task/15731/stat : 15731 (java) S 15702 15702 14887 0 -1 1077944384 2 764915 0 0 0 0 6394 196 20 0 21 0 419041030 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461076397072 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15732] ppid=15702 vsize=8151972 memory=0 CPUtime=65.9 cores=0-7
/proc/15725/task/15732/stat : 15732 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 21 0 419041030 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461075344528 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15733] ppid=15702 vsize=8151972 memory=0 CPUtime=65.9 cores=0-7
/proc/15725/task/15733/stat : 15733 (java) S 15702 15702 14887 0 -1 1077944384 1 764915 0 0 0 0 6394 196 20 0 21 0 419041030 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461074291472 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15734] ppid=15702 vsize=8151972 memory=0 CPUtime=65.9 cores=0-7
/proc/15725/task/15734/stat : 15734 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 21 0 419041030 8347619328 45873 33554432000 4194304 4196468 140735221661168 140461073238928 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15735] ppid=15702 vsize=8151972 memory=3624 CPUtime=65.9 cores=0-7
/proc/15725/task/15735/stat : 15735 (java) S 15702 15702 14887 0 -1 1077944384 6 764915 0 0 0 0 6394 196 20 0 21 0 419041031 8347619328 45873 33554432000 4194304 4196468 140735221661168 140460234369472 140461275155074 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15736] ppid=15702 vsize=8151972 memory=40432 CPUtime=65.9 cores=0-7
/proc/15725/task/15736/stat : 15736 (java) S 15702 15702 14887 0 -1 1077944384 13 764915 0 0 0 0 6394 196 20 0 21 0 419041031 8347619328 45873 33554432000 4194304 4196468 140735221661168 140459926086816 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15737] ppid=15702 vsize=8151972 memory=988 CPUtime=65.9 cores=0-7
/proc/15725/task/15737/stat : 15737 (java) S 15702 15702 14887 0 -1 1077944384 1 764915 0 0 0 0 6394 196 20 0 21 0 419041032 8347619328 45873 33554432000 4194304 4196468 140735221661168 140459657650928 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15738] ppid=15702 vsize=8151972 memory=6944656592455097440 CPUtime=65.9 cores=0-7
/proc/15725/task/15738/stat : 15738 (java) S 15702 15702 14887 0 -1 1077944384 21 764915 0 0 0 0 6394 196 20 0 21 0 419041034 8347619328 45873 33554432000 4194304 4196468 140735221661168 140459283141376 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15739] ppid=15702 vsize=8151972 memory=6944656592455360604 CPUtime=66.2 cores=0-7
/proc/15725/task/15739/stat : 15739 (java) S 15702 15702 14887 0 -1 1077944384 1410 764915 0 0 30 0 6394 196 20 0 21 0 419041034 8347619328 45873 33554432000 4194304 4196468 140735221661168 140460233317104 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15740] ppid=15702 vsize=8151972 memory=6944656592455097440 CPUtime=66.24 cores=0-7
/proc/15725/task/15740/stat : 15740 (java) S 15702 15702 14887 0 -1 1077944384 1118 764915 0 0 34 0 6394 196 20 0 21 0 419041034 8347619328 45873 33554432000 4194304 4196468 140735221661168 140460232255840 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15741] ppid=15702 vsize=8151972 memory=1476 CPUtime=66.18 cores=0-7
/proc/15725/task/15741/stat : 15741 (java) S 15702 15702 14887 0 -1 1077944384 1341 764915 0 0 28 0 6394 196 20 0 21 0 419041034 8347619328 45873 33554432000 4194304 4196468 140735221661168 140460231196016 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15742] ppid=15702 vsize=8151972 memory=123992 CPUtime=66.3 cores=0-7
/proc/15725/task/15742/stat : 15742 (java) S 15702 15702 14887 0 -1 1077944384 1487 764915 0 0 40 0 6394 196 20 0 21 0 419041034 8347619328 45873 33554432000 4194304 4196468 140735221661168 140460230158960 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15743] ppid=15702 vsize=8151972 memory=1613348 CPUtime=65.9 cores=0-7
/proc/15725/task/15743/stat : 15743 (java) S 15702 15702 14887 0 -1 1077944384 3 764915 0 0 0 0 6394 196 20 0 21 0 419041034 8347619328 45873 33554432000 4194304 4196468 140735221661168 140458785237472 140461275154133 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15746] ppid=15702 vsize=8151972 memory=7686721470317501592 CPUtime=65.9 cores=0-7
/proc/15725/task/15746/stat : 15746 (java) S 15702 15702 14887 0 -1 1077944384 25 764915 0 0 0 0 6394 196 20 0 21 0 419041109 8347619328 45873 33554432000 4194304 4196468 140735221661168 140460221071504 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
[pid=15725/tid=15750] ppid=15702 vsize=8151972 memory=1652 CPUtime=65.9 cores=0-7
/proc/15725/task/15750/stat : 15750 (java) S 15702 15702 14887 0 -1 1077944384 10 764915 0 0 0 0 6394 196 20 0 21 0 419041111 8347619328 45873 33554432000 4194304 4196468 140735221661168 140457845712048 140461275155074 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140735221666807 140735221666966 140735221666966 140735221669839 0
Current children cumulated CPU time: 107.47 s
Current children cumulated vsize: 8265100 KiB
Current children cumulated memory: 184968 KiB

Child status: 0
Real time (s): 34.3106
CPU time (s): 107.514
CPU user time (s): 103.574
CPU system time (s): 3.93918
CPU usage (%): 313.353
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6080712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 103.574
system time used= 3.93918
maximum resident set size= 6079952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 843812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 130432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55069
involuntary context switches= 655


# summary of solver processes directly reported to runsolver:
#   pid: 15702
#   total CPU time (s): 107.514
#   total CPU user time (s): 103.574
#   total CPU system time (s): 3.93918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.303825 second user time and 0.414036 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-14 05:16:06
IDJOB=4392370
IDBENCH=128113
IDSOLVER=2838
FILE ID=node140/4392370-1568431006
RUNJOBID= node140-1568430400-14914
PBS_JOBID= 21702310
Free space on /tmp= 58140 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-03.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order 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-4392370-1568431006/watcher-4392370-1568431006 -o /tmp/evaluation-result-4392370-1568431006/solver-4392370-1568431006 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1568430400-14914 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392370-1568431006.xml

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

MD5SUM BENCH= 09f7292054b32b27f786cbe3f3fae605
RANDOM SEED=1066041209

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24604464 kB
MemAvailable:   31857400 kB
Buffers:          172168 kB
Cached:          7288616 kB
SwapCached:         2728 kB
Active:          1518300 kB
Inactive:        5949744 kB
Active(anon):       2656 kB
Inactive(anon):    45600 kB
Active(file):    1515644 kB
Inactive(file):  5904144 kB
Unevictable:      107736 kB
Mlocked:          107736 kB
SwapTotal:      67108860 kB
SwapFree:       66999292 kB
Dirty:             20616 kB
Writeback:             0 kB
AnonPages:         79988 kB
Mapped:            44072 kB
Shmem:             32268 kB
Slab:             292040 kB
SReclaimable:     261608 kB
SUnreclaim:        30432 kB
KernelStack:        3328 kB
PageTables:         5660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 58120 MiB
End job on node140 at 2019-09-14 05:16:41