Trace number 4392367

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 104.032 34.1561

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-75-09.xml
MD5SUM3e3af1bae7de9ef5515b71e9dbb47d41
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 benchmark15.5446
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1421
Number of domains2
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":1000},{"size":25,"count":200}]
Minimum variable degree2
Maximum variable degree72
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":48,"count":8}, {"degree":49,"count":8}, {"degree":50,"count":9}, {"degree":51,"count":9}, {"degree":52,"count":62}, {"degree":53,"count":6}, {"degree":54,"count":6}, {"degree":55,"count":50}, {"degree":56,"count":2}, {"degree":57,"count":2}, {"degree":58,"count":2}, {"degree":59,"count":2}, {"degree":60,"count":2}, {"degree":61,"count":2}, {"degree":62,"count":2}, {"degree":63,"count":2}, {"degree":64,"count":2}, {"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":3}, {"degree":72,"count":63}]
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":30,"count":1},{"arity":35,"count":1},{"arity":40,"count":1},{"arity":45,"count":1},{"arity":50,"count":2},{"arity":53,"count":1},{"arity":55,"count":2},{"arity":56,"count":1},{"arity":59,"count":2},{"arity":60,"count":2},{"arity":62,"count":2},{"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":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":1220},{"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-12933-serial-file.bin HOME/instance-4392367-1568430788.xml
0.65/0.54	
0.65/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.65/0.54	
0.65/0.57	c BEGIN-Prog: Sat Sep 14 05:12:24 CEST 2019
0.65/0.57	c PID: 12936
0.65/0.57	c IP: 172.20.3.136
0.65/0.57	c HOST: node136.alineos.net
0.65/0.57	c (0,0) Parsing Begin
3.00/1.38	c (0,0) Parsing End
3.00/1.39	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1421 ctr, max domain size 25
3.00/1.39	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.00/1.40	c (0,0) Constraint Name Generate Begin
3.33/1.42	c (0,0) Ctr:HOME/instance-4392367-1568430788.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.33/1.42	c (0,0) Constraint Name Generate End
3.33/1.42	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.33/1.42	c (0,0) CSP to CSPinCNF Begin
11.85/4.73	c (4,4) translated 143 (10%) constraints
12.51/5.31	c (4,4) translated 285 (20%) constraints
12.51/5.32	c (4,4) translated 427 (30%) constraints
12.51/5.35	c (4,4) translated 569 (40%) constraints
12.51/5.37	c (4,4) translated 711 (50%) constraints
12.51/5.39	c (4,4) translated 853 (60%) constraints
12.89/5.40	c (4,4) translated 995 (70%) constraints
12.89/5.42	c (4,4) translated 1137 (80%) constraints
15.07/7.26	c (6,6) translated 1279 (90%) constraints
16.57/8.71	c (8,8) translated 1421 (100%) constraints
16.57/8.73	c (8,8) ===========================================
16.57/8.73	c (8,8) Order
16.57/8.73	c (8,8) ===========================================
18.56/9.43	c (8,8) translated 5725 (10%) constraints
19.46/9.70	c (9,9) translated 11449 (20%) constraints
19.83/9.84	c (9,9) translated 17174 (30%) constraints
20.03/9.96	c (9,9) translated 22898 (40%) constraints
20.17/10.09	c (9,9) translated 28623 (50%) constraints
20.36/10.21	c (9,9) translated 34347 (60%) constraints
20.46/10.33	c (9,9) translated 40072 (70%) constraints
20.57/10.46	c (9,9) translated 45796 (80%) constraints
20.66/10.58	c (10,10) translated 51521 (90%) constraints
25.83/12.36	c (11,11) translated 57245 (100%) constraints
25.83/12.37	c (11,11) CSP to CSPinCNF End
25.83/12.38	c (11,11) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 77330 ctr, max domain size 68
25.83/12.38	c (11,11) Heap : 4730 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
25.83/12.38	c (11,11) CSPinCNF Propagation Begin
27.29/12.86	c (12,12) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
27.29/12.86	c (12,12) CSPinCNF Propagation End
27.29/12.87	c (12,12) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 76930 ctr, max domain size 68
27.29/12.87	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
27.29/12.87	c (12,12) Simplify CSPinCNF Begin
27.90/13.08	c (12,12) Simplify CSPinCNF End
27.90/13.09	c (12,12) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 76930 ctr, max domain size 68
27.90/13.09	c (12,12) Heap : 5068 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
27.90/13.09	c (12,12) Calculate Precise Domain Begin
28.15/13.17	c (12,12) 0 values are removed by re-calculation
28.15/13.17	c (12,12) Calculate Precise Domain End
28.15/13.17	c (12,12) CSP: 9063 int (8863 aux), 21436 bool (20436 aux), 76930 ctr, max domain size 68
28.15/13.17	c (12,12) Heap : 5181 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
28.15/13.17	c (12,12) CSPinCNF to SatSolver Begin
32.55/14.81	c (14,14) 7693 (10 %) CSP clauses are encoded (0 SAT variables, 618189 SAT clauses)
32.55/14.88	c (14,14) 15386 (20 %) CSP clauses are encoded (0 SAT variables, 625882 SAT clauses)
32.80/14.95	c (14,14) 23079 (30 %) CSP clauses are encoded (0 SAT variables, 633575 SAT clauses)
32.99/15.03	c (14,14) 30772 (40 %) CSP clauses are encoded (0 SAT variables, 641268 SAT clauses)
32.99/15.10	c (14,14) 38465 (50 %) CSP clauses are encoded (0 SAT variables, 648961 SAT clauses)
33.10/15.17	c (14,14) 46158 (60 %) CSP clauses are encoded (0 SAT variables, 656654 SAT clauses)
33.20/15.24	c (14,14) 53851 (70 %) CSP clauses are encoded (0 SAT variables, 664347 SAT clauses)
33.30/15.31	c (14,14) 61544 (80 %) CSP clauses are encoded (0 SAT variables, 672040 SAT clauses)
33.88/15.62	c (15,14) 69237 (90 %) CSP clauses are encoded (0 SAT variables, 791136 SAT clauses)
37.07/18.72	c (18,18) 76930 (100 %) CSP clauses are encoded (0 SAT variables, 2444805 SAT clauses)
37.07/18.72	c (18,18) CSPinCNF to SatSolver End
37.07/18.72	c (18,18) Heap : 3772 MiB used (max 21589 MiB), NonHeap : 32 MiB used (max 0 MiB)
37.07/18.72	c (18,18) 147164 bool, 2445588 clause
37.07/18.72	c (18,18) Export Begin
37.21/19.79	c (19,18) Export to HOME/scop-12933-serial-file.bin
37.21/19.79	c (19,18) Export End
37.21/19.80	c (19,18) Export File Size: 0.25 MB
37.21/19.80	c (19,18) 0,0,11,12,12,12,18,STOP-AFTER(DIMACS)
37.21/19.80	c END-Prog: Sat Sep 14 05:12:43 CEST 2019
37.49/19.84	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-12933-serial-file.bin
38.12/20.31	c (0,0) Read Serial File Begin
38.12/20.31	c (0,0) HOME/scop-12933-serial-file.bin
38.74/20.60	c (0,0) Read Serial File End
38.74/20.61	
38.74/20.61	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
38.74/20.61	(Solving Process)
38.74/20.61	
38.74/20.63	c BEGIN-Prog: Sat Sep 14 05:12:44 CEST 2019
38.74/20.63	c PID: 12958
38.74/20.63	c IP: 172.20.3.136
38.74/20.63	c HOST: node136.alineos.net
38.74/20.64	c (0,0) SatSolver.solve Begin
38.74/20.64	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392367-1568430788.xml-scop-12936.cnf
38.74/20.66	c (0,0) c
38.74/20.66	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)
38.74/20.66	c (0,0) c
38.74/20.66	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
38.74/20.66	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
38.74/20.66	c (0,0) c ========================================[ Problem Statistics ]===========================================
38.74/20.66	c (0,0) c |                                                                                                       |
39.86/21.54	c (1,0) c |  Number of variables:        147164                                                                   |
39.86/21.54	c (1,0) c |  Number of clauses:         2445348                                                                   |
39.86/21.54	c (1,0) c |  Parse time:                   0.80 s                                                                 |
39.86/21.54	c (1,0) c |                                                                                                       |
43.16/24.89	c (4,0) c |  Simplification time:          3.29 s                                                                 |
43.16/24.89	c (4,0) c |                                                                                                       |
43.16/24.89	c (4,0) c |  Generating clones                                                                                    |
43.86/25.54	c (5,0) c |  all clones generated. Memory =  1375.02Mb.                                                           |
43.86/25.54	c (5,0) c ========================================================================================================|
43.86/25.54	c (5,0) c
43.86/25.54	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
43.86/25.54	c (5,0) c
43.86/25.54	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.86/25.54	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
43.86/25.54	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
43.86/25.54	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
43.86/25.54	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
43.86/25.54	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
43.86/25.54	c (5,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
43.86/25.54	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
43.86/25.54	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
43.86/25.54	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
43.86/25.54	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
43.86/25.54	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
43.86/25.54	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
43.86/25.54	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
43.86/25.54	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
43.86/25.54	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
43.86/25.54	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
43.86/25.54	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
43.86/25.54	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c
102.76/33.75	c (13,0) c real time : 13.0895 s
102.76/33.75	c (13,0) c cpu time  : 61.4106 s
102.76/33.75	c (13,0) c
102.76/33.75	c (13,0) c
102.76/33.75	c (13,0) c
102.76/33.75	c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
102.76/33.75	c (13,0) c
102.76/33.75	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
102.76/33.75	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c | Conflicts     |           42554 |       2395 |       6610 |       9791 |       3674 |       6452 |       4355 |       4975 |       4302 |
102.76/33.75	c (13,0) c | Decisions     |          689282 |      88783 |      92262 |      95451 |      81637 |      61658 |      91256 |      83083 |      95152 |
102.76/33.75	c (13,0) c | Propagations  |       112605296 |   13324704 |   13466406 |   15262305 |   14370850 |   13207973 |   13967415 |   13995374 |   15010269 |
102.76/33.75	c (13,0) c | ReduceDBs     |              10 |          1 |          2 |          2 |          1 |          1 |          1 |          1 |          1 |
102.76/33.75	c (13,0) c | SimpDBs       |              16 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |          2 |
102.76/33.75	c (13,0) c | Restarts      |             270 |         32 |         33 |         28 |         18 |         41 |         39 |         36 |         43 |
102.76/33.75	c (13,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.76/33.75	c (13,0) c | PropBinClauses|       194079369 |   23610284 |   23620475 |   25314405 |   24798314 |   23728813 |   23819398 |   23858899 |   25328781 |
102.76/33.75	c (13,0) c | PropPreBlocker|      1145877176 |  136579171 |  135871123 |  171079407 |  143071768 |  132607979 |  137489189 |  148432602 |  140745937 |
102.76/33.75	c (13,0) c | PropNotBlocker|       284691112 |   35809526 |   35744538 |   38428347 |   30964850 |   36229712 |   34550946 |   37634996 |   35328197 |
102.76/33.75	c (13,0) c | LitFullScans  |      1995176146 |  240204114 |  242942577 |  288151229 |  240135342 |  240179475 |  240089370 |  257313726 |  246160313 |
102.76/33.75	c (13,0) c | LitScanFracts |          787975 |     112941 |      68872 |      98018 |      80905 |     130055 |      36486 |     148089 |     112609 |
102.76/33.75	c (13,0) c | DecisionLevel0|             284 |         33 |         37 |         30 |         20 |         41 |         39 |         39 |         45 |
102.76/33.75	c (13,0) c | Periods       |             331 |         40 |         40 |         48 |         40 |         40 |         40 |         42 |         41 |
102.76/33.75	c (13,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
102.76/33.75	c (13,0) c | Avg_Trail     |                 |      68338 |      42383 |      28894 |      44250 |      41371 |      40258 |      41902 |      42749 |
102.76/33.75	c (13,0) c | Avg_DL        |                 |        564 |        294 |        199 |        358 |        266 |        325 |        244 |        394 |
102.76/33.75	c (13,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.76/33.75	c (13,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.76/33.75	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c | Exported      |            3152 |        176 |        462 |       1407 |        195 |        362 |        199 |        140 |        211 |
102.76/33.75	c (13,0) c | Imported      |            4861 |        592 |        573 |        764 |        542 |        622 |        565 |        643 |        560 |
102.76/33.75	c (13,0) c | Good          |            4598 |        560 |        542 |        726 |        517 |        588 |        530 |        605 |        530 |
102.76/33.75	c (13,0) c | Purge         |             263 |         32 |         31 |         38 |         25 |         34 |         35 |         38 |         30 |
102.76/33.75	c (13,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.76/33.75	c (13,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.76/33.75	c (13,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
102.76/33.75	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c | Unaries       |                 |          1 |          4 |          2 |          2 |          0 |          0 |          3 |          2 |
102.76/33.75	c (13,0) c | Binaries      |                 |        167 |         98 |        135 |        177 |         76 |        194 |        138 |        199 |
102.76/33.75	c (13,0) c | Glues         |                 |        176 |        103 |        140 |        195 |         81 |        199 |        140 |        211 |
102.76/33.75	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c | Orig_Seen     |             0 % |      19177 |      20314 |      19550 |      15415 |      20692 |      20387 |      21941 |      17968 |
102.76/33.75	c (13,0) c | Diff Orig seen|                 | -     1137 |      X     | -      764 | -     4899 |        378 |         73 |       1627 | -     2346 |
102.76/33.75	c (13,0) c | Hamming       |            11 % |      17070 |      X     |      17899 |      17656 |      16919 |      18013 |      17747 |      17372 |
102.76/33.75	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c | RunningTime   |                 |    8.0 100%|    7.2 100%|    7.3 100%|    7.5 100%|    7.3 100%|    8.2 100%|    7.2 100%|    7.3 100%|
102.76/33.75	c (13,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%|
102.76/33.75	c (13,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%|
102.76/33.75	c (13,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%|
102.76/33.75	c (13,0) c | SolvingTime   |                 |    8.0     |    7.2     |    7.3     |    7.5     |    7.3     |    8.2     |    7.2     |    7.3     |
102.76/33.75	c (13,0) c | PropagationTim|                 |    7.5  93%|    6.7  93%|    6.7  93%|    6.9  93%|    6.7  92%|    7.6  93%|    6.7  93%|    6.8  93%|
102.76/33.75	c (13,0) c | AnalysisTime  |                 |    0.1   1%|    0.1   2%|    0.1   2%|    0.1   1%|    0.2   2%|    0.1   1%|    0.1   1%|    0.1   1%|
102.76/33.75	c (13,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%|
102.76/33.75	c (13,0) c | SimplifyTime  |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
102.76/33.75	c (13,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%|
102.76/33.75	c (13,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%|
102.76/33.75	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.75	c (13,0) c
102.76/33.75	c (13,0) c
102.76/33.75	c (13,0) c Threads : 8
102.76/33.75	c (13,0) c Winner : 1
102.76/33.75	c (13,0) c Conflicts_0 : 2395
102.76/33.75	c (13,0) c Conflicts_1 : 6610
102.76/33.75	c (13,0) c Conflicts_2 : 9791
102.76/33.75	c (13,0) c Conflicts_3 : 3674
102.76/33.75	c (13,0) c Conflicts_4 : 6452
102.76/33.75	c (13,0) c Conflicts_5 : 4355
102.76/33.75	c (13,0) c Conflicts_6 : 4975
102.76/33.75	c (13,0) c Conflicts_7 : 4302
102.76/33.75	c (13,0) c Conflicts_total : 42554
102.76/33.75	c (13,0) c Conflicts_winner : 6610
102.76/33.75	c (13,0) c Decisions_0 : 88783
102.76/33.75	c (13,0) c Decisions_1 : 92262
102.76/33.75	c (13,0) c Decisions_2 : 95451
102.76/33.75	c (13,0) c Decisions_3 : 81637
102.76/33.75	c (13,0) c Decisions_4 : 61658
102.76/33.75	c (13,0) c Decisions_5 : 91256
102.76/33.75	c (13,0) c Decisions_6 : 83083
102.76/33.75	c (13,0) c Decisions_7 : 95152
102.76/33.75	c (13,0) c Decisions_total : 689282
102.76/33.75	c (13,0) c Decisions_winner : 92262
102.76/33.75	c (13,0) c Propagations_0 : 13324704
102.76/33.75	c (13,0) c Propagations_1 : 13466406
102.76/33.75	c (13,0) c Propagations_2 : 15262305
102.76/33.75	c (13,0) c Propagations_3 : 14370850
102.76/33.75	c (13,0) c Propagations_4 : 13207973
102.76/33.75	c (13,0) c Propagations_5 : 13967415
102.76/33.76	c (13,0) c Propagations_6 : 13995374
102.76/33.76	c (13,0) c Propagations_7 : 15010269
102.76/33.76	c (13,0) c Propagations_total : 112605296
102.76/33.76	c (13,0) c Propagations_winner : 13466406
102.76/33.76	c (13,0) c ReduceDBs_0 : 1
102.76/33.76	c (13,0) c ReduceDBs_1 : 2
102.76/33.76	c (13,0) c ReduceDBs_2 : 2
102.76/33.76	c (13,0) c ReduceDBs_3 : 1
102.76/33.76	c (13,0) c ReduceDBs_4 : 1
102.76/33.76	c (13,0) c ReduceDBs_5 : 1
102.76/33.76	c (13,0) c ReduceDBs_6 : 1
102.76/33.76	c (13,0) c ReduceDBs_7 : 1
102.76/33.76	c (13,0) c ReduceDBs_total : 10
102.76/33.76	c (13,0) c ReduceDBs_winner : 2
102.76/33.76	c (13,0) c SimpDBs_0 : 2
102.76/33.76	c (13,0) c SimpDBs_1 : 2
102.76/33.76	c (13,0) c SimpDBs_2 : 2
102.76/33.76	c (13,0) c SimpDBs_3 : 2
102.76/33.76	c (13,0) c SimpDBs_4 : 2
102.76/33.76	c (13,0) c SimpDBs_5 : 2
102.76/33.76	c (13,0) c SimpDBs_6 : 2
102.76/33.76	c (13,0) c SimpDBs_7 : 2
102.76/33.76	c (13,0) c SimpDBs_total : 16
102.76/33.76	c (13,0) c SimpDBs_winner : 2
102.76/33.76	c (13,0) c Restarts_0 : 32
102.76/33.76	c (13,0) c Restarts_1 : 33
102.76/33.76	c (13,0) c Restarts_2 : 28
102.76/33.76	c (13,0) c Restarts_3 : 18
102.76/33.76	c (13,0) c Restarts_4 : 41
102.76/33.76	c (13,0) c Restarts_5 : 39
102.76/33.76	c (13,0) c Restarts_6 : 36
102.76/33.76	c (13,0) c Restarts_7 : 43
102.76/33.76	c (13,0) c Restarts_total : 270
102.76/33.76	c (13,0) c Restarts_winner : 33
102.76/33.76	c (13,0) c ForcedImports_0 : 0
102.76/33.76	c (13,0) c ForcedImports_1 : 0
102.76/33.76	c (13,0) c ForcedImports_2 : 0
102.76/33.76	c (13,0) c ForcedImports_3 : 0
102.76/33.76	c (13,0) c ForcedImports_4 : 0
102.76/33.76	c (13,0) c ForcedImports_5 : 0
102.76/33.76	c (13,0) c ForcedImports_6 : 0
102.76/33.76	c (13,0) c ForcedImports_7 : 0
102.76/33.76	c (13,0) c ForcedImports_total : 0
102.76/33.76	c (13,0) c ForcedImports_winner : 0
102.76/33.76	c (13,0) c PropsBinClauses_0 : 23610284
102.76/33.76	c (13,0) c PropsBinClauses_1 : 23620475
102.76/33.76	c (13,0) c PropsBinClauses_2 : 25314405
102.76/33.76	c (13,0) c PropsBinClauses_3 : 24798314
102.76/33.76	c (13,0) c PropsBinClauses_4 : 23728813
102.76/33.76	c (13,0) c PropsBinClauses_5 : 23819398
102.76/33.76	c (13,0) c PropsBinClauses_6 : 23858899
102.76/33.76	c (13,0) c PropsBinClauses_7 : 25328781
102.76/33.76	c (13,0) c PropsBinClauses_total : 194079369
102.76/33.76	c (13,0) c PropsBinClauses_winner : 23620475
102.76/33.76	c (13,0) c PropsPreBlocker_0 : 136579171
102.76/33.76	c (13,0) c PropsPreBlocker_1 : 135871123
102.76/33.76	c (13,0) c PropsPreBlocker_2 : 171079407
102.76/33.76	c (13,0) c PropsPreBlocker_3 : 143071768
102.76/33.76	c (13,0) c PropsPreBlocker_4 : 132607979
102.76/33.76	c (13,0) c PropsPreBlocker_5 : 137489189
102.76/33.76	c (13,0) c PropsPreBlocker_6 : 148432602
102.76/33.76	c (13,0) c PropsPreBlocker_7 : 140745937
102.76/33.76	c (13,0) c PropsPreBlocker_total : 1145877176
102.76/33.76	c (13,0) c PropsPreBlocker_winner : 135871123
102.76/33.76	c (13,0) c PropsNotBlocker_0 : 35809526
102.76/33.76	c (13,0) c PropsNotBlocker_1 : 35744538
102.76/33.76	c (13,0) c PropsNotBlocker_2 : 38428347
102.76/33.76	c (13,0) c PropsNotBlocker_3 : 30964850
102.76/33.76	c (13,0) c PropsNotBlocker_4 : 36229712
102.76/33.76	c (13,0) c PropsNotBlocker_5 : 34550946
102.76/33.76	c (13,0) c PropsNotBlocker_6 : 37634996
102.76/33.76	c (13,0) c PropsNotBlocker_7 : 35328197
102.76/33.76	c (13,0) c PropsNotBlocker_total : 284691112
102.76/33.76	c (13,0) c PropsNotBlocker_winner : 35744538
102.76/33.76	c (13,0) c PropsLitFullScans_0 : 240204114
102.76/33.76	c (13,0) c PropsLitFullScans_1 : 242942577
102.76/33.76	c (13,0) c PropsLitFullScans_2 : 288151229
102.76/33.76	c (13,0) c PropsLitFullScans_3 : 240135342
102.76/33.76	c (13,0) c PropsLitFullScans_4 : 240179475
102.76/33.76	c (13,0) c PropsLitFullScans_5 : 240089370
102.76/33.76	c (13,0) c PropsLitFullScans_6 : 257313726
102.76/33.76	c (13,0) c PropsLitFullScans_7 : 246160313
102.76/33.76	c (13,0) c PropsLitFullScans_total : 1995176146
102.76/33.76	c (13,0) c PropsLitFullScans_winner : 242942577
102.76/33.76	c (13,0) c LitScanFractions_0 : 112941
102.76/33.76	c (13,0) c LitScanFractions_1 : 68872
102.76/33.76	c (13,0) c LitScanFractions_2 : 98018
102.76/33.76	c (13,0) c LitScanFractions_3 : 80905
102.76/33.76	c (13,0) c LitScanFractions_4 : 130055
102.76/33.76	c (13,0) c LitScanFractions_5 : 36486
102.76/33.76	c (13,0) c LitScanFractions_6 : 148089
102.76/33.76	c (13,0) c LitScanFractions_7 : 112609
102.76/33.76	c (13,0) c LitScanFractions_total : 787975
102.76/33.76	c (13,0) c LitScanFractions_winner : 68872
102.76/33.76	c (13,0) c DecisionLevel0_0 : 33
102.76/33.76	c (13,0) c DecisionLevel0_1 : 37
102.76/33.76	c (13,0) c DecisionLevel0_2 : 30
102.76/33.76	c (13,0) c DecisionLevel0_3 : 20
102.76/33.76	c (13,0) c DecisionLevel0_4 : 41
102.76/33.76	c (13,0) c DecisionLevel0_5 : 39
102.76/33.76	c (13,0) c DecisionLevel0_6 : 39
102.76/33.76	c (13,0) c DecisionLevel0_7 : 45
102.76/33.76	c (13,0) c DecisionLevel0_total : 284
102.76/33.76	c (13,0) c DecisionLevel0_winner : 37
102.76/33.76	c (13,0) c Periods_0 : 40
102.76/33.76	c (13,0) c Periods_1 : 40
102.76/33.76	c (13,0) c Periods_2 : 48
102.76/33.76	c (13,0) c Periods_3 : 40
102.76/33.76	c (13,0) c Periods_4 : 40
102.76/33.76	c (13,0) c Periods_5 : 40
102.76/33.76	c (13,0) c Periods_6 : 42
102.76/33.76	c (13,0) c Periods_7 : 41
102.76/33.76	c (13,0) c Periods_total : 331
102.76/33.76	c (13,0) c Periods_winner : 40
102.76/33.76	c (13,0) c Margin_0 : 20
102.76/33.76	c (13,0) c Margin_1 : 20
102.76/33.76	c (13,0) c Margin_2 : 20
102.76/33.76	c (13,0) c Margin_3 : 20
102.76/33.76	c (13,0) c Margin_4 : 20
102.76/33.76	c (13,0) c Margin_5 : 20
102.76/33.76	c (13,0) c Margin_6 : 20
102.76/33.76	c (13,0) c Margin_7 : 20
102.76/33.76	c (13,0) c Margin_total : 160
102.76/33.76	c (13,0) c Margin_winner : 20
102.76/33.76	c (13,0) c Exported_0 : 176
102.76/33.76	c (13,0) c Exported_1 : 462
102.76/33.76	c (13,0) c Exported_2 : 1407
102.76/33.76	c (13,0) c Exported_3 : 195
102.76/33.76	c (13,0) c Exported_4 : 362
102.76/33.76	c (13,0) c Exported_5 : 199
102.76/33.76	c (13,0) c Exported_6 : 140
102.76/33.76	c (13,0) c Exported_7 : 211
102.76/33.76	c (13,0) c Exported_total : 3152
102.76/33.76	c (13,0) c Exported_winner : 462
102.76/33.76	c (13,0) c Imported_0 : 592
102.76/33.76	c (13,0) c Imported_1 : 573
102.76/33.76	c (13,0) c Imported_2 : 764
102.76/33.76	c (13,0) c Imported_3 : 542
102.76/33.76	c (13,0) c Imported_4 : 622
102.76/33.76	c (13,0) c Imported_5 : 565
102.76/33.76	c (13,0) c Imported_6 : 643
102.76/33.76	c (13,0) c Imported_7 : 560
102.76/33.76	c (13,0) c Imported_total : 4861
102.76/33.76	c (13,0) c Imported_winner : 573
102.76/33.76	c (13,0) c Good_0 : 560
102.76/33.76	c (13,0) c Good_1 : 542
102.76/33.76	c (13,0) c Good_2 : 726
102.76/33.76	c (13,0) c Good_3 : 517
102.76/33.76	c (13,0) c Good_4 : 588
102.76/33.76	c (13,0) c Good_5 : 530
102.76/33.76	c (13,0) c Good_6 : 605
102.76/33.76	c (13,0) c Good_7 : 530
102.76/33.76	c (13,0) c Good_total : 4598
102.76/33.76	c (13,0) c Good_winner : 542
102.76/33.76	c (13,0) c Purge_0 : 32
102.76/33.76	c (13,0) c Purge_1 : 31
102.76/33.76	c (13,0) c Purge_2 : 38
102.76/33.76	c (13,0) c Purge_3 : 25
102.76/33.76	c (13,0) c Purge_4 : 34
102.76/33.76	c (13,0) c Purge_5 : 35
102.76/33.76	c (13,0) c Purge_6 : 38
102.76/33.76	c (13,0) c Purge_7 : 30
102.76/33.76	c (13,0) c Purge_total : 263
102.76/33.76	c (13,0) c Purge_winner : 31
102.76/33.76	c (13,0) c Promoted_0 : 0
102.76/33.76	c (13,0) c Promoted_1 : 0
102.76/33.76	c (13,0) c Promoted_2 : 0
102.76/33.76	c (13,0) c Promoted_3 : 0
102.76/33.76	c (13,0) c Promoted_4 : 0
102.76/33.76	c (13,0) c Promoted_5 : 0
102.76/33.76	c (13,0) c Promoted_6 : 0
102.76/33.76	c (13,0) c Promoted_7 : 0
102.76/33.76	c (13,0) c Promoted_total : 0
102.76/33.76	c (13,0) c Promoted_winner : 0
102.76/33.76	c (13,0) c Remove_Imp_0 : 0
102.76/33.76	c (13,0) c Remove_Imp_1 : 0
102.76/33.76	c (13,0) c Remove_Imp_2 : 0
102.76/33.76	c (13,0) c Remove_Imp_3 : 0
102.76/33.76	c (13,0) c Remove_Imp_4 : 0
102.76/33.76	c (13,0) c Remove_Imp_5 : 0
102.76/33.76	c (13,0) c Remove_Imp_6 : 0
102.76/33.76	c (13,0) c Remove_Imp_7 : 0
102.76/33.76	c (13,0) c Remove_Imp_total : 0
102.76/33.76	c (13,0) c Remove_Imp_winner : 0
102.76/33.76	c (13,0) c Blocked_Reuse_0 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_1 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_2 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_3 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_4 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_5 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_6 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_7 : 0
102.76/33.76	c (13,0) c Blocked_Reuse_total : 0
102.76/33.76	c (13,0) c Blocked_Reuse_winner : 0
102.76/33.76	c (13,0) c Unaries_0 : 1
102.76/33.76	c (13,0) c Unaries_1 : 4
102.76/33.76	c (13,0) c Unaries_2 : 2
102.76/33.76	c (13,0) c Unaries_3 : 2
102.76/33.76	c (13,0) c Unaries_4 : 0
102.76/33.76	c (13,0) c Unaries_5 : 0
102.76/33.76	c (13,0) c Unaries_6 : 3
102.76/33.76	c (13,0) c Unaries_7 : 2
102.76/33.76	c (13,0) c Unaries_total : 14
102.76/33.76	c (13,0) c Unaries_winner : 4
102.76/33.76	c (13,0) c Binaries_0 : 167
102.76/33.76	c (13,0) c Binaries_1 : 98
102.76/33.76	c (13,0) c Binaries_2 : 135
102.76/33.76	c (13,0) c Binaries_3 : 177
102.76/33.76	c (13,0) c Binaries_4 : 76
102.76/33.76	c (13,0) c Binaries_5 : 194
102.76/33.76	c (13,0) c Binaries_6 : 138
102.76/33.76	c (13,0) c Binaries_7 : 199
102.76/33.76	c (13,0) c Binaries_total : 1184
102.76/33.76	c (13,0) c Binaries_winner : 98
102.76/33.76	c (13,0) c Glues_0 : 176
102.76/33.76	c (13,0) c Glues_1 : 103
102.76/33.76	c (13,0) c Glues_2 : 140
102.76/33.76	c (13,0) c Glues_3 : 195
102.76/33.76	c (13,0) c Glues_4 : 81
102.76/33.76	c (13,0) c Glues_5 : 199
102.76/33.76	c (13,0) c Glues_6 : 140
102.76/33.76	c (13,0) c Glues_7 : 211
102.76/33.76	c (13,0) c Glues_total : 1245
102.76/33.76	c (13,0) c Glues_winner : 103
102.76/33.76	c (13,0) c RunningTime_0 : 8.022250
102.76/33.76	c (13,0) c RunningTime_1 : 7.191393
102.76/33.76	c (13,0) c RunningTime_2 : 7.250458
102.76/33.76	c (13,0) c RunningTime_3 : 7.468046
102.76/33.76	c (13,0) c RunningTime_4 : 7.345888
102.76/33.76	c (13,0) c RunningTime_5 : 8.198310
102.76/33.76	c (13,0) c RunningTime_6 : 7.192567
102.76/33.76	c (13,0) c RunningTime_7 : 7.254694
102.76/33.76	c (13,0) c RunningTime_total : 59.923607
102.76/33.76	c (13,0) c RunningTime_winner : 7.191393
102.76/33.76	c (13,0) c WaitingTime_0 : 0.000029
102.76/33.76	c (13,0) c WaitingTime_1 : 0.000031
102.76/33.76	c (13,0) c WaitingTime_2 : 0.000060
102.76/33.76	c (13,0) c WaitingTime_3 : 0.000035
102.76/33.76	c (13,0) c WaitingTime_4 : 0.000054
102.76/33.76	c (13,0) c WaitingTime_5 : 0.000027
102.76/33.76	c (13,0) c WaitingTime_6 : 0.000050
102.76/33.76	c (13,0) c WaitingTime_7 : 0.000032
102.76/33.76	c (13,0) c WaitingTime_total : 0.000319
102.76/33.76	c (13,0) c WaitingTime_winner : 0.000031
102.76/33.76	c (13,0) c ExchangingTime_0 : 0.001386
102.76/33.76	c (13,0) c ExchangingTime_1 : 0.001464
102.76/33.76	c (13,0) c ExchangingTime_2 : 0.001791
102.76/33.76	c (13,0) c ExchangingTime_3 : 0.001593
102.76/33.76	c (13,0) c ExchangingTime_4 : 0.001648
102.76/33.76	c (13,0) c ExchangingTime_5 : 0.001830
102.76/33.76	c (13,0) c ExchangingTime_6 : 0.001561
102.76/33.76	c (13,0) c ExchangingTime_7 : 0.003266
102.76/33.76	c (13,0) c ExchangingTime_total : 0.014540
102.76/33.76	c (13,0) c ExchangingTime_winner : 0.001464
102.76/33.76	c (13,0) c PeriodProcTime_0 : 0.000403
102.76/33.76	c (13,0) c PeriodProcTime_1 : 0.000414
102.76/33.76	c (13,0) c PeriodProcTime_2 : 0.000499
102.76/33.76	c (13,0) c PeriodProcTime_3 : 0.000426
102.76/33.76	c (13,0) c PeriodProcTime_4 : 0.000427
102.76/33.76	c (13,0) c PeriodProcTime_5 : 0.000443
102.76/33.76	c (13,0) c PeriodProcTime_6 : 0.000417
102.76/33.76	c (13,0) c PeriodProcTime_7 : 0.000424
102.76/33.76	c (13,0) c PeriodProcTime_total : 0.003453
102.76/33.76	c (13,0) c PeriodProcTime_winner : 0.000414
102.76/33.76	c (13,0) c SolvingTime_0 : 8.024068
102.76/33.76	c (13,0) c SolvingTime_1 : 7.193301
102.76/33.76	c (13,0) c SolvingTime_2 : 7.252808
102.76/33.76	c (13,0) c SolvingTime_3 : 7.470100
102.76/33.76	c (13,0) c SolvingTime_4 : 7.348017
102.76/33.76	c (13,0) c SolvingTime_5 : 8.200612
102.76/33.76	c (13,0) c SolvingTime_6 : 7.194596
102.76/33.76	c (13,0) c SolvingTime_7 : 7.258416
102.76/33.76	c (13,0) c SolvingTime_total : 59.941918
102.76/33.76	c (13,0) c SolvingTime_winner : 7.193301
102.76/33.76	c (13,0) c PropagationTime_0 : 7.483291
102.76/33.76	c (13,0) c PropagationTime_1 : 6.687850
102.76/33.76	c (13,0) c PropagationTime_2 : 6.722246
102.76/33.76	c (13,0) c PropagationTime_3 : 6.948578
102.76/33.76	c (13,0) c PropagationTime_4 : 6.748211
102.76/33.76	c (13,0) c PropagationTime_5 : 7.607528
102.76/33.76	c (13,0) c PropagationTime_6 : 6.680114
102.76/33.76	c (13,0) c PropagationTime_7 : 6.751386
102.76/33.76	c (13,0) c PropagationTime_total : 55.629206
102.76/33.76	c (13,0) c PropagationTime_winner : 6.687850
102.76/33.76	c (13,0) c AnalysisTime_0 : 0.098136
102.76/33.76	c (13,0) c AnalysisTime_1 : 0.120690
102.76/33.76	c (13,0) c AnalysisTime_2 : 0.124348
102.76/33.76	c (13,0) c AnalysisTime_3 : 0.073985
102.76/33.76	c (13,0) c AnalysisTime_4 : 0.169767
102.76/33.77	c (13,0) c AnalysisTime_5 : 0.110581
102.76/33.77	c (13,0) c AnalysisTime_6 : 0.093254
102.76/33.77	c (13,0) c AnalysisTime_7 : 0.070854
102.76/33.77	c (13,0) c AnalysisTime_total : 0.861615
102.76/33.77	c (13,0) c AnalysisTime_winner : 0.120690
102.76/33.77	c (13,0) c ReductionTime_0 : 0.000433
102.76/33.77	c (13,0) c ReductionTime_1 : 0.001970
102.76/33.77	c (13,0) c ReductionTime_2 : 0.001981
102.76/33.77	c (13,0) c ReductionTime_3 : 0.000404
102.76/33.77	c (13,0) c ReductionTime_4 : 0.000432
102.76/33.77	c (13,0) c ReductionTime_5 : 0.000729
102.76/33.77	c (13,0) c ReductionTime_6 : 0.000429
102.76/33.77	c (13,0) c ReductionTime_7 : 0.000392
102.76/33.77	c (13,0) c ReductionTime_total : 0.006770
102.76/33.77	c (13,0) c ReductionTime_winner : 0.001970
102.76/33.77	c (13,0) c SimplifyTime_0 : 0.041562
102.76/33.77	c (13,0) c SimplifyTime_1 : 0.038995
102.76/33.77	c (13,0) c SimplifyTime_2 : 0.049489
102.76/33.77	c (13,0) c SimplifyTime_3 : 0.039549
102.76/33.77	c (13,0) c SimplifyTime_4 : 0.049012
102.76/33.77	c (13,0) c SimplifyTime_5 : 0.045203
102.76/33.77	c (13,0) c SimplifyTime_6 : 0.039553
102.76/33.77	c (13,0) c SimplifyTime_7 : 0.040252
102.76/33.77	c (13,0) c SimplifyTime_total : 0.343615
102.76/33.77	c (13,0) c SimplifyTime_winner : 0.038995
102.76/33.77	c (13,0) c UsedRateTime_0 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_1 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_2 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_3 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_4 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_5 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_6 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_7 : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_total : 0.000000
102.76/33.77	c (13,0) c UsedRateTime_winner : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_0 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_1 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_2 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_3 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_4 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_5 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_6 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_7 : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_total : 0.000000
102.76/33.77	c (13,0) c OverlapRateTime_winner : 0.000000
102.76/33.77	c (13,0) c
102.76/33.77	c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
102.76/33.77	c (13,0) c
102.76/33.77	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.77	c (13,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
102.76/33.77	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.77	c (13,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
102.76/33.77	c (13,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
102.76/33.77	c (13,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
102.76/33.77	c (13,0) c | Initial random_seed   | 1556046237 |   30668638 | 1482295855 | 1067822386 | 1059039779 |   42933518 | 1591220425 |  839637948 |
102.76/33.77	c (13,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
102.76/33.77	c (13,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
102.76/33.77	c (13,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
102.76/33.77	c (13,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
102.76/33.77	c (13,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
102.76/33.77	c (13,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
102.76/33.77	c (13,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
102.76/33.77	c (13,0) c | var_decay             |     0.8000 |     0.8100 |     0.8100 |     0.8000 |     0.8100 |     0.8000 |     0.8000 |     0.8000 |
102.76/33.77	c (13,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
102.76/33.77	c (13,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
102.76/33.77	c (13,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
102.76/33.77	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
102.76/33.77	c (13,0) 
102.76/33.77	c (13,0) s SATISFIABLE
102.98/33.88	c (13,0) SatSolver.solve End
102.98/33.88	c (13,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
102.98/33.88	c (13,0) Show results Begin
103.52/34.09	c (13,0) cls[0] = 21
103.52/34.09	c (13,0) cls[1] = 16
103.52/34.09	c (13,0) cls[2] = 20
103.52/34.09	c (13,0) cls[3] = 21
103.52/34.09	c (13,0) cls[4] = 10
103.52/34.09	c (13,0) cls[5] = 2
103.52/34.09	c (13,0) cls[6] = 0
103.52/34.09	c (13,0) cls[7] = 10
103.52/34.09	c (13,0) cls[8] = 2
103.52/34.09	c (13,0) cls[9] = 10
103.52/34.09	c (13,0) cls[10] = 24
103.52/34.09	c (13,0) cls[11] = 11
103.52/34.09	c (13,0) cls[12] = 10
103.52/34.09	c (13,0) cls[13] = 16
103.52/34.09	c (13,0) cls[14] = 11
103.52/34.09	c (13,0) cls[15] = 6
103.52/34.09	c (13,0) cls[16] = 18
103.52/34.09	c (13,0) cls[17] = 16
103.52/34.09	c (13,0) cls[18] = 20
103.52/34.09	c (13,0) cls[19] = 5
103.52/34.09	c (13,0) cls[20] = 18
103.52/34.09	c (13,0) cls[21] = 2
103.52/34.09	c (13,0) cls[22] = 13
103.52/34.09	c (13,0) cls[23] = 16
103.52/34.09	c (13,0) cls[24] = 6
103.52/34.09	c (13,0) cls[25] = 3
103.52/34.09	c (13,0) cls[26] = 16
103.52/34.09	c (13,0) cls[27] = 23
103.52/34.09	c (13,0) cls[28] = 0
103.52/34.09	c (13,0) cls[29] = 6
103.52/34.09	c (13,0) cls[30] = 18
103.52/34.09	c (13,0) cls[31] = 7
103.52/34.09	c (13,0) cls[32] = 0
103.52/34.09	c (13,0) cls[33] = 6
103.52/34.09	c (13,0) cls[34] = 2
103.52/34.09	c (13,0) cls[35] = 6
103.52/34.09	c (13,0) cls[36] = 20
103.52/34.09	c (13,0) cls[37] = 18
103.52/34.09	c (13,0) cls[38] = 6
103.52/34.09	c (13,0) cls[39] = 16
103.52/34.09	c (13,0) cls[40] = 18
103.52/34.09	c (13,0) cls[41] = 13
103.52/34.09	c (13,0) cls[42] = 18
103.52/34.09	c (13,0) cls[43] = 6
103.52/34.09	c (13,0) cls[44] = 17
103.52/34.09	c (13,0) cls[45] = 6
103.52/34.09	c (13,0) cls[46] = 16
103.52/34.09	c (13,0) cls[47] = 23
103.52/34.09	c (13,0) cls[48] = 2
103.52/34.09	c (13,0) cls[49] = 6
103.52/34.09	c (13,0) cls[50] = 20
103.52/34.09	c (13,0) cls[51] = 0
103.52/34.09	c (13,0) cls[52] = 10
103.52/34.09	c (13,0) cls[53] = 2
103.52/34.09	c (13,0) cls[54] = 2
103.52/34.09	c (13,0) cls[55] = 5
103.52/34.09	c (13,0) cls[56] = 10
103.52/34.09	c (13,0) cls[57] = 16
103.52/34.09	c (13,0) cls[58] = 8
103.52/34.09	c (13,0) cls[59] = 2
103.52/34.09	c (13,0) cls[60] = 9
103.52/34.09	c (13,0) cls[61] = 5
103.52/34.09	c (13,0) cls[62] = 10
103.52/34.09	c (13,0) cls[63] = 2
103.52/34.09	c (13,0) cls[64] = 2
103.52/34.09	c (13,0) cls[65] = 12
103.52/34.09	c (13,0) cls[66] = 13
103.52/34.09	c (13,0) cls[67] = 16
103.52/34.09	c (13,0) cls[68] = 22
103.52/34.09	c (13,0) cls[69] = 2
103.52/34.09	c (13,0) cls[70] = 17
103.52/34.09	c (13,0) cls[71] = 10
103.52/34.09	c (13,0) cls[72] = 16
103.52/34.09	c (13,0) cls[73] = 2
103.52/34.09	c (13,0) cls[74] = 5
103.52/34.09	c (13,0) cls[75] = 16
103.52/34.09	c (13,0) cls[76] = 9
103.52/34.09	c (13,0) cls[77] = 2
103.52/34.09	c (13,0) cls[78] = 6
103.52/34.09	c (13,0) cls[79] = 5
103.52/34.09	c (13,0) cls[80] = 16
103.52/34.09	c (13,0) cls[81] = 19
103.52/34.09	c (13,0) cls[82] = 5
103.52/34.09	c (13,0) cls[83] = 2
103.52/34.09	c (13,0) cls[84] = 10
103.52/34.09	c (13,0) cls[85] = 5
103.52/34.10	c (13,0) cls[86] = 3
103.52/34.10	c (13,0) cls[87] = 16
103.52/34.10	c (13,0) cls[88] = 5
103.52/34.10	c (13,0) cls[89] = 18
103.52/34.10	c (13,0) cls[90] = 10
103.52/34.10	c (13,0) cls[91] = 5
103.52/34.10	c (13,0) cls[92] = 22
103.52/34.10	c (13,0) cls[93] = 24
103.52/34.10	c (13,0) cls[94] = 0
103.52/34.10	c (13,0) cls[95] = 10
103.52/34.10	c (13,0) cls[96] = 2
103.52/34.10	c (13,0) cls[97] = 10
103.52/34.10	c (13,0) cls[98] = 2
103.52/34.10	c (13,0) cls[99] = 5
103.52/34.10	c (13,0) cls[100] = 9
103.52/34.10	c (13,0) cls[101] = 18
103.52/34.10	c (13,0) cls[102] = 5
103.52/34.10	c (13,0) cls[103] = 23
103.52/34.10	c (13,0) cls[104] = 16
103.52/34.10	c (13,0) cls[105] = 12
103.52/34.10	c (13,0) cls[106] = 6
103.52/34.10	c (13,0) cls[107] = 2
103.52/34.10	c (13,0) cls[108] = 4
103.52/34.10	c (13,0) cls[109] = 16
103.52/34.10	c (13,0) cls[110] = 6
103.52/34.10	c (13,0) cls[111] = 1
103.52/34.10	c (13,0) cls[112] = 2
103.52/34.10	c (13,0) cls[113] = 10
103.52/34.10	c (13,0) cls[114] = 5
103.52/34.10	c (13,0) cls[115] = 10
103.52/34.10	c (13,0) cls[116] = 2
103.52/34.10	c (13,0) cls[117] = 0
103.52/34.10	c (13,0) cls[118] = 16
103.52/34.10	c (13,0) cls[119] = 6
103.52/34.10	c (13,0) cls[120] = 3
103.52/34.10	c (13,0) cls[121] = 13
103.52/34.10	c (13,0) cls[122] = 2
103.52/34.10	c (13,0) cls[123] = 10
103.52/34.10	c (13,0) cls[124] = 5
103.52/34.10	c (13,0) cls[125] = 2
103.52/34.10	c (13,0) cls[126] = 20
103.52/34.10	c (13,0) cls[127] = 4
103.52/34.10	c (13,0) cls[128] = 16
103.52/34.10	c (13,0) cls[129] = 23
103.52/34.10	c (13,0) cls[130] = 11
103.52/34.10	c (13,0) cls[131] = 16
103.52/34.10	c (13,0) cls[132] = 20
103.52/34.10	c (13,0) cls[133] = 0
103.52/34.10	c (13,0) cls[134] = 22
103.52/34.10	c (13,0) cls[135] = 2
103.52/34.10	c (13,0) cls[136] = 0
103.52/34.10	c (13,0) cls[137] = 6
103.52/34.10	c (13,0) cls[138] = 16
103.52/34.10	c (13,0) cls[139] = 6
103.52/34.10	c (13,0) cls[140] = 12
103.52/34.10	c (13,0) cls[141] = 2
103.52/34.10	c (13,0) cls[142] = 22
103.52/34.10	c (13,0) cls[143] = 16
103.52/34.10	c (13,0) cls[144] = 6
103.52/34.10	c (13,0) cls[145] = 0
103.52/34.10	c (13,0) cls[146] = 23
103.52/34.10	c (13,0) cls[147] = 20
103.52/34.10	c (13,0) cls[148] = 8
103.52/34.10	c (13,0) cls[149] = 16
103.52/34.10	c (13,0) cls[150] = 16
103.52/34.10	c (13,0) cls[151] = 13
103.52/34.10	c (13,0) cls[152] = 2
103.52/34.10	c (13,0) cls[153] = 16
103.52/34.10	c (13,0) cls[154] = 6
103.52/34.10	c (13,0) cls[155] = 15
103.52/34.10	c (13,0) cls[156] = 16
103.52/34.10	c (13,0) cls[157] = 2
103.52/34.10	c (13,0) cls[158] = 10
103.52/34.10	c (13,0) cls[159] = 0
103.52/34.10	c (13,0) cls[160] = 2
103.52/34.10	c (13,0) cls[161] = 6
103.52/34.10	c (13,0) cls[162] = 21
103.52/34.10	c (13,0) cls[163] = 7
103.52/34.10	c (13,0) cls[164] = 16
103.52/34.10	c (13,0) cls[165] = 18
103.52/34.10	c (13,0) cls[166] = 13
103.52/34.10	c (13,0) cls[167] = 2
103.52/34.10	c (13,0) cls[168] = 16
103.52/34.10	c (13,0) cls[169] = 16
103.52/34.10	c (13,0) cls[170] = 2
103.52/34.10	c (13,0) cls[171] = 14
103.52/34.10	c (13,0) cls[172] = 16
103.52/34.10	c (13,0) cls[173] = 10
103.52/34.10	c (13,0) cls[174] = 5
103.52/34.10	c (13,0) cls[175] = 2
103.52/34.10	c (13,0) cls[176] = 6
103.52/34.10	c (13,0) cls[177] = 21
103.52/34.10	c (13,0) cls[178] = 16
103.52/34.10	c (13,0) cls[179] = 6
103.52/34.10	c (13,0) cls[180] = 0
103.52/34.10	c (13,0) cls[181] = 18
103.52/34.10	c (13,0) cls[182] = 7
103.52/34.10	c (13,0) cls[183] = 5
103.52/34.10	c (13,0) cls[184] = 2
103.52/34.10	c (13,0) cls[185] = 16
103.52/34.10	c (13,0) cls[186] = 6
103.52/34.10	c (13,0) cls[187] = 5
103.52/34.10	c (13,0) cls[188] = 22
103.52/34.10	c (13,0) cls[189] = 20
103.52/34.10	c (13,0) cls[190] = 10
103.52/34.10	c (13,0) cls[191] = 5
103.52/34.10	c (13,0) cls[192] = 18
103.52/34.10	c (13,0) cls[193] = 18
103.52/34.10	c (13,0) cls[194] = 20
103.52/34.10	c (13,0) cls[195] = 10
103.52/34.10	c (13,0) cls[196] = 0
103.52/34.10	c (13,0) cls[197] = 2
103.52/34.10	c (13,0) cls[198] = 2
103.52/34.10	c (13,0) cls[199] = 7
103.52/34.10	c (13,0) opt[0][0] = 0
103.52/34.10	c (13,0) opt[0][1] = 1
103.52/34.10	c (13,0) opt[0][2] = 1
103.52/34.10	c (13,0) opt[0][3] = 1
103.52/34.10	c (13,0) opt[0][4] = 0
103.52/34.10	c (13,0) opt[1][0] = 0
103.52/34.10	c (13,0) opt[1][1] = 1
103.52/34.10	c (13,0) opt[1][2] = 0
103.52/34.10	c (13,0) opt[1][3] = 0
103.52/34.10	c (13,0) opt[1][4] = 0
103.52/34.10	c (13,0) opt[2][0] = 0
103.52/34.10	c (13,0) opt[2][1] = 0
103.52/34.10	c (13,0) opt[2][2] = 0
103.52/34.10	c (13,0) opt[2][3] = 0
103.52/34.10	c (13,0) opt[2][4] = 1
103.52/34.10	c (13,0) opt[3][0] = 0
103.52/34.10	c (13,0) opt[3][1] = 1
103.52/34.10	c (13,0) opt[3][2] = 1
103.52/34.10	c (13,0) opt[3][3] = 1
103.52/34.10	c (13,0) opt[3][4] = 0
103.52/34.10	c (13,0) opt[4][0] = 1
103.52/34.10	c (13,0) opt[4][1] = 1
103.52/34.10	c (13,0) opt[4][2] = 0
103.52/34.10	c (13,0) opt[4][3] = 0
103.52/34.10	c (13,0) opt[4][4] = 0
103.52/34.10	c (13,0) opt[5][0] = 0
103.52/34.10	c (13,0) opt[5][1] = 0
103.52/34.10	c (13,0) opt[5][2] = 0
103.52/34.10	c (13,0) opt[5][3] = 1
103.52/34.10	c (13,0) opt[5][4] = 0
103.52/34.10	c (13,0) opt[6][0] = 0
103.52/34.10	c (13,0) opt[6][1] = 1
103.52/34.10	c (13,0) opt[6][2] = 1
103.52/34.10	c (13,0) opt[6][3] = 0
103.52/34.10	c (13,0) opt[6][4] = 0
103.52/34.10	c (13,0) opt[7][0] = 1
103.52/34.10	c (13,0) opt[7][1] = 1
103.52/34.10	c (13,0) opt[7][2] = 0
103.52/34.10	c (13,0) opt[7][3] = 0
103.52/34.10	c (13,0) opt[7][4] = 0
103.52/34.10	c (13,0) opt[8][0] = 0
103.52/34.10	c (13,0) opt[8][1] = 0
103.52/34.10	c (13,0) opt[8][2] = 0
103.52/34.10	c (13,0) opt[8][3] = 1
103.52/34.10	c (13,0) opt[8][4] = 0
103.52/34.10	c (13,0) opt[9][0] = 1
103.52/34.10	c (13,0) opt[9][1] = 1
103.52/34.10	c (13,0) opt[9][2] = 0
103.52/34.10	c (13,0) opt[9][3] = 0
103.52/34.10	c (13,0) opt[9][4] = 0
103.52/34.10	c (13,0) opt[10][0] = 0
103.52/34.10	c (13,0) opt[10][1] = 0
103.52/34.10	c (13,0) opt[10][2] = 0
103.52/34.10	c (13,0) opt[10][3] = 0
103.52/34.10	c (13,0) opt[10][4] = 1
103.52/34.10	c (13,0) opt[11][0] = 0
103.52/34.10	c (13,0) opt[11][1] = 0
103.52/34.10	c (13,0) opt[11][2] = 1
103.52/34.10	c (13,0) opt[11][3] = 1
103.52/34.10	c (13,0) opt[11][4] = 0
103.52/34.10	c (13,0) opt[12][0] = 1
103.52/34.10	c (13,0) opt[12][1] = 1
103.52/34.10	c (13,0) opt[12][2] = 0
103.52/34.10	c (13,0) opt[12][3] = 0
103.52/34.10	c (13,0) opt[12][4] = 0
103.52/34.10	c (13,0) opt[13][0] = 0
103.52/34.10	c (13,0) opt[13][1] = 1
103.52/34.10	c (13,0) opt[13][2] = 0
103.52/34.10	c (13,0) opt[13][3] = 0
103.52/34.10	c (13,0) opt[13][4] = 0
103.52/34.10	c (13,0) opt[14][0] = 0
103.52/34.10	c (13,0) opt[14][1] = 0
103.52/34.10	c (13,0) opt[14][2] = 1
103.52/34.10	c (13,0) opt[14][3] = 1
103.52/34.10	c (13,0) opt[14][4] = 0
103.52/34.10	c (13,0) opt[15][0] = 1
103.52/34.10	c (13,0) opt[15][1] = 0
103.52/34.10	c (13,0) opt[15][2] = 0
103.52/34.10	c (13,0) opt[15][3] = 0
103.52/34.10	c (13,0) opt[15][4] = 0
103.52/34.10	c (13,0) opt[16][0] = 0
103.52/34.10	c (13,0) opt[16][1] = 1
103.52/34.10	c (13,0) opt[16][2] = 0
103.52/34.10	c (13,0) opt[16][3] = 1
103.52/34.10	c (13,0) opt[16][4] = 0
103.52/34.10	c (13,0) opt[17][0] = 0
103.52/34.10	c (13,0) opt[17][1] = 1
103.52/34.10	c (13,0) opt[17][2] = 0
103.52/34.10	c (13,0) opt[17][3] = 0
103.52/34.10	c (13,0) opt[17][4] = 0
103.52/34.10	c (13,0) opt[18][0] = 0
103.52/34.10	c (13,0) opt[18][1] = 0
103.52/34.10	c (13,0) opt[18][2] = 0
103.52/34.10	c (13,0) opt[18][3] = 0
103.52/34.10	c (13,0) opt[18][4] = 1
103.52/34.10	c (13,0) opt[19][0] = 0
103.52/34.10	c (13,0) opt[19][1] = 0
103.52/34.10	c (13,0) opt[19][2] = 1
103.52/34.10	c (13,0) opt[19][3] = 0
103.52/34.10	c (13,0) opt[19][4] = 0
103.52/34.10	c (13,0) opt[20][0] = 0
103.52/34.10	c (13,0) opt[20][1] = 1
103.52/34.10	c (13,0) opt[20][2] = 0
103.52/34.10	c (13,0) opt[20][3] = 1
103.52/34.10	c (13,0) opt[20][4] = 0
103.52/34.10	c (13,0) opt[21][0] = 0
103.52/34.10	c (13,0) opt[21][1] = 0
103.52/34.10	c (13,0) opt[21][2] = 0
103.52/34.10	c (13,0) opt[21][3] = 1
103.52/34.10	c (13,0) opt[21][4] = 0
103.52/34.10	c (13,0) opt[22][0] = 1
103.52/34.10	c (13,0) opt[22][1] = 0
103.52/34.10	c (13,0) opt[22][2] = 1
103.52/34.10	c (13,0) opt[22][3] = 0
103.52/34.10	c (13,0) opt[22][4] = 0
103.52/34.10	c (13,0) opt[23][0] = 0
103.52/34.10	c (13,0) opt[23][1] = 1
103.52/34.10	c (13,0) opt[23][2] = 0
103.52/34.10	c (13,0) opt[23][3] = 0
103.52/34.10	c (13,0) opt[23][4] = 0
103.52/34.10	c (13,0) opt[24][0] = 1
103.52/34.10	c (13,0) opt[24][1] = 0
103.52/34.10	c (13,0) opt[24][2] = 0
103.52/34.10	c (13,0) opt[24][3] = 0
103.52/34.10	c (13,0) opt[24][4] = 0
103.52/34.10	c (13,0) opt[25][0] = 0
103.52/34.10	c (13,0) opt[25][1] = 1
103.52/34.10	c (13,0) opt[25][2] = 0
103.52/34.10	c (13,0) opt[25][3] = 1
103.52/34.10	c (13,0) opt[25][4] = 1
103.52/34.10	c (13,0) opt[26][0] = 0
103.52/34.10	c (13,0) opt[26][1] = 1
103.52/34.10	c (13,0) opt[26][2] = 0
103.52/34.10	c (13,0) opt[26][3] = 0
103.52/34.10	c (13,0) opt[26][4] = 0
103.52/34.10	c (13,0) opt[27][0] = 1
103.52/34.10	c (13,0) opt[27][1] = 0
103.52/34.10	c (13,0) opt[27][2] = 0
103.52/34.10	c (13,0) opt[27][3] = 1
103.52/34.10	c (13,0) opt[27][4] = 0
103.52/34.10	c (13,0) opt[28][0] = 0
103.52/34.10	c (13,0) opt[28][1] = 1
103.52/34.10	c (13,0) opt[28][2] = 1
103.52/34.10	c (13,0) opt[28][3] = 0
103.52/34.10	c (13,0) opt[28][4] = 0
103.52/34.10	c (13,0) opt[29][0] = 1
103.52/34.10	c (13,0) opt[29][1] = 0
103.52/34.10	c (13,0) opt[29][2] = 0
103.52/34.10	c (13,0) opt[29][3] = 0
103.52/34.10	c (13,0) opt[29][4] = 0
103.52/34.10	c (13,0) opt[30][0] = 0
103.52/34.10	c (13,0) opt[30][1] = 1
103.52/34.10	c (13,0) opt[30][2] = 0
103.52/34.10	c (13,0) opt[30][3] = 1
103.52/34.10	c (13,0) opt[30][4] = 0
103.52/34.10	c (13,0) opt[31][0] = 1
103.52/34.10	c (13,0) opt[31][1] = 0
103.52/34.10	c (13,0) opt[31][2] = 0
103.52/34.10	c (13,0) opt[31][3] = 0
103.52/34.10	c (13,0) opt[31][4] = 1
103.52/34.10	c (13,0) opt[32][0] = 0
103.52/34.10	c (13,0) opt[32][1] = 1
103.52/34.10	c (13,0) opt[32][2] = 1
103.52/34.10	c (13,0) opt[32][3] = 0
103.52/34.10	c (13,0) opt[32][4] = 0
103.52/34.10	c (13,0) opt[33][0] = 1
103.52/34.10	c (13,0) opt[33][1] = 0
103.52/34.10	c (13,0) opt[33][2] = 0
103.52/34.10	c (13,0) opt[33][3] = 0
103.52/34.10	c (13,0) opt[33][4] = 0
103.52/34.10	c (13,0) opt[34][0] = 0
103.52/34.10	c (13,0) opt[34][1] = 0
103.52/34.10	c (13,0) opt[34][2] = 0
103.52/34.10	c (13,0) opt[34][3] = 1
103.52/34.10	c (13,0) opt[34][4] = 0
103.52/34.10	c (13,0) opt[35][0] = 1
103.52/34.10	c (13,0) opt[35][1] = 0
103.52/34.10	c (13,0) opt[35][2] = 0
103.52/34.10	c (13,0) opt[35][3] = 0
103.52/34.10	c (13,0) opt[35][4] = 0
103.52/34.10	c (13,0) opt[36][0] = 0
103.52/34.10	c (13,0) opt[36][1] = 0
103.52/34.10	c (13,0) opt[36][2] = 0
103.52/34.10	c (13,0) opt[36][3] = 0
103.52/34.10	c (13,0) opt[36][4] = 1
103.52/34.10	c (13,0) opt[37][0] = 0
103.52/34.10	c (13,0) opt[37][1] = 1
103.52/34.10	c (13,0) opt[37][2] = 0
103.52/34.10	c (13,0) opt[37][3] = 1
103.52/34.10	c (13,0) opt[37][4] = 0
103.52/34.10	c (13,0) opt[38][0] = 1
103.52/34.10	c (13,0) opt[38][1] = 0
103.52/34.10	c (13,0) opt[38][2] = 0
103.52/34.10	c (13,0) opt[38][3] = 0
103.52/34.10	c (13,0) opt[38][4] = 0
103.52/34.10	c (13,0) opt[39][0] = 0
103.52/34.10	c (13,0) opt[39][1] = 1
103.52/34.10	c (13,0) opt[39][2] = 0
103.52/34.10	c (13,0) opt[39][3] = 0
103.52/34.10	c (13,0) opt[39][4] = 0
103.52/34.10	c (13,0) opt[40][0] = 0
103.52/34.10	c (13,0) opt[40][1] = 1
103.52/34.10	c (13,0) opt[40][2] = 0
103.52/34.10	c (13,0) opt[40][3] = 1
103.52/34.10	c (13,0) opt[40][4] = 0
103.52/34.10	c (13,0) opt[41][0] = 1
103.52/34.10	c (13,0) opt[41][1] = 0
103.52/34.10	c (13,0) opt[41][2] = 1
103.52/34.10	c (13,0) opt[41][3] = 0
103.52/34.10	c (13,0) opt[41][4] = 0
103.52/34.10	c (13,0) opt[42][0] = 0
103.52/34.10	c (13,0) opt[42][1] = 1
103.52/34.10	c (13,0) opt[42][2] = 0
103.52/34.10	c (13,0) opt[42][3] = 1
103.52/34.10	c (13,0) opt[42][4] = 0
103.52/34.10	c (13,0) opt[43][0] = 1
103.52/34.10	c (13,0) opt[43][1] = 0
103.52/34.10	c (13,0) opt[43][2] = 0
103.52/34.10	c (13,0) opt[43][3] = 0
103.52/34.10	c (13,0) opt[43][4] = 0
103.52/34.10	c (13,0) opt[44][0] = 0
103.52/34.10	c (13,0) opt[44][1] = 0
103.52/34.10	c (13,0) opt[44][2] = 1
103.52/34.10	c (13,0) opt[44][3] = 0
103.52/34.10	c (13,0) opt[44][4] = 1
103.52/34.10	c (13,0) opt[45][0] = 1
103.52/34.10	c (13,0) opt[45][1] = 0
103.52/34.10	c (13,0) opt[45][2] = 0
103.52/34.10	c (13,0) opt[45][3] = 0
103.52/34.10	c (13,0) opt[45][4] = 0
103.52/34.10	c (13,0) opt[46][0] = 0
103.52/34.10	c (13,0) opt[46][1] = 1
103.52/34.10	c (13,0) opt[46][2] = 0
103.52/34.10	c (13,0) opt[46][3] = 0
103.52/34.10	c (13,0) opt[46][4] = 0
103.52/34.10	c (13,0) opt[47][0] = 1
103.52/34.10	c (13,0) opt[47][1] = 0
103.52/34.10	c (13,0) opt[47][2] = 0
103.52/34.10	c (13,0) opt[47][3] = 1
103.52/34.10	c (13,0) opt[47][4] = 0
103.52/34.10	c (13,0) opt[48][0] = 0
103.52/34.10	c (13,0) opt[48][1] = 0
103.52/34.10	c (13,0) opt[48][2] = 0
103.52/34.10	c (13,0) opt[48][3] = 1
103.52/34.10	c (13,0) opt[48][4] = 0
103.52/34.10	c (13,0) opt[49][0] = 1
103.52/34.10	c (13,0) opt[49][1] = 0
103.52/34.10	c (13,0) opt[49][2] = 0
103.52/34.10	c (13,0) opt[49][3] = 0
103.52/34.10	c (13,0) opt[49][4] = 0
103.52/34.10	c (13,0) opt[50][0] = 0
103.52/34.10	c (13,0) opt[50][1] = 0
103.52/34.10	c (13,0) opt[50][2] = 0
103.52/34.10	c (13,0) opt[50][3] = 0
103.52/34.10	c (13,0) opt[50][4] = 1
103.52/34.10	c (13,0) opt[51][0] = 0
103.52/34.10	c (13,0) opt[51][1] = 1
103.52/34.10	c (13,0) opt[51][2] = 1
103.52/34.10	c (13,0) opt[51][3] = 0
103.52/34.10	c (13,0) opt[51][4] = 0
103.52/34.10	c (13,0) opt[52][0] = 1
103.52/34.10	c (13,0) opt[52][1] = 1
103.52/34.10	c (13,0) opt[52][2] = 0
103.52/34.10	c (13,0) opt[52][3] = 0
103.52/34.10	c (13,0) opt[52][4] = 0
103.52/34.10	c (13,0) opt[53][0] = 0
103.52/34.10	c (13,0) opt[53][1] = 0
103.52/34.10	c (13,0) opt[53][2] = 0
103.52/34.10	c (13,0) opt[53][3] = 1
103.52/34.10	c (13,0) opt[53][4] = 0
103.52/34.10	c (13,0) opt[54][0] = 0
103.52/34.10	c (13,0) opt[54][1] = 0
103.52/34.10	c (13,0) opt[54][2] = 0
103.52/34.10	c (13,0) opt[54][3] = 1
103.52/34.10	c (13,0) opt[54][4] = 0
103.52/34.10	c (13,0) opt[55][0] = 0
103.52/34.10	c (13,0) opt[55][1] = 0
103.52/34.10	c (13,0) opt[55][2] = 1
103.52/34.10	c (13,0) opt[55][3] = 0
103.52/34.10	c (13,0) opt[55][4] = 0
103.52/34.10	c (13,0) opt[56][0] = 1
103.52/34.10	c (13,0) opt[56][1] = 1
103.52/34.10	c (13,0) opt[56][2] = 0
103.52/34.10	c (13,0) opt[56][3] = 0
103.52/34.10	c (13,0) opt[56][4] = 0
103.52/34.10	c (13,0) opt[57][0] = 0
103.52/34.10	c (13,0) opt[57][1] = 1
103.52/34.10	c (13,0) opt[57][2] = 0
103.52/34.10	c (13,0) opt[57][3] = 0
103.52/34.10	c (13,0) opt[57][4] = 0
103.52/34.10	c (13,0) opt[58][0] = 1
103.52/34.10	c (13,0) opt[58][1] = 0
103.52/34.10	c (13,0) opt[58][2] = 1
103.52/34.10	c (13,0) opt[58][3] = 1
103.52/34.10	c (13,0) opt[58][4] = 0
103.52/34.10	c (13,0) opt[59][0] = 0
103.52/34.10	c (13,0) opt[59][1] = 0
103.52/34.10	c (13,0) opt[59][2] = 0
103.52/34.10	c (13,0) opt[59][3] = 1
103.52/34.10	c (13,0) opt[59][4] = 0
103.52/34.10	c (13,0) opt[60][0] = 1
103.52/34.10	c (13,0) opt[60][1] = 1
103.52/34.10	c (13,0) opt[60][2] = 0
103.52/34.10	c (13,0) opt[60][3] = 0
103.52/34.10	c (13,0) opt[60][4] = 1
103.52/34.10	c (13,0) opt[61][0] = 0
103.52/34.10	c (13,0) opt[61][1] = 0
103.52/34.10	c (13,0) opt[61][2] = 1
103.52/34.10	c (13,0) opt[61][3] = 0
103.52/34.10	c (13,0) opt[61][4] = 0
103.52/34.10	c (13,0) opt[62][0] = 1
103.52/34.10	c (13,0) opt[62][1] = 1
103.52/34.10	c (13,0) opt[62][2] = 0
103.52/34.10	c (13,0) opt[62][3] = 0
103.52/34.10	c (13,0) opt[62][4] = 0
103.52/34.10	c (13,0) opt[63][0] = 0
103.52/34.10	c (13,0) opt[63][1] = 0
103.52/34.10	c (13,0) opt[63][2] = 0
103.52/34.10	c (13,0) opt[63][3] = 1
103.52/34.10	c (13,0) opt[63][4] = 0
103.52/34.10	c (13,0) opt[64][0] = 0
103.52/34.10	c (13,0) opt[64][1] = 0
103.52/34.10	c (13,0) opt[64][2] = 0
103.52/34.10	c (13,0) opt[64][3] = 1
103.52/34.10	c (13,0) opt[64][4] = 0
103.52/34.10	c (13,0) opt[65][0] = 0
103.52/34.10	c (13,0) opt[65][1] = 1
103.52/34.10	c (13,0) opt[65][2] = 0
103.52/34.10	c (13,0) opt[65][3] = 0
103.52/34.10	c (13,0) opt[65][4] = 1
103.52/34.10	c (13,0) opt[66][0] = 1
103.52/34.10	c (13,0) opt[66][1] = 0
103.52/34.10	c (13,0) opt[66][2] = 1
103.52/34.10	c (13,0) opt[66][3] = 0
103.52/34.10	c (13,0) opt[66][4] = 0
103.52/34.10	c (13,0) opt[67][0] = 0
103.52/34.10	c (13,0) opt[67][1] = 1
103.52/34.10	c (13,0) opt[67][2] = 0
103.52/34.10	c (13,0) opt[67][3] = 0
103.52/34.10	c (13,0) opt[67][4] = 0
103.52/34.10	c (13,0) opt[68][0] = 1
103.52/34.10	c (13,0) opt[68][1] = 1
103.52/34.10	c (13,0) opt[68][2] = 0
103.52/34.10	c (13,0) opt[68][3] = 1
103.52/34.10	c (13,0) opt[68][4] = 0
103.52/34.10	c (13,0) opt[69][0] = 0
103.52/34.10	c (13,0) opt[69][1] = 0
103.52/34.10	c (13,0) opt[69][2] = 0
103.52/34.10	c (13,0) opt[69][3] = 1
103.52/34.10	c (13,0) opt[69][4] = 0
103.52/34.10	c (13,0) opt[70][0] = 0
103.52/34.10	c (13,0) opt[70][1] = 0
103.52/34.10	c (13,0) opt[70][2] = 1
103.52/34.10	c (13,0) opt[70][3] = 0
103.52/34.10	c (13,0) opt[70][4] = 1
103.52/34.10	c (13,0) opt[71][0] = 1
103.52/34.10	c (13,0) opt[71][1] = 1
103.52/34.10	c (13,0) opt[71][2] = 0
103.52/34.10	c (13,0) opt[71][3] = 0
103.52/34.10	c (13,0) opt[71][4] = 0
103.52/34.10	c (13,0) opt[72][0] = 0
103.52/34.10	c (13,0) opt[72][1] = 1
103.52/34.10	c (13,0) opt[72][2] = 0
103.52/34.10	c (13,0) opt[72][3] = 0
103.52/34.10	c (13,0) opt[72][4] = 0
103.52/34.10	c (13,0) opt[73][0] = 0
103.52/34.10	c (13,0) opt[73][1] = 0
103.52/34.10	c (13,0) opt[73][2] = 0
103.52/34.10	c (13,0) opt[73][3] = 1
103.52/34.10	c (13,0) opt[73][4] = 0
103.52/34.10	c (13,0) opt[74][0] = 0
103.52/34.10	c (13,0) opt[74][1] = 0
103.52/34.10	c (13,0) opt[74][2] = 1
103.52/34.10	c (13,0) opt[74][3] = 0
103.52/34.10	c (13,0) opt[74][4] = 0
103.52/34.10	c (13,0) opt[75][0] = 0
103.52/34.10	c (13,0) opt[75][1] = 1
103.52/34.10	c (13,0) opt[75][2] = 0
103.52/34.10	c (13,0) opt[75][3] = 0
103.52/34.10	c (13,0) opt[75][4] = 0
103.52/34.10	c (13,0) opt[76][0] = 1
103.52/34.10	c (13,0) opt[76][1] = 1
103.52/34.10	c (13,0) opt[76][2] = 0
103.52/34.10	c (13,0) opt[76][3] = 0
103.52/34.10	c (13,0) opt[76][4] = 1
103.52/34.10	c (13,0) opt[77][0] = 0
103.52/34.10	c (13,0) opt[77][1] = 0
103.52/34.10	c (13,0) opt[77][2] = 0
103.52/34.10	c (13,0) opt[77][3] = 1
103.52/34.10	c (13,0) opt[77][4] = 0
103.52/34.10	c (13,0) opt[78][0] = 1
103.52/34.10	c (13,0) opt[78][1] = 0
103.52/34.10	c (13,0) opt[78][2] = 0
103.52/34.10	c (13,0) opt[78][3] = 0
103.52/34.10	c (13,0) opt[78][4] = 0
103.52/34.10	c (13,0) opt[79][0] = 0
103.52/34.10	c (13,0) opt[79][1] = 0
103.52/34.10	c (13,0) opt[79][2] = 1
103.52/34.10	c (13,0) opt[79][3] = 0
103.52/34.10	c (13,0) opt[79][4] = 0
103.52/34.10	c (13,0) opt[80][0] = 0
103.52/34.10	c (13,0) opt[80][1] = 1
103.52/34.10	c (13,0) opt[80][2] = 0
103.52/34.10	c (13,0) opt[80][3] = 0
103.52/34.10	c (13,0) opt[80][4] = 0
103.52/34.10	c (13,0) opt[81][0] = 1
103.52/34.10	c (13,0) opt[81][1] = 1
103.52/34.10	c (13,0) opt[81][2] = 0
103.52/34.10	c (13,0) opt[81][3] = 1
103.52/34.10	c (13,0) opt[81][4] = 1
103.52/34.10	c (13,0) opt[82][0] = 0
103.52/34.10	c (13,0) opt[82][1] = 0
103.52/34.10	c (13,0) opt[82][2] = 1
103.52/34.10	c (13,0) opt[82][3] = 0
103.52/34.10	c (13,0) opt[82][4] = 0
103.52/34.10	c (13,0) opt[83][0] = 0
103.52/34.10	c (13,0) opt[83][1] = 0
103.52/34.10	c (13,0) opt[83][2] = 0
103.52/34.10	c (13,0) opt[83][3] = 1
103.52/34.10	c (13,0) opt[83][4] = 0
103.52/34.10	c (13,0) opt[84][0] = 1
103.52/34.10	c (13,0) opt[84][1] = 1
103.52/34.10	c (13,0) opt[84][2] = 0
103.52/34.10	c (13,0) opt[84][3] = 0
103.52/34.10	c (13,0) opt[84][4] = 0
103.52/34.10	c (13,0) opt[85][0] = 0
103.52/34.10	c (13,0) opt[85][1] = 0
103.52/34.10	c (13,0) opt[85][2] = 1
103.52/34.10	c (13,0) opt[85][3] = 0
103.52/34.10	c (13,0) opt[85][4] = 0
103.52/34.10	c (13,0) opt[86][0] = 0
103.52/34.10	c (13,0) opt[86][1] = 1
103.52/34.10	c (13,0) opt[86][2] = 0
103.52/34.10	c (13,0) opt[86][3] = 1
103.52/34.10	c (13,0) opt[86][4] = 1
103.52/34.10	c (13,0) opt[87][0] = 0
103.52/34.10	c (13,0) opt[87][1] = 1
103.52/34.10	c (13,0) opt[87][2] = 0
103.52/34.10	c (13,0) opt[87][3] = 0
103.52/34.10	c (13,0) opt[87][4] = 0
103.52/34.10	c (13,0) opt[88][0] = 0
103.52/34.10	c (13,0) opt[88][1] = 0
103.52/34.10	c (13,0) opt[88][2] = 1
103.52/34.10	c (13,0) opt[88][3] = 0
103.52/34.10	c (13,0) opt[88][4] = 0
103.52/34.10	c (13,0) opt[89][0] = 0
103.52/34.10	c (13,0) opt[89][1] = 1
103.52/34.10	c (13,0) opt[89][2] = 0
103.52/34.10	c (13,0) opt[89][3] = 1
103.52/34.10	c (13,0) opt[89][4] = 0
103.52/34.10	c (13,0) opt[90][0] = 1
103.52/34.10	c (13,0) opt[90][1] = 1
103.52/34.10	c (13,0) opt[90][2] = 0
103.52/34.10	c (13,0) opt[90][3] = 0
103.52/34.10	c (13,0) opt[90][4] = 0
103.52/34.10	c (13,0) opt[91][0] = 0
103.52/34.10	c (13,0) opt[91][1] = 0
103.52/34.10	c (13,0) opt[91][2] = 1
103.52/34.10	c (13,0) opt[91][3] = 0
103.52/34.10	c (13,0) opt[91][4] = 0
103.52/34.10	c (13,0) opt[92][0] = 1
103.52/34.10	c (13,0) opt[92][1] = 1
103.52/34.10	c (13,0) opt[92][2] = 0
103.52/34.10	c (13,0) opt[92][3] = 1
103.52/34.10	c (13,0) opt[92][4] = 0
103.52/34.10	c (13,0) opt[93][0] = 0
103.52/34.10	c (13,0) opt[93][1] = 0
103.52/34.10	c (13,0) opt[93][2] = 0
103.52/34.10	c (13,0) opt[93][3] = 0
103.52/34.10	c (13,0) opt[93][4] = 1
103.52/34.10	c (13,0) opt[94][0] = 0
103.52/34.10	c (13,0) opt[94][1] = 1
103.52/34.10	c (13,0) opt[94][2] = 1
103.52/34.10	c (13,0) opt[94][3] = 0
103.52/34.10	c (13,0) opt[94][4] = 0
103.52/34.10	c (13,0) opt[95][0] = 1
103.52/34.10	c (13,0) opt[95][1] = 1
103.52/34.10	c (13,0) opt[95][2] = 0
103.52/34.10	c (13,0) opt[95][3] = 0
103.52/34.10	c (13,0) opt[95][4] = 0
103.52/34.10	c (13,0) opt[96][0] = 0
103.52/34.10	c (13,0) opt[96][1] = 0
103.52/34.10	c (13,0) opt[96][2] = 0
103.52/34.10	c (13,0) opt[96][3] = 1
103.52/34.10	c (13,0) opt[96][4] = 0
103.52/34.10	c (13,0) opt[97][0] = 1
103.52/34.10	c (13,0) opt[97][1] = 1
103.52/34.10	c (13,0) opt[97][2] = 0
103.52/34.10	c (13,0) opt[97][3] = 0
103.52/34.10	c (13,0) opt[97][4] = 0
103.52/34.10	c (13,0) opt[98][0] = 0
103.52/34.10	c (13,0) opt[98][1] = 0
103.52/34.10	c (13,0) opt[98][2] = 0
103.52/34.10	c (13,0) opt[98][3] = 1
103.52/34.10	c (13,0) opt[98][4] = 0
103.52/34.10	c (13,0) opt[99][0] = 0
103.52/34.10	c (13,0) opt[99][1] = 0
103.52/34.10	c (13,0) opt[99][2] = 1
103.52/34.10	c (13,0) opt[99][3] = 0
103.52/34.10	c (13,0) opt[99][4] = 0
103.52/34.10	c (13,0) opt[100][0] = 1
103.52/34.10	c (13,0) opt[100][1] = 1
103.52/34.10	c (13,0) opt[100][2] = 0
103.52/34.10	c (13,0) opt[100][3] = 0
103.52/34.10	c (13,0) opt[100][4] = 1
103.52/34.10	c (13,0) opt[101][0] = 0
103.52/34.10	c (13,0) opt[101][1] = 1
103.52/34.10	c (13,0) opt[101][2] = 0
103.52/34.10	c (13,0) opt[101][3] = 1
103.52/34.10	c (13,0) opt[101][4] = 0
103.52/34.10	c (13,0) opt[102][0] = 0
103.52/34.10	c (13,0) opt[102][1] = 0
103.52/34.10	c (13,0) opt[102][2] = 1
103.52/34.10	c (13,0) opt[102][3] = 0
103.52/34.10	c (13,0) opt[102][4] = 0
103.52/34.10	c (13,0) opt[103][0] = 1
103.52/34.10	c (13,0) opt[103][1] = 0
103.52/34.10	c (13,0) opt[103][2] = 0
103.52/34.10	c (13,0) opt[103][3] = 1
103.52/34.10	c (13,0) opt[103][4] = 0
103.52/34.10	c (13,0) opt[104][0] = 0
103.52/34.10	c (13,0) opt[104][1] = 1
103.52/34.10	c (13,0) opt[104][2] = 0
103.52/34.10	c (13,0) opt[104][3] = 0
103.52/34.10	c (13,0) opt[104][4] = 0
103.52/34.10	c (13,0) opt[105][0] = 0
103.52/34.10	c (13,0) opt[105][1] = 1
103.52/34.10	c (13,0) opt[105][2] = 0
103.52/34.10	c (13,0) opt[105][3] = 0
103.52/34.10	c (13,0) opt[105][4] = 1
103.52/34.10	c (13,0) opt[106][0] = 1
103.52/34.10	c (13,0) opt[106][1] = 0
103.52/34.10	c (13,0) opt[106][2] = 0
103.52/34.10	c (13,0) opt[106][3] = 0
103.52/34.10	c (13,0) opt[106][4] = 0
103.52/34.10	c (13,0) opt[107][0] = 0
103.52/34.10	c (13,0) opt[107][1] = 0
103.52/34.10	c (13,0) opt[107][2] = 0
103.52/34.10	c (13,0) opt[107][3] = 1
103.52/34.10	c (13,0) opt[107][4] = 0
103.52/34.10	c (13,0) opt[108][0] = 1
103.52/34.10	c (13,0) opt[108][1] = 1
103.52/34.10	c (13,0) opt[108][2] = 1
103.52/34.10	c (13,0) opt[108][3] = 0
103.52/34.10	c (13,0) opt[108][4] = 0
103.52/34.10	c (13,0) opt[109][0] = 0
103.52/34.10	c (13,0) opt[109][1] = 1
103.52/34.10	c (13,0) opt[109][2] = 0
103.52/34.10	c (13,0) opt[109][3] = 0
103.52/34.10	c (13,0) opt[109][4] = 0
103.52/34.10	c (13,0) opt[110][0] = 1
103.52/34.10	c (13,0) opt[110][1] = 0
103.52/34.10	c (13,0) opt[110][2] = 0
103.52/34.10	c (13,0) opt[110][3] = 0
103.52/34.10	c (13,0) opt[110][4] = 0
103.52/34.10	c (13,0) opt[111][0] = 0
103.52/34.10	c (13,0) opt[111][1] = 0
103.52/34.10	c (13,0) opt[111][2] = 1
103.52/34.10	c (13,0) opt[111][3] = 1
103.52/34.10	c (13,0) opt[111][4] = 1
103.52/34.10	c (13,0) opt[112][0] = 0
103.52/34.10	c (13,0) opt[112][1] = 0
103.52/34.10	c (13,0) opt[112][2] = 0
103.52/34.10	c (13,0) opt[112][3] = 1
103.52/34.10	c (13,0) opt[112][4] = 0
103.52/34.10	c (13,0) opt[113][0] = 1
103.52/34.10	c (13,0) opt[113][1] = 1
103.52/34.10	c (13,0) opt[113][2] = 0
103.52/34.10	c (13,0) opt[113][3] = 0
103.52/34.10	c (13,0) opt[113][4] = 0
103.52/34.10	c (13,0) opt[114][0] = 0
103.52/34.10	c (13,0) opt[114][1] = 0
103.52/34.10	c (13,0) opt[114][2] = 1
103.52/34.10	c (13,0) opt[114][3] = 0
103.52/34.10	c (13,0) opt[114][4] = 0
103.52/34.10	c (13,0) opt[115][0] = 1
103.52/34.10	c (13,0) opt[115][1] = 1
103.52/34.10	c (13,0) opt[115][2] = 0
103.52/34.10	c (13,0) opt[115][3] = 0
103.52/34.10	c (13,0) opt[115][4] = 0
103.52/34.10	c (13,0) opt[116][0] = 0
103.52/34.10	c (13,0) opt[116][1] = 0
103.52/34.10	c (13,0) opt[116][2] = 0
103.52/34.10	c (13,0) opt[116][3] = 1
103.52/34.10	c (13,0) opt[116][4] = 0
103.52/34.10	c (13,0) opt[117][0] = 0
103.52/34.10	c (13,0) opt[117][1] = 1
103.52/34.10	c (13,0) opt[117][2] = 1
103.52/34.10	c (13,0) opt[117][3] = 0
103.52/34.10	c (13,0) opt[117][4] = 0
103.52/34.10	c (13,0) opt[118][0] = 0
103.52/34.10	c (13,0) opt[118][1] = 1
103.52/34.10	c (13,0) opt[118][2] = 0
103.52/34.10	c (13,0) opt[118][3] = 0
103.52/34.10	c (13,0) opt[118][4] = 0
103.52/34.10	c (13,0) opt[119][0] = 1
103.52/34.10	c (13,0) opt[119][1] = 0
103.52/34.10	c (13,0) opt[119][2] = 0
103.52/34.10	c (13,0) opt[119][3] = 0
103.52/34.10	c (13,0) opt[119][4] = 0
103.52/34.10	c (13,0) opt[120][0] = 0
103.52/34.10	c (13,0) opt[120][1] = 1
103.52/34.10	c (13,0) opt[120][2] = 0
103.52/34.10	c (13,0) opt[120][3] = 1
103.52/34.10	c (13,0) opt[120][4] = 1
103.52/34.10	c (13,0) opt[121][0] = 1
103.52/34.10	c (13,0) opt[121][1] = 0
103.52/34.10	c (13,0) opt[121][2] = 1
103.52/34.10	c (13,0) opt[121][3] = 0
103.52/34.10	c (13,0) opt[121][4] = 0
103.52/34.10	c (13,0) opt[122][0] = 0
103.52/34.10	c (13,0) opt[122][1] = 0
103.52/34.10	c (13,0) opt[122][2] = 0
103.52/34.10	c (13,0) opt[122][3] = 1
103.52/34.10	c (13,0) opt[122][4] = 0
103.52/34.10	c (13,0) opt[123][0] = 1
103.52/34.10	c (13,0) opt[123][1] = 1
103.52/34.10	c (13,0) opt[123][2] = 0
103.52/34.10	c (13,0) opt[123][3] = 0
103.52/34.10	c (13,0) opt[123][4] = 0
103.52/34.10	c (13,0) opt[124][0] = 0
103.52/34.10	c (13,0) opt[124][1] = 0
103.52/34.10	c (13,0) opt[124][2] = 1
103.52/34.10	c (13,0) opt[124][3] = 0
103.52/34.10	c (13,0) opt[124][4] = 0
103.52/34.10	c (13,0) opt[125][0] = 0
103.52/34.10	c (13,0) opt[125][1] = 0
103.52/34.10	c (13,0) opt[125][2] = 0
103.52/34.10	c (13,0) opt[125][3] = 1
103.52/34.10	c (13,0) opt[125][4] = 0
103.52/34.10	c (13,0) opt[126][0] = 0
103.52/34.10	c (13,0) opt[126][1] = 0
103.52/34.10	c (13,0) opt[126][2] = 0
103.52/34.10	c (13,0) opt[126][3] = 0
103.52/34.10	c (13,0) opt[126][4] = 1
103.52/34.10	c (13,0) opt[127][0] = 1
103.52/34.10	c (13,0) opt[127][1] = 1
103.52/34.10	c (13,0) opt[127][2] = 1
103.52/34.10	c (13,0) opt[127][3] = 0
103.52/34.10	c (13,0) opt[127][4] = 0
103.52/34.10	c (13,0) opt[128][0] = 0
103.52/34.10	c (13,0) opt[128][1] = 1
103.52/34.10	c (13,0) opt[128][2] = 0
103.52/34.10	c (13,0) opt[128][3] = 0
103.52/34.10	c (13,0) opt[128][4] = 0
103.52/34.10	c (13,0) opt[129][0] = 1
103.52/34.10	c (13,0) opt[129][1] = 0
103.52/34.10	c (13,0) opt[129][2] = 0
103.52/34.10	c (13,0) opt[129][3] = 1
103.52/34.10	c (13,0) opt[129][4] = 0
103.52/34.10	c (13,0) opt[130][0] = 0
103.52/34.10	c (13,0) opt[130][1] = 0
103.52/34.10	c (13,0) opt[130][2] = 1
103.52/34.10	c (13,0) opt[130][3] = 1
103.52/34.10	c (13,0) opt[130][4] = 0
103.52/34.10	c (13,0) opt[131][0] = 0
103.52/34.10	c (13,0) opt[131][1] = 1
103.52/34.10	c (13,0) opt[131][2] = 0
103.52/34.10	c (13,0) opt[131][3] = 0
103.52/34.10	c (13,0) opt[131][4] = 0
103.52/34.10	c (13,0) opt[132][0] = 0
103.52/34.10	c (13,0) opt[132][1] = 0
103.52/34.10	c (13,0) opt[132][2] = 0
103.52/34.10	c (13,0) opt[132][3] = 0
103.52/34.10	c (13,0) opt[132][4] = 1
103.52/34.10	c (13,0) opt[133][0] = 0
103.52/34.10	c (13,0) opt[133][1] = 1
103.52/34.10	c (13,0) opt[133][2] = 1
103.52/34.10	c (13,0) opt[133][3] = 0
103.52/34.10	c (13,0) opt[133][4] = 0
103.52/34.10	c (13,0) opt[134][0] = 1
103.52/34.10	c (13,0) opt[134][1] = 1
103.52/34.10	c (13,0) opt[134][2] = 0
103.52/34.10	c (13,0) opt[134][3] = 1
103.52/34.10	c (13,0) opt[134][4] = 0
103.52/34.10	c (13,0) opt[135][0] = 0
103.52/34.10	c (13,0) opt[135][1] = 0
103.52/34.10	c (13,0) opt[135][2] = 0
103.52/34.10	c (13,0) opt[135][3] = 1
103.52/34.10	c (13,0) opt[135][4] = 0
103.52/34.10	c (13,0) opt[136][0] = 0
103.52/34.10	c (13,0) opt[136][1] = 1
103.52/34.10	c (13,0) opt[136][2] = 1
103.52/34.10	c (13,0) opt[136][3] = 0
103.52/34.10	c (13,0) opt[136][4] = 0
103.52/34.10	c (13,0) opt[137][0] = 1
103.52/34.10	c (13,0) opt[137][1] = 0
103.52/34.10	c (13,0) opt[137][2] = 0
103.52/34.10	c (13,0) opt[137][3] = 0
103.52/34.10	c (13,0) opt[137][4] = 0
103.52/34.10	c (13,0) opt[138][0] = 0
103.52/34.10	c (13,0) opt[138][1] = 1
103.52/34.10	c (13,0) opt[138][2] = 0
103.52/34.10	c (13,0) opt[138][3] = 0
103.52/34.10	c (13,0) opt[138][4] = 0
103.52/34.10	c (13,0) opt[139][0] = 1
103.52/34.10	c (13,0) opt[139][1] = 0
103.52/34.10	c (13,0) opt[139][2] = 0
103.52/34.10	c (13,0) opt[139][3] = 0
103.52/34.10	c (13,0) opt[139][4] = 0
103.52/34.10	c (13,0) opt[140][0] = 0
103.52/34.10	c (13,0) opt[140][1] = 1
103.52/34.10	c (13,0) opt[140][2] = 0
103.52/34.10	c (13,0) opt[140][3] = 0
103.52/34.10	c (13,0) opt[140][4] = 1
103.52/34.10	c (13,0) opt[141][0] = 0
103.52/34.10	c (13,0) opt[141][1] = 0
103.52/34.10	c (13,0) opt[141][2] = 0
103.52/34.10	c (13,0) opt[141][3] = 1
103.52/34.10	c (13,0) opt[141][4] = 0
103.52/34.10	c (13,0) opt[142][0] = 1
103.52/34.10	c (13,0) opt[142][1] = 1
103.52/34.10	c (13,0) opt[142][2] = 0
103.52/34.10	c (13,0) opt[142][3] = 1
103.52/34.10	c (13,0) opt[142][4] = 0
103.52/34.10	c (13,0) opt[143][0] = 0
103.52/34.10	c (13,0) opt[143][1] = 1
103.52/34.10	c (13,0) opt[143][2] = 0
103.52/34.10	c (13,0) opt[143][3] = 0
103.52/34.10	c (13,0) opt[143][4] = 0
103.52/34.10	c (13,0) opt[144][0] = 1
103.52/34.10	c (13,0) opt[144][1] = 0
103.52/34.10	c (13,0) opt[144][2] = 0
103.52/34.10	c (13,0) opt[144][3] = 0
103.52/34.10	c (13,0) opt[144][4] = 0
103.52/34.10	c (13,0) opt[145][0] = 0
103.52/34.10	c (13,0) opt[145][1] = 1
103.52/34.10	c (13,0) opt[145][2] = 1
103.52/34.10	c (13,0) opt[145][3] = 0
103.52/34.10	c (13,0) opt[145][4] = 0
103.52/34.10	c (13,0) opt[146][0] = 1
103.52/34.10	c (13,0) opt[146][1] = 0
103.52/34.10	c (13,0) opt[146][2] = 0
103.52/34.10	c (13,0) opt[146][3] = 1
103.52/34.10	c (13,0) opt[146][4] = 0
103.52/34.10	c (13,0) opt[147][0] = 0
103.52/34.10	c (13,0) opt[147][1] = 0
103.52/34.10	c (13,0) opt[147][2] = 0
103.52/34.10	c (13,0) opt[147][3] = 0
103.52/34.10	c (13,0) opt[147][4] = 1
103.52/34.10	c (13,0) opt[148][0] = 1
103.52/34.10	c (13,0) opt[148][1] = 0
103.52/34.10	c (13,0) opt[148][2] = 1
103.52/34.10	c (13,0) opt[148][3] = 1
103.52/34.10	c (13,0) opt[148][4] = 0
103.52/34.10	c (13,0) opt[149][0] = 0
103.52/34.10	c (13,0) opt[149][1] = 1
103.52/34.11	c (13,0) opt[149][2] = 0
103.52/34.11	c (13,0) opt[149][3] = 0
103.52/34.11	c (13,0) opt[149][4] = 0
103.52/34.11	c (13,0) opt[150][0] = 0
103.52/34.11	c (13,0) opt[150][1] = 1
103.52/34.11	c (13,0) opt[150][2] = 0
103.52/34.11	c (13,0) opt[150][3] = 0
103.52/34.11	c (13,0) opt[150][4] = 0
103.52/34.11	c (13,0) opt[151][0] = 1
103.52/34.11	c (13,0) opt[151][1] = 0
103.52/34.11	c (13,0) opt[151][2] = 1
103.52/34.11	c (13,0) opt[151][3] = 0
103.52/34.11	c (13,0) opt[151][4] = 0
103.52/34.11	c (13,0) opt[152][0] = 0
103.52/34.11	c (13,0) opt[152][1] = 0
103.52/34.11	c (13,0) opt[152][2] = 0
103.52/34.11	c (13,0) opt[152][3] = 1
103.52/34.11	c (13,0) opt[152][4] = 0
103.52/34.11	c (13,0) opt[153][0] = 0
103.52/34.11	c (13,0) opt[153][1] = 1
103.52/34.11	c (13,0) opt[153][2] = 0
103.52/34.11	c (13,0) opt[153][3] = 0
103.52/34.11	c (13,0) opt[153][4] = 0
103.52/34.11	c (13,0) opt[154][0] = 1
103.52/34.11	c (13,0) opt[154][1] = 0
103.52/34.11	c (13,0) opt[154][2] = 0
103.52/34.11	c (13,0) opt[154][3] = 0
103.52/34.11	c (13,0) opt[154][4] = 0
103.52/34.11	c (13,0) opt[155][0] = 0
103.52/34.11	c (13,0) opt[155][1] = 1
103.52/34.11	c (13,0) opt[155][2] = 1
103.52/34.11	c (13,0) opt[155][3] = 1
103.52/34.11	c (13,0) opt[155][4] = 1
103.52/34.11	c (13,0) opt[156][0] = 0
103.52/34.11	c (13,0) opt[156][1] = 1
103.52/34.11	c (13,0) opt[156][2] = 0
103.52/34.11	c (13,0) opt[156][3] = 0
103.52/34.11	c (13,0) opt[156][4] = 0
103.52/34.11	c (13,0) opt[157][0] = 0
103.52/34.11	c (13,0) opt[157][1] = 0
103.52/34.11	c (13,0) opt[157][2] = 0
103.52/34.11	c (13,0) opt[157][3] = 1
103.52/34.11	c (13,0) opt[157][4] = 0
103.52/34.11	c (13,0) opt[158][0] = 1
103.52/34.11	c (13,0) opt[158][1] = 1
103.52/34.11	c (13,0) opt[158][2] = 0
103.52/34.11	c (13,0) opt[158][3] = 0
103.52/34.11	c (13,0) opt[158][4] = 0
103.52/34.11	c (13,0) opt[159][0] = 0
103.52/34.11	c (13,0) opt[159][1] = 1
103.52/34.11	c (13,0) opt[159][2] = 1
103.52/34.11	c (13,0) opt[159][3] = 0
103.52/34.11	c (13,0) opt[159][4] = 0
103.52/34.11	c (13,0) opt[160][0] = 0
103.52/34.11	c (13,0) opt[160][1] = 0
103.52/34.11	c (13,0) opt[160][2] = 0
103.52/34.11	c (13,0) opt[160][3] = 1
103.52/34.11	c (13,0) opt[160][4] = 0
103.52/34.11	c (13,0) opt[161][0] = 1
103.52/34.11	c (13,0) opt[161][1] = 0
103.52/34.11	c (13,0) opt[161][2] = 0
103.52/34.11	c (13,0) opt[161][3] = 0
103.52/34.11	c (13,0) opt[161][4] = 0
103.52/34.11	c (13,0) opt[162][0] = 0
103.52/34.11	c (13,0) opt[162][1] = 1
103.52/34.11	c (13,0) opt[162][2] = 1
103.52/34.11	c (13,0) opt[162][3] = 1
103.52/34.11	c (13,0) opt[162][4] = 0
103.52/34.11	c (13,0) opt[163][0] = 1
103.52/34.11	c (13,0) opt[163][1] = 0
103.52/34.11	c (13,0) opt[163][2] = 0
103.52/34.11	c (13,0) opt[163][3] = 0
103.52/34.11	c (13,0) opt[163][4] = 1
103.52/34.11	c (13,0) opt[164][0] = 0
103.52/34.11	c (13,0) opt[164][1] = 1
103.52/34.11	c (13,0) opt[164][2] = 0
103.52/34.11	c (13,0) opt[164][3] = 0
103.52/34.11	c (13,0) opt[164][4] = 0
103.52/34.11	c (13,0) opt[165][0] = 0
103.52/34.11	c (13,0) opt[165][1] = 1
103.52/34.11	c (13,0) opt[165][2] = 0
103.52/34.11	c (13,0) opt[165][3] = 1
103.52/34.11	c (13,0) opt[165][4] = 0
103.52/34.11	c (13,0) opt[166][0] = 1
103.52/34.11	c (13,0) opt[166][1] = 0
103.52/34.11	c (13,0) opt[166][2] = 1
103.52/34.11	c (13,0) opt[166][3] = 0
103.52/34.11	c (13,0) opt[166][4] = 0
103.52/34.11	c (13,0) opt[167][0] = 0
103.52/34.11	c (13,0) opt[167][1] = 0
103.52/34.11	c (13,0) opt[167][2] = 0
103.52/34.11	c (13,0) opt[167][3] = 1
103.52/34.11	c (13,0) opt[167][4] = 0
103.52/34.11	c (13,0) opt[168][0] = 0
103.52/34.11	c (13,0) opt[168][1] = 1
103.52/34.11	c (13,0) opt[168][2] = 0
103.52/34.11	c (13,0) opt[168][3] = 0
103.52/34.11	c (13,0) opt[168][4] = 0
103.52/34.11	c (13,0) opt[169][0] = 0
103.52/34.11	c (13,0) opt[169][1] = 1
103.52/34.11	c (13,0) opt[169][2] = 0
103.52/34.11	c (13,0) opt[169][3] = 0
103.52/34.11	c (13,0) opt[169][4] = 0
103.52/34.11	c (13,0) opt[170][0] = 0
103.52/34.11	c (13,0) opt[170][1] = 0
103.52/34.11	c (13,0) opt[170][2] = 0
103.52/34.11	c (13,0) opt[170][3] = 1
103.52/34.11	c (13,0) opt[170][4] = 0
103.52/34.11	c (13,0) opt[171][0] = 1
103.52/34.11	c (13,0) opt[171][1] = 0
103.52/34.11	c (13,0) opt[171][2] = 1
103.52/34.11	c (13,0) opt[171][3] = 0
103.52/34.11	c (13,0) opt[171][4] = 1
103.52/34.11	c (13,0) opt[172][0] = 0
103.52/34.11	c (13,0) opt[172][1] = 1
103.52/34.11	c (13,0) opt[172][2] = 0
103.52/34.11	c (13,0) opt[172][3] = 0
103.52/34.11	c (13,0) opt[172][4] = 0
103.52/34.11	c (13,0) opt[173][0] = 1
103.52/34.11	c (13,0) opt[173][1] = 1
103.52/34.11	c (13,0) opt[173][2] = 0
103.52/34.11	c (13,0) opt[173][3] = 0
103.52/34.11	c (13,0) opt[173][4] = 0
103.52/34.11	c (13,0) opt[174][0] = 0
103.52/34.11	c (13,0) opt[174][1] = 0
103.52/34.11	c (13,0) opt[174][2] = 1
103.52/34.11	c (13,0) opt[174][3] = 0
103.52/34.11	c (13,0) opt[174][4] = 0
103.52/34.11	c (13,0) opt[175][0] = 0
103.52/34.11	c (13,0) opt[175][1] = 0
103.52/34.11	c (13,0) opt[175][2] = 0
103.52/34.11	c (13,0) opt[175][3] = 1
103.52/34.11	c (13,0) opt[175][4] = 0
103.52/34.11	c (13,0) opt[176][0] = 1
103.52/34.11	c (13,0) opt[176][1] = 0
103.52/34.11	c (13,0) opt[176][2] = 0
103.52/34.11	c (13,0) opt[176][3] = 0
103.52/34.11	c (13,0) opt[176][4] = 0
103.52/34.11	c (13,0) opt[177][0] = 0
103.52/34.11	c (13,0) opt[177][1] = 1
103.52/34.11	c (13,0) opt[177][2] = 1
103.52/34.11	c (13,0) opt[177][3] = 1
103.52/34.11	c (13,0) opt[177][4] = 0
103.52/34.11	c (13,0) opt[178][0] = 0
103.52/34.11	c (13,0) opt[178][1] = 1
103.52/34.11	c (13,0) opt[178][2] = 0
103.52/34.11	c (13,0) opt[178][3] = 0
103.52/34.11	c (13,0) opt[178][4] = 0
103.52/34.11	c (13,0) opt[179][0] = 1
103.52/34.11	c (13,0) opt[179][1] = 0
103.52/34.11	c (13,0) opt[179][2] = 0
103.52/34.11	c (13,0) opt[179][3] = 0
103.52/34.11	c (13,0) opt[179][4] = 0
103.52/34.11	c (13,0) opt[180][0] = 0
103.52/34.11	c (13,0) opt[180][1] = 1
103.52/34.11	c (13,0) opt[180][2] = 1
103.52/34.11	c (13,0) opt[180][3] = 0
103.52/34.11	c (13,0) opt[180][4] = 0
103.52/34.11	c (13,0) opt[181][0] = 0
103.52/34.11	c (13,0) opt[181][1] = 1
103.52/34.11	c (13,0) opt[181][2] = 0
103.52/34.11	c (13,0) opt[181][3] = 1
103.52/34.11	c (13,0) opt[181][4] = 0
103.52/34.11	c (13,0) opt[182][0] = 1
103.52/34.11	c (13,0) opt[182][1] = 0
103.52/34.11	c (13,0) opt[182][2] = 0
103.52/34.11	c (13,0) opt[182][3] = 0
103.52/34.11	c (13,0) opt[182][4] = 1
103.52/34.11	c (13,0) opt[183][0] = 0
103.52/34.11	c (13,0) opt[183][1] = 0
103.52/34.11	c (13,0) opt[183][2] = 1
103.52/34.11	c (13,0) opt[183][3] = 0
103.52/34.11	c (13,0) opt[183][4] = 0
103.52/34.11	c (13,0) opt[184][0] = 0
103.52/34.11	c (13,0) opt[184][1] = 0
103.52/34.11	c (13,0) opt[184][2] = 0
103.52/34.11	c (13,0) opt[184][3] = 1
103.52/34.11	c (13,0) opt[184][4] = 0
103.52/34.11	c (13,0) opt[185][0] = 0
103.52/34.11	c (13,0) opt[185][1] = 1
103.52/34.11	c (13,0) opt[185][2] = 0
103.52/34.11	c (13,0) opt[185][3] = 0
103.52/34.11	c (13,0) opt[185][4] = 0
103.52/34.11	c (13,0) opt[186][0] = 1
103.52/34.11	c (13,0) opt[186][1] = 0
103.52/34.11	c (13,0) opt[186][2] = 0
103.52/34.11	c (13,0) opt[186][3] = 0
103.52/34.11	c (13,0) opt[186][4] = 0
103.52/34.11	c (13,0) opt[187][0] = 0
103.52/34.11	c (13,0) opt[187][1] = 0
103.52/34.11	c (13,0) opt[187][2] = 1
103.52/34.11	c (13,0) opt[187][3] = 0
103.52/34.11	c (13,0) opt[187][4] = 0
103.52/34.11	c (13,0) opt[188][0] = 1
103.52/34.11	c (13,0) opt[188][1] = 1
103.52/34.11	c (13,0) opt[188][2] = 0
103.52/34.11	c (13,0) opt[188][3] = 1
103.52/34.11	c (13,0) opt[188][4] = 0
103.52/34.11	c (13,0) opt[189][0] = 0
103.52/34.11	c (13,0) opt[189][1] = 0
103.52/34.11	c (13,0) opt[189][2] = 0
103.52/34.11	c (13,0) opt[189][3] = 0
103.52/34.11	c (13,0) opt[189][4] = 1
103.52/34.11	c (13,0) opt[190][0] = 1
103.52/34.11	c (13,0) opt[190][1] = 1
103.52/34.11	c (13,0) opt[190][2] = 0
103.52/34.11	c (13,0) opt[190][3] = 0
103.52/34.11	c (13,0) opt[190][4] = 0
103.52/34.11	c (13,0) opt[191][0] = 0
103.52/34.11	c (13,0) opt[191][1] = 0
103.52/34.11	c (13,0) opt[191][2] = 1
103.52/34.11	c (13,0) opt[191][3] = 0
103.52/34.11	c (13,0) opt[191][4] = 0
103.52/34.11	c (13,0) opt[192][0] = 0
103.52/34.11	c (13,0) opt[192][1] = 1
103.52/34.11	c (13,0) opt[192][2] = 0
103.52/34.11	c (13,0) opt[192][3] = 1
103.52/34.11	c (13,0) opt[192][4] = 0
103.52/34.11	c (13,0) opt[193][0] = 0
103.52/34.11	c (13,0) opt[193][1] = 1
103.52/34.11	c (13,0) opt[193][2] = 0
103.52/34.11	c (13,0) opt[193][3] = 1
103.52/34.11	c (13,0) opt[193][4] = 0
103.52/34.11	c (13,0) opt[194][0] = 0
103.52/34.11	c (13,0) opt[194][1] = 0
103.52/34.11	c (13,0) opt[194][2] = 0
103.52/34.11	c (13,0) opt[194][3] = 0
103.52/34.11	c (13,0) opt[194][4] = 1
103.52/34.11	c (13,0) opt[195][0] = 1
103.52/34.11	c (13,0) opt[195][1] = 1
103.52/34.11	c (13,0) opt[195][2] = 0
103.52/34.11	c (13,0) opt[195][3] = 0
103.52/34.11	c (13,0) opt[195][4] = 0
103.52/34.11	c (13,0) opt[196][0] = 0
103.52/34.11	c (13,0) opt[196][1] = 1
103.52/34.11	c (13,0) opt[196][2] = 1
103.52/34.11	c (13,0) opt[196][3] = 0
103.52/34.11	c (13,0) opt[196][4] = 0
103.52/34.11	c (13,0) opt[197][0] = 0
103.52/34.11	c (13,0) opt[197][1] = 0
103.52/34.11	c (13,0) opt[197][2] = 0
103.52/34.11	c (13,0) opt[197][3] = 1
103.52/34.11	c (13,0) opt[197][4] = 0
103.52/34.11	c (13,0) opt[198][0] = 0
103.52/34.11	c (13,0) opt[198][1] = 0
103.52/34.11	c (13,0) opt[198][2] = 0
103.52/34.11	c (13,0) opt[198][3] = 1
103.52/34.11	c (13,0) opt[198][4] = 0
103.52/34.11	c (13,0) opt[199][0] = 1
103.52/34.11	c (13,0) opt[199][1] = 0
103.52/34.11	c (13,0) opt[199][2] = 0
103.52/34.11	c (13,0) opt[199][3] = 0
103.52/34.11	c (13,0) opt[199][4] = 1
103.52/34.11	s SATISFIABLE
103.90/34.11	v <instantiation>
103.90/34.11	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>
103.90/34.11	v     <values>21 16 20 21 10 2 0 10 2 10 24 11 10 16 11 6 18 16 20 5 18 2 13 16 6 3 16 23 0 6 18 7 0 6 2 6 20 18 6 16 18 13 18 6 17 6 16 23 2 6 20 0 10 2 2 5 10 16 8 2 9 5 10 2 2 12 13 16 22 2 17 10 16 2 5 16 9 2 6 5 16 19 5 2 10 5 3 16 5 18 10 5 22 24 0 10 2 10 2 5 9 18 5 23 16 12 6 2 4 16 6 1 2 10 5 10 2 0 16 6 3 13 2 10 5 2 20 4 16 23 11 16 20 0 22 2 0 6 16 6 12 2 22 16 6 0 23 20 8 16 16 13 2 16 6 15 16 2 10 0 2 6 21 7 16 18 13 2 16 16 2 14 16 10 5 2 6 21 16 6 0 18 7 5 2 16 6 5 22 20 10 5 18 18 20 10 0 2 2 7 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 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 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 1 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 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 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 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1</values>
103.90/34.11	v </instantiation>
103.90/34.11	c (13,0) Show results End
103.90/34.11	c (13,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
103.90/34.11	c (13,0) 13,13,STOP-AFTER(ALL)
103.90/34.11	c END-Prog: Sat Sep 14 05:12:58 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 (9617 MiB free)
  memory of node 1: 16384 MiB (15620 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392367-1568430788/watcher-4392367-1568430788 -o /tmp/evaluation-result-4392367-1568430788/solver-4392367-1568430788 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --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-4392367-1568430788.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=12933, runsolver pid=12930
Current StackSize limit: 8192 KiB


[startup+0.100152 s]*
/proc/loadavg: 5.92 7.17 7.35 2/212 12955
/proc/meminfo: memFree=25750320/32770624 swapFree=67002152/67108860
[pid=12933] ppid=12930 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12933/stat : 12933 (scop.sh) S 12930 12933 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419327428 115843072 349 33554432000 4194304 5098028 140732700993328 140732700990584 140177032790652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140732700996389 140732700996716 140732700996716 140732700999629 0
/proc/12933/statm: 28282 349 296 221 0 87 0
[pid=12936] ppid=12933 vsize=27314120 memory=104644 CPUtime=0.11 cores=0-7
/proc/12936/stat : 12936 (java) S 12933 12933 11851 0 -1 1077944320 6269 0 0 0 8 3 0 0 20 0 20 0 419327428 27969658880 26161 33554432000 4194304 4196468 140737423047664 140737423030208 139868322066167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
/proc/12936/statm: 6828530 26161 2798 1 0 6790935 0
[pid=12936/tid=12937] ppid=12933 vsize=27314120 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12936/task/12937/stat : 12937 (java) R 12933 12933 11851 0 -1 4202560 4342 0 0 0 7 2 0 0 20 0 20 0 419327429 27969658880 26161 33554432000 4194304 4196468 140737423047664 139868293888448 139868308134286 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12938] ppid=12933 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/12936/task/12938/stat : 12938 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26161 33554432000 4194304 4196468 140737423047664 139868326309008 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12939] ppid=12933 vsize=27314120 memory=140263491286656 CPUtime=0 cores=0-7
/proc/12936/task/12939/stat : 12939 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26161 33554432000 4194304 4196468 140737423047664 139868094323728 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12940] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12940/stat : 12940 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867743488912 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12941] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12941/stat : 12941 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867742436112 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12942] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12942/stat : 12942 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867741383312 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12943] ppid=12933 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12936/task/12943/stat : 12943 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867740330512 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12944] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12944/stat : 12944 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867739277712 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12945] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12945/stat : 12945 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867738224912 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12946] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12946/stat : 12946 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867695057776 139868322077314 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12947] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12947/stat : 12947 (java) S 12933 12933 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 26673 33554432000 4194304 4196468 140737423047664 139866213967392 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12948] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12948/stat : 12948 (java) S 12933 12933 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 26673 33554432000 4194304 4196468 140737423047664 139866079745392 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12949] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12949/stat : 12949 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 26673 33554432000 4194304 4196468 140737423047664 139865705240912 139868322084763 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12950] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12950/stat : 12950 (java) S 12933 12933 11851 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867694004592 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12951] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12951/stat : 12951 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867692951792 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12952] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12952/stat : 12952 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867691898992 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12953] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12953/stat : 12953 (java) S 12933 12933 11851 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867308681200 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12954] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12954/stat : 12954 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 26673 33554432000 4194304 4196468 140737423047664 139865207336032 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12955] ppid=12933 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12936/task/12955/stat : 12955 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 26673 33554432000 4194304 4196468 140737423047664 139867307629616 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106040 KiB

[startup+0.21039 s]*
/proc/loadavg: 5.92 7.17 7.35 3/212 12955
/proc/meminfo: memFree=25731832/32770624 swapFree=67002152/67108860
[pid=12933] ppid=12930 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12933/stat : 12933 (scop.sh) S 12930 12933 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419327428 115843072 349 33554432000 4194304 5098028 140732700993328 140732700990584 140177032790652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140732700996389 140732700996716 140732700996716 140732700999629 0
/proc/12933/statm: 28282 349 296 221 0 87 0
[pid=12936] ppid=12933 vsize=27314120 memory=121200 CPUtime=0.24 cores=0-7
/proc/12936/stat : 12936 (java) S 12933 12933 11851 0 -1 1077944320 11265 0 0 0 20 4 0 0 20 0 20 0 419327428 27969658880 30300 33554432000 4194304 4196468 140737423047664 140737423030208 139868322066167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
/proc/12936/statm: 6828530 30300 2887 1 0 6790935 0
[pid=12936/tid=12937] ppid=12933 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12936/task/12937/stat : 12937 (java) R 12933 12933 11851 0 -1 4202560 8940 0 0 0 16 3 0 0 20 0 20 0 419327429 27969658880 30300 33554432000 4194304 4196468 140737423047664 139868293882576 139868302342992 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12938] ppid=12933 vsize=27314120 memory=330 CPUtime=0 cores=0-7
/proc/12936/task/12938/stat : 12938 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139868326309008 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12939] ppid=12933 vsize=27314120 memory=288370639642998400 CPUtime=0 cores=0-7
/proc/12936/task/12939/stat : 12939 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139868094323728 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12940] ppid=12933 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12936/task/12940/stat : 12940 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867743488912 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12941] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12941/stat : 12941 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867742436112 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12942] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12942/stat : 12942 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867741383312 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12943] ppid=12933 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12936/task/12943/stat : 12943 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867740330512 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12944] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12944/stat : 12944 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867739277712 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12945] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12945/stat : 12945 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867738224912 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12946] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12946/stat : 12946 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867695057776 139868322077314 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12947] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12947/stat : 12947 (java) S 12933 12933 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 30300 33554432000 4194304 4196468 140737423047664 139866213967392 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12948] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12948/stat : 12948 (java) S 12933 12933 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 30300 33554432000 4194304 4196468 140737423047664 139866079745392 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12949] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12949/stat : 12949 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 30300 33554432000 4194304 4196468 140737423047664 139865705240912 139868322084763 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12950] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12950/stat : 12950 (java) S 12933 12933 11851 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867694004592 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12951] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12951/stat : 12951 (java) S 12933 12933 11851 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867692951792 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12952] ppid=12933 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12936/task/12952/stat : 12952 (java) S 12933 12933 11851 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867691898992 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12953] ppid=12933 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/12936/task/12953/stat : 12953 (java) S 12933 12933 11851 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 20 0 419327436 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867308681200 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12954] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12954/stat : 12954 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 30300 33554432000 4194304 4196468 140737423047664 139865207336032 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12955] ppid=12933 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12936/task/12955/stat : 12955 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 30300 33554432000 4194304 4196468 140737423047664 139867307629616 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122596 KiB

[startup+0.310412 s]*
/proc/loadavg: 5.92 7.17 7.35 2/212 12955
/proc/meminfo: memFree=25728772/32770624 swapFree=67002152/67108860
[pid=12933] ppid=12930 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12933/stat : 12933 (scop.sh) S 12930 12933 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419327428 115843072 349 33554432000 4194304 5098028 140732700993328 140732700990584 140177032790652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140732700996389 140732700996716 140732700996716 140732700999629 0
/proc/12933/statm: 28282 349 296 221 0 87 0
[pid=12936] ppid=12933 vsize=27314120 memory=125368 CPUtime=0.43 cores=0-7
/proc/12936/stat : 12936 (java) S 12933 12933 11851 0 -1 1077944320 12270 0 0 0 38 5 0 0 20 0 20 0 419327428 27969658880 31342 33554432000 4194304 4196468 140737423047664 140737423030208 139868322066167 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
/proc/12936/statm: 6828530 31342 3038 1 0 6790935 0
[pid=12936/tid=12937] ppid=12933 vsize=27314120 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12936/task/12937/stat : 12937 (java) R 12933 12933 11851 0 -1 4202560 9767 0 0 0 26 3 0 0 20 0 20 0 419327429 27969658880 31342 33554432000 4194304 4196468 140737423047664 139868293883664 139868306146654 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12938] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12938/stat : 12938 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139868326309008 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12939] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12939/stat : 12939 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139868094323728 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12940] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12940/stat : 12940 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867743488912 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12941] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12941/stat : 12941 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867742436112 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12942] ppid=12933 vsize=27314120 memory=2244 CPUtime=0 cores=0-7
/proc/12936/task/12942/stat : 12942 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867741383312 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12943] ppid=12933 vsize=27314120 memory=140263364326319 CPUtime=0 cores=0-7
/proc/12936/task/12943/stat : 12943 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867740330512 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12944] ppid=12933 vsize=27314120 memory=140263364328624 CPUtime=0 cores=0-7
/proc/12936/task/12944/stat : 12944 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867739277712 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12945] ppid=12933 vsize=27314120 memory=140263364330928 CPUtime=0 cores=0-7
/proc/12936/task/12945/stat : 12945 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867738224912 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12946] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12946/stat : 12946 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867695057776 139868322077314 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12947] ppid=12933 vsize=27314120 memory=280526728668816 CPUtime=0 cores=0-7
/proc/12936/task/12947/stat : 12947 (java) S 12933 12933 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 31342 33554432000 4194304 4196468 140737423047664 139866213967392 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12948] ppid=12933 vsize=27314120 memory=280526728675728 CPUtime=0 cores=0-7
/proc/12936/task/12948/stat : 12948 (java) S 12933 12933 11851 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419327433 27969658880 31342 33554432000 4194304 4196468 140737423047664 139866079745392 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12949] ppid=12933 vsize=27314120 memory=280526728617008 CPUtime=0 cores=0-7
/proc/12936/task/12949/stat : 12949 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 31342 33554432000 4194304 4196468 140737423047664 139865705240912 139868322084763 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12950] ppid=12933 vsize=27314120 memory=280526728689552 CPUtime=0 cores=0-7
/proc/12936/task/12950/stat : 12950 (java) S 12933 12933 11851 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867694004592 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12951] ppid=12933 vsize=27314120 memory=280526728696464 CPUtime=0.02 cores=0-7
/proc/12936/task/12951/stat : 12951 (java) R 12933 12933 11851 0 -1 4202560 231 0 0 0 2 0 0 0 20 0 20 0 419327436 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867692951792 139868306455784 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12952] ppid=12933 vsize=27314120 memory=280526728694160 CPUtime=0 cores=0-7
/proc/12936/task/12952/stat : 12952 (java) S 12933 12933 11851 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867691898992 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12953] ppid=12933 vsize=27314120 memory=280526728710320 CPUtime=0.07 cores=0-7
/proc/12936/task/12953/stat : 12953 (java) S 12933 12933 11851 0 -1 1077944384 522 0 0 0 7 0 0 0 20 0 20 0 419327436 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867308681200 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12954] ppid=12933 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12954/stat : 12954 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 31342 33554432000 4194304 4196468 140737423047664 139865207336032 139868322076373 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12955] ppid=12933 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/12936/task/12955/stat : 12955 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327436 27969658880 31342 33554432000 4194304 4196468 140737423047664 139867307629616 139868322077314 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126764 KiB

[startup+0.701026 s]
/proc/loadavg: 5.92 7.17 7.35 2/212 12955
/proc/meminfo: memFree=25706252/32770624 swapFree=67002152/67108860
[pid=12933] ppid=12930 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/12933/stat : 12933 (scop.sh) S 12930 12933 11851 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419327428 115843072 349 33554432000 4194304 5098028 140732700993328 140732700990584 140177032790652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140732700996389 140732700996716 140732700996716 140732700999629 0
/proc/12933/statm: 28282 349 296 221 0 87 0
[pid=12936] ppid=12933 vsize=27320392 memory=163208 CPUtime=0.99 cores=0-7
/proc/12936/stat : 12936 (java) S 12933 12933 11851 0 -1 1077944320 19945 0 0 0 92 7 0 0 20 0 20 0 419327428 27976081408 40802 33554432000 4194304 4196468 140737423047664 140737423030208 139868322066167 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
/proc/12936/statm: 6830098 40802 3182 1 0 6791447 0
[pid=12936/tid=12937] ppid=12933 vsize=27320392 memory=280526729068208 CPUtime=0.67 cores=0-7
/proc/12936/task/12937/stat : 12937 (java) R 12933 12933 11851 0 -1 4202560 16851 0 0 0 62 5 0 0 20 0 20 0 419327429 27976081408 40802 33554432000 4194304 4196468 140737423047664 139868293902008 139867774381831 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12938] ppid=12933 vsize=27320392 memory=140263364535152 CPUtime=0 cores=0-7
/proc/12936/task/12938/stat : 12938 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27976081408 40802 33554432000 4194304 4196468 140737423047664 139868326309008 139868322076373 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12939] ppid=12933 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/12936/task/12939/stat : 12939 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419327431 27976081408 40802 33554432000 4194304 4196468 140737423047664 139868094323728 139868322076373 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0
[pid=12936/tid=12940] ppid=12933 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/12936/task/12940/stat : 12940 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419327431 27976081408 40802 33554432000 4194304 4196468 140737423047664 139867743488912 139868322076373 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20914176 140737423049451 140737423049878 140737423049878 140737423052751 0

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

[pid=12958/tid=12959] ppid=12933 vsize=8414124 memory=124400 CPUtime=0.84 cores=0-7
/proc/12958/task/12959/stat : 12959 (java) S 12933 12933 11851 0 -1 1077944384 16944 0 0 0 76 8 0 0 20 0 24 0 419329413 8616062976 31100 33554432000 4194304 4196468 140728678841440 139940328222624 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12960] ppid=12933 vsize=8414124 memory=1605536 CPUtime=0 cores=0-7
/proc/12958/task/12960/stat : 12960 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139940360624528 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12961] ppid=12933 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/12958/task/12961/stat : 12961 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139940169185552 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12962] ppid=12933 vsize=8414124 memory=39584 CPUtime=0 cores=0-7
/proc/12958/task/12962/stat : 12962 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939840776848 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12963] ppid=12933 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/12958/task/12963/stat : 12963 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939839724048 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12964] ppid=12933 vsize=8414124 memory=98 CPUtime=0 cores=0-7
/proc/12958/task/12964/stat : 12964 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939838671760 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12965] ppid=12933 vsize=8414124 memory=553 CPUtime=0 cores=0-7
/proc/12958/task/12965/stat : 12965 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939837618960 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12966] ppid=12933 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12958/task/12966/stat : 12966 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939836566672 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12967] ppid=12933 vsize=8414124 memory=7 CPUtime=0 cores=0-7
/proc/12958/task/12967/stat : 12967 (java) S 12933 12933 11851 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419329415 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939835513872 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12968] ppid=12933 vsize=8414124 memory=361 CPUtime=0 cores=0-7
/proc/12958/task/12968/stat : 12968 (java) S 12933 12933 11851 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 419329416 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939449817200 139940356393602 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12969] ppid=12933 vsize=8414124 memory=1241 CPUtime=0 cores=0-7
/proc/12958/task/12969/stat : 12969 (java) S 12933 12933 11851 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419329417 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939027084064 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12970] ppid=12933 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/12958/task/12970/stat : 12970 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419329417 8616062976 31100 33554432000 4194304 4196468 140728678841440 139938758648944 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12971] ppid=12933 vsize=8414124 memory=981 CPUtime=0 cores=0-7
/proc/12958/task/12971/stat : 12971 (java) S 12933 12933 11851 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419329420 8616062976 31100 33554432000 4194304 4196468 140728678841440 139938384140368 139940356401051 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12972] ppid=12933 vsize=8414124 memory=1476 CPUtime=0.08 cores=0-7
/proc/12958/task/12972/stat : 12972 (java) S 12933 12933 11851 0 -1 1077944384 496 0 0 0 8 0 0 0 20 0 24 0 419329420 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939448765040 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12973] ppid=12933 vsize=8414124 memory=124400 CPUtime=0.15 cores=0-7
/proc/12958/task/12973/stat : 12973 (java) S 12933 12933 11851 0 -1 1077944384 573 0 0 0 15 0 0 0 20 0 24 0 419329420 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939447712240 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12974] ppid=12933 vsize=8414124 memory=1602264 CPUtime=0.15 cores=0-7
/proc/12958/task/12974/stat : 12974 (java) S 12933 12933 11851 0 -1 1077944384 557 0 0 0 15 0 0 0 20 0 24 0 419329420 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939446659952 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12975] ppid=12933 vsize=8414124 memory=6655300316396806240 CPUtime=0.23 cores=0-7
/proc/12958/task/12975/stat : 12975 (java) S 12933 12933 11851 0 -1 1077944384 605 0 0 0 23 0 0 0 20 0 24 0 419329420 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939445607152 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12976] ppid=12933 vsize=8414124 memory=7590657104548881516 CPUtime=0 cores=0-7
/proc/12958/task/12976/stat : 12976 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419329420 8616062976 31100 33554432000 4194304 4196468 140728678841440 139937886234976 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12977] ppid=12933 vsize=8414124 memory=7440056984007045732 CPUtime=0 cores=0-7
/proc/12958/task/12977/stat : 12977 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419329420 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939444554032 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12979] ppid=12933 vsize=8414124 memory=6226317114343839076 CPUtime=0 cores=0-7
/proc/12958/task/12979/stat : 12979 (java) S 12933 12933 11851 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419329495 8616062976 31100 33554432000 4194304 4196468 140728678841440 139939436520768 139940356407065 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12981] ppid=12933 vsize=8414124 memory=280526729362616 CPUtime=0 cores=0-7
/proc/12958/task/12981/stat : 12981 (java) S 12933 12933 11851 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419329495 8616062976 31100 33554432000 4194304 4196468 140728678841440 139937215135664 139940356404381 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12982] ppid=12933 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/12958/task/12982/stat : 12982 (java) S 12933 12933 11851 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 419329495 8616062976 31100 33554432000 4194304 4196468 140728678841440 139937483570992 139940356404381 0 4 2 25189581 18446744071580971376 0 0 -1 0 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12983] ppid=12933 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/12958/task/12983/stat : 12983 (java) S 12933 12933 11851 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419329497 8616062976 31100 33554432000 4194304 4196468 140728678841440 139936946708272 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
Current children cumulated CPU time: 102.66 s
Current children cumulated vsize: 10648268 KiB
Current children cumulated memory: 1733564 KiB

[startup+34.0021 s]*
/proc/loadavg: 4.65 6.73 7.20 4/214 12992
/proc/meminfo: memFree=25630332/32770624 swapFree=67002152/67108860
[pid=12933] ppid=12930 vsize=113128 memory=1476 CPUtime=37.53 cores=0-7
/proc/12933/stat : 12933 (scop.sh) S 12930 12933 11851 0 -1 4202496 583 52225 0 0 0 0 3591 162 20 0 1 0 419327428 115843072 369 33554432000 4194304 5098028 140732700993328 140732700990072 140177032790652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140732700996389 140732700996716 140732700996716 140732700999629 0
/proc/12933/statm: 28282 369 311 221 0 87 0
[pid=12958] ppid=12933 vsize=8283048 memory=162552 CPUtime=65.99 cores=0-7
/proc/12958/stat : 12958 (java) S 12933 12933 11851 0 -1 1077944320 21902 943106 0 0 199 12 6144 244 20 0 22 0 419329413 8481841152 40638 33554432000 4194304 4196468 140728678841440 140728678823984 139940356382455 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
/proc/12958/statm: 2070762 40638 3235 1 0 2032106 0
[pid=12958/tid=12959] ppid=12933 vsize=8283048 memory=7883386690921387878 CPUtime=64.84 cores=0-7
/proc/12958/task/12959/stat : 12959 (java) R 12933 12933 11851 0 -1 4202560 17191 943106 0 0 88 8 6144 244 20 0 22 0 419329413 8481841152 40638 33554432000 4194304 4196468 140728678841440 139940328220432 139940356394390 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12960] ppid=12933 vsize=8283048 memory=7230638415855316055 CPUtime=63.88 cores=0-7
/proc/12958/task/12960/stat : 12960 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139940360624528 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12961] ppid=12933 vsize=8283048 memory=9035392393 CPUtime=63.88 cores=0-7
/proc/12958/task/12961/stat : 12961 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139940169185552 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12962] ppid=12933 vsize=8283048 memory=4126316290023845779 CPUtime=63.88 cores=0-7
/proc/12958/task/12962/stat : 12962 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939840776848 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12963] ppid=12933 vsize=8283048 memory=1656 CPUtime=63.88 cores=0-7
/proc/12958/task/12963/stat : 12963 (java) S 12933 12933 11851 0 -1 1077944384 3 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939839724048 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12964] ppid=12933 vsize=8283048 memory=804 CPUtime=63.88 cores=0-7
/proc/12958/task/12964/stat : 12964 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939838671760 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12965] ppid=12933 vsize=8283048 memory=1448 CPUtime=63.88 cores=0-7
/proc/12958/task/12965/stat : 12965 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939837618960 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12966] ppid=12933 vsize=8283048 memory=1980 CPUtime=63.88 cores=0-7
/proc/12958/task/12966/stat : 12966 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939836566672 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12967] ppid=12933 vsize=8283048 memory=2580 CPUtime=63.88 cores=0-7
/proc/12958/task/12967/stat : 12967 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939835513872 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12968] ppid=12933 vsize=8283048 memory=1764 CPUtime=63.88 cores=0-7
/proc/12958/task/12968/stat : 12968 (java) S 12933 12933 11851 0 -1 1077944384 5 943106 0 0 0 0 6144 244 20 0 22 0 419329416 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939449817200 139940356393602 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12969] ppid=12933 vsize=8283048 memory=111632 CPUtime=63.88 cores=0-7
/proc/12958/task/12969/stat : 12969 (java) S 12933 12933 11851 0 -1 1077944384 13 943106 0 0 0 0 6144 244 20 0 22 0 419329417 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939027084064 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12970] ppid=12933 vsize=8283048 memory=796 CPUtime=63.88 cores=0-7
/proc/12958/task/12970/stat : 12970 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329417 8481841152 40638 33554432000 4194304 4196468 140728678841440 139938758648944 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12971] ppid=12933 vsize=8283048 memory=1804 CPUtime=63.88 cores=0-7
/proc/12958/task/12971/stat : 12971 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329420 8481841152 40638 33554432000 4194304 4196468 140728678841440 139938384140368 139940356401051 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12972] ppid=12933 vsize=8283048 memory=916 CPUtime=64.03 cores=0-7
/proc/12958/task/12972/stat : 12972 (java) S 12933 12933 11851 0 -1 1077944384 837 943106 0 0 15 0 6144 244 20 0 22 0 419329420 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939448765040 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12973] ppid=12933 vsize=8283048 memory=4500 CPUtime=64.11 cores=0-7
/proc/12958/task/12973/stat : 12973 (java) S 12933 12933 11851 0 -1 1077944384 607 943106 0 0 23 0 6144 244 20 0 22 0 419329420 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939447712240 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12974] ppid=12933 vsize=8283048 memory=4104 CPUtime=64.11 cores=0-7
/proc/12958/task/12974/stat : 12974 (java) S 12933 12933 11851 0 -1 1077944384 599 943106 0 0 23 0 6144 244 20 0 22 0 419329420 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939446659952 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12975] ppid=12933 vsize=8283048 memory=1412 CPUtime=64.23 cores=0-7
/proc/12958/task/12975/stat : 12975 (java) R 12933 12933 11851 0 -1 4202560 1209 943106 0 0 35 0 6144 244 20 0 22 0 419329420 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939445607152 139940334550001 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12976] ppid=12933 vsize=8283048 memory=3084 CPUtime=63.88 cores=0-7
/proc/12958/task/12976/stat : 12976 (java) S 12933 12933 11851 0 -1 1077944384 3 943106 0 0 0 0 6144 244 20 0 22 0 419329420 8481841152 40638 33554432000 4194304 4196468 140728678841440 139937886234976 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12977] ppid=12933 vsize=8283048 memory=1476 CPUtime=63.88 cores=0-7
/proc/12958/task/12977/stat : 12977 (java) S 12933 12933 11851 0 -1 1077944384 3 943106 0 0 0 0 6144 244 20 0 22 0 419329420 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939444554032 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12979] ppid=12933 vsize=8283048 memory=124400 CPUtime=63.88 cores=0-7
/proc/12958/task/12979/stat : 12979 (java) S 12933 12933 11851 0 -1 1077944384 24 943106 0 0 0 0 6144 244 20 0 22 0 419329495 8481841152 40638 33554432000 4194304 4196468 140728678841440 139939436519952 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12983] ppid=12933 vsize=8283048 memory=1607256 CPUtime=63.88 cores=0-7
/proc/12958/task/12983/stat : 12983 (java) S 12933 12933 11851 0 -1 1077944384 9 943106 0 0 0 0 6144 244 20 0 22 0 419329497 8481841152 40701 33554432000 4194304 4196468 140728678841440 139936946710064 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
Current children cumulated CPU time: 103.52 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 164028 KiB

[startup+34.111 s]
/proc/loadavg: 4.65 6.73 7.20 4/214 12992
/proc/meminfo: memFree=25630332/32770624 swapFree=67002152/67108860
[pid=12933] ppid=12930 vsize=113128 memory=1476 CPUtime=37.53 cores=0-7
/proc/12933/stat : 12933 (scop.sh) S 12930 12933 11851 0 -1 4202496 583 52225 0 0 0 0 3591 162 20 0 1 0 419327428 115843072 369 33554432000 4194304 5098028 140732700993328 140732700990072 140177032790652 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 7749632 140732700996389 140732700996716 140732700996716 140732700999629 0
/proc/12933/statm: 28282 369 311 221 0 87 0
[pid=12958] ppid=12933 vsize=8283048 memory=176748 CPUtime=66.37 cores=0-7
/proc/12958/stat : 12958 (java) S 12933 12933 11851 0 -1 1077944320 25009 943106 0 0 236 13 6144 244 20 0 22 0 419329413 8481841152 44187 33554432000 4194304 4196468 140728678841440 140728678823984 139940356382455 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
/proc/12958/statm: 2070762 44187 3237 1 0 2032106 0
[pid=12958/tid=12959] ppid=12933 vsize=8283048 memory=1476 CPUtime=64.93 cores=0-7
/proc/12958/task/12959/stat : 12959 (java) R 12933 12933 11851 0 -1 4202560 18297 943106 0 0 96 9 6144 244 20 0 22 0 419329413 8481841152 44187 33554432000 4194304 4196468 140728678841440 139940328221632 139940337946111 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12960] ppid=12933 vsize=8283048 memory=1607400 CPUtime=63.88 cores=0-7
/proc/12958/task/12960/stat : 12960 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139940360624528 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12961] ppid=12933 vsize=8283048 memory=1056 CPUtime=63.88 cores=0-7
/proc/12958/task/12961/stat : 12961 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139940169185552 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12962] ppid=12933 vsize=8283048 memory=1568 CPUtime=63.88 cores=0-7
/proc/12958/task/12962/stat : 12962 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939840776848 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12963] ppid=12933 vsize=8283048 memory=1607484 CPUtime=63.88 cores=0-7
/proc/12958/task/12963/stat : 12963 (java) S 12933 12933 11851 0 -1 1077944384 3 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939839724048 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12964] ppid=12933 vsize=8283048 memory=1476 CPUtime=63.88 cores=0-7
/proc/12958/task/12964/stat : 12964 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939838671760 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12965] ppid=12933 vsize=8283048 memory=1980 CPUtime=63.88 cores=0-7
/proc/12958/task/12965/stat : 12965 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939837618960 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12966] ppid=12933 vsize=8283048 memory=2580 CPUtime=63.88 cores=0-7
/proc/12958/task/12966/stat : 12966 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939836566672 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12967] ppid=12933 vsize=8283048 memory=0 CPUtime=63.88 cores=0-7
/proc/12958/task/12967/stat : 12967 (java) S 12933 12933 11851 0 -1 1077944384 2 943106 0 0 0 0 6144 244 20 0 22 0 419329415 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939835513872 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12968] ppid=12933 vsize=8283048 memory=0 CPUtime=63.88 cores=0-7
/proc/12958/task/12968/stat : 12968 (java) S 12933 12933 11851 0 -1 1077944384 5 943106 0 0 0 0 6144 244 20 0 22 0 419329416 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939449817200 139940356393602 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12969] ppid=12933 vsize=8283048 memory=1476 CPUtime=63.88 cores=0-7
/proc/12958/task/12969/stat : 12969 (java) S 12933 12933 11851 0 -1 1077944384 13 943106 0 0 0 0 6144 244 20 0 22 0 419329417 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939027084064 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12970] ppid=12933 vsize=8283048 memory=6656426216303648864 CPUtime=63.88 cores=0-7
/proc/12958/task/12970/stat : 12970 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329417 8481841152 44187 33554432000 4194304 4196468 140728678841440 139938758648944 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12971] ppid=12933 vsize=8283048 memory=7372792066662753891 CPUtime=63.88 cores=0-7
/proc/12958/task/12971/stat : 12971 (java) S 12933 12933 11851 0 -1 1077944384 1 943106 0 0 0 0 6144 244 20 0 22 0 419329420 8481841152 44187 33554432000 4194304 4196468 140728678841440 139938384140368 139940356401051 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12972] ppid=12933 vsize=8283048 memory=6221000949919405671 CPUtime=64.11 cores=0-7
/proc/12958/task/12972/stat : 12972 (java) R 12933 12933 11851 0 -1 4202560 1365 943106 0 0 23 0 6144 244 20 0 22 0 419329420 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939448751136 139940341508625 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12973] ppid=12933 vsize=8283048 memory=39584 CPUtime=64.19 cores=0-7
/proc/12958/task/12973/stat : 12973 (java) R 12933 12933 11851 0 -1 4202560 948 943106 0 0 31 0 6144 244 20 0 22 0 419329420 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939447698120 139940337926545 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12974] ppid=12933 vsize=8283048 memory=988 CPUtime=64.19 cores=0-7
/proc/12958/task/12974/stat : 12974 (java) R 12933 12933 11851 0 -1 4202560 1434 943106 0 0 31 0 6144 244 20 0 22 0 419329420 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939446645976 139940339939768 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12975] ppid=12933 vsize=8283048 memory=2024 CPUtime=64.28 cores=0-7
/proc/12958/task/12975/stat : 12975 (java) R 12933 12933 11851 0 -1 4202560 1506 943106 0 0 39 1 6144 244 20 0 22 0 419329420 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939445607152 139940349479368 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12976] ppid=12933 vsize=8283048 memory=0 CPUtime=63.88 cores=0-7
/proc/12958/task/12976/stat : 12976 (java) S 12933 12933 11851 0 -1 1077944384 3 943106 0 0 0 0 6144 244 20 0 22 0 419329420 8481841152 44187 33554432000 4194304 4196468 140728678841440 139937886234976 139940356392661 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12977] ppid=12933 vsize=8283048 memory=0 CPUtime=63.88 cores=0-7
/proc/12958/task/12977/stat : 12977 (java) S 12933 12933 11851 0 -1 1077944384 3 943106 0 0 0 0 6144 244 20 0 22 0 419329420 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939444554032 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12979] ppid=12933 vsize=8283048 memory=2241 CPUtime=63.88 cores=0-7
/proc/12958/task/12979/stat : 12979 (java) S 12933 12933 11851 0 -1 1077944384 24 943106 0 0 0 0 6144 244 20 0 22 0 419329495 8481841152 44187 33554432000 4194304 4196468 140728678841440 139939436519952 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
[pid=12958/tid=12983] ppid=12933 vsize=8283048 memory=2244 CPUtime=63.88 cores=0-7
/proc/12958/task/12983/stat : 12983 (java) S 12933 12933 11851 0 -1 1077944384 9 943106 0 0 0 0 6144 244 20 0 22 0 419329497 8481841152 44187 33554432000 4194304 4196468 140728678841440 139936946710064 139940356393602 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12853248 140728678847479 140728678847638 140728678847638 140728678850511 0
Current children cumulated CPU time: 103.9 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 178224 KiB

Child status: 0
Real time (s): 34.1561
CPU time (s): 104.032
CPU user time (s): 99.7949
CPU system time (s): 4.23699
CPU usage (%): 304.578
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6073364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.7949
system time used= 4.23699
maximum resident set size= 6071968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 127456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59717
involuntary context switches= 520


# summary of solver processes directly reported to runsolver:
#   pid: 12933
#   total CPU time (s): 104.032
#   total CPU user time (s): 99.7949
#   total CPU system time (s): 4.23699

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.328485 second user time and 0.39714 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-14 05:12:24
IDJOB=4392367
IDBENCH=128075
IDSOLVER=2838
FILE ID=node136/4392367-1568430788
RUNJOBID= node136-1568427975-11878
PBS_JOBID= 21702302
Free space on /tmp= 61168 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-75-09.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-4392367-1568430788/watcher-4392367-1568430788 -o /tmp/evaluation-result-4392367-1568430788/solver-4392367-1568430788 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568427975-11878 --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-4392367-1568430788.xml

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

MD5SUM BENCH= 3e3af1bae7de9ef5515b71e9dbb47d41
RANDOM SEED=999114343

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25842940 kB
MemAvailable:   31887632 kB
Buffers:           81232 kB
Cached:          6240000 kB
SwapCached:         3116 kB
Active:          2031680 kB
Inactive:        4297044 kB
Active(anon):       5940 kB
Inactive(anon):    42132 kB
Active(file):    2025740 kB
Inactive(file):  4254912 kB
Unevictable:      107800 kB
Mlocked:          107800 kB
SwapTotal:      67108860 kB
SwapFree:       67002152 kB
Dirty:             20888 kB
Writeback:             0 kB
AnonPages:        131424 kB
Mapped:            44112 kB
Shmem:             31936 kB
Slab:             189444 kB
SReclaimable:     159748 kB
SUnreclaim:        29696 kB
KernelStack:        3728 kB
PageTables:         5672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61148 MiB
End job on node136 at 2019-09-14 05:12:58