Trace number 4392390

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 50.395 24.1864

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-60-01.xml
MD5SUM78ce7b18c2bc9eefd2fccfc0b2746318
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 benchmark3.47115
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1379
Number of domains2
Minimum domain size2
Maximum domain size24
Distribution of domain sizes[{"size":2,"count":1000},{"size":24,"count":200}]
Minimum variable degree2
Maximum variable degree62
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":19},{"degree":21,"count":19},{"degree":22,"count":19},{"degree":23,"count":19},{"degree":24,"count":125},{"degree":25,"count":14},{"degree":26,"count":14},"...",{"degree":38,"count":8}, {"degree":39,"count":8}, {"degree":40,"count":8}, {"degree":41,"count":8}, {"degree":42,"count":8}, {"degree":43,"count":9}, {"degree":44,"count":125}, {"degree":45,"count":6}, {"degree":46,"count":6}, {"degree":47,"count":6}, {"degree":48,"count":6}, {"degree":49,"count":6}, {"degree":50,"count":6}, {"degree":51,"count":6}, {"degree":52,"count":6}, {"degree":53,"count":6}, {"degree":54,"count":7}, {"degree":55,"count":7}, {"degree":56,"count":48}, {"degree":57,"count":3}, {"degree":58,"count":3}, {"degree":59,"count":3}, {"degree":60,"count":4}, {"degree":61,"count":4}, {"degree":62,"count":27}]
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":29,"count":1},{"arity":32,"count":1},{"arity":35,"count":1},{"arity":38,"count":1},{"arity":41,"count":1},{"arity":44,"count":1},{"arity":47,"count":2},{"arity":50,"count":2},{"arity":53,"count":2},{"arity":56,"count":2},{"arity":59,"count":2},{"arity":62,"count":2},{"arity":65,"count":2},{"arity":68,"count":2},{"arity":71,"count":2},{"arity":74,"count":2},{"arity":77,"count":2},{"arity":80,"count":2},{"arity":83,"count":2},{"arity":86,"count":2},{"arity":89,"count":2},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1178},{"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-16948-serial-file.bin HOME/instance-4392390-1568430772.xml
0.67/0.54	
0.67/0.54	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.67/0.54	
0.67/0.57	c BEGIN-Prog: Sat Sep 14 04:02:35 CEST 2019
0.67/0.57	c PID: 16951
0.67/0.57	c IP: 172.20.3.104
0.67/0.57	c HOST: node104.alineos.net
0.67/0.57	c (0,0) Parsing Begin
2.95/1.39	c (0,0) Parsing End
3.28/1.40	c (0,0) CSP: 200 int (0 aux), 1000 bool (0 aux), 1379 ctr, max domain size 24
3.28/1.40	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.28/1.40	c (0,0) Constraint Name Generate Begin
3.28/1.43	c (0,0) Ctr:HOME/instance-4392390-1568430772.xml,Cardinality:ExtensionSupport:Num:Var:WeightedSum
3.28/1.43	c (0,0) Constraint Name Generate End
3.28/1.43	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
3.28/1.43	c (0,0) CSP to CSPinCNF Begin
11.90/4.65	c (4,4) translated 138 (10%) constraints
12.56/5.30	c (4,4) translated 276 (20%) constraints
12.73/5.31	c (4,4) translated 414 (30%) constraints
12.73/5.34	c (4,4) translated 552 (40%) constraints
12.73/5.36	c (4,4) translated 690 (50%) constraints
12.73/5.38	c (4,4) translated 828 (60%) constraints
12.73/5.39	c (4,4) translated 966 (70%) constraints
13.08/5.41	c (4,4) translated 1104 (80%) constraints
14.54/6.42	c (5,5) translated 1242 (90%) constraints
16.45/8.35	c (7,7) translated 1379 (100%) constraints
16.45/8.37	c (7,7) ===========================================
16.45/8.37	c (7,7) Order
16.45/8.37	c (7,7) ===========================================
18.32/9.08	c (8,8) translated 5741 (10%) constraints
19.28/9.34	c (8,8) translated 11481 (20%) constraints
19.68/9.47	c (8,8) translated 17221 (30%) constraints
19.88/9.59	c (9,9) translated 22961 (40%) constraints
20.07/9.71	c (9,9) translated 28701 (50%) constraints
20.17/9.83	c (9,9) translated 34442 (60%) constraints
20.27/9.96	c (9,9) translated 40182 (70%) constraints
20.39/10.08	c (9,9) translated 45922 (80%) constraints
20.49/10.20	c (9,9) translated 51662 (90%) constraints
25.41/11.84	c (11,11) translated 57402 (100%) constraints
25.41/11.85	c (11,11) CSP to CSPinCNF End
25.41/11.86	c (11,11) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 76068 ctr, max domain size 68
25.41/11.86	c (11,11) Heap : 4618 MiB used (max 21589 MiB), NonHeap : 31 MiB used (max 0 MiB)
25.41/11.86	c (11,11) CSPinCNF Propagation Begin
26.98/12.33	c (11,11) 0 values, 600 unsatisfiable literals, and 400 valid clauses are removed
26.98/12.33	c (11,11) CSPinCNF Propagation End
26.98/12.34	c (11,11) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
26.98/12.34	c (11,11) Heap : 4843 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
26.98/12.34	c (11,11) Simplify CSPinCNF Begin
27.52/12.56	c (12,11) Simplify CSPinCNF End
27.52/12.56	c (12,12) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
27.52/12.56	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.52/12.56	c (12,12) Calculate Precise Domain Begin
27.81/12.64	c (12,12) 0 values are removed by re-calculation
27.81/12.64	c (12,12) Calculate Precise Domain End
27.81/12.65	c (12,12) CSP: 8044 int (7844 aux), 21281 bool (20281 aux), 75668 ctr, max domain size 68
27.81/12.65	c (12,12) Heap : 4956 MiB used (max 21589 MiB), NonHeap : 30 MiB used (max 0 MiB)
27.81/12.65	c (12,12) CSPinCNF to SatSolver Begin
32.32/14.21	c (13,13) 7567 (10 %) CSP clauses are encoded (0 SAT variables, 587012 SAT clauses)
32.32/14.28	c (13,13) 15134 (20 %) CSP clauses are encoded (0 SAT variables, 594579 SAT clauses)
32.58/14.36	c (13,13) 22701 (30 %) CSP clauses are encoded (0 SAT variables, 602146 SAT clauses)
32.74/14.44	c (13,13) 30268 (40 %) CSP clauses are encoded (0 SAT variables, 609713 SAT clauses)
32.86/14.51	c (13,13) 37834 (50 %) CSP clauses are encoded (0 SAT variables, 617279 SAT clauses)
32.86/14.58	c (14,13) 45401 (60 %) CSP clauses are encoded (0 SAT variables, 624846 SAT clauses)
32.96/14.66	c (14,13) 52968 (70 %) CSP clauses are encoded (0 SAT variables, 632413 SAT clauses)
33.06/14.73	c (14,14) 60535 (80 %) CSP clauses are encoded (0 SAT variables, 639980 SAT clauses)
33.16/14.82	c (14,14) 68102 (90 %) CSP clauses are encoded (0 SAT variables, 648807 SAT clauses)
36.18/17.54	c (16,16) 75668 (100 %) CSP clauses are encoded (0 SAT variables, 2155133 SAT clauses)
36.18/17.54	c (16,16) CSPinCNF to SatSolver End
36.18/17.54	c (16,16) Heap : 3127 MiB used (max 21589 MiB), NonHeap : 33 MiB used (max 0 MiB)
36.18/17.54	c (16,16) 134227 bool, 2155973 clause
36.18/17.54	c (16,16) Export Begin
36.60/17.70	c (17,16) Export to HOME/scop-16948-serial-file.bin
36.60/17.70	c (17,16) Export End
36.60/17.70	c (17,16) Export File Size: 0.25 MB
36.60/17.70	c (17,16) 0,0,11,11,12,12,16,STOP-AFTER(DIMACS)
36.60/17.70	c END-Prog: Sat Sep 14 04:02:52 CEST 2019
36.60/17.75	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16948-serial-file.bin
37.24/18.22	c (0,0) Read Serial File Begin
37.24/18.22	c (0,0) HOME/scop-16948-serial-file.bin
37.87/18.51	c (0,0) Read Serial File End
37.87/18.53	
37.87/18.53	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
37.87/18.53	(Solving Process)
37.87/18.53	
37.87/18.55	c BEGIN-Prog: Sat Sep 14 04:02:53 CEST 2019
37.87/18.55	c PID: 16972
37.87/18.55	c IP: 172.20.3.104
37.87/18.55	c HOST: node104.alineos.net
37.87/18.55	c (0,0) SatSolver.solve Begin
37.87/18.55	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392390-1568430772.xml-scop-16951.cnf
37.87/18.58	c (0,0) c
37.87/18.58	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)
37.87/18.58	c (0,0) c
37.87/18.58	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
37.87/18.58	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
37.87/18.58	c (0,0) c ========================================[ Problem Statistics ]===========================================
37.87/18.58	c (0,0) c |                                                                                                       |
38.89/19.35	c (1,0) c |  Number of variables:        134227                                                                   |
38.89/19.35	c (1,0) c |  Number of clauses:         2155709                                                                   |
38.89/19.35	c (1,0) c |  Parse time:                   0.70 s                                                                 |
38.89/19.35	c (1,0) c |                                                                                                       |
41.71/22.16	c (4,0) c |  Simplification time:          2.78 s                                                                 |
41.71/22.16	c (4,0) c |                                                                                                       |
41.71/22.16	c (4,0) c |  Generating clones                                                                                    |
42.30/22.78	c (4,0) c |  all clones generated. Memory =  1305.50Mb.                                                           |
42.30/22.78	c (4,0) c ========================================================================================================|
42.30/22.78	c (4,0) c
42.30/22.78	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
42.30/22.78	c (4,0) c
42.30/22.78	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.30/22.78	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
42.30/22.78	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
42.30/22.78	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
42.30/22.78	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
42.30/22.78	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
42.30/22.78	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
42.30/22.78	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
42.30/22.78	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
42.30/22.78	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
42.30/22.78	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
42.30/22.78	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
42.30/22.78	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
42.30/22.78	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
42.30/22.78	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
42.30/22.78	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
42.30/22.78	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
42.30/22.78	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
42.30/22.78	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c
49.06/23.79	c (5,0) c real time : 5.21478 s
49.06/23.79	c (5,0) c cpu time  : 10.3756 s
49.06/23.79	c (5,0) c
49.06/23.79	c (5,0) c
49.06/23.79	c (5,0) c
49.06/23.79	c (5,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
49.06/23.79	c (5,0) c
49.06/23.79	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
49.06/23.79	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c | Conflicts     |            3184 |        349 |        325 |        306 |        767 |        634 |        341 |        203 |        259 |
49.06/23.79	c (5,0) c | Decisions     |           94616 |      12267 |      13100 |      15158 |       7293 |       9565 |      17207 |       9281 |      10745 |
49.06/23.79	c (5,0) c | Propagations  |         7908056 |     927207 |     972232 |    1085281 |    1008409 |    1303179 |    1110515 |     681028 |     820205 |
49.06/23.79	c (5,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | SimpDBs       |               8 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |          1 |
49.06/23.79	c (5,0) c | Restarts      |              29 |          4 |          4 |          4 |          1 |          6 |          4 |          2 |          4 |
49.06/23.79	c (5,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | PropBinClauses|        14277447 |    1606155 |    1688723 |    1790221 |    2369203 |    2314675 |    1854021 |    1274455 |    1379994 |
49.06/23.79	c (5,0) c | PropPreBlocker|        97230078 |   12889655 |   10640277 |   12786046 |   15023525 |   14705460 |   12641102 |    9207104 |    9336909 |
49.06/23.79	c (5,0) c | PropNotBlocker|        38518134 |    5103656 |    4564555 |    5060831 |    4897516 |    5499412 |    5179685 |    4065041 |    4147438 |
49.06/23.79	c (5,0) c | LitFullScans  |       182573376 |   24081013 |   20517520 |   24065139 |   26711150 |   26989846 |   24048730 |   18093871 |   18066107 |
49.06/23.79	c (5,0) c | LitScanFracts |           35028 |       1190 |       2075 |       6557 |       3124 |      17789 |       2401 |       1514 |        378 |
49.06/23.79	c (5,0) c | DecisionLevel0|              55 |          9 |          6 |          9 |          5 |          9 |          5 |          4 |          8 |
49.06/23.79	c (5,0) c | Periods       |              28 |          4 |          3 |          4 |          4 |          4 |          3 |          3 |          3 |
49.06/23.79	c (5,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
49.06/23.79	c (5,0) c | Avg_Trail     |                 |      37528 |      40028 |      52354 |      16945 |      29161 |      47079 |      37714 |      43330 |
49.06/23.79	c (5,0) c | Avg_DL        |                 |        256 |        419 |        675 |        290 |        146 |        386 |        437 |        455 |
49.06/23.79	c (5,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c | Exported      |              90 |         13 |          5 |          7 |         13 |         20 |          9 |         15 |          8 |
49.06/23.79	c (5,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
49.06/23.79	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c | Unaries       |                 |          5 |          2 |          5 |          4 |          3 |          1 |          2 |          4 |
49.06/23.79	c (5,0) c | Binaries      |                 |         12 |          3 |          6 |          8 |         16 |          8 |         15 |          6 |
49.06/23.79	c (5,0) c | Glues         |                 |         13 |          5 |          7 |         13 |         20 |          9 |         15 |          8 |
49.06/23.79	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c | Orig_Seen     |             0 % |       2505 |       3226 |       3411 |        931 |       2653 |       3492 |       1919 |       3186 |
49.06/23.79	c (5,0) c | Diff Orig seen|                 | -      987 | -      266 | -       81 | -     2561 | -      839 |      X     | -     1573 | -      306 |
49.06/23.79	c (5,0) c | Hamming       |            10 % |      12986 |      13330 |      13613 |      14947 |      13314 |      X     |      12906 |      13462 |
49.06/23.79	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c | RunningTime   |                 |    1.0 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|    0.9 100%|
49.06/23.79	c (5,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%|
49.06/23.79	c (5,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%|
49.06/23.79	c (5,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%|
49.06/23.79	c (5,0) c | SolvingTime   |                 |    1.0     |    0.9     |    0.9     |    0.9     |    0.9     |    0.9     |    0.9     |    0.9     |
49.06/23.79	c (5,0) c | PropagationTim|                 |    1.0  95%|    0.9  94%|    0.8  94%|    0.9  95%|    0.9  95%|    0.8  94%|    0.9  96%|    0.8  94%|
49.06/23.79	c (5,0) c | AnalysisTime  |                 |    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|    0.0   1%|
49.06/23.79	c (5,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%|
49.06/23.79	c (5,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
49.06/23.79	c (5,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%|
49.06/23.79	c (5,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%|
49.06/23.79	c (5,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.06/23.79	c (5,0) c
49.06/23.79	c (5,0) c
49.06/23.79	c (5,0) c Threads : 8
49.06/23.79	c (5,0) c Winner : 5
49.06/23.79	c (5,0) c Conflicts_0 : 349
49.06/23.79	c (5,0) c Conflicts_1 : 325
49.06/23.80	c (5,0) c Conflicts_2 : 306
49.06/23.80	c (5,0) c Conflicts_3 : 767
49.06/23.80	c (5,0) c Conflicts_4 : 634
49.06/23.80	c (5,0) c Conflicts_5 : 341
49.06/23.80	c (5,0) c Conflicts_6 : 203
49.06/23.80	c (5,0) c Conflicts_7 : 259
49.06/23.80	c (5,0) c Conflicts_total : 3184
49.06/23.80	c (5,0) c Conflicts_winner : 341
49.06/23.80	c (5,0) c Decisions_0 : 12267
49.06/23.80	c (5,0) c Decisions_1 : 13100
49.06/23.80	c (5,0) c Decisions_2 : 15158
49.06/23.80	c (5,0) c Decisions_3 : 7293
49.06/23.80	c (5,0) c Decisions_4 : 9565
49.06/23.80	c (5,0) c Decisions_5 : 17207
49.06/23.80	c (5,0) c Decisions_6 : 9281
49.06/23.80	c (5,0) c Decisions_7 : 10745
49.06/23.80	c (5,0) c Decisions_total : 94616
49.06/23.80	c (5,0) c Decisions_winner : 17207
49.06/23.80	c (5,0) c Propagations_0 : 927207
49.06/23.80	c (5,0) c Propagations_1 : 972232
49.06/23.80	c (5,0) c Propagations_2 : 1085281
49.06/23.80	c (5,0) c Propagations_3 : 1008409
49.06/23.80	c (5,0) c Propagations_4 : 1303179
49.06/23.80	c (5,0) c Propagations_5 : 1110515
49.06/23.80	c (5,0) c Propagations_6 : 681028
49.06/23.80	c (5,0) c Propagations_7 : 820205
49.06/23.80	c (5,0) c Propagations_total : 7908056
49.06/23.80	c (5,0) c Propagations_winner : 1110515
49.06/23.80	c (5,0) c ReduceDBs_0 : 0
49.06/23.80	c (5,0) c ReduceDBs_1 : 0
49.06/23.80	c (5,0) c ReduceDBs_2 : 0
49.06/23.80	c (5,0) c ReduceDBs_3 : 0
49.06/23.80	c (5,0) c ReduceDBs_4 : 0
49.06/23.80	c (5,0) c ReduceDBs_5 : 0
49.06/23.80	c (5,0) c ReduceDBs_6 : 0
49.06/23.80	c (5,0) c ReduceDBs_7 : 0
49.06/23.80	c (5,0) c ReduceDBs_total : 0
49.06/23.80	c (5,0) c ReduceDBs_winner : 0
49.06/23.80	c (5,0) c SimpDBs_0 : 1
49.06/23.80	c (5,0) c SimpDBs_1 : 1
49.06/23.80	c (5,0) c SimpDBs_2 : 1
49.06/23.80	c (5,0) c SimpDBs_3 : 1
49.06/23.80	c (5,0) c SimpDBs_4 : 1
49.06/23.80	c (5,0) c SimpDBs_5 : 1
49.06/23.80	c (5,0) c SimpDBs_6 : 1
49.06/23.80	c (5,0) c SimpDBs_7 : 1
49.06/23.80	c (5,0) c SimpDBs_total : 8
49.06/23.80	c (5,0) c SimpDBs_winner : 1
49.06/23.80	c (5,0) c Restarts_0 : 4
49.06/23.80	c (5,0) c Restarts_1 : 4
49.06/23.80	c (5,0) c Restarts_2 : 4
49.06/23.80	c (5,0) c Restarts_3 : 1
49.06/23.80	c (5,0) c Restarts_4 : 6
49.06/23.80	c (5,0) c Restarts_5 : 4
49.06/23.80	c (5,0) c Restarts_6 : 2
49.06/23.80	c (5,0) c Restarts_7 : 4
49.06/23.80	c (5,0) c Restarts_total : 29
49.06/23.80	c (5,0) c Restarts_winner : 4
49.06/23.80	c (5,0) c ForcedImports_0 : 0
49.06/23.80	c (5,0) c ForcedImports_1 : 0
49.06/23.80	c (5,0) c ForcedImports_2 : 0
49.06/23.80	c (5,0) c ForcedImports_3 : 0
49.06/23.80	c (5,0) c ForcedImports_4 : 0
49.06/23.80	c (5,0) c ForcedImports_5 : 0
49.06/23.80	c (5,0) c ForcedImports_6 : 0
49.06/23.80	c (5,0) c ForcedImports_7 : 0
49.06/23.80	c (5,0) c ForcedImports_total : 0
49.06/23.80	c (5,0) c ForcedImports_winner : 0
49.06/23.80	c (5,0) c PropsBinClauses_0 : 1606155
49.06/23.80	c (5,0) c PropsBinClauses_1 : 1688723
49.06/23.80	c (5,0) c PropsBinClauses_2 : 1790221
49.06/23.80	c (5,0) c PropsBinClauses_3 : 2369203
49.06/23.80	c (5,0) c PropsBinClauses_4 : 2314675
49.06/23.80	c (5,0) c PropsBinClauses_5 : 1854021
49.06/23.80	c (5,0) c PropsBinClauses_6 : 1274455
49.06/23.80	c (5,0) c PropsBinClauses_7 : 1379994
49.06/23.80	c (5,0) c PropsBinClauses_total : 14277447
49.06/23.80	c (5,0) c PropsBinClauses_winner : 1854021
49.06/23.80	c (5,0) c PropsPreBlocker_0 : 12889655
49.06/23.80	c (5,0) c PropsPreBlocker_1 : 10640277
49.06/23.80	c (5,0) c PropsPreBlocker_2 : 12786046
49.06/23.80	c (5,0) c PropsPreBlocker_3 : 15023525
49.06/23.80	c (5,0) c PropsPreBlocker_4 : 14705460
49.06/23.80	c (5,0) c PropsPreBlocker_5 : 12641102
49.06/23.80	c (5,0) c PropsPreBlocker_6 : 9207104
49.06/23.80	c (5,0) c PropsPreBlocker_7 : 9336909
49.06/23.80	c (5,0) c PropsPreBlocker_total : 97230078
49.06/23.80	c (5,0) c PropsPreBlocker_winner : 12641102
49.06/23.80	c (5,0) c PropsNotBlocker_0 : 5103656
49.06/23.80	c (5,0) c PropsNotBlocker_1 : 4564555
49.21/23.80	c (5,0) c PropsNotBlocker_2 : 5060831
49.21/23.80	c (5,0) c PropsNotBlocker_3 : 4897516
49.21/23.80	c (5,0) c PropsNotBlocker_4 : 5499412
49.21/23.80	c (5,0) c PropsNotBlocker_5 : 5179685
49.21/23.80	c (5,0) c PropsNotBlocker_6 : 4065041
49.21/23.80	c (5,0) c PropsNotBlocker_7 : 4147438
49.21/23.80	c (5,0) c PropsNotBlocker_total : 38518134
49.21/23.80	c (5,0) c PropsNotBlocker_winner : 5179685
49.21/23.80	c (5,0) c PropsLitFullScans_0 : 24081013
49.21/23.80	c (5,0) c PropsLitFullScans_1 : 20517520
49.21/23.80	c (5,0) c PropsLitFullScans_2 : 24065139
49.21/23.80	c (5,0) c PropsLitFullScans_3 : 26711150
49.21/23.80	c (5,0) c PropsLitFullScans_4 : 26989846
49.21/23.80	c (5,0) c PropsLitFullScans_5 : 24048730
49.21/23.80	c (5,0) c PropsLitFullScans_6 : 18093871
49.21/23.80	c (5,0) c PropsLitFullScans_7 : 18066107
49.21/23.80	c (5,0) c PropsLitFullScans_total : 182573376
49.21/23.80	c (5,0) c PropsLitFullScans_winner : 24048730
49.21/23.80	c (5,0) c LitScanFractions_0 : 1190
49.21/23.80	c (5,0) c LitScanFractions_1 : 2075
49.21/23.80	c (5,0) c LitScanFractions_2 : 6557
49.21/23.80	c (5,0) c LitScanFractions_3 : 3124
49.21/23.80	c (5,0) c LitScanFractions_4 : 17789
49.21/23.80	c (5,0) c LitScanFractions_5 : 2401
49.21/23.80	c (5,0) c LitScanFractions_6 : 1514
49.21/23.80	c (5,0) c LitScanFractions_7 : 378
49.21/23.80	c (5,0) c LitScanFractions_total : 35028
49.21/23.80	c (5,0) c LitScanFractions_winner : 2401
49.21/23.80	c (5,0) c DecisionLevel0_0 : 9
49.21/23.80	c (5,0) c DecisionLevel0_1 : 6
49.21/23.80	c (5,0) c DecisionLevel0_2 : 9
49.21/23.80	c (5,0) c DecisionLevel0_3 : 5
49.21/23.80	c (5,0) c DecisionLevel0_4 : 9
49.21/23.80	c (5,0) c DecisionLevel0_5 : 5
49.21/23.80	c (5,0) c DecisionLevel0_6 : 4
49.21/23.80	c (5,0) c DecisionLevel0_7 : 8
49.21/23.80	c (5,0) c DecisionLevel0_total : 55
49.21/23.80	c (5,0) c DecisionLevel0_winner : 5
49.21/23.80	c (5,0) c Periods_0 : 4
49.21/23.80	c (5,0) c Periods_1 : 3
49.21/23.80	c (5,0) c Periods_2 : 4
49.21/23.80	c (5,0) c Periods_3 : 4
49.21/23.80	c (5,0) c Periods_4 : 4
49.21/23.80	c (5,0) c Periods_5 : 3
49.21/23.80	c (5,0) c Periods_6 : 3
49.21/23.80	c (5,0) c Periods_7 : 3
49.21/23.80	c (5,0) c Periods_total : 28
49.21/23.80	c (5,0) c Periods_winner : 3
49.21/23.80	c (5,0) c Margin_0 : 20
49.21/23.80	c (5,0) c Margin_1 : 20
49.21/23.80	c (5,0) c Margin_2 : 20
49.21/23.80	c (5,0) c Margin_3 : 20
49.21/23.80	c (5,0) c Margin_4 : 20
49.21/23.80	c (5,0) c Margin_5 : 20
49.21/23.80	c (5,0) c Margin_6 : 20
49.21/23.80	c (5,0) c Margin_7 : 20
49.21/23.80	c (5,0) c Margin_total : 160
49.21/23.80	c (5,0) c Margin_winner : 20
49.21/23.80	c (5,0) c Exported_0 : 13
49.21/23.80	c (5,0) c Exported_1 : 5
49.21/23.80	c (5,0) c Exported_2 : 7
49.21/23.80	c (5,0) c Exported_3 : 13
49.21/23.80	c (5,0) c Exported_4 : 20
49.21/23.80	c (5,0) c Exported_5 : 9
49.21/23.80	c (5,0) c Exported_6 : 15
49.21/23.80	c (5,0) c Exported_7 : 8
49.21/23.80	c (5,0) c Exported_total : 90
49.21/23.80	c (5,0) c Exported_winner : 9
49.21/23.80	c (5,0) c Imported_0 : 0
49.21/23.80	c (5,0) c Imported_1 : 0
49.21/23.80	c (5,0) c Imported_2 : 0
49.21/23.80	c (5,0) c Imported_3 : 0
49.21/23.80	c (5,0) c Imported_4 : 0
49.21/23.80	c (5,0) c Imported_5 : 0
49.21/23.80	c (5,0) c Imported_6 : 0
49.21/23.80	c (5,0) c Imported_7 : 0
49.21/23.80	c (5,0) c Imported_total : 0
49.21/23.80	c (5,0) c Imported_winner : 0
49.21/23.80	c (5,0) c Good_0 : 0
49.21/23.80	c (5,0) c Good_1 : 0
49.21/23.80	c (5,0) c Good_2 : 0
49.21/23.80	c (5,0) c Good_3 : 0
49.21/23.80	c (5,0) c Good_4 : 0
49.21/23.80	c (5,0) c Good_5 : 0
49.21/23.80	c (5,0) c Good_6 : 0
49.21/23.80	c (5,0) c Good_7 : 0
49.21/23.80	c (5,0) c Good_total : 0
49.21/23.80	c (5,0) c Good_winner : 0
49.21/23.80	c (5,0) c Purge_0 : 0
49.21/23.80	c (5,0) c Purge_1 : 0
49.21/23.80	c (5,0) c Purge_2 : 0
49.21/23.80	c (5,0) c Purge_3 : 0
49.21/23.80	c (5,0) c Purge_4 : 0
49.21/23.80	c (5,0) c Purge_5 : 0
49.21/23.80	c (5,0) c Purge_6 : 0
49.21/23.80	c (5,0) c Purge_7 : 0
49.21/23.80	c (5,0) c Purge_total : 0
49.21/23.80	c (5,0) c Purge_winner : 0
49.21/23.80	c (5,0) c Promoted_0 : 0
49.21/23.80	c (5,0) c Promoted_1 : 0
49.21/23.80	c (5,0) c Promoted_2 : 0
49.21/23.80	c (5,0) c Promoted_3 : 0
49.21/23.80	c (5,0) c Promoted_4 : 0
49.21/23.80	c (5,0) c Promoted_5 : 0
49.21/23.80	c (5,0) c Promoted_6 : 0
49.21/23.80	c (5,0) c Promoted_7 : 0
49.21/23.80	c (5,0) c Promoted_total : 0
49.21/23.80	c (5,0) c Promoted_winner : 0
49.21/23.80	c (5,0) c Remove_Imp_0 : 0
49.21/23.80	c (5,0) c Remove_Imp_1 : 0
49.21/23.80	c (5,0) c Remove_Imp_2 : 0
49.21/23.80	c (5,0) c Remove_Imp_3 : 0
49.21/23.80	c (5,0) c Remove_Imp_4 : 0
49.21/23.80	c (5,0) c Remove_Imp_5 : 0
49.21/23.80	c (5,0) c Remove_Imp_6 : 0
49.21/23.80	c (5,0) c Remove_Imp_7 : 0
49.21/23.80	c (5,0) c Remove_Imp_total : 0
49.21/23.80	c (5,0) c Remove_Imp_winner : 0
49.21/23.80	c (5,0) c Blocked_Reuse_0 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_1 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_2 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_3 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_4 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_5 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_6 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_7 : 0
49.21/23.80	c (5,0) c Blocked_Reuse_total : 0
49.21/23.80	c (5,0) c Blocked_Reuse_winner : 0
49.21/23.80	c (5,0) c Unaries_0 : 5
49.21/23.80	c (5,0) c Unaries_1 : 2
49.21/23.80	c (5,0) c Unaries_2 : 5
49.21/23.80	c (5,0) c Unaries_3 : 4
49.21/23.80	c (5,0) c Unaries_4 : 3
49.21/23.80	c (5,0) c Unaries_5 : 1
49.21/23.80	c (5,0) c Unaries_6 : 2
49.21/23.80	c (5,0) c Unaries_7 : 4
49.21/23.80	c (5,0) c Unaries_total : 26
49.21/23.80	c (5,0) c Unaries_winner : 1
49.21/23.80	c (5,0) c Binaries_0 : 12
49.21/23.80	c (5,0) c Binaries_1 : 3
49.21/23.80	c (5,0) c Binaries_2 : 6
49.21/23.80	c (5,0) c Binaries_3 : 8
49.21/23.80	c (5,0) c Binaries_4 : 16
49.21/23.80	c (5,0) c Binaries_5 : 8
49.21/23.80	c (5,0) c Binaries_6 : 15
49.21/23.80	c (5,0) c Binaries_7 : 6
49.21/23.80	c (5,0) c Binaries_total : 74
49.21/23.80	c (5,0) c Binaries_winner : 8
49.21/23.80	c (5,0) c Glues_0 : 13
49.21/23.80	c (5,0) c Glues_1 : 5
49.21/23.80	c (5,0) c Glues_2 : 7
49.21/23.80	c (5,0) c Glues_3 : 13
49.21/23.80	c (5,0) c Glues_4 : 20
49.21/23.80	c (5,0) c Glues_5 : 9
49.21/23.80	c (5,0) c Glues_6 : 15
49.21/23.80	c (5,0) c Glues_7 : 8
49.21/23.80	c (5,0) c Glues_total : 90
49.21/23.80	c (5,0) c Glues_winner : 9
49.21/23.80	c (5,0) c RunningTime_0 : 1.002666
49.21/23.80	c (5,0) c RunningTime_1 : 0.911018
49.21/23.80	c (5,0) c RunningTime_2 : 0.895787
49.21/23.80	c (5,0) c RunningTime_3 : 0.946325
49.21/23.80	c (5,0) c RunningTime_4 : 0.902378
49.21/23.80	c (5,0) c RunningTime_5 : 0.880290
49.21/23.80	c (5,0) c RunningTime_6 : 0.890506
49.21/23.80	c (5,0) c RunningTime_7 : 0.888804
49.21/23.80	c (5,0) c RunningTime_total : 7.317774
49.21/23.80	c (5,0) c RunningTime_winner : 0.880290
49.21/23.80	c (5,0) c WaitingTime_0 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_1 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_2 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_3 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_4 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_5 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_6 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_7 : 0.000000
49.21/23.80	c (5,0) c WaitingTime_total : 0.000000
49.21/23.80	c (5,0) c WaitingTime_winner : 0.000000
49.21/23.80	c (5,0) c ExchangingTime_0 : 0.000207
49.21/23.80	c (5,0) c ExchangingTime_1 : 0.000219
49.21/23.81	c (5,0) c ExchangingTime_2 : 0.000592
49.21/23.81	c (5,0) c ExchangingTime_3 : 0.000285
49.21/23.81	c (5,0) c ExchangingTime_4 : 0.000871
49.21/23.81	c (5,0) c ExchangingTime_5 : 0.000194
49.21/23.81	c (5,0) c ExchangingTime_6 : 0.000083
49.21/23.81	c (5,0) c ExchangingTime_7 : 0.000063
49.21/23.81	c (5,0) c ExchangingTime_total : 0.002514
49.21/23.81	c (5,0) c ExchangingTime_winner : 0.000194
49.21/23.81	c (5,0) c PeriodProcTime_0 : 0.000053
49.21/23.81	c (5,0) c PeriodProcTime_1 : 0.000041
49.21/23.81	c (5,0) c PeriodProcTime_2 : 0.000044
49.21/23.81	c (5,0) c PeriodProcTime_3 : 0.000067
49.21/23.81	c (5,0) c PeriodProcTime_4 : 0.000087
49.21/23.81	c (5,0) c PeriodProcTime_5 : 0.000040
49.21/23.81	c (5,0) c PeriodProcTime_6 : 0.000032
49.21/23.81	c (5,0) c PeriodProcTime_7 : 0.000045
49.21/23.81	c (5,0) c PeriodProcTime_total : 0.000409
49.21/23.81	c (5,0) c PeriodProcTime_winner : 0.000040
49.21/23.81	c (5,0) c SolvingTime_0 : 1.002926
49.21/23.81	c (5,0) c SolvingTime_1 : 0.911278
49.21/23.81	c (5,0) c SolvingTime_2 : 0.896423
49.21/23.81	c (5,0) c SolvingTime_3 : 0.946677
49.21/23.81	c (5,0) c SolvingTime_4 : 0.903337
49.21/23.81	c (5,0) c SolvingTime_5 : 0.880524
49.21/23.81	c (5,0) c SolvingTime_6 : 0.890620
49.21/23.81	c (5,0) c SolvingTime_7 : 0.888912
49.21/23.81	c (5,0) c SolvingTime_total : 7.320696
49.21/23.81	c (5,0) c SolvingTime_winner : 0.880524
49.21/23.81	c (5,0) c PropagationTime_0 : 0.956591
49.21/23.81	c (5,0) c PropagationTime_1 : 0.855842
49.21/23.81	c (5,0) c PropagationTime_2 : 0.845831
49.21/23.81	c (5,0) c PropagationTime_3 : 0.894943
49.21/23.81	c (5,0) c PropagationTime_4 : 0.853755
49.21/23.81	c (5,0) c PropagationTime_5 : 0.827416
49.21/23.81	c (5,0) c PropagationTime_6 : 0.851578
49.21/23.81	c (5,0) c PropagationTime_7 : 0.837918
49.21/23.81	c (5,0) c PropagationTime_total : 6.923873
49.21/23.81	c (5,0) c PropagationTime_winner : 0.827416
49.21/23.81	c (5,0) c AnalysisTime_0 : 0.009391
49.21/23.81	c (5,0) c AnalysisTime_1 : 0.012823
49.21/23.81	c (5,0) c AnalysisTime_2 : 0.007989
49.21/23.81	c (5,0) c AnalysisTime_3 : 0.012220
49.21/23.81	c (5,0) c AnalysisTime_4 : 0.010825
49.21/23.81	c (5,0) c AnalysisTime_5 : 0.010475
49.21/23.81	c (5,0) c AnalysisTime_6 : 0.007698
49.21/23.81	c (5,0) c AnalysisTime_7 : 0.012379
49.21/23.81	c (5,0) c AnalysisTime_total : 0.083799
49.21/23.81	c (5,0) c AnalysisTime_winner : 0.010475
49.21/23.81	c (5,0) c ReductionTime_0 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_1 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_2 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_3 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_4 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_5 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_6 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_7 : 0.000000
49.21/23.81	c (5,0) c ReductionTime_total : 0.000000
49.21/23.81	c (5,0) c ReductionTime_winner : 0.000000
49.21/23.81	c (5,0) c SimplifyTime_0 : 0.000000
49.21/23.81	c (5,0) c SimplifyTime_1 : 0.000001
49.21/23.81	c (5,0) c SimplifyTime_2 : 0.000000
49.21/23.81	c (5,0) c SimplifyTime_3 : 0.000002
49.21/23.81	c (5,0) c SimplifyTime_4 : 0.000001
49.21/23.81	c (5,0) c SimplifyTime_5 : 0.000001
49.21/23.81	c (5,0) c SimplifyTime_6 : 0.000000
49.21/23.81	c (5,0) c SimplifyTime_7 : 0.000000
49.21/23.81	c (5,0) c SimplifyTime_total : 0.000005
49.21/23.81	c (5,0) c SimplifyTime_winner : 0.000001
49.21/23.81	c (5,0) c UsedRateTime_0 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_1 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_2 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_3 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_4 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_5 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_6 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_7 : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_total : 0.000000
49.21/23.81	c (5,0) c UsedRateTime_winner : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_0 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_1 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_2 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_3 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_4 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_5 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_6 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_7 : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_total : 0.000000
49.21/23.81	c (5,0) c OverlapRateTime_winner : 0.000000
49.21/23.81	c (5,0) c
49.21/23.81	c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
49.21/23.81	c (5,0) c
49.21/23.81	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.21/23.81	c (5,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
49.21/23.81	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.21/23.81	c (5,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
49.21/23.81	c (5,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
49.21/23.81	c (5,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
49.21/23.81	c (5,0) c | Initial random_seed   | 1868494156 | 1588235398 |  905266009 | 1120868279 |   35268939 |  257931212 | 1219275370 | 1186450200 |
49.21/23.81	c (5,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
49.21/23.81	c (5,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
49.21/23.81	c (5,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
49.21/23.81	c (5,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
49.21/23.81	c (5,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
49.21/23.81	c (5,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
49.21/23.81	c (5,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
49.21/23.81	c (5,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
49.21/23.81	c (5,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
49.21/23.81	c (5,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
49.21/23.81	c (5,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
49.21/23.81	c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
49.21/23.81	c (5,0) 
49.21/23.81	c (5,0) s SATISFIABLE
49.54/23.92	c (5,0) SatSolver.solve End
49.54/23.92	c (5,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
49.54/23.92	c (5,0) Show results Begin
50.07/24.13	c (5,0) cls[0] = 5
50.07/24.13	c (5,0) cls[1] = 1
50.07/24.13	c (5,0) cls[2] = 1
50.07/24.13	c (5,0) cls[3] = 11
50.07/24.13	c (5,0) cls[4] = 1
50.07/24.13	c (5,0) cls[5] = 17
50.07/24.13	c (5,0) cls[6] = 18
50.07/24.13	c (5,0) cls[7] = 1
50.07/24.13	c (5,0) cls[8] = 17
50.07/24.13	c (5,0) cls[9] = 1
50.07/24.13	c (5,0) cls[10] = 3
50.07/24.13	c (5,0) cls[11] = 1
50.07/24.13	c (5,0) cls[12] = 5
50.07/24.13	c (5,0) cls[13] = 1
50.07/24.13	c (5,0) cls[14] = 4
50.07/24.13	c (5,0) cls[15] = 5
50.07/24.13	c (5,0) cls[16] = 1
50.07/24.13	c (5,0) cls[17] = 1
50.07/24.13	c (5,0) cls[18] = 5
50.07/24.13	c (5,0) cls[19] = 17
50.07/24.13	c (5,0) cls[20] = 1
50.07/24.13	c (5,0) cls[21] = 1
50.07/24.13	c (5,0) cls[22] = 11
50.07/24.13	c (5,0) cls[23] = 17
50.07/24.13	c (5,0) cls[24] = 1
50.07/24.13	c (5,0) cls[25] = 1
50.07/24.13	c (5,0) cls[26] = 5
50.07/24.13	c (5,0) cls[27] = 1
50.07/24.13	c (5,0) cls[28] = 1
50.07/24.13	c (5,0) cls[29] = 5
50.07/24.13	c (5,0) cls[30] = 1
50.07/24.13	c (5,0) cls[31] = 17
50.07/24.13	c (5,0) cls[32] = 8
50.07/24.13	c (5,0) cls[33] = 1
50.07/24.13	c (5,0) cls[34] = 7
50.07/24.13	c (5,0) cls[35] = 5
50.07/24.13	c (5,0) cls[36] = 16
50.07/24.13	c (5,0) cls[37] = 4
50.07/24.13	c (5,0) cls[38] = 1
50.07/24.13	c (5,0) cls[39] = 17
50.07/24.13	c (5,0) cls[40] = 5
50.07/24.13	c (5,0) cls[41] = 1
50.07/24.13	c (5,0) cls[42] = 16
50.07/24.13	c (5,0) cls[43] = 13
50.07/24.13	c (5,0) cls[44] = 1
50.07/24.13	c (5,0) cls[45] = 16
50.07/24.13	c (5,0) cls[46] = 1
50.07/24.13	c (5,0) cls[47] = 17
50.07/24.13	c (5,0) cls[48] = 1
50.07/24.13	c (5,0) cls[49] = 9
50.07/24.13	c (5,0) cls[50] = 16
50.07/24.13	c (5,0) cls[51] = 1
50.07/24.13	c (5,0) cls[52] = 1
50.07/24.13	c (5,0) cls[53] = 5
50.07/24.13	c (5,0) cls[54] = 10
50.07/24.13	c (5,0) cls[55] = 1
50.07/24.13	c (5,0) cls[56] = 5
50.07/24.13	c (5,0) cls[57] = 1
50.07/24.13	c (5,0) cls[58] = 7
50.07/24.13	c (5,0) cls[59] = 0
50.07/24.13	c (5,0) cls[60] = 1
50.07/24.13	c (5,0) cls[61] = 10
50.07/24.13	c (5,0) cls[62] = 5
50.07/24.13	c (5,0) cls[63] = 1
50.07/24.13	c (5,0) cls[64] = 1
50.07/24.13	c (5,0) cls[65] = 17
50.07/24.13	c (5,0) cls[66] = 5
50.07/24.13	c (5,0) cls[67] = 1
50.07/24.13	c (5,0) cls[68] = 7
50.07/24.13	c (5,0) cls[69] = 6
50.07/24.13	c (5,0) cls[70] = 16
50.07/24.13	c (5,0) cls[71] = 1
50.07/24.13	c (5,0) cls[72] = 5
50.07/24.13	c (5,0) cls[73] = 1
50.07/24.13	c (5,0) cls[74] = 1
50.07/24.13	c (5,0) cls[75] = 16
50.07/24.13	c (5,0) cls[76] = 6
50.07/24.13	c (5,0) cls[77] = 7
50.07/24.13	c (5,0) cls[78] = 17
50.07/24.13	c (5,0) cls[79] = 1
50.07/24.13	c (5,0) cls[80] = 1
50.07/24.13	c (5,0) cls[81] = 5
50.07/24.13	c (5,0) cls[82] = 2
50.07/24.13	c (5,0) cls[83] = 7
50.07/24.13	c (5,0) cls[84] = 2
50.07/24.13	c (5,0) cls[85] = 1
50.07/24.14	c (5,0) cls[86] = 5
50.07/24.14	c (5,0) cls[87] = 1
50.07/24.14	c (5,0) cls[88] = 1
50.07/24.14	c (5,0) cls[89] = 5
50.07/24.14	c (5,0) cls[90] = 12
50.07/24.14	c (5,0) cls[91] = 1
50.07/24.14	c (5,0) cls[92] = 5
50.07/24.14	c (5,0) cls[93] = 1
50.07/24.14	c (5,0) cls[94] = 1
50.07/24.14	c (5,0) cls[95] = 5
50.07/24.14	c (5,0) cls[96] = 1
50.07/24.14	c (5,0) cls[97] = 2
50.07/24.14	c (5,0) cls[98] = 5
50.07/24.14	c (5,0) cls[99] = 4
50.07/24.14	c (5,0) cls[100] = 1
50.07/24.14	c (5,0) cls[101] = 7
50.07/24.14	c (5,0) cls[102] = 6
50.07/24.14	c (5,0) cls[103] = 1
50.07/24.14	c (5,0) cls[104] = 16
50.07/24.14	c (5,0) cls[105] = 21
50.07/24.14	c (5,0) cls[106] = 7
50.07/24.14	c (5,0) cls[107] = 1
50.07/24.14	c (5,0) cls[108] = 19
50.07/24.14	c (5,0) cls[109] = 16
50.07/24.14	c (5,0) cls[110] = 1
50.07/24.14	c (5,0) cls[111] = 5
50.07/24.14	c (5,0) cls[112] = 1
50.07/24.14	c (5,0) cls[113] = 7
50.07/24.14	c (5,0) cls[114] = 1
50.07/24.14	c (5,0) cls[115] = 1
50.07/24.14	c (5,0) cls[116] = 17
50.07/24.14	c (5,0) cls[117] = 1
50.07/24.14	c (5,0) cls[118] = 23
50.07/24.14	c (5,0) cls[119] = 17
50.07/24.14	c (5,0) cls[120] = 1
50.07/24.14	c (5,0) cls[121] = 5
50.07/24.14	c (5,0) cls[122] = 1
50.07/24.14	c (5,0) cls[123] = 1
50.07/24.14	c (5,0) cls[124] = 17
50.07/24.14	c (5,0) cls[125] = 1
50.07/24.14	c (5,0) cls[126] = 2
50.07/24.14	c (5,0) cls[127] = 5
50.07/24.14	c (5,0) cls[128] = 20
50.07/24.14	c (5,0) cls[129] = 1
50.07/24.14	c (5,0) cls[130] = 5
50.07/24.14	c (5,0) cls[131] = 1
50.07/24.14	c (5,0) cls[132] = 0
50.07/24.14	c (5,0) cls[133] = 8
50.07/24.14	c (5,0) cls[134] = 1
50.07/24.14	c (5,0) cls[135] = 15
50.07/24.14	c (5,0) cls[136] = 1
50.07/24.14	c (5,0) cls[137] = 18
50.07/24.14	c (5,0) cls[138] = 16
50.07/24.14	c (5,0) cls[139] = 4
50.07/24.14	c (5,0) cls[140] = 1
50.07/24.14	c (5,0) cls[141] = 5
50.07/24.14	c (5,0) cls[142] = 2
50.07/24.14	c (5,0) cls[143] = 1
50.07/24.14	c (5,0) cls[144] = 17
50.07/24.14	c (5,0) cls[145] = 5
50.07/24.14	c (5,0) cls[146] = 1
50.07/24.14	c (5,0) cls[147] = 4
50.07/24.14	c (5,0) cls[148] = 7
50.07/24.14	c (5,0) cls[149] = 1
50.07/24.14	c (5,0) cls[150] = 5
50.07/24.14	c (5,0) cls[151] = 1
50.07/24.14	c (5,0) cls[152] = 17
50.07/24.14	c (5,0) cls[153] = 1
50.07/24.14	c (5,0) cls[154] = 1
50.07/24.14	c (5,0) cls[155] = 5
50.07/24.14	c (5,0) cls[156] = 10
50.07/24.14	c (5,0) cls[157] = 1
50.07/24.14	c (5,0) cls[158] = 22
50.07/24.14	c (5,0) cls[159] = 1
50.07/24.14	c (5,0) cls[160] = 4
50.07/24.14	c (5,0) cls[161] = 14
50.07/24.14	c (5,0) cls[162] = 1
50.07/24.14	c (5,0) cls[163] = 1
50.07/24.14	c (5,0) cls[164] = 16
50.07/24.14	c (5,0) cls[165] = 4
50.07/24.14	c (5,0) cls[166] = 5
50.07/24.14	c (5,0) cls[167] = 16
50.07/24.14	c (5,0) cls[168] = 1
50.07/24.14	c (5,0) cls[169] = 23
50.07/24.14	c (5,0) cls[170] = 0
50.07/24.14	c (5,0) cls[171] = 8
50.07/24.14	c (5,0) cls[172] = 1
50.07/24.14	c (5,0) cls[173] = 17
50.07/24.14	c (5,0) cls[174] = 14
50.07/24.14	c (5,0) cls[175] = 1
50.07/24.14	c (5,0) cls[176] = 16
50.07/24.14	c (5,0) cls[177] = 4
50.07/24.14	c (5,0) cls[178] = 5
50.07/24.14	c (5,0) cls[179] = 1
50.07/24.14	c (5,0) cls[180] = 1
50.07/24.14	c (5,0) cls[181] = 5
50.07/24.14	c (5,0) cls[182] = 7
50.07/24.14	c (5,0) cls[183] = 1
50.07/24.14	c (5,0) cls[184] = 5
50.07/24.14	c (5,0) cls[185] = 1
50.07/24.14	c (5,0) cls[186] = 1
50.07/24.14	c (5,0) cls[187] = 5
50.07/24.14	c (5,0) cls[188] = 1
50.07/24.14	c (5,0) cls[189] = 1
50.07/24.14	c (5,0) cls[190] = 7
50.07/24.14	c (5,0) cls[191] = 1
50.07/24.14	c (5,0) cls[192] = 5
50.07/24.14	c (5,0) cls[193] = 1
50.07/24.14	c (5,0) cls[194] = 10
50.07/24.14	c (5,0) cls[195] = 14
50.07/24.14	c (5,0) cls[196] = 1
50.07/24.14	c (5,0) cls[197] = 1
50.07/24.14	c (5,0) cls[198] = 5
50.07/24.14	c (5,0) cls[199] = 1
50.07/24.14	c (5,0) opt[0][0] = 0
50.07/24.14	c (5,0) opt[0][1] = 0
50.07/24.14	c (5,0) opt[0][2] = 1
50.07/24.14	c (5,0) opt[0][3] = 0
50.07/24.14	c (5,0) opt[0][4] = 0
50.07/24.14	c (5,0) opt[1][0] = 0
50.07/24.14	c (5,0) opt[1][1] = 1
50.07/24.14	c (5,0) opt[1][2] = 0
50.07/24.14	c (5,0) opt[1][3] = 0
50.07/24.14	c (5,0) opt[1][4] = 0
50.07/24.14	c (5,0) opt[2][0] = 0
50.07/24.14	c (5,0) opt[2][1] = 1
50.07/24.14	c (5,0) opt[2][2] = 0
50.07/24.14	c (5,0) opt[2][3] = 0
50.07/24.14	c (5,0) opt[2][4] = 0
50.07/24.14	c (5,0) opt[3][0] = 0
50.07/24.14	c (5,0) opt[3][1] = 0
50.07/24.14	c (5,0) opt[3][2] = 1
50.07/24.14	c (5,0) opt[3][3] = 0
50.07/24.14	c (5,0) opt[3][4] = 1
50.07/24.14	c (5,0) opt[4][0] = 0
50.07/24.14	c (5,0) opt[4][1] = 1
50.07/24.14	c (5,0) opt[4][2] = 0
50.07/24.14	c (5,0) opt[4][3] = 0
50.07/24.14	c (5,0) opt[4][4] = 0
50.07/24.14	c (5,0) opt[5][0] = 1
50.07/24.14	c (5,0) opt[5][1] = 0
50.07/24.14	c (5,0) opt[5][2] = 0
50.07/24.14	c (5,0) opt[5][3] = 0
50.07/24.14	c (5,0) opt[5][4] = 0
50.07/24.14	c (5,0) opt[6][0] = 0
50.07/24.14	c (5,0) opt[6][1] = 1
50.07/24.14	c (5,0) opt[6][2] = 1
50.07/24.14	c (5,0) opt[6][3] = 1
50.07/24.14	c (5,0) opt[6][4] = 0
50.07/24.14	c (5,0) opt[7][0] = 0
50.07/24.14	c (5,0) opt[7][1] = 1
50.07/24.14	c (5,0) opt[7][2] = 0
50.07/24.14	c (5,0) opt[7][3] = 0
50.07/24.14	c (5,0) opt[7][4] = 0
50.07/24.14	c (5,0) opt[8][0] = 1
50.07/24.14	c (5,0) opt[8][1] = 0
50.07/24.14	c (5,0) opt[8][2] = 0
50.07/24.14	c (5,0) opt[8][3] = 0
50.07/24.14	c (5,0) opt[8][4] = 0
50.07/24.14	c (5,0) opt[9][0] = 0
50.07/24.14	c (5,0) opt[9][1] = 1
50.07/24.14	c (5,0) opt[9][2] = 0
50.07/24.14	c (5,0) opt[9][3] = 0
50.07/24.14	c (5,0) opt[9][4] = 0
50.07/24.14	c (5,0) opt[10][0] = 1
50.07/24.14	c (5,0) opt[10][1] = 0
50.07/24.14	c (5,0) opt[10][2] = 0
50.07/24.14	c (5,0) opt[10][3] = 1
50.07/24.14	c (5,0) opt[10][4] = 1
50.07/24.14	c (5,0) opt[11][0] = 0
50.07/24.14	c (5,0) opt[11][1] = 1
50.07/24.14	c (5,0) opt[11][2] = 0
50.07/24.14	c (5,0) opt[11][3] = 0
50.07/24.14	c (5,0) opt[11][4] = 0
50.07/24.14	c (5,0) opt[12][0] = 0
50.07/24.14	c (5,0) opt[12][1] = 0
50.07/24.14	c (5,0) opt[12][2] = 1
50.07/24.14	c (5,0) opt[12][3] = 0
50.07/24.14	c (5,0) opt[12][4] = 0
50.07/24.14	c (5,0) opt[13][0] = 0
50.07/24.14	c (5,0) opt[13][1] = 1
50.07/24.14	c (5,0) opt[13][2] = 0
50.07/24.14	c (5,0) opt[13][3] = 0
50.07/24.14	c (5,0) opt[13][4] = 0
50.07/24.14	c (5,0) opt[14][0] = 1
50.07/24.14	c (5,0) opt[14][1] = 1
50.07/24.14	c (5,0) opt[14][2] = 0
50.07/24.14	c (5,0) opt[14][3] = 0
50.07/24.14	c (5,0) opt[14][4] = 0
50.07/24.14	c (5,0) opt[15][0] = 0
50.07/24.14	c (5,0) opt[15][1] = 0
50.07/24.14	c (5,0) opt[15][2] = 1
50.07/24.14	c (5,0) opt[15][3] = 0
50.07/24.14	c (5,0) opt[15][4] = 0
50.07/24.14	c (5,0) opt[16][0] = 0
50.07/24.14	c (5,0) opt[16][1] = 1
50.07/24.14	c (5,0) opt[16][2] = 0
50.07/24.14	c (5,0) opt[16][3] = 0
50.07/24.14	c (5,0) opt[16][4] = 0
50.07/24.14	c (5,0) opt[17][0] = 0
50.07/24.14	c (5,0) opt[17][1] = 1
50.07/24.14	c (5,0) opt[17][2] = 0
50.07/24.14	c (5,0) opt[17][3] = 0
50.07/24.14	c (5,0) opt[17][4] = 0
50.07/24.14	c (5,0) opt[18][0] = 0
50.07/24.14	c (5,0) opt[18][1] = 0
50.07/24.14	c (5,0) opt[18][2] = 1
50.07/24.14	c (5,0) opt[18][3] = 0
50.07/24.14	c (5,0) opt[18][4] = 0
50.07/24.14	c (5,0) opt[19][0] = 1
50.07/24.14	c (5,0) opt[19][1] = 0
50.07/24.14	c (5,0) opt[19][2] = 0
50.07/24.14	c (5,0) opt[19][3] = 0
50.07/24.14	c (5,0) opt[19][4] = 0
50.07/24.14	c (5,0) opt[20][0] = 0
50.07/24.14	c (5,0) opt[20][1] = 1
50.07/24.14	c (5,0) opt[20][2] = 0
50.07/24.14	c (5,0) opt[20][3] = 0
50.07/24.14	c (5,0) opt[20][4] = 0
50.07/24.14	c (5,0) opt[21][0] = 0
50.07/24.14	c (5,0) opt[21][1] = 1
50.07/24.14	c (5,0) opt[21][2] = 0
50.07/24.14	c (5,0) opt[21][3] = 0
50.07/24.14	c (5,0) opt[21][4] = 0
50.07/24.14	c (5,0) opt[22][0] = 0
50.07/24.14	c (5,0) opt[22][1] = 0
50.07/24.14	c (5,0) opt[22][2] = 1
50.07/24.14	c (5,0) opt[22][3] = 0
50.07/24.14	c (5,0) opt[22][4] = 1
50.07/24.14	c (5,0) opt[23][0] = 1
50.07/24.14	c (5,0) opt[23][1] = 0
50.07/24.14	c (5,0) opt[23][2] = 0
50.07/24.14	c (5,0) opt[23][3] = 0
50.07/24.14	c (5,0) opt[23][4] = 0
50.07/24.14	c (5,0) opt[24][0] = 0
50.07/24.14	c (5,0) opt[24][1] = 1
50.07/24.14	c (5,0) opt[24][2] = 0
50.07/24.14	c (5,0) opt[24][3] = 0
50.07/24.14	c (5,0) opt[24][4] = 0
50.07/24.14	c (5,0) opt[25][0] = 0
50.07/24.14	c (5,0) opt[25][1] = 1
50.07/24.14	c (5,0) opt[25][2] = 0
50.07/24.14	c (5,0) opt[25][3] = 0
50.07/24.14	c (5,0) opt[25][4] = 0
50.07/24.14	c (5,0) opt[26][0] = 0
50.07/24.14	c (5,0) opt[26][1] = 0
50.07/24.14	c (5,0) opt[26][2] = 1
50.07/24.14	c (5,0) opt[26][3] = 0
50.07/24.14	c (5,0) opt[26][4] = 0
50.07/24.14	c (5,0) opt[27][0] = 0
50.07/24.14	c (5,0) opt[27][1] = 1
50.07/24.14	c (5,0) opt[27][2] = 0
50.07/24.14	c (5,0) opt[27][3] = 0
50.07/24.14	c (5,0) opt[27][4] = 0
50.07/24.14	c (5,0) opt[28][0] = 0
50.07/24.14	c (5,0) opt[28][1] = 1
50.07/24.14	c (5,0) opt[28][2] = 0
50.07/24.14	c (5,0) opt[28][3] = 0
50.07/24.14	c (5,0) opt[28][4] = 0
50.07/24.14	c (5,0) opt[29][0] = 0
50.07/24.14	c (5,0) opt[29][1] = 0
50.07/24.14	c (5,0) opt[29][2] = 1
50.07/24.14	c (5,0) opt[29][3] = 0
50.07/24.14	c (5,0) opt[29][4] = 0
50.07/24.14	c (5,0) opt[30][0] = 0
50.07/24.14	c (5,0) opt[30][1] = 1
50.07/24.14	c (5,0) opt[30][2] = 0
50.07/24.14	c (5,0) opt[30][3] = 0
50.07/24.14	c (5,0) opt[30][4] = 0
50.07/24.14	c (5,0) opt[31][0] = 1
50.07/24.14	c (5,0) opt[31][1] = 0
50.07/24.14	c (5,0) opt[31][2] = 0
50.07/24.14	c (5,0) opt[31][3] = 0
50.07/24.14	c (5,0) opt[31][4] = 0
50.07/24.14	c (5,0) opt[32][0] = 0
50.07/24.14	c (5,0) opt[32][1] = 1
50.07/24.14	c (5,0) opt[32][2] = 1
50.07/24.14	c (5,0) opt[32][3] = 0
50.07/24.14	c (5,0) opt[32][4] = 0
50.07/24.14	c (5,0) opt[33][0] = 0
50.07/24.14	c (5,0) opt[33][1] = 1
50.07/24.14	c (5,0) opt[33][2] = 0
50.07/24.14	c (5,0) opt[33][3] = 0
50.07/24.14	c (5,0) opt[33][4] = 0
50.07/24.14	c (5,0) opt[34][0] = 0
50.07/24.14	c (5,0) opt[34][1] = 0
50.07/24.14	c (5,0) opt[34][2] = 0
50.07/24.14	c (5,0) opt[34][3] = 0
50.07/24.14	c (5,0) opt[34][4] = 1
50.07/24.14	c (5,0) opt[35][0] = 0
50.07/24.14	c (5,0) opt[35][1] = 0
50.07/24.14	c (5,0) opt[35][2] = 1
50.07/24.14	c (5,0) opt[35][3] = 0
50.07/24.14	c (5,0) opt[35][4] = 0
50.07/24.14	c (5,0) opt[36][0] = 0
50.07/24.14	c (5,0) opt[36][1] = 0
50.07/24.14	c (5,0) opt[36][2] = 0
50.07/24.14	c (5,0) opt[36][3] = 1
50.07/24.14	c (5,0) opt[36][4] = 0
50.07/24.14	c (5,0) opt[37][0] = 1
50.07/24.14	c (5,0) opt[37][1] = 1
50.07/24.14	c (5,0) opt[37][2] = 0
50.07/24.14	c (5,0) opt[37][3] = 0
50.07/24.14	c (5,0) opt[37][4] = 0
50.07/24.14	c (5,0) opt[38][0] = 0
50.07/24.14	c (5,0) opt[38][1] = 1
50.07/24.14	c (5,0) opt[38][2] = 0
50.07/24.14	c (5,0) opt[38][3] = 0
50.07/24.14	c (5,0) opt[38][4] = 0
50.07/24.14	c (5,0) opt[39][0] = 1
50.07/24.14	c (5,0) opt[39][1] = 0
50.07/24.14	c (5,0) opt[39][2] = 0
50.07/24.14	c (5,0) opt[39][3] = 0
50.07/24.14	c (5,0) opt[39][4] = 0
50.07/24.14	c (5,0) opt[40][0] = 0
50.07/24.14	c (5,0) opt[40][1] = 0
50.07/24.14	c (5,0) opt[40][2] = 1
50.07/24.14	c (5,0) opt[40][3] = 0
50.07/24.14	c (5,0) opt[40][4] = 0
50.07/24.14	c (5,0) opt[41][0] = 0
50.07/24.14	c (5,0) opt[41][1] = 1
50.07/24.14	c (5,0) opt[41][2] = 0
50.07/24.14	c (5,0) opt[41][3] = 0
50.07/24.14	c (5,0) opt[41][4] = 0
50.07/24.14	c (5,0) opt[42][0] = 0
50.07/24.14	c (5,0) opt[42][1] = 0
50.07/24.14	c (5,0) opt[42][2] = 0
50.07/24.14	c (5,0) opt[42][3] = 1
50.07/24.14	c (5,0) opt[42][4] = 0
50.07/24.14	c (5,0) opt[43][0] = 1
50.07/24.14	c (5,0) opt[43][1] = 1
50.07/24.14	c (5,0) opt[43][2] = 1
50.07/24.14	c (5,0) opt[43][3] = 0
50.07/24.14	c (5,0) opt[43][4] = 1
50.07/24.14	c (5,0) opt[44][0] = 0
50.07/24.14	c (5,0) opt[44][1] = 1
50.07/24.14	c (5,0) opt[44][2] = 0
50.07/24.14	c (5,0) opt[44][3] = 0
50.07/24.14	c (5,0) opt[44][4] = 0
50.07/24.14	c (5,0) opt[45][0] = 0
50.07/24.14	c (5,0) opt[45][1] = 0
50.07/24.14	c (5,0) opt[45][2] = 0
50.07/24.14	c (5,0) opt[45][3] = 1
50.07/24.14	c (5,0) opt[45][4] = 0
50.07/24.14	c (5,0) opt[46][0] = 0
50.07/24.14	c (5,0) opt[46][1] = 1
50.07/24.14	c (5,0) opt[46][2] = 0
50.07/24.14	c (5,0) opt[46][3] = 0
50.07/24.14	c (5,0) opt[46][4] = 0
50.07/24.14	c (5,0) opt[47][0] = 1
50.07/24.14	c (5,0) opt[47][1] = 0
50.07/24.14	c (5,0) opt[47][2] = 0
50.07/24.14	c (5,0) opt[47][3] = 0
50.07/24.14	c (5,0) opt[47][4] = 0
50.07/24.14	c (5,0) opt[48][0] = 0
50.07/24.14	c (5,0) opt[48][1] = 1
50.07/24.14	c (5,0) opt[48][2] = 0
50.07/24.14	c (5,0) opt[48][3] = 0
50.07/24.14	c (5,0) opt[48][4] = 0
50.07/24.14	c (5,0) opt[49][0] = 1
50.07/24.14	c (5,0) opt[49][1] = 0
50.07/24.14	c (5,0) opt[49][2] = 1
50.07/24.14	c (5,0) opt[49][3] = 0
50.07/24.14	c (5,0) opt[49][4] = 1
50.07/24.14	c (5,0) opt[50][0] = 0
50.07/24.14	c (5,0) opt[50][1] = 0
50.07/24.14	c (5,0) opt[50][2] = 0
50.07/24.14	c (5,0) opt[50][3] = 1
50.07/24.14	c (5,0) opt[50][4] = 0
50.07/24.14	c (5,0) opt[51][0] = 0
50.07/24.14	c (5,0) opt[51][1] = 1
50.07/24.14	c (5,0) opt[51][2] = 0
50.07/24.14	c (5,0) opt[51][3] = 0
50.07/24.14	c (5,0) opt[51][4] = 0
50.07/24.14	c (5,0) opt[52][0] = 0
50.07/24.14	c (5,0) opt[52][1] = 1
50.07/24.14	c (5,0) opt[52][2] = 0
50.07/24.14	c (5,0) opt[52][3] = 0
50.07/24.14	c (5,0) opt[52][4] = 0
50.07/24.14	c (5,0) opt[53][0] = 0
50.07/24.14	c (5,0) opt[53][1] = 0
50.07/24.14	c (5,0) opt[53][2] = 1
50.07/24.14	c (5,0) opt[53][3] = 0
50.07/24.14	c (5,0) opt[53][4] = 0
50.07/24.14	c (5,0) opt[54][0] = 1
50.07/24.14	c (5,0) opt[54][1] = 1
50.07/24.14	c (5,0) opt[54][2] = 0
50.07/24.14	c (5,0) opt[54][3] = 1
50.07/24.14	c (5,0) opt[54][4] = 0
50.07/24.14	c (5,0) opt[55][0] = 0
50.07/24.14	c (5,0) opt[55][1] = 1
50.07/24.14	c (5,0) opt[55][2] = 0
50.07/24.14	c (5,0) opt[55][3] = 0
50.07/24.14	c (5,0) opt[55][4] = 0
50.07/24.14	c (5,0) opt[56][0] = 0
50.07/24.14	c (5,0) opt[56][1] = 0
50.07/24.14	c (5,0) opt[56][2] = 1
50.07/24.14	c (5,0) opt[56][3] = 0
50.07/24.14	c (5,0) opt[56][4] = 0
50.07/24.14	c (5,0) opt[57][0] = 0
50.07/24.14	c (5,0) opt[57][1] = 1
50.07/24.14	c (5,0) opt[57][2] = 0
50.07/24.14	c (5,0) opt[57][3] = 0
50.07/24.14	c (5,0) opt[57][4] = 0
50.07/24.14	c (5,0) opt[58][0] = 0
50.07/24.14	c (5,0) opt[58][1] = 0
50.07/24.14	c (5,0) opt[58][2] = 0
50.07/24.14	c (5,0) opt[58][3] = 0
50.07/24.14	c (5,0) opt[58][4] = 1
50.07/24.14	c (5,0) opt[59][0] = 1
50.07/24.14	c (5,0) opt[59][1] = 0
50.07/24.14	c (5,0) opt[59][2] = 0
50.07/24.14	c (5,0) opt[59][3] = 1
50.07/24.14	c (5,0) opt[59][4] = 0
50.07/24.14	c (5,0) opt[60][0] = 0
50.07/24.14	c (5,0) opt[60][1] = 1
50.07/24.14	c (5,0) opt[60][2] = 0
50.07/24.14	c (5,0) opt[60][3] = 0
50.07/24.14	c (5,0) opt[60][4] = 0
50.07/24.14	c (5,0) opt[61][0] = 1
50.07/24.14	c (5,0) opt[61][1] = 1
50.07/24.14	c (5,0) opt[61][2] = 0
50.07/24.14	c (5,0) opt[61][3] = 1
50.07/24.14	c (5,0) opt[61][4] = 0
50.07/24.14	c (5,0) opt[62][0] = 0
50.07/24.14	c (5,0) opt[62][1] = 0
50.07/24.14	c (5,0) opt[62][2] = 1
50.07/24.14	c (5,0) opt[62][3] = 0
50.07/24.14	c (5,0) opt[62][4] = 0
50.07/24.14	c (5,0) opt[63][0] = 0
50.07/24.14	c (5,0) opt[63][1] = 1
50.07/24.14	c (5,0) opt[63][2] = 0
50.07/24.14	c (5,0) opt[63][3] = 0
50.07/24.14	c (5,0) opt[63][4] = 0
50.07/24.14	c (5,0) opt[64][0] = 0
50.07/24.14	c (5,0) opt[64][1] = 1
50.07/24.14	c (5,0) opt[64][2] = 0
50.07/24.14	c (5,0) opt[64][3] = 0
50.07/24.14	c (5,0) opt[64][4] = 0
50.07/24.14	c (5,0) opt[65][0] = 1
50.07/24.14	c (5,0) opt[65][1] = 0
50.07/24.14	c (5,0) opt[65][2] = 0
50.07/24.14	c (5,0) opt[65][3] = 0
50.07/24.14	c (5,0) opt[65][4] = 0
50.07/24.14	c (5,0) opt[66][0] = 0
50.07/24.14	c (5,0) opt[66][1] = 0
50.07/24.14	c (5,0) opt[66][2] = 1
50.07/24.14	c (5,0) opt[66][3] = 0
50.07/24.14	c (5,0) opt[66][4] = 0
50.07/24.14	c (5,0) opt[67][0] = 0
50.07/24.14	c (5,0) opt[67][1] = 1
50.07/24.14	c (5,0) opt[67][2] = 0
50.07/24.14	c (5,0) opt[67][3] = 0
50.07/24.14	c (5,0) opt[67][4] = 0
50.07/24.14	c (5,0) opt[68][0] = 0
50.07/24.14	c (5,0) opt[68][1] = 0
50.07/24.14	c (5,0) opt[68][2] = 0
50.07/24.14	c (5,0) opt[68][3] = 0
50.07/24.14	c (5,0) opt[68][4] = 1
50.07/24.14	c (5,0) opt[69][0] = 1
50.07/24.14	c (5,0) opt[69][1] = 1
50.07/24.14	c (5,0) opt[69][2] = 1
50.07/24.14	c (5,0) opt[69][3] = 1
50.07/24.14	c (5,0) opt[69][4] = 0
50.07/24.14	c (5,0) opt[70][0] = 0
50.07/24.14	c (5,0) opt[70][1] = 0
50.07/24.14	c (5,0) opt[70][2] = 0
50.07/24.14	c (5,0) opt[70][3] = 1
50.07/24.14	c (5,0) opt[70][4] = 0
50.07/24.14	c (5,0) opt[71][0] = 0
50.07/24.14	c (5,0) opt[71][1] = 1
50.07/24.14	c (5,0) opt[71][2] = 0
50.07/24.14	c (5,0) opt[71][3] = 0
50.07/24.14	c (5,0) opt[71][4] = 0
50.07/24.14	c (5,0) opt[72][0] = 0
50.07/24.14	c (5,0) opt[72][1] = 0
50.07/24.14	c (5,0) opt[72][2] = 1
50.07/24.14	c (5,0) opt[72][3] = 0
50.07/24.14	c (5,0) opt[72][4] = 0
50.07/24.14	c (5,0) opt[73][0] = 0
50.07/24.14	c (5,0) opt[73][1] = 1
50.07/24.14	c (5,0) opt[73][2] = 0
50.07/24.14	c (5,0) opt[73][3] = 0
50.07/24.14	c (5,0) opt[73][4] = 0
50.07/24.14	c (5,0) opt[74][0] = 0
50.07/24.14	c (5,0) opt[74][1] = 1
50.07/24.14	c (5,0) opt[74][2] = 0
50.07/24.14	c (5,0) opt[74][3] = 0
50.07/24.14	c (5,0) opt[74][4] = 0
50.07/24.14	c (5,0) opt[75][0] = 0
50.07/24.14	c (5,0) opt[75][1] = 0
50.07/24.14	c (5,0) opt[75][2] = 0
50.07/24.14	c (5,0) opt[75][3] = 1
50.07/24.14	c (5,0) opt[75][4] = 0
50.07/24.14	c (5,0) opt[76][0] = 1
50.07/24.14	c (5,0) opt[76][1] = 1
50.07/24.14	c (5,0) opt[76][2] = 1
50.07/24.14	c (5,0) opt[76][3] = 1
50.07/24.14	c (5,0) opt[76][4] = 0
50.07/24.14	c (5,0) opt[77][0] = 0
50.07/24.14	c (5,0) opt[77][1] = 0
50.07/24.14	c (5,0) opt[77][2] = 0
50.07/24.14	c (5,0) opt[77][3] = 0
50.07/24.14	c (5,0) opt[77][4] = 1
50.07/24.14	c (5,0) opt[78][0] = 1
50.07/24.14	c (5,0) opt[78][1] = 0
50.07/24.14	c (5,0) opt[78][2] = 0
50.07/24.14	c (5,0) opt[78][3] = 0
50.07/24.14	c (5,0) opt[78][4] = 0
50.07/24.14	c (5,0) opt[79][0] = 0
50.07/24.14	c (5,0) opt[79][1] = 1
50.07/24.14	c (5,0) opt[79][2] = 0
50.07/24.14	c (5,0) opt[79][3] = 0
50.07/24.14	c (5,0) opt[79][4] = 0
50.07/24.14	c (5,0) opt[80][0] = 0
50.07/24.14	c (5,0) opt[80][1] = 1
50.07/24.14	c (5,0) opt[80][2] = 0
50.07/24.14	c (5,0) opt[80][3] = 0
50.07/24.14	c (5,0) opt[80][4] = 0
50.07/24.14	c (5,0) opt[81][0] = 0
50.07/24.14	c (5,0) opt[81][1] = 0
50.07/24.14	c (5,0) opt[81][2] = 1
50.07/24.14	c (5,0) opt[81][3] = 0
50.07/24.14	c (5,0) opt[81][4] = 0
50.07/24.14	c (5,0) opt[82][0] = 0
50.07/24.14	c (5,0) opt[82][1] = 1
50.07/24.14	c (5,0) opt[82][2] = 0
50.07/24.14	c (5,0) opt[82][3] = 1
50.07/24.14	c (5,0) opt[82][4] = 0
50.07/24.14	c (5,0) opt[83][0] = 0
50.07/24.14	c (5,0) opt[83][1] = 0
50.07/24.14	c (5,0) opt[83][2] = 0
50.07/24.14	c (5,0) opt[83][3] = 0
50.07/24.14	c (5,0) opt[83][4] = 1
50.07/24.14	c (5,0) opt[84][0] = 0
50.07/24.14	c (5,0) opt[84][1] = 1
50.07/24.14	c (5,0) opt[84][2] = 0
50.07/24.14	c (5,0) opt[84][3] = 1
50.07/24.14	c (5,0) opt[84][4] = 0
50.07/24.14	c (5,0) opt[85][0] = 0
50.07/24.14	c (5,0) opt[85][1] = 1
50.07/24.14	c (5,0) opt[85][2] = 0
50.07/24.14	c (5,0) opt[85][3] = 0
50.07/24.14	c (5,0) opt[85][4] = 0
50.07/24.14	c (5,0) opt[86][0] = 0
50.07/24.14	c (5,0) opt[86][1] = 0
50.07/24.14	c (5,0) opt[86][2] = 1
50.07/24.14	c (5,0) opt[86][3] = 0
50.07/24.14	c (5,0) opt[86][4] = 0
50.07/24.14	c (5,0) opt[87][0] = 0
50.07/24.14	c (5,0) opt[87][1] = 1
50.07/24.14	c (5,0) opt[87][2] = 0
50.07/24.14	c (5,0) opt[87][3] = 0
50.07/24.14	c (5,0) opt[87][4] = 0
50.07/24.14	c (5,0) opt[88][0] = 0
50.07/24.14	c (5,0) opt[88][1] = 1
50.07/24.14	c (5,0) opt[88][2] = 0
50.07/24.14	c (5,0) opt[88][3] = 0
50.07/24.14	c (5,0) opt[88][4] = 0
50.07/24.14	c (5,0) opt[89][0] = 0
50.07/24.14	c (5,0) opt[89][1] = 0
50.07/24.14	c (5,0) opt[89][2] = 1
50.07/24.14	c (5,0) opt[89][3] = 0
50.07/24.14	c (5,0) opt[89][4] = 0
50.07/24.14	c (5,0) opt[90][0] = 1
50.07/24.14	c (5,0) opt[90][1] = 1
50.07/24.14	c (5,0) opt[90][2] = 0
50.07/24.14	c (5,0) opt[90][3] = 0
50.07/24.14	c (5,0) opt[90][4] = 1
50.07/24.14	c (5,0) opt[91][0] = 0
50.07/24.14	c (5,0) opt[91][1] = 1
50.07/24.14	c (5,0) opt[91][2] = 0
50.07/24.14	c (5,0) opt[91][3] = 0
50.07/24.14	c (5,0) opt[91][4] = 0
50.07/24.14	c (5,0) opt[92][0] = 0
50.07/24.14	c (5,0) opt[92][1] = 0
50.07/24.14	c (5,0) opt[92][2] = 1
50.07/24.14	c (5,0) opt[92][3] = 0
50.07/24.14	c (5,0) opt[92][4] = 0
50.07/24.14	c (5,0) opt[93][0] = 0
50.07/24.14	c (5,0) opt[93][1] = 1
50.07/24.14	c (5,0) opt[93][2] = 0
50.07/24.14	c (5,0) opt[93][3] = 0
50.07/24.14	c (5,0) opt[93][4] = 0
50.07/24.14	c (5,0) opt[94][0] = 0
50.07/24.14	c (5,0) opt[94][1] = 1
50.07/24.14	c (5,0) opt[94][2] = 0
50.07/24.14	c (5,0) opt[94][3] = 0
50.07/24.14	c (5,0) opt[94][4] = 0
50.07/24.14	c (5,0) opt[95][0] = 0
50.07/24.14	c (5,0) opt[95][1] = 0
50.07/24.14	c (5,0) opt[95][2] = 1
50.07/24.14	c (5,0) opt[95][3] = 0
50.07/24.14	c (5,0) opt[95][4] = 0
50.07/24.14	c (5,0) opt[96][0] = 0
50.07/24.14	c (5,0) opt[96][1] = 1
50.07/24.14	c (5,0) opt[96][2] = 0
50.07/24.14	c (5,0) opt[96][3] = 0
50.07/24.14	c (5,0) opt[96][4] = 0
50.07/24.14	c (5,0) opt[97][0] = 0
50.07/24.14	c (5,0) opt[97][1] = 1
50.07/24.14	c (5,0) opt[97][2] = 0
50.07/24.14	c (5,0) opt[97][3] = 1
50.07/24.14	c (5,0) opt[97][4] = 0
50.07/24.14	c (5,0) opt[98][0] = 0
50.07/24.14	c (5,0) opt[98][1] = 0
50.07/24.14	c (5,0) opt[98][2] = 1
50.07/24.14	c (5,0) opt[98][3] = 0
50.07/24.14	c (5,0) opt[98][4] = 0
50.07/24.14	c (5,0) opt[99][0] = 1
50.07/24.14	c (5,0) opt[99][1] = 1
50.07/24.14	c (5,0) opt[99][2] = 0
50.07/24.14	c (5,0) opt[99][3] = 0
50.07/24.14	c (5,0) opt[99][4] = 0
50.07/24.14	c (5,0) opt[100][0] = 0
50.07/24.14	c (5,0) opt[100][1] = 1
50.07/24.14	c (5,0) opt[100][2] = 0
50.07/24.14	c (5,0) opt[100][3] = 0
50.07/24.14	c (5,0) opt[100][4] = 0
50.07/24.14	c (5,0) opt[101][0] = 0
50.07/24.14	c (5,0) opt[101][1] = 0
50.07/24.14	c (5,0) opt[101][2] = 0
50.07/24.14	c (5,0) opt[101][3] = 0
50.07/24.14	c (5,0) opt[101][4] = 1
50.07/24.14	c (5,0) opt[102][0] = 1
50.07/24.14	c (5,0) opt[102][1] = 1
50.07/24.14	c (5,0) opt[102][2] = 1
50.07/24.14	c (5,0) opt[102][3] = 1
50.07/24.14	c (5,0) opt[102][4] = 0
50.07/24.14	c (5,0) opt[103][0] = 0
50.07/24.14	c (5,0) opt[103][1] = 1
50.07/24.14	c (5,0) opt[103][2] = 0
50.07/24.14	c (5,0) opt[103][3] = 0
50.07/24.14	c (5,0) opt[103][4] = 0
50.07/24.14	c (5,0) opt[104][0] = 0
50.07/24.14	c (5,0) opt[104][1] = 0
50.07/24.14	c (5,0) opt[104][2] = 0
50.07/24.14	c (5,0) opt[104][3] = 1
50.07/24.14	c (5,0) opt[104][4] = 0
50.07/24.14	c (5,0) opt[105][0] = 1
50.07/24.14	c (5,0) opt[105][1] = 1
50.07/24.14	c (5,0) opt[105][2] = 1
50.07/24.14	c (5,0) opt[105][3] = 0
50.07/24.14	c (5,0) opt[105][4] = 0
50.07/24.14	c (5,0) opt[106][0] = 0
50.07/24.14	c (5,0) opt[106][1] = 0
50.07/24.14	c (5,0) opt[106][2] = 0
50.07/24.14	c (5,0) opt[106][3] = 0
50.07/24.14	c (5,0) opt[106][4] = 1
50.07/24.14	c (5,0) opt[107][0] = 0
50.07/24.14	c (5,0) opt[107][1] = 1
50.07/24.14	c (5,0) opt[107][2] = 0
50.07/24.14	c (5,0) opt[107][3] = 0
50.07/24.14	c (5,0) opt[107][4] = 0
50.07/24.14	c (5,0) opt[108][0] = 1
50.07/24.14	c (5,0) opt[108][1] = 0
50.07/24.14	c (5,0) opt[108][2] = 1
50.07/24.14	c (5,0) opt[108][3] = 1
50.07/24.14	c (5,0) opt[108][4] = 0
50.07/24.14	c (5,0) opt[109][0] = 0
50.07/24.14	c (5,0) opt[109][1] = 0
50.07/24.14	c (5,0) opt[109][2] = 0
50.07/24.14	c (5,0) opt[109][3] = 1
50.07/24.14	c (5,0) opt[109][4] = 0
50.07/24.14	c (5,0) opt[110][0] = 0
50.07/24.14	c (5,0) opt[110][1] = 1
50.07/24.14	c (5,0) opt[110][2] = 0
50.07/24.14	c (5,0) opt[110][3] = 0
50.07/24.14	c (5,0) opt[110][4] = 0
50.07/24.14	c (5,0) opt[111][0] = 0
50.07/24.14	c (5,0) opt[111][1] = 0
50.07/24.14	c (5,0) opt[111][2] = 1
50.07/24.14	c (5,0) opt[111][3] = 0
50.07/24.14	c (5,0) opt[111][4] = 0
50.07/24.14	c (5,0) opt[112][0] = 0
50.07/24.14	c (5,0) opt[112][1] = 1
50.07/24.14	c (5,0) opt[112][2] = 0
50.07/24.14	c (5,0) opt[112][3] = 0
50.07/24.14	c (5,0) opt[112][4] = 0
50.07/24.14	c (5,0) opt[113][0] = 0
50.07/24.14	c (5,0) opt[113][1] = 0
50.07/24.14	c (5,0) opt[113][2] = 0
50.07/24.14	c (5,0) opt[113][3] = 0
50.07/24.14	c (5,0) opt[113][4] = 1
50.07/24.14	c (5,0) opt[114][0] = 0
50.07/24.14	c (5,0) opt[114][1] = 1
50.07/24.14	c (5,0) opt[114][2] = 0
50.07/24.14	c (5,0) opt[114][3] = 0
50.07/24.14	c (5,0) opt[114][4] = 0
50.07/24.14	c (5,0) opt[115][0] = 0
50.07/24.14	c (5,0) opt[115][1] = 1
50.07/24.14	c (5,0) opt[115][2] = 0
50.07/24.14	c (5,0) opt[115][3] = 0
50.07/24.14	c (5,0) opt[115][4] = 0
50.07/24.14	c (5,0) opt[116][0] = 1
50.07/24.14	c (5,0) opt[116][1] = 0
50.07/24.14	c (5,0) opt[116][2] = 0
50.07/24.14	c (5,0) opt[116][3] = 0
50.07/24.14	c (5,0) opt[116][4] = 0
50.07/24.14	c (5,0) opt[117][0] = 0
50.07/24.14	c (5,0) opt[117][1] = 1
50.07/24.14	c (5,0) opt[117][2] = 0
50.07/24.14	c (5,0) opt[117][3] = 0
50.07/24.14	c (5,0) opt[117][4] = 0
50.07/24.14	c (5,0) opt[118][0] = 0
50.07/24.14	c (5,0) opt[118][1] = 1
50.07/24.14	c (5,0) opt[118][2] = 0
50.07/24.14	c (5,0) opt[118][3] = 0
50.07/24.14	c (5,0) opt[118][4] = 1
50.07/24.14	c (5,0) opt[119][0] = 1
50.07/24.14	c (5,0) opt[119][1] = 0
50.07/24.14	c (5,0) opt[119][2] = 0
50.07/24.14	c (5,0) opt[119][3] = 0
50.07/24.14	c (5,0) opt[119][4] = 0
50.07/24.14	c (5,0) opt[120][0] = 0
50.07/24.14	c (5,0) opt[120][1] = 1
50.07/24.14	c (5,0) opt[120][2] = 0
50.07/24.14	c (5,0) opt[120][3] = 0
50.07/24.14	c (5,0) opt[120][4] = 0
50.07/24.14	c (5,0) opt[121][0] = 0
50.07/24.14	c (5,0) opt[121][1] = 0
50.07/24.14	c (5,0) opt[121][2] = 1
50.07/24.14	c (5,0) opt[121][3] = 0
50.07/24.14	c (5,0) opt[121][4] = 0
50.07/24.14	c (5,0) opt[122][0] = 0
50.07/24.14	c (5,0) opt[122][1] = 1
50.07/24.14	c (5,0) opt[122][2] = 0
50.07/24.14	c (5,0) opt[122][3] = 0
50.07/24.14	c (5,0) opt[122][4] = 0
50.07/24.14	c (5,0) opt[123][0] = 0
50.07/24.14	c (5,0) opt[123][1] = 1
50.07/24.14	c (5,0) opt[123][2] = 0
50.07/24.14	c (5,0) opt[123][3] = 0
50.07/24.14	c (5,0) opt[123][4] = 0
50.07/24.14	c (5,0) opt[124][0] = 1
50.07/24.14	c (5,0) opt[124][1] = 0
50.07/24.14	c (5,0) opt[124][2] = 0
50.07/24.14	c (5,0) opt[124][3] = 0
50.07/24.14	c (5,0) opt[124][4] = 0
50.07/24.14	c (5,0) opt[125][0] = 0
50.07/24.14	c (5,0) opt[125][1] = 1
50.07/24.14	c (5,0) opt[125][2] = 0
50.07/24.14	c (5,0) opt[125][3] = 0
50.07/24.14	c (5,0) opt[125][4] = 0
50.07/24.14	c (6,0) opt[126][0] = 0
50.07/24.14	c (6,0) opt[126][1] = 1
50.07/24.14	c (6,0) opt[126][2] = 0
50.07/24.14	c (6,0) opt[126][3] = 1
50.07/24.14	c (6,0) opt[126][4] = 0
50.07/24.14	c (6,0) opt[127][0] = 0
50.07/24.14	c (6,0) opt[127][1] = 0
50.07/24.14	c (6,0) opt[127][2] = 1
50.07/24.14	c (6,0) opt[127][3] = 0
50.07/24.14	c (6,0) opt[127][4] = 0
50.07/24.14	c (6,0) opt[128][0] = 1
50.07/24.14	c (6,0) opt[128][1] = 1
50.07/24.14	c (6,0) opt[128][2] = 0
50.07/24.14	c (6,0) opt[128][3] = 1
50.07/24.14	c (6,0) opt[128][4] = 1
50.07/24.14	c (6,0) opt[129][0] = 0
50.07/24.14	c (6,0) opt[129][1] = 1
50.07/24.14	c (6,0) opt[129][2] = 0
50.07/24.14	c (6,0) opt[129][3] = 0
50.07/24.14	c (6,0) opt[129][4] = 0
50.07/24.14	c (6,0) opt[130][0] = 0
50.07/24.14	c (6,0) opt[130][1] = 0
50.07/24.14	c (6,0) opt[130][2] = 1
50.07/24.14	c (6,0) opt[130][3] = 0
50.07/24.14	c (6,0) opt[130][4] = 0
50.07/24.14	c (6,0) opt[131][0] = 0
50.07/24.14	c (6,0) opt[131][1] = 1
50.07/24.14	c (6,0) opt[131][2] = 0
50.07/24.14	c (6,0) opt[131][3] = 0
50.07/24.14	c (6,0) opt[131][4] = 0
50.07/24.14	c (6,0) opt[132][0] = 1
50.07/24.14	c (6,0) opt[132][1] = 0
50.07/24.14	c (6,0) opt[132][2] = 0
50.07/24.14	c (6,0) opt[132][3] = 1
50.07/24.14	c (6,0) opt[132][4] = 0
50.07/24.14	c (6,0) opt[133][0] = 0
50.07/24.14	c (6,0) opt[133][1] = 1
50.07/24.14	c (6,0) opt[133][2] = 1
50.07/24.14	c (6,0) opt[133][3] = 0
50.07/24.14	c (6,0) opt[133][4] = 0
50.07/24.14	c (6,0) opt[134][0] = 0
50.07/24.14	c (6,0) opt[134][1] = 1
50.07/24.14	c (6,0) opt[134][2] = 0
50.07/24.14	c (6,0) opt[134][3] = 0
50.07/24.14	c (6,0) opt[134][4] = 0
50.07/24.14	c (6,0) opt[135][0] = 1
50.07/24.14	c (6,0) opt[135][1] = 0
50.07/24.14	c (6,0) opt[135][2] = 0
50.07/24.14	c (6,0) opt[135][3] = 0
50.07/24.14	c (6,0) opt[135][4] = 1
50.07/24.14	c (6,0) opt[136][0] = 0
50.07/24.14	c (6,0) opt[136][1] = 1
50.07/24.14	c (6,0) opt[136][2] = 0
50.07/24.14	c (6,0) opt[136][3] = 0
50.07/24.14	c (6,0) opt[136][4] = 0
50.07/24.14	c (6,0) opt[137][0] = 0
50.07/24.14	c (6,0) opt[137][1] = 1
50.07/24.14	c (6,0) opt[137][2] = 1
50.07/24.14	c (6,0) opt[137][3] = 1
50.07/24.14	c (6,0) opt[137][4] = 0
50.07/24.14	c (6,0) opt[138][0] = 0
50.07/24.14	c (6,0) opt[138][1] = 0
50.07/24.14	c (6,0) opt[138][2] = 0
50.07/24.14	c (6,0) opt[138][3] = 1
50.07/24.14	c (6,0) opt[138][4] = 0
50.07/24.14	c (6,0) opt[139][0] = 1
50.07/24.14	c (6,0) opt[139][1] = 1
50.07/24.14	c (6,0) opt[139][2] = 0
50.07/24.14	c (6,0) opt[139][3] = 0
50.07/24.14	c (6,0) opt[139][4] = 0
50.07/24.14	c (6,0) opt[140][0] = 0
50.07/24.14	c (6,0) opt[140][1] = 1
50.07/24.14	c (6,0) opt[140][2] = 0
50.07/24.14	c (6,0) opt[140][3] = 0
50.07/24.14	c (6,0) opt[140][4] = 0
50.07/24.14	c (6,0) opt[141][0] = 0
50.07/24.14	c (6,0) opt[141][1] = 0
50.07/24.14	c (6,0) opt[141][2] = 1
50.07/24.14	c (6,0) opt[141][3] = 0
50.07/24.14	c (6,0) opt[141][4] = 0
50.07/24.14	c (6,0) opt[142][0] = 0
50.07/24.14	c (6,0) opt[142][1] = 1
50.07/24.14	c (6,0) opt[142][2] = 0
50.07/24.14	c (6,0) opt[142][3] = 1
50.07/24.14	c (6,0) opt[142][4] = 0
50.07/24.14	c (6,0) opt[143][0] = 0
50.07/24.14	c (6,0) opt[143][1] = 1
50.07/24.14	c (6,0) opt[143][2] = 0
50.07/24.14	c (6,0) opt[143][3] = 0
50.07/24.14	c (6,0) opt[143][4] = 0
50.07/24.14	c (6,0) opt[144][0] = 1
50.07/24.14	c (6,0) opt[144][1] = 0
50.07/24.14	c (6,0) opt[144][2] = 0
50.07/24.14	c (6,0) opt[144][3] = 0
50.07/24.14	c (6,0) opt[144][4] = 0
50.07/24.14	c (6,0) opt[145][0] = 0
50.07/24.14	c (6,0) opt[145][1] = 0
50.07/24.14	c (6,0) opt[145][2] = 1
50.07/24.14	c (6,0) opt[145][3] = 0
50.07/24.14	c (6,0) opt[145][4] = 0
50.07/24.14	c (6,0) opt[146][0] = 0
50.07/24.14	c (6,0) opt[146][1] = 1
50.07/24.14	c (6,0) opt[146][2] = 0
50.07/24.14	c (6,0) opt[146][3] = 0
50.07/24.14	c (6,0) opt[146][4] = 0
50.07/24.14	c (6,0) opt[147][0] = 1
50.07/24.14	c (6,0) opt[147][1] = 1
50.07/24.14	c (6,0) opt[147][2] = 0
50.07/24.14	c (6,0) opt[147][3] = 0
50.07/24.14	c (6,0) opt[147][4] = 0
50.07/24.14	c (6,0) opt[148][0] = 0
50.07/24.14	c (6,0) opt[148][1] = 0
50.07/24.14	c (6,0) opt[148][2] = 0
50.07/24.14	c (6,0) opt[148][3] = 0
50.07/24.14	c (6,0) opt[148][4] = 1
50.07/24.14	c (6,0) opt[149][0] = 0
50.07/24.14	c (6,0) opt[149][1] = 1
50.07/24.14	c (6,0) opt[149][2] = 0
50.07/24.14	c (6,0) opt[149][3] = 0
50.07/24.14	c (6,0) opt[149][4] = 0
50.07/24.14	c (6,0) opt[150][0] = 0
50.07/24.14	c (6,0) opt[150][1] = 0
50.07/24.14	c (6,0) opt[150][2] = 1
50.07/24.14	c (6,0) opt[150][3] = 0
50.07/24.14	c (6,0) opt[150][4] = 0
50.07/24.14	c (6,0) opt[151][0] = 0
50.07/24.14	c (6,0) opt[151][1] = 1
50.07/24.14	c (6,0) opt[151][2] = 0
50.07/24.14	c (6,0) opt[151][3] = 0
50.07/24.14	c (6,0) opt[151][4] = 0
50.07/24.14	c (6,0) opt[152][0] = 1
50.07/24.14	c (6,0) opt[152][1] = 0
50.07/24.14	c (6,0) opt[152][2] = 0
50.07/24.14	c (6,0) opt[152][3] = 0
50.07/24.14	c (6,0) opt[152][4] = 0
50.07/24.14	c (6,0) opt[153][0] = 0
50.07/24.14	c (6,0) opt[153][1] = 1
50.07/24.14	c (6,0) opt[153][2] = 0
50.07/24.14	c (6,0) opt[153][3] = 0
50.07/24.14	c (6,0) opt[153][4] = 0
50.07/24.14	c (6,0) opt[154][0] = 0
50.07/24.14	c (6,0) opt[154][1] = 1
50.07/24.14	c (6,0) opt[154][2] = 0
50.07/24.14	c (6,0) opt[154][3] = 0
50.07/24.14	c (6,0) opt[154][4] = 0
50.07/24.14	c (6,0) opt[155][0] = 0
50.07/24.14	c (6,0) opt[155][1] = 0
50.07/24.14	c (6,0) opt[155][2] = 1
50.07/24.14	c (6,0) opt[155][3] = 0
50.07/24.14	c (6,0) opt[155][4] = 0
50.07/24.14	c (6,0) opt[156][0] = 1
50.07/24.14	c (6,0) opt[156][1] = 1
50.07/24.14	c (6,0) opt[156][2] = 0
50.07/24.14	c (6,0) opt[156][3] = 1
50.07/24.14	c (6,0) opt[156][4] = 0
50.07/24.14	c (6,0) opt[157][0] = 0
50.07/24.14	c (6,0) opt[157][1] = 1
50.07/24.14	c (6,0) opt[157][2] = 0
50.07/24.14	c (6,0) opt[157][3] = 0
50.07/24.14	c (6,0) opt[157][4] = 0
50.07/24.14	c (6,0) opt[158][0] = 0
50.07/24.14	c (6,0) opt[158][1] = 0
50.07/24.14	c (6,0) opt[158][2] = 1
50.07/24.14	c (6,0) opt[158][3] = 1
50.07/24.14	c (6,0) opt[158][4] = 1
50.07/24.14	c (6,0) opt[159][0] = 0
50.07/24.14	c (6,0) opt[159][1] = 1
50.07/24.14	c (6,0) opt[159][2] = 0
50.07/24.14	c (6,0) opt[159][3] = 0
50.07/24.14	c (6,0) opt[159][4] = 0
50.07/24.14	c (6,0) opt[160][0] = 1
50.07/24.14	c (6,0) opt[160][1] = 1
50.07/24.14	c (6,0) opt[160][2] = 0
50.07/24.14	c (6,0) opt[160][3] = 0
50.07/24.14	c (6,0) opt[160][4] = 0
50.07/24.14	c (6,0) opt[161][0] = 0
50.07/24.14	c (6,0) opt[161][1] = 0
50.07/24.14	c (6,0) opt[161][2] = 1
50.07/24.14	c (6,0) opt[161][3] = 1
50.07/24.14	c (6,0) opt[161][4] = 0
50.07/24.14	c (6,0) opt[162][0] = 0
50.07/24.14	c (6,0) opt[162][1] = 1
50.07/24.14	c (6,0) opt[162][2] = 0
50.07/24.14	c (6,0) opt[162][3] = 0
50.07/24.14	c (6,0) opt[162][4] = 0
50.07/24.14	c (6,0) opt[163][0] = 0
50.07/24.14	c (6,0) opt[163][1] = 1
50.07/24.14	c (6,0) opt[163][2] = 0
50.07/24.14	c (6,0) opt[163][3] = 0
50.07/24.14	c (6,0) opt[163][4] = 0
50.07/24.14	c (6,0) opt[164][0] = 0
50.07/24.14	c (6,0) opt[164][1] = 0
50.07/24.14	c (6,0) opt[164][2] = 0
50.07/24.14	c (6,0) opt[164][3] = 1
50.07/24.14	c (6,0) opt[164][4] = 0
50.07/24.14	c (6,0) opt[165][0] = 1
50.07/24.14	c (6,0) opt[165][1] = 1
50.07/24.14	c (6,0) opt[165][2] = 0
50.07/24.14	c (6,0) opt[165][3] = 0
50.07/24.14	c (6,0) opt[165][4] = 0
50.07/24.14	c (6,0) opt[166][0] = 0
50.07/24.14	c (6,0) opt[166][1] = 0
50.07/24.14	c (6,0) opt[166][2] = 1
50.07/24.14	c (6,0) opt[166][3] = 0
50.07/24.14	c (6,0) opt[166][4] = 0
50.07/24.14	c (6,0) opt[167][0] = 0
50.07/24.14	c (6,0) opt[167][1] = 0
50.07/24.14	c (6,0) opt[167][2] = 0
50.07/24.14	c (6,0) opt[167][3] = 1
50.07/24.14	c (6,0) opt[167][4] = 0
50.07/24.14	c (6,0) opt[168][0] = 0
50.07/24.14	c (6,0) opt[168][1] = 1
50.07/24.14	c (6,0) opt[168][2] = 0
50.07/24.14	c (6,0) opt[168][3] = 0
50.07/24.14	c (6,0) opt[168][4] = 0
50.07/24.14	c (6,0) opt[169][0] = 0
50.07/24.14	c (6,0) opt[169][1] = 1
50.07/24.14	c (6,0) opt[169][2] = 0
50.07/24.14	c (6,0) opt[169][3] = 0
50.07/24.14	c (6,0) opt[169][4] = 1
50.07/24.14	c (6,0) opt[170][0] = 1
50.07/24.14	c (6,0) opt[170][1] = 0
50.07/24.14	c (6,0) opt[170][2] = 0
50.07/24.14	c (6,0) opt[170][3] = 1
50.07/24.14	c (6,0) opt[170][4] = 0
50.07/24.14	c (6,0) opt[171][0] = 0
50.07/24.14	c (6,0) opt[171][1] = 1
50.07/24.14	c (6,0) opt[171][2] = 1
50.07/24.14	c (6,0) opt[171][3] = 0
50.07/24.14	c (6,0) opt[171][4] = 0
50.07/24.14	c (6,0) opt[172][0] = 0
50.07/24.14	c (6,0) opt[172][1] = 1
50.07/24.14	c (6,0) opt[172][2] = 0
50.07/24.14	c (6,0) opt[172][3] = 0
50.07/24.14	c (6,0) opt[172][4] = 0
50.07/24.14	c (6,0) opt[173][0] = 1
50.07/24.14	c (6,0) opt[173][1] = 0
50.07/24.14	c (6,0) opt[173][2] = 0
50.07/24.14	c (6,0) opt[173][3] = 0
50.07/24.14	c (6,0) opt[173][4] = 0
50.07/24.14	c (6,0) opt[174][0] = 0
50.07/24.14	c (6,0) opt[174][1] = 0
50.07/24.14	c (6,0) opt[174][2] = 1
50.07/24.14	c (6,0) opt[174][3] = 1
50.07/24.14	c (6,0) opt[174][4] = 0
50.07/24.14	c (6,0) opt[175][0] = 0
50.07/24.14	c (6,0) opt[175][1] = 1
50.07/24.14	c (6,0) opt[175][2] = 0
50.07/24.14	c (6,0) opt[175][3] = 0
50.07/24.14	c (6,0) opt[175][4] = 0
50.07/24.14	c (6,0) opt[176][0] = 0
50.07/24.14	c (6,0) opt[176][1] = 0
50.07/24.14	c (6,0) opt[176][2] = 0
50.07/24.14	c (6,0) opt[176][3] = 1
50.07/24.14	c (6,0) opt[176][4] = 0
50.07/24.14	c (6,0) opt[177][0] = 1
50.07/24.14	c (6,0) opt[177][1] = 1
50.07/24.14	c (6,0) opt[177][2] = 0
50.07/24.14	c (6,0) opt[177][3] = 0
50.07/24.14	c (6,0) opt[177][4] = 0
50.07/24.14	c (6,0) opt[178][0] = 0
50.07/24.14	c (6,0) opt[178][1] = 0
50.07/24.14	c (6,0) opt[178][2] = 1
50.07/24.14	c (6,0) opt[178][3] = 0
50.07/24.14	c (6,0) opt[178][4] = 0
50.07/24.14	c (6,0) opt[179][0] = 0
50.07/24.14	c (6,0) opt[179][1] = 1
50.07/24.14	c (6,0) opt[179][2] = 0
50.07/24.14	c (6,0) opt[179][3] = 0
50.07/24.14	c (6,0) opt[179][4] = 0
50.07/24.14	c (6,0) opt[180][0] = 0
50.07/24.14	c (6,0) opt[180][1] = 1
50.07/24.14	c (6,0) opt[180][2] = 0
50.07/24.14	c (6,0) opt[180][3] = 0
50.07/24.14	c (6,0) opt[180][4] = 0
50.07/24.14	c (6,0) opt[181][0] = 0
50.07/24.14	c (6,0) opt[181][1] = 0
50.07/24.14	c (6,0) opt[181][2] = 1
50.07/24.14	c (6,0) opt[181][3] = 0
50.07/24.14	c (6,0) opt[181][4] = 0
50.07/24.14	c (6,0) opt[182][0] = 0
50.07/24.14	c (6,0) opt[182][1] = 0
50.07/24.14	c (6,0) opt[182][2] = 0
50.07/24.14	c (6,0) opt[182][3] = 0
50.07/24.14	c (6,0) opt[182][4] = 1
50.07/24.14	c (6,0) opt[183][0] = 0
50.07/24.15	c (6,0) opt[183][1] = 1
50.07/24.15	c (6,0) opt[183][2] = 0
50.07/24.15	c (6,0) opt[183][3] = 0
50.07/24.15	c (6,0) opt[183][4] = 0
50.07/24.15	c (6,0) opt[184][0] = 0
50.07/24.15	c (6,0) opt[184][1] = 0
50.07/24.15	c (6,0) opt[184][2] = 1
50.07/24.15	c (6,0) opt[184][3] = 0
50.07/24.15	c (6,0) opt[184][4] = 0
50.07/24.15	c (6,0) opt[185][0] = 0
50.07/24.15	c (6,0) opt[185][1] = 1
50.07/24.15	c (6,0) opt[185][2] = 0
50.07/24.15	c (6,0) opt[185][3] = 0
50.07/24.15	c (6,0) opt[185][4] = 0
50.07/24.15	c (6,0) opt[186][0] = 0
50.07/24.15	c (6,0) opt[186][1] = 1
50.07/24.15	c (6,0) opt[186][2] = 0
50.07/24.15	c (6,0) opt[186][3] = 0
50.07/24.15	c (6,0) opt[186][4] = 0
50.07/24.15	c (6,0) opt[187][0] = 0
50.07/24.15	c (6,0) opt[187][1] = 0
50.07/24.15	c (6,0) opt[187][2] = 1
50.07/24.15	c (6,0) opt[187][3] = 0
50.07/24.15	c (6,0) opt[187][4] = 0
50.07/24.15	c (6,0) opt[188][0] = 0
50.07/24.15	c (6,0) opt[188][1] = 1
50.07/24.15	c (6,0) opt[188][2] = 0
50.07/24.15	c (6,0) opt[188][3] = 0
50.07/24.15	c (6,0) opt[188][4] = 0
50.07/24.15	c (6,0) opt[189][0] = 0
50.07/24.15	c (6,0) opt[189][1] = 1
50.07/24.15	c (6,0) opt[189][2] = 0
50.07/24.15	c (6,0) opt[189][3] = 0
50.07/24.15	c (6,0) opt[189][4] = 0
50.07/24.15	c (6,0) opt[190][0] = 0
50.07/24.15	c (6,0) opt[190][1] = 0
50.07/24.15	c (6,0) opt[190][2] = 0
50.07/24.15	c (6,0) opt[190][3] = 0
50.07/24.15	c (6,0) opt[190][4] = 1
50.07/24.15	c (6,0) opt[191][0] = 0
50.07/24.15	c (6,0) opt[191][1] = 1
50.07/24.15	c (6,0) opt[191][2] = 0
50.07/24.15	c (6,0) opt[191][3] = 0
50.07/24.15	c (6,0) opt[191][4] = 0
50.07/24.15	c (6,0) opt[192][0] = 0
50.07/24.15	c (6,0) opt[192][1] = 0
50.07/24.15	c (6,0) opt[192][2] = 1
50.07/24.15	c (6,0) opt[192][3] = 0
50.07/24.15	c (6,0) opt[192][4] = 0
50.07/24.15	c (6,0) opt[193][0] = 0
50.07/24.15	c (6,0) opt[193][1] = 1
50.07/24.15	c (6,0) opt[193][2] = 0
50.07/24.15	c (6,0) opt[193][3] = 0
50.07/24.15	c (6,0) opt[193][4] = 0
50.07/24.15	c (6,0) opt[194][0] = 1
50.07/24.15	c (6,0) opt[194][1] = 1
50.07/24.15	c (6,0) opt[194][2] = 0
50.07/24.15	c (6,0) opt[194][3] = 1
50.07/24.15	c (6,0) opt[194][4] = 0
50.07/24.15	c (6,0) opt[195][0] = 0
50.07/24.15	c (6,0) opt[195][1] = 0
50.07/24.15	c (6,0) opt[195][2] = 1
50.07/24.15	c (6,0) opt[195][3] = 1
50.07/24.15	c (6,0) opt[195][4] = 0
50.07/24.15	c (6,0) opt[196][0] = 0
50.07/24.15	c (6,0) opt[196][1] = 1
50.07/24.15	c (6,0) opt[196][2] = 0
50.07/24.15	c (6,0) opt[196][3] = 0
50.07/24.15	c (6,0) opt[196][4] = 0
50.07/24.15	c (6,0) opt[197][0] = 0
50.07/24.15	c (6,0) opt[197][1] = 1
50.07/24.15	c (6,0) opt[197][2] = 0
50.07/24.15	c (6,0) opt[197][3] = 0
50.07/24.15	c (6,0) opt[197][4] = 0
50.07/24.15	c (6,0) opt[198][0] = 0
50.07/24.15	c (6,0) opt[198][1] = 0
50.07/24.15	c (6,0) opt[198][2] = 1
50.07/24.15	c (6,0) opt[198][3] = 0
50.07/24.15	c (6,0) opt[198][4] = 0
50.07/24.15	c (6,0) opt[199][0] = 0
50.07/24.15	c (6,0) opt[199][1] = 1
50.07/24.15	c (6,0) opt[199][2] = 0
50.07/24.15	c (6,0) opt[199][3] = 0
50.07/24.15	c (6,0) opt[199][4] = 0
50.07/24.15	s SATISFIABLE
50.07/24.15	v <instantiation>
50.07/24.15	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>
50.07/24.15	v     <values>5 1 1 11 1 17 18 1 17 1 3 1 5 1 4 5 1 1 5 17 1 1 11 17 1 1 5 1 1 5 1 17 8 1 7 5 16 4 1 17 5 1 16 13 1 16 1 17 1 9 16 1 1 5 10 1 5 1 7 0 1 10 5 1 1 17 5 1 7 6 16 1 5 1 1 16 6 7 17 1 1 5 2 7 2 1 5 1 1 5 12 1 5 1 1 5 1 2 5 4 1 7 6 1 16 21 7 1 19 16 1 5 1 7 1 1 17 1 23 17 1 5 1 1 17 1 2 5 20 1 5 1 0 8 1 15 1 18 16 4 1 5 2 1 17 5 1 4 7 1 5 1 17 1 1 5 10 1 22 1 4 14 1 1 16 4 5 16 1 23 0 8 1 17 14 1 16 4 5 1 1 5 7 1 5 1 1 5 1 1 7 1 5 1 10 14 1 1 5 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0</values>
50.07/24.15	v </instantiation>
50.07/24.15	c (6,0) Show results End
50.07/24.15	c (6,0) Heap : 163 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
50.07/24.15	c (6,0) 5,6,STOP-AFTER(ALL)
50.07/24.15	c END-Prog: Sat Sep 14 04:02:59 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 (10767 MiB free)
  memory of node 1: 16384 MiB (15303 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392390-1568430772/watcher-4392390-1568430772 -o /tmp/evaluation-result-4392390-1568430772/solver-4392390-1568430772 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --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-4392390-1568430772.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=16948, runsolver pid=16945
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 6.12 7.34 7.44 3/212 16970
/proc/meminfo: memFree=26601932/32770624 swapFree=66977616/67108860
[pid=16948] ppid=16945 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16948/stat : 16948 (scop.sh) S 16945 16948 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334409 115843072 349 33554432000 4194304 5098028 140731178180656 140731178177912 140472715281020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35508224 140731178185509 140731178185836 140731178185836 140731178188749 0
/proc/16948/statm: 28282 349 296 221 0 87 0
[pid=16951] ppid=16948 vsize=27314120 memory=106916 CPUtime=0.11 cores=0-7
/proc/16951/stat : 16951 (java) S 16948 16948 15723 0 -1 1077944320 6219 0 0 0 8 3 0 0 20 0 20 0 419334409 27969658880 26729 33554432000 4194304 4196468 140724788234448 140724788216992 140137510502135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
/proc/16951/statm: 6828530 26729 2817 1 0 6790935 0
[pid=16951/tid=16952] ppid=16948 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/16951/task/16952/stat : 16952 (java) R 16948 16948 15723 0 -1 4202560 4331 0 0 0 7 2 0 0 20 0 20 0 419334410 27969658880 26729 33554432000 4194304 4196468 140724788234448 140137482325184 140137495934109 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16953] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16953/stat : 16953 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140137514744080 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16954] ppid=16948 vsize=27314120 memory=288370641878832768 CPUtime=0 cores=0-7
/proc/16951/task/16954/stat : 16954 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140137335040400 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16955] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16955/stat : 16955 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140136931969552 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16956] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16956/stat : 16956 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140136930917008 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16957] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16957/stat : 16957 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140136929864464 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16958] ppid=16948 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16951/task/16958/stat : 16958 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140136928811920 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16959] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16959/stat : 16959 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140136927759376 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16960] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16960/stat : 16960 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 26729 33554432000 4194304 4196468 140724788234448 140136926706832 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16961] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16961/stat : 16961 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135629334512 140137510513282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16962] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16962/stat : 16962 (java) S 16948 16948 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135454729120 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16963] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16963/stat : 16963 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135186293744 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16964] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16964/stat : 16964 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 26729 33554432000 4194304 4196468 140724788234448 140134811785424 140137510520731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16965] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16965/stat : 16965 (java) S 16948 16948 15723 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135628282352 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16966] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16966/stat : 16966 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135627229808 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16967] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16967/stat : 16967 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135626177264 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16968] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16968/stat : 16968 (java) S 16948 16948 15723 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135625124720 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16969] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16969/stat : 16969 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 26729 33554432000 4194304 4196468 140724788234448 140134313879776 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16970] ppid=16948 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16951/task/16970/stat : 16970 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 26729 33554432000 4194304 4196468 140724788234448 140135624071600 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 108312 KiB

[startup+0.210646 s]*
/proc/loadavg: 6.12 7.34 7.44 3/212 16970
/proc/meminfo: memFree=26583500/32770624 swapFree=66977616/67108860
[pid=16948] ppid=16945 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16948/stat : 16948 (scop.sh) S 16945 16948 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334409 115843072 349 33554432000 4194304 5098028 140731178180656 140731178177912 140472715281020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35508224 140731178185509 140731178185836 140731178185836 140731178188749 0
/proc/16948/statm: 28282 349 296 221 0 87 0
[pid=16951] ppid=16948 vsize=27314120 memory=123476 CPUtime=0.24 cores=0-7
/proc/16951/stat : 16951 (java) S 16948 16948 15723 0 -1 1077944320 11221 0 0 0 20 4 0 0 20 0 20 0 419334409 27969658880 30869 33554432000 4194304 4196468 140724788234448 140724788216992 140137510502135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
/proc/16951/statm: 6828530 30869 2943 1 0 6790935 0
[pid=16951/tid=16952] ppid=16948 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/16951/task/16952/stat : 16952 (java) R 16948 16948 15723 0 -1 4202560 8931 0 0 0 16 3 0 0 20 0 20 0 419334410 27969658880 30869 33554432000 4194304 4196468 140724788234448 140137482301520 140137510516044 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16953] ppid=16948 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/16951/task/16953/stat : 16953 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140137514744080 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16954] ppid=16948 vsize=27314120 memory=140265727137031 CPUtime=0 cores=0-7
/proc/16951/task/16954/stat : 16954 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140137335040400 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16955] ppid=16948 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16951/task/16955/stat : 16955 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140136931969552 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16956] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16956/stat : 16956 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140136930917008 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16957] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16957/stat : 16957 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140136929864464 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16958] ppid=16948 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16951/task/16958/stat : 16958 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140136928811920 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16959] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16959/stat : 16959 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140136927759376 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16960] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16960/stat : 16960 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 30869 33554432000 4194304 4196468 140724788234448 140136926706832 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16961] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16961/stat : 16961 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135629334512 140137510513282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16962] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16962/stat : 16962 (java) S 16948 16948 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135454729120 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16963] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16963/stat : 16963 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135186293744 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16964] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16964/stat : 16964 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 30869 33554432000 4194304 4196468 140724788234448 140134811785424 140137510520731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16965] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16965/stat : 16965 (java) S 16948 16948 15723 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135628282352 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16966] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16966/stat : 16966 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135627229808 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16967] ppid=16948 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16951/task/16967/stat : 16967 (java) S 16948 16948 15723 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135626177264 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16968] ppid=16948 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/16951/task/16968/stat : 16968 (java) S 16948 16948 15723 0 -1 1077944384 498 0 0 0 2 0 0 0 20 0 20 0 419334417 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135625124720 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16969] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16969/stat : 16969 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 30869 33554432000 4194304 4196468 140724788234448 140134313879776 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16970] ppid=16948 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16951/task/16970/stat : 16970 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 30869 33554432000 4194304 4196468 140724788234448 140135624071600 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124872 KiB

[startup+0.31054 s]*
/proc/loadavg: 6.12 7.34 7.44 2/212 16970
/proc/meminfo: memFree=26580820/32770624 swapFree=66977616/67108860
[pid=16948] ppid=16945 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16948/stat : 16948 (scop.sh) S 16945 16948 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334409 115843072 349 33554432000 4194304 5098028 140731178180656 140731178177912 140472715281020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35508224 140731178185509 140731178185836 140731178185836 140731178188749 0
/proc/16948/statm: 28282 349 296 221 0 87 0
[pid=16951] ppid=16948 vsize=27314120 memory=127732 CPUtime=0.43 cores=0-7
/proc/16951/stat : 16951 (java) S 16948 16948 15723 0 -1 1077944320 11797 0 0 0 38 5 0 0 20 0 20 0 419334409 27969658880 31933 33554432000 4194304 4196468 140724788234448 140724788216992 140137510502135 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
/proc/16951/statm: 6828530 31933 3039 1 0 6790935 0
[pid=16951/tid=16952] ppid=16948 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/16951/task/16952/stat : 16952 (java) R 16948 16948 15723 0 -1 4202560 9284 0 0 0 26 3 0 0 20 0 20 0 419334410 27969658880 31933 33554432000 4194304 4196468 140724788234448 140137482296808 140137491895866 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16953] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16953/stat : 16953 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140137514744080 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16954] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16954/stat : 16954 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140137335040400 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16955] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16955/stat : 16955 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140136931969552 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16956] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16956/stat : 16956 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140136930917008 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16957] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16957/stat : 16957 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140136929864464 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16958] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16958/stat : 16958 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140136928811920 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16959] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16959/stat : 16959 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140136927759376 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16960] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16960/stat : 16960 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27969658880 31933 33554432000 4194304 4196468 140724788234448 140136926706832 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16961] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16961/stat : 16961 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135629334512 140137510513282 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16962] ppid=16948 vsize=27314120 memory=280531157851520 CPUtime=0 cores=0-7
/proc/16951/task/16962/stat : 16962 (java) S 16948 16948 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135454729120 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16963] ppid=16948 vsize=27314120 memory=280531157856128 CPUtime=0 cores=0-7
/proc/16951/task/16963/stat : 16963 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334414 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135186293744 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16964] ppid=16948 vsize=27314120 memory=280531157860736 CPUtime=0 cores=0-7
/proc/16951/task/16964/stat : 16964 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 31933 33554432000 4194304 4196468 140724788234448 140134811785424 140137510520731 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16965] ppid=16948 vsize=27314120 memory=280531157865344 CPUtime=0.02 cores=0-7
/proc/16951/task/16965/stat : 16965 (java) S 16948 16948 15723 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 20 0 419334417 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135628282352 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16966] ppid=16948 vsize=27314120 memory=280531157869952 CPUtime=0 cores=0-7
/proc/16951/task/16966/stat : 16966 (java) R 16948 16948 15723 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135627229808 140137493890373 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16967] ppid=16948 vsize=27314120 memory=280531157874560 CPUtime=0.01 cores=0-7
/proc/16951/task/16967/stat : 16967 (java) S 16948 16948 15723 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 419334417 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135626177264 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16968] ppid=16948 vsize=27314120 memory=280531157879168 CPUtime=0.07 cores=0-7
/proc/16951/task/16968/stat : 16968 (java) S 16948 16948 15723 0 -1 1077944384 549 0 0 0 7 0 0 0 20 0 20 0 419334417 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135625124720 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16969] ppid=16948 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16969/stat : 16969 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 31933 33554432000 4194304 4196468 140724788234448 140134313879776 140137510512341 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16970] ppid=16948 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16951/task/16970/stat : 16970 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334417 27969658880 31933 33554432000 4194304 4196468 140724788234448 140135624071600 140137510513282 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129128 KiB

[startup+0.70557 s]
/proc/loadavg: 6.12 7.34 7.44 2/212 16970
/proc/meminfo: memFree=26557112/32770624 swapFree=66977616/67108860
[pid=16948] ppid=16945 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16948/stat : 16948 (scop.sh) S 16945 16948 15723 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419334409 115843072 349 33554432000 4194304 5098028 140731178180656 140731178177912 140472715281020 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35508224 140731178185509 140731178185836 140731178185836 140731178188749 0
/proc/16948/statm: 28282 349 296 221 0 87 0
[pid=16951] ppid=16948 vsize=27320392 memory=165580 CPUtime=1.02 cores=0-7
/proc/16951/stat : 16951 (java) S 16948 16948 15723 0 -1 1077944320 19934 0 0 0 95 7 0 0 20 0 20 0 419334409 27976081408 41395 33554432000 4194304 4196468 140724788234448 140724788216992 140137510502135 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
/proc/16951/statm: 6830098 41395 3182 1 0 6791447 0
[pid=16951/tid=16952] ppid=16948 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/16951/task/16952/stat : 16952 (java) R 16948 16948 15723 0 -1 4202560 16863 0 0 0 63 5 0 0 20 0 20 0 419334410 27976081408 41395 33554432000 4194304 4196468 140724788234448 140137482339376 140137012913339 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16953] ppid=16948 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16953/stat : 16953 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27976081408 41395 33554432000 4194304 4196468 140724788234448 140137514744080 140137510512341 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16954] ppid=16948 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16951/task/16954/stat : 16954 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419334412 27976081408 41395 33554432000 4194304 4196468 140724788234448 140137335040400 140137510512341 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0
[pid=16951/tid=16955] ppid=16948 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/16951/task/16955/stat : 16955 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419334412 27976081408 41395 33554432000 4194304 4196468 140724788234448 140136931969552 140137510512341 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18251776 140724788241131 140724788241558 140724788241558 140724788244431 0

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

[pid=16972/tid=16973] ppid=16948 vsize=8414124 memory=1084 CPUtime=0.85 cores=0-7
/proc/16972/task/16973/stat : 16973 (java) S 16948 16948 15723 0 -1 1077944384 17994 0 0 0 76 9 0 0 20 0 24 0 419336185 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809512230816 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16974] ppid=16948 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/16972/task/16974/stat : 16974 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336186 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809544632976 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16975] ppid=16948 vsize=8414124 memory=14048 CPUtime=0 cores=0-7
/proc/16972/task/16975/stat : 16975 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336186 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809025067536 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16976] ppid=16948 vsize=8414124 memory=21904 CPUtime=0 cores=0-7
/proc/16972/task/16976/stat : 16976 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336186 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809024014736 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16977] ppid=16948 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/16972/task/16977/stat : 16977 (java) S 16948 16948 15723 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419336186 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809022961936 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16978] ppid=16948 vsize=8414124 memory=3616 CPUtime=0 cores=0-7
/proc/16972/task/16978/stat : 16978 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336186 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809021910160 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16979] ppid=16948 vsize=8414124 memory=41328 CPUtime=0 cores=0-7
/proc/16972/task/16979/stat : 16979 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336187 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809020857360 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16980] ppid=16948 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/16972/task/16980/stat : 16980 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336187 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809019804560 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16981] ppid=16948 vsize=8414124 memory=2004 CPUtime=0 cores=0-7
/proc/16972/task/16981/stat : 16981 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419336187 8616062976 31033 33554432000 4194304 4196468 140726355113856 139809018751760 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16982] ppid=16948 vsize=8414124 memory=1428 CPUtime=0 cores=0-7
/proc/16972/task/16982/stat : 16982 (java) S 16948 16948 15723 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 419336188 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808767727984 139809540401794 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16983] ppid=16948 vsize=8414124 memory=1724 CPUtime=0 cores=0-7
/proc/16972/task/16983/stat : 16983 (java) S 16948 16948 15723 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419336189 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808097690656 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16984] ppid=16948 vsize=8414124 memory=532 CPUtime=0 cores=0-7
/proc/16972/task/16984/stat : 16984 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336189 8616062976 31033 33554432000 4194304 4196468 140726355113856 139807829255024 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16985] ppid=16948 vsize=8414124 memory=1564 CPUtime=0 cores=0-7
/proc/16972/task/16985/stat : 16985 (java) S 16948 16948 15723 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419336191 8616062976 31033 33554432000 4194304 4196468 140726355113856 139807454746448 139809540409243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16986] ppid=16948 vsize=8414124 memory=924 CPUtime=0.16 cores=0-7
/proc/16972/task/16986/stat : 16986 (java) S 16948 16948 15723 0 -1 1077944384 727 0 0 0 16 0 0 0 20 0 24 0 419336191 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808766675824 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16987] ppid=16948 vsize=8414124 memory=1756 CPUtime=0.13 cores=0-7
/proc/16972/task/16987/stat : 16987 (java) S 16948 16948 15723 0 -1 1077944384 745 0 0 0 13 0 0 0 20 0 24 0 419336191 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808765623024 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16988] ppid=16948 vsize=8414124 memory=1440 CPUtime=0.12 cores=0-7
/proc/16972/task/16988/stat : 16988 (java) S 16948 16948 15723 0 -1 1077944384 307 0 0 0 12 0 0 0 20 0 24 0 419336191 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808764570224 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16989] ppid=16948 vsize=8414124 memory=916 CPUtime=0.24 cores=0-7
/proc/16972/task/16989/stat : 16989 (java) S 16948 16948 15723 0 -1 1077944384 855 0 0 0 24 0 0 0 20 0 24 0 419336191 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808763517424 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16990] ppid=16948 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/16972/task/16990/stat : 16990 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419336191 8616062976 31033 33554432000 4194304 4196468 140726355113856 139806956841568 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16991] ppid=16948 vsize=8414124 memory=2480 CPUtime=0 cores=0-7
/proc/16972/task/16991/stat : 16991 (java) S 16948 16948 15723 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419336192 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808762464816 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16993] ppid=16948 vsize=8414124 memory=1768 CPUtime=0 cores=0-7
/proc/16972/task/16993/stat : 16993 (java) S 16948 16948 15723 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419336267 8616062976 31033 33554432000 4194304 4196468 140726355113856 139808836314176 139809540415257 0 4 2 25189581 18446744071579417331 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16995] ppid=16948 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16972/task/16995/stat : 16995 (java) S 16948 16948 15723 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 419336268 8616062976 31033 33554432000 4194304 4196468 140726355113856 139806285742256 139809540412573 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16996] ppid=16948 vsize=8414124 memory=796 CPUtime=0 cores=0-7
/proc/16972/task/16996/stat : 16996 (java) S 16948 16948 15723 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419336268 8616062976 31033 33554432000 4194304 4196468 140726355113856 139806554177584 139809540412573 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16997] ppid=16948 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16972/task/16997/stat : 16997 (java) S 16948 16948 15723 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 419336270 8616062976 31033 33554432000 4194304 4196468 140726355113856 139806017314352 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
Current children cumulated CPU time: 48.43 s
Current children cumulated vsize: 10510548 KiB
Current children cumulated memory: 1518828 KiB

[startup+24.0035 s]*
/proc/loadavg: 4.80 6.96 7.31 2/214 17005
/proc/meminfo: memFree=26499388/32770624 swapFree=66977616/67108860
[pid=16948] ppid=16945 vsize=113128 memory=1476 CPUtime=36.66 cores=0-7
/proc/16948/stat : 16948 (scop.sh) S 16945 16948 15723 0 -1 4202496 582 52062 0 0 0 0 3508 158 20 0 1 0 419334409 115843072 369 33554432000 4194304 5098028 140731178180656 140731178177400 140472715281020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35508224 140731178185509 140731178185836 140731178185836 140731178188749 0
/proc/16948/statm: 28282 369 311 221 0 87 0
[pid=16972] ppid=16948 vsize=8283048 memory=156888 CPUtime=13.13 cores=0-7
/proc/16972/stat : 16972 (java) S 16948 16948 15723 0 -1 1077944320 23053 283317 0 0 193 12 1040 68 20 0 22 0 419336185 8481841152 39222 33554432000 4194304 4196468 140726355113856 140726355096400 139809540390647 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
/proc/16972/statm: 2070762 39222 3232 1 0 2032106 0
[pid=16972/tid=16973] ppid=16948 vsize=8283048 memory=8317482817917895235 CPUtime=12.02 cores=0-7
/proc/16972/task/16973/stat : 16973 (java) R 16948 16948 15723 0 -1 4202560 18191 283317 0 0 85 9 1040 68 20 0 22 0 419336185 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809512213568 139809540402582 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16974] ppid=16948 vsize=8283048 memory=920 CPUtime=11.08 cores=0-7
/proc/16972/task/16974/stat : 16974 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809544632976 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16975] ppid=16948 vsize=8283048 memory=4424 CPUtime=11.08 cores=0-7
/proc/16972/task/16975/stat : 16975 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809025067536 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16976] ppid=16948 vsize=8283048 memory=4096 CPUtime=11.08 cores=0-7
/proc/16972/task/16976/stat : 16976 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809024014736 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16977] ppid=16948 vsize=8283048 memory=1412 CPUtime=11.08 cores=0-7
/proc/16972/task/16977/stat : 16977 (java) S 16948 16948 15723 0 -1 1077944384 2 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809022961936 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16978] ppid=16948 vsize=8283048 memory=2884 CPUtime=11.08 cores=0-7
/proc/16972/task/16978/stat : 16978 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809021910160 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16979] ppid=16948 vsize=8283048 memory=1476 CPUtime=11.08 cores=0-7
/proc/16972/task/16979/stat : 16979 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336187 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809020857360 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16980] ppid=16948 vsize=8283048 memory=124132 CPUtime=11.08 cores=0-7
/proc/16972/task/16980/stat : 16980 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336187 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809019804560 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16981] ppid=16948 vsize=8283048 memory=205252 CPUtime=11.08 cores=0-7
/proc/16972/task/16981/stat : 16981 (java) S 16948 16948 15723 0 -1 1077944384 3 283317 0 0 0 0 1040 68 20 0 22 0 419336187 8481841152 39222 33554432000 4194304 4196468 140726355113856 139809018751760 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16982] ppid=16948 vsize=8283048 memory=1164 CPUtime=11.08 cores=0-7
/proc/16972/task/16982/stat : 16982 (java) S 16948 16948 15723 0 -1 1077944384 7 283317 0 0 0 0 1040 68 20 0 22 0 419336188 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808767727984 139809540401794 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16983] ppid=16948 vsize=8283048 memory=1808 CPUtime=11.08 cores=0-7
/proc/16972/task/16983/stat : 16983 (java) S 16948 16948 15723 0 -1 1077944384 13 283317 0 0 0 0 1040 68 20 0 22 0 419336189 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808097690656 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16984] ppid=16948 vsize=8283048 memory=920 CPUtime=11.08 cores=0-7
/proc/16972/task/16984/stat : 16984 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336189 8481841152 39222 33554432000 4194304 4196468 140726355113856 139807829255024 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16985] ppid=16948 vsize=8283048 memory=75067975272682 CPUtime=11.08 cores=0-7
/proc/16972/task/16985/stat : 16985 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336191 8481841152 39222 33554432000 4194304 4196468 140726355113856 139807454746448 139809540409243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16986] ppid=16948 vsize=8283048 memory=280531159041824 CPUtime=11.3 cores=0-7
/proc/16972/task/16986/stat : 16986 (java) R 16948 16948 15723 0 -1 1077944384 809 283317 0 0 22 0 1040 68 20 0 22 0 419336191 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808766675920 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16987] ppid=16948 vsize=8283048 memory=75067975273194 CPUtime=11.31 cores=0-7
/proc/16972/task/16987/stat : 16987 (java) S 16948 16948 15723 0 -1 1077944384 801 283317 0 0 23 0 1040 68 20 0 22 0 419336191 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808765623024 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16988] ppid=16948 vsize=8283048 memory=75153874619114 CPUtime=11.25 cores=0-7
/proc/16972/task/16988/stat : 16988 (java) R 16948 16948 15723 0 -1 4202560 334 283317 0 0 17 0 1040 68 20 0 22 0 419336191 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808764570224 139809540402582 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16989] ppid=16948 vsize=8283048 memory=280531159198048 CPUtime=11.41 cores=0-7
/proc/16972/task/16989/stat : 16989 (java) R 16948 16948 15723 0 -1 4202560 1450 283317 0 0 33 0 1040 68 20 0 22 0 419336191 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808763517424 139809540402582 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16990] ppid=16948 vsize=8283048 memory=75067975272938 CPUtime=11.08 cores=0-7
/proc/16972/task/16990/stat : 16990 (java) S 16948 16948 15723 0 -1 1077944384 3 283317 0 0 0 0 1040 68 20 0 22 0 419336191 8481841152 39222 33554432000 4194304 4196468 140726355113856 139806956841568 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16991] ppid=16948 vsize=8283048 memory=75067975272938 CPUtime=11.08 cores=0-7
/proc/16972/task/16991/stat : 16991 (java) S 16948 16948 15723 0 -1 1077944384 3 283317 0 0 0 0 1040 68 20 0 22 0 419336192 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808762464816 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 47 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16993] ppid=16948 vsize=8283048 memory=280531159021072 CPUtime=11.08 cores=0-7
/proc/16972/task/16993/stat : 16993 (java) S 16948 16948 15723 0 -1 1077944384 25 283317 0 0 0 0 1040 68 20 0 22 0 419336267 8481841152 39222 33554432000 4194304 4196468 140726355113856 139808836313360 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16997] ppid=16948 vsize=8283048 memory=7665810880330093930 CPUtime=11.08 cores=0-7
/proc/16972/task/16997/stat : 16997 (java) S 16948 16948 15723 0 -1 1077944384 13 283317 0 0 0 0 1040 68 20 0 22 0 419336270 8481841152 39222 33554432000 4194304 4196468 140726355113856 139806017316144 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
Current children cumulated CPU time: 49.79 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 158364 KiB

[startup+24.1102 s]
/proc/loadavg: 4.80 6.96 7.31 2/214 17005
/proc/meminfo: memFree=26499388/32770624 swapFree=66977616/67108860
[pid=16948] ppid=16945 vsize=113128 memory=1476 CPUtime=36.66 cores=0-7
/proc/16948/stat : 16948 (scop.sh) S 16945 16948 15723 0 -1 4202496 582 52062 0 0 0 0 3508 158 20 0 1 0 419334409 115843072 369 33554432000 4194304 5098028 140731178180656 140731178177400 140472715281020 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 35508224 140731178185509 140731178185836 140731178185836 140731178188749 0
/proc/16948/statm: 28282 369 311 221 0 87 0
[pid=16972] ppid=16948 vsize=8283048 memory=169560 CPUtime=13.41 cores=0-7
/proc/16972/stat : 16972 (java) S 16948 16948 15723 0 -1 1077944320 24767 283317 0 0 221 12 1040 68 20 0 22 0 419336185 8481841152 42390 33554432000 4194304 4196468 140726355113856 140726355096400 139809540390647 0 0 2 25189581 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
/proc/16972/statm: 2070762 42390 3237 1 0 2032106 0
[pid=16972/tid=16973] ppid=16948 vsize=8283048 memory=1476 CPUtime=12.11 cores=0-7
/proc/16972/task/16973/stat : 16973 (java) R 16948 16948 15723 0 -1 4202560 18256 283317 0 0 94 9 1040 68 20 0 22 0 419336185 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809512225552 139809540402582 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16974] ppid=16948 vsize=8283048 memory=1399996 CPUtime=11.08 cores=0-7
/proc/16972/task/16974/stat : 16974 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809544632976 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16975] ppid=16948 vsize=8283048 memory=920 CPUtime=11.08 cores=0-7
/proc/16972/task/16975/stat : 16975 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809025067536 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16976] ppid=16948 vsize=8283048 memory=4424 CPUtime=11.08 cores=0-7
/proc/16972/task/16976/stat : 16976 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809024014736 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16977] ppid=16948 vsize=8283048 memory=0 CPUtime=11.08 cores=0-7
/proc/16972/task/16977/stat : 16977 (java) S 16948 16948 15723 0 -1 1077944384 2 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809022961936 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16978] ppid=16948 vsize=8283048 memory=1997 CPUtime=11.08 cores=0-7
/proc/16972/task/16978/stat : 16978 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336186 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809021910160 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16979] ppid=16948 vsize=8283048 memory=956 CPUtime=11.08 cores=0-7
/proc/16972/task/16979/stat : 16979 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336187 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809020857360 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16980] ppid=16948 vsize=8283048 memory=1056 CPUtime=11.08 cores=0-7
/proc/16972/task/16980/stat : 16980 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336187 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809019804560 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16981] ppid=16948 vsize=8283048 memory=1556 CPUtime=11.08 cores=0-7
/proc/16972/task/16981/stat : 16981 (java) S 16948 16948 15723 0 -1 1077944384 3 283317 0 0 0 0 1040 68 20 0 22 0 419336187 8481841152 42390 33554432000 4194304 4196468 140726355113856 139809018751760 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16982] ppid=16948 vsize=8283048 memory=1476 CPUtime=11.08 cores=0-7
/proc/16972/task/16982/stat : 16982 (java) S 16948 16948 15723 0 -1 1077944384 7 283317 0 0 0 0 1040 68 20 0 22 0 419336188 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808767727984 139809540401794 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16983] ppid=16948 vsize=8283048 memory=6066596 CPUtime=11.08 cores=0-7
/proc/16972/task/16983/stat : 16983 (java) S 16948 16948 15723 0 -1 1077944384 13 283317 0 0 0 0 1040 68 20 0 22 0 419336189 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808097690656 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16984] ppid=16948 vsize=8283048 memory=6053280 CPUtime=11.08 cores=0-7
/proc/16972/task/16984/stat : 16984 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336189 8481841152 42390 33554432000 4194304 4196468 140726355113856 139807829255024 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16985] ppid=16948 vsize=8283048 memory=3616 CPUtime=11.08 cores=0-7
/proc/16972/task/16985/stat : 16985 (java) S 16948 16948 15723 0 -1 1077944384 1 283317 0 0 0 0 1040 68 20 0 22 0 419336191 8481841152 42390 33554432000 4194304 4196468 140726355113856 139807454746448 139809540409243 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16986] ppid=16948 vsize=8283048 memory=1396 CPUtime=11.34 cores=0-7
/proc/16972/task/16986/stat : 16986 (java) R 16948 16948 15723 0 -1 4202560 1384 283317 0 0 26 0 1040 68 20 0 22 0 419336191 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808766656728 139809517985424 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16987] ppid=16948 vsize=8283048 memory=2587744 CPUtime=11.35 cores=0-7
/proc/16972/task/16987/stat : 16987 (java) R 16948 16948 15723 0 -1 4202560 1179 283317 0 0 27 0 1040 68 20 0 22 0 419336191 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808765608488 139809520239137 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16988] ppid=16948 vsize=8283048 memory=6944656592455359580 CPUtime=11.3 cores=0-7
/proc/16972/task/16988/stat : 16988 (java) R 16948 16948 15723 0 -1 4202560 845 283317 0 0 22 0 1040 68 20 0 22 0 419336191 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808764555896 139809525314994 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16989] ppid=16948 vsize=8283048 memory=1476 CPUtime=11.46 cores=0-7
/proc/16972/task/16989/stat : 16989 (java) R 16948 16948 15723 0 -1 4202560 1629 283317 0 0 38 0 1040 68 20 0 22 0 419336191 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808763517424 139809540402582 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16990] ppid=16948 vsize=8283048 memory=704 CPUtime=11.08 cores=0-7
/proc/16972/task/16990/stat : 16990 (java) S 16948 16948 15723 0 -1 1077944384 3 283317 0 0 0 0 1040 68 20 0 22 0 419336191 8481841152 42390 33554432000 4194304 4196468 140726355113856 139806956841568 139809540400853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16991] ppid=16948 vsize=8283048 memory=1056 CPUtime=11.08 cores=0-7
/proc/16972/task/16991/stat : 16991 (java) S 16948 16948 15723 0 -1 1077944384 3 283317 0 0 0 0 1040 68 20 0 22 0 419336192 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808762464816 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 47 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16993] ppid=16948 vsize=8283048 memory=1556 CPUtime=11.08 cores=0-7
/proc/16972/task/16993/stat : 16993 (java) S 16948 16948 15723 0 -1 1077944384 25 283317 0 0 0 0 1040 68 20 0 22 0 419336267 8481841152 42390 33554432000 4194304 4196468 140726355113856 139808836313360 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
[pid=16972/tid=16997] ppid=16948 vsize=8283048 memory=1476 CPUtime=11.08 cores=0-7
/proc/16972/task/16997/stat : 16997 (java) S 16948 16948 15723 0 -1 1077944384 13 283317 0 0 0 0 1040 68 20 0 22 0 419336270 8481841152 42390 33554432000 4194304 4196468 140726355113856 139806017316144 139809540401794 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32149504 140726355117047 140726355117206 140726355117206 140726355120079 0
Current children cumulated CPU time: 50.07 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 171036 KiB

Child status: 0
Real time (s): 24.1864
CPU time (s): 50.395
CPU user time (s): 47.9489
CPU system time (s): 2.44606
CPU usage (%): 208.361
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6068508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.9489
system time used= 2.44606
maximum resident set size= 6067552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 363690
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37736
involuntary context switches= 96


# summary of solver processes directly reported to runsolver:
#   pid: 16948
#   total CPU time (s): 50.395
#   total CPU user time (s): 47.9489
#   total CPU system time (s): 2.44606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.193647 second user time and 0.336648 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-14 04:02:34
IDJOB=4392390
IDBENCH=128073
IDSOLVER=2838
FILE ID=node104/4392390-1568430772
RUNJOBID= node104-1568421227-15750
PBS_JOBID= 21702284
Free space on /tmp= 59012 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-60-01.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-4392390-1568430772/watcher-4392390-1568430772 -o /tmp/evaluation-result-4392390-1568430772/solver-4392390-1568430772 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568421227-15750 --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-4392390-1568430772.xml

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

MD5SUM BENCH= 78ce7b18c2bc9eefd2fccfc0b2746318
RANDOM SEED=1505836950

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26696792 kB
MemAvailable:   31834812 kB
Buffers:          180552 kB
Cached:          5211656 kB
SwapCached:        31688 kB
Active:          1768256 kB
Inactive:        3662080 kB
Active(anon):       4380 kB
Inactive(anon):    75148 kB
Active(file):    1763876 kB
Inactive(file):  3586932 kB
Unevictable:      107776 kB
Mlocked:          107776 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:             20776 kB
Writeback:             0 kB
AnonPages:        279820 kB
Mapped:            44132 kB
Shmem:             32780 kB
Slab:             236092 kB
SReclaimable:     206092 kB
SUnreclaim:        30000 kB
KernelStack:        3888 kB
PageTables:         5660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58992 MiB
End job on node104 at 2019-09-14 04:02:59